code wiki / (root) / nx_ivvcensus.nx

nx_ivvcensus.nx

buildroot/runtime/nx_ivvcensus.nx

25927 B485 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_ivvcensus.nx -- derive the IV+V registry from the WHOLE estate instead of a hand-picked sample. WHY. nx_ivvbeat shipped verifying FOUR gates. buildroot/runtime holds ~1,850 *_gate.nx organs and knowledge/status holds 363 verdict logs, 233 of them carrying a judgeable anchor. Four rows is 0.2% coverage that nobody ever justified -- the registry was a sample masquerading as a roster. (STAR)A HAND-WRITTEN ROSTER IS A SAMPLE WHOSE SIZE NOBODY CHOSE; IT IS NOT SMALL BECAUSE SOMEONE DECIDED IT SHOULD BE, IT IS SMALL BECAUSE SOMEONE STOPPED TYPING. METHOD -- MATCH A KNOWN GOOD, THEN GENERALISE. The marker for each gate is not invented here; it is read out of that gate's OWN log, which is the only place its success string is recorded as fact. Where the log shows a "passed N/M" shape the HIGHEST M ever observed becomes the tooth floor, so a gate is held to the best it has ever demonstrated rather than to a number someone typed once. (STAR)THE STRONGEST FLOOR YOU CAN SET WITHOUT GUESSING IS THE BEST THE THING HAS ALREADY PROVEN. SCOPE DISCIPLINE -- THIS PROPOSES, IT DOES NOT SEED. Every candidate row is written to a proposal file and nothing touches the live ivvreg- plane. A census that silently rewrote the registry would make the beat verify a roster nobody had read. NEVER-BRICK (Rule 26, ABSOLUTE and NOT waivable by any blast-radius instruction): this organ EXECUTES NOTHING. It reads logs and tests for file existence. The firmware-axis gates (uefi/boot/efi/cmos/fw) are additionally flagged so that whoever seeds the registry must decide about them deliberately rather than inherit them in a bulk paste. license_tier: ORIGINAL No hw writes. Executes nothing. Writes ONE proposal file.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_store_seed_lib.nx nx_guarded_run.nx nx_ivvcensus.nx

imports: nx_syscalls.nxnx_store_seed_lib.nxnx_guarded_run.nx

imported by: nobody (leaf or entry point)

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

main ic_puts sys_write ic_len ic_opendir sys_exit 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 ↻ sys_now_ms sys_mmap ↻ sys_clock_gettime_mono ic_getdents ic_ends ic_len ↻ ic_len ↻ ic_cat sys_openat_rd ic_lseek sys_read sys_close ic_find_n ic_len ↻ ic_best_total ic_find_n ↻ ic_isdig ic_exists sys_mmap ↻

structs

none

consts

28const IC_DIRBUF: i64 = 262144
29const IC_TAIL: i64 = 16384
30const IC_OUTCAP: i64 = 1048576
31const IC_NAMECAP: i64 = 512
32const IC_MODE: i64 = 0x1a4
33const IC_SEEK_END: i64 = 2
34const IC_SEEK_SET: i64 = 0
36const IC_PROBE_MS: i64 = 20000
37const IC_PROBE_BUDGET_MS: i64 = 900000

functions

39func ic_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
40func ic_puts(s: *u8) -> i64 { sys_write(1, s, ic_len(s)); return 0 }
called by 1: main calls 2: sys_writeic_len
41func ic_putn(v: i64) -> i64
called by 1: main calls 2: sys_writesys_mmap
50func ic_cat(b: *u8, o: i64, s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { b[o+i] = s[i]; i = i + 1 } return o + i }
called by 1: main
51func ic_num(b: *u8, o: i64, v: i64) -> i64
called by 1: main calls 1: sys_mmap
59func ic_isdig(c: u8) -> i64 { if c < (48 as u8) { return 0 } if c > (57 as u8) { return 0 } return 1 }
called by 1: ic_best_total
61func ic_opendir(p: *u8) -> i64 { return __syscall(257, 0-100, p as i64, 0x10000, 0, 0, 0) }
called by 1: main
62func ic_getdents(fd: i64, b: *u8, cap: i64) -> i64 { return __syscall(217, fd, b as i64, cap, 0, 0, 0) }
called by 1: main
63func ic_lseek(fd: i64, off: i64, wh: i64) -> i64 { return __syscall(8, fd, off, wh, 0, 0, 0) }
called by 1: main
65func ic_ends(s: *u8, suf: *u8) -> i64
called by 1: main calls 1: ic_len
73func ic_exists(p: *u8) -> i64
called by 1: main calls 2: sys_mmapsys_fstatat
79func ic_find_n(hay: *u8, n: i64, from: i64, needle: *u8) -> i64
called by 2: ic_best_totalmain calls 1: ic_len
94func ic_best_total(buf: *u8, n: i64) -> i64
called by 1: main calls 2: ic_find_nic_isdig
132func main() -> i64