_dfl_enc_gate.nx source

1// _dfl_enc_gate.nx -- self-validating gate for X-CDC-DEFLATE-ENC-001 (operator-sanctioned de-novel, 2// 2026-06-14): round-trips the sovereign deflate encoder (nx_deflate_fixed) against our inflate 3// decoder, asserts bit-exact + ACTUAL compression (m<n), plus a neg-control (a 1-byte-tampered copy 4// of the decoded output is detected as != src -> the bit-exact comparison discriminates, no false- 5// green). On GREEN it appends a MACHINE-MATCHABLE verdict line to knowledge/status/deflate_enc.log so 6// nx_reconcile can evidence-flip the umbrella row (the flip stays organ-authored, not a hand-flip). 7import "nx_deflate_fixed.nx" 8import "nx_syscalls.nx" 9func gw(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } 10func gn(fd: i64, v: i64) -> i64 { let b: *u8=sys_mmap(28); var m: i64=v; var k: i64=0; let t: *u8=sys_mmap(28); if m==0{t[0]=48;k=1}; while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1}; var i: i64=0; while i<k{b[i]=t[k-1-i];i=i+1}; sys_write(fd,b,k); return 0 } 11func main() -> i64 { 12 let n: i64 = 512 13 let src: *u8 = sys_mmap(n + 64) 14 var i: i64 = 0 15 while i < n { src[i] = (65 + (i % 4)) as u8; i = i + 1 } // "ABCD" repeating -> compressible 16 let enc: *u8 = sys_mmap(n * 4 + 64) 17 let m: i64 = dfl_encode(src, n, enc, n * 4 + 64) 18 let dec: *u8 = sys_mmap(n + 64) 19 let k: i64 = dfl_decode(enc, m, dec, n + 64) 20 var ok: i64 = 1 21 if k != n { ok = 0 } 22 var j: i64 = 0 23 while j < n { if dec[j] != src[j] { ok = 0 } j = j + 1 } 24 var comp: i64 = 0 25 if m < n { comp = 1 } 26 // neg-control: a 1-byte-tampered copy of the decoded output must be detected as != src. 27 let bad: *u8 = sys_mmap(n + 64) 28 j = 0 29 while j < n { bad[j] = dec[j]; j = j + 1 } 30 bad[0] = (bad[0] + 1) as u8 31 var tamper: i64 = 0 32 var dif: i64 = 0 33 j = 0 34 while j < n { if bad[j] != src[j] { dif = 1 } j = j + 1 } 35 if dif == 1 { tamper = 1 } 36 let okall: i64 = ok * comp * tamper 37 let e: i64 = sys_now_realtime_sec() 38 gw(1, "DEFLATE-ENC-GATE n=" as *u8); gn(1, n); gw(1, " compressed=" as *u8); gn(1, m) 39 gw(1, " roundtrip=" as *u8); gn(1, ok); gw(1, " compressed_ok=" as *u8); gn(1, comp) 40 gw(1, " tamper_caught=" as *u8); gn(1, tamper); gw(1, "\n" as *u8) 41 let lf: i64 = sys_openat_append("knowledge/status/deflate_enc.log" as *u8, 420) 42 if lf >= 0 { 43 gw(lf, "DEFLATE-ENC-001 n=" as *u8); gn(lf, n); gw(lf, " compressed=" as *u8); gn(lf, m) 44 gw(lf, " ratio_permil=" as *u8); gn(lf, m * 1000 / n) 45 gw(lf, " roundtrip=" as *u8); gn(lf, ok); gw(lf, " tamper_caught=" as *u8); gn(lf, tamper) 46 gw(lf, " epoch=" as *u8); gn(lf, e) 47 if okall == 1 { gw(lf, " verdict=GREEN\n" as *u8) } else { gw(lf, " verdict=RED\n" as *u8) } 48 sys_close(lf) 49 } 50 if okall == 1 { sys_exit(0) } 51 sys_exit(1) 52 return 1 53}