Skip to content

Bind sweep evidence to exact inputs - #182

Merged
zmaril merged 1 commit into
mainfrom
codex/evidence-binding
Aug 22, 2026
Merged

Bind sweep evidence to exact inputs#182
zmaril merged 1 commit into
mainfrom
codex/evidence-binding

Conversation

@zmaril

@zmaril zmaril commented Aug 22, 2026

Copy link
Copy Markdown
Contributor

Summary

  • bind every new sweep report and ledger block to the exact corpus-lock bytes, generated grammar sources, and last committed grammar-input revision
  • classify repository evidence as current, stale, or unbound in table, Markdown, and JSON status output
  • bind the Rust canary ledger with a fresh locked 27,307-file sweep and give the canary full Git history for stable revision provenance
  • keep debug status responsive while hashing the repository's large lock files

Verification

  • cargo test --workspace --no-fail-fast
  • ./tools/sweep-smoke.sh rust (including cached rerun stability)
  • full locked Rust hydration: 1,000 packages / 27,307 source files
  • full locked Rust sweep: 27,292 passed / 15 failed / 2 grammar gaps / 13 noise
  • ./target/debug/treebank status --check: 1 current / 0 stale / 9 unbound
  • actionlint .github/workflows/corpus-canary.yml
  • targeted rustfmt --check, bash -n, and git diff --check

@zmaril
zmaril merged commit 9cbc8f4 into main Aug 22, 2026
32 checks passed
@zmaril
zmaril deleted the codex/evidence-binding branch August 22, 2026 20:39
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