code wiki / _hdl_build / nx_cc_evidence.nx
nx_cc_evidence.nx
buildroot/runtime/_hdl_build/nx_cc_evidence.nx
about
nx_cc_evidence.nx -- INDEPENDENT-OBJECTIVE evidence gate for the compiler rung. Does NOT accept any asserted
number: it BUILDS gcc's fannkuch, RUNS both the sovereign ELF and gcc's ELF, captures their REAL stdout,
verifies the checksums AGREE (differential correctness vs the incumbent -- catches bugs/poison), and computes
the speed score FROM the captured microseconds. Independent (gcc grades us), objective (us, reproducible),
differential (both must compute checksum 556355), real benchmark (CLBG fannkuch-11). This is the caliber the
SOTA ledger must require; a capability without evidence like this has NO position, only a claim.
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_itoa_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
| 9 | const G_MAGIC_556355: i64 = 556355 |
| 10 | const G_MODE: i64 = 0x1a4 |
| 11 | const BUFSZ: i64 = 16384 |
functions
| 13 | 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_putn(v: i64) -> i64 { nxi_out(v); return 0 } |
| 20 | func g_run(path: *u8, argv: *i64, envp: *i64, redir_out: i64) -> i64 |
| 33 | func g_slurp(path: *u8, buf: *u8) -> i64 |
| 41 | func g_match_at(buf: *u8, i: i64, key: *u8) -> i64 { var j: i64=0; while key[j]!=(0 as u8){ if buf[i+j]!=key[j]{return 0} j=j+1 } return 1 } called by 1: g_parse_after |
| 42 | func g_parse_after(buf: *u8, blen: i64, key: *u8, nf: i64) -> i64 |
| 52 | func main() -> i64 |