Skip to content

fix(lmux): close M3 and M4 acceptance - #609

Merged
zhnt merged 4 commits into
mainfrom
harness/lmux-acceptance-closure
Sep 22, 2026
Merged

zhnt merged 4 commits into
mainfrom
harness/lmux-acceptance-closure

Conversation

@zhnt

@zhnt zhnt commented Sep 22, 2026

Copy link
Copy Markdown
Owner

The formal history-restore campaign consistently failed during startup when an unrelated registry database descriptor close briefly overlapped startup fence acquisition. The managed fence now gives that exact transient close one bounded settlement opportunity while preserving the original owner, deadline, unknown-release handling, and fail-closed behavior for persistent cleanup debt.

This also removes a false read-only snapshot race by waiting for the already-authorized lifecycle diagnostic writer, and records the completed M3/M4 acceptance. Fresh uninterrupted first-use and history-restore A/A campaigns both completed 44/44 valid samples and passed; retained managed-mux and history-warm reports were source-bound and reevaluated under accepted ARD-004 without rewriting data or claiming a new performance measurement. The final architecture, lifecycle/security, and Product/acceptance review found no unresolved P0/P1/P2 issue.

Validation:

  • lmux/G18 development suite: 1256 passed, 4 skipped
  • AppHost suite: 2746 passed, 12 skipped
  • managed mux focused suite: 107 passed
  • architecture documentation: 7 passed; documentation policy checks: 6 passed
  • AppHost and Harness Ruff/mypy: passed

The performance conclusion remains limited to the accepted ARD-004 contract: no regression above 30% was detected; smaller regressions are not detectable by this gate, and this PR makes no speedup claim.

Closes #607

Retry lifecycle-fence contention independently from unrelated transient registry cleanup state. Database cleanup debt remains authoritative after the lifecycle fence has been acquired.\n\nRefs #607
Give an in-flight descriptor close one event-loop turn to settle before rejecting managed Mux admission. Persistent cleanup debt and uncertain fence release remain fail-closed.\n\nRefs #607
Record the source-bound formal campaigns, ARD-004 claim limits, narrow startup contention fix, final gates, and three-perspective review.\n\nRefs #607
@zhnt
zhnt merged commit 679ac3c into main Sep 22, 2026
27 checks passed
@zhnt
zhnt deleted the harness/lmux-acceptance-closure branch September 22, 2026 19:49
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.

Close lmux M3/M4 acceptance and final review

1 participant