code wiki / (root) / nx_temporal_index_gate.nx

nx_temporal_index_gate.nx

buildroot/runtime/nx_temporal_index_gate.nx

3924 B56 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_temporal_index_gate.nx -- GREEN/RED gate for nx_temporal_index. Synthetic captures of www.page3.com/ at three dates (+ a /news page + a megastar.co.uk page), asserting ti_query returns the page AS IT EXISTED on a target date (most-recent-at-or-before = Wayback "as-of"), exact-date hits, before-all -> earliest, key isolation (no prefix bleed), and no false match for an unknown host. Sovereign, deterministic, no network. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_temporal_index.nx nx_temporal_index_gate.nx

imports: nx_temporal_index.nx

imported by: nobody (leaf or entry point)

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

main gw ti_query ti_keq gn

structs

none

consts

none

functions

7func gw(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 1: main
8func gn(v: i64) -> i64 { if v==0 { sys_write(1,"0" as *u8,1); return 0 } var m: i64=v; if m<0 { sys_write(1,"-" as *u8,1); m=0-m } let t: *u8=sys_mmap(24); var k: i64=0; while m>0 { t[k]=(48+(m%10)) as u8; m=m/10; k=k+1 } let o: *u8=sys_mmap(24); var w: i64=0; var q: i64=k-1; while q>=0 { o[w]=t[q]; w=w+1; q=q-1 } sys_write(1,o,w); return 0 }
called by 1: main
10func main() -> i64
calls 3: gwti_querygn