[ErickOF]

Implement a reusable N-to-1 data selector and qualify its portable open-source behavior.

• Add parameterizable input count, data width, default output, validity reporting, fail-closed X/Z behavior, and elaboration-time parameter guards.
• Add six qualified profiles covering one through eight inputs and one through 128 data bits, including non-power-of-two configurations.
• Add legal, invalid, transition, randomized, and unknown-selection verification with selected and unselected input activity.
• Add shared predicates, bound assertions, assumption-free formal proofs, reusable coverage, and RTL-to-Yosys-netlist equivalence checks.
• Add functional, transition, line, branch, toggle, and formal coverage qualification with explicit release thresholds.
• Add invalid-parameter, invalid-valid mutation, and four-state X/Z detection campaigns.
• Add executable SDC and UPF static-intent checks plus CDC, DFT, synthesis, low-power, and exploratory physical collateral.
• Register the mux in concurrent local, native GitHub Actions, and containerized module-profile execution.
• Preserve representative coverage evidence in native and containerized release manifests.
• Add interface, project configuration, power characterization, verification-plan, waiver, and template-aligned release documentation.
• Record commercial and physical checks as reviewed portable skips that remain mandatory in the first consuming integration.
• Verify all six profiles natively and in the pinned Docker environment, including coverage and release-manifest validation.