Skip to content

Fix review coverage parity in finalize and verify - #15

Merged
auscaster merged 2 commits into
mainfrom
codex/review-coverage-parity
Sep 8, 2026
Merged

auscaster merged 2 commits into
mainfrom
codex/review-coverage-parity

Conversation

@auscaster

@auscaster auscaster commented Sep 8, 2026 •

Copy link
Copy Markdown
Contributor

Finalization and verification now use the same review-coverage rules and material evidence, so a receipt accepted at finalization can be verified against the same source without inconsistent exclusions. The existing isolated reviewer evidence path applies the same contract.

Validation: the inherited repair receipt passed full verification; the 2.5.9 candidate built for all six release targets, passed npm/PyPI installer smoke and verified that receipt. Publication remains pending.

The unchanged finalized receipt is included for the existing merge gate. Material verification and full acceptance both pass locally through the protected-base verifier; the full check used the actual CI script.

Finalization and verification now use the same review-coverage rules and material evidence, so a receipt accepted at finalization can be verified against the same source without inconsistent exclusions. The existing isolated reviewer evidence path applies the same contract.

Validation: the inherited repair receipt passed full verification; the 2.5.9 candidate built for all six release targets, passed npm/PyPI installer smoke and verified that receipt. Publication remains pending.
Include the already finalized, byte-identical receipt for the reviewed six-file repair so the existing CI material and acceptance gates can verify this PR. The source implementation is unchanged.
@auscaster
auscaster marked this pull request as ready for review September 8, 2026 13:19
@auscaster
auscaster merged commit 9e3aae9 into main Sep 8, 2026
7 checks passed
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