nx_corpus_full.nx

nx_corpus_full.nx -- bulk-registration of every L3 primitive we shipped in the QED-engine substrate. Per user 2026-05-15: "really prove here with visuals of 10 random algorithms that you have done the 100k plus ingestion". HONEST COUNT (per native-or-nothing cardinal): This session contributes 150+ primitives across nine domains. PRIOR sessions (per MEMORY.md) contribute ~2617 L3 substrate primitives across vision / sketch / math / saturation / detector families. Combined honest L3 count: ~2767 callable primitives. We do NOT have 100k. Mathematica claims ~5000 built-ins. SciPy ~3000. HOL Light ~10K theorems. Lean Mathlib ~200K lemmas. We are LOSE_BIG on raw count vs Mathlib + Coq. We WIN on per-engine completeness, native impl, zero deps, and kernel-checkable proofs for the LOGIC + PROOF + ARITH + PROB domains. The REGISTRY itself scales fine to 100k -- it's a flat array. The limit is engine implementations, not catalog capacity.