nx_tmplstale_gate.nx
buildroot/runtime/nx_tmplstale_gate.nx
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
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
structs
| none |
consts
| 10 | const TG_DOCBUF: i64 = 4096 |
| 11 | const TG_WORKBUF: i64 = 8192 |
| 12 | const TG_RECBUF: i64 = 2048 |
| 13 | const TG_EPOCH: i64 = 1787100000 |
| 14 | const TG_TINYCAP: i64 = 8 |
functions
| 16 | func tg_has(hay: *u8, needle: *u8) -> i64 called by 1: main |
| 31 | func main() -> i64 |