code wiki / _hdl_build / nx_nofloat_hwladder.nx
nx_nofloat_hwladder.nx
buildroot/runtime/_hdl_build/nx_nofloat_hwladder.nx
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
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
structs
| none |
consts
| none |
functions
| 17 | 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 } |
| 18 | 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 } |
| 19 | func have(path: *u8) -> i64 { let fd: i64=sys_openat_rd(path); if fd<0 { return 0 } sys_close(fd); return 1 } |
| 20 | func rung(tag: *u8, organ: *u8, note: *u8, present: *i64) -> i64 |
| 26 | func main() -> i64 |