code wiki / (root) / nx_install_plan_test.nx

nx_install_plan_test.nx

buildroot/runtime/nx_install_plan_test.nx

8187 B195 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic install

docs dependencies structs consts functions

about

nx_install_plan_test.nx -- smoke for nx_install_plan SA-6/SA-7 bridge. Exercises: 1. Allocation + canary integrity 2. Bad-input gates (null plan / probe / calib / policy / verdict) 3. Capture from a real 3-node selector run -- verifies snapshots match the source structs + variant_ids match the picked manifests 4. variant_id_at boundary checks 5. is_valid gate SA-6/SA-7 bridge: this is the durable record SA-6 feeds to compile and SA-7 cryptographically attests.

dependencies 6 imports · 0 importers

imports: nx_syscalls.nxnx_probe.nxnx_calibrate.nxnx_select.nxnx_select_joint.nxnx_install_plan.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

none

functions

22	func _make_probe() -> *NxProbeRecord called by 1: main calls 1: nx_probe_new
34	func _make_calib() -> *NxCalibrationRecord called by 1: main calls 1: nx_calibrate_new
49	func _mk(variant_id: i64, cost: i64, in_lay: i64, out_lay: i64) -> *NxManifest called by 1: main calls 3: nx_manifest_new nx_isa_bit nx_manifest_set_layout
60	func main() -> i64 calls 12: _make_probe _make_calib nx_policy_throughput_default nx_install_plan_new nx_install_plan_is_valid sys_mmap+6