PCVDM Xi Precarrier Arena

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.

Build

make all

Run

make run

Default run:

./build/xi_origin_arena 512 2048 4096

Arguments:

ticks capacity floor_den

Test and verification

make test

This 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.

Output

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

Architectural claim

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.