code wiki / _hdl_build / nx_pub_recover_pulse_gate.nx

nx_pub_recover_pulse_gate.nx

buildroot/runtime/_hdl_build/nx_pub_recover_pulse_gate.nx

6217 B100 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic pub
docsdependenciesstructsconstsfunctions

about

nx_pub_recover_pulse_gate.nx -- SOVEREIGN gate for the Publisher self-healing pulse (full chain end-to-end). Proves metrics -> data-driven map -> DECIDE -> EXECUTE -> a REAL daemon dies. Spawns nx_pr_mock, maps a test URL to it, and: T1 NEG-CONTROL healthy metrics -> 0 recoveries + mock ALIVE; T2 WEDGED metrics -> 1 recovery; T3 mock KILLED; T4 ledgered. Per-run /tmp files. Build /tmp/nx_pr_mock.sov.elf first. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_pub_recover_pulse.nx nx_pub_recover_pulse_gate.nx

imports: nx_syscalls.nxnx_pub_recover_pulse.nx

imported by: nobody (leaf or entry point)

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

main sys_fork sys_mmap sys_execve sys_exit gp_sleep_ms sys_mmap ↻ pr_s gp_write sys_openat_wr sys_write sys_close gp_uw sys_write ↻ gp_row pr_s ↻ pulse_pass pp_decide sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close ↻ pr_field pp_strlen pp_map_lookup sys_mmap ↻ sys_read_file ↻ pr_field ↻ pp_recent_recoveries sys_mmap ↻ sys_read_file ↻ pr_field ↻ fl_acquire fl_try fl_mkdir sys_mmap ↻ fl_path

structs

none

consts

8const GP_MET: *u8 = "/tmp/pp_test_metrics.tsv"
9const GP_Q: *u8 = "/tmp/pp_test_queue.tsv"
10const GP_LED: *u8 = "/tmp/pp_test_ledger.tsv"
11const GP_MAP: *u8 = "/tmp/pp_test_map.tsv"
12const GP_MOCK: *u8 = "/tmp/nx_pr_mock.sov.elf"
13const GP_NEEDLE: *u8 = "nx_pr_mock"

functions

15func gp_uw(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 calls 1: sys_write
16func gp_wn(v: i64) -> i64 { let b: *u8=sys_mmap(24); let e: i64=pr_n(b,0,v); sys_write(1,b,e); return 0 }
called by 1: main calls 2: sys_mmapsys_write
17func gp_sleep_ms(ms: i64) -> i64 { let ts: *i64=sys_mmap(16) as *i64; ts[0]=ms/1000; ts[1]=(ms-(ms/1000)*1000)*1000000; __syscall(35, ts as i64, 0,0,0,0,0); return 0 }
called by 1: main calls 1: sys_mmap
18func gp_write(path: *u8, buf: *u8, len: i64) -> i64 { let fd: i64=sys_openat_wr(path, 0x1a4); if fd<0 {return 0-1} if len>0 { sys_write(fd, buf, len) } sys_close(fd); return 0 }
called by 1: main calls 3: sys_openat_wrsys_writesys_close
20func gp_row(buf: *u8, off: i64, url: *u8, maxv: i64) -> i64
called by 1: main calls 1: pr_s
38func main(argc: i64, argv: *i64) -> i64
calls 14: sys_forksys_mmapsys_execvesys_exitgp_sleep_mspr_s+8