Scoped negative result: all unit complex phases retain the 14-query connector minimum

research/complex-unit-phase-connector-seed39/CERTIFICATE.json

@@ -0,0 +1,263 @@
+{
+  "all_ones_positive_census": {
+    "full_covers": 216,
+    "mask_stream_sha256": "548cf49f68139b45d929b46b0a6a7d49cc4c905ecc34e8efb260721723723c82",
+    "paths": 720,
+    "row_mask_histogram": {
+      "0": 504,
+      "7": 216
+    }
+  },
+  "assignment_seed": 39,
+  "cheapest_fixture_operator": "A0",
+  "complete_leaf_counts": {
+    "A0": 308,
+    "A1": 320,
+    "A2": 332,
+    "B0": 356,
+    "B1": 380,
+    "B2": 404
+  },
+  "factor_lengths": {
+    "A0": 2,
+    "A1": 3,
+    "A2": 4,
+    "B0": 5,
+    "B1": 6,
+    "B2": 7
+  },
+  "gauged_words": 18,
+  "matrix": [
+    [
+      1,
+      1,
+      1
+    ],
+    [
+      1,
+      1,
+      -1
+    ],
+    [
+      1,
+      -1,
+      0
+    ]
+  ],
+  "minimum_complete_queries": 14,
+  "nonunit_13_query_control": [
+    [
+      "B",
+      0,
+      [
+        -2,
+        0
+      ]
+    ],
+    [
+      "A",
+      2,
+      [
+        -1,
+        0
+      ]
+    ],
+    [
+      "B",
+      0,
+      [
+        1,
+        0
+      ]
+    ],
+    [
+      "B",
+      1,
+      [
+        -1,
+        0
+      ]
+    ],
+    [
+      "A",
+      1,
+      [
+        -1,
+        0
+      ]
+    ],
+    [
+      "A",
+      2,
+      [
+        1,
+        0
+      ]
+    ],
+    [
+      "B",
+      2,
+      [
+        -1,
+        0
+      ]
+    ],
+    [
+      "A",
+      0,
+      [
+        -1,
+        0
+      ]
+    ],
+    [
+      "B",
+      0,
+      [
+        1,
+        0
+      ]
+    ],
+    [
+      "B",
+      1,
+      [
+        1,
+        0
+      ]
+    ],
+    [
+      "A",
+      1,
+      [
+        1,
+        0
+      ]
+    ],
+    [
+      "B",
+      2,
+      [
+        1,
+        0
+      ]
+    ],
+    [
+      "A",
+      0,
+      [
+        1,
+        0
+      ]
+    ]
+  ],
+  "odd_unit_phase_positive_control": "Five queries restore the root and add -omega*A0*B0*x0 to y0.",
+  "orbit_matrices": 288,
+  "orbit_word_checks": 1728,
+  "schema_version": 1,
+  "scope": "Written unit-phase reduction plus exact finite checks; no physical supplier, new kappa or proof-assistant theorem.",
+  "semantic_controls": 172,
+  "signed_census": {
+    "full_covers": 0,
+    "mask_stream_sha256": "ed1aebf55ef87b7e75af8bffb014b8a3f3398cc2a5a23acf52a97603caf33727",
+    "paths": 720,
+    "row_mask_histogram": {
+      "0": 72,
+      "1": 84,
+      "2": 84,
+      "3": 48,
+      "4": 264,
+      "5": 84,
+      "6": 84
+    }
+  },
+  "status": "PASS_COMPLEX_UNIT_PHASE_CONNECTOR",
+  "unit_triangle_censuses": {
+    "0:-1": {
+      "full_covers": 0,
+      "mask_stream_sha256": "18ccd47376cea9797c8e37d3dd7d0c5bf6f14179a37cca4e0c2fd51cfe902aac",
+      "paths": 5040,
+      "row_mask_histogram": {
+        "0": 1512,
+        "1": 588,
+        "2": 588,
+        "3": 168,
+        "4": 1680,
+        "5": 252,
+        "6": 252
+      }
+    },
+    "0:1": {
+      "full_covers": 0,
+      "mask_stream_sha256": "9bc9fe4c59d1404ab118ddd079fc1b89e300a79331b8f5371617638d62a56076",
+      "paths": 5040,
+      "row_mask_histogram": {
+        "0": 1512,
+        "1": 588,
+        "2": 588,
+        "3": 168,
+        "4": 1680,
+        "5": 252,
+        "6": 252
+      }
+    },
+    "1:-1": {
+      "full_covers": 0,
+      "mask_stream_sha256": "75a9cb0f18bceeaa84893ed005ec6696292823298c2e3f6cc9f7be7833460a5b",
+      "paths": 5040,
+      "row_mask_histogram": {
+        "0": 1512,
+        "1": 588,
+        "2": 588,
+        "3": 168,
+        "4": 1680,
+        "5": 252,
+        "6": 252
+      }
+    },
+    "1:1": {
+      "full_covers": 0,
+      "mask_stream_sha256": "0a7d010bdc43cfde92141ce723d4066faccadb53fd28c04cb8879b8baf733966",
+      "paths": 5040,
+      "row_mask_histogram": {
+        "0": 1512,
+        "1": 588,
+        "2": 588,
+        "3": 168,
+        "4": 1680,
+        "5": 252,
+        "6": 252
+      }
+    },
+    "2:-1": {
+      "full_covers": 0,
+      "mask_stream_sha256": "01406e61d655d785e5c73ead55c8e05dcaeabf3513bcf4e80dd5c6485e314e85",
+      "paths": 5040,
+      "row_mask_histogram": {
+        "0": 1064,
+        "1": 588,
+        "2": 588,
+        "3": 112,
+        "4": 2072,
+        "5": 308,
+        "6": 308
+      }
+    },
+    "2:1": {
+      "full_covers": 0,
+      "mask_stream_sha256": "a23c41f4a7abc24f123d8a79c44e7a984a51360eedd7ff08fa83fc57280d6c25",
+      "paths": 5040,
+      "row_mask_histogram": {
+        "0": 1064,
+        "1": 588,
+        "2": 588,
+        "3": 112,
+        "4": 2072,
+        "5": 308,
+        "6": 308
+      }
+    }
+  },
+  "unit_triangle_paths": 30240,
+  "weighted_minimum": "2*sum(c_F)+2*min(c_F)"
+}

