Skip to content

Record the first live measurement of model-proposed edge binding - #14

Merged
joshft merged 1 commit into
masterfrom
llm-binding-measured
Aug 17, 2026
Merged

Record the first live measurement of model-proposed edge binding#14
joshft merged 1 commit into
masterfrom
llm-binding-measured

Conversation

@joshft

@joshft joshft commented Aug 17, 2026

Copy link
Copy Markdown
Owner

Doc-only: DESIGN.md gains the measured paragraph for the schema-0.0.8 edge binding. Three live runs over two real merged diffs — 40/51 proposals bound and verified through coverage-confirmed edges, 11 probe-less for the designed reasons, zero wrong edges proposed, zero refutations. The file-granularity caveat is stated beside the numbers.

🤖 Generated with Claude Code

https://claude.ai/code/session_015GeUG1gboWiZSnFyzQghyp

Three runs over two real merged diffs: 40 of 51 proposals bound to a
named changed test and verified through a coverage-confirmed edge; all
11 unbound proposals stayed probe-less for the designed reasons. Zero
edge rejections fired live (the model proposed no wrong edge), zero
refutations, zero hallucinated rows. The file-granularity caveat is
stated with the numbers.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015GeUG1gboWiZSnFyzQghyp
@github-actions

Copy link
Copy Markdown

correctful receipt

0 claims — ✅ 0 verified · ❌ 0 refuted · ⚠️ 0 unverified

Change: origin/master...HEAD (28db0ad..223cf35 · input:2c1185af0e81) — 1 files

⚠️ Unverified remainder (0) — what nothing checked

Empty — every harvested claim reached a probe.

Harvest coverage: 1 files — 0 claimed · 1 scanned · 0 unread

schema 0.0.8 · exit gate: refuted claims block; the remainder informs, never fails

@joshft
joshft merged commit 093a123 into master Aug 17, 2026
1 check passed
@joshft
joshft deleted the llm-binding-measured branch August 18, 2026 00:05
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