code wiki / _hdl_build / nx_emit_kat_raw.nx
nx_emit_kat_raw.nx
buildroot/runtime/_hdl_build/nx_emit_kat_raw.nx
about
nx_emit_kat_raw.nx -- no-false-green / distinctness control for nx_x86_kat_gate. Returns the RAW
kat(7,5)=37 (not the gated 42) so the gate proves it reads the ACTUAL computed process exit, not a
baked constant: pos(=42) != neg(=37) => the harness distinguishes real exit codes. license_tier: ORIGINAL
dependencies 0 imports · 0 importers
imports: none
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 4 | func kat(a: i64, b: i64) -> i64 { return (a * b) + (a - b) } called by 1: main |
| 5 | func main() -> i64 { return kat(7, 5) } calls 1: kat |