nx_measurement_binding_lib.nx
buildroot/runtime/nx_measurement_binding_lib.nx
about
nx_measurement_binding_lib.nx -- read-only projection of authored plan contracts,
retained rank snapshots and matrix-to-source declaration observations. No ranking, execution or publication.
Consumers retain the input buffers while using returned spans. A declared contract
symbol is not verified behavior; an absent rank row is not proof of completion.
license_tier: ORIGINAL
dependencies 4 imports · 8 importers
imports: nx_ladder_lib.nxnx_matrix_sym_lib.nxnx_symdecl_lib.nxnx_readcap_lib.nx
imported by: nx_compare_growth_lib.nxnx_compare_growth_lib_20260910.nxnx_measurement_binding_diagnostic.nxnx_measurement_binding_gate.nxnx_measurement_source_binding_gate.nxnx_sota_bindings_differential_gate.nxnx_sota_status.nxnx_source_binding_plan_watch_gate.nx
structs
| none |
consts
| 12 | const PB_PLAN_FIELDS: i64 = 8 |
| 13 | const PB_F_SYMBOL: i64 = 3 |
| 14 | const PB_F_DONE_RULE: i64 = 4 |
| 15 | const PB_F_EXECUTOR: i64 = 5 |
| 16 | const PB_F_ESTIMATE: i64 = 6 |
| 17 | const PB_ROW_SLOTS: i64 = 10 |
| 18 | const PB_PLAN_START: i64 = 0 |
| 19 | const PB_PLAN_END: i64 = 1 |
| 20 | const PB_ORDER_START: i64 = 2 |
| 21 | const PB_ORDER_END: i64 = 3 |
| 22 | const PB_FINISH_START: i64 = 4 |
| 23 | const PB_FINISH_END: i64 = 5 |
| 24 | const PB_UNMAPPED_START: i64 = 6 |
| 25 | const PB_UNMAPPED_END: i64 = 7 |
| 26 | const PB_PLAN_FIELD_COUNT: i64 = 8 |
| 27 | const PB_PLAN_SHAPE: i64 = 9 |
| 28 | const PB_PREFIX_FIELDS: i64 = 5 |
| 29 | const PB_SHAPE_RAW: i64 = 0 |
| 30 | const PB_SHAPE_FULL: i64 = 1 |
| 31 | const PB_SHAPE_PREFIX: i64 = 2 |
| 32 | const PB_STATS_SLOTS: i64 = 6 |
| 33 | const PB_S_RUNGS: i64 = 0 |
| 34 | const PB_S_ORDERED: i64 = 1 |
| 35 | const PB_S_FINISH: i64 = 2 |
| 36 | const PB_S_UNMAPPED: i64 = 3 |
| 37 | const PB_S_RANK_ASOF: i64 = 4 |
| 38 | const PB_S_RANK_STATE: i64 = 5 |
| 39 | const PB_OK: i64 = 0 |
| 40 | const PB_RANK_MISSING: i64 = 1 |
| 41 | const PB_E_INPUT: i64 = 0-1 |
| 42 | const PB_E_CAPACITY: i64 = 0-2 |
| 43 | const PB_E_ROW: i64 = 0-3 |
| 44 | const PB_E_DUP_PLAN: i64 = 0-4 |
| 45 | const PB_E_STAMP: i64 = 0-5 |
| 46 | const PB_E_ORPHAN: i64 = 0-6 |
| 47 | const PB_E_SYMBOL: i64 = 0-7 |
| 48 | const PB_E_DUP_RANK: i64 = 0-8 |
| 49 | const PB_I64_MAX: i64 = 9223372036854775807 |
functions
| 51 | func pb_input_ok(buf: *u8, n: i64) -> i64 |
| 58 | func pb_trim_cr(buf: *u8, p: i64, end: i64) -> i64 |
| 62 | func pb_equal(a: *u8, ao: i64, an: i64, b: *u8, bo: i64, bn: i64) -> i64 |
| 68 | func pb_rank_clear(rows: *i64, count: i64, stats: *i64, state: i64) -> i64 |
| 81 | func pb_field_count(plan: *u8, p: i64, e: i64, scratch: *i64) -> i64 |
| 86 | func pb_plan_shape(fields: i64) -> i64 called by 1: pb_plan_scan |
| 91 | func pb_shape_name(shape: i64) -> *u8 called by 1: ss_bplanrecord |
| 97 | func pb_plan_field(plan: *u8, rows: *i64, base: i64, field: i64, scratch: *i64) -> i64 |
| 107 | func pb_plan_scan(plan: *u8, n: i64, rows: *i64, capacity: i64, stats: *i64, scratch: *i64) -> i64 called by 4: mainpg_realmainss_bindings calls 7: pb_rank_clearpb_input_okbf_line_endpb_trim_crbf_line_startspb_field_count+1 |
| 136 | func pb_find_rung(plan: *u8, rows: *i64, count: i64, other: *u8, off: i64, len: i64, scratch: *i64) -> i64 |
| 155 | func pb_rank_stamp(domain: *u8, rank: *u8, n: i64) -> i64 |
| 192 | func pb_rank_join(domain: *u8, plan: *u8, rank: *u8, n: i64, rows: *i64, count: i64, stats: *i64, scratch: *i64) -> i64 |
| 248 | func pbm_row_kind(buf: *u8, p: i64, e: i64) -> i64 |
| 254 | func pbm_ident(buf: *u8, p: i64, n: i64) -> i64 |
| 262 | func pbm_symbol(buf: *u8, a: i64, b: i64, out: *i64) -> i64 |
| 276 | func pbm_validate(buf: *u8, n: i64, scratch: *i64, sym: *i64) -> i64 called by 3: pbg_validss_bmatrixpbg_valid calls 5: pb_input_okbf_line_endpb_trim_crpbm_row_kindpbm_symbol |
| 294 | func pbm_matches(buf: *u8, p: i64, e: i64, contract: *u8, co: i64, cn: i64, scratch: *i64, sym: *i64) -> i64 |
| 305 | func pbm_read(path: *u8, outn: *i64) -> *u8 |
| 322 | func pbm_count(buf: *u8, n: i64, contract: *u8, co: i64, cn: i64, scratch: *i64, sym: *i64) -> i64 called by 4: pbg_countss_bjoinpbg_countpbg_plan_count calls 4: bf_line_endpb_trim_crpbm_row_kindpbm_matches |
| 334 | func pbm_contract(buf: *u8, p: i64, n: i64, out: *i64) -> i64 |