code wiki / _hdl_build / nx_wiki_exceed_gate.nx

nx_wiki_exceed_gate.nx

buildroot/runtime/_hdl_build/nx_wiki_exceed_gate.nx

6170 B122 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic wiki
docsdependenciesstructsconstsfunctions

about

nx_wiki_exceed_gate.nx -- REFEREE for the wiki feature census. Proves nx_wiki_exceed MEASURES honestly + can SEE every case (no fabricated greens): T1 real page (web_assets/charter.html): behind > 0 -- the measurement runs and honestly reports we are behind the incumbent (our current page is far less functional than a wiki page). N1 full fixture (contains every feature signal): behind == 0 -- proves it is NOT always-behind; it reports parity ONLY when the page actually has the features (an earned-exceed is reportable). N2 sparse fixture (no signals): ours_match == 0 AND behind == incumbent_total -- full sensitivity. N3 one-feature fixture (exactly class="toc"): ours_match == 1 AND behind == incumbent_total-1 -- per-feature specificity (not all-or-nothing; no false-present of the other 15). GREEN iff T1..N3 all hold. Evidence -> knowledge/status/wiki_exceed_gate.log. Exit 0/1. Sovereign: imports the organ + nx_framed_append + nx_syscalls. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_wiki_exceed.nx nx_framed_append.nx nx_syscalls.nx nx_wiki_exceed_gate.nx

imports: nx_wiki_exceed.nxnx_framed_append.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_now_realtime_sec sys_mmap sys_clock_gettime_real sys_mmap ↻ we_measure sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close we_field_dup sys_mmap ↻ we_contains we_slen weg_tmppath weg_cat weg_catn sys_mmap ↻ weg_write_file sys_openat_wr sys_write sys_close ↻ sys_write ↻ weg_row sys_mmap ↻ weg_cat ↻ fa_appendz fa_append sys_mmap ↻ sys_openat_append sys_flock fa_write_all sys_write ↻ sys_close ↻ fa_len sys_write ↻ weg_cat ↻

structs

none

consts

17const WEG_LOG: *u8 = "knowledge/status/wiki_exceed_gate.log"
18const WEG_REAL: *u8 = "web_assets/charter.html"
19const WEG_CENSUS: *u8 = "knowledge/registry/wiki_feature_census.tsv"
20const WEG_RECCAP: i64 = 512

functions

22func weg_cat(dst: *u8, off: i64, s: *u8) -> i64 { var i: i64 = 0; while s[i] != 0 as u8 { dst[off + i] = s[i]; i = i + 1 } return off + i }
23func weg_catn(dst: *u8, off: i64, v: i64) -> i64
called by 2: weg_tmppathmain calls 1: sys_mmap
33func weg_write_file(path: *u8, content: *u8) -> i64
41func weg_tmppath(out: *u8, stem: *u8, epoch: i64, pid: i64) -> i64
called by 1: main calls 2: weg_catweg_catn
48func weg_row(name: *u8, pass: i64) -> i64
61func main() -> i64