Repository navigation

Verdict harness: judge every rendered claim, over every state that renders one - #6

Merged

systemslibrarian merged 2 commits into

mainfrom

harness/split-point

Sep 30, 2026

Merged

Verdict harness: judge every rendered claim, over every state that renders one#6
systemslibrarian merged 2 commits into
mainfrom
harness/split-point

Commits on Sep 21, 2026
- Judge every rendered claim, over the whole set of states that render one
  
  systemslibrarian
  and
  claude
  committed
  521d03d
Commits on Sep 22, 2026
- Record the assertions that ran, and judge coverage on those
  
  systemslibrarian
  and
  claude
  committed
  8f39f7c