code wiki / _hdl_build / nx_ingest_base_gate.nx

nx_ingest_base_gate.nx

buildroot/runtime/_hdl_build/nx_ingest_base_gate.nx

3023 B90 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic ingest
docsdependenciesstructsconstsfunctions

about

nx_ingest_base_gate.nx -- LangIntel LI1 self-test: proves nx_ingest_base compiles, links, and its base primitives behave (hash determinism+distinctness, anchored find, field extract, bounded read fail-closed, structured refusal with reason+fix). Verdict tooth: N/N -> GREEN else RED (exit 3). (Inline verdict matches the proven nx_swebv_ingest style; migrate onto nx_gate_verdict base on next touch per the D001 migrate-on-touch law.) expect_exit: 0 license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 2 imports · 0 importers

nx_ingest_base.nx nx_syscalls.nx nx_ingest_base_gate.nx

imports: nx_ingest_base.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main ib_hash gg_check ib_werr ib_wr ib_slen sys_write ib_slen ↻ ib_find ib_slen ↻ sys_mmap ib_field ib_find ↻ ib_slen ↻ ib_read sys_openat_rd sys_read sys_close ib_refuse ib_werr ↻ ib_werr ↻ ib_wn sys_write ↻ sys_mmap ↻ sys_exit

structs

none

consts

10const G_STDERR: i64 = 2
11const G_CH_a: i64 = 97
12const G_CH_sl: i64 = 47
13const G_CH_b: i64 = 98
14const G_VCAP: i64 = 64
15const G_EXIT_RED: i64 = 3

functions

20func gg_check(name: *u8, cond: i64) -> i64
called by 1: main calls 1: ib_werr
35func main() -> i64
calls 11: ib_hashgg_checkib_slenib_findsys_mmapib_field+5