Scoped negative result: two-anchor span preservation for P112 decoders

research/p112-multiline-free-rectangles-seed42/INDEPENDENT.json

@@ -0,0 +1,84 @@
+{
+  "baseline_pairings": [
+    [
+      8,
+      8,
+      8,
+      8,
+      8
+    ],
+    [
+      8,
+      8,
+      8,
+      8,
+      8
+    ],
+    [
+      8,
+      8,
+      9,
+      9,
+      9
+    ],
+    [
+      8,
+      8,
+      9,
+      9,
+      9
+    ],
+    [
+      8,
+      8,
+      9,
+      9,
+      9
+    ]
+  ],
+  "direct_erasures": {
+    "anchor_pairs": 6216,
+    "maximal_rectangle_row_sizes": {
+      "20": 168,
+      "22": 2688,
+      "24": 672,
+      "26": 2688
+    },
+    "original_spans": [
+      8,
+      8,
+      9,
+      9,
+      9
+    ],
+    "rank_stream_sha256": "978e4da68a6234a4edf92b6da454b3099491f0456e8f6098793d72fbe8fe6a7a",
+    "span_checks": 31080
+  },
+  "geometry_entries": 12544,
+  "geometry_sha256": "39db5b78eb082fd99b6f5feccec6466a7179b9552130375bd03700e33710f5cb",
+  "integer_fixture": {
+    "identity_entries": 12544,
+    "omission_entry": [
+      8,
+      8
+    ],
+    "omission_error": -1,
+    "replacement_ranks": [
+      8,
+      8,
+      6
+    ],
+    "whole_copy_cost": 70
+  },
+  "negative_controls": [
+    "28 coordinate",
+    "signed root map",
+    "single-anchor",
+    "omitted compensation",
+    "diagonal rectangle",
+    "changed rank receipt"
+  ],
+  "orbit_pairing_entries": 351232,
+  "scope": "Independent two-anchor finite-premise check; quantified theorem is in README.",
+  "status": "PASS_P112_MULTILINE_INDEPENDENT_S42"
+}

research/p112-multiline-free-rectangles-seed42/OVERLAP.json

