code wiki / (root) / nx_conflict_owned_gate.nx

nx_conflict_owned_gate.nx

buildroot/runtime/nx_conflict_owned_gate.nx

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

about

nx_conflict_owned_gate.nx -- REFEREE for cf_detect_owned (per-character conflicts). [T1] SAME character contradicts: "Mira faced forward. Mira faced backward." -> 1 [T2] DIFFERENT characters: "Mira faced forward. Dev faced backward." -> 0 (the fix) [T3] UNOWNED (no character named near terms) -> 0 (honest: per-char pass skips it) Sovereign x86_64. Exit 0/1. -> knowledge/status/conflict_owned_gate.log

dependencies 2 imports · 0 importers

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

9func gp(logfd: i64, s: *u8) -> i64
called by 2: pr_kvmain
16func gn(logfd: i64, v: i64) -> i64
called by 1: pr_kv
30func slen(s: *u8) -> i64
called by 1: main
35func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64
called by 1: main calls 2: gpgn
41func main() -> i64
calls 5: sys_openat_appendgpcf_detect_ownedslenpr_kv