code wiki / (root) / nx_behaveprobe_review_candidate_t371.nx

nx_behaveprobe_review_candidate_t371.nx

buildroot/runtime/nx_behaveprobe_review_candidate_t371.nx

14297 B251 linesdepth 5pulls 7 transitivereach 8 importersview sourcekind tooltopic behaveprobe
docsdependenciesstructsconstsfunctions

about

nx_behaveprobe.nx -- paired workload observations for reviewed promotion evidence. Complete capture and matching outputs/exits are observations, not sufficient proof of behavior, workload coverage, or deployment quality. The caller must qualify the workload and exit contract. Running a supplied workload executes it twice; the caller owns its side-effect authorization. Existing CLI directions and helper entrypoints remain available.

dependencies 3 imports · 3 importers

nx_tool_run.nx json_emit.nx nx_itoa_lib.nx nx_behaveprobe_review_candidat nx_adoptgate_review_candidate_t371 nx_behavior_review_capture_gate_t3 nx_organ_ship_review_lib_candidate

imports: nx_tool_run.nxjson_emit.nxnx_itoa_lib.nx

imported by: nx_adoptgate_review_candidate_t371.nxnx_behavior_review_capture_gate_t371.nxnx_organ_ship_review_lib_candidate_t371.nx

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

main be bp_eq bp_len bcat bp_run_result bp_run_owned_result bp_result_init tr_run_capture_owned_resul tr_evidence_init tr_run_capture_core_eviden sys_mmap_shared tr_clock_ms sys_clock_gettime_mono sys_munmap sys_pipe2 sys_fork sys_close sys_default_signal sys_mmap sys_bind_parent_lifetime sys_prctl sys_exit sys_setpgid tr_capture_redirect sys_dup3 sys_chdir sys_mmap ↻ sys_close_inherited sys_close_inherited_proc sys_execve tr_exec_failed sys_write sys_exit ↻ tr_watchdog_start sys_mmap ↻ sys_pipe2 ↻ sys_munmap ↻ sys_fork ↻ tr_watchdog_child

structs

68struct NxBehaviorRequest { live:*u8,other:*u8,cwd:*u8,args:*i64,arg_count:i64,timeout_ms:i64,max_capture_bytes:i64 }
69struct NxBehaviorResult { state:i64,matched:i64,same_output:i64,same_exit:i64,grade:i64,live_rc:i64,other_rc:i64,live_bytes:i64,other_bytes:i64,first_diff:i64,live_wait:i64,other_wait:i64,live_exit:i64,other_exit:i64,live_signal:i64,other_signal:i64,live_setup:i64,other_setup:i64,live_exec:i64,other_exec:i64,live_reaped:i64,other_reaped:i64,live_capacity:i64,other_capacity:i64,live_timeout:i64,other_timeout:i64,coverage_verified:i64 }
142struct BpRecordWriter { owned:*NxBufOwned,number:*u8,max_bytes:i64,error:i64 }

consts

10const BP_HOST: *u8 = "/volume1/homes/elderwesto/nishihost"
11const BP_CAP: i64 = 262144
12const BP_TMO: i64 = 120000
20const BP_SIGNAL_RC_BASE: i64 = 128
61const BP_UNQUALIFIED:i64=-301
62const BP_INVALID:i64=-302
63const BP_G_WEAK:i64=1
64const BP_G_HARNESS:i64=2
65const BP_G_SIGNALLED:i64=3
66const BP_G_GRADED:i64=4
67const BP_G_STRONG:i64=5

functions

21func bp_eq(a: *u8, b: *u8) -> i64
called by 1: main
28func bp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
29func be(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(2,s,n); return 0 }
called by 1: main
30func bn(v:i64)->i64{return nxi_out(v)}
calls 1: nxi_out
31func bcat(d: *u8, o: i64, s: *u8) -> i64 { var x: i64=o; var i: i64=0; while s[i]!=(0 as u8){d[x]=s[i];x=x+1;i=i+1} return x }
called by 1: main
32func bexists(p: *u8) -> i64 { let fd: i64 = sys_openat_rd(p); if fd < 0 { return 0 } sys_close(fd); return 1 }
42func bp_has(buf: *u8, n: i64, needle: *u8) -> i64
called by 2: bp_run_owned_resultmain
70func bp_result_init(r:*NxBehaviorResult)->i64
called by 2: ag_observe_owned_resultbp_run_owned_result
78func bp_run_owned_result(q:*NxBehaviorRequest,r:*NxBehaviorResult,a:*NxBufOwned,b:*NxBufOwned)->i64
called by 5: ag_observe_owned_resultbp_run_resultmainos_adoption_reviewmain calls 3: bp_result_inittr_run_capture_owned_resultbp_has
131func bp_run_result(q:*NxBehaviorRequest,r:*NxBehaviorResult)->i64
called by 2: mainmain calls 1: bp_run_owned_result
140func bp_len(s:*u8)->i64{var n:i64=0;while s[n]!=(0 as u8){n=n+1};return n}
called by 3: bp_record_literalbp_record_stringmain
143func bp_record_bytes(w:*BpRecordWriter,s:*u8,n:i64)->i64
called by 3: bp_record_literalbp_record_stringbp_record_number
147func bp_record_literal(w:*BpRecordWriter,s:*u8)->i64{return bp_record_bytes(w,s,bp_len(s))}
called by 2: bp_record_numberbp_build_result calls 2: bp_record_bytesbp_len
148func bp_record_string(w:*BpRecordWriter,s:*u8)->i64
called by 2: bp_record_numberbp_build_result calls 3: bp_lenje_emit_string_rawbp_record_bytes
161func bp_record_number(w:*BpRecordWriter,name:*u8,value:i64)->i64
called by 1: bp_build_result calls 4: bp_record_literalbp_record_stringnxi_bufbp_record_bytes
169func bp_grade_text(grade:i64)->*u8
called by 1: bp_build_result
176func bp_build_result(target:*u8,mode:*u8,r:*NxBehaviorResult,owned:*NxBufOwned,max_bytes:i64)->i64
called by 2: bp_emit_result_fdmain calls 4: bp_record_literalbp_record_stringbp_record_numberbp_grade_text
207func bp_write_record(fd:i64,b:*NxBufOwned)->i64
called by 2: bp_emit_result_fdmain
218func bp_emit_result_fd(fd:i64,target:*u8,mode:*u8,r:*NxBehaviorResult)->i64
called by 2: bp_emit_resultmain calls 2: bp_build_resultbp_write_record
225func bp_emit_result(target:*u8,mode:*u8,r:*NxBehaviorResult)->i64{return bp_emit_result_fd(1,target,mode,r)}
called by 2: mainmain calls 1: bp_emit_result_fd
227func main(argc:i64,argv:*i64)->i64
calls 6: bebp_eqbp_lenbcatbp_run_resultbp_emit_result