code wiki / (root) / nx_conflict_gate.nx

nx_conflict_gate.nx

buildroot/runtime/nx_conflict_gate.nx

4383 B93 linesdepth 8pulls 11 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_conflict_gate.nx -- REFEREE for WRITING rung W-ING-5 (nx_conflict). [T1] CONFLICT: "facing forward ... facing backward" (same axis) -> 1 conflict (forward,backward) [T2] CONSISTENT: only "forward" (twice) -> 0 conflicts [T3] MULTI-AXIS: forward/backward AND day/night -> 2 conflicts [T4] NEG-CONTROL cross-axis: "forward at night" (1 per axis) -> 0 [T5] NEG-CONTROL whole-word: "forwards" + "backward" (forwards!=forward) -> 0 Sovereign x86_64. Exit 0/1. -> knowledge/status/conflict_gate.log

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_conflict.nx nx_conflict_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 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

11func gp(logfd: i64, s: *u8) -> i64
called by 2: pr_kvmain
18func gn(logfd: i64, v: i64) -> i64
called by 1: pr_kv
32func slen(s: *u8) -> i64
called by 1: main
37func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64
called by 1: main calls 2: gpgn
43func main() -> i64
calls 5: sys_openat_appendgpcf_detectslenpr_kv