Skip to content

Prepare replay-safe transaction clean-close proof - #197

Merged
piroyoung merged 1 commit into
mainfrom
186-transaction-close-proof
Aug 7, 2026
Merged

piroyoung merged 1 commit into
mainfrom
186-transaction-close-proof

Conversation

@piroyoung

Copy link
Copy Markdown
Contributor

Summary

  • consume the live transaction-storage owner into a non-forgeable clean-close proof after coordinator, durable transaction, page, allocator, and retention evidence agree
  • publish and reload a dedicated clean-close checkpoint candidate without replacing the recovery-selected checkpoint; preserve anchored recovery across candidate crashes
  • add coordinated staged-page discharge, anchored backing-loss protection, typed effect-boundary failures, and ADR 0068

Validation

  • cargo fmt --all -- --check
  • cargo test --workspace --all-features --locked
  • cargo clippy --workspace --all-targets --all-features --locked -- -D warnings
  • cargo run --locked -p ntsql-architecture-check
  • cargo run --locked -p ntsql-contract --bin ntsql-governance -- fixtures
  • cargo run --locked -p ntsql-contract --bin ntsql-governance -- provenance-offline
  • cargo run --locked -p ntsql-contract --bin ntsql-governance -- provenance-online
  • git diff --check

Refs #186

Add a consuming generation-aware close transition, dedicated crash-safe close checkpoint candidate, coordinator/durable-state correlation, and staged-page discharge authority. Record the boundary in ADR 0068.\n\nRefs #186\n\nCo-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>\nCopilot-Session: 9e85df59-6de2-4170-bc09-2afb36dee35f
@piroyoung
piroyoung merged commit a0f72f9 into main Aug 7, 2026
2 checks passed
@piroyoung
piroyoung deleted the 186-transaction-close-proof branch August 7, 2026 23:21
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