Skip to content

Add TRACE-lite: typed verdicts, record store, and consumer contracts - #16

Merged
dominno merged 28 commits into
mainfrom
claude/awesome-darwin-p3saez
Oct 8, 2026
Merged

Add TRACE-lite: typed verdicts, record store, and consumer contracts#16
dominno merged 28 commits into
mainfrom
claude/awesome-darwin-p3saez

Record the confirmatory verifier bench after the instrument fixes

32ef177
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar