code wiki / _hdl_build / nx_train_triage_sweep_gate.nx

nx_train_triage_sweep_gate.nx

buildroot/runtime/_hdl_build/nx_train_triage_sweep_gate.nx

6419 B131 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic train

docs dependencies structs consts functions

about

nx_train_triage_sweep_gate.nx -- ENGINEER's gate for the sweep organ. Proves on scratch lanes (argv overrides, never the durable logs): R1 first sweep escalates ONLY the sick report; R2 second sweep escalates NOTHING (idempotent, law 10); R3 a verdict CHANGE escalates exactly once more; R4 a BROKEN report turns the sweep exit nonzero (loud). license_tier: ORIGINAL

dependencies 1 imports · 0 importers

imports: nx_train_triage.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

structs

none

consts

none

functions

8	func tsg_wreport(path: u8, preds: i64, right: i64, total: i64, losses: *i64, nloss: i64) -> i64 called by 1: main calls 3: sys_openat_wr tt_w tt_wn
38	func tsg_run(conf: u8, tlog: u8, pmlog: *u8) -> i64 called by 1: main calls 5: sys_fork sys_openat_wr sys_dup3 sys_execve sys_wait4
54	func tsg_count(path: u8, marker: u8) -> i64 called by 1: main calls 2: sys_read_file tt_match
67	func tsg_row(label: u8, got: i64, want: i64, failp: i64) -> i64 called by 1: main calls 2: tt_w tt_wn
75	func main() -> i64 calls 7: tt_w tsg_wreport sys_openat_wr tsg_run tsg_row tsg_count+1