nx_undefscan.nx

nx_undefscan.nx -- THE MISSING-SYMBOL CENSUS: report EVERY function a target calls that nobody in its import closure defines, WITHOUT compiling it. WHY THIS EXISTS. The compiler reports undefined symbols ONE AT A TIME, and only AFTER expand_imports succeeds -- so a single mis-layered import hides an unknown number of missing functions behind it, and the outer explanation (bad import) is always true enough to stop the investigation. Measured 2026-07-31: un-darkening 14 libs exposed SEVEN undefined functions no build could ever have reported -- nx_pctl_kill_by_cmdline (2 callers), the whole nx_fft decomposed API (4 consumers), nx_bm25_score (5 callers). Each fix revealed the next, so the count was never knowable in advance. This organ makes it knowable in ONE pass: walk the closure, collect every definition, collect every call site, print the DIFFERENCE AS A LIST rather than as the first error. WHAT IT IS NOT. A textual resolver, not the compiler. Two known ways it can be wrong, stated here so a caller never has to guess: - a call THROUGH A FUNCTION-POINTER VARIABLE looks like an undefined call (false positive) - a symbol the compiler itself provides, if any exist, has no .nx definition (false positive) Both are bounded by the POSITIVE CONTROL: a target that BUILDS must report ZERO. Any residue on a building target IS that false-positive set, and must be fixed here rather than explained away. PARTIAL IS NOT A SMALLER CLEAN (the 07-31 layerscan law, built in as a tooth). If any import in the closure resolves to no file, or the queue overflows, the definition set is INCOMPLETE -- so every undefined it prints may merely be defined in the file it could not read. In that state the verdict is PARTIAL and a ZERO count exits NONZERO, because a clean report from a truncated scan is the exact lie this class of instrument keeps telling. nx_undefscan scan <target> -- target = basename WITHOUT .nx, resolved runtime/ then _hdl_build/ EXIT: 0 CLEAN+COMPLETE - 1 UNDEFINED FOUND - 2 usage - 3 target not found - 5 PARTIAL (cannot certify) license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0