[Add] Qualify negative tests and four-state controls

.github/workflows/flow-quality.yml

@@ -130,6 +130,7 @@ jobs:
           tests/test_multi_module.sh
           tests/test_parameter_profiles.sh
           tests/test_coverage_qualification.sh
+          tests/test_qualification_campaigns.sh
 
       - name: Run containerized release-manifest fixture
         run: FIXTURE_CONTEXT=container tests/test_release_manifest.sh

README.md

@@ -18,6 +18,7 @@ methodology without copying flow scripts or changing module RTL.
 - Single-module and manifest-based multi-module project orchestration
 - Named parameter-profile qualification across elaboration and implementation
 - Declarative HDL and formal coverage qualification with reviewed exclusions
+- Declarative negative-test and four-state qualification with explicit controls
 - Flow selection, statuses, reports, and quality gates
 - Schema-validated release evidence with input hashes and tool identities
 - Pinned open-source tool installers and versions

VERSION

@@ -1 +1 @@
-0.5.0
+0.6.0

ci/check_flow_quality.sh

@@ -20,8 +20,10 @@ python3 -m py_compile ci/module_manifest.py
 python3 -m py_compile ci/parameter_profiles.py
 python3 -m py_compile ci/release_manifest.py
 python3 -m py_compile ci/coverage_qualification.py
+python3 -m py_compile ci/qualification_campaign.py
 python3 -m json.tool schemas/release-evidence-v1.schema.json >/dev/null
 python3 -m json.tool schemas/coverage-policy-v1.schema.json >/dev/null
+python3 -m json.tool schemas/qualification-campaigns-v1.schema.json >/dev/null
 
 if ! grep -Eq '^[0-9]+\.[0-9]+\.[0-9]+$' VERSION; then
   echo "VERSION must contain a semantic version such as 1.2.3" >&2
@@ -79,4 +81,5 @@ tests/test_multi_module.sh
 tests/test_parameter_profiles.sh
 tests/test_release_manifest.sh
 tests/test_coverage_qualification.sh
+tests/test_qualification_campaigns.sh
 echo "mosaic-flow static quality checks passed"

ci/open_source_quality_gate.sh

@@ -5,7 +5,7 @@ flow_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 # shellcheck source=flow_selection.sh
 source "${flow_root}/ci/flow_selection.sh"
 
-required_flows=(verible_lint verible_format slang_elaboration verilator_lint yosys_synthesis symbiyosys_formal eqy_equivalence verilator_sim pyuvm_open_source coverage_qualification)
+required_flows=(verible_lint verible_format slang_elaboration verilator_lint yosys_synthesis symbiyosys_formal eqy_equivalence verilator_sim pyuvm_open_source coverage_qualification negative_qualification four_state_qualification)
 failed=0
 
 for flow_name in "${required_flows[@]}"; do

ci/parameter_profiles.py

@@ -27,6 +27,8 @@
     "eqy_equivalence",
     "verilator_sim",
     "pyuvm_open_source",
+    "negative_qualification",
+    "four_state_qualification",
     "vcs_sim",
     "pyuvm_commercial",
     "synopsys_synthesis",