Skip to content

fix(v0.12): T04 State Engine reliability hardening and regression validation - #69

Draft
eybersjp wants to merge 265 commits into
mainfrom
fix/v0.12-t04-state-engine-hardening
Draft

eybersjp wants to merge 265 commits into
mainfrom
fix/v0.12-t04-state-engine-hardening

Conversation

@eybersjp

@eybersjp eybersjp commented Oct 9, 2026

Copy link
Copy Markdown
Owner

Scope

Hardening of accepted T04 State Engine V2 on top of T01–T04 development baseline. Addresses AUD-05 ledger scalability, AUD-06 multiprocess locking/sequencing, AUD-07 backup restore realpath boundaries, and crash-recovery durability. T05+ excluded.

This is a cumulative validation PR against main because existing CI only triggers there. Do not merge this cumulative PR until the approved release integration gate.

Verification

Red regression tests first, followed by bounded fixes, independent review and full Windows/Ubuntu npm run release:validate. No release/version bump.

…re durability (Issue #73)

- Replace no-op Windows parent sync with FlushFileBuffers barrier on write-capable directory descriptor
- Probe parent flush barrier before executing restore or recovery mutations, failing closed with all original evidence preserved
- Synchronize parent directory after stage cleanup prior to acknowledging restore journal
- Update T04-H47 and T04-H48 to enforce parent flush barrier on Windows before journal deletion
- Strengthen review parser source-binding and verdict validation rules (RI-01, RI-02)
- Reconcile offline recovery boundary documentation with uniform directory flush barrier contract

This branch has not been deployed

No deployments
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