Repository navigation

Adopt verified bar v2 for tar (in progress: spec approval pending) - #6

Open

ahrazzle wants to merge 7 commits into

claude/reject-unsupportedfrom

claude/verified-bar

Open

Adopt verified bar v2 for tar (in progress: spec approval pending)#6
ahrazzle wants to merge 7 commits into
claude/reject-unsupportedfrom
claude/verified-bar

Commits on Oct 25, 2026
- Adopt verified bar v2 for tar (in progress: spec approval pending)
  claude
  committed
  f0e17be
Commits on Oct 26, 2026
- Merge claude/reject-unsupported into claude/verified-bar
  claude
  committed
  dca98c8
- README: say that the test script does not run the comparator
  claude
  committed
  a923bf7
- CI: say the pinned mission commit is on main, and what item 7 needs
  claude
  committed
  0fe94fc
- tests: count failures by kind of check, and rerun --tool 1273382
  claude
  committed
  de0b0d8
- tests: plant the proof faults against lake comparator
  claude
  committed
  3869665
- tests: say plainly which faults planted_bugs.py plants
  claude
  committed
  a04d5a4