code wiki / (root) / nx_convo_gate.nx

nx_convo_gate.nx

buildroot/runtime/nx_convo_gate.nx

5822 B119 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_convo_gate.nx -- REFEREE for WRITING rung W-CONVO-1 (nx_convo). [T1] KEEP TOPICS GOING: picks the least-recently-used eligible topic, and after it is marked used the NEXT call picks a different one (no immediate repeat). [T2] difficulty eligibility: a too-hard topic is skipped even when it is the least recently used (NEG-CONTROL); widening the window admits it. [T3] RESPECT-GATE (anti-manipulation): high-confidence + low-respect attempt is DISQUALIFIED (-1); a respectful attempt scores; raising respect flips it. [T4] ADAPTIVE DIFFICULTY: up on strong score (capped), down on weak (floored), unchanged in between. Evidence -> stdout + knowledge/status/convo_gate.log. Exit 0 GREEN / 1 RED. Sovereign x86_64. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_convo.nx nx_convo_gate.nx

imports: nx_syscalls_x86_64.nxnx_convo.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 cv_next_topic pr_kv gp ↻ gn pr_cond gp ↻ cv_rubric cv_level_adjust

structs

none

consts

none

functions

17func gp(logfd: i64, s: *u8) -> i64
called by 3: pr_kvpr_condmain
24func gn(logfd: i64, v: i64) -> i64
called by 1: pr_kv
42func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64
called by 1: main calls 2: gpgn
50func pr_cond(logfd: i64, label: *u8, cond: i64) -> i64
called by 1: main calls 1: gp
57func main() -> i64