_debolt_gate.nx source

1// _debolt_gate.nx -- standing DE-BOLT LICENSE for X-CLEAN-002 (retire function-splitting). 2// The "split functions to stay under 21 same-fn calls / dodge nxasm rc=6" workaround guards a 3// cause that is NON-REPRODUCIBLE on the current self-hosted toolchain (R1-T1-004 swept 21..120 4// all rc=0; _bs_poison env/scratch poison 12 configs non-repro; _rc6_gate GREEN). This gate makes 5// the retirement SAFE + REGRESSION-LOCKED by PROVING the unsplit shape: two single functions with 6// 40 and 50 calls to one helper -- counts well past the old 21 threshold -- both BUILD (this file 7// must compile through nx_cc->nxasm to run at all) and compute the EXACT result. If a future 8// toolchain change ever reintroduced a same-fn-call ceiling, this gate goes RED (build-fail or 9// wrong sum) and the de-bolt is halted. NO nxasm edits -- this licenses consolidation, it does not 10// touch the assembler. license_tier: ORIGINAL 11import "nx_syscalls.nx" 12import "nx_gate_verdict.nx" 13 14func db_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } 15func db_putn(v: i64) -> i64 { let bb: *u8 = sys_mmap(28); var m: i64=v; if m<0 {m=0-m}; let t: *u8 = sys_mmap(28); var k: i64=0; 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 {bb[i]=t[k-1-i]; i=i+1}; sys_write(1, bb, k); return 0 } 16 17func db_h(x: i64) -> i64 { return x + 1 } 18 19// 40 same-fn calls in ONE function (old workaround would have split this). 20func db_big40() -> i64 { 21 var a: i64 = 0 22 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 23 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 24 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 25 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 26 return a 27} 28 29// 50 same-fn calls in ONE function. 30func db_big50() -> i64 { 31 var a: i64 = 0 32 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 33 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 34 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 35 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 36 a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a); a = db_h(a) 37 return a 38} 39 40func main() -> i64 { 41 let r40: i64 = db_big40() 42 let r50: i64 = db_big50() 43 var ok40: i64 = 0; if r40 == 40 { ok40 = 1 } 44 var ok50: i64 = 0; if r50 == 50 { ok50 = 1 } 45 46 db_puts("DEBOLT calls40=" as *u8); db_putn(r40) 47 db_puts(" calls50=" as *u8); db_putn(r50) 48 db_puts(" ok40=" as *u8); db_putn(ok40) 49 db_puts(" ok50=" as *u8); db_putn(ok50) 50 51 var ok: i64 = 1 52 if ok40 != 1 { ok = 0 } 53 if ok50 != 1 { ok = 0 } 54 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 55 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 56 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 57 let ctr__dry: *i64 = gv_ctr() 58 ctr__dry[0] = ok 59 ctr__dry[1] = 1 60 let rc__dry: i64 = gv_verdict("DEBOLT-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8) 61 sys_exit(rc__dry) 62 return rc__dry 63}