code wiki / _hdl_build / nx_pub_recover_pulsed_gate.nx

nx_pub_recover_pulsed_gate.nx

buildroot/runtime/_hdl_build/nx_pub_recover_pulsed_gate.nx

3641 B64 linesdepth 7pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic pub

docs dependencies structs consts functions

about

nx_pub_recover_pulsed_gate.nx -- gate the CADENCE daemon: pulsed_run loops N cycles, each running a real pulse_pass, and heals a real wedged mock within the cycles. Proves the runnable service form. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_pub_recover_pulsed.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

6	const QG_MET: *u8 = "/tmp/pd_test_metrics.tsv"
7	const QG_Q: *u8 = "/tmp/pd_test_queue.tsv"
8	const QG_LED: *u8 = "/tmp/pd_test_ledger.tsv"
9	const QG_MAP: *u8 = "/tmp/pd_test_map.tsv"
10	const QG_MOCK: *u8 = "/tmp/nx_pr_mock.sov.elf"
11	const QG_NEEDLE: *u8 = "nx_pr_mock"

functions

13	func qg_uw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } calls 1: sys_write
14	func qg_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 } calls 2: sys_mmap sys_write
15	func qg_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
16	func qg_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_wr sys_write sys_close
17	func qg_row(buf: u8, off: i64, url: u8, maxv: i64) -> i64 called by 1: main calls 1: pr_s
35	func main(argc: i64, argv: *i64) -> i64 calls 8: sys_fork sys_mmap sys_execve sys_exit qg_sleep_ms pr_s+2