Source: law/R6-MASTER-VERIFICATION.md
# Round 6 — landed-object verification and remaining corrections ## What was actually on master before this round The inspected `origin/master` was **898b8418c3f7bdbeaec60c056d4e5a640e3931cf**, the commit adding [QA2's re-verification report](../qa/law-wave2-QA2-reverify.md). `e754f2299b5370c34cf8b2df98ec85f5c1c8b6cb` is its ancestor. All six disputed LAW files were byte-identical at those two commits; `git diff e754f22 898b841 --` on those paths is empty. The repairs therefore did land and remain present. This is not evidence of a lost push or reverted patch in the inspected history. | LAW file | Git blob at BOTH e754f22 and 898b841 | | --- | --- | | 18usc922.law | `64c49c9ac5dadf13c82d4f1dae339ac43f40b383` | | 15usc78j.law | `18d69a465dc34c150ff07c2a74c38521214919f6` | | 29usc623.law | `864c8a15484a0d0cbf6b63d3b5638bc92d67be9a` | | 18usc1341.law | `9a301a221fdcba8cd9c47251b1cb17ce29d0587e` | | 18usc924.law | `6ca0ee8f63fb0fcadfd1ba5385a478ccb1d630c0` | | 29usc158.law | `1be49ef27258dafa1f6b16f9839260bd4531d0cd` | The report's assertions that these changes are absent conflict with the inspected Git objects. It does not record the exact reviewed commit, so the cause of that mismatch cannot be established from the report. A stale checkout or context is possible but is not asserted as a proven explanation. The report is preserved; this evidence record does not silently rewrite a review verdict. ## Open-item disposition | Item in the report | Existing landed implementation / current action | | --- | --- | | 922(g), government use | All three formulas use `(status.g9 | (status & !government-use))`; the exception explicitly incorporates §925(a)(1), preserves g9 and p, and explains its object/conduct scope. Retained. | | Specific status definitions | Fugitive §921(a)(15), intimate partner §921(a)(32), split user/addict and mental adjudication/commitment nodes already exist. Retained. | | Mental-definition citation | Preserve the correct 27 C.F.R. §478.11 references. [Official921(a)(4)](https://uscode.house.gov/us/usc/t18/s921/) defines destructive devices, not mental commitment; the repeated reviewer citation must not be inserted as a false definition. | | 78j(b) swaps and private standing | `transaction.swap`, both concluding-extension anchors, separate `purchaser-seller` node and private-only formula reference already exist. Retained. | | ADEA exceptions and pension | Actor routes already contain conditional f-exceptions; pension-accrual uses its own covered-plan actor and safeguards. Applicant coverage is a circuit-conditioned element/constraint, not the former universal exception; c(1)-(3), public-safety and executive-retirement conditions are present. Retained. | | Mail acts | Postal placement, carrier deposit/causation, taking/receiving, knowingly caused delivery are all exactly anchored under mails. Retained. | | 924 penalties | Short-barreled rifle/shotgun tier and armor base/murder/manslaughter nodes already exist; historical weapon wording is qualified. Retained. | | Union security | Complete provisos and waiting/representation/rescission/equal-membership/dues conditions already exist. Added a separately anchored independence child and a governing constraint making the conjunction of safeguards explicit. | | CBOCS | Changed the existing remedies block to `satisfied [law]`, `role applied`, `scope procedural`, with a remedial-independence theory. Added a separate bare not-reached remedies block for actual relief. Existing ID, quote kind/text/offsets and other outcomes are preserved. | Mastro Plastics was also already recorded in e754f22, expressly limited to the section 8(d) status-loss context. It was not encoded as a union-security exception; that distinction remains. The complete union-security qualification was checked against [official158(a)(3)](https://uscode.house.gov/us/usc/t29/s158/) and the unchanged local IR. The new independence span is 971..1082 in that same record. CBOCS's existing quote 20427..21416 rejects the procedural-circumvention objection in the majority's reasoning. The new label records that decided legal issue, not a damages award or proved retaliation. Both the procedural ruling and the separate unresolved-relief block remain excluded from merits-instance counts. A bounded independent peer pass confirmed this classification and the new independence node; final QA2 substantive acceptance remains separate. ## Verification contract - `lawdsl.py check neov2/law/*.law`: 15 files, 388 statutory spans, 421 printed block/constraint case-rule spans, zero errors; protocol/mode spans also validated. - `casedsl.py quotes-equal 898b841 neov2/cases`: 165 files, zero differing quote sets. - No existing LAW or CASE IDs were removed. No source law/opinion text was edited. - `bash neov2/tools/verify_r6_master.sh` first fetches origin/master, then uses `git show origin/master:<file> | grep -nF` for every listed repair and the CBOCS split. It prints the fetched commit and each file's blob ID; it does not inspect working-tree copies. Before pushing this round, it passed the pre-existing LAW markers and failed at the new independence node, demonstrating fail-closed behavior. - Database reload, final live publication and the captured post-push proof are recorded in the integration checkpoint. Marker presence proves landing, not exhaustive legal correctness; QA2 re-verifies with an explicit reviewed SHA.