Skip to content

Record the MUST-binding measurement: no corpus offers a mechanical join - #6

Merged
joshft merged 1 commit into
masterfrom
must-binding-measurement
Aug 17, 2026
Merged

Record the MUST-binding measurement: no corpus offers a mechanical join#6
joshft merged 1 commit into
masterfrom
must-binding-measurement

Conversation

@joshft

@joshft joshft commented Aug 17, 2026

Copy link
Copy Markdown
Owner

Doc-only: the planned MUST-clause→test binding increment was measured before building, and the measurement refuted it — zero spec-ids and zero requirement labels across the qualifying corpus's 58 clauses, 5 thin code-token clauses, and no runnable test surface in the RFC-bearing repository. Recording the refutation in the README limitations and the harvester's doc comment keeps the remainder's honesty story accurate ("measured, not neglected") and names the bindable form (explicit clause labels) so the path stays open.

🤖 Generated with Claude Code

https://claude.ai/code/session_015GeUG1gboWiZSnFyzQghyp

The planned MUST-clause-to-test binding was measured before building,
and the measurement refuted it: the one qualifying RFC's 58 keyword
clauses contain zero spec identifiers and zero requirement labels, only
5 carry a code token, and that repository's tests are shell/C
infrastructure suites correctful has no runner for. A fuzzy textual
join would mint false bindings — the class the doc-comment binding was
cut for — so clauses stay honestly in the remainder.

The bindable form is named so the path stays open: explicit clause
labels (R-007-style) with tests naming the label bind through the
existing test-name reconciliation; support lands when a corpus adopts
labels.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015GeUG1gboWiZSnFyzQghyp
@joshft
joshft merged commit 4a9f8b8 into master Aug 17, 2026
1 check passed
@joshft
joshft deleted the must-binding-measurement branch August 17, 2026 18:22
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