nx_nofloat_hw_research_fetch.nx
buildroot/runtime/nx_nofloat_hw_research_fetch.nx
about
nx_nofloat_hw_research_fetch.nx -- SOVEREIGN researcher: GROUND the HARDWARE-RUNG-UP exceed in REAL fetched
facts (Rule 4). The claim we must ground: on INTEGER-ONLY / NO-FPU hardware (microcontrollers, FPGAs, RISC-V
base ISA, edge accelerators) float is a LIABILITY -- it needs a floating-point UNIT or slow software emulation
(soft-float), while our no-float Q16 stack runs NATIVELY on the integer ALU. That is where no-float genuinely
EXCEEDS (not the GPU/datacenter path, where float wins -- the minority-path asterisk). Sources cover: the FPU
(optional), fixed-point arithmetic, MCUs, ARM Cortex-M (M0/M3 = no FPU), RISC-V (integer base + optional F/D),
FPGA (float costly), CMSIS-NN / TFLite-Micro (int kernels for edge), int8 edge inference.
Mirrors the proven fetcher: sovereign TLS-1.3 + Mozilla CA, idempotent skip-if-have, saves to hw_*.raw.
expect_exit: 0
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_x509_trust_store.nxnx_trust_store_load_from_certdata.nxnx_https_fetch_follow.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_4194304: i64 = 4194304 |
| 15 | const K_MAGIC_8388608: i64 = 8388608 |
functions
| 17 | func df_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 df_putn(v: i64) -> i64 |
| 28 | func have_file(path: *u8) -> i64 { let fd: i64 = sys_openat_rd(path); if fd < 0 { return 0 } sys_close(fd); return 1 } |
| 29 | func fetch_save(url: *u8, opath: *u8, store: *TrustStore, out: *u8, cap: i64) -> i64 |
| 45 | func main() -> i64 |