code wiki / (root) / nx_swarm_journal_evidence_gate_t67.nx

nx_swarm_journal_evidence_gate_t67.nx

buildroot/runtime/nx_swarm_journal_evidence_gate_t67.nx

4461 B42 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind tooltopic swarm
docsdependenciesstructsconstsfunctions

dependencies 2 imports · 0 importers

nx_swarm_job_evidence_t67.nx nx_gate_verdict.nx nx_swarm_journal_evidence_gate

imports: nx_swarm_job_evidence_t67.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ se_path fa_cat fa_catn sys_mmap ↻ gv_check gv_puts ↻ se_create fa_write_all sys_write ↻ sj_read_journal rc_fill_file rc_fill sys_read sys_mmap ↻ sys_read ↻ rc_complete sj_derive_done sj_done_record sj_lease sj_read_journal ↻

structs

none

consts

none

functions

3func se_path(stamp:i64,label:*u8)->*u8{let p:*u8=sys_mmap(256);var n:i64=fa_cat(p,0,"/tmp/swarm_evidence_" as *u8);n=fa_catn(p,n,stamp);n=fa_cat(p,n,"_" as *u8);n=fa_cat(p,n,label);n=fa_cat(p,n,".log" as *u8);p[n]=0 as u8;return p}
called by 1: main calls 2: fa_catfa_catn
4func se_create(path:*u8,b:*u8,n:i64)->i64{let fd:i64=__syscall(SYS_OPENAT,AT_FDCWD,path as i64,SJ_OEXCL,SJ_MODE,0,0);if fd<0{return 0};let r:i64=fa_write_all(fd,b,n);let c:i64=sys_close(fd);if r==n&&c==0{return 1};return 0}
called by 1: main calls 1: fa_write_all
5func main(argc:i64,argv:*i64)->i64