nx_dr_conductor_gate.nx source
↩ module page · 81 lines · 3296 B
1// nx_dr_conductor_gate.nx -- KAT + neg-control for the Co-Scientist conductor (DR-4).
2// Proves the composed pipeline verify-yield -> Elo tournament -> opp-cost dispatch across 4
3// research vectors, including the KEY composition result (the highest-QUALITY vector is not
4// the best VALUE once cost is priced in) and the NEG-CONTROL (a zero-support vector loses the
5// tournament, gets zero priority, is ranked LAST, and is never selected). DRY nx_gate_verdict.
6import "nx_dr_conductor.nx"
7import "nx_gate_verdict.nx"
8
9func main() -> i64 {
10 let ctr: *i64 = gv_ctr()
11 gv_head("nx_dr_conductor -- Co-Scientist conductor: verify->tournament->dispatch (DR-4)")
12
13 let n: i64 = 4
14 let sup: *i64 = sys_mmap(4 * 8) as *i64
15 let tot: *i64 = sys_mmap(4 * 8) as *i64
16 let cost: *i64 = sys_mmap(4 * 8) as *i64
17 sup[0]=8; tot[0]=10; cost[0]=3 // q800 cost3
18 sup[1]=2; tot[1]=10; cost[1]=2 // q200 cost2
19 sup[2]=9; tot[2]=10; cost[2]=5 // q900 cost5 (best quality, priciest)
20 sup[3]=0; tot[3]=10; cost[3]=1 // q0 cost1 (zero support)
21
22 // packed output buffer: (5n+1) i64
23 let out: *i64 = sys_mmap((5 * 4 + 1) * 8) as *i64
24 let cnt: i64 = cond_run(sup, tot, cost, n, 8, out)
25 let ql: *i64 = out
26 let rt: *i64 = ((out as i64) + n * 8) as *i64
27 let pr: *i64 = ((out as i64) + n * 16) as *i64
28 let ord: *i64 = ((out as i64) + n * 24) as *i64
29 let sel: *i64 = ((out as i64) + n * 32) as *i64
30 let spent: *i64 = ((out as i64) + n * 40) as *i64
31
32 // T1 verify-yield quality
33 var ok1: i64 = 0
34 if ql[0] == 800 { if ql[3] == 0 { ok1 = 1 } }
35 gv_check("T1 verify-yield quality 800 and 0", ok1, ctr)
36
37 // T2/T3/T4 tournament ordering by quality (v2 > v0 > v1 > v3)
38 var ok2: i64 = 0
39 if rt[2] > rt[0] { ok2 = 1 }
40 gv_check("T2 tournament vec2 outrates vec0", ok2, ctr)
41 var ok3: i64 = 0
42 if rt[0] > rt[1] { ok3 = 1 }
43 gv_check("T3 tournament vec0 outrates vec1", ok3, ctr)
44 var ok4: i64 = 0
45 if rt[1] > rt[3] { ok4 = 1 }
46 gv_check("T4 zero-support vec3 lowest Elo", ok4, ctr)
47
48 // T5 OPP-COST composition: best VALUE (vec0) leads, NOT best QUALITY (vec2)
49 var ok5: i64 = 0
50 if ord[0] == 0 { ok5 = 1 }
51 gv_check("T5 opp-cost leads vec0 not highest-quality vec2", ok5, ctr)
52
53 // T6 NEG-CONTROL: zero-support vec3 ranked LAST
54 var ok6: i64 = 0
55 if ord[3] == 3 { ok6 = 1 }
56 gv_check("T6 neg-control zero-support ranked last", ok6, ctr)
57
58 // T7 zero momentum -> zero priority
59 var ok7: i64 = 0
60 if pr[3] == 0 { ok7 = 1 }
61 gv_check("T7 zero-support priority = 0", ok7, ctr)
62
63 // T8 budget dispatch selects 2, spends exactly 8
64 var ok8: i64 = 0
65 if cnt == 2 { if spent[0] == 8 { ok8 = 1 } }
66 gv_check("T8 dispatch selects 2 spends 8", ok8, ctr)
67
68 // T9 value winner selected, zero-support never selected
69 var ok9: i64 = 0
70 if sel[0] == 1 { if sel[3] == 0 { ok9 = 1 } }
71 gv_check("T9 value-winner selected zero-support not", ok9, ctr)
72
73 // T10 composition integrity: never overspends
74 var ok10: i64 = 0
75 if spent[0] <= 8 { ok10 = 1 }
76 gv_check("T10 never overspends budget", ok10, ctr)
77
78 let rc: i64 = gv_verdict("DR-CONDUCTOR", ctr, "verify->Elo-tournament->opp-cost-dispatch composed, neg-control")
79 sys_exit(rc)
80 return rc
81}