law/R5-CRIMINAL.md

Source: law/R5-CRIMINAL.md
Exact source text

# Round 5 criminal catalogue repair and author review

Scope: `18usc922.law`, `18usc924.law`, `21usc846.law` and their per-statute research notes. Source corpus read-only at `/home/mma/repos/neochart/neochartdocroot`, selected with `NEOV2_CORPUS`. No CASE, source text, shared notes, tool, database, or generated-site file was edited by this lane. This is author verification; independent QA2 reverification remains separate.

## Findings and disposition

| Catalogue | Concrete defect | Repair |
| --- | --- | --- |
| 922(g) | Missing section 925(a)(1) exemption in all conduct formulas | Added `government-use`, with g9 preserved by `(status.g9 | (status & !government-use))` in all three claims; subsection (p) reservation identified |
| 922(g) | Fugitive and intimate-partner definitions omitted | Explicit section 921(a)(15)/(32) meanings attached to their correct nodes |
| 922(g) | Mental categories undecomposed; QA2 cites the wrong definition | Alternative adjudication/commitment children use section 922(g)(4) hooks and official 27 CFR 478.11 definitions; voluntary admission/observation excluded |
| 922(g) | User category has no ordinary temporal construction | Separate user/addict children; exact Purdy majority rule, explicitly Ninth Circuit and distinct from Hemani |
| 922(g) | Actual Small CASE has a limiting Supreme Court construction absent from LAW | Added domestic-only g1 conviction rule, explicitly judicial |
| 924(c) | Short-barrel and armor death alternatives existed only in gloss | Added statutory text anchors and distinct armor base/murder/manslaughter nodes; corrected disjunctive weapon grouping |
| 924(c) | Greater-minimum exception not structurally represented | Added both statutory provisos, penalty relation, and Abbott; does not negate base liability |
| 924(c) | Penalty labeling omitted constitutional status of aggravating facts | Added Alleyne proof constraint; retained base/aggravated distinction |
| 924(c) | Actual Dean CASE rule absent from LAW | Added no separate discharge intent rule, distinguished from later jury-proof requirement |
| 924(c) | Rosemond accomplice node disconnected from a claim | Added use/carry attribution route with explicit principal/accomplice allocation |
| 846 | Withdrawal/limitations defense only excluded by scope note | Added Smith's affirmative defense and conspiracy formula integration; withdrawal alone does not erase offense |
| 846 | Risk of treating inferred conspiracy elements as statutory enumeration | Explicit judicial-construction label; retained circuit limits on Leal/Joyce/Oviedo |

QA2 correction: **18 U.S.C. § 921(a)(4) is the destructive-device definition, not the mental-health definition.** QA2's desired subject-matter repair was implemented using the correct regulation; the reviewer report itself was not edited. Section 925(a)(1) also explicitly names **922(d)(9)**, which the spot-check's abbreviated exclusion description did not mention; the catalogue records it alongside g9 and p.

## Substantive self-review

Checked the changed claims against actual statutory alternatives and exceptions rather than relying on successful offsets. All new hooks were inspected for subsection context: automatic fill initially selected identical words in section 922(d), and these were corrected to the intended section 922(g)(3)/(4) offsets before final verification. No existing source offset was moved.

Opened Purdy's surrounding vagueness analysis and conclusion, Small's question/holding, Abbott's majority holding and explanation, Alleyne's minimum-increasing-fact analysis, Dean's discharge interpretation, and Smith's withdrawal/limitations analysis in the read-only IR. Exact ranges and primary-source URLs are recorded in the matching NOTES files. Existing McAdory/Hayes/Thompson scope qualifications remain; Thompson quotes a plea colloquy and is not elevated into a freestanding Supreme Court holding. Existing 924 use/carry/furtherance/nexus and invalid-residual-clause distinctions remain. Existing 846 attempt/conspiracy, informant, no-overt-act, and circuit-specific limitations remain.

The government-use expression was truth-table checked across all six coherent status/g9/exemption combinations: a qualifying g1-g8 status with covered government use fails; g9 remains available even with another status and government use; no status fails. Knowledge must still concern the independently qualifying status. The Hemani defense cannot defeat an independently established different status.

For 924, higher minimum replaces a lower penalty tier rather than barring the offense; an unrelated higher mandatory minimum does not eliminate the consecutive term. Brandishing/discharge are elements for an aggravated minimum, not universal base-offense requirements. Dean's absence of discharge intent is compatible with Alleyne's requirement to prove the discharge fact. Homicide branches require ammunition-use causation plus the incorporated homicide definition. Rosemond's route expressly attributes the firearm conduct to the principal and participation/advance knowledge to the accomplice.

For 846, the new defense is the combined withdrawal-before-limitations defense, not any withdrawal; government proof of timely conspiracy and defendant proof of withdrawal remain distinct. No conspiracy overt act was added and no attempt substantial step was removed.

## Verification evidence

| LAW | Statutory quotes | Case-rule quotes | Prior IDs preserved | CASE files / blocks |
| --- | ---: | ---: | ---: | ---: |
| 18usc922 | 30 | 9 | 24 / 24 | 15 / 45 |
| 18usc924 | 33 | 13 | 21 / 21 | 10 / 46 |
| 21usc846 | 8 | 9 | 7 / 7 | 10 / 19 |
| Total | 71 | 31 | 52 / 52 | 35 / 110 |

- `lawdsl.py check` on all three: **0 errors**.
- `casedsl.py check` on the three CASE directories: **35 files, 321 quotes, 0 errors**.
- Independent claim-symbol and CASE-ID resolution: **all 10 claims and 110 CASE blocks resolve**; all 52 original element/defense IDs retained.
- Existing `test_lawdsl.py`: **6 tests pass**. Existing parser emits ResourceWarnings for unclosed readers; no test failure and no tool changes made here.
- `git diff --check`: clean.

These are data/DSL edits; no application code, dependency, or build configuration changed. Database reload, generated-site build/publish, commit/push, global known-weakspot integration, and independent QA2 review belong to the leader.

## Retained limits for global known-weakspot integration

- 922(g): no full decomposition of legacy section 925(a)(2) military-program transactions, individualized section 925(c)/NICS relief, or every companion conviction-relief/visa/antique definition. Existing xrefs remain substantive qualifications. No full nationwide mental-commitment case survey or post-Hemani citator. Live eCFR was blocked; the official 2025 CFR edition is the verified dated regulatory source.
- 924(c): armor-ammunition branch has no directly researched interpretive case; companion predicate/homicide/weapon definitions and historical amendments require separate analysis. Not a complete ACCA/(j)/all-section-924 model, sentencing engine, general-defense catalogue, or every accomplice/Pinkerton route. Aggravator-specific mens rea and prior-conviction proof questions remain narrower than the added Alleyne rule.
- 846: object-offense authorizations, every quantity/enhancement attribution rule, other limitations/tolling/waiver issues, and all general defenses are not exhaustively modeled. Withdrawal is not automatic exoneration or post-attempt abandonment immunity.

No blanket all-PASS claim for statutory completeness is made. The identified operative omissions above are repaired; retained boundaries are listed explicitly for QA2.