code wiki / (root) / nx_release_delta_gate.nx

nx_release_delta_gate.nx

buildroot/runtime/nx_release_delta_gate.nx

15030 B220 linesdepth 7pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic release
docsdependenciesstructsconstsfunctions

about

nx_release_delta_gate.nx -- THE GATE for the release delta the review page renders (gameengine GE52, the ruler under gpe_release_block). In-process over nx_release_delta_lib on fixtures whose answers are known by construction: four accept rows (one from a non-operator, one superseding write), three referee rows, six board log rows straddling the verdict date in every kind, a cap-plus-one listing, the escape KAT and the civil-date ruler pin. Every value is printed beside its expectation (gv_check_eq) or named in the tooth. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_release_delta_lib.nx nx_release_delta_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_release_delta_lib.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ sys_mmap ↻ rg_row7 rg_put rd_op_latest sys_mmap ↻ rd_line_end rd_byte rd_byte ↻ cw_field cw_field_eq rd_subject_of sys_mmap ↻ cw_field ↻ rd_slice_eq rd_cmp_slice rd_byte ↻ rd_byte ↻ rd_find_subj rd_slice_eq ↻ rd_str

structs

none

consts

11const RG_CAP: i64 = 65536
12const RG_ROWCAP: i64 = 16384
14const RG_EP_0830: i64 = 1788130000 // 2026-08-30 22:46:40Z
15const RG_EP_0901: i64 = 1788220800 // 2026-09-01 00:00:00Z -- the SAME day as the verdict: excluded by the strict rule
16const RG_EP_0903: i64 = 1788400000 // 2026-09-03 01:46:40Z
17const RG_STAMP: i64 = 1788480000 // 2026-09-04 00:00:00Z
18const RG_OP_SUBJECTS: i64 = 2
19const RG_ALL_SUBJECTS: i64 = 3
20const RG_LAND_AFTER_0901: i64 = 1
21const RG_LAND_AFTER_0831: i64 = 2
22const RG_LAND_ALL: i64 = 3
23const RG_ONE: i64 = 1
24const RG_ZERO: i64 = 0
25const RG_PLANS_READ: i64 = 1
26const RG_PLANS_DECLARED: i64 = 3
27const RG_ESC_IN_LEN: i64 = 9

functions

29func rg_put(b: *u8, o: i64, c: i64) -> i64 { b[o] = c as u8; return o + 1 }
30func rg_row7(b: *u8, o0: i64, f0: *u8, f1: *u8, f2: *u8, f3: *u8, f4: *u8, f5: *u8, f6: *u8) -> i64
called by 1: main calls 1: rg_put
41func rg_row8(b: *u8, o0: i64, f0: *u8, f1: *u8, f2: *u8, f3: *u8, f4: *u8, f5: *u8, f6: *u8, f7: *u8) -> i64
called by 1: main calls 1: rg_put
54func rg_log(b: *u8, o0: i64, epoch: i64, rung: *u8, kind: *u8, text: *u8) -> i64
called by 1: main calls 1: rg_put
63func rg_has(b: *u8, n: i64, needle: *u8) -> i64
called by 1: main
76func rg_count_byte(b: *u8, n: i64, c: i64) -> i64
called by 1: main calls 1: rd_byte
82func rg_zero(c: *i64) -> i64 { var i: i64 = 0; while i < RD_COUNTS { c[i] = 0; i = i + 1 } return 0 }
called by 1: main
84func main() -> i64