nx_tmplstale.nx
buildroot/runtime/nx_tmplstale.nx
about
nx_tmplstale.nx -- THE CLERK DESK CLI/MCP organ: self-verifying demo over nx_tmplstale_lib.
Seeds a clause library and two templates (each put snapshots its clause CIDs), assembles two client
documents with LINEAGE, proves the desk reads CURRENT (0 stale), then revises ONE clause and prints
the worklist: the template that carries it and the document built from it are named; the template
and document that do not carry it stay silent (the fresh control). license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_tmplstale_lib.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
| 8 | const TSD_DOCBUF: i64 = 4096 |
| 9 | const TSD_WORKBUF: i64 = 8192 |
| 10 | const TSD_OUTBUF: i64 = 2048 |
| 11 | const TSD_EPOCH: i64 = 1787100000 |
| 12 | const TSD_TINYCAP: i64 = 8 |
functions
| 14 | func tsd_has(hay: *u8, needle: *u8) -> i64 called by 1: main |
| 29 | func main() -> i64 |