[ErickOF]

Implement a reusable architectural operand clamp and qualify its portable open-source behavior.

• Add parameterizable active-high operand isolation with configurable clamp value, conservative X/Z propagation, and elaboration-time parameter guards.
• Add qualified widths 1, 8, 16, 32, 64, 128, and 256 across zero, all-one, and nontrivial pattern clamp classes.
• Add directed, per-bit, alternating, deterministic long-sequence, transition, and unknown-control verification.
• Add arithmetic, vector, and address-generation integration models that prove active behavior and measure reduced downstream switching activity.
• Add shared predicates, bound assertions, assumption-free formal proofs, and RTL-to-Yosys-netlist equivalence checks.
• Add functional, transition, integration, line, branch, toggle, and formal cover qualification with explicit release thresholds.
• Add invalid-width, invalid X/Z clamp, inverted-control 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 operand isolation in concurrent local, native GitHub Actions, and containerized module-profile execution.
• Generalize representative coverage handling and preserve forced evidence in native and container release manifests.
• Add interface, project configuration, power characterization, verification, approved waiver, and template-aligned release documentation.
• Record technology-bound and integration checks as reviewed portable skips that remain mandatory in the first consuming datapath.
• Verify all seven profiles natively and in the pinned Docker environment, including coverage and release-manifest validation.

[ErickOF]

I reached the GitHub Actions limit for a private repository. Merging as it passed locally, and all the checks have to run when merging from dev to main. I'll fix any future issues.

[ErickOF]

Close #7 .