code wiki / (root) / nx_install_hash_test.nx

nx_install_hash_test.nx

buildroot/runtime/nx_install_hash_test.nx

9068 B203 linesdepth 7pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic install
docsdependenciesstructsconstsfunctions

about

nx_install_hash_test.nx -- smoke for nx_install_hash SA-7 partial. Exercises: 1. Bad-input gates 2. Tampered plan refused (canary stomp -> NX_HASH_BAD_PLAN) 3. REPRODUCIBILITY gate: two plans with identical content -> same hash 4. SENSITIVITY gates: change any content field -> different hash (probe field, calibration field, policy field, n_selected, total_cost, verdict, variant_id) 5. EXCLUSION gates: change excluded fields (ts_us, canaries- gating-aside) -> same hash 6. nx_install_hash_eq positive + negative SA-7 partial verification gate per NISHI_SELF_ASSEMBLY_ROADMAP.md ยง8: "Reproducibility gate -- same target + same source corpus + same selector version -> same install_hash across two independent runs on different days". This test proves the deterministic property; cross-day persistence is a future smoke composing nx_fact_log + nx_install_hash.

dependencies 7 imports · 0 importers

nx_syscalls.nx nx_probe.nx nx_calibrate.nx nx_select.nx nx_select_joint.nx nx_install_plan.nx nx_install_hash.nx nx_install_hash_test.nx

imports: nx_syscalls.nxnx_probe.nxnx_calibrate.nxnx_select.nxnx_select_joint.nxnx_install_plan.nxnx_install_hash.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main _make_probe nx_probe_new sys_mmap _make_calib nx_calibrate_new sys_mmap ↻ nx_policy_throughput_defau sys_mmap ↻ sys_mmap ↻ nx_install_hash_compute nx_install_plan_is_valid nx_plan_verdict_is_valid sys_mmap ↻ nx_install_plan_serialize nx_install_plan_is_valid ↻ _store_magic_tag _store_i64_le sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word blk_byte sha256_final blk_set_byte ↻ sha256_compress ↻ _make_plan_with_ids nx_manifest_new sys_mmap ↻ nx_isa_bit sys_mmap ↻ nx_joint_node_new sys_mmap ↻

structs

none

consts

none

functions

29func _make_probe() -> *NxProbeRecord
called by 1: main calls 1: nx_probe_new
41func _make_calib() -> *NxCalibrationRecord
called by 1: main calls 1: nx_calibrate_new
55func _make_plan_with_ids(probe: *NxProbeRecord, calib: *NxCalibrationRecord,
96func main() -> i64