Source: qa/law-QA2.md
# QA2 review — LAW catalogues ## Method and source verification Reviewed the charter, LAW DSL specifications, NOTES, all five top-level law catalogues, and Argon's archived § 1962 catalogue. Checked the current statutory text against the Office of the Law Revision Counsel's U.S. Code pages, and checked the pinned quote offsets with the local loader. Opened three interpretive anchors per statute and read their source opinion text. All statutory quote spans checked byte-for-byte. `lawdsl.py check` passed for the four current DSL catalogues: § 1 (19 statutory / 49 case-rule quotes), § 1962 (41 / 66), § 841 (21 / 48), and § 1983 (31 / 69), each with zero errors. The § 2000e-2 file is still in the earlier `LAW v0` record format and is rejected by `lawdsl.py check` (304 parse/source errors); a direct check of its legacy `verbatim_quote`/`start`/`end`/`source` records found 20/20 exact statute spans. Its rule records point to case IDs and descriptions rather than quote offsets, so those case anchors are not checked by the LAW loader. Verdicts assess completeness and legal attachment, not quote transcription. `FIX` identifies a material omission, overstatement, or misattached rule; it does not authorize editing these files. ## Per-statute verdicts and case anchors ### 15 U.S.C. § 1 — **FIX** The text-to-elements map covers the agreement, restraint, interstate-commerce limitation, and penalty language, and § 1 itself has no statutory exception to represent. The civil claim appropriately points to the Clayton Act for private injury and standing. The criminal claim, however, hard-requires `restraint.per-se` and describes modern criminal cases as limited to naked per-se horizontal restraints. Section 1 does not impose that limitation: *United States v. U.S. Gypsum* recognizes criminal § 1 liability outside the per-se category when the required intent is proved. Keep `per-se` as one criminal route and represent the non-per-se route with its distinct mens rea. The `agreement.x-monsanto-exclusion-of-independent-action` vocabulary should also be kept conditional on the circumstantial-evidence inference; it is not a universal additional element. Opened anchors: - **PASS — American Needle**, agreement: the Court expressly defines concerted action by separate economic decisionmakers pursuing separate interests. - **PASS — Leegin**, per-se restraint: the Court explains the experience/confidence threshold for per-se treatment and rejects automatic per-se treatment for vertical resale pricing. - **PASS — Cooperative Theatres**, criminal intent: the quoted passage directly says knowing joinder suffices for a per-se prosecution, without proof of knowledge of probable effects. Official text: [15 U.S.C. § 1](https://uscode.house.gov/us/usc/119-118/t15/s1/). ### 18 U.S.C. § 1962 — **FIX** Subsections (a)–(d), the open-market proviso in (a), and the civil remedy cross-reference are represented. The catalogue is not complete as a usable predicate-offense index: `racketeering` names § 1961(1)'s exhaustive predicate list, but the listed child entries cover only a subset and do not clearly mark the remaining predicates as open/unmodeled. More seriously, the `enterprise.distinct-from-pattern` entry attaches the pre-*Boyle* “existence beyond the predicate acts” rule from *Seville* as an element rule. The gloss says that feature was relaxed by *Boyle*, but the rule record has no historical qualifier; it can be read as current law. Move the historical rule to a dated/overruled note and keep *Boyle*'s distinct-element/overlapping evidence rule as the operative interpretation. The `racketeering.extortion` anchor to *NOW v. Scheidler* discusses the economic effect of alleged extortion; it does not supply the Hobbs Act “obtaining property” test that the gloss states. Add an anchor that actually decides that test (for example, *Scheidler II*) or label the existing quote as context only. Opened anchors: - **PASS — Boyle**, enterprise: the quoted purpose/relationships/longevity test supports the association-in-fact element and its no-hierarchy rule. - **PASS — NOW v. Scheidler**, enterprise: the Court directly holds § 1962(c) does not require economic motive. - **PASS — Reves**, conduct: the quoted holding directly supplies the operation-or-management test. #### Astra4 / Argon comparison The active and archived DSL specifications are identical. Both § 1962 files use the same element/constraint/claim vocabulary and both pass quote and rule checks; Argon is not a distinct notation proposal in this snapshot. Readability and its treatment of non-deterministic standards are therefore effectively tied: the structured IDs and Boolean claim expressions are compact, while open-ended legal tests still live in prose `gloss` fields. The active Astra4 file has more accurate statutory provenance: for repeated text such as “any person” and “any enterprise,” it points to the actual (a)/(b)/(c)/(d) occurrences; Argon repeats the first occurrence's offset. Keep Astra4 as canonical and merge only any future substantive rule or scope change after reviewing its source. Preserve explicit prose for standards that cannot be reduced to a binary test. Official text: [18 U.S.C. § 1962](https://uscode.house.gov/us/usc/119-120/t18/s1962/). ### 21 U.S.C. § 841 — **FIX** The claims expressly model § 841(a)(1), possession with intent, and selected § 841(b)(1) penalty enhancements. The file title and header still identify the whole of § 841, whose text also contains the counterfeit-substance offense in (a)(2), numerous distinct listed-chemical, boobytrap, internet, and other offenses in (c)–(h), and many more penalty tiers and exceptions. Either scope the catalogue explicitly to (a)(1) plus selected (b) tiers, or model the omitted branches before treating this as a complete § 841 law. Within the selected scope, the quantity entry provides a single threshold quote rather than making clear that it summarizes a large, drug-specific threshold table. `aiding` also combines 18 U.S.C. § 2 aiding with § 846 conspiracy, which are separate liability routes and do not belong as a § 841 element. Separate them and identify them as cross-statute routes. Opened anchors: - **PASS — Tiangco**, act.distribute: the opinion quotes the CSA definitions and applies attempted transfer as distribution; the anchor supports the delivery rule. - **PASS — Kitchen**, possession: the opinion directly requires authority or ability to exercise control over contraband. - **PASS — Burrage**, death-results: the Supreme Court directly holds but-for causation is required for the § 841(b)(1)(C) enhancement when the drug was not independently sufficient. Official text: [21 U.S.C. § 841](https://uscode.house.gov/us/usc/119-118/t21/s841/). ### 42 U.S.C. § 1983 — **FIX** The judicial-officer bar on injunctive relief and D.C.-law inclusion clause are both captured. The latter is labeled `exception`, although it extends the statute's coverage rather than carving it out. The individual-injunctive claim requires an element named `damages`, while that block's definition conflates cognizable injury with remedies available in law/equity. A prospective injunction does not require proof of damages, so separate standing injury from remedy-specific relief and rename/scope this element. One rule anchor is plainly misplaced: `deprivation.first-amendment` points to *Olivier v. City of Brandon* text about *Heck*'s bar on using § 1983 to challenge a conviction, not a First Amendment rule. Replace it with an opinion holding that supports the First Amendment deprivation entry. The generic policy and person entries also need to remain remedy/capacity-specific as the existing glosses say. Opened anchors: - **PASS — Hafer**, person: the Court directly distinguishes personal-capacity defendants from state officials sued for damages in their official capacity. - **PASS — American Manufacturers**, color-of-law: the Court directly holds that state approval or regulation alone does not make private action state action. - **FIX — Olivier**, deprivation.first-amendment: the selected passage is about *Heck* and a conviction challenge; it does not support the attached First Amendment element. Official text: [42 U.S.C. § 1983](https://uscode.house.gov/us/usc/119-124/t42/s1983/). ### 42 U.S.C. § 2000e-2 — **FIX** The 20 current legacy-format quote spans are exact, but this catalogue is incomplete and cannot be checked by the current LAW loader. It includes a few core disparate-treatment and disparate-impact phrases, but leaves out major statutory practice routes in (a)(2), (b), (c), and (d); the express exceptions/qualifications in (e)–(j); the intentional-discrimination limitation in (k)(2) and controlled-substance rule in (k)(3); discriminatory test-score rule (l); and judgment-preclusion provisions in (n). The legacy file lists no `exception` blocks for the BFOQ, religious-institution, seniority/merit/ability-test, Indian preference, or national-security provisions. `qualified` and `pretext` are case-law frameworks rather than statutory elements; their descriptions acknowledge that, but the current element rows can still mislead a downstream consumer. The `retaliation` row correctly notes that retaliation is in § 2000e-3, not this section. Migrate this file to the current LAW DSL and give case rules exact offsets before integration. Opened anchors: - **PASS — Harris**, hostile environment: the Court directly rejects psychological injury as a necessary requirement and supplies the hostile-or-abusive-environment standard. - **PASS — St. Mary's Honor Center v. Hicks**, pretext: the opinion directly distinguishes disbelieving an employer's reason from finding intentional discrimination; suitable as a pretext anchor, not as a statutory phrase. - **FIX — Ricci**, impact: it supplies relevant business-necessity/alternative-practice analysis, but only within the hypothetical disparate-impact defense to an intentional-discrimination claim; scope the anchor to that use rather than treating it as an adjudicated (k) claim. Official text: [42 U.S.C. § 2000e-2](https://uscode.house.gov/us/usc/119-118/t42/s2000e-2/). ## Recommendation Keep Astra4's current LAW DSL as the canonical syntax. It is materially easier to trace than Argon's specimen because it pins each repeated statutory phrase to the occurrence for the relevant subsection; otherwise the two use the same notation, so there is no readability or indeterminism advantage to Argon to adopt. Merge useful improvements into the active catalogue only after their claim scope, historical validity, rule-to-element attachment, and exception semantics are explicit. Maintain prose for open-textured standards and keep statutory alternatives separate from legal inferences. Verification summary: four current DSL catalogues passed `lawdsl.py check`; the legacy Title VII file's 20 statute quote spans matched its source exactly by direct offset comparison. The current parser does not accept Title VII's legacy format. No law files or source opinions were edited.