nx_sol_gate.nx

buildroot/runtime/nx_sol_gate.nx

6698 B115 linesdepth 7pulls 13 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_sol_gate.nx -- STATUTE OF LIMITATIONS GATE. Proves exact proleptic-Gregorian day numbers (epoch, pre-epoch, a 30-year span with its 7 leap days), leap-year classification at the 4/100/400 boundaries, Feb-29 -> Feb-28 clamping on year addition, the OPEN/EXPIRED boundary (a claim may be filed ON the deadline day), tolling that pushes the deadline out by exactly the tolled days, the discovery rule, and the fail-closed refusals (no accrual / zero period / negative toll -> SOL_UNKNOWN -> UNDETERMINED). Every date hand-verified. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

imports: nx_sol_lib.nxnx_matter_lib.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

11	func sg_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } called by 3: sg_ck sg_ckstr main
12	func sg_putn(v: i64) -> i64 called by 2: sg_ck main
26	func sg_ck(cnt: i64, name: u8, got: i64, want: i64) -> i64 called by 1: main calls 2: sg_puts sg_putn
37	func sg_ckstr(cnt: i64, name: u8, got: u8, want: u8) -> i64 called by 1: main calls 2: mt_streq sg_puts
48	func main(argc: i64, argv: *i64) -> i64 calls 12: sg_puts sg_ck sol_days_from_civil sol_is_leap sol_add_years_civil sol_deadline_years+6