code wiki / (root) / nx_sovereign_qed_audit.nx

nx_sovereign_qed_audit.nx

buildroot/runtime/nx_sovereign_qed_audit.nx

10472 B221 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind tooltopic sovereign

docs dependencies structs consts functions

about

nx_sovereign_qed_audit.nx -- substrate-side self-audit of NishiLang's sovereign-QED-at-layer-zero status. Per user 2026-05-14: "i want nishilang to be an entirely sovereing self sufficient growing additive complete qed on the layer zero and more". Audits 6 properties + emits per-property verdict: 1. SOVEREIGN -- no external license obligations on corpus 2. SELF-SUFFICIENT -- substrate-internal verification + bootstrap 3. GROWING-ADDITIVE -- corpus strictly grows; never deletes 4. COMPLETE-QED -- all Wiedijk 1994/2007 requirements met 5. LAYER-ZERO -- bootstraps from binary up, no f64/external dep 6. BEYOND-WIEDIJK -- the 5 dimensions Wiedijk did not anticipate

dependencies 7 imports · 0 importers

imports: nx_syscalls.nxnx_runtime.nxnx_tier.nxnx_str.nxnx_provenance.nxnx_patent_check.nxnx_ontology.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

29	const K_MAGIC_100000: i64 = 100000

functions

32	func nx_sqa_count(path: *u8) -> nx_int called by 1: main calls 2: sys_mmap sys_read_file
59	func nx_sqa_contains(buf: u8, n: nx_int, pat: u8, pat_len: nx_int) -> nx_int called by 1: main
74	func nx_sqa_report(axis: u8, status: nx_int, detail: u8, called by 1: main calls 2: print println
91	func main() -> nx_exit calls 8: sys_mmap println sys_read_file nx_sqa_contains nx_sqa_report nx_sqa_count+2