code wiki / (root) / nx_mcp_edge_boundary_gate.nx

nx_mcp_edge_boundary_gate.nx

buildroot/runtime/nx_mcp_edge_boundary_gate.nx

2996 B44 linesdepth 10pulls 35 transitivereach 0 importersview sourcekind gate/prooftopic mcp
docsdependenciesstructsconstsfunctions

dependencies 2 imports · 0 importers

nx_api_edge.nx nx_gate_verdict.nx nx_mcp_edge_boundary_gate.nx

imports: nx_api_edge.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 ↻ meh_case nx_api_edge_handle edge_problem_too_large sys_mmap ↻ ta_cat ta_catn sys_mmap ↻ ta_reqline ta_streq_n edge_find_header edge_header_lower edge_origin_allowed edge_find_header ↻ ta_streq_n ↻ ta_cat ↻ ta_catn ↻ edge_cpy ta_cat ↻ edge_cpy ↻ edge_tb_allow

structs

none

consts

none

functions

3func meh_case(name: *u8, headers: *u8, status: i64, ctr: *i64) -> i64
called by 1: main calls 3: nx_api_edge_handlegv_check_eqgv_at
15func main() -> i64
calls 9: gv_ctrgv_headmeh_casegv_check_eqedge_find_headernx_api_edge_handle+3