nx_blocklist_store_gate.nx
buildroot/runtime/nx_blocklist_store_gate.nx
about
nx_blocklist_store_gate.nx -- proves the SUPERVISED blocklist on the real seg_store (test prefix, production
untouched): an entry is stored PENDING (does not block) -> operator approve flips it to APPROVED -> the earlier
version is still in the store (additive history = the audit trail). Enumerable via __blidx__. license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_blocklist_store.nxnx_gate.nxnx_tabrec.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
| none |
functions
| 8 | func tail_eq(buf: *u8, len: i64, z: *u8) -> i64 called by 1: main |
| 18 | func main() -> i64 |