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

1import "nx_gate_gn.nx"
2import "nx_gate_base.nx"
3// nx_janitor_sweep_gate.nx -- proves the janitor's AT-SCALE sweep migrates a whole zone's format-debt safely.
4//   T1 SWEEP       : sweeping knowledge/registry/ finds format files and migrates them (mig>=1, all byte-verified).
5//   T2 RETIRE-READY: at least one file is byte-verified in a store (ver>=1) = safe to retire when readers switch.
6//   T3 NEVER-BRICK : a swept source (nishi_raci.tsv) is STILL THERE afterward (additive, no delete/overwrite).
7//   T4 HONEST      : sweeping a non-existent dir finds 0 (no fake work).
8//   T5 EXT TEETH   : jsw_is_format discriminates a format ext from a sovereign one.
9// expect_exit: 0   license_tier: ORIGINAL
10import "nx_janitor_sweep.nx"
11import "nx_syscalls.nx"
12
13func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw("  PASS " as *u8) } else { gw("  FAIL " as *u8) } gw(name); gw("
14" as *u8); return ok }
15
16func main() -> i64 {
17    gw("=== nx_janitor_sweep_gate: does the janitor SWEEP a zone's format-debt into the store, safely? ===\n" as *u8)
18    var pass: i64=0; var total: i64=0
19    let seen: *i64=sys_mmap(16) as *i64; let mig: *i64=sys_mmap(16) as *i64; let ver: *i64=sys_mmap(16) as *i64
20
21    // T1 SWEEP knowledge/registry/
22    jan_sweep("knowledge/registry\x00" as *u8, seen, mig, ver)
23    gw("  swept knowledge/registry/: format_files=\x00" as *u8); gn(seen[0]); gw(" migrated=\x00" as *u8); gn(mig[0]); gw(" byte-verified=\x00" as *u8); gn(ver[0]); gw("\n" as *u8)
24    total=total+1; if mig[0]>=1 { if ver[0]==mig[0] { pass=pass+1; gw("  [PASS] " as *u8) } else { gw("  [FAIL] " as *u8) } } else { gw("  [FAIL] " as *u8) }
25    gw("T1 SWEEP: >=1 format file migrated, every migrated one byte-verified\n" as *u8)
26
27    // T2 RETIRE-READY
28    total=total+1; if ver[0]>=1 { pass=pass+1; gw("  [PASS] " as *u8) } else { gw("  [FAIL] " as *u8) }
29    gw("T2 RETIRE-READY: \x00" as *u8); gn(ver[0]); gw(" file(s) byte-verified in the store = safe to retire once readers switch\n" as *u8)
30
31    // T3 NEVER-BRICK: a swept source still exists
32    let alive: i64=jan_exists("knowledge/registry/nishi_raci.tsv\x00" as *u8)
33    total=total+1; if alive==1 { pass=pass+1; gw("  [PASS] " as *u8) } else { gw("  [FAIL] " as *u8) }
34    gw("T3 NEVER-BRICK: swept source nishi_raci.tsv INTACT(\x00" as *u8); gn(alive); gw(") = additive, no delete/overwrite\n" as *u8)
35
36    // T4 HONEST: non-existent dir
37    let seen2: *i64=sys_mmap(16) as *i64; let mig2: *i64=sys_mmap(16) as *i64; let ver2: *i64=sys_mmap(16) as *i64
38    jan_sweep("knowledge/__no_such_dir__\x00" as *u8, seen2, mig2, ver2)
39    total=total+1; if seen2[0]==0 { pass=pass+1; gw("  [PASS] " as *u8) } else { gw("  [FAIL] " as *u8) }
40    gw("T4 HONEST: sweep(non-existent dir) found \x00" as *u8); gn(seen2[0]); gw(" (no fake work)\n" as *u8)
41
42    // T5 EXT TEETH
43    let f1: i64=jsw_is_format("x.tsv\x00" as *u8); let f2: i64=jsw_is_format("x.json\x00" as *u8); let f0: i64=jsw_is_format("x.nx\x00" as *u8)
44    total=total+1; if f1==1 { if f2==1 { if f0==0 { pass=pass+1; gw("  [PASS] " as *u8) } else { gw("  [FAIL] " as *u8) } } else { gw("  [FAIL] " as *u8) } } else { gw("  [FAIL] " as *u8) }
45    gw("T5 EXT TEETH: .tsv format(\x00" as *u8); gn(f1); gw(") .json format(\x00" as *u8); gn(f2); gw(") .nx sovereign(\x00" as *u8); gn(f0); gw(")\n" as *u8)
46
47    gw("\n=== nx_janitor_sweep_gate \x00" as *u8); gn(pass); gw("/\x00" as *u8); gn(total)
48    if pass==total { gw("  GREEN -- the janitor SWEEPS a zone's format-debt into the sovereign store byte-verified, originals intact (retire-ready). Run per debt-heavy dir; retire (the count-drop) stays operator-gated for human-edited sources.\n" as *u8); sys_exit(0); return 0 }
49    gw("  RED\n" as *u8); sys_exit(1); return 1
50}
nx_janitor_sweep_gate.nx source

`nx_janitor_sweep_gate.nx` source
