code wiki / _hdl_build / nx_evoracle_sweep.nx

nx_evoracle_sweep.nx

buildroot/runtime/_hdl_build/nx_evoracle_sweep.nx

16887 B370 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind tooltopic evoracle
docsdependenciesstructsconstsfunctions

about

nx_evoracle_sweep.nx -- DERIVE ORACLE ROWS ACROSS THE THIRD-PARTY POPULATION, on the host that SERVES the claims, and WRITE the attestation file. Separate organ from the single-subject producer on purpose (rule 9): measuring ONE subject and driving a FLEET are different jobs, and the fleet driver has a failure mode the single-shot one does not -- PARTIAL COVERAGE THAT READS AS COMPLETE. So DERIVED / REFUSED / NO-ELF / NOT-GREEN are counted and printed separately and never collapsed. A gate we could not test and a gate that failed must never look the same, or the sweep becomes the thing it audits. PATHS ARE NAS-NATIVE: subjects at buildroot/runtime/_hdl_build/, artifacts at buildroot/_build/. The laptop keeps them at runtime/_hdl_build/ and _build/ -- the artifact-root class this ecosystem has been bitten by five times. Declared here rather than guessed. ⛔THE PARAGRAPH THAT USED TO SIT HERE IS STALE AND IT COST THE ESTATE A MONTH OF PROVEN=0. It said rows must stay unsigned because "knowledge/attest_keys.conf is absent" and "only a key the operator holds supplies the ATTRIBUTION". BOTH HALVES WERE TRUE WHEN WRITTEN and BOTH ARE NOW FALSE, measured 2026-09-03: that file EXISTS (2548 B) and REGISTERS TWO role=machine keys, added later the same day by an agent, and it sanctions them in its own words -- for EV_CLASS_ORACLE "independence comes from the REFERENCE, not the signer". PROVEN END TO END, not argued: nx_attest_ceremony signed a derived oracle row with the registered machine key (pub=08fc04ab..4fa8) and `check` against the LIVE registry returned at_verify_row -> OK (rc=0). Its gate agrees -- T6 oracle+machine=OK, T9 experiential+machine=OK, and only T4 (class=human) refuses a machine key, which is correct and must never be loosened. ★★★★★★A COMMENT THAT WAS TRUE WHEN WRITTEN AND IS NEVER RE-CHECKED BECOMES A LAW THE WHOLE ESTATE OBEYS -- this one propagated into nx_evclass_route's header, into two seat memories, and into a report to the operator naming a key ceremony as the top priority. It was none of those things. WHAT IS ACTUALLY TRUE NOW: this organ supplies the DERIVATION, and for class=oracle and class=experiential the registered MACHINE key legitimately supplies the ATTRIBUTION. A human-class row still needs the operator, and that is the only leg an agent must never supply. MEASURED SIZE OF THE GAP (2026-09-03, corpus_complete=1 over knowledge/status/*.conf): 46 rows carry epoch=1785* and are ~31 days stale against the 604800 s TTL, while 30 fresh rows exist carrying the literal signer=UNSIGNED-operator-key-required -- fresh evidence, derived, one signature from counting. license_tier: ORIGINAL expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_itoa_lib.nx nx_sha256_wasm.nx nx_evoracle.nx nx_evoracle_sweep.nx

imports: nx_syscalls.nxnx_itoa_lib.nxnx_sha256_wasm.nxnx_evoracle.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 ↻ w sys_write ↻ bcat one sys_mmap ↻ bcat ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close w ↻ evo_classify evo_self_oracle evo_has evo_find evo_starts evo_cites_spec evo_has ↻ evo_cites_refimpl evo_has ↻ extract_ref

structs

none

consts

37const K_MAGIC_1024: i64 = 1024
38const K_MAGIC_65536: i64 = 65536
53const SWEEP_CONF_CAP: i64 = 65536
54const SWEEP_CONF_MAXROWS: i64 = 256
55const SWEEP_TOK_CAP: i64 = 128

functions

40func w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 2: onemain calls 1: sys_write
41func wb(b: *u8, n: i64) -> i64 { sys_write(1, b, n); return 0 }
called by 1: one calls 1: sys_write
47func nn(v: i64) -> i64 { nxi_out(v); return 0 }
called by 2: onemain calls 1: nxi_out
49func hexnib(v: i64) -> i64 { if v < 10 { return 48 + v } return 87 + v }
called by 1: one
64func sweep_line_end(src: *u8, from: i64, n: i64) -> i64
called by 1: sweep_conf_rows
74func sweep_conf_rows(c: *i64, rb: *u8, rl: *i64, path: *u8) -> i64
131func bcat(buf: *u8, at: i64, s: *u8) -> i64
called by 2: onemain
136func bcatb(buf: *u8, at: i64, s: *u8, n: i64) -> i64
called by 1: one
141func bcatn(buf: *u8, at: i64, v: i64) -> i64
called by 1: one calls 1: sys_mmap
152func extract_ref(b: *u8, n: i64, out: *u8, cap: i64) -> i64
called by 1: one calls 1: evo_find
193func run_gate(elf: *u8) -> i64
214func one(c: *i64, rb: *u8, rl: *i64, name: *u8, scope: *u8) -> i64
312func main() -> i64