Rollup verification

Date: 2026-07-29

All ten recovered Python programs executed successfully with Python 3.

Program	Result
`01-causal-origami-source/causal/check_cone_factorization.py`	pass; 0 violations
`01-causal-origami-source/causal/check_virtual_crease_causal_width.py`	pass; 0 violations
`02-horizon-join-and-origami-image/check_horizon_join.py`	pass; marginal/common-horizon controls and 1,206,621 staged cases checked
`02-horizon-join-and-origami-image/check_one_hinge.py`	pass; image, obstruction, 2-DNF, constant, NONPALINDROME, and three-variable boundary controls checked
`03-adaptive-access-and-reservations/check_access_kraft.py`	pass
`03-adaptive-access-and-reservations/check_causal_poset_transfer.py`	pass
`03-adaptive-access-and-reservations/check_late_key_partition.py`	pass
`03-adaptive-access-and-reservations/diagonal_embedding_search.py --max-n 7`	pass; 91,206 seven-event presentations, 91,204 diagonal realizations, exactly two certified obstructions
`05-derived-control-and-cocycle/check_derived_control_fold.py`	pass through $L=8$
`05-derived-control-and-cocycle/check_derived_prefix_parity.py`	pass; 3,586 construction cases and complete one-/two-state census

The seven-event diagonal run independently reproduced obstruction masks 289329 and 1083240, the unique unordered realizers, and both integer Farkas certificates.

The ZIP was subsequently checked with unzip -t; MANIFEST.sha256 was checked from a fresh extraction with sha256sum -c.