code wiki / (root) / nx_source_binding_plan_watch_gate.nx

nx_source_binding_plan_watch_gate.nx

buildroot/runtime/nx_source_binding_plan_watch_gate.nx

6740 B74 linesdepth 6pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic source
docsdependenciesstructsconstsfunctions

about

Read-only pure join gate, actual declaration ruler controls; no estate writes.

dependencies 2 imports · 0 importers

nx_measurement_binding_lib.nx nx_gate_verdict.nx nx_source_binding_plan_watch_g

imports: nx_measurement_binding_lib.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 ↻ gv_check gv_puts ↻ pbm_ident sd_ident_char pbg_valid pbm_validate pb_input_ok bf_line_end pb_trim_cr pbm_row_kind pbm_symbol msym_is_bare_absent msym_has_absent_prefix msym_has_absent_prefix ↻ msym_is_watch msym_has_absent_prefix ↻ msym_real_start msym_is_watch ↻ msym_withheld_sep msym_is_watch ↻

structs

none

consts

none

functions

4func pbg_valid(buf: *u8, scratch: *i64, sym: *i64) -> i64 { return pbm_validate(buf,bf_slen(buf),scratch,sym) }
called by 1: main calls 1: pbm_validate
5func pbg_count(buf: *u8, contract: *u8, scratch: *i64, sym: *i64) -> i64 { return pbm_count(buf,bf_slen(buf),contract,0,bf_slen(contract),scratch,sym) }
called by 1: main calls 1: pbm_count
6func pbg_decl(buf: *u8) -> i64 { return sd_declared_buf(buf,bf_slen(buf),"target" as *u8) }
called by 1: main calls 1: sd_declared_buf
7func pbg_plan_count(matrix: *u8, contract: *u8, scratch: *i64, sym: *i64) -> i64
called by 1: main calls 2: pbm_contractpbm_count
13func main() -> i64
calls 11: gv_ctrgv_headgv_checkpbm_identpbg_validpbg_count+5