nx_autofix_ensemble.nx

nx_autofix_ensemble.nx -- THE LIVE ENSEMBLE (autonomous-builder lane, 2026-07-20). One command for the measured neuro-symbolic climb: run maker#1 over the whole manifest, auto-run each later maker ONLY on the previous stage's misses, then union the property-verified greens (nx_autofix_cascade). SOUND because the judge (nx_symjudge, autofix stage 5b) property-verifies every green, so unioning diverse makers can never admit a wrong fix. Forks the proven _offc/nx_autofix_auto.elf (per model) + _offc/nx_autofix_cascade.elf (union) -- pure orchestration, miss-extraction in nx_autofix_ens_lib. N-MAKER (2026-07-23, F960 consume half): argv[2..] is a MODEL LIST, not a fixed pair, so the hardware router feeds it directly -- `nx_autofix_ensemble <manifest> $(nx_hw_envelope makers)` runs whatever maker set this host's hwtier- row declares (phone->supercomputer, code unchanged). The measured 3-maker 92% union is now ONE command instead of three runs plus a manual cascade. BACK-COMPAT (rule 19, additive): with exactly two models the staging, prompts, ledger paths and cascade inputs are IDENTICAL to the 2-maker organ -- the old invocation is byte-for-byte the old run. PER-MAKER PROMPT LAW (NB11): maker#1 = the tuned primary -> `clean`; every later maker = general fallback -> `strict`. Bounded by construction: at most AE_MAXMK makers, and the cap is DECLARED in the output (a silently-truncated maker list would read as a complete ensemble). argv: <manifest> <model1> [model2 ...] (manifest rows: name|path) exit: 0. Prints per-stage summaries + the final NX-AUTOFIX-CASCADE ensemble line. license_tier: ORIGINAL No hw writes (Rule 26).