Repository navigation

Replace the differential ledgers with a committed snapshot (#664) - #666

Merged

derek73 merged 10 commits into

claude/differential-harness-review-138733

Oct 13, 2026

Merged

Replace the differential ledgers with a committed snapshot (#664)#666
derek73 merged 10 commits into
masterfrom
claude/differential-harness-review-138733

Commits on Oct 13, 2026
- Prototype a committed snapshot of every corpus name's reading (#664)
  
  derek73
  and
  claude
  committed
  1c8aa7e
- Merge remote-tracking branch 'origin/master' into claude/differential-harness-review-138733
  derek73
  committed
  34d4072
- Re-record the snapshot for #663's new corpus name
  
  derek73
  and
  claude
  committed
  2217903
- Replace the differential ledgers with the committed snapshot (#664)
  
  derek73
  and
  claude
  committed
  496e59a
- Rewrite the harness docs around the snapshot (#664)
  
  derek73
  and
  claude
  committed
  f75197b
- Review fixes: snapshot checks its import, compare states its population (#664)
  
  derek73
  and
  claude
  committed
  aae9a44
- README: compare.py's closing lines state the population (#664)
  
  derek73
  and
  claude
  committed
  be2eac2
- Docs-review fixes: the decision's numbers, and what still described tiers (#664)
  
  derek73
  and
  claude
  committed
  8ee579f
- AGENTS.md: sort a deleted test module's tests by what they exercise (#664)
  
  derek73
  and
  claude
  committed
  f8ae69e
- Second-round review fixes (#664)
  
  derek73
  and
  claude
  committed
  767b49a