test(compiler): cover every analysis input in the compiler differential

.github/workflows/verify.yml

@@ -294,7 +294,16 @@ jobs:
         run: >-
           make compiler-differential
           COMPILER_DIFFERENTIAL_ARGS="--stage-captures --require-discovery-coverage
-          --require-render-coverage"
+          --require-render-coverage --require-analysis-coverage
+          --wheel-site-report ${{ runner.temp }}/compiler-differential-wheel-sites.json"
+      - name: Upload the Polyglot wheel-site and deferral report
+        if: always()
+        uses: actions/upload-artifact@v4
+        with:
+          name: compiler-differential-wheel-sites-${{ github.run_id }}-${{ github.run_attempt }}
+          path: ${{ runner.temp }}/compiler-differential-wheel-sites.json
+          if-no-files-found: warn
+          retention-days: 30
       - name: Compare generated seeds and the failure corpus (python vs shipped native)
         run: make compiler-differential-shipped
 

scripts/compiler_differential/_helpers/analysis_corpus/__init__.py

@@ -0,0 +1 @@
+"""Analysis-stage failure cases, one module per native analysis lane."""

scripts/compiler_differential/_helpers/analysis_corpus/analysis_session.py

@@ -0,0 +1,9 @@
+"""Failure cases owned by the native model analysis session lane."""
+
+from scripts.compiler_differential.models import FailureCase
+
+
+def analysis_session_failure_cases() -> tuple[FailureCase, ...]:
+    """Return this lane's failure cases; the lane appends here without editing shared lists."""
+
+    return ()

scripts/compiler_differential/_helpers/analysis_corpus/assembly.py

@@ -0,0 +1,9 @@
+"""Failure cases owned by the native project assembly and target validation lane."""
+
+from scripts.compiler_differential.models import FailureCase
+
+
+def assembly_failure_cases() -> tuple[FailureCase, ...]:
+    """Return this lane's failure cases; the lane appends here without editing shared lists."""
+
+    return ()

scripts/compiler_differential/_helpers/analysis_corpus/contracts.py

@@ -0,0 +1,9 @@
+"""Failure cases owned by the native contracts and promotion conflicts lane."""
+
+from scripts.compiler_differential.models import FailureCase
+
+
+def contracts_failure_cases() -> tuple[FailureCase, ...]:
+    """Return this lane's failure cases; the lane appends here without editing shared lists."""
+
+    return ()