code wiki / (root) / nx_continuity_gate.nx

nx_continuity_gate.nx

buildroot/runtime/nx_continuity_gate.nx

3810 B82 linesdepth 8pulls 11 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_continuity_gate.nx -- REFEREE for CROSS-SCENE continuity: cf_detect_owned run over a WHOLE multi-scene story for a PERSISTENT attribute (eye color). A persistent attribute must not change across the story for the SAME character; a transient one (facing) legitimately can, which is why this is a separate whole-story pass from the per-scene conflict pass. [T1] same character, eyes blue (scene1) then green (scene2) -> 1 continuity conflict [T2] different characters (Mira blue, Dev green) -> 0 [T3] consistent (Mira blue, Mira blue) -> 0 Sovereign x86_64. Exit 0/1. -> knowledge/status/continuity_gate.log

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_conflict.nx nx_continuity_gate.nx

imports: nx_syscalls_x86_64.nxnx_conflict.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 cf_detect_owned ig_name_off cf_term_owned ig_match_at wc_is_alpha wc_lower wc_lower ↻ cf_owner_at ig_name_off ↻ ig_match_at ↻ slen pr_kv gp ↻ gn

structs

none

consts

none

functions

13func gp(logfd: i64, s: *u8) -> i64
called by 2: pr_kvmain
20func gn(logfd: i64, v: i64) -> i64
called by 1: pr_kv
34func slen(s: *u8) -> i64
called by 1: main
39func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64
called by 1: main calls 2: gpgn
45func main() -> i64