code wiki / (root) / nx_select_joint_chain_test.nx

nx_select_joint_chain_test.nx

buildroot/runtime/nx_select_joint_chain_test.nx

9400 B202 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic select
docsdependenciesstructsconstsfunctions

about

nx_select_joint_chain_test.nx -- smoke for nx_select_joint_chain SA-5 N-node linear chain selector. Exercises: 1. Degenerate N=1 chain falls back to single-class selection 2. N=0 -> BAD_INPUT 3. N=3 linear chain A -> B -> C demonstrates the LOAD-BEARING property: middle node forced into non-locally-optimal variant so the chain composes 4. N=4 linear chain A -> B -> C -> D where the optimal pick at each interior node depends on BOTH neighbors 5. No-feasible-chain detection (incompatible layouts in any pair) SA-5 remainder verification gate per NISHI_SELF_ASSEMBLY_ROADMAP.md ยง8: "DAG composition smoke -- same algorithm, two layout choices, joint solver picks bit-coherent layouts across nodes".

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_probe.nx nx_calibrate.nx nx_select.nx nx_select_joint.nx nx_select_joint_chain_test.nx

imports: nx_syscalls.nxnx_probe.nxnx_calibrate.nxnx_select.nxnx_select_joint.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_rv64 nx_probe_new sys_mmap nx_policy_throughput_defau sys_mmap ↻ sys_mmap ↻ nx_select_joint_chain nx_select nx_select_variant_fits nx_isa_bit nx_select_score sys_mmap ↻ nx_select_variant_fits ↻ nx_layout_compatible nx_select_score ↻ _mk nx_manifest_new sys_mmap ↻ nx_isa_bit ↻ nx_manifest_set_layout nx_joint_node_new sys_mmap ↻ nx_layout_compatible ↻

structs

none

consts

none

functions

24func _make_probe_rv64() -> *NxProbeRecord
called by 1: main calls 1: nx_probe_new
38func _mk(variant_id: i64, cost: i64, in_layout: i64, out_layout: i64) -> *NxManifest
49func main() -> i64