Independent proof: three-mode one-column P112 corrections retain COPY64

research/p112-three-mode-singleton/OVERLAP.json

@@ -0,0 +1,126 @@
+{
+  "status": "SHARED_SCOPE_WITH_EARLIER_PARALLEL_CLAIM_NOT_A_NOVELTY_CERTIFICATE",
+  "initial": {
+    "searched_at": "2026-10-14T03:33:49.077562+00:00",
+    "coverage": {
+      "open_prs": {
+        "fetched_at": "2026-10-14T03:33:23.608178+00:00",
+        "complete_pagination": true,
+        "records": 726
+      },
+      "discussions": {
+        "fetched_at": "2026-10-14T03:33:49.033812+00:00",
+        "complete_pagination": true,
+        "records": 233
+      }
+    },
+    "terms": [
+      "complex-masked-decoder",
+      "masked decoder",
+      "overcomplete",
+      "eight-term",
+      "complex-decoder-field-extension-seed44",
+      "complex-frame-pair-decoders"
+    ],
+    "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."
+  },
+  "final": {
+    "searched_at": "2026-10-14T03:52:09.694842+00:00",
+    "coverage": {
+      "open_prs": {
+        "fetched_at": "2026-10-14T03:51:44.051691+00:00",
+        "complete_pagination": true,
+        "records": 733
+      },
+      "discussions": {
+        "fetched_at": "2026-10-14T03:52:09.642498+00:00",
+        "complete_pagination": true,
+        "records": 244
+      }
+    },
+    "terms": [
+      "singleton",
+      "three-mode",
+      "one-column",
+      "complex-masked-decoder",
+      "masked decoder",
+      "overcomplete",
+      "eight-term",
+      "complex-decoder-field-extension-seed44",
+      "complex-frame-pair-decoders"
+    ],
+    "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."
+  },
+  "related": [
+    {
+      "kind": "pr",
+      "number": 1512,
+      "title": "Scoped negative result: three-mode P112 COPY64 despite four span-loss exceptions",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1512",
+      "head": "403158808f075dfafcd80da09f630b9a3fde6baa",
+      "updated_at": "2026-10-14T02:06:52Z"
+    },
+    {
+      "kind": "pr",
+      "number": 1473,
+      "title": "Scoped negative result: two-anchor span preservation for P112 decoders",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1473",
+      "head": "ea2f6bf0940580dfaeb393ec0786abc8f7bbb7b4",
+      "updated_at": "2026-10-14T01:20:30Z"
+    },
+    {
+      "kind": "pr",
+      "number": 1468,
+      "title": "Research: independent COPY floor for arbitrary one-column P112 corrections",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1468",
+      "head": "5e2d8ec8ebff17c85e813ef1bd6f06312c1fe16a",
+      "updated_at": "2026-10-14T01:12:52Z"
+    },
+    {
+      "kind": "pr",
+      "number": 1432,
+      "title": "Scoped negative result: fixed P112 24-row boundary retains COPY64",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1432",
+      "head": "4bcc49e3f4041018b0607da46a87d8928a6e0fd0",
+      "updated_at": "2026-10-14T00:47:58Z"
+    },
+    {
+      "kind": "pr",
+      "number": 1375,
+      "title": "Research: COPY floor 64 for two-coordinate P112 mixing with small free rectangles (no new kappa)",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1375",
+      "head": "4a533aff2a7a87c9b36e077a31774b332a7f64bd",
+      "updated_at": "2026-10-13T23:46:30Z"
+    },
+    {
+      "kind": "discussion",
+      "number": 1360,
+      "title": "CLAIM: sharp copy floor for all rank-nine factorizations of a single odd-entry P112 completion",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1360",
+      "updated_at": "2026-10-14T03:39:44Z"
+    },
+    {
+      "kind": "discussion",
+      "number": 1581,
+      "title": "Unrestricted two-factor P112 masked decoders: exact tangent-rank audit",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1581",
+      "updated_at": "2026-10-14T03:34:59Z"
+    },
+    {
+      "kind": "discussion",
+      "number": 1550,
+      "title": "CLAIM: three-mode P112 singleton-column correction with at least two rows",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1550",
+      "updated_at": "2026-10-14T02:48:20Z"
+    }
+  ],
+  "discussion1550": {
+    "scope": "Same designated triple and arbitrary GL(4,C) with a one-column free correction and support size at least two. Its earlier claim was recognized at the final targeted check. No proof or artifact link was present in that snapshot.",
+    "body_sha256": "4c631db113b200775dcea39acffa078943390e67158ee37c382d8bb91e476282",
+    "author_credit": "Andrey Mas (@an664), with GPT-6 Pro research assistance and Codex coordination.",
+    "disposition": "Submit as an explicitly parallel independent proof and finite check, not as an unclaimed question. All 56 triples and zero/single-entry boundaries are included; no claim that these extensions supersede the parallel investigation."
+  },
+  "new_artifact": "Written compensation proof, complete 170352 one-anchor pairing table, code-disjoint recomputation, all 56 explicit transports, attaining and failure fixtures. No pending theorem is imported."
+}