nx_dora_evidence_gate_t138.nx source
↩ module page · 38 lines · 3598 B
1// Private regression gate: existing owner functions, real file reader, no production writes.
2import "_hdl_build/nx_dora_evidence_t138.nx"
3import "nx_gate_verdict.nx"
4func main(argc: i64, argv: *i64) -> i64 {
5 let ctr: *i64 = gv_ctr()
6 let plan: *i64 = gv_plan_new("missing-read-is-negative\nmissing-shipjoin-refused\nreal-file-complete-readable\ncomplete-evidence-valid\nread-cap-is-not-complete\nmissing-is-not-zero\nempty-is-unavailable\nmalformed-or-table-capped-unmeasured\ncomment-only-unmeasured\nmissing-lead-cannot-be-elite\nmissing-debt-cannot-be-elite\nzero-denominator-cannot-be-elite\nzero-span-cannot-be-elite\nmeasured-zero-duration-remains-valid\nvalid-historical-band-preserved\nunknown-html-renders-dash\nunknown-band-labeled\navailable-label-explicitly-proxy\n" as *u8)
7 gv_head("nx_dora_evidence_gate_t138 -- missing and partial evidence" as *u8)
8 let b: *u8 = sys_mmap(4096)
9 let missing: *u8 = "/tmp/nx_dora_evidence_t138_missing_input.jrnl" as *u8
10 let fixture: *u8 = "/tmp/nx_dora_evidence_t138_read_fixture.jrnl" as *u8
11 ss_writefile(fixture, "1000\tKICKOFF\talpha\n4600\tDONE\talpha\n" as *u8, 35)
12 let n: i64 = d_read(fixture, b, 4096)
13 gv_plan_check(plan, "missing-read-is-negative" as *u8, (d_read(missing, b, 4096) < 0) as i64, ctr)
14 gv_plan_check(plan, "missing-shipjoin-refused" as *u8, (d_ship_join(missing, 7) == 3) as i64, ctr)
15 gv_plan_check(plan, "real-file-complete-readable" as *u8, (n == 35) as i64, ctr)
16 gv_plan_check(plan, "complete-evidence-valid" as *u8, (d_evidence_ok(n, 4096, 2, 0) == 1) as i64, ctr)
17 gv_plan_check(plan, "read-cap-is-not-complete" as *u8, (d_evidence_ok(d_read(fixture, b, 8), 8, 1, 0) == 0) as i64, ctr)
18 gv_plan_check(plan, "missing-is-not-zero" as *u8, (d_evidence_ok(0 - 1, 4096, 0, 0) == 0) as i64, ctr)
19 gv_plan_check(plan, "empty-is-unavailable" as *u8, (d_evidence_ok(0, 4096, 0, 0) == 0) as i64, ctr)
20 gv_plan_check(plan, "malformed-or-table-capped-unmeasured" as *u8, (d_evidence_ok(35, 4096, 2, 1) == 0) as i64, ctr)
21 gv_plan_check(plan, "comment-only-unmeasured" as *u8, (d_evidence_ok(35, 4096, 0, 0) == 0) as i64, ctr)
22 gv_plan_check(plan, "missing-lead-cannot-be-elite" as *u8, (d_evidence_band(d_band_lead(0), 1, 0) == 0) as i64, ctr)
23 gv_plan_check(plan, "missing-debt-cannot-be-elite" as *u8, (d_evidence_band(d_band_cfr(0), 0, 2) == 0) as i64, ctr)
24 gv_plan_check(plan, "zero-denominator-cannot-be-elite" as *u8, (d_evidence_band(d_band_cfr(0), 1, 0) == 0) as i64, ctr)
25 gv_plan_check(plan, "zero-span-cannot-be-elite" as *u8, (d_evidence_band(d_band_deploy(60480000), 1, 0) == 0) as i64, ctr)
26 gv_plan_check(plan, "measured-zero-duration-remains-valid" as *u8, (d_evidence_band(d_band_lead(0), 1, 1) == 4) as i64, ctr)
27 gv_plan_check(plan, "valid-historical-band-preserved" as *u8, (d_evidence_band(d_band_deploy(100), 1, 2) == 3) as i64, ctr)
28 let o: i64 = d_evidence_value(b, 0, 0, 0)
29 let label: *u8 = d_band_label(0)
30 let state: *u8 = d_evidence_state(1, 1)
31 gv_plan_check(plan, "unknown-html-renders-dash" as *u8, (d_sj_eq(b, 0, o, "—" as *u8) == 1) as i64, ctr)
32 gv_plan_check(plan, "unknown-band-labeled" as *u8, (d_sj_eq(label, 0, d_len(label), "UNMEASURED" as *u8) == 1) as i64, ctr)
33 gv_plan_check(plan, "available-label-explicitly-proxy" as *u8, (d_sj_eq(state, 0, d_len(state), "AVAILABLE_PROXY" as *u8) == 1) as i64, ctr)
34 gv_plan_finish(plan, ctr)
35 let rc: i64 = gv_verdict("DORA-EVIDENCE-GATE" as *u8, ctr, "production reader and validity guards exercised" as *u8)
36 sys_exit(rc)
37 return rc
38}