code wiki / (root) / nx_ingest_gate.nx

nx_ingest_gate.nx

buildroot/runtime/nx_ingest_gate.nx

6506 B129 linesdepth 7pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic ingest
docsdependenciesstructsconstsfunctions

about

nx_ingest_gate.nx -- REFEREE for WRITING rung W-ING-1 (nx_ingest). [T1] BATCH: 3-scene text + 2-char roster -> exact per-scene dialogue / focus / total / per-name mention counts. [T2] STREAMING == BATCH: extract each scene independently (as if the LLM streamed it scene-by-scene) and assert IDENTICAL records to the batch pass -- the proof of "real-time == prior". [T3] NEG-CONTROL whole-word: "Yukiko" must NOT count as "Yuki" (substring is not a mention); a standalone "Yuki" does. [T4] NEG-CONTROL empty scene: a scene with no roster characters -> focus = -1, total = 0 (it does not fabricate a present character). Evidence -> stdout + knowledge/status/ingest_gate.log. Exit 0 GREEN / 1 RED. Sovereign x86_64. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls_x86_64.nx nx_ingest.nx nx_ingest_scene.nx nx_ingest_gate.nx

imports: nx_syscalls_x86_64.nxnx_ingest.nxnx_ingest_scene.nx

imported by: nobody (leaf or entry point)

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

main sys_openat_append gp ig_extract ig_close_scene ig_name_off ig_count_name_in ig_match_at wc_is_alpha wc_lower wc_lower ↻ slen pr_kv gp ↻ gn

structs

none

consts

none

functions

19func gp(logfd: i64, s: *u8) -> i64
called by 2: pr_kvmain
26func gn(logfd: i64, v: i64) -> i64
called by 1: pr_kv
44func slen(s: *u8) -> i64
called by 1: main
49func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64
called by 1: main calls 2: gpgn
58func main() -> i64