code wiki / _hdl_build / nx_nofloat_audit.nx
nx_nofloat_audit.nx
buildroot/runtime/_hdl_build/nx_nofloat_audit.nx
about
nx_nofloat_audit.nx -- CAP-NF-AUDIT (REBUILT after a 2nd adversarial review called the v1 tautological).
v1 grep'd our own source for words we wrote ("BitNet","NEG-CONTROL") and called that proof -- a tautology
blind to omissions (it missed that Jacob 2017 integer-only inference, eff_intonly, sat in the corpus uncited).
v2 grounds on RUNTIME OUTPUT + a real CORPUS-COMPLETENESS enumeration + the legit teeth, and is honest that
it is an audit-lint, not a proof:
T1 RUNTIME-GROUNDED -- read the census RUN-LOG and confirm it computed exceed=2 (the corrected tally), not
a source string. (proves the census actually ran + produced the post-review verdict.)
T2 TEETH -- a grounded claim's organ is present(1) AND a PLANTED overclaim ("EXCEED scale") is ungrounded(0).
T3 BASELINE-COMPLETE by ENUMERATION -- for every major incumbent FILE present in the corpus, the census must
cite it. This is a cross-check (corpus -> citation), NOT self-grep: a present-but-uncited file FAILS.
(This check would have FAILED before we added the Jacob/eff_intonly citation -- that is the point.)
expect_exit: 0 Sovereign: nx_syscalls. (lean strings -- nx_cc .s ceiling)
dependencies 1 imports · 0 importers
imports: nx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 14 | const K_MAGIC_16384: i64 = 16384 |
| 15 | const K_MAGIC_4096: i64 = 4096 |
functions
| 17 | func g_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 18 | func g_pn(v: i64) -> i64 { let b: *u8=sys_mmap(28); var x: i64=v; if x==0{b[0]=48;sys_write(1,b,1);return 0} var d: i64=0; var y: i64=x; while y>0{d=d+1;y=y/10} var i: i64=d-1; y=x; while i>=0{b[i]=(48+(y%10)) as u8;y=y/10;i=i-1} sys_write(1,b,d); return 0 } |
| 19 | func ck(name: *u8, c: i64) -> i64 { if c==1 { g_puts(" PASS " as *u8) } else { g_puts(" FAIL " as *u8) } g_puts(name); g_puts("\n" as *u8); return c } |
| 20 | func have_file(path: *u8) -> i64 { let fd: i64=sys_openat_rd(path); if fd<0 { return 0 } sys_close(fd); return 1 } |
| 21 | func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } called by 1: contains |
| 22 | func read_file(path: *u8, buf: *u8, cap: i64) -> i64 |
| 28 | func contains(buf: *u8, n: i64, needle: *u8) -> i64 |
| 35 | func enum1(file: *u8, name: *u8, csrc: *u8, cn: i64) -> i64 |
| 41 | func main() -> i64 |