code wiki / _hdl_build / _rt_bad.nx
_rt_bad.nx
buildroot/runtime/_hdl_build/_rt_bad.nx
about
_rt_bad.nx -- DISCRIMINATION FIXTURE for pe16: a BROKEN inverse pair (decode does NOT invert
encode) -> the round-trip MUST fail -> the emitted gate MUST go RED. Proves pe16's gate is
no-false-green (not a rubber stamp). license_tier: ORIGINAL (test fixture)
dependencies 1 imports · 1 importers
imports: nx_syscalls.nx
imported by: _rt_bad_gate.nx
structs
| none |
consts
| none |
functions
| 5 | func _rt_bad_encode(src: *u8, n: i64, dst: *u8) -> i64 { var i: i64 = 0; while i < n { dst[i] = (((src[i] & 255) + 90) & 255) as u8; i = i + 1 } return n } called by 1: _rt_bad_gate_check |
| 6 | func _rt_bad_decode(enc: *u8, m: i64, out: *u8) -> i64 { var i: i64 = 0; while i < m { out[i] = enc[i]; i = i + 1 } return m } called by 1: _rt_bad_gate_check |