@@ -0,0 +1,212 @@
+{
+  "searched_at": "2026-10-14T01:14:19.094984+00:00",
+  "coverage": {
+    "open_prs": {
+      "fetched_at": "2026-10-14T01:13:47.212480+00:00",
+      "complete_pagination": true,
+      "records": 828
+    },
+    "discussions": {
+      "fetched_at": "2026-10-14T01:14:19.047414+00:00",
+      "complete_pagination": true,
+      "records": 162
+    }
+  },
+  "warnings": [],
+  "limits": "Remote PR scope is open PRs including drafts. Closed work is searched through local READMEs, TASK metadata and ledger only. No code diffs or arbitrary package files are searched. Recheck relevant heads before submission.",
+  "terms": [
+    "free rectangle",
+    "two-coordinate",
+    "two-column",
+    "two common odd neighbors"
+  ],
+  "nearest_work": [
+    {
+      "pr": 1375,
+      "head": "4a533aff2a7a87c9b36e077a31774b332a7f64bd",
+      "author": "commdata2338",
+      "contribution": "Two-coordinate small-rectangle floor and first free-compatible erasure boundary."
+    },
+    {
+      "pr": 1432,
+      "head": "4bcc49e3f4041018b0607da46a87d8928a6e0fd0",
+      "author": "Hanson Sun / bbMisk",
+      "contribution": "Fixed 24-by-one boundary and coupled-factor proof."
+    },
+    {
+      "pr": 1331,
+      "head": "f08b698cc2bd74e2425486728a008e531fc35f0e",
+      "author": "Arham Tahir",
+      "contribution": "One-coordinate arbitrary rectangles; two-coordinate handoff."
+    },
+    {
+      "pr": 1373,
+      "head": "3eaef3e4427068b33847dc1147c8a2e5709a970e",
+      "author": "Cinna Davis",
+      "contribution": "Arbitrary rectangles with three active projected products at pair (4,6); leaves exactly-two branch open."
+    },
+    {
+      "discussion": 1434,
+      "author": "Gareth Davidson / bitplane",
+      "contribution": "Earlier independent unrestricted singleton-column investigation; released our overlapping scope."
+    },
+    {
+      "pr": 1460,
+      "head": "8d53667d9bb09d9b1ffb0f865b5c8dc230eb02f6",
+      "author": "Hanson Sun / bbMisk",
+      "contribution": "Concurrent earlier arbitrary-rectangle COPY64 at fixed pair (4,6), via compensation-size argument. Our distinct evidence is the stronger per-active-term span lemma, explicit all-pair symmetry and maximal-erasure check."
+    },
+    {
+      "pr": 1468,
+      "head": "5e2d8ec8ebff17c85e813ef1bd6f06312c1fe16a",
+      "author": "Gareth Davidson / bitplane",
+      "contribution": "Independent all-pair one-column theorem, complementary to our at-least-two-indices-per-side scope."
+    }
+  ],
+  "claim_url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1316#discussioncomment-18912476",
+  "initial_overlap": {
+    "open_prs": {
+      "fetched_at": "2026-10-14T00:57:55.369472+00:00",
+      "complete_pagination": true,
+      "records": 820
+    },
+    "discussions": {
+      "fetched_at": "2026-10-14T00:58:57.154931+00:00",
+      "complete_pagination": true,
+      "records": 154
+    }
+  },
+  "note": "Initial paginated scan discovered Discussion1434 and triggered the single pivot. Final scan found PR1460 and PR1468; both are credited and the independent evidence distinction is explicit.",
+  "presubmit_refresh_utc": "2026-10-14T01:18:37.644858+00:00",
+  "presubmit_latest_prs": [
+    {
+      "number": 1471,
+      "title": "Scoped audit: PR1417 P112 tensor rank is field-specific (no new kappa)",
+      "head": "3695ad16e7bc4c0f6248a9e5a64fc069fa096733"
+    },
+    {
+      "number": 1469,
+      "title": "Research: rank-8 masked decoders are gauge-rigid on every P109 unit \u2014 19 new orbit certificates (no new \u03ba)",
+      "head": "d9d101b3123b6f1d17afe80e5e70a71fb3b29e39"
+    },
+    {
+      "number": 1468,
+      "title": "Research: independent COPY floor for arbitrary one-column P112 corrections",
+      "head": "5e2d8ec8ebff17c85e813ef1bd6f06312c1fe16a"
+    },
+    {
+      "number": 1466,
+      "title": "Research audit: exact truncation transport boundary (no new kappa)",
+      "head": "8230e01b60d321ca10f2789e27cde037c40e6d6c"
+    },
+    {
+      "number": 1465,
+      "title": "Prove a complete-cost obstruction for eight two-accumulator rewrites",
+      "head": "bb7fc427c79c26669a9e8de06e55f31cadaa992d"
+    },
+    {
+      "number": 1464,
+      "title": "Conditional \u03ba 0.0016768552290713218862064567722745926195124487395104752628033651837667029477836: verified fine64 endpoint refinement, unchanged construction",
+      "head": "2ffb640826106f01184c818ecd0cccb683f2aabf"
+    },
+    {
+      "number": 1461,
+      "title": "Tooling: exact annihilator containment for historical frame audits",
+      "head": "1a092583b989051a089cdba68b52cedf36a8d78e"
+    },
+    {
+      "number": 1460,
+      "title": "Scoped negative result: arbitrary free rectangles retain COPY64 for P112 pair (4,6)",
+      "head": "8d53667d9bb09d9b1ffb0f865b5c8dc230eb02f6"
+    },
+    {
+      "number": 1459,
+      "title": "Tooling: accelerate exact historical frame containment",
+      "head": "69db3d7f10706ae897b6a7ae030db5f0b4892be8"
+    },
+    {
+      "number": 1458,
+      "title": "Conditional \u03ba = 0.001676855229071321: finer 1e-60 certified endpoints and a deeper outer witness on #1424's construction (unchanged)",
+      "head": "fec30ff23f972fdc59aeec24bc5bd64b8638d8aa"
+    },
+    {
+      "number": 1457,
+      "title": "Independent verification: PR1407 complex profile arithmetic (no new kappa)",
+      "head": "43a4920cfb08398fdc949fc50dcdab794d2f37f8"
+    },
+    {
+      "number": 1456,
+      "title": "Research: extend the one-frame-relation bound to arbitrary register counts",
+      "head": "83b6ad2ace819a96128131a3600ee914a66dd0dd"
+    },
+    {
+      "number": 1455,
+      "title": "Research: sharpen the fixed P104 first-drop boundary to 54 copy cost",
+      "head": "0ebd49c31300e67698fd812fc00f2a3b2b805a67"
+    },
+    {
+      "number": 1454,
+      "title": "Scoped negative result: one frame relation cannot save paid rank at any register count",
+      "head": "2971637b4a291c355353742f3f187ad1b1e4c58d"
+    },
+    {
+      "number": 1453,
+      "title": "Prove the source-independent boundary obstruction for fixed R480 cleanup",
+      "head": "3bceac90599a02a96e9b744736b3feeb00171504"
+    },
+    {
+      "number": 1452,
+      "title": "Performance: stream research provenance through one Git process",
+      "head": "f785c7a847a396d1947bb9fdf3a936af487a70ab"
+    },
+    {
+      "number": 1451,
+      "title": "Research: certify when precision refinement preserves inverse increments",
+      "head": "450b0f228807bbd88c6a37606070db54adf1dcfa"
+    },
+    {
+      "number": 1450,
+      "title": "Docs: bind the selected k8 provider to the historical catalogue scope",
+      "head": "b8f150781b0a7a1edc5d686e8ee9c7ee653ea171"
+    },
+    {
+      "number": 1449,
+      "title": "Finite bit construction: two neutral R439 moves jointly save two ADDs",
+      "head": "52a487a0c85e83d875f30a74f795588399bac093"
+    },
+    {
+      "number": 1447,
+      "title": "Research: prove a sparse P112 completion rank law through 52-port blocks",
+      "head": "5f784a84bbe80879b5bd7ae9b48dd28a5765863d"
+    },
+    {
+      "number": 1446,
+      "title": "Research: exclude all neutral two- and three-ADD omissions in PR967 D",
+      "head": "83bab0ac63d7297309e769641d176ca3f12b0124"
+    },
+    {
+      "number": 1445,
+      "title": "Research: joint rank-five star cuts beat one-sided support capacity",
+      "head": "7af6f56bf9ed58eacb3164d7b87b1c92716d8f07"
+    },
+    {
+      "number": 1444,
+      "title": "Conditional \u03ba = 0.001676855229071321: deeper outer-witness refinement of #1424's construction (unchanged)",
+      "head": "e8281be5d0123527bd467e92c4f7005d2ab33b3f"
+    },
+    {
+      "number": 1443,
+      "title": "Research: prove the eight-call floor for two dihedral commutator targets",
+      "head": "965ff75aabb16cdd0978f4bf9222bcdedf514021"
+    },
+    {
+      "number": 1442,
+      "title": "Research: prove the connector optimum under output delivery cuts",
+      "head": "7c573bc769798ce4e336fd5be630060bd9d69a71"
+    }
+  ],
+  "presubmit_neighbor_heads": {
+    "1460": "8d53667d9bb09d9b1ffb0f865b5c8dc230eb02f6",
+    "1468": "5e2d8ec8ebff17c85e813ef1bd6f06312c1fe16a"
+  }
+}