nx_self_build_cycle_test.nx

nx_self_build_cycle_test.nx -- THE CAPSTONE: a full autonomous SELF-BUILD CYCLE, governed. The loop builds a capability itself, with the crew as checks & balances: GENERATOR proposes a rewrite rule as DATA (one of the eqsat identities) | VERIFIER PROVES it sound over ALL inputs (nx_rs_certify_unary, x in [0,2^W)) | -- a real 1:1 gate-sim proof, not a claim COUNCIL gates it 3 -> 2 -> 1 (Engineer=proven? + Genealogist + Racing -> | Warden + Archivist -> Conductor) -- nx_crew_council ABSORB admit iff the council clears it; an UNSOUND candidate is caught by the Verifier (Engineer leg) and REFUSED -- never admitted. This is the loop building itself under governance (M2: Claude supervises, the loop does the work). The Generator authors, the Verifier proves, the crew governs, the ecosystem grows -- no LLM, no human in the inner loop. Known answer: 7 candidates authored -> 6 ADMITTED (sound rules) + 1 REFUSED (mul_pow2 at the k>=W boundary, proven UNSOUND -> Engineer refuses). exit 0.