_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" 12 13func 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 } 14func 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 } 15 16func db_h(x: i64) -> i64 { return x + 1 } 17 18// 40 same-fn calls in ONE function (old workaround would have split this). 19func db_big40() -> i64 { 20 var a: i64 = 0 21 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) 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 return a 26} 27 28// 50 same-fn calls in ONE function. 29func db_big50() -> i64 { 30 var a: i64 = 0 31 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) 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 return a 37} 38 39func main() -> i64 { 40 let r40: i64 = db_big40() 41 let r50: i64 = db_big50() 42 var ok40: i64 = 0; if r40 == 40 { ok40 = 1 } 43 var ok50: i64 = 0; if r50 == 50 { ok50 = 1 } 44 45 db_puts("DEBOLT calls40=" as *u8); db_putn(r40) 46 db_puts(" calls50=" as *u8); db_putn(r50) 47 db_puts(" ok40=" as *u8); db_putn(ok40) 48 db_puts(" ok50=" as *u8); db_putn(ok50) 49 50 var ok: i64 = 1 51 if ok40 != 1 { ok = 0 } 52 if ok50 != 1 { ok = 0 } 53 if ok == 1 { db_puts(" verdict=GREEN\n" as *u8); return 0 } 54 db_puts(" verdict=RED\n" as *u8) 55 return 1 56}