Source: law/R5-REPAIR-SUMMARY.md
# Round 5 LAW repairs — author implementation, not QA2 approval This responds to [QA2's spot-check](../qa/law-wave2-QA2-spot.md) and re-audits all ten Wave 2 catalogues for missing operative elements/exceptions, incorrect case pins, and unlabelled judicial constructions. **QA2 re-verification remains pending.** The original review reports are preserved; this report does not replace their verdicts. ## Repairs and audit trail | Catalogue | Implemented change | Detailed evidence | | --- | --- | --- | | 18usc922 | Conditional government-use exception preserving g9, correct incorporated definitions, regular-use temporal construction, domestic-conviction limit | [Criminal audit](R5-CRIMINAL.md) | | 15usc78j | Securities-based-swap alternative and extension; separate private purchaser/seller requirement | [Financial audit](R5-FINANCIAL.md) | | 29usc623 | Route-conditioned exceptions, pension accrual and retirement conditions, circuit-specific applicant coverage, full union branches | [Civil audit](R5-CIVIL.md) | | 18usc1341 | Complete mailing/carrier/receipt/delivery alternatives and causation; innocent-mailing nexus | [Financial audit](R5-FINANCIAL.md) | | 18usc1343 | Complete transmission payload anchor and judicial causation/object qualifications | [Financial audit](R5-FINANCIAL.md) | | 18usc924 | Greater-minimum proviso, aggravated penalty proof, homicide/weapon alternatives and operative accomplice route | [Criminal audit](R5-CRIMINAL.md) | | 15usc1125 | State-defendant coverage/immunity distinction and judicial domestic-use condition | [Civil audit](R5-CIVIL.md) | | 42usc1981 | Conditional hostile-environment threshold, anchored proof protocol and accurately limited noncontract scope | [Civil audit](R5-CIVIL.md) | | 21usc846 | Withdrawal-before-limitations defense separated from negation of conspiracy and attempt abandonment | [Criminal audit](R5-CRIMINAL.md) | | 29usc158 | Full union-security/construction provisos, employee-status qualification and trigger-specific alternative bargaining duties | [NLRA audit](R5-NLRA.md) | Two reviewer references required correction rather than copying: section 921(a)(4) defines destructive devices, not mental commitment (the relevant regulation is 27 C.F.R. § 478.11); the existing ADEA causation pin is Westmoreland, not the different Pelcha case named by QA1. The proper pins and definitions are documented in the audits. Every prior Wave 2 element ID remains: 144 retained, 179 after additions. The only CASE edit changes Kleber's block kind from defense to the corresponding judicial coverage element and corrects its explanatory noun. Its ID, holding, basis, source pins and quotes are untouched. Regenerating its variant catalogue also corrected an existing stale absent-fact aggregate. No source law or opinion text was edited. ## Verification - All fifteen canonical LAW files: 387 statutory quote spans, 421 block/constraint case-rule spans, zero checker errors. Additional protocol/mode pins are validated by the checker/loader but omitted from that CLI's printed quote count. - All 165 CASE files: 2,182 quote occurrences, zero errors; all quote tuples equal baseline `b662728`. One unchanged pilot warning remains for Moncrieffe's element/exception kind; no new Wave 2 kind warnings remain. - All Wave 2 claim symbols and existing CASE element references resolve. - Actual canonical database reloaded: 15 laws, 318 elements, 164 distinct opinions, 165 case-law contexts, 831 issue blocks, 348 qualifying merits instances. Integrity check is `ok`; foreign-key check is empty and missing element references are zero. - Existing LAW/parser/integration tests: 13 pass. Loader tests: 18 pass. - Bounded author-separated peer checks caught and resolved NLRA notice/status issues and confirmed the critical 922/623 conditional fixes; final QA2 is separate. ## Reproduce ```bash export NEOV2_CORPUS=/home/mma/repos/neochart/neochartdocroot python3 neov2/tools/lawdsl.py check neov2/law/*.law python3 neov2/tools/casedsl.py check neov2/cases python3 neov2/tools/casedsl.py quotes-equal b662728 neov2/cases python3 neov2/tools/load.py --corpus "$NEOV2_CORPUS" ``` See [Known weak spots](NOTES.md) and the four audit reports. Claim formulas remain descriptive: neither a solver for legal liability nor an assertion of exhaustive coverage, current good law in every jurisdiction, or independent legal acceptance. The final integration also preserves concurrently pushed CASE scope corrections. The combined snapshot has 348 merits instances; that change is not attributed to LAW text edits. All 165 CASE quote multisets still equal baseline b662728.