Source: qa/cases-QA1.md
# QA Report: Review of CASE DSL v0 Instances (QA1)
**Reviewer:** QA1 (`gemini-3.8-flash-high`)
**Scope:** Independent audit of Fable's `.case` instances under `neov2/cases/`
**Charter Reference:** `neov2/specs/CHARTER.md`, `neov2/cases/NOTES.md`, `neov2/cases/*/VARIANTS.md`, `neov2/specs/qa_cases.md`
**Sample Rule:** 12 `.case` files sampled across all 5 pilot statutes using odd-numbered files in sorted directory order.
---
## 1. Executive Summary & Verification Suite
- **Machine Quote Verification:** All 12 sampled files (and all 60 files in the corpus) were verified against the canonical corpus IR records using `neov2/tools/casedsl.py check`.
- **Sampled Check (12 files):** `12 files, 264 quotes, 0 errors` (100% byte-for-byte fidelity with IR text).
- **Global Check (60 files):** `60 files, 1172 quotes, 0 errors`.
- **Audit Verdicts:**
- **PASS:** 9 files (Texaco v. Dagher, Goldfine v. Sichenzia, US v. Kitchen, Moncrieffe v. Holder, Calabretta v. Floyd, Hafer v. Melo, Turner v. Barber-Scotia College, Costa v. Markey, St. Mary's Honor Center v. Hicks).
- **FIX:** 3 files (North Jackson Pharmacy v. Caremark, Midwest Grinding Co. v. Spitz, Dye v. City of Warren).
- **Primary Fix Categories:**
1. *Conflation of governing legal standard with element satisfaction* (North Jackson Pharmacy: marking horizontal price-fixing per se restraint as `satisfied [conceded]` when defendant only conceded the standard applicable to a hypothetical proved case).
2. *Basis misalignment on summary judgment dismissals* (Midwest Grinding: remaining instances of `not-satisfied [proved]` that must be converted to `not-satisfied [no-evidence]` under v0.1 vocabulary).
3. *Basis misalignment on evidentiary summary judgment* (Dye: using `[law]` for excessive-force and deliberate-indifference summary judgment rulings where the court weighed and rejected plaintiff's evidence for lack of proof).
---
## 2. Sampled Case Files Matrix
The sample covers all 5 pilot statutes, mixing Supreme Court opinions, Circuit Court opinions, and District Court decisions across 4 decades (1982–2013):
| # | Statute | Relative Odd Index | Case File | Court | Year | Verdict |
|---|---|---|---|---|---|---|
| 1 | 15 U.S.C. § 1 | Odd #1 (0-idx 0) | `15usc1/f-supp-2d-385-740-north-jackson-pharmacy-v-caremark.case` | N.D. Ill. | 2005 | **FIX** |
| 2 | 15 U.S.C. § 1 | Odd #5 (0-idx 8) | `15usc1/us-547-1-texaco-v-dagher.case` | SCOTUS | 2006 | **PASS** |
| 3 | 18 U.S.C. § 1962 | Odd #1 (0-idx 0) | `18usc1962/f-supp-2d-118-392-goldfine-v-sichenzia.case` | S.D.N.Y. | 2000 | **PASS** |
| 4 | 18 U.S.C. § 1962 | Odd #3 (0-idx 4) | `18usc1962/f2d-976-1016-midwest-grinding-v-spitz.case` | 7th Cir. | 1992 | **FIX** |
| 5 | 21 U.S.C. § 841 | Odd #4 (0-idx 6) | `21usc841/f3d-57-516-us-v-kitchen.case` | 7th Cir. | 1995 | **PASS** |
| 6 | 21 U.S.C. § 841 | Odd #6 (0-idx 10) | `21usc841/us-569-184-moncrieffe-v-holder.case` | SCOTUS | 2013 | **PASS** |
| 7 | 42 U.S.C. § 1983 | Odd #1 (0-idx 0) | `42usc1983/f-supp-2d-367-1175-dye-v-city-of-warren.case` | N.D. Ohio | 2005 | **FIX** |
| 8 | 42 U.S.C. § 1983 | Odd #3 (0-idx 4) | `42usc1983/f3d-189-808-calabretta-v-floyd.case` | 9th Cir. | 1999 | **PASS** |
| 9 | 42 U.S.C. § 1983 | Odd #5 (0-idx 8) | `42usc1983/us-502-21-hafer-v-melo.case` | SCOTUS | 1991 | **PASS** |
| 10 | 42 U.S.C. § 2000e-2 | Odd #2 (0-idx 2) | `42usc2000e-2/f-supp-604-1450-turner-v-barber-scotia-college.case` | M.D.N.C. | 1985 | **PASS** |
| 11 | 42 U.S.C. § 2000e-2 | Odd #3 (0-idx 4) | `42usc2000e-2/f2d-706-1-costa-v-markey.case` | 1st Cir. | 1982 | **PASS** |
| 12 | 42 U.S.C. § 2000e-2 | Odd #5 (0-idx 8) | `42usc2000e-2/us-509-502-st-marys-honor-center-v-hicks.case` | SCOTUS | 1993 | **PASS** |
---
## 3. Detailed Case-by-Case Evaluations
### 1. `15usc1/f-supp-2d-385-740-north-jackson-pharmacy-v-caremark.case`
- **Citation:** 385 F. Supp. 2d 740 (N.D. Ill. 2005)
- **Machine Checker:** 14 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:**
- *Claim I (Plan Sponsors through Caremark as agent):* The court determined on a Rule 16 motion that the rule of reason, rather than per se condemnation, governs the alleged price-fixing agreement because the purchasing arrangement is ancillary to a productive cooperative venture. Marking `restraint.per-se : not-satisfied [law]` with variant `ancillary-restraint/cooperative-buying-through-common-agent` is faithful to the court's rejection of per se treatment.
- *Claim II (Caremark and rival PBMs):* **DEFECT.** Line 34 tags `element restraint.per-se : satisfied [conceded]`. The opinion text at 8548..8775 states: *"Caremark implicitly concedes that the conspiracy alleged in Claim II — that between Caremark and other PBMs to fix drug prices — would if proved constitute a naked horizontal price-fixing agreement subject to per se treatment."* Caremark conceded only the *standard* governing a hypothetical set of facts, NOT that a conspiracy occurred or that the element was satisfied! Marking an unproven, disputed conspiracy as `satisfied [conceded]` misrepresents the judicial posture.
- **Variant Label Accuracy:** `ancillary-restraint/cooperative-buying-through-common-agent` and `hub-and-spoke/buyers-knowingly-sharing-common-purchasing-agent` are doctrinally sound.
- **Missing Facts / Quotes:** Pleading stage facts are accurately excerpted.
- **Verdict:** **FIX**
- *Remedy:* Retag Claim II `restraint.per-se` as `not-reached [conceded]` (or create a dedicated `mode-selected` block) and document in the gloss that Caremark conceded only the legal mode of analysis conditional on proof.
---
### 2. `15usc1/us-547-1-texaco-v-dagher.case`
- **Citation:** 547 U.S. 1 (2006)
- **Machine Checker:** 13 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** The Supreme Court held that the per se rule against price fixing does not apply to the pricing decisions of a lawful, economically integrated joint venture (Equilon). Because respondents disclaimed any rule-of-reason challenge, rejecting per se and quick-look condemnation was completely fatal to their claim. All holdings (`restraint.per-se : not-satisfied [law]`, quick-look alternative `not-satisfied [law]`, `x-ancillary-restraints : not-satisfied [law]`) faithfully reflect Justice Thomas's majority opinion.
- **Variant Label Accuracy:** `per-se-rejected/single-price-set-by-lawful-integrated-joint-venture`, `quick-look-rejected/single-price-set-by-lawful-integrated-joint-venture`, and `doctrine-inapplicable/core-activity-of-venture` are exceptionally precise.
- **Fidelity to Corpus / OCR:** Line 15 captures the hyphenated OCR token from IR text (`formed- a joint venture`) verbatim without manual "cleaning," respecting the zero-mutation invariant.
- **Verdict:** **PASS**
---
### 3. `18usc1962/f-supp-2d-118-392-goldfine-v-sichenzia.case`
- **Citation:** 118 F. Supp. 2d 392 (S.D.N.Y. 2000)
- **Machine Checker:** 41 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** Meticulous extraction across 16 blocks. Accurately reflects:
- `injury : not-satisfied [pleaded]` due to lack of ripeness (unexhausted mortgage/guaranty collateral remedies under *First Nationwide*).
- § 1962(a) `investment : not-satisfied [pleaded]` and `causation : not-satisfied [pleaded]` under the *Ouaknine* investment-injury rule.
- § 1962(c) `enterprise : not-satisfied [pleaded]` under pre-*Boyle* Second Circuit standards requiring an enterprise distinct from the fraud scheme itself.
- *Reves* operation-or-management conduct tests cleanly bifurcated between the borrower principals (`satisfied [pleaded]`) and peripheral relatives/service providers (`not-satisfied [pleaded]`).
- No private right of action for aiding and abetting RICO (`x-aiding-abetting : not-satisfied [law]`).
- **Variant Label Accuracy:** Genus/species labels are exemplary (e.g., `not-ripe/secured-lender-has-not-exhausted-collateral-remedies`, `investment-injury-rule/injury-flows-from-predicate-acts-not-investment`).
- **Verdict:** **PASS**
---
### 4. `18usc1962/f2d-976-1016-midwest-grinding-v-spitz.case`
- **Citation:** 976 F.2d 1016 (7th Cir. 1992)
- **Machine Checker:** 25 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** The Seventh Circuit affirmed summary judgment for defendants, finding that an insider's 9-month customer diversion scheme lacked closed-ended continuity, lacked open-ended continuity once employment ended, and that litigation cover-up mailings could not bootstrap continuity.
- **Basis Discrepancy:** **DEFECT.** Lines 13 and 26 mark `pattern.continuity : not-satisfied [proved]`, and line 64 marks `conspiracy : not-satisfied [proved]`. As Fable noted in `NOTES.md` line 71, this was written before v0.1 added `no-evidence`. The procedural posture was summary judgment granted against the claimant for legal insufficiency of the evidence, NOT a bench trial finding of fact (`proved`).
- **Variant Label Accuracy:** `continuity/closed-ended-too-short` and `continuity/open-ended-no-threat-scheme-ended-with-employment` accurately capture Seventh Circuit multi-factor doctrine.
- **Verdict:** **FIX**
- *Remedy:* Retag lines 13, 26, and 64 from `[proved]` to `[no-evidence]`.
---
### 5. `21usc841/f3d-57-516-us-v-kitchen.case`
- **Citation:** 57 F.3d 516 (7th Cir. 1995)
- **Machine Checker:** 13 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** The Seventh Circuit reversed a § 841(a)(1) conviction for insufficient evidence of possession where the defendant momentarily picked up a kilogram of cocaine for 2–3 seconds during an inspection in a reverse sting before any payment or verbal assent. The holdings (`possession : not-satisfied [no-evidence]` under both actual and constructive possession theories) are completely faithful to the opinion.
- **Basis Tagging:** Block headers correctly use `[no-evidence]`. (Note: Gloss and misfit lines retain drafting residue referencing the older `[proved]` tag, but this does not affect the machine-parsed block contract).
- **Variant Label Accuracy:** `actual/momentary-handling-during-inspection-before-assent` and `constructive/no-recognized-authority-over-sellers-drugs` cleanly capture the criminal milieu authority test.
- **Verdict:** **PASS**
---
### 6. `21usc841/us-569-184-moncrieffe-v-holder.case`
- **Citation:** 569 U.S. 184 (2013)
- **Machine Checker:** 11 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** Outstanding analysis of the categorical approach in immigration law. Under the categorical approach, the actual conduct (1.3g of marijuana found during a traffic stop) is irrelevant; the state statute of conviction (Ga. Code § 16-13-30(j)(1)) is compared in the abstract to the federal CSA default. Because Georgia prosecutes small amounts without remuneration, the state conviction does not necessarily correspond to an 841(b)(1)(D) felony rather than an 841(b)(4) misdemeanor.
- **Variant Label Accuracy:** `categorical-match/state-possession-with-intent-offense` and `felony-vs-misdemeanor-tier/state-conviction-does-not-negate-b4-social-sharing` represent the doctrine with great precision.
- **Verdict:** **PASS**
---
### 7. `42usc1983/f-supp-2d-367-1175-dye-v-city-of-warren.case`
- **Citation:** 367 F. Supp. 2d 1175 (N.D. Ohio 2005)
- **Machine Checker:** 33 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** The district court granted summary judgment for defendants on all federal claims arising from two traffic encounters.
- *First stop:* Tagging `deprivation.fourth-amendment : not-satisfied [law]` (no seizure because motorist drove away) is faithful to *Graham*.
- *Second stop:* **DEFECT.** Line 24 tags `deprivation.fourth-amendment : not-satisfied [law]`. However, this was an evidentiary summary judgment determination where the court weighed objective hospital records (wrist contusion only, negative CT scan) against plaintiff's affidavit alleging a brutal beating and macing, concluding plaintiff failed to create a genuine issue of excessive force. Under v0.1 vocabulary, this is `not-satisfied [no-evidence]`, not `[law]`.
- *Failure to train:* **DEFECT.** Line 46 tags `policy.failure-to-train : not-satisfied [law]`. While derivative dismissal under *Heller* is legal, the court's independent holding (lines 53/54) held plaintiff failed to produce any evidence of deliberate indifference (`no-evidence`).
- *Qualified immunity:* Tagged as `defense qualified-immunity : satisfied [law]`, but the opinion states this was an alternative *arguendo* holding ("even if the officer unreasonably used force...").
- **Verdict:** **FIX**
- *Remedy:* Retag Count II excessive force and failure to train to `[no-evidence]`, and note the alternative/hypothetical character of the qualified immunity defense.
---
### 8. `42usc1983/f3d-189-808-calabretta-v-floyd.case`
- **Citation:** 189 F.3d 808 (9th Cir. 1999)
- **Machine Checker:** 26 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** The Ninth Circuit affirmed the denial of qualified immunity on interlocutory appeal, holding that coercing entry into a home without a warrant during a non-exigent child welfare check and strip-searching a 3-year-old child violated clearly established Fourth Amendment rights. Tagging `defense qualified-immunity : not-satisfied [law]` (meaning the defense failed) is completely faithful to the appellate outcome.
- **Variant Label Accuracy:** `clearly-established/warrantless-home-entry-child-welfare-check-no-exigency` and `clearly-established/strip-search-of-child-during-unlawful-home-entry` accurately reflect the two-step *Saucier* inquiry.
- **Verdict:** **PASS**
---
### 9. `42usc1983/us-502-21-hafer-v-melo.case`
- **Citation:** 502 U.S. 21 (1991)
- **Machine Checker:** 16 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** Justice O'Connor's unanimous opinion held that state officials sued in their individual capacities for damages are "persons" subject to liability under § 1983, even for acts taken in their official capacities. The separation between personal capacity (`satisfied [law]`) and official capacity reinstatement (`satisfied [law]`), alongside rejections of Eleventh Amendment sovereign immunity and state-executive absolute immunity, is faithfully documented.
- **Variant Label Accuracy:** `individual/state-official-sued-in-personal-capacity-for-official-acts` and `sovereign-immunity/personal-capacity-damages-not-against-treasury` are flawless.
- **Verdict:** **PASS**
---
### 10. `42usc2000e-2/f-supp-604-1450-turner-v-barber-scotia-college.case`
- **Citation:** 604 F. Supp. 1450 (M.D.N.C. 1985)
- **Machine Checker:** 35 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** Following a full bench trial with findings of fact and conclusions of law, the district court entered judgment for the college against two discharged white professors.
- *Basis Audit (`[proved]` vs `[no-evidence]`):* Lines 30, 41, 57, and 67 use `not-satisfied [proved]`. This is one of the files flagged in `NOTES.md` line 71 for QA review. After close inspection of the opinion, `[proved]` is **FAITHFUL** here: this was a bench trial where the judge sat as factfinder, evaluated live testimony, and made affirmative factual findings that the true motivating animus was a contract and unionization dispute rather than race. Unlike summary judgment (which turns on absence of triable evidence), the court here weighed the evidence and affirmatively found non-discrimination as fact.
- **Variant Label Accuracy:** `legitimate-expectations/subjective-institutional-fit-after-labor-dispute` and `falsity-alone/exaggerated-or-shifting-reasons-but-nonracial-animus` capture the pre-*Hicks* dynamic where pretext in fact did not equal pretext for race.
- **Verdict:** **PASS**
---
### 11. `42usc2000e-2/f2d-706-1-costa-v-markey.case`
- **Citation:** 706 F.2d 1 (1st Cir. 1982)
- **Machine Checker:** 17 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** This file tackles the extreme corpus anomaly where a single IR record concatenates two opposing decisions: the 1982 panel opinion affirming liability under *Teal* (female-only hiring list does not excuse exclusionary height barrier), and the 1983 en banc opinion reversing liability (no disparate impact when competition is solely among women).
- The file captures both the en banc holding (`impact : not-satisfied [law]`) and the panel holding (`impact : satisfied [law]`), utilizing the `for` field as a discriminator.
- **Variant Label Accuracy:** `statistical-disparity/neutral-barrier-applied-to-single-sex-applicant-pool` and `general-population-statistics/minimum-height-requirement` pinpoint the exact theoretical dispute over the unit of analysis.
- **Verdict:** **PASS** (Superb extraction given the structural defects of concatenated IR records).
---
### 12. `42usc2000e-2/us-509-502-st-marys-honor-center-v-hicks.case`
- **Citation:** 509 U.S. 502 (1993)
- **Machine Checker:** 17 quotes verified; 0 errors.
- **Doctrinal & Holding Fidelity:** The Supreme Court held that a factfinder's disbelief of the employer's articulated nondiscriminatory reasons permits, but does not compel, a finding of intentional discrimination under Title VII.
- `pretext : not-satisfied [law]` with variant `falsity-alone/reason-disbelieved-but-no-finding-of-discriminatory-motive` is entirely faithful to Justice Scalia's majority holding.
- Attaching body quotes to `element because-of : not-reached` with variant `ultimate-burden/personal-animus-not-racial` accurately preserves the trial court's underlying finding of personal animus that the Supreme Court revived for appellate reconsideration.
- **Verdict:** **PASS**
---
## 4. Overall Assessment: Is CASE DSL v0 Usable? What Breaks?
### A. Is the Notation Usable?
**Yes, with high confidence.** CASE DSL v0 is a massive improvement over unstructured JSON schemas or natural-language prose summaries.
1. **Zero Text Mutation Contract is Fully Realized:** The strict rule that text is never modified, paired with automated offset verification (`casedsl.py fill` and `check`), guarantees 100% corpus fidelity. All 1,172 quotes in the repository verify without a single byte mismatch or hallucination.
2. **The Element × Holding × Basis × Variant Matrix Works:** For 80%+ of conventional cases applying law to facts, the four-tuple provides exactly the structured skeleton needed to link statutory text to concrete fact scenarios.
3. **Genus-Level Clustering Succeeds:** Genera such as `operation-or-management/`, `clearly-established/`, `per-se-rejected/`, `actual/`, and `constructive/` recur reliably across opinions and align cleanly with substantive doctrine.
### B. What Breaks? (Core Pathologies & Edge Cases)
1. **Conflating Legal Standard Selection with Element Satisfaction:**
- In *North Jackson Pharmacy*, *Dagher*, *Leegin*, and *American Needle*, the court decides *which standard of review applies* (per se vs. rule of reason vs. quick look).
- In v0, this is forced into `restraint.per-se : not-satisfied [law]`, which misleadingly signals that the restraint is lawful, or `satisfied [conceded]`, which signals that illegal price-fixing occurred.
- **Fix:** Introduce an explicit holding keyword `mode-selected` or an element attribute `standard: per-se | rule-of-reason | quick-look`.
2. **Multistep Burden-Shifting Protocols vs. Independent Elements:**
- *McDonnell Douglas* (*Hicks*, *Turner*) is a single burden-shifting protocol for the statutory element `because-of`. In v0, `qualified`, `employer-reason`, and `pretext` are treated as independent conjuncts.
- Meeting step 2 (`employer-reason`) is merely satisfying a burden of production; it does not mean the employer's reason was proved true.
- **Fix:** Introduce a `protocol` block on the law side with typed stages (`production`, `rebuttal`, `persuasion`).
3. **Statutes as Vehicles vs. Substantive Law:**
- In 42 U.S.C. § 1983 (*Dye*, *Calabretta*), § 1983 provides no substantive rights; the doctrine lives entirely in the incorporated constitutional amendment (Fourth, Eighth, Fourteenth).
- In 21 U.S.C. § 841 (*Moncrieffe*), § 841 is used purely as an abstract federal yardstick under the immigration categorical approach; the defendant's actual conduct is legally irrelevant.
- **Fix:** Allow cross-statute references (`law 42usc1983 vehicle-for const.amend.4`).
4. **Multi-Opinion IR Documents & Composite Records:**
- In *Costa v. Markey*, panel rehearing and en banc reversal are concatenated in a single IR file. In *United States v. Person*, a district judge order and magistrate report are merged.
- Authors were forced to overload `for` (e.g. `for en banc opinion`) to prevent conflicting element declarations.
- **Fix:** The data pipeline must provide opinion-span segmentation (majority, concurrence, dissent, panel, en banc), and CASE DSL should support an `opinion:` header attribute.
5. **Epistemic Ambiguity of Basis (`proved` vs `no-evidence` vs `triable`):**
- In v0, summary judgment against a plaintiff was ambiguous. v0.1 introduced `no-evidence`, but existing instances (*Midwest Grinding*, *Dye*) retained `proved` or `law`.
- **Rule Clarification:**
- `triable`: Claimant produced sufficient evidence to survive summary judgment / reach jury.
- `no-evidence`: Summary judgment granted against claimant / sufficiency reversed on appeal.
- `proved`: Trier of fact (bench trial or upheld jury verdict) affirmatively found the fact upon weighing evidence.
- `law`: Pure question of legal/statutory interpretation independent of factual sufficiency.
6. **Relational Constraints Between Elements:**
- Across all five statutes, courts hold that Element A is distinct from Element B (RICO person ≠ enterprise in *Cedric Kushner*; § 1983 policy requires deprivation in *Heller*; Title VII falsity does not entail intentional discrimination in *Hicks*).
- v0 can only record this in free-text `gloss` or `misfit` lines.
- **Fix:** Add a law-side constraint syntax (`distinct(person, enterprise)`, `requires(policy, deprivation)`).
---
## 5. QA Sign-Off & Recommendations
1. **Commit Policy:** Do not alter the reviewed `.case` files directly (preserving author/reviewer separation).
2. **Action for Fable / Authoring Team:**
- Apply the 3 per-file fixes identified above (`North Jackson Pharmacy`, `Midwest Grinding`, `Dye`).
- Clean up drafting residue in `Kitchen` (gloss/misfit `[proved]` mentions).
3. **Green Light for Astra / Schema Phase:** CASE DSL v0 and its variant catalogues are empirically grounded, strictly verified, and ready to seed the relational database schema and vector embedding pipeline.