Repository navigation
Conversation
iperev
force-pushed
the
feat/private-diagnostic-coordinates
branch
from
October 12, 2026 09:34
8d40033 to
339a0fa
Compare
Add the ROADMAP CI-057 disposition, closure-cost class and section dispositions to the admitted own-CI risk ledger with static projection checks, conserve the CI-058 PostgreSQL intake as three mechanisms, and record the bounded D9-C1 (CI-065) comparison ledger against local owners. Extend the backend canonical-JSON key-order vector with U+E000 so a UTF-16 sort is falsified, as the frontend vector already does. No behavioral delta is adopted; native qualification remains open.
iperev
force-pushed
the
docs/validation-ledgers
branch
from
October 12, 2026 09:35
6f8c6c6 to
b918f38
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Context
CI-057 needs every blueprint validation class marked as covered, confirmed gap, not applicable or unresolved, with proof limits and cost. CI-058 needs the 225-scenario PostgreSQL intake conserved on current source. CI-065 (D9-C1) needs a bounded comparison ledger.
Provisional owner decisions (2026-10-11):
proofkit/ci-risk-coverage.v1.json.What changed
REQ-CI-PROOFKIT-012, the decision doc and the how-to are updated to match.database-observation-snapshots.md, covering the mechanism owners, the existing query-plan witnesses and the open question about plan witnesses for the logout fence.architecture-decision-quality.md) with 19 candidates: boundary contracts, transfer safeguards and testing guidance.test_orders_keys_by_unicode_codepointgains U+E000, so a backend UTF-16 key sort is now falsified, as the frontend vector already did.Expected result
ci_matrix checkreports 12 covered, 16 not applicable, 85 unresolved and 1 confirmed gap (DATA02 → CI-067), each open row with its cost class.Non-claims:
Independent review: gpt-6-astra (xhigh); findings addressed or rejected with reasons in the single commit. Provisional owner decisions (2026-10-11) are labelled in the changed documents.