code wiki / (root) / nx_gapledger_gate.nx

nx_gapledger_gate.nx

buildroot/runtime/nx_gapledger_gate.nx

14311 B261 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_gapledger_gate.nx -- THE GAP LEDGER IS CITED, RECONCILED, AND ITERATION-SAFE. Subject: knowledge/gapledger.conf (the quantitative gap ledger vs Infinigen and MetaHuman) plus the pinned mirrors every THEIR-number is quoted from. WHY THESE TEETH. The ledger exists because a saturating ruler was read as a capability cap (the 89k-triangle "target" that was really the generator's own ceiling). The failure mode this gate must make impossible is a DIFFERENT one with the same shape: a best-of-breed number that nobody can trace, quietly becoming a bar. So: - every THEIR-number must be quoted from a mirror whose BYTES ARE STILL ON DISK (T4/T5); - the two Infinigen partitions must SUM, COMPUTED HERE from their parts, never restated (T2/T3) -- a partition that does not reconcile means a number was transcribed, not read; - numbers we could not source must stay UNSOURCED with NO ratio published (T6); - the iteration rule (capability level AND score, never score alone) must be present (T7), because a consumer reading score alone would re-commit the original error. I/O NOTE: this gate composes sys_read_file, which sizes its buffer FROM THE FILE and cannot short-read. v1 hand-rolled open/read/close against a GL_CAP constant; the compiler refused it (sys_open undefined) and the banked law says the same thing louder -- a buffer cap is not a number to tune, and for a FILE read there is no guess to make. There is no cap in this gate.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_gapledger_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_puts sys_write ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close gv_num sys_mmap ↻ sys_write ↻ sys_munmap ↻ gv_check gv_puts ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts ↻ gv_num ↻ gv_puts ↻

structs

none

consts

25const GL_CONF: *u8 = "knowledge/gapledger.conf"
26const GL_M1: *u8 = "knowledge/fetched/cmp_gapledger_infinigen1_abs.html"
27const GL_M2: *u8 = "knowledge/fetched/cmp_gapledger_infinigen1_full.html"
28const GL_M3: *u8 = "knowledge/fetched/cmp_gapledger_mh_dna.md"

functions

30func gl_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 2: gl_findgl_num
34func gl_present(path: *u8) -> i64
called by 1: main calls 2: sys_mmapsys_read_file
44func gl_find(buf: *u8, n: i64, ned: *u8) -> i64
called by 1: main calls 1: gl_slen
60func gl_num(buf: *u8, n: i64, key: *u8) -> i64
called by 1: main calls 1: gl_slen
96func main(argc: i64, argv: *i64) -> i64