This is the CF000-correct replacement for the grid version.
It removes preassigned 2D space. The engine starts from one live Xi origin slot and lets the raw assembly xi_step generate new admitted Xi engines only when same-axis saturation produces a carry event.
make allmake runDefault run:
./build/xi_origin_arena 512 2048 4096
Arguments:
ticks capacity floor_den
make testThis runs:
assembly build
512-tick run
summary gate check
SymPy structural audit
Jupyter verification notebook execution
Lean companion:
verification/CF000OriginArena.lean
Lean is not required by the Makefile because this container does not include Lean.
run_artifacts/origin_arena_summary.json
run_artifacts/origin_arena_trace.csv
run_artifacts/origin_arena_slots.csv
verification/cf000_origin_arena_sympy_report.json
notebooks/cf000_origin_arena_verification.ipynb
births == carry_events, unless capacity is exhausted
explicit_grid == false
explicit_edges == false
geometry_primitive == false
The reserve slot index is not a coordinate. It is storage order only.