Skip to content

Proof layer for the capability checker (55 theorems) + march main resync - #23

Merged
Ch4s3 merged 18 commits into
mainfrom
claude/calculus-proof-capabilities-0a1127
Aug 10, 2026
Merged

Proof layer for the capability checker (55 theorems) + march main resync#23
Ch4s3 merged 18 commits into
mainfrom
claude/calculus-proof-capabilities-0a1127

docs(findings): name the three hazards in implementing Check 1b

8c6c333
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar