code wiki / probe
topic: probe
48 modules sharing the probe name family (derived from the tree's prefix discipline).
The 'probe' topic family in the Nishi sovereign ecosystem focuses on runtime diagnostics and validation mechanisms to ensure correctness and security across the system. Modules like _probe_alw2 and _probe_mulpow2_guard explore adversarial scenarios to verify precise mathematical and control-flow behaviors, while nx_probe_arity_live provides in-compiler evidence for function arity checks. These modules collectively support robustness by identifying edge cases, validating assumptions, and ensuring that live rules and discriminators operate as intended within the constrained, binary-per-organ architecture.
auto-narrated by the local model from this topic's module headers; links verified against the wiki index.
narrated overview -- maintained by the narration lane, module links verified against this wiki.
| module | description | lines | funcs |
|---|---|---|---|
| _probe_alw2.nx | probe | 1 | 0 |
| _probe_mulpow2_guard.nx | Adversarial probe: reproduce the EXACT log2-by-halving + k<W guard logic from | 76 | 4 |
| _probe_mulpow2_soundness.nx | Adversarial probe #2: is the LIVE rule's union actually SOUND for every k it | 79 | 4 |
| nx_probe.nx | on-device capability fingerprint with vendor-claim | 397 | 12 |
| nx_probe_arity_live.nx | LIVE WITNESS for the in-compiler call-arity check (radar evidence 2026-08-05). | 13 | 2 |
| nx_probe_bchk_asm.nx | INSTRUMENT, not a witness: the smallest bounds-checked hot loop, so the | 23 | 1 |
| nx_probe_caplim_args.nx | MUST-REFUSE WITNESS (capability-limit voice, 2026-08-13): | 10 | 2 |
| nx_probe_caplim_fassign.nx | MUST-REFUSE WITNESS (float-boundary completion, 2026-08-13): | 10 | 1 |
| nx_probe_caplim_float.nx | MUST-REFUSE WITNESS (capability-limit voice, 2026-08-13): | 10 | 1 |
| nx_probe_caplim_fmem.nx | MUST-REFUSE WITNESS (float boundary, MEMORY sites, 2026-08-13): | 15 | 1 |
| nx_probe_castchain_live.nx | WITNESS (chained casts, 2026-08-13): `X as *u8 as i64` was | 13 | 1 |
| nx_probe_castidx_live.nx | WITNESS for the paren-primary postfix chain (parse_primary TK_LPAREN). | 16 | 1 |
| nx_probe_castmut2_live.nx | DISCRIMINATOR (2026-08-05): is the cast-mutation PER-VALUE or check-wide? | 16 | 3 |
| nx_probe_castmut_live.nx | RESIDUE EXPERIMENT (2026-08-05, climb v4 rung 1): does `b as i64` in | 18 | 3 |
| nx_probe_closure_capture.nx | LN13b NEGATIVE CONTROL: a function literal that READS a local of | 15 | 1 |
| nx_probe_closure_lift.nx | LN13b BEHAVIOUR WITNESS: a non-capturing function literal is lifted, | 73 | 3 |
| nx_probe_closure_named.nx | LN13b DISCRIMINATION CONTROL: the pre-existing bare-function-name | 16 | 2 |
| nx_probe_crash_live.nx | WITNESS for nx_crash.nx (v11 rung 1a): a guarded null-page deref | 13 | 1 |
| nx_probe_crashstk_live.nx | WITNESS: a STACK-OVERFLOW crash under the guard must still print | 17 | 2 |
| nx_probe_ctor.nx | bisect the tagged-enum SIGSEGV: does the CONSTRUCTOR alone | 13 | 1 |
| nx_probe_dbgtiny.nx | smallest possible -g witness: no imports, two functions. | 10 | 2 |
| nx_probe_dwhdr.nx | KAT: does our DWARF v5 header emitter produce the EXTERNALLY VALIDATED bytes? | 48 | 2 |
| nx_probe_dym_ident_live.nx | LIVE WITNESS for IDENTIFIER DID-YOU-MEAN (2026-08-05). | 18 | 1 |
| nx_probe_dym_live.nx | LIVE WITNESS for DID-YOU-MEAN (2026-08-05). A misspelled call must be | 17 | 2 |
| nx_probe_dym_type_live.nx | LIVE WITNESS for TYPE-NAME DID-YOU-MEAN (2026-08-05). | 19 | 1 |
| nx_probe_exhaust_live.nx | PROBE (2026-08-05): does nx_cc check MATCH EXHAUSTIVENESS? | 26 | 2 |
| nx_probe_float.nx | EVIDENCE GATE for the disputed "no native f32/f64, | 14 | 1 |
| nx_probe_hexesc.nx | MEASURE whether a high-byte \xNN escape inside a string literal is a lexer contract. | 26 | 2 |
| nx_probe_intptr_live.nx | LIVE WITNESS for the REVERSE call-arg type direction (2026-08-05): | 21 | 2 |
| nx_probe_linecont.nx | LN15 INSTRUMENT (not a fixture): does a continuation line | 22 | 1 |
| nx_probe_linemap_live.nx | WITNESS for the per-file line map (nx_linemap.nx). | 17 | 1 |
| nx_probe_linemap_organ.nx | WITNESS that the OLDER organ-prefixed voice also names files. | 9 | 2 |
| nx_probe_lone_operator.nx | MUST-REFUSE WITNESS for spec clause LS-SYN-030 (discarded pure | 26 | 1 |
| nx_probe_match.nx | EVIDENCE GATE for the disputed "exhaustive match | 34 | 2 |
| nx_probe_match_nobind.nx | bisect: does match DISPATCH on a tagged enum work | 13 | 1 |
| nx_probe_match_plain.nx | isolate: does PLAIN-enum match (no payload) | 16 | 1 |
| nx_probe_mlneg_live.nx | MUST-COMPILE-AND-COMPUTE WITNESS (contract changed by LN15, 2026-08-25): | 16 | 1 |
| nx_probe_mlop_live.nx | MUST-COMPILE-AND-COMPUTE WITNESS (contract changed by LN15, 2026-08-25): | 17 | 1 |
| nx_probe_multierr_live.nx | LIVE WITNESS for MULTI-ERROR RECOVERY (2026-08-05). One broken | 18 | 3 |
| nx_probe_opstart_live.nx | MUST-REFUSE WITNESS for the operator-at-expression-start refusal | 19 | 1 |
| nx_probe_pid.nx | 9 | 2 | |
| nx_probe_ptrarg_live.nx | LIVE WITNESS for pointer-vs-scalar param type checking (2026-08-05). | 15 | 2 |
| nx_probe_ptrfield_idx.nx | MINIMAL REPRO for debt 1786057660. | 104 | 2 |
| nx_probe_ptrint_live.nx | LIVE WITNESS for the ENFORCED param-type direction (2026-08-05): | 14 | 2 |
| nx_probe_test.nx | smoke for nx_probe SA-1 MVP. | 99 | 1 |
| nx_probe_ub_shift.nx | MUST-REFUSE WITNESS (UB axis rung 1, 2026-08-13): | 11 | 1 |
| nx_probe_voice_live.nx | MUST-REFUSE WITNESS (5W+H voice conversion, 2026-08-13): | 17 | 4 |
| probe_blob_journal.nx | Verifies the functionality of blob store and journal log APIs in the Nishi sovereign ecosystem. | 60 | 1 |