code wiki / (root) / nx_compare_release_render_gate.nx

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 &lt;script&gt; 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}