diff --git a/devlog/_fin/260906_a_final_closeout/000_plan.md b/devlog/_fin/260906_a_final_closeout/000_plan.md new file mode 100644 index 0000000000..404af3c08c --- /dev/null +++ b/devlog/_fin/260906_a_final_closeout/000_plan.md @@ -0,0 +1,7 @@ +# A final verified landing + +Terminal outcome: all five source PRs are closed, credited changes are on dev, and integrated dev CI passed. See [the outcome](../260906_a_runtime_stack/090_outcome.md) and [final evidence](030_quota_followup.md). + +All five feature implementations and two additional verification repairs have independent review and remote regression evidence. Three feature carries and the Windows foundation are already on dev. Remaining chain:3708 (bounded macOS cleanup/replay-fixture foundation) →3692 (Command Code affinity) →3694 (effective capabilities). + +This final cycle preserves the original owner objective: all five source PRs dispositioned, credited changes on dev, and fresh final dev verification. No local suites/typecheck/build. Existing owner-authorized admin merge applies only after every actual current-head producer passed; a queued aggregation-only job may be evaluated with its exact allowlist and recorded honestly. No pending functional test or failed test is waived. diff --git a/devlog/_fin/260906_a_final_closeout/001_gate_audit.md b/devlog/_fin/260906_a_final_closeout/001_gate_audit.md new file mode 100644 index 0000000000..b3149e0741 --- /dev/null +++ b/devlog/_fin/260906_a_final_closeout/001_gate_audit.md @@ -0,0 +1,3 @@ +# Final gate audit resolution + +Accepted the independent audit finding: merge automation must not ignore a failed/cancelled aggregate or skipped applicable producer. The helper now enumerates all24 applicable producer names for the pinned manual-all workflow and requires every one completed/successful. No job-level skip is applicable to this workflow invocation. Exactly one ci aggregator must be successful or only queued; all other states reject. Queued aggregation is accepted only after the full producer predicate has been independently established and recorded. Prior three A merge records were rechecked and satisfy this stronger condition; no failed/skipped producer was previously bypassed. diff --git a/devlog/_fin/260906_a_final_closeout/010_landing.md b/devlog/_fin/260906_a_final_closeout/010_landing.md new file mode 100644 index 0000000000..27844a050a --- /dev/null +++ b/devlog/_fin/260906_a_final_closeout/010_landing.md @@ -0,0 +1,10 @@ +# Final actions and acceptance + +1. Refresh final integration PR #3716 and every carried layer head/base/review thread. Require all 24 actual producers at the exact final top head, including every Windows shard, both macOS shards and unsharded control, Linux shards, types/privacy and smokes. Preserve failed predecessor runs and the evidence for their repairs; a predecessor result is never relabeled successful. See 020 for the independently approved topology amendment. +2. Retarget the fully verified final top to dev and admin-merge it with a match-head guard. This carries all reviewed ancestor commits without rewriting them. Prove the top merge, all pending layer heads and original contributor commits are ancestors of freshly fetched dev. Close lower review PRs with the actual top integration evidence; preserve their actual GitHub state if GitHub automatically recognizes them as merged. Do not claim separate layer merge commits. +3. Immediately close each superseded original after checking it did not gain unique new changes. Source3679's rebase08d25 has verified identical patch; other originals are refreshed normally. Source3672/3679/3568 are already closed. Source3581/3671 close immediately after the verified top landing. Related3661 remains open for its explicitly excluded residual scope. +4. Merge latest dev into this own closeout branch only after code landings. Move only completed A unit directories from devlog/_plan to devlog/_fin, preserving historical contents. Add a concise public outcome table with source/carry/merge/CI/author proof and scope limitations. Never copy ignored logs or private investigations. +5. Publish a docs-only closeout PR using the repository template. Verify its changed paths, privacy and metadata; admin merge when checks allow. Runtime/tests/dependencies must be byte-identical to the last code merge. Existing code CI may prove that identical runtime tree; documentation metadata alone is not runtime test evidence. +6. Require final dev push-CI producer success on the last code head, verify any subsequent docs-only difference and final ancestry, and refresh all source/carry states. Complete the landing criterion and goal only after the durable ledger is complete and the FSM has closed. No release, deployment, service or account changes. + +Independent final audit checks this plan and later actual evidence. Any new valid implementation or CI finding returns to a narrowly scoped repair; it is not discarded to finish the goal. diff --git a/devlog/_fin/260906_a_final_closeout/020_verified_top_amendment.md b/devlog/_fin/260906_a_final_closeout/020_verified_top_amendment.md new file mode 100644 index 0000000000..d0ad70b43c --- /dev/null +++ b/devlog/_fin/260906_a_final_closeout/020_verified_top_amendment.md @@ -0,0 +1,9 @@ +# Verified descendant integration + +The original sequential landing plan was amended after independent review. The capability tip #3694 at b59a34ce5 passed all 24 actual functional CI producers in run33988434944. A preceding foundation run retained a distinct pre-ready transition-fixture timeout on Windows. The test-only repair and its outer-budget review correction form final top #3716 at782e21ed7; this top must independently pass all24 producers before any remaining code lands. + +One merge of the fully verified descendant preserves the complete reviewed stack and its original contributor commits. It avoids rewriting three branch heads for the same fixture repair. The completion bar remains exact-head functional verification, fresh source/review checks, dev ancestry for every layer, explicit original-author credit, immediate original closure and final aggregate dev evidence. Pending or failed functional jobs at the final candidate cannot be waived. + +Independent topology review: Lagrange PASS. The concrete execution helper is also reviewed before use. Historical failed predecessor jobs remain historical failures, while lower PRs are recorded as carried through the actual final integration. This is a change in landing topology, not a claim that unmerged review heads already shipped. + +The transition fixture passed four tests and typecheck remotely on pinned Bun1.4.0 at782e21ed7. A10.5-second controlled startup passed the new budget and failed the old10-second guard. An injected startup exception produced the direct pre-barrier diagnostic. Temporary mutations were restored; independent repair review passed after budgeting parent setup plus both sequential lock-test children. No local product tests, builds or typechecks ran. diff --git a/devlog/_fin/260906_a_final_closeout/030_quota_followup.md b/devlog/_fin/260906_a_final_closeout/030_quota_followup.md new file mode 100644 index 0000000000..54a86cac50 --- /dev/null +++ b/devlog/_fin/260906_a_final_closeout/030_quota_followup.md @@ -0,0 +1,7 @@ +# Final fixture follow-up and landing + +The final candidate advanced from782e21ed7 to5097e66fa after Windows1 exposed the quota observer fixture's unjoined queue. Only that test file and its record changed; runtime and dependency trees were identical. Independent review passed, remote16tests/typecheck passed, delayed-queue controls reproduced the exact old3failures and kept all16green after repair, and suppressed delivery still failed both event-count assertions. Temporary remote mutations were restored. + +Full509CI33991642514 passed all24actual producers plusci. Finaltop3716 was owner-authorized admin-merged into dev asa2f69c8aa60976345740ae6f3d2301f89297328e. Every pending layer head is an ancestor; originals3581/3671 closed immediately after proof. Earlier3672/3679/3568 remain closed. Live source/carry states, coauthor trailers and3661OPEN were independently re-read by the final state verifier. + +IntegrateddevCI33993960826 completed successfully: all17 applicable producers and the aggregate passed, with only the two dispatch-only jobs skipped. Independent final evidence review confirmed all five carry heads and all eight contributor commits are ancestors of the integration. The closeout contains only the five A documentation units; its runtime, tests and dependencies match the verified integration tree. diff --git a/devlog/_plan/260906_a_macos_verification/000_plan.md b/devlog/_fin/260906_a_macos_verification/000_plan.md similarity index 100% rename from devlog/_plan/260906_a_macos_verification/000_plan.md rename to devlog/_fin/260906_a_macos_verification/000_plan.md diff --git a/devlog/_plan/260906_a_macos_verification/010_cleanup_plan.md b/devlog/_fin/260906_a_macos_verification/010_cleanup_plan.md similarity index 100% rename from devlog/_plan/260906_a_macos_verification/010_cleanup_plan.md rename to devlog/_fin/260906_a_macos_verification/010_cleanup_plan.md diff --git a/devlog/_plan/260906_a_macos_verification/020_direct_transport_watchdog.md b/devlog/_fin/260906_a_macos_verification/020_direct_transport_watchdog.md similarity index 100% rename from devlog/_plan/260906_a_macos_verification/020_direct_transport_watchdog.md rename to devlog/_fin/260906_a_macos_verification/020_direct_transport_watchdog.md diff --git a/devlog/_plan/260906_a_macos_verification/030_transition_probe_watchdog.md b/devlog/_fin/260906_a_macos_verification/030_transition_probe_watchdog.md similarity index 100% rename from devlog/_plan/260906_a_macos_verification/030_transition_probe_watchdog.md rename to devlog/_fin/260906_a_macos_verification/030_transition_probe_watchdog.md diff --git a/devlog/_plan/260906_a_macos_verification/040_quota_observation_drain.md b/devlog/_fin/260906_a_macos_verification/040_quota_observation_drain.md similarity index 100% rename from devlog/_plan/260906_a_macos_verification/040_quota_observation_drain.md rename to devlog/_fin/260906_a_macos_verification/040_quota_observation_drain.md diff --git a/devlog/_plan/260906_a_replay_credentials/000_plan.md b/devlog/_fin/260906_a_replay_credentials/000_plan.md similarity index 100% rename from devlog/_plan/260906_a_replay_credentials/000_plan.md rename to devlog/_fin/260906_a_replay_credentials/000_plan.md diff --git a/devlog/_plan/260906_a_replay_credentials/010_replay_plan.md b/devlog/_fin/260906_a_replay_credentials/010_replay_plan.md similarity index 100% rename from devlog/_plan/260906_a_replay_credentials/010_replay_plan.md rename to devlog/_fin/260906_a_replay_credentials/010_replay_plan.md diff --git a/devlog/_plan/260906_a_runtime_stack/000_plan.md b/devlog/_fin/260906_a_runtime_stack/000_plan.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/000_plan.md rename to devlog/_fin/260906_a_runtime_stack/000_plan.md diff --git a/devlog/_plan/260906_a_runtime_stack/003_audit_resolution.md b/devlog/_fin/260906_a_runtime_stack/003_audit_resolution.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/003_audit_resolution.md rename to devlog/_fin/260906_a_runtime_stack/003_audit_resolution.md diff --git a/devlog/_plan/260906_a_runtime_stack/004_windows_amendment.md b/devlog/_fin/260906_a_runtime_stack/004_windows_amendment.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/004_windows_amendment.md rename to devlog/_fin/260906_a_runtime_stack/004_windows_amendment.md diff --git a/devlog/_plan/260906_a_runtime_stack/005_amendment_audit.md b/devlog/_fin/260906_a_runtime_stack/005_amendment_audit.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/005_amendment_audit.md rename to devlog/_fin/260906_a_runtime_stack/005_amendment_audit.md diff --git a/devlog/_plan/260906_a_runtime_stack/010_sse.md b/devlog/_fin/260906_a_runtime_stack/010_sse.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/010_sse.md rename to devlog/_fin/260906_a_runtime_stack/010_sse.md diff --git a/devlog/_plan/260906_a_runtime_stack/011_sse_refresh.md b/devlog/_fin/260906_a_runtime_stack/011_sse_refresh.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/011_sse_refresh.md rename to devlog/_fin/260906_a_runtime_stack/011_sse_refresh.md diff --git a/devlog/_plan/260906_a_runtime_stack/020_ws.md b/devlog/_fin/260906_a_runtime_stack/020_ws.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/020_ws.md rename to devlog/_fin/260906_a_runtime_stack/020_ws.md diff --git a/devlog/_plan/260906_a_runtime_stack/021_ws_refresh.md b/devlog/_fin/260906_a_runtime_stack/021_ws_refresh.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/021_ws_refresh.md rename to devlog/_fin/260906_a_runtime_stack/021_ws_refresh.md diff --git a/devlog/_plan/260906_a_runtime_stack/030_recovery.md b/devlog/_fin/260906_a_runtime_stack/030_recovery.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/030_recovery.md rename to devlog/_fin/260906_a_runtime_stack/030_recovery.md diff --git a/devlog/_plan/260906_a_runtime_stack/031_recovery_refresh.md b/devlog/_fin/260906_a_runtime_stack/031_recovery_refresh.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/031_recovery_refresh.md rename to devlog/_fin/260906_a_runtime_stack/031_recovery_refresh.md diff --git a/devlog/_plan/260906_a_runtime_stack/040_affinity.md b/devlog/_fin/260906_a_runtime_stack/040_affinity.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/040_affinity.md rename to devlog/_fin/260906_a_runtime_stack/040_affinity.md diff --git a/devlog/_plan/260906_a_runtime_stack/041_affinity_refresh.md b/devlog/_fin/260906_a_runtime_stack/041_affinity_refresh.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/041_affinity_refresh.md rename to devlog/_fin/260906_a_runtime_stack/041_affinity_refresh.md diff --git a/devlog/_plan/260906_a_runtime_stack/050_capabilities.md b/devlog/_fin/260906_a_runtime_stack/050_capabilities.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/050_capabilities.md rename to devlog/_fin/260906_a_runtime_stack/050_capabilities.md diff --git a/devlog/_plan/260906_a_runtime_stack/051_capability_refresh.md b/devlog/_fin/260906_a_runtime_stack/051_capability_refresh.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/051_capability_refresh.md rename to devlog/_fin/260906_a_runtime_stack/051_capability_refresh.md diff --git a/devlog/_plan/260906_a_runtime_stack/070_windows_fixtures.md b/devlog/_fin/260906_a_runtime_stack/070_windows_fixtures.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/070_windows_fixtures.md rename to devlog/_fin/260906_a_runtime_stack/070_windows_fixtures.md diff --git a/devlog/_plan/260906_a_runtime_stack/080_landing.md b/devlog/_fin/260906_a_runtime_stack/080_landing.md similarity index 100% rename from devlog/_plan/260906_a_runtime_stack/080_landing.md rename to devlog/_fin/260906_a_runtime_stack/080_landing.md diff --git a/devlog/_fin/260906_a_runtime_stack/090_outcome.md b/devlog/_fin/260906_a_runtime_stack/090_outcome.md new file mode 100644 index 0000000000..0534bb8ecb --- /dev/null +++ b/devlog/_fin/260906_a_runtime_stack/090_outcome.md @@ -0,0 +1,29 @@ +# A runtime and routing outcome + +All five assigned originals are closed and their credited changes are on dev. The final stack entered dev through [#3716](https://github.com/lidge-jun/opencodex/pull/3716), merge [`a2f69c8aa`](https://github.com/lidge-jun/opencodex/commit/a2f69c8aa60976345740ae6f3d2301f89297328e). GitHub automatically recognized the folded review PRs as merged; their actual dev integration is recorded below. + +| Original | Reviewed carry | Dev integration | Full CI before dev integration | +| --- | --- | --- | --- | +| [#3672](https://github.com/lidge-jun/opencodex/pull/3672) | [#3683](https://github.com/lidge-jun/opencodex/pull/3683) | [#3683](https://github.com/lidge-jun/opencodex/pull/3683) · [`c6d8678f7`](https://github.com/lidge-jun/opencodex/commit/c6d8678f73ce6e1ae9df004ab032af09837b5b45) | [33981578769](https://github.com/lidge-jun/opencodex/actions/runs/33981578769) | +| [#3679](https://github.com/lidge-jun/opencodex/pull/3679) | [#3686](https://github.com/lidge-jun/opencodex/pull/3686) | [#3686](https://github.com/lidge-jun/opencodex/pull/3686) · [`a6d1065cf`](https://github.com/lidge-jun/opencodex/commit/a6d1065cfbadc7d8f9c02e17549908b42d2bfd7a) | [33981581047](https://github.com/lidge-jun/opencodex/actions/runs/33981581047) | +| [#3568](https://github.com/lidge-jun/opencodex/pull/3568) | [#3690](https://github.com/lidge-jun/opencodex/pull/3690) | [#3690](https://github.com/lidge-jun/opencodex/pull/3690) · [`6e15dad6a`](https://github.com/lidge-jun/opencodex/commit/6e15dad6a42682d5dbf3e61c51493385091e37a6) | [33981582675](https://github.com/lidge-jun/opencodex/actions/runs/33981582675) | +| [#3581](https://github.com/lidge-jun/opencodex/pull/3581) | [#3692](https://github.com/lidge-jun/opencodex/pull/3692) | [#3716](https://github.com/lidge-jun/opencodex/pull/3716) · [`a2f69c8aa`](https://github.com/lidge-jun/opencodex/commit/a2f69c8aa60976345740ae6f3d2301f89297328e) | [33991642514](https://github.com/lidge-jun/opencodex/actions/runs/33991642514) | +| [#3671](https://github.com/lidge-jun/opencodex/pull/3671) | [#3694](https://github.com/lidge-jun/opencodex/pull/3694) | [#3716](https://github.com/lidge-jun/opencodex/pull/3716) · [`a2f69c8aa`](https://github.com/lidge-jun/opencodex/commit/a2f69c8aa60976345740ae6f3d2301f89297328e) | [33991642514](https://github.com/lidge-jun/opencodex/actions/runs/33991642514) | + +Original author identities and account-linked Co-authored-by trailers were retained: Hako, Clive Rosfield, voiys and SB Yoon. The carried contributor commits remain ancestors of the final integration. Each source head was checked again before closure; the original WebSocket author rebase had an identical verified patch. + +## Additional verified repairs + +- #3696 stabilized Windows shutdown-spill fixtures with controlled clocks and complete ACL mocks; hosted Windows causal and negative controls passed before integration. +- #3708 kept Unix probe cleanup bounded and fail-closed while allowing the existing observation interval to confirm disappearance after transient EPERM. Replay fixtures now keep one caller credential snapshot across a forced second boundary. +- #3716 budgeted transition-probe startup from the two bounded Windows identity lookups, reported early exits, and joined children before cleanup. Quota fixtures now join their ordered observation/forget queue instead of guessing completion after five milliseconds. + +The final candidate passed all 24 actual cross-platform producers and the aggregate CI check in run33991642514. Remote regression controls covered delayed process startup, direct early exit, delayed quota delivery and deliberately suppressed delivery. Reverting the quota fixture reproduced the exact three historical failures; the repaired fixture passed all sixteen cases under the controlled delay. No local product tests, typechecks or builds ran. + +## Scope and verification record + +[#3661](https://github.com/lidge-jun/opencodex/issues/3661) remains open: this work covers the proven native MESSAGE recovery slice, not its remaining multipart/backend/caller cases. The five source PRs expose no additional closing-issue links. + +Historical failed CI jobs were preserved. One earlier Cursor echo/close timeout has no established cause; the same source subsequently passed all final cross-platform checks. It was not claimed to be fixed by the fixture changes. + +Integrated dev `a2f69c8aa60976345740ae6f3d2301f89297328e` passed [run33993960826](https://github.com/lidge-jun/opencodex/actions/runs/33993960826): all17 applicable producers and the aggregate succeeded. Windows suite and unsharded macOS control are dispatch-only and were correctly skipped on this push; both were included in the successful24-producer final candidate run above. diff --git a/devlog/_plan/260906_a_windows_fixture/000_plan.md b/devlog/_fin/260906_a_windows_fixture/000_plan.md similarity index 100% rename from devlog/_plan/260906_a_windows_fixture/000_plan.md rename to devlog/_fin/260906_a_windows_fixture/000_plan.md diff --git a/devlog/_plan/260906_a_windows_fixture/010_fixture_plan.md b/devlog/_fin/260906_a_windows_fixture/010_fixture_plan.md similarity index 100% rename from devlog/_plan/260906_a_windows_fixture/010_fixture_plan.md rename to devlog/_fin/260906_a_windows_fixture/010_fixture_plan.md diff --git a/devlog/_plan/260906_a_windows_fixture/011_review_resolution.md b/devlog/_fin/260906_a_windows_fixture/011_review_resolution.md similarity index 100% rename from devlog/_plan/260906_a_windows_fixture/011_review_resolution.md rename to devlog/_fin/260906_a_windows_fixture/011_review_resolution.md