code wiki / _hdl_build / nx_sota_bindings_differential_gate.nx

nx_sota_bindings_differential_gate.nx

buildroot/runtime/_hdl_build/nx_sota_bindings_differential_gate.nx

5912 B116 linesdepth 6pulls 17 transitivereach 0 importersview sourcekind gate/prooftopic sota

docs dependencies structs consts functions

about

Four real owner invocations; caller freezes source changes during qualification. Existing timed process runner; reports use owner's exclusive artifact output.

dependencies 6 imports · 0 importers

imports: nx_gatekit_lib.nxnx_gate_verdict.nxnx_estate_path.nxnx_measurement_binding_lib.nxnx_tool_run.nxnx_json_lib.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

9	const BD_MODE: i64=0x180
10	const BD_WORD: i64=8

functions

11	func bc_prefix_ok(prefix: *u8) -> i64 called by 1: main calls 1: gk_len
31	func bc_equal(before: u8, bn: i64, after: u8, an: i64) -> i64 called by 1: main
41	func bd_positive(s: *u8) -> i64 called by 1: main
51	func bd_put(path: u8, raw: u8, n: i64) -> i64 called by 1: bd_case
60	func bd_case(elf: u8, prefix: u8, suffix: u8, domain: u8, cap: i64, timeout: i64, ctr: *i64) -> i64 called by 1: main calls 8: gk_cat tr_run_capture_to gv_check bd_put gk_has jx_get_int+2
90	func main(argc: i64, argv: *i64) -> i64 calls 12: gv_puts bc_prefix_ok gk_len bd_positive ep_anchor gv_ctr+6