code wiki / _hdl_build / nx_wiki_exceed_gate.nx
nx_wiki_exceed_gate.nx
buildroot/runtime/_hdl_build/nx_wiki_exceed_gate.nx
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
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
structs
| none |
consts
| 17 | const WEG_LOG: *u8 = "knowledge/status/wiki_exceed_gate.log" |
| 18 | const WEG_REAL: *u8 = "web_assets/charter.html" |
| 19 | const WEG_CENSUS: *u8 = "knowledge/registry/wiki_feature_census.tsv" |
| 20 | const WEG_RECCAP: i64 = 512 |
functions
| 22 | func 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 } |
| 23 | func weg_catn(dst: *u8, off: i64, v: i64) -> i64 |
| 33 | func weg_write_file(path: *u8, content: *u8) -> i64 |
| 41 | func weg_tmppath(out: *u8, stem: *u8, epoch: i64, pid: i64) -> i64 |
| 48 | func weg_row(name: *u8, pass: i64) -> i64 |
| 61 | func main() -> i64 |