code wiki / (root) / nx_campaign_gate.nx

nx_campaign_gate.nx

buildroot/runtime/nx_campaign_gate.nx

7379 B140 linesdepth 3pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_campaign_gate.nx -- REFEREE for WRITING rung W-CAMP-1 (nx_campaign). [T1] session/encounter counts on a 2-session, 3-encounter campaign. [T2] header + encounter-0 field extraction (whole-key parser on sub-ranges). [T3] validation: complete campaign -> 0 missing; header w/o quest + an encounter w/o kind/goal -> 3 missing (NEG-CONTROL). [T4] GM brief emit equals the expected string exactly. [T5] image-prompt seed emit equals the expected string exactly. [T6] CONTINUITY time tooth: sound timeline -> 0; time 3 then 2 -> 1 (NEG). [T7] CONTINUITY transit tooth: moves with transit -> 0; same location w/o transit -> 0 (no false positive); move w/o transit = TELEPORT -> 1 (NEG). [T8] whole-key: the word goal inside a value does NOT satisfy the goal key. Evidence -> stdout + knowledge/status/campaign_gate.log. Exit 0 GREEN / 1 RED. Sovereign x86_64. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls_x86_64.nx nx_campaign.nx nx_scenario.nx nx_campaign_gate.nx

imports: nx_syscalls_x86_64.nxnx_campaign.nxnx_scenario.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 slen pr_kv gp ↻ gn cg_count_sessions mg_count mg_line_is sc_next_line cg_count_encounters mg_count ↻ cg_header_end mg_line_is ↻ sc_next_line ↻ sc_copy_field sc_find_field sc_next_line ↻ sc_value_len pr_streq gp ↻ cg_streq cg_enc_start mg_line_is ↻ sc_next_line ↻ cg_enc_end sc_next_line ↻ mg_line_is ↻ cg_validate cg_header_end ↻ sc_has sc_find_field ↻ cg_count_encounters ↻ cg_enc_start ↻ cg_enc_end ↻ cg_emit_brief cg_enc_start ↻ cg_enc_end ↻ sc_app_lit

structs

none

consts

none

functions

20func gp(logfd: i64, s: *u8) -> i64
called by 3: pr_kvpr_streqmain
27func gn(logfd: i64, v: i64) -> i64
called by 1: pr_kv
45func slen(s: *u8) -> i64
called by 1: main
50func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64
called by 1: main calls 2: gpgn
58func pr_streq(logfd: i64, label: *u8, got: *u8, exp: *u8) -> i64
called by 1: main calls 2: gpcg_streq
66func main() -> i64