Skip to content

Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root - #598

Merged
johnchandlerburnham merged 48 commits into
mainfrom
jcb/aggregate-first
Sep 3, 2026
Merged

Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root#598
johnchandlerburnham merged 48 commits into
mainfrom
jcb/aggregate-first

Fix Nix Stage 2 fixture test wiring

419e08b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar