code wiki / _hdl_build / nx_emit_kat_raw.nx
nx_emit_kat_raw.nx source
↩ module page · 5 lines · 412 B
1// nx_emit_kat_raw.nx -- no-false-green / distinctness control for nx_x86_kat_gate. Returns the RAW
2// kat(7,5)=37 (not the gated 42) so the gate proves it reads the ACTUAL computed process exit, not a
3// baked constant: pos(=42) != neg(=37) => the harness distinguishes real exit codes. license_tier: ORIGINAL
4func kat(a: i64, b: i64) -> i64 { return (a * b) + (a - b) }
5func main() -> i64 { return kat(7, 5) }