code wiki / _hdl_build / nx_nofloat_hwladder.nx

nx_nofloat_hwladder.nx

buildroot/runtime/_hdl_build/nx_nofloat_hwladder.nx

6448 B62 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tooltopic nofloat
docsdependenciesstructsconstsfunctions

about

nx_nofloat_hwladder.nx -- CAP-NF-HWLADDER: the HARDWARE-RUNG-UP ladder, silicon -> AI, each rung grounded on a real organ, with the HARDWARE-CONDITIONAL exceed stated honestly (asterisk-disciplined). The reframe that makes the exceed genuine rather than a niche: on INTEGER-ONLY / NO-FPU hardware (MCUs, FPGAs, RISC-V base ISA, edge) float is a LIABILITY -- it needs an FPU or slow soft-float (hw_fpu: runs "without floating[-point]"; hw_cortexm: Cortex-M0 has no FPU; hw_riscv: integer base ISA, F/D optional; hw_cmsisnn/hw_tflite: the field runs INTEGER on this silicon). Our stack's compiler has NO float type at all -> the AI binary needs ZERO FPU -> NATIVE there. Rungs: R0 SILICON (integer ALU, no-FPU, NEVER-BRICK by construction) -> R1 TOOLCHAIN -> R2 INTEGER MATH -> R3 AUTOGRAD -> R4 TRANSFORMER -> R5 INTEGER-ONLY TRAINING -> R6 EFFICIENT INFERENCE -> R7 SCALE (frontier). T1 R0-R6 each grounded on a real organ (ladder built silicon->AI, contiguous). T2 R7 honestly MISSING (no scale organ -> we do NOT claim the GPU-scale frontier). T3 ASTERISK present: HARDWARE-CONDITIONAL -- EXCEED on no-FPU/edge (float=soft-float), BEHIND on GPU (float wins); the MINORITY path on GPU is the NATIVE path on edge silicon. (carries "MINORITY" for adversary DETECTOR 4) expect_exit: 0 Sovereign: nx_syscalls.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_g_puts_lib.nx nx_nofloat_hwladder.nx

imports: nx_syscalls.nxnx_g_puts_lib.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main g_puts sys_write sys_mmap rung have sys_openat_rd sys_close g_puts ↻ have ↻ ck g_puts ↻ g_pn sys_mmap ↻ sys_write ↻ sys_openat_append sys_write ↻ sys_close ↻ sys_exit

structs

none

consts

none

functions

17func 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 }
called by 1: main calls 2: sys_mmapsys_write
18func 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 }
called by 1: main calls 1: g_puts
19func have(path: *u8) -> i64 { let fd: i64=sys_openat_rd(path); if fd<0 { return 0 } sys_close(fd); return 1 }
called by 2: rungmain calls 2: sys_openat_rdsys_close
20func rung(tag: *u8, organ: *u8, note: *u8, present: *i64) -> i64
called by 1: main calls 2: haveg_puts
26func main() -> i64