code wiki / (root) / nx_absent.nx

nx_absent.nx

buildroot/runtime/nx_absent.nx

13311 B250 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_absent.nx -- PROVE ABSENCE, OR REFUSE TO CLAIM IT. Sovereign, no shell, no client-side filtering. WHY THIS EXISTS, measured on myself 2026-08-07: three times in one day I ran a search, piped it through a filter, saw no hits, and concluded the thing was ABSENT. Every time the tool had HONESTLY declared its own partiality -- `NX-TRUNCATED OUTPUT-IS-PARTIAL capture_cap=163840`, `BUDGET-EXCEEDED partial=1`, `coverage_complete=0` -- and every time my filter discarded that line before I read it. Once it made a grep over 22,000 files read as a clean absence and I began doubting a correct census; once I was one step from filing a sev-9 that was flatly untrue. THE SEARCHER WAS NEVER THE DEFECT. THE READER WAS. So this organ does not re-implement search: it COMPOSES nx_shelltool (already honest, already coverage-declaring) and moves the verdict OUT OF THE PAYLOAD AND INTO THE EXIT CODE. ★★★★★★ AN ADVISORY IN A PAYLOAD IS DISCARDABLE; AN EXIT CODE IS BRANCHED ON. If a fact must not be ignored, it cannot live only in text that a caller is free to grep away. ★★★★★ `matches=0` IS NOT ABSENCE -- IT IS ABSENCE *WITHIN WHATEVER WAS SCANNED*. Absence is a claim about the WHOLE corpus, so it requires proof of complete coverage, and this organ will not issue that claim without it. THREE STATES, because two would force a lie (the ecosystem's own law: a probe that cannot tell MET from UNOBSERVABLE reports failure as success): exit 0 ABSENT-PROVEN 0 matches AND coverage_complete=1 AND no truncation marker exit 1 PRESENT >=1 match (the corpus contains it; absence is refuted) exit 3 UNPROVEN coverage was partial -> NO CONCLUSION IS AVAILABLE, in either direction exit 2 usage UNPROVEN is deliberately NOT folded into either answer. Folding it into PRESENT would cry wolf; folding it into ABSENT is exactly the mistake this organ was built to make impossible. usage: nx_absent <pattern> <dir> [ext] license_tier: ORIGINAL Read-only: forks a read-only searcher, writes nothing. (Rule 26)

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_tool_run.nx nx_absent.nx

imports: nx_syscalls.nxnx_tool_run.nx

imported by: nobody (leaf or entry point)

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

main ab_puts sys_write 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 ↻ tr_run_capture sys_mmap ↻ sys_pipe2 sys_fork sys_close sys_dup3 sys_execve_clean sys_close_inherited sys_close_inherited_proc sys_openat_rd sys_mmap ↻ sys_getdents64 dirent_reclen sys_close ↻ sys_munmap sys_execve tr_exec_failed sys_write ↻ sys_exit ↻ sys_read sys_wait4 wait_status_rc

structs

none

consts

32const AB_SHELLTOOL: *u8 = "/volume1/homes/elderwesto/nishihost/nx_shelltool.elf"
33const AB_CAP: i64 = 1048576
34const AB_RC_PRESENT: i64 = 1
35const AB_RC_USAGE: i64 = 2
36const AB_RC_UNPROVEN: i64 = 3
37const AB_SHOW: i64 = 12 // matching lines echoed on PRESENT; the cap is printed

functions

39func ab_puts(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 1: main calls 1: sys_write
40func ab_putn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
53func ab_at(buf: *u8, i: i64, n: i64, needle: *u8) -> i64
62func ab_has(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: main calls 1: ab_at
72func ab_num_after(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: main calls 1: ab_at
96func main(argc: i64, argv: *i64) -> i64