Source: qa/cases-v1-QA1.md
# QA1 Review — CASE DSL v1 Migration Audit
**Reviewer:** QA1 (`gemini-3.8-flash-high`)
**Scope:** Re-review of Fable's CASE DSL v1 migration across 14 sampled cases (7 prior FIX verdicts + 7 fresh cases)
**Charter Reference:** `neov2/specs/CHARTER.md`, `neov2/cases/CASE-DSL.md`, `neov2/cases/NOTES.md`, `neov2/specs/qa1_v1.md`
---
## 1. Automated Verification Suite
- **Verbatim Quote Invariance (`quotes-equal`):**
- Compared all 14 sampled files against baseline v0 commit `24c283d`:
```bash
python3 neov2/tools/casedsl.py quotes-equal 24c283d <14-files>
# Result: 14 files compared with 24c283d, 0 differ
```
- Full-corpus check: `60 files compared with 24c283d, 0 differ`. Zero quote text, offset, or kind mutations occurred during the v1 migration.
- **Syntax, Grammar & Corpus Diff Check (`casedsl check`):**
- Sampled 14 files: `14 files, 241 quotes, 0 errors`.
- Full corpus: `60 files, 1172 quotes, 0 errors` (1 warning on `moncrieffe` mapping `quantity.marijuana-small-amount-no-remuneration` to law exception).
---
## 2. Sample Matrix & Summary of Verdicts
14 cases selected across all 5 pilot statutes: 7 resolving earlier FIX verdicts (from QA1/QA2) and 7 fresh evaluations.
| # | Case File | Statute | Prior Verdict / Status | v1 Verdict | Key v1 Verification |
|---|---|---|---|---|---|
| 1 | `15usc1/f-supp-2d-385-740-north-jackson-pharmacy-v-caremark.case` | 15 U.S.C. § 1 | QA1 FIX | **PASS** | Claim II retagged `not-reached` (`role rule-announced`); no false finding of concession. |
| 2 | `15usc1/f3d-496-403-tunica-web-advertising-v-tunica-casino-operators.case` | 15 U.S.C. § 1 | QA2 FIX | **PASS** | Standing scoped `lower-court`; per-se scoped `role rule-announced`. |
| 3 | `18usc1962/f2d-976-1016-midwest-grinding-v-spitz.case` | 18 U.S.C. § 1962 | QA1 FIX | **PASS** | Summary judgment continuity & conspiracy retagged `[no-evidence]`. |
| 4 | `18usc1962/us-556-938-boyle-v-united-states.case` | 18 U.S.C. § 1962 | QA2 FIX | **PASS** | Retagged `not-reached` (`role rule-announced`); limited to jury instruction review. |
| 5 | `21usc841/f2d-779-1098-united-states-v-prieto-tejas.case` | 21 U.S.C. § 841 | QA2 FIX | **PASS** | § 846 conspiracy marked `role background`; excluded from § 841 instances. |
| 6 | `42usc1983/f-supp-2d-367-1175-dye-v-city-of-warren.case` | 42 U.S.C. § 1983 | QA1 FIX | **PASS** | Excessive force & failure to train retagged `[no-evidence]`; QI tagged `scope alternative`. |
| 7 | `42usc2000e-2/us-557-557-ricci-v-destefano.case` | 42 U.S.C. § 2000e-2 | QA2 FIX | **PASS** | Court fixed to SCOTUS; disparate-impact blocks tagged `scope hypothetical`. |
| 8 | `15usc1/us-550-544-bell-atlantic-v-twombly.case` | 15 U.S.C. § 1 | Fresh (QA1) | **PASS** | Rule 8 parallel conduct theories cleanly split; `[cuts-against absent]` verified. |
| 9 | `15usc1/us-560-183-american-needle-v-nfl.case` | 15 U.S.C. § 1 | Fresh (QA1) | **PASS** | Copperweld single-entity capacity; `party` typed qualifiers; court fixed to SCOTUS. |
| 10 | `18usc1962/us-533-158-cedric-kushner-v-king.case` | 18 U.S.C. § 1962 | Fresh (QA1) | **PASS** | Person ≠ enterprise distinctness; `association` retagged `not-reached`; polarities verified. |
| 11 | `21usc841/us-571-204-burrage-v-united-states.case` | 21 U.S.C. § 841 | Fresh (QA1) | **PASS** | But-for death-results causation; `[cuts-against absent]` verified; lesser included conceded. |
| 12 | `42usc1983/us-503-1-hudson-v-mcmillian.case` | 42 U.S.C. § 1983 | Fresh (QA1) | **PASS** | Rejection of significant injury; `scope lower-court` on causation & damages. |
| 13 | `42usc1983/us-526-40-american-manufacturers-v-sullivan.case` | 42 U.S.C. § 1983 | Fresh (QA1) | **PASS** | Lugar state action test; due process property entitlement; legislative facts verified. |
| 14 | `42usc2000e-2/us-539-90-desert-palace-v-costa.case` | 42 U.S.C. § 2000e-2 | Fresh (QA1) | **PASS** | § 2000e-2(m) circumstantial evidence rule; `scope lower-court` preserves jury findings. |
---
## 3. Detailed Audit of the 7 Earlier FIX Cases
### 1. `15usc1/f-supp-2d-385-740-north-jackson-pharmacy-v-caremark.case`
- **Prior Defect (QA1):** In v0, Claim II was tagged `restraint.per-se : satisfied [conceded]`, reporting Caremark's concession of the legal standard applicable to a hypothetical proved claim as if Caremark had conceded an actual conspiracy.
- **Resolution in v1:** Line 39 retags Claim II as `element restraint.per-se : not-reached` under case-level `role rule-announced`. Line 45 quote is preserved and glossed: *"Only the mode of analysis is conceded, and only conditionally ('if proved'); existence of the PBM-PBM agreement is untested, so nothing is satisfied."* Line 16 Claim I is also marked `not-reached`. Typed qualifiers `count` and `party` replace `for`. Fact polarities (`[supports]` on allegations, `[cuts-against]` on efficiencies) accurately capture the ancillary restraint doctrine.
- **Verdict:** **PASS**
### 2. `15usc1/f3d-496-403-tunica-web-advertising-v-tunica-casino-operators.case`
- **Prior Defect (QA2):** In v0, `standing : not-satisfied [conceded]` reported the district court's unappealed dismissal of Graziosi as if the Fifth Circuit panel had decided standing.
- **Resolution in v1:** Lines 50–55 add `scope lower-court` and `party Graziosi individually`, explaining that the district court's unreviewed ruling does not represent an appellate instance of this court. Line 36 per-se boycott block is tagged `role rule-announced`. Typed qualifiers (`count`, `party`) cleanly separate the collective lease proposal from individual refusals to deal.
- **Verdict:** **PASS**
### 3. `18usc1962/f2d-976-1016-midwest-grinding-v-spitz.case`
- **Prior Defect (QA1):** In v0, lines 13, 26, and 64 tagged summary judgment failure of proof as `[proved]`, conflating fact-weighing bench trial findings with summary judgment insufficiency.
- **Resolution in v1:** Lines 16, 30, 41, and 72 retag closed-ended continuity, open-ended continuity, concealment, and conspiracy to `not-satisfied [no-evidence]`. The new `theory` qualifier cleanly separates closed-ended vs. open-ended vs. fraudulent concealment routes.
- **Verdict:** **PASS**
### 4. `18usc1962/us-556-938-boyle-v-united-states.case`
- **Prior Defect (QA2):** In v0, `enterprise : satisfied [proved]` made an evidentiary sufficiency finding that the Supreme Court did not reach (certiorari was limited to the jury instruction).
- **Resolution in v1:** Line 12 sets case-level `role rule-announced`. Line 16 marks `element enterprise : not-reached` and line 29 marks `element enterprise.distinct-from-pattern : not-reached`. Gloss explicitly notes: *"Was `satisfied [proved]` (QA2). The jury found the enterprise... but certiorari was limited to the instruction; this Court approved the test and did not review sufficiency."* Polarities distinguish informal structure (`[cuts-against]`) from deposit box burglaries (`[supports]`).
- **Verdict:** **PASS**
### 5. `21usc841/f2d-779-1098-united-states-v-prieto-tejas.case`
- **Prior Defect (QA2):** In v0, a 21 U.S.C. § 846 conspiracy offense was stored under § 841 `aiding`, mislabeling a separate conspiracy offense as accomplice liability.
- **Resolution in v1:** Lines 53–56 add `role background` to the block: *"NOT aiding liability under § 841: this is the separate 21 U.S.C. § 846 conspiracy count, parked under `aiding` only because neov2/law/21usc841.law declares no § 846 id; `role background` keeps it out of the § 841 instances."* `block['instance']` evaluates to `False`.
- **Verdict:** **PASS**
### 6. `42usc1983/f-supp-2d-367-1175-dye-v-city-of-warren.case`
- **Prior Defect (QA1):** In v0, evidentiary summary judgment on excessive force (medical records vs. affidavit) and failure to train (lack of deliberate indifference evidence) was tagged `[law]`. Qualified immunity was unflagged as an alternative holding.
- **Resolution in v1:** Lines 16 and 28 retag Count I and Count II excessive force to `[no-evidence]`. Line 42 qualified immunity is tagged `scope alternative`. Line 53 retains derivative *Heller* dismissal as `[law]`, while line 64 splits off Canton deliberate indifference as `element policy.failure-to-train : not-satisfied [no-evidence]` with `scope alternative`. Line 36 introduces `[cuts-against absent]` for the absence of head/neck abrasions.
- **Verdict:** **PASS**
### 7. `42usc2000e-2/us-557-557-ricci-v-destefano.case`
- **Prior Defect (QA2):** In v0, court metadata mistakenly reported CA2 instead of SCOTUS, and hypothetical disparate-impact compliance arguments were ingested as affirmative § 2000e-2(k) claims.
- **Resolution in v1:** Line 7 explicitly fixes the court: `court Supreme Court of the United States`. Lines 51–86 tag all three disparate-impact blocks (`impact`, `impact.business-necessity`, `impact.alternative`) with `scope hypothetical` and `theory ... step of the strong-basis-in-evidence inquiry`. These blocks are correctly omitted from merits instance indexing.
- **Verdict:** **PASS**
---
## 4. Evaluation of Fresh Cases
### 8. `15usc1/us-550-544-bell-atlantic-v-twombly.case`
- **Analysis:** Captures the landmark Rule 8 pleading doctrine under § 1. Differentiates parallel resistance to CLECs from parallel non-entry into competitor territories using `theory`. Line 21 accurately assigns `[cuts-against absent]` to the complaint's decisive omission of independent agreement facts.
- **Verdict:** **PASS**
### 9. `15usc1/us-560-183-american-needle-v-nfl.case`
- **Analysis:** Accurately bifurcates the *Copperweld* capacity-to-conspire inquiry into (a) the 32 teams acting among themselves and (b) the teams acting through their joint corporate licensing instrumentality (NFLP). SCOTUS court metadata corrected from CA7. `restraint.per-se : not-reached` tagged `role rule-announced`.
- **Verdict:** **PASS**
### 10. `18usc1962/us-533-158-cedric-kushner-v-king.case`
- **Analysis:** Faithfully models the formal distinctness between a corporate employee ("person") and his wholly-owned corporation ("enterprise"). The ancillary employment block is scoped `role rule-announced` / `not-reached`. Fact polarities (`[cuts-against]` on scope of authority) match substantive doctrine.
- **Verdict:** **PASS**
### 11. `21usc841/us-571-204-burrage-v-united-states.case`
- **Analysis:** Accurately captures actual but-for causality under 21 U.S.C. § 841(b)(1)(C). Line 21 applies `[cuts-against absent]` to the expert toxicologist's inability to testify whether the victim would have lived but for the heroin. Concession on lesser-included distribution under § 841(a)(1) correctly tagged `[conceded]`.
- **Verdict:** **PASS**
### 12. `42usc1983/us-503-1-hudson-v-mcmillian.case`
- **Analysis:** Accurately reflects the rejection of a "significant injury" threshold under the Eighth Amendment, leaving force as non-de-minimis (`deprivation.eighth-amendment : satisfied [proved]`). Magistrate's undisturbed findings on supervisor liability and damages are tagged `scope lower-court`.
- **Verdict:** **PASS**
### 13. `42usc1983/us-526-40-american-manufacturers-v-sullivan.case`
- **Analysis:** Rigorously parses the *Lugar* state action inquiry: private insurers withholding workers' comp payments are not state actors (`color-of-law : not-satisfied [law]`), while state administrators are conceded state actors. Procedural due process property interest failure cleanly captured.
- **Verdict:** **PASS**
### 14. `42usc2000e-2/us-539-90-desert-palace-v-costa.case`
- **Analysis:** Faithfully captures the statutory construction of § 2000e-2(m) establishing that direct evidence is not required for a mixed-motive jury instruction (`role rule-announced`). Lower court findings are preserved via twin `scope lower-court` blocks.
- **Verdict:** **PASS**
---
## 5. What CASE DSL v1 Still Cannot Express
While CASE DSL v1 represents an enormous leap forward in epistemic precision, seven structural limitations remain:
1. **Structured "Mode-of-Analysis" Selection:**
- In *North Jackson Pharmacy*, *Dagher*, *Tunica*, and *American Needle*, the court chooses *which standard governs* (per se vs. rule of reason vs. quick look).
- In v1, tagging `role rule-announced` and `not-reached` correctly prevents recording a merits violation, but *which mode was selected* is recorded only in free-text `gloss` or `variant`. There is no typed `standard: rule-of-reason` field.
2. **Relational Constraints Across Elements:**
- *Cedric Kushner* (`person` distinct from `enterprise`), *Boyle* (`enterprise` distinct from `pattern`), *Dye/Heller* (`policy` requires `deprivation`), *Sullivan* (Fourteenth Amendment state-action convergence).
- Although `.law` files now have `constraint` definitions, a `.case` block can only attach to an `element <id>`, not to a multi-element constraint.
3. **Stage-Structured Burden-Shifting Protocols:**
- *McDonnell Douglas*, *Saucier* qualified immunity, and *Canton* failure to train are sequential proof protocols with shifting burdens.
- Treating `qualified`, `employer-reason`, and `pretext` as flat independent conjuncts understates the doctrine.
4. **Vehicles vs. Substantive Doctrine:**
- 42 U.S.C. § 1983 (*Hudson*, *Dye*, *Calabretta*) is a procedural vehicle for constitutional provisions. Inlining Fourteenth Amendment due process or Eighth Amendment excessive force as dotted sub-elements flattens complex multi-prong constitutional doctrines into a single block.
5. **Partial and Remedy-Limiting Defenses:**
- In *Desert Palace*, 42 U.S.C. § 2000e-5(g)(2)(B) (same-decision defense) limits *remedies* (eliminating damages and reinstatement) without defeating liability. CASE DSL's binary `satisfied` / `not-satisfied` holding syntax cannot represent a partial or remedy-limiting defense.
6. **Party-Asymmetric Scope:**
- In *Sullivan*, the property-interest holding is an alternative ground for private insurers, but the sole ground for state officials. Because `scope alternative` is assigned per-block rather than per-(block, party), asymmetric rulings cannot be natively expressed.
7. **Fact-to-Fact Rebuttal and Legislative Facts:**
- In *Prieto-Tejas* (income undercuts claimed drug habit) and *Twombly* (judicially-noticed articles undercut complaint allegations), one fact serves as counter-evidence to another fact. Polarity tags (`[supports]` / `[cuts-against]`) can only relate a fact to the parent element, not to another fact line.
- In *Sullivan* and *Moncrieffe*, facts describe statutory mechanisms rather than adjudicative event histories.
---
## 6. QA1 Sign-Off
The v1 CASE DSL grammar, `casedsl.py` toolchain, and migrated instances are **production-ready for downstream consumption** (database loading and semantic vector retrieval). All earlier QA defects have been faithfully rectified without altering canonical quote text.