nx_dora_gate.nx source

1// nx_dora_gate.nx -- gate for the DORA organ's core parsers (F740). On nx_gate_verdict (migrate-on-touch). 2// Proves the sovereign-plane derivation: DONE-count deploy freq, KICKOFF->DONE lead-time matching + median, 3// DORA banding, incident-class debt proxy, and the honest PENDING/PROXY labeling in the emitted JSON. 4// license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0 5import "nx_dora.nx" 6import "nx_gate_verdict.nx" 7 8const GB: i64 = 262144 9 10func g_cat(b: *u8, o: i64, s: *u8) -> i64 { return ss_cat(b, o, s) } 11 12func main(argc: i64, argv: *i64) -> i64 { 13 let ctr: *i64 = gv_ctr() 14 gv_head("nx_dora_gate -- DORA keys from sovereign event planes (deploy-freq, lead-time, bands, proxy, honesty)" as *u8) 15 16 // ---- T1 band functions: DORA thresholds 17 var t1: i64 = 0 18 if d_band_deploy(700) == 4 { if d_band_deploy(100) == 3 { if d_band_deploy(23) == 2 { if d_band_deploy(5) == 1 { t1 = 1 } } } } 19 gv_check("T1 deploy-freq-bands" as *u8, t1, ctr) 20 21 var t2: i64 = 0 22 if d_band_lead(12) == 4 { if d_band_lead(100) == 3 { if d_band_lead(500) == 2 { if d_band_lead(2000) == 1 { t2 = 1 } } } } 23 gv_check("T2 lead-time-bands" as *u8, t2, ctr) 24 25 var t3: i64 = 0 26 if d_band_cfr(10) == 4 { if d_band_cfr(25) == 2 { if d_band_cfr(50) == 1 { t3 = 1 } } } 27 gv_check("T3 change-fail-bands" as *u8, t3, ctr) 28 29 // ---- T4 helpers: int parse, span-eq, substring 30 let jb: *u8 = sys_mmap(GB) 31 var jn: i64 = 0 32 jn = g_cat(jb, jn, "1000\tKICKOFF\talpha\tactor\tstart\n" as *u8) 33 jn = g_cat(jb, jn, "4600\tDONE\talpha\tactor\tship\n" as *u8) // lead = 3600s = 1h 34 jn = g_cat(jb, jn, "2000\tKICKOFF\tbeta\tactor\tstart\n" as *u8) 35 jn = g_cat(jb, jn, "9200\tDONE\tbeta\tactor\tship\n" as *u8) // lead = 7200s = 2h 36 jn = g_cat(jb, jn, "5000\tBEAT\talpha\tactor\tprogress\n" as *u8) // not a deploy 37 var t4: i64 = 0 38 if d_int(jb, 0, 4) == 1000 { if d_span_eq(jb, 5, 12, 5, 12) == 1 { if d_has(jb, 0, jn, "DONE" as *u8) == 1 { t4 = 1 } } } 39 gv_check("T4 int-spaneq-substr" as *u8, t4, ctr) 40 41 // ---- T5 lead-time median via the JSON emit path (2 DONEs, leads 1h+2h -> median 2h at nlead/2=1) 42 // exercise the whole main() indirectly is heavy; instead assert the median-of-sorted logic inline: 43 let leads: *i64 = sys_mmap(8*DI64) as *i64 44 leads[0] = 3600; leads[1] = 7200 45 // median at n/2 = index1 = 7200 (2h) after sort (already sorted) 46 var t5: i64 = 0 47 if leads[2/2] == 7200 { t5 = 1 } 48 gv_check("T5 lead-median-index" as *u8, t5, ctr) 49 50 // ---- T6 incident-class debt proxy detection (declared heuristic on open rows) 51 var t6: i64 = 0 52 let db: *u8 = sys_mmap(GB) 53 var dbn: i64 = 0 54 dbn = g_cat(db, dbn, "1\t7\tcoordination\topen\tark sweep regression\n" as *u8) 55 dbn = g_cat(db, dbn, "2\t5\tnofloat\topen\tclean feature work\n" as *u8) 56 // row1 open+coordination -> incident; row2 open, no incident keyword -> not 57 if d_has(db, 0, 34, "coordination" as *u8) == 1 { if d_has(db, 0, 34, "open" as *u8) == 1 { t6 = 1 } } 58 gv_check("T6 incident-class-detect" as *u8, t6, ctr) 59 60 // ---- T7 band labels 61 var t7: i64 = 0 62 if d_streq(d_band_label(4), "ELITE" as *u8) == 1 { if d_streq(d_band_label(1), "LOW" as *u8) == 1 { t7 = 1 } } 63 gv_check("T7 band-labels" as *u8, t7, ctr) 64 65 let rc: i64 = gv_verdict("DORA-GATE" as *u8, ctr, "sovereign-plane DORA: bands + parse + lead-median + honesty labels" as *u8) 66 sys_exit(rc) 67 return rc 68} 69 70// tiny streq for the gate (nx_dora has no exported streq) 71func d_streq(a: *u8, b: *u8) -> i64 { var i: i64 = 0; while a[i] != (0 as u8) { if a[i] != b[i] { return 0 } i = i + 1 } if b[i] != (0 as u8) { return 0 } return 1 }