amadan

oficina / suite Public

Record completed Fable reviews and foundation merges

Paul Campbell pushed by paul@keymail.dev b1c2a24471ae545ccb12a0fb2c74cba260868be5 parent d5abecc
1 file changed, +207 −28
  • implementation/maintenance-integration-state.json +207 −28

No CI script — run details

CI log 
amadan: no CI script — add an executable .amadan/ci or a `ci` target to the Makefile
diff --git a/implementation/maintenance-integration-state.json b/implementation/maintenance-integration-state.json
index 90b6634..bda12b2 100644
--- a/implementation/maintenance-integration-state.json
+++ b/implementation/maintenance-integration-state.json
@@ -3,23 +3,25 @@
"approved_design": "carlos/platform@6a81dacfe4949520efce8fb55dec1dbec8e43bfd:implementation/maintenance-exec.md",
"reviewer": {
"required": "Claude Fable",
- "quota_reset_utc": "2026-09-10T19:05:59.971Z",
- "optional_substitution_question": "pending; retain Fable unless user chooses otherwise"
+ "provider": "Claude subscription",
+ "status": "actual claude-fable-5-1 verified; Command Code remains independently quota limited",
+ "optional_substitution_question": "superseded by explicit user instruction and verified Fable availability"
},
"validated_candidates": {
"platform_foundations": "e87b410549461cc1a715fce4a6dfc751703f2e74",
"litestream_shutdown": "b39d75dc149a2c2a3598d6955203aab0889588a6",
- "home_operator_and_local_preparation": "7e282e2a363b9cc90cd74dd97809e6613a699af8",
+ "home_operator_and_local_preparation": "f20f83e627cae1572fdf1c8b03b089617f7f0d9a",
"docs_team_authorization": "acbb192c0c5b27adc3de71c73c87d86013e4d21b",
- "independent_review": "outstanding; validation does not authorize merge/deployment",
+ "independent_review": "Fable approved all queued bounded candidates and corrected designs; activation and whole-app release scopes remain as recorded",
"private_file_io": "c46a201663715f420f7b911db3bd512d9205af61",
"scheduled_token_fence": "b6e5c2f30456fb8f089805a871127469bd689d2a",
- "record_projection": "adf0525bfebcc5aa9beaf5a19d1da27db6bc5f11"
+ "record_projection": "adf0525bfebcc5aa9beaf5a19d1da27db6bc5f11",
+ "home_compatibility_checker_design": "89e8d3ae64af7e43f594af4f8750d6b93bea4048"
},
"remaining_work": [
{
"area": "Private local files",
- "state": "Linux IO validated at c46a201; independent review pending",
+ "state": "Fable-approved as inert e87 integrated component, merged platform main11a3039; CI passed",
"remaining": "Pending request schema, durable recipient key before upload, exact resend and private result retrieval; tested non-Linux privacy support is unresolved"
},
{
@@ -39,7 +41,7 @@
},
{
"area": "Home always-awake topology",
- "state": "live deployment contradicts Home design section 2.1; tracked oficina/home discussion 44",
+ "state": "Fable-approved designc6281d5 merged maind2cbfba; live topology gap remains, Home44",
"remaining": "Provide supported always-awake process ownership and checked maintenance for that topology. Live Home/preview hibernate=true fits only the first maintenance slice shape, not Home readiness. Disabling hibernate alone stops activator ownership and is not a fix."
},
{
@@ -49,17 +51,17 @@
},
{
"area": "Signed runtime contracts",
- "state": "design0e768aa awaiting review",
+ "state": "Fable-approved design429e7c8 merged main2ace60d; runtime implementation absent",
"remaining": "Exact manifest signature binding, all pointer writers/readers, staged proofs and old-binary refusal before serving"
},
{
"area": "Worker launch",
- "state": "initial launch design approved; caf47fb delta pending",
+ "state": "Corrected design8eb788c Fable-approved and merged main9969a8f; implementation remains absent",
"remaining": "Retained verified executable descriptor, private launch context/environment/input, strict containment and authenticated outcome"
},
{
"area": "Lease checkpoints",
- "state": "integrated code validated with test-only dependency patch",
+ "state": "Integrated code and test-only Litestream patch independently approved; upstream human review and real dependency adoption remain",
"remaining": "Reviewed/published dependency adoption, actual worker ownership and deployed restore/deadline evidence"
},
{
@@ -91,28 +93,205 @@
"live_home_shape": "/home/paulca/.cache/oficina-home-maintenance-eligibility",
"home_topology_audit": "/home/paulca/.cache/oficina-home-topology-audit/topology.json",
"lifecycle_recovery_seams": "/home/paulca/.cache/oficina-maintenance-lifecycle-integration/recovery-seams.json",
- "home_compatibility_checker": "/home/paulca/.cache/oficina-home-compatibility-audit",
+ "home_compatibility_checker": "/home/paulca/.cache/oficina-home-checker-r4",
"home_readonly_negative_probe": "/home/paulca/.cache/oficina-home-compatibility-audit/probe/observation.json"
},
"deployment": "No candidate above has been deployed; broader suite readiness work remains in the original overnight plan",
- "in_progress_candidates": {
- "always_awake_design": {
- "branch": "carlos/platform:design-always-awake-exec",
- "state": "frozen proposal; exact CI passed; independent review pending; prior executor death/exclusion proof still required",
- "sha": "80f61699e577a83089c43ebb08fd75f9f724983d"
- },
- "maintenance_protocol": {
- "artifact": "/home/paulca/.cache/oficina-maintenance-protocol/proposal.json",
- "state": "frozen proposal; root resume-checker/lifecycle corrections incorporated; exact CI passed; independent review and worker authentication unresolved",
- "branch": "carlos/platform:design-maintenance-protocol",
- "sha": "bae085e10a80592b791af64046e6312b5d2258a5"
- },
- "home_compatibility_checker": {
- "branch": "oficina/home:design-home-compatibility-checker",
- "sha": "2214be15c9768dc3ba57dbcd33861c7e388a4909",
- "state": "complete proposal pushed; CI running; independent review pending; not implemented",
+ "review_queue": {
+ "required_reviewer": "Claude Fable",
+ "fable_available_after": "subscription available now per user and completed reviews; Command Code remains separate quota-limited provider",
+ "alternative_reviewer_user_question": "superseded: user requested Fable and subscription access verified",
+ "items": [
+ {
+ "name": "Litestream shutdown backport",
+ "sha": "b39d75dc149a2c2a3598d6955203aab0889588a6",
+ "validation": "passed full race/static/platform lease and final behavior",
+ "evidence": "/home/paulca/.cache/oficina-litestream-close-proof",
+ "independent_review": "APPROVE claude-fable-5-1; /home/paulca/.cache/oficina-fable-resumed/litestream/verdict.txt",
+ "upstream_human_review": "pending before submission"
+ },
+ {
+ "name": "Home operator, local provisioning state and preparation",
+ "sha": "f20f83e627cae1572fdf1c8b03b089617f7f0d9a",
+ "validation": "final full gate/exact CI/compiled replay+restore passed",
+ "evidence": "/home/paulca/.cache/oficina-provisioner-prepare-test-tmp",
+ "independent_review": "APPROVE claude-fable-5-1 after stale floor scratch crash recovery correction",
+ "runtime_dispatch": "unmounted",
+ "prior_candidate": "7e282e2a363b9cc90cd74dd97809e6613a699af8",
+ "review_evidence": "/home/paulca/.cache/oficina-home-floor-fix/review.json",
+ "merge": {
+ "main": "302e6e3f1d517996153e6ee1ee693691e1c5f0d0",
+ "main_ci": "success",
+ "activation": "unmounted; no deployment"
+ }
+ },
+ {
+ "name": "Docs team authorization",
+ "sha": "acbb192c0c5b27adc3de71c73c87d86013e4d21b",
+ "validation": "full gate/exact CI/browser/canary passed; see prior immutable receipts",
+ "evidence": "/tmp/oficina-team-browser",
+ "independent_review": "APPROVE for merge claude-fable-5-1; not activation; /home/paulca/.cache/oficina-fable-resumed/docs/verdict.txt",
+ "merge": {
+ "main": "c703a4188460ee78b579a6148df6bb2141bf9cb3",
+ "method": "Amadan branch merge exact expectation",
+ "main_ci": "success",
+ "activation": "disabled; prerequisites outstanding"
+ }
+ },
+ {
+ "name": "Platform maintenance integration",
+ "sha": "e87b410549461cc1a715fce4a6dfc751703f2e74",
+ "validation": "Final native gate, eight-package combined race and exact CI passed; original fixture-environment failures retained separately",
+ "evidence": "/home/paulca/.cache/oficina-maintenance-writer-integration",
+ "independent_review": "APPROVE claude-fable-5-1 bounded inert integrated e87 delta; pre-worker-mount fence timeout/global token lock corrections required",
+ "runtime_worker": "unmounted",
+ "prior_frozen_candidate": "af52d1be76e87c829141bdfb8c17d63779f1951b",
+ "scope": "Foundations plus private files, scheduled-token local fence and Record projection preservation; no complete durable writer/lifecycle/serving enforcement or worker mounted",
+ "review_evidence": "/home/paulca/.cache/oficina-platform-review-20260909/code-integration/review.json",
+ "merge": {
+ "main": "11a303996d5503d29ede77598243ddc66f735279",
+ "main_ci": "success",
+ "activation": "unmounted; no deployment"
+ }
+ },
+ {
+ "name": "Retained artifact launch design amendment",
+ "sha": "8eb788c946e1fa9b15ff6a71773f7c9ffb4db52f",
+ "independent_review": "APPROVE claude-fable-5-1 after fd4 closure and explicit adapter amendment corrections",
+ "branch": "design-maintenance-launch-r3",
+ "validation": "full local gate and exact CI pass",
+ "evidence": "/home/paulca/.cache/oficina-platform-review-20260909/launch-r3",
+ "merge": {
+ "main": "9969a8feaafb5bdc9307cc93ff7854356d5004c4",
+ "main_ci": "superseded by cumulative4f0e078; cumulative main CI success"
+ }
+ },
+ {
+ "name": "Signed runtime-contract design",
+ "sha": "429e7c8dc404a3d8b75d963b8d1e69742a8cab1e",
+ "independent_review": "APPROVE claude-fable-5-1 R3 bounded design",
+ "branch": "design-runtime-signing-r2",
+ "validation": "native gate and exact CI passed",
+ "evidence": "/home/paulca/.cache/oficina-platform-review-20260909/runtime-signing-r3",
+ "merge": {
+ "main": "2ace60d24ba51c6981a3bd64420ff7087b722bfd",
+ "main_ci": "success",
+ "activation": "design only"
+ }
+ },
+ {
+ "name": "Private-file IO",
+ "sha": "c46a201663715f420f7b911db3bd512d9205af61",
+ "validation": "Native gate, race, five cross builds and exact CI passed; four compiled negative controls fail intended assertions and unmodified race passes",
+ "evidence": "/home/paulca/.cache/pfio",
+ "independent_review": "APPROVE claude-fable-5-1 bounded inert integrated e87 delta; pre-worker-mount fence timeout/global token lock corrections required",
+ "scope": "Linux private-file IO only; no CLI, key storage protocol or network dispatch",
+ "review_evidence": "/home/paulca/.cache/oficina-platform-review-20260909/code-integration/review.json"
+ },
+ {
+ "name": "Scheduled token local fence ordering",
+ "sha": "b6e5c2f30456fb8f089805a871127469bd689d2a",
+ "validation": "Native gate, activator/host race, five cross builds, three negative controls and exact CI passed",
+ "evidence": "/home/paulca/.cache/oficina-schedule-token-proof",
+ "independent_review": "APPROVE claude-fable-5-1 bounded inert integrated e87 delta; pre-worker-mount fence timeout/global token lock corrections required",
+ "scope": "Local token preparation only; no durable guard or deployment enabled",
+ "review_evidence": "/home/paulca/.cache/oficina-platform-review-20260909/code-integration/review.json"
+ },
+ {
+ "name": "Always-awake exec lifecycle and fixed platform transition design",
+ "sha": "c6281d5f802db409befa7376dcff2d35bcfb9efc",
+ "branch": "design-always-awake-r2",
+ "independent_review": "APPROVE claude-fable-5-1 R3 bounded design",
+ "validation": "native gate and exact c628 CI passed",
+ "scope": "Design only; fresh app compatibility checker mandatory before resume; Home checker unimplemented; fresh takeover unavailable without prior executor quiescence",
+ "evidence": "/home/paulca/.cache/oficina-platform-review-20260909/always-awake-r3",
+ "prior_candidate": "d3b8b6a4dc5f53b59f1c76e7a2332b65eed796f9",
+ "merge": {
+ "main": "d2cbfba654ebfc4ddbdf3887d1346ad15862d060",
+ "main_ci": "success in cumulative2ace60d",
+ "activation": "design only; explicit open activation dependencies remain"
+ }
+ },
+ {
+ "name": "Maintenance REST and CLI protocol proposal",
+ "sha": "5f18cddc11da6c16b552999b5957947311014296",
+ "branch": "design-maintenance-protocol-r2",
+ "validation": "exact branch and cumulative main CI pass; real envelope maximum and24 schema checks pass",
+ "evidence": "/home/paulca/.cache/oficina-protocol-r2",
+ "independent_review": "APPROVE claude-fable-5-1 R3; all nine accumulated blockers resolved",
+ "scope": "Design and schemas only; no runtime implementation",
+ "merge": {
+ "main": "4f0e078eacbc38d5637eed6f885feda9fa26d4bb",
+ "main_ci": "success",
+ "activation": "design only"
+ }
+ },
+ {
+ "name": "Complete Home non-serving compatibility checker proposal",
+ "sha": "89e8d3ae64af7e43f594af4f8750d6b93bea4048",
+ "branch": "design-checker-closed-handoff",
+ "validation": "full local gate, exact branch CI and actual pinned-driver cleanup/race/negative/post-checkpoint proofs pass",
+ "evidence": "/home/paulca/.cache/oficina-home-checker-r4",
+ "independent_review": "APPROVE claude-fable-5-1 R4 bounded design; all blockers resolved",
+ "scope": "Design only; readonly connector, schema deployment, trusted enrollment and protected launch unresolved",
+ "merge": {
+ "main": "6bf094416deebb3f29cbe21f820e2eae10091ab3",
+ "main_ci": "running",
+ "activation": "design only"
+ }
+ },
+ {
+ "name": "Calendar gap availability and reminder rescheduling corrections",
+ "sha": "95dc52d4160a67f69a7b865067fd426d75b28a3f",
+ "branch": "fix/edit-reminder-reschedule",
+ "independent_review": "APPROVE claude-fable-5-1 cumulative fixes versus1a6dcd0; not complete Calendar release",
+ "evidence": "/home/paulca/.cache/oficina-calendar-fable-review-95dc52d",
+ "validation": "full gate/race/exactCI and individual regression mutations passed",
+ "scope": "Recurring exports, prior whole-release findings and canary requirements remain"
+ }
+ ],
+ "deployment": "none of these candidates deployed; suite readiness incomplete",
+ "review_provider": "installed claude subscription; actual claude-fable-5-1 verified by completed Litestream and Calendar verdicts",
+ "review_status": "All twelve queue entries independently approved within recorded bounded scopes. Approved local foundation and design branches merged; cumulative platform and Docs/Home recovery main CI passed; final Home checker merged-main CI running."
+ },
+ "pre_worker_review_followups": [
+ {
+ "finding": "FenceAndStop lock timeout returns ErrStopUnproven before installing a fence",
+ "required": "Distinct not-fenced result and actual timeout/map-state regression before worker integration",
+ "source": "Fable e87 review"
+ },
+ {
+ "finding": "PrepareScheduledToken holds Service.mu across filesystem IO",
+ "required": "Per-host token ordering with short fence checks before worker integration",
+ "source": "Fable e87 review"
+ },
+ {
+ "finding": "Home checker closed database handoff needs ordinary SQLite cleanup after Litestream PersistWAL close",
+ "required": "Review pinned-driver preparation proof and revised checker contract; retain same exclusive lease and mandatory post-checker verification",
+ "source": "Fable Home checker R3"
+ },
+ {
+ "finding": "Reviewed launcher child executable descriptor lifetime differs from Home descriptor baseline",
+ "required": "Implement actual executable hashing via /proc/self/exe; explicitly close/check inherited fd3/fd4 before baseline; no pathname exec fallback",
+ "source": "Fable launch8eb review"
+ }
+ ],
+ "reviewed_designs": {
+ "always_awake": {
+ "candidate": "c6281d5f802db409befa7376dcff2d35bcfb9efc",
+ "merged_main": "d2cbfba654ebfc4ddbdf3887d1346ad15862d060",
+ "state": "Fable approved design; cumulative main CI passed; runtime absent"
+ },
+ "protocol": {
+ "candidate": "5f18cddc11da6c16b552999b5957947311014296",
+ "merged_main": "4f0e078eacbc38d5637eed6f885feda9fa26d4bb",
+ "state": "Fable approved design; main CI passed; worker authentication and runtime integration remain absent"
+ },
+ "home_checker": {
+ "candidate": "89e8d3ae64af7e43f594af4f8750d6b93bea4048",
+ "state": "Fable approved design; local and exact branch CI passed; merged-main CI running; runtime absent",
"discussion": 45,
- "artifact": "implementation/compatibility-checker/proposal.json"
+ "merged_main": "6bf094416deebb3f29cbe21f820e2eae10091ab3"
}
}
}