code wiki / (root) / nx_entity_pin_gate.nx

nx_entity_pin_gate.nx

buildroot/runtime/nx_entity_pin_gate.nx

6673 B111 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic entity
docsdependenciesstructsconstsfunctions

about

nx_entity_pin_gate.nx -- the entity pin projection is proven on fixture dossiers (S11, 2026-09-17). Teeth: a resolved dossier becomes one row with every field; a second projection of the same key REPLACES the row (never a duplicate); another entity's row survives; a missing dossier and an unresolved one are counted and change nothing (neg-controls); a differently spaced and cased name normalises onto the same key. Counts are printed as values. Fixture prefix /tmp/nx_entity_pin_gate- (never the production knowledge/status/). expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_entity_pin_lib.nx nx_gate_verdict.nx nx_entity_pin_gate.nx

imports: nx_syscalls.nxnx_entity_pin_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 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 ↻ gv_puts sys_write ↻ pg_unlink sys_unlinkat pg_write sys_openat_wr ep_slen sys_write ↻ sys_close pg_project1 sys_mmap ↻ ep_project sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real sys_mmap ↻ ep_norm ep_lower ep_alnum ep_slug ep_norm ↻ ep_cat ep_read sys_openat_rd

structs

none

consts

11const PG_PREFIX: *u8 = "/tmp/nx_entity_pin_gate-"
12const PG_TSV: *u8 = "/tmp/nx_entity_pin_gate-entitypin.tsv"
13const PG_DOSSIER_A: *u8 = "/tmp/nx_entity_pin_gate-dossier-zq-name.txt"
14const PG_DOSSIER_B: *u8 = "/tmp/nx_entity_pin_gate-dossier-other-one.txt"
15const PG_DOSSIER_G: *u8 = "/tmp/nx_entity_pin_gate-dossier-ghost.txt"
16const PG_DOSSIER_N: *u8 = "/tmp/nx_entity_pin_gate-dossier-nobody-here.txt"
17const PG_FILE_MODE: i64 = 420
18const PG_CID_A: i64 = 853
19const PG_CID_A2: i64 = 854
20const PG_CID_B: i64 = 900
21const PG_AUTH_A: i64 = 1051
22const PG_ONE: i64 = 1
23const PG_TWO: i64 = 2
24const PG_ZERO: i64 = 0

functions

26func pg_write(path: *u8, s: *u8) -> i64
called by 1: main calls 4: sys_openat_wrep_slensys_writesys_close
37func pg_count(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: pg_table_count calls 1: ep_slen
50func pg_table_count(needle: *u8) -> i64
called by 1: main calls 4: sys_mmapep_readpg_countep_free
58func pg_project1(name: *u8, counts: *i64) -> i64
called by 1: main calls 2: sys_mmapep_project
64func main(argc: i64, argv: *i64) -> i64
calls 10: sys_mmapgv_putspg_unlinkpg_writepg_project1gv_check_eq+4