Width-dependent native controls face a linear support barrier

research/support-width-dichotomy/OVERLAP.json

@@ -0,0 +1,160 @@
+{
+  "coverage": {
+    "discussions": {
+      "complete_pagination": true,
+      "fetched_at": "2026-10-24T12:36:24.474838+00:00",
+      "records": 4710
+    },
+    "local": {
+      "complete_head_inventory": true,
+      "head": "a8e0467c60fc851f7a94b1ad5524fd562f5922bd",
+      "head_records": 7377,
+      "records": 7377,
+      "unsearched_head_paths": []
+    },
+    "open_prs": {
+      "complete_pagination": true,
+      "fetched_at": "2026-10-24T12:35:22.093384+00:00",
+      "records": 322
+    }
+  },
+  "limits": "Remote PR scope is open PRs including drafts. Closed work is searched through local READMEs, TASK metadata and ledger only. Local coverage compares searched working-tree notes with regular note paths at coverage.local.head; it does not certify HEAD contents or historical coverage. No code diffs or arbitrary package files are searched. Recheck relevant heads before submission.",
+  "local_records": 7377,
+  "matches_total": 9,
+  "reference_terms": [],
+  "searched_at": "2026-10-24T12:36:24.818394+00:00",
+  "status": "POSSIBLE_OVERLAP_NOT_A_NOVELTY_CERTIFICATE",
+  "terms": [
+    "support-width",
+    "growing support",
+    "varying support",
+    "tensor separation"
+  ],
+  "warnings": [],
+  "submission_refresh": {
+    "upstream_checked_at": "2026-10-24T13:19:04Z",
+    "upstream_commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04",
+    "priority_revision": 7,
+    "decision": "Continue with the pinned 1a3ced60 scientific baseline: guidance, selected result and all eight declared source files are unchanged.",
+    "searched_at": "2026-10-24T13:20:55.046419+00:00",
+    "coverage": {
+      "local": {
+        "head": "a8e0467c60fc851f7a94b1ad5524fd562f5922bd",
+        "records": 7377,
+        "head_records": 7377,
+        "complete_head_inventory": true,
+        "unsearched_head_paths": []
+      },
+      "open_prs": {
+        "fetched_at": "2026-10-24T13:19:49.189597+00:00",
+        "complete_pagination": true,
+        "records": 307
+      },
+      "discussions": {
+        "fetched_at": "2026-10-24T13:20:54.697405+00:00",
+        "complete_pagination": true,
+        "records": 4711
+      }
+    },
+    "terms": [
+      "support-width",
+      "growing support",
+      "varying support",
+      "tensor separation"
+    ],
+    "matches_total": 9,
+    "warnings": [],
+    "matches": [
+      {
+        "kind": "discussion",
+        "number": 2109,
+        "title": "FINDING: two-register cost bound through three scalar mixing blocks",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/2109",
+        "matched_terms": [
+          "tensor separation"
+        ]
+      },
+      {
+        "kind": "discussion-comment",
+        "number": 1166,
+        "title": "Handoffs and requests for independent checks",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19135736",
+        "matched_terms": [
+          "tensor separation"
+        ]
+      },
+      {
+        "kind": "discussion-comment",
+        "number": 1166,
+        "title": "Handoffs and requests for independent checks",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19138525",
+        "matched_terms": [
+          "tensor separation"
+        ]
+      },
+      {
+        "kind": "local-readme",
+        "title": "research/nonlinear-monomial-control-ceiling/README.md",
+        "path": "research/nonlinear-monomial-control-ceiling/README.md",
+        "matched_terms": [
+          "tensor separation"
+        ]
+      },
+      {
+        "kind": "local-readme",
+        "title": "research/released-operator-clifford-ceiling/README.md",
+        "path": "research/released-operator-clifford-ceiling/README.md",
+        "matched_terms": [
+          "tensor separation"
+        ]
+      },
+      {
+        "kind": "local-readme",
+        "title": "research/selected-complex-width-envelope/README.md",
+        "path": "research/selected-complex-width-envelope/README.md",
+        "matched_terms": [
+          "support-width"
+        ]
+      },
+      {
+        "kind": "local-readme",
+        "title": "research/two-full-retained-helper-ceiling/README.md",
+        "path": "research/two-full-retained-helper-ceiling/README.md",
+        "matched_terms": [
+          "tensor separation"
+        ]
+      },
+      {
+        "kind": "local-task",
+        "title": "research/two-full-retained-helper-ceiling/TASK.json",
+        "path": "research/two-full-retained-helper-ceiling/TASK.json",
+        "matched_terms": [
+          "tensor separation"
+        ]
+      },
+      {
+        "kind": "local-task",
+        "title": "research/two-register-three-mix/TASK.json",
+        "path": "research/two-register-three-mix/TASK.json",
+        "matched_terms": [
+          "tensor separation"
+        ]
+      }
+    ],
+    "additional_live_query": "repo:CrocSwap/integer-mult-bounds is:pr \"support\" \"width\"; 15 most recently updated results inspected; bounded search, not an exhaustive historical audit.",
+    "pr_bodies_inspected": [
+      4928,
+      4929,
+      4933,
+      4978,
+      5111,
+      5160,
+      5210,
+      5369,
+      5425,
+      5427,
+      5433
+    ],
+    "interpretation": "Matches retain predecessor and neighboring-contract credit. No replacement for the stated moving-support corollary was identified in this bounded search; global priority is unclaimed."
+  }
+}