code wiki / _hdl_build / nx_pub_plane_gate.nx

nx_pub_plane_gate.nx

buildroot/runtime/_hdl_build/nx_pub_plane_gate.nx

15701 B241 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic pub
docsdependenciesstructsconstsfunctions

about

nx_pub_plane_gate.nx -- the VERIFIER for the publishing plane (nx_pub_lib / nx_pub_plane). Proves the two properties the operator actually asked for: 1. every discovery artifact (sitemap.xml, robots.txt, llms.txt) is DERIVED from the per-site registry -- so what a crawler sees and what the team believes are the same object, and no page can be "put somewhere" and quietly become site truth; 2. the publish GATEWAY is FAIL-CLOSED -- an unregistered path is refused, and an unreadable registry refuses everything rather than waving it through; 3. adoption walks the WHOLE docroot TREE (debt 1785614931: the one-level walk skipped every subdirectory, so a nested page could never be registered and the gateway refused code/ pages forever) -- nested pages enter under their FULL relpath, idempotently, and a beyond-depth tree REFUSES LOUDLY rather than truncating. NON-VACUITY IS STRUCTURAL HERE, not a promise: the exclusion teeth are gv_bite cells, which count only if they FIRE on the crafted-bad input AND stay SILENT on the crafted-good one. A sitemap filter that excluded everything, or nothing, fails both bites. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 3 imports · 0 importers

nx_pub_lib.nx nx_gate_verdict.nx nx_syscalls.nx nx_pub_plane_gate.nx

imports: nx_pub_lib.nxnx_gate_verdict.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_mkdir pg_fixfile sys_mmap pl_join pl_cat pl_wfile sys_openat_wr sys_write sys_close pl_vlen sys_munmap pl_werr sys_write ↻ pl_vlen ↻ sys_exit gv_ctr sys_mmap ↻ gv_head gv_puts sys_write ↻ sys_mmap ↻ pl_join ↻ pl_cat ↻ sts_seed ss_begin_cap sys_mmap ↻ sts_mm sys_mmap ↻ sts_werr sys_write ↻ sys_exit ↻ sts_rowkey ss_catn sys_mmap ↻ ss_add ss_add2 ss_w32 ss_len ss_catn ↻

structs

none

consts

22const PG_PATHCAP: i64 = 1024
23const PG_BUF: i64 = 65536
24const PG_SPAN: i64 = 16
25const PG_DIRMODE: i64 = 493
26const PG_ARG_A: i64 = 1

functions

28func pg_fixfile(dir: *u8, name: *u8, body: *u8) -> i64
35func pg_has(path: *u8, needle: *u8) -> i64
44func main(argc: i64, argv: *i64) -> i64