nx_compare_release_render_gate.nx source
↩ module page · 62 lines · 5795 B
1// Pure selection fixtures; rendering and regeneration require separate live witnesses.
2import "nx_gate_verdict.nx"
3import "nx_swcompare_release_candidate.nx"
4import "nx_tool_run.nx"
5func crg_render(self: *u8, fixture: *u8, out: *u8, len: *i64) -> i64 {
6 let args: *i64 = sys_mmap(32) as *i64
7 args[0] = self as i64; args[1] = "--render" as i64; args[2] = fixture as i64; args[3] = 0
8 return tr_run_capture(self, args, out, 16384, len)
9}
10func main(argc: i64, argv: *i64) -> i64 {
11 if argc == 3 { if streq(argv[1] as *u8, "--render" as *u8) == 1 {
12 plan_pass(argv[2] as *u8, 0 as *u8, 0, 1)
13 return 0
14 } }
15 let ctr: *i64 = gv_ctr()
16 gv_head("compare release -- chronological recorded land selection" as *u8)
17 gv_check_eq("valid epoch" as *u8, swl_release_candidate("1788800000" as *u8, "land" as *u8, "Changed" as *u8, 0, 1788900000), 1788800000, ctr)
18 gv_check_eq("older late append" as *u8, swl_release_candidate("1788700000" as *u8, "land" as *u8, "Old" as *u8, 1788800000, 1788900000), 0, ctr)
19 gv_check_eq("newer out of order" as *u8, swl_release_candidate("1788900000" as *u8, "land" as *u8, "New" as *u8, 1788800000, 1788900000), 1788900000, ctr)
20 gv_check_eq("same epoch correction" as *u8, swl_release_candidate("1788800000" as *u8, "land" as *u8, "Corrected" as *u8, 1788800000, 1788900000), 1788800000, ctr)
21 gv_check_eq("queue not release" as *u8, swl_release_candidate("1788900000" as *u8, "queue" as *u8, "Queued" as *u8, 0, 1788900000), 0, ctr)
22 gv_check_eq("measurement not release" as *u8, swl_release_candidate("1788900000" as *u8, "measure" as *u8, "Measured" as *u8, 0, 1788900000), 0, ctr)
23 gv_check_eq("retraction not release" as *u8, swl_release_candidate("1788900000" as *u8, "retract" as *u8, "Retracted" as *u8, 0, 1788900000), 0, ctr)
24 gv_check_eq("empty epoch" as *u8, swl_release_candidate("" as *u8, "land" as *u8, "Changed" as *u8, 0, 1788900000), 0, ctr)
25 gv_check_eq("nondecimal epoch" as *u8, swl_release_candidate("1788x80000" as *u8, "land" as *u8, "Changed" as *u8, 0, 1788900000), 0, ctr)
26 gv_check_eq("negative epoch" as *u8, swl_release_candidate("-1" as *u8, "land" as *u8, "Changed" as *u8, 0, 1788900000), 0, ctr)
27 gv_check_eq("zero epoch" as *u8, swl_release_candidate("0" as *u8, "land" as *u8, "Changed" as *u8, 0, 1788900000), 0, ctr)
28 gv_check_eq("overflow epoch" as *u8, swl_release_candidate("9223372036854775808" as *u8, "land" as *u8, "Changed" as *u8, 0, 1788900000), 0, ctr)
29 gv_check_eq("empty summary" as *u8, swl_release_candidate("1788800000" as *u8, "land" as *u8, "" as *u8, 0, 1788900000), 0, ctr)
30 gv_check_eq("null epoch" as *u8, swl_release_epoch(0 as *u8), 0, ctr)
31 gv_check_eq("null kind" as *u8, swl_release_candidate("1788800000" as *u8, 0 as *u8, "x" as *u8, 0, 1788900000), 0, ctr)
32 gv_check_eq("null entry" as *u8, swl_release_candidate("1788800000" as *u8, "land" as *u8, 0 as *u8, 0, 1788900000), 0, ctr)
33 gv_check_eq("future timestamp refused" as *u8, swl_release_candidate("1788900001" as *u8, "land" as *u8, "future" as *u8, 0, 1788900000), 0, ctr)
34 let output: *u8 = sys_mmap(16384)
35 let length: *i64 = sys_mmap(16) as *i64
36 let render_rc: i64 = crg_render(argv[0] as *u8, "buildroot/knowledge/compare/release_gate_fixture.plan" as *u8, output, length)
37 gv_check_eq("render exits successfully" as *u8, render_rc, 0, ctr)
38 gv_check_eq("render latest dated release" as *u8, tr_contains(output, length[0], "LATEST <script> safe" as *u8), 1, ctr)
39 gv_check_eq("render does not select older append" as *u8, tr_contains(output, length[0], "OLDER_RELEASE" as *u8), 0, ctr)
40 gv_check_eq("render does not select future record" as *u8, tr_contains(output, length[0], "FUTURE_RELEASE" as *u8), 0, ctr)
41 gv_check_eq("render does not select queue record" as *u8, tr_contains(output, length[0], "QUEUED_RELEASE" as *u8), 0, ctr)
42 gv_check_eq("render UTC date matches independent oracle" as *u8, tr_contains(output, length[0], "2026-09-07" as *u8), 1, ctr)
43 gv_check_eq("render preserves selected rung pointer" as *u8, tr_contains(output, length[0], "R_SELECTED" as *u8), 1, ctr)
44 gv_check_eq("render links existing worklog" as *u8, tr_contains(output, length[0], "href='#worklog'" as *u8), 1, ctr)
45 gv_check_eq("render keeps representative goal" as *u8, tr_contains(output, length[0], "Where we need to go." as *u8), 1, ctr)
46 w(1, "--- representative rendered plan ---\n" as *u8); sys_write(1, output, length[0]); w(1, "\n--- end rendered plan ---\n" as *u8)
47 let empty_rc: i64 = crg_render(argv[0] as *u8, "buildroot/knowledge/compare/release_gate_empty.plan" as *u8, output, length)
48 gv_check_eq("empty release render exits" as *u8, empty_rc, 0, ctr)
49 gv_check_eq("empty release explicitly unrecorded" as *u8, tr_contains(output, length[0], "No valid dated release entry" as *u8), 1, ctr)
50 let actual_rc: i64 = crg_render(argv[0] as *u8, "buildroot/knowledge/compare/deploy.plan" as *u8, output, length)
51 gv_check_eq("real deploy plan render exits" as *u8, actual_rc, 0, ctr)
52 gv_check_eq("real deployed publication summary visible" as *u8, tr_contains(output, length[0], "Scoped compare publication released" as *u8), 1, ctr)
53 w(1, "--- actual deploy plan release view ---\n" as *u8); sys_write(1, output, length[0]); w(1, "\n--- end actual deploy view ---\n" as *u8)
54 let date: *u8 = sys_mmap(32)
55 let date_len: i64 = bd_ymd(SWL_RELEASE_I64_MAX, date, 0)
56 var date_ok: i64 = 0
57 if date_len > 0 { if date_len < 32 { date_ok = 1 } }
58 gv_check_eq("max epoch date bounded" as *u8, date_ok, 1, ctr)
59 let rc: i64 = gv_verdict("COMPARE-RELEASE", ctr, "selection fixtures only; no claim of live publication or visual quality" as *u8)
60 sys_exit(rc)
61 return rc
62}