Skip to content

bench provenance: -dirty on every commit line when the tree differs from HEAD (#186) - #233

Merged
gafferongames merged 1 commit into
mainfrom
commit-dirty-flag
Sep 1, 2026
Merged

bench provenance: -dirty on every commit line when the tree differs from HEAD (#186)#233
gafferongames merged 1 commit into
mainfrom
commit-dirty-flag

Conversation

@gafferongames

Copy link
Copy Markdown
Contributor

Closes #186. commit_of appends -dirty (git diff-index --quiet HEAD, tracked changes only) to the schema line and every sibling runtime line, and BENCH-STANDARD §3.5 now requires it — a sweep of uncommitted work says so in its own preamble instead of leaving a clean-looking sha for a later archaeology to trust. The §3.5 path verifier is untouched (it proves paths, not sha strings — checked). Controls: clean sibling → bare sha; the clone carrying this edit → -dirty. bash -n clean; the x86 sweep (#218) flagged the same hole independently.

🤖 Generated with Claude Code

…m HEAD — closes #186

The 2026-08-15 rust-read CSVs recorded a clean-looking commit while
measuring uncommitted work, which cost the later archaeology its
premise. commit_of now appends -dirty (git diff-index against HEAD,
tracked changes) for schema and every sibling runtime line, and §3.5
requires it. Proven both directions live: a clean sibling prints the
bare sha, the working clone carrying this very edit prints -dirty.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@gafferongames
gafferongames merged commit 787ab84 into main Sep 1, 2026
8 checks passed
@gafferongames
gafferongames deleted the commit-dirty-flag branch September 1, 2026 02:03
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.

Bench provenance: sibling runtime commit is recorded without a dirty-tree flag

2 participants