code wiki / (root) / nx_ice_agent_gate.nx

nx_ice_agent_gate.nx

buildroot/runtime/nx_ice_agent_gate.nx

5062 B94 linesdepth 7pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic ice
docsdependenciesstructsconstsfunctions

about

nx_ice_agent_gate.nx -- proves the sovereign ICE agent orchestration: candidate pairing (component-matched), candidate-pair priority ordering (highest first), priority-ordered check scheduling, and nomination of the best VALID pair as the selected path -- plus the controlling/controlled role affecting the (G,D) priority. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_ice_agent.nx nx_ice_agent_gate.nx

imports: nx_syscalls.nxnx_ice_agent.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap gw sys_write ag_new sys_mmap ↻ ag_add_local ag_add_remote ag_form_pairs ag_local_comp ag_remote_comp ic_pair_cmp ic_imin ic_imax ag_pair_G ag_local_prio ag_pair_local ag_remote_prio ag_pair_remote ag_pair_D ag_remote_prio ↻ ag_pair_remote ↻ ag_local_prio ↻ ag_pair_local ↻ ag_swap gn sys_mmap ↻ sys_write ↻ gck gw ↻ ag_pair_local ↻ ag_pair_remote ↻ ag_next_check ag_pair_state ag_result ag_nominate ag_pair_state ↻ ag_pair_state ↻ ag_pair_G ↻ ag_local_prio ↻

structs

none

consts

none

functions

8func gw(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 2: gckmain calls 1: sys_write
9func gn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
14func gck(pass: i64, name: *u8, fails: *i64) -> i64
called by 1: main calls 1: gw
19func main() -> i64
calls 18: sys_mmapgwag_newag_add_localag_add_remoteag_form_pairs+12