code wiki / _hdl_build / nx_uiq_sentinel_gate.nx

nx_uiq_sentinel_gate.nx

buildroot/runtime/_hdl_build/nx_uiq_sentinel_gate.nx

4317 B78 linesdepth 9pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic uiq
docsdependenciesstructsconstsfunctions

about

nx_uiq_sentinel_gate.nx -- D001 gate for the F106c sentinel (gv-verdict anchored). Proves each classification DISCRIMINATELY on kat fixtures: baseline rows exact, clean run all-zero, a console regression with ZERO structural change (dup id) flags regressed-not-drift, a structural change with ZERO console change flags drift, and a ghost manifest row flags missing. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_uiq_sentinel_lib.nx nx_gate_verdict.nx nx_uiq_sentinel_gate.nx

imports: nx_uiq_sentinel_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_ctr sys_mmap gv_head gv_puts sys_write us_write sys_openat_wr us_baseline us_read_list cs_slurp sys_read us_scan_dir sys_getdents64 dirent_type dirent_name us_ends us_has cs_find_from us_cat dirent_reclen uiq_w sys_write ↻ us_cat ↻ cs_slurp ↻ cs_audit_buf cs_mask_scripts cs_find_from ↻ cs_scan_vars cs_find_from ↻ cs_namec cs_has_def cs_find_from ↻ cs_namec ↻ cs_span_eq cs_detail cs_scan_ids cs_find_from ↻ cs_span_eq ↻ cs_detail ↻

structs

none

consts

none

functions

9func main() -> i64
calls 11: gv_ctrgv_headus_writeus_baselinegv_checkus_check+5