nx_install_pipeline_test.nx
buildroot/runtime/nx_install_pipeline_test.nx
about
nx_install_pipeline_test.nx -- smoke for the SA arc end-to-end
orchestrator nx_install_pipeline_run_with_inputs.
Exercises:
1. BAD_INPUT gates (null probe / calib / policy / nodes / out)
2. Successful 3-node chain produces VALID plan + 32-byte hash
that matches direct (capture + hash) recomputation
3. End-to-end REPRODUCIBILITY: same inputs -> bit-equal install_hash
4. End-to-end SENSITIVITY: change probe.page_size -> different hash
5. SELECT_FAILED path: no-feasible-chain produces
NX_PIPELINE_SELECT_FAILED with zero'd install_hash + plan
carrying NX_PLAN_VERDICT_NO_FEASIBLE
6. Sealed-enum validity gate
This is the LOAD-BEARING end-to-end gate for the SA arc: it proves
the chain (probe + calibration + policy + workload-DAG) -> single
install_hash works as a pure composition, and that the hash is
both reproducible and sensitive to content.
dependencies 8 imports · 0 importers
imports: nx_syscalls.nxnx_probe.nxnx_calibrate.nxnx_select.nxnx_select_joint.nxnx_install_plan.nxnx_install_hash.nxnx_install_pipeline.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
| 29 | func _make_probe(page_size: i64) -> *NxProbeRecord |
| 41 | func _make_calib() -> *NxCalibrationRecord |
| 54 | func _mk(variant_id: i64, cost: i64, in_lay: i64, out_lay: i64) -> *NxManifest |
| 67 | func _build_chain(out_nodes_arr: *i64) -> i64 |
| 88 | func main() -> i64 |