Skip to content

Define clean-close certificate and manifest V2 - #195

Merged
piroyoung merged 2 commits into
mainfrom
186-clean-manifest-contract
Aug 7, 2026
Merged

piroyoung merged 2 commits into
mainfrom
186-clean-manifest-contract

Conversation

@piroyoung

Copy link
Copy Markdown
Contributor

Summary

  • add ADR 0067 and the inert clean-close certificate with checked lifecycle transitions
  • preserve manifest V1 bytes while rejecting clean state from the V1 encoder
  • add an independent, canonical 256-byte manifest V2 codec and exhaustive golden/failure coverage

Validation

  • 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

Hiroki Mizukami added 2 commits August 8, 2026 06:17
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 9e85df59-6de2-4170-bc09-2afb36dee35f
Keep fork/exec crash-model tests in dedicated integration binaries so sibling libtest threads cannot transiently retain unrelated flock descriptions across process creation.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 9e85df59-6de2-4170-bc09-2afb36dee35f
@piroyoung
piroyoung merged commit 614dd4c into main Aug 7, 2026
2 checks passed
@piroyoung
piroyoung deleted the 186-clean-manifest-contract branch August 7, 2026 21:50
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