nx_autofix_cascade.nx

nx_autofix_cascade.nx -- THE NEURO-SYMBOLIC ENSEMBLE (autonomous-builder lane, 2026-07-20). The insight the symbolic judge unlocks: because EVERY accepted fix is property-verified over an exhaustive domain sweep (symj=GREEN), unioning greens across DIVERSE makers is SOUND -- no wrong fix can slip in. So a cascade of complementary makers beats any single one. MEASURED: 1.5B=10/14, coder15-adapted=9/14, but they miss DIFFERENT instances -> cascade union = 12/14 = 86% (coder15 rescues the operand-binding absdiff + negation-semantics neg the 1.5B can't; 1.5B carries the syntax-clean cases coder15 fumbles). This organ computes the ensemble resolve rate from N maker ledgers, model-free (pure ledger union) -- fast, reusable for ANY maker set, gate-provable. A per-instance resolve = maker=GREEN in ANY ledger (property-verified preferred: symj=GREEN). argv: <manifest> <ledger1> [ledger2 ...] (manifest rows: name|path) emit: per-instance resolved-by + CASCADE resolve rate + honest property-verified count. exit: 0 always (report); the resolve rate IS the payload. license_tier: ORIGINAL No hw writes.