code wiki / (root) / nx_compare_results_gate.nx

nx_compare_results_gate.nx

buildroot/runtime/nx_compare_results_gate.nx

8013 B90 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic compare
docsdependenciesstructsconstsfunctions

about

nx_compare_results_gate.nx -- gate for a board's ONE results page and the click-to-open primitive under it (ecosystem EC64, 2026-09-17). In-process over nx_compare_results_lib and nx_reveal_lib: the policy decision in both directions (a file may tighten, never loosen), a planted results file with a superseded slug, a malformed row, an adult row, an explicit row and an undeclared class, and the audit held to a planted bare image. No files are written. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_compare_results_lib.nx nx_compare_results_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_compare_results_lib.nx

imported by: nobody (leaf or entry point)

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

main gv_head gv_puts sys_write gv_ctr 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 ↻ gv_check_eq gv_check gv_puts ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap rvl_mode sys_mmap ↻ rvl_decide sys_mmap ↻ rvl_find sys_mmap ↻ rvl_span_is rvl_slen rvl_mode_of_span rvl_span_is ↻ rvl_slen ↻ rvl_slen ↻

structs

none

consts

10const CG_FIXTURE: *u8 = "The board's results, prose line.\nresult|canon-close|canon|2026-09-17|face-synthetic|Canon face|-|/img/canon.png|headline one\nresult|fit|twin-fit|2026-09-16|face-synthetic|OLD ROW|-|/img/old.png|old\nresult|fit|twin-fit|2026-09-17|face-synthetic|Fitted face|/report/fit|/img/fit.png|headline two\nresult|seed-7|synth-seed|2026-09-17|face-synthetic|Seed 7|-|/img/seed7.png|headline three\nresult|planted-adult|synth-seed|2026-09-17|nudity-synthetic|Planted <script>alert(1)</script>|-|/img/adult.png|planted \"quote\" & amp\nresult|planted-explicit|synth-seed|2026-09-17|explicit|Planted explicit|-|/img/SECRET-EXPLICIT.png|never carries its href\nresult|planted-unknown|synth-seed|2026-09-17|some-new-class|Planted unknown|-|/img/SECRET-UNKNOWN.png|an undeclared class is withheld\nresult|too|few|fields\n"
11const CG_GENERAL: *u8 = "result|one|canon|2026-09-17|face-synthetic|One face|-|/img/one.png|a page with no adult item\n"
12const CG_PROSE_ONLY: *u8 = "no result rows here\njust prose\n"
13const CG_FILE_LOOSEN: *u8 = "class|explicit|open|general|algorithmicMedia|an operator file trying to open explicit media\nclass|chart|click|general|algorithmicMedia|charts tightened to click\nclass|newclass|open|adult|algorithmicMedia|a new adult class declared open\n"
14const CG_BARE_PAGE: *u8 = "<html><body><p><img src=\"/x.png\"></p></body></html>"
15const CG_COVERED_PAGE: *u8 = "<html><body><details class=\"nx-reveal\" data-class=\"face-synthetic\"><summary>s</summary><figure><img src=\"/x.png\"></figure></details></body></html>"
16const CG_DOM: *u8 = "fixtureboard"
17const CG_PAGE_CAP: i64 = 131072
18const CG_TINY_CAP: i64 = 64
19const CG_ROWS: i64 = 7
20const CG_LIVE: i64 = 6
21const CG_BAD_LINE: i64 = 9
22const CG_KINDS: i64 = 3
23const CG_CLICK: i64 = 4
24const CG_GATED: i64 = 2

functions

26func cg_has(buf: *u8, n: i64, lit: *u8) -> i64
called by 1: main calls 2: rvl_slenrvl_at
35func main(argc: i64, argv: *i64) -> i64