code wiki / _hdl_build / _rt_addk.nx
_rt_addk.nx
buildroot/runtime/_hdl_build/_rt_addk.nx
about
_rt_addk.nx -- PROOF FIXTURE for pe16 GATE_HARNESS (NOT a deliverable organ; a reversible
inverse-pair so the scaffold can be proven end-to-end without coupling to a real codec's
signature). add-constant cipher mod 256: encode +90, decode +166 (= -90 mod 256) -> identity
round-trip; flipping any encoded byte changes the decode (tamper-detectable). No XOR (keeps to
the verified operator set). license_tier: ORIGINAL (test fixture)
dependencies 1 imports · 1 importers
imports: nx_syscalls.nx
imported by: _rt_addk_gate.nx
structs
| none |
consts
| none |
functions
| 7 | func _rt_addk_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_addk_gate_check |
| 8 | func _rt_addk_decode(enc: *u8, m: i64, out: *u8) -> i64 { var i: i64 = 0; while i < m { out[i] = (((enc[i] & 255) + 166) & 255) as u8; i = i + 1 } return m } called by 1: _rt_addk_gate_check |