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 6pulls 10 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 gv_head gv_puts sys_write g_mkrow gv_check gv_puts ↻ sts_load ss_open_cached ssc_init sys_mmap ↻ ssc_sig_of ss_cat sys_fstatat ssc_streq ss_open ss_open2 sys_mmap ↻ ss_manifest_dyn ss_manifest_file_dyn ss_cat ↻ ss_loadfile sys_map_file ss_readall ss_load_aux2 sys_mmap ↻ ss_cat ↻ ss_loadfile ↻ ss_r32 sys_munmap ssl_total_keys ss_r32 ↻ ssl_pow2 ssl_build ss_r32 ↻ ssl_hash_entry ssl_key_eq ss_r32 ↻

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 19: gv_ctrgv_headg_mkrowgv_checksts_loadpm_debt_scan+13