research/complex-unit-phase-connector-seed39/OVERLAP.json

@@ -0,0 +1,133 @@
+{
+  "initial": {
+    "status": "POSSIBLE_OVERLAP_NOT_A_NOVELTY_CERTIFICATE",
+    "searched_at": "2026-10-14T02:28:04.247189+00:00",
+    "terms": [
+      "unit-modulus",
+      "unit phase",
+      "phase-only",
+      "signed connector"
+    ],
+    "coverage": {
+      "open_prs": {
+        "fetched_at": "2026-10-14T02:27:45.294089+00:00",
+        "complete_pagination": true,
+        "records": 781
+      },
+      "discussions": {
+        "fetched_at": "2026-10-14T02:28:04.203959+00:00",
+        "complete_pagination": true,
+        "records": 200
+      }
+    },
+    "local_records": 327,
+    "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.",
+    "matches_total": 12
+  },
+  "nearest_work": [
+    {
+      "pr": 1526,
+      "head": "1fb85dc6813b88483f4f0a359ccd722376acd292",
+      "distinction": "Paid root doubling/halving changes magnitudes; no executable dependency."
+    },
+    {
+      "pr": 1349,
+      "head": "8adb25ce6d2090de170e241a170668e8fd7cf5a2",
+      "distinction": "Finite-characteristic F3 comparison; no executable dependency."
+    },
+    {
+      "pr": 1490,
+      "head": "db410cbd344bcf58f754689ae893d4c31a01f32d",
+      "distinction": "Different Gaussian helper-gauge model; no executable dependency."
+    }
+  ],
+  "final": {
+    "status": "POSSIBLE_OVERLAP_NOT_A_NOVELTY_CERTIFICATE",
+    "searched_at": "2026-10-14T02:47:25.336121+00:00",
+    "terms": [
+      "unit-modulus",
+      "unit phase",
+      "phase-only",
+      "signed connector"
+    ],
+    "coverage": {
+      "open_prs": {
+        "fetched_at": "2026-10-14T02:47:00.944513+00:00",
+        "complete_pagination": true,
+        "records": 713
+      },
+      "discussions": {
+        "fetched_at": "2026-10-14T02:47:25.291531+00:00",
+        "complete_pagination": true,
+        "records": 213
+      }
+    },
+    "local_records": 329,
+    "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.",
+    "matches_total": 14,
+    "relevant_matches": [
+      {
+        "kind": "discussion",
+        "number": 1540,
+        "title": "CLAIM: four-query signed connector with one restored source port (seed26)",
+        "head": null,
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1540"
+      },
+      {
+        "kind": "pr",
+        "number": 1349,
+        "title": "Independent verification: exact F3 signed connector minimum is thirteen",
+        "head": "8adb25ce6d2090de170e241a170668e8fd7cf5a2",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1349"
+      },
+      {
+        "kind": "pr",
+        "number": 692,
+        "title": "Independent verification: weighted-stride closures and bilinear dual (no kappa)",
+        "head": "c5b53a5e80372a1fae9830d8dcf21aaabce3f729",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/692"
+      },
+      {
+        "kind": "pr",
+        "number": 1155,
+        "title": "Research note: restoration coalescing across a recursion batch (read-free + composable-family boundary; no new kappa)",
+        "head": "9821c6e9388f3fc097e94b72be9fa7b41a849527",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1155"
+      },
+      {
+        "kind": "pr",
+        "number": 803,
+        "title": "Research: degree-controlled cyclic inverse bound by root reflection (no new kappa)",
+        "head": "d213ac12d4a1ab8f717d942e844df318ceb395fb",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/803"
+      },
+      {
+        "kind": "pr",
+        "number": 1490,
+        "title": "Scoped negative result: common rounding of Gaussian helper gauges",
+        "head": "db410cbd344bcf58f754689ae893d4c31a01f32d",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1490"
+      }
+    ],
+    "assessment": "No same-scope unit-phase connector result was found in this bounded metadata search. Nearest signed-connector, finite-field, dyadic-scaling and Gaussian-gauge work is credited; source-code diffs and arbitrary nested files are outside coverage."
+  },
+  "refreshed_main": "c5108f0f68d482e5712a8e26a5978d47762dfc16",
+  "main_change_assessment": "Only historical provenance path docs/research/pr-ledger.md changed among package pins. All live inputs, selected certificate, source manifest and review are unchanged. The package remains based on its recorded assignment commit.",
+  "manual_followup": {
+    "claim_url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1539",
+    "claim_created_at": "2026-10-14T02:28:16Z",
+    "claim_updated_at": "2026-10-14T02:50:37Z",
+    "claim_body_sha256": "d5142dca746b54575055f6d25e6569ba528115a82527c16d460057ad96a12b5b",
+    "discovery": "Discussion1540 linked the phase-alphabet claim, which was missed by the literal search terms. The published PR1551 body and exact README were then read.",
+    "published_result": {
+      "pr": 1551,
+      "head": "be8768d5fd8e9e7a1f714424f25b34b0e807daa0",
+      "usage": "Concurrent finite sixth-root exclusion. This package adds all complex unit phases, arbitrary unit root rotations, and a geometric collapse; finite sixth-root evidence is independent corroboration. No executable dependency.",
+      "readme_path": "research/sixth-root-connector-seed29/README.md",
+      "readme_sha256": "24f343aee17fd7aa80239ac2db98c328636b2856c078d8379ab261529164ef95"
+    },
+    "assessment": "Substantial overlap in the six-phase finite census; preserve predecessor priority there. Distinct contributions are the continuous-phase normalization and geometric collapse theorem, the root-rotation extension, and independently authored exact implementations."
+  }
+}