code wiki / (root) / nx_tmplstale_gate.nx

nx_tmplstale_gate.nx

buildroot/runtime/nx_tmplstale_gate.nx

5487 B87 linesdepth 9pulls 16 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_tmplstale_gate.nx -- INDEPENDENT GATE for the clerk desk (nx_tmplstale_lib): template registry, document lineage and staleness. Inherits nx_gate_verdict (gv_check per tooth, gv_bite for the non-vacuity cell, gv_verdict carries the verdict in the EXIT CODE). Fixture is assembled at RUNTIME under /tmp (never a production plane): two templates, two client documents, ONE clause revised; the gate asserts the exact stale set (the template and the document that carry the clause) AND that the fresh control (the template and document that do not) stays silent. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_tmplstale_lib.nx nx_gate_verdict.nx nx_tmplstale_gate.nx

imports: nx_tmplstale_lib.nxnx_gate_verdict.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 ↻ dg_clause_put reg_put reg_put_x sts_lock sts_mm sys_mmap ↻ sts_werr sys_exit ↻ ss_cat sys_openat_append sts_werr ↻ sys_flock reg_key reg_cat ss_get sys_mmap ↻ ss_scan sys_mmap ↻ ss_manifest_dyn ss_scan_seglist

structs

none

consts

10const TG_DOCBUF: i64 = 4096
11const TG_WORKBUF: i64 = 8192
12const TG_RECBUF: i64 = 2048
13const TG_EPOCH: i64 = 1787100000
14const TG_TINYCAP: i64 = 8

functions

16func tg_has(hay: *u8, needle: *u8) -> i64
called by 1: main
31func main() -> i64