code wiki / _hdl_build / nx_diff_cmp.nx
nx_diff_cmp.nx
buildroot/runtime/_hdl_build/nx_diff_cmp.nx
about
nx_diff_cmp.nx -- R1-T1-002: the DUAL-LANE DIFFERENTIAL HARNESS organ.
Runs the first <batch> corpus programs (knowledge/registry/diff_cmp.conf,
bounded-N-per-beat per the T1 card) through BOTH toolchains via nx_dc_core
and files findings:
DIFFCMP rows per program, DIFFBUG + _dgbug<idx>.nx repro per divergence.
FINDINGS ARE SUCCESS: exit 0 with disagree>0 is the instrument WORKING
(the rows become pm/T2 fuel); exit nonzero ONLY on infra failure. FIRST
LIVE PROBE (2026-06-11, pre-organ): _dgp0 diverged rcA=1 rcB=0 -- the
corpus caught a real cross-lane divergence on program ZERO.
argv[1]=conf override argv[2]=prefix override (default _dgp)
Evidence: DIFFCMP-SUM row -> stdout + knowledge/status/diff_cmp.log.
license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_dc_core.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 15 | const K_MAGIC_4096: i64 = 4096 |
| 16 | const K_MAGIC_4095: i64 = 4095 |
functions
| 19 | func dcm_conf(buf: *u8, n: i64, key: *u8, kl: i64, dflt: i64) -> i64 called by 1: main |
| 49 | func main(argc: i64, argv: *i64) -> i64 |