Skip to content

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 into
fix-a-grammar-completenessfrom
docs/row12-item496-d-composite-price
Nov 14, 2026

docs(row 12): item 496 — (ω-pay-births) (d) PRICED as one composite s…

eec5f90
Select commit
Loading
Failed to load commit list.