docs(common-infra): D1 addendum — deterministic floor must disclose its blind spot#17
Merged
Merged
Conversation
… its blind spot Generalizable doctrine from a writing finding (the canonical owner's call to record): a deterministic-floor gateProbe must be domain-aware OR DISCLOSE its blind spot — a clean pass:true must NEVER imply the floor verified tokens/quantities it couldn't check. Writing's case: a Bluebook regex floor false-positived on "§ 78mm" and was blind to spelled-out numbers. It's the FLOOR's analog of the semantic-gate lesson (vague-evidence pass = failure mode in a judge's robe), and it sharpens invariant (i) / doctrine #3: the floor's evidence must SCOPE its coverage so "necessary-not- sufficient" stays honest about WHERE the sufficiency boundary lies. - D1 return contract → {pass, artifactsPresent, evidence, scope}; scope = checked / not-checked; evidence states it. - doctrine #3 sharpened with the blind-spot-disclosure clause. - pass #9 run-core gateProbe CONTRACT item added; flagged that the wc-creator birther GATE_SCHEMA should add the scope field too. Worked regex-fix lives in writing. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Nv4gnCEvYdR5CqJ9HL3vjA
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
1 participant
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.
A writing finding, recorded by the canonical owner: a deterministic-floor gateProbe must disclose its blind spot — a clean pass must never imply it verified tokens it couldn't check (writing: Bluebook '§ 78mm' false-positives + spelled-out-number blind spots). The floor's analog of the semantic 'vague-evidence pass' lesson. Sharpens doctrine #3 + D1's contract ({pass, artifactsPresent, evidence, scope}); adds a pass#9 run-core contract item (scope = checked/not-checked) and flags the wc-creator birther GATE_SCHEMA to match.
🤖 Generated with Claude Code