3j: the carry and the combinations read back #42

Merged

lilleman merged 4 commits from carry-read-back into main

2026-09-03 08:10:21 +02:00

Author	SHA1	Message	Date
lilleman	85ec1cd35c	Name the budget the carry's depth message applies, and pin the canonical refusal it met CI / gate (push) Successful in 9s Details	2026-09-03 08:09:40 +02:00
lilleman	4d0ad3728c	Charge a carried node against the levels its position leaves, and part the causes one guard hid CI / gate (push) Successful in 8s Details	2026-09-03 08:01:27 +02:00
lilleman	32706adfeb	Record the settled carry decisions: verbatim restore in the spec, the two-code case at the freeze read CI / gate (push) Successful in 9s Details	2026-09-03 07:35:18 +02:00
lilleman	d7850c75f4	Read the carries and the combinations back, and land markdownToAdf CI / gate (push) Successful in 8s Details	2026-09-03 07:01:27 +02:00