code wiki / _hdl_build / nx_pm_cockpit_gate.nx

nx_pm_cockpit_gate.nx

buildroot/runtime/_hdl_build/nx_pm_cockpit_gate.nx

7348 B145 linesdepth 10pulls 22 transitivereach 0 importersview sourcekind gate/prooftopic pm
docsdependenciesstructsconstsfunctions

about

nx_pm_cockpit_gate.nx -- gate for the PM cockpit core (nx_pm_roi_lib). On nx_gate_verdict (D001 migrate-on-touch law: new gates import the canonical verdict lib). Proves: ROI KAT + measured-override + FAIL-CLOSED no-fabrication when the rates plane is absent (the honesty core) - mixed-schema debt scan (legacy 5-col + v2 7-col) - third-party classifier - frontier scan KAT - live ecomat rollup passthrough on a seeded /tmp store - emitters carry envelope/UNSEEDED/ESTIMATE markers - PRODUCTION-SHAPE scale tooth (600-row debt plane >> real ~60; scale-law: fixture gates never prove scale, so one tooth must). license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_pm_roi_lib.nx nx_gate_verdict.nx nx_pm_cockpit_gate.nx

imports: nx_pm_roi_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 ↻ g_mkrow gv_check gv_puts ↻ pm_debt_scan pm_cols pm_is_legacy pm_slice_int pm_slice_eq pm_len pm_is_3p pm_has_lc pm_len ↻ pm_is_3p ↻ pm_len ↻ pm_frontier_scan pm_cols ↻ pm_slice_int ↻ ss_begin_cap sys_mmap ↻ ec_seed_one

structs

none

consts

12const G_BUF: i64 = 524288
13const G_SCALE_N: i64 = 600

functions

15func g_mkrow(b: *u8, o: i64, s: *u8) -> i64 { return ss_cat(b, o, s) }
called by 1: main
17func main(argc: i64, argv: *i64) -> i64
calls 18: gv_ctrgv_headg_mkrowgv_checkpm_debt_scanpm_is_3p+12