Skip to content

Story 5.4b: the verdict algebra is total, and a gate refuses the float - #55

Merged
guycorbaz merged 5 commits into
masterfrom
story-5.4b-verdict-algebra-and-float-gate
Jul 30, 2026
Merged

Story 5.4b: the verdict algebra is total, and a gate refuses the float#55
guycorbaz merged 5 commits into
masterfrom
story-5.4b-verdict-algebra-and-float-gate

Story 5.4b review: the bookkeeping says what was measured

3d01944
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar