Repository navigation
docs(row 12): item 496 — (ω-pay-births) (d) PRICED as one composite spec (item 471's premise + the chain domain on the post-state + Row 19's item 494 h_res_land clause): 100 sites / 17 declarations, additive 78 + 9 + 13, no class STARVED; the two closeThenBlock ⟨[], …⟩ births named by hand; source restored, no library change - #317
Merged
NicolasRouquette merged 1 commit intoNov 14, 2026
Merged
NicolasRouquette merged 1 commit into
NicolasRouquette merged 1 commit into