Skip to content

Bind terminal follower assertions to the original expiry decision - #723

Merged
EHotwagner merged 7 commits into
mainfrom
routine/wasm-terminal-expiry-proof-20261018
Oct 18, 2026
Merged

EHotwagner merged 7 commits into
mainfrom
routine/wasm-terminal-expiry-proof-20261018

Conversation

@EHotwagner

@EHotwagner EHotwagner commented Oct 18, 2026 •

Copy link
Copy Markdown
Contributor

The protected 0.6 qualification exposed an invalid test assumption: a DefaultCompatibility queued follower may reach its own strict deadline before terminal retirement. Bind the expected first cause to its actual admitted due time and the producer clock at the first termination-port entry, before connected termination observation can advance that clock. Preserve no follower ABI/Post, once-only identity/order, output fencing and whole-worker retirement assertions.

Add six reducer and three actual Host.CreateConnected before/exact/after controls. Both existing real terminal families retain all 36 browser cases. Runtime parser/lifecycle/ABI, version, capacities, clocks and workflow remain unchanged; 0.6 is unpublished.

Validation: existing clean-source inert workflow preflight and JavaScript syntax checks PASS. Original PR723 attempt39082520529 compiled and passed all50 Lifecycle controls, including the nine new boundaries, then failed29/7 in the36-case browser cohort. All seven failures were the new helper comparing an actual empty Uint8Array against plain []; the repair compares its actual bytes with Array.from, preserving all other assertions. Assertions after that failed comparison remain unqualified until the fresh exact head passes. Independent exact-source review PASS at fae6b00; coherent Atlas capture is included. New compilation/Fable, boundary controls, real browser cleanup and full 35-minute hosted fit remain unqualified until this exact head passes required CI.

Preserve original protected failure 39080719438: 35 browser passes and one follower-reason assertion failure, including a passed instruction-dense case. It produced no eligible package custody. The earlier successful PR qualification remains scoped to its exact source/run.

Owning outcome: Game718. Atlas game/closed-worker-build-boundary retains the original failure and connected clock lesson. No publication, served-feed installed qualification, consumer/image/native activation or whole-product acceptance is selected.

@EHotwagner
EHotwagner merged commit 8a5e63b into main Oct 18, 2026
35 of 36 checks passed
@EHotwagner
EHotwagner deleted the routine/wasm-terminal-expiry-proof-20261018 branch October 18, 2026 01:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant