code wiki / _hdl_build / nx_galx_compact.nx
`nx_galx_compact.nx` source

1// nx_galx_compact.nx -- one-shot driver: fold the galx-prod store's many one-seg-per-image segments
2// into ONE via the cap-aware ss_compact_cap (LM-028), so /img dedup + browse stop re-reading thousands
3// of seg files per lookup (O(n)->O(1) file opens). Sovereign; the gate _ss_compact_cap_gate proves the
4// merge is loss-free incl. segments past the 256th. Usage: nx_galx_compact <segid>  (segid = a unique
5// high id for the merged segment, e.g. 9000001; must not collide with an existing seg-<id>). The pre-
6// compaction live manifest is preserved at galx-prod-manifest.txt.bak.precompact and every retired
7// segment file stays on disk + is named in galx-prod-manifest-archive.txt = fully reversible.
8// license_tier: ORIGINAL
9import "nx_seg_store.nx"
10import "nx_syscalls.nx"
11const K_MAGIC_8192: i64 = 8192
12
13func cp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
14func cn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m; sys_write(1,"-" as *u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(1,bb,k); return 0 }
15func c_atoi(s: *u8) -> i64 { var v: i64=0; var i: i64=0; while s[i]!=(0 as u8){ if s[i]>=(48 as u8){ if s[i]<=(57 as u8){ v=v*10+((s[i]-(48 as u8)) as i64) } } i=i+1 } return v }
16
17func main(argc: i64, argv: *i64) -> i64 {
18    if argc < 2 { cp("usage: nx_galx_compact <segid>\n" as *u8); sys_exit(2); return 2 }
19    let segid: i64 = c_atoi(argv[1] as *u8)
20    let prefix: *u8 = "knowledge/store/galx-prod-" as *u8
21
22    let segs: *i64 = sys_mmap(8 * K_MAGIC_8192) as *i64
23    let before: i64 = ss_manifest_cap(prefix, segs, K_MAGIC_8192)
24    cp("COMPACT galx-prod: live_segs_before=" as *u8); cn(before); cp(" segid=" as *u8); cn(segid); cp("\n" as *u8)
25
26    let rc: i64 = ss_compact_cap(prefix, segid, K_MAGIC_8192)
27    if rc <= 0 { cp("COMPACT FAILED rc=" as *u8); cn(rc); cp(" (live store untouched -- fail-before-swap)\n" as *u8); sys_exit(1); return 1 }
28
29    let segs2: *i64 = sys_mmap(8 * K_MAGIC_8192) as *i64
30    let after: i64 = ss_manifest_cap(prefix, segs2, K_MAGIC_8192)
31    cp("COMPACT DONE rc=" as *u8); cn(rc); cp(" live_segs_after=" as *u8); cn(after); cp("\n" as *u8)
32    sys_exit(0)
33    return 0
34}
nx_galx_compact.nx source

`nx_galx_compact.nx` source
