Document bounded NIM-OIC evidence without promoting benchmarks - #43
Merged
Conversation
README.md and STATUS.md stopped at the PR 40 promotion, so neither front door described the tree that is actually on main, and neither said what the September 3-7 convergence work did and did not measure. A reader could reasonably have taken the Gate F and Gate G pass counts for benchmark results. Record the PR 41 merge of candidate 4576fea into main as 8ebac66, state that it changed claim-control text only and closes SAK001C-F01/SAK001-F01 pending independent confirmation, and state that independent review does not cover that merge commit. Add a bounded-results disclosure to both front doors that opens by saying nothing in OIC-Bench has been measured, binds every figure to the exact candidate that produced it, and states that test counts measure the test suite rather than the behaviour of compiled controls. All eight preregistered OIC-Bench rows remain TARGET - NOT MEASURED and the comparative target remains PROVISIONAL TARGET - NOT MEASURED - NOT CALIBRATED. Add fail-closed coverage for both new facts: the continuity anchors, the non-coverage statement and the finding attribution; the disclosure phrases and their candidate binding; and a control that refuses promotion of any OIC-Bench row. Each new control is exercised against a mutation that must fail it. No runtime, verifier, matrix, benchmark, manifest, workflow or packaging content changes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019T5DpZ3tSCkgT5r1dHHSVz
Three residual defects in the bounded-evidence disclosure published on this branch let text say more than the evidence supports. The GG001-M01 control banned the bare identifier, which would have failed an accurate historical mention of a real Gate G finding. Replace it with a contextual control: a mention fails only when a closure verb and a reference to the continuity candidate (4576fea, pull request 41) appear in the same window, because that candidate closes SAK001C-F01 and SAK001-F01, not GG001-M01. Only the section introduction and the two test-count bullets carried a producing candidate, so the demo digest, the path composition and the infrastructure counts travelled unbound. Bind every bounded-result bullet to its exact candidate commit and tree. The practitioner and baseline absence statement asserted an unbounded universal. Bound it to the authorized OIC evidence universe examined by OIC-NIM-EVIDENCE-CROSSWALK-001 as of 2026-09-07, and state that it is a claim about that evidence set on that date rather than about any work outside it. Each of the three is enforced by a control exercised against mutations that must fail it, including an anti-vacuity case proving accurate GG001-M01 history still passes. All eight OIC-Bench rows remain TARGET - NOT MEASURED and the comparative target remains PROVISIONAL TARGET - NOT MEASURED - NOT CALIBRATED. No runtime, verifier, matrix, benchmark, manifest, workflow or packaging content changes. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019T5DpZ3tSCkgT5r1dHHSVz
inventor1975
approved these changes
Sep 8, 2026
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
2 participants
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.
Purpose
Update the OIC front door to reflect the bounded evidence produced by the September 3–7 NIM-OIC work while preserving the repository's claim ceiling.
This PR does not report an OIC-Bench result. All eight preregistered OIC-Bench rows remain TARGET — NOT MEASURED, and the comparative target remains PROVISIONAL TARGET — NOT MEASURED — NOT CALIBRATED.
Exact boundary
mainat8ebac66965997748061d8cc0f1bfde73cb7b216a499a2f51c3117133b63c5c3b9948c69394d6748e37f4bd358f6e19c18424cb53f9a9c18393560681README.md,STATUS.md,tests/contract/test_claims_discipline.pyNo runtime, schema, capability-matrix, benchmark, manifest, workflow, packaging, provider, or corpus content changes.
Owner-operated technical verification
This verification was performed manually on macOS and does not constitute or claim an independent-session review.
make verify: passed while preserving the intentional manifestOVERALL: INCOMPLETEstatemake falsify: 4/4No benchmark was executed, no provider was called, and no corpus was fetched.
Merge control
GitHub Actions must pass on this exact head before any merge.
PULL REQUEST AUTHORIZATION: TRUE
MERGE AUTHORIZATION: FALSE
CLAIM OF INDEPENDENT REVIEW: FALSE
Generated by Claude Code