Research: actual Turyn profiles have asymmetric block rank 9d (no new kappa)

research/turyn-profile-cnf/BUILD.json

@@ -0,0 +1,19 @@
+{
+  "cnf_clauses": 1837,
+  "cnf_variables": 118,
+  "core_variable_edges": 57,
+  "full_variable_edges": 71,
+  "nine_bit_solver_statistics": {
+    "maximum_depth": 9,
+    "nodes": 10,
+    "unit_steps": 227
+  },
+  "seed": 78,
+  "solver_statistics": {
+    "conflicts": 43,
+    "maximum_depth": 9,
+    "nodes": 85,
+    "unit_steps": 1042
+  },
+  "status": "UNSAT"
+}

research/turyn-profile-cnf/CLAIM.json

@@ -0,0 +1,109 @@
+{
+  "track": "Independent verification or formalization",
+  "assignment_seed": 78,
+  "seed_source": "secrets.randbelow(100), OS-backed, drawn 2026-10-13T12:52:44Z",
+  "base_commit": "91a2094f2e022930069e8cfdc810a3ea1b81cd09",
+  "start_utc": "2026-10-13T12:52:00Z",
+  "expected_finish_utc": "2026-10-13T13:52:00Z",
+  "selected_kappa": "0.001661634653669567",
+  "selected_pr": 799,
+  "candidates": [
+    {
+      "object": "PR598 actual 24-port single-profile standard-dot I8 obstruction",
+      "decision": "selected",
+      "method": "Independent integer-coordinate enumeration and CNF/DPLL proof certificate, verified by a small proof checker; optional deterministic edge-deletion core",
+      "difference": "No imports of predecessor NumPy geometry, original arc-consistency CSP search, or verifier code; explicit machine-checkable contradiction rather than trusting a search return value"
+    },
+    {
+      "object": "PR799 exact moment endpoint-to-kappa identity",
+      "decision": "not selected",
+      "reason": "Recent PR894 and PR885 cover exact reduction and formal moment obligations; high overlap"
+    },
+    {
+      "object": "Prime-power cyclic inverse Bezout identities",
+      "decision": "not selected",
+      "reason": "Existing primary and SymPy-independent engines already replay the named identities; weak incremental value"
+    }
+  ],
+  "claim": "Verify PR598 single-profile I8 nonexistence with an independently encoded proof artifact. No new kappa or global nonlinear fitting claim.",
+  "domain": "24 explicit actual Turyn ports, seven fixed orthonormal anchors, all odd eight-bit labels on the remaining seventeen ports; complete graph constraints, not sampled",
+  "seed_usage": "Seed 78 selects the historical profile witness and deterministic ordering for any certificate reduction.",
+  "stopping_rule": "Complete one independent finite contradiction certificate with exact geometry and negative controls; stop at this obligation. No global label search or supplier optimization.",
+  "coordination": "No open sprint issue returned; open issues were #913 and #650. No public claim posted; local handoff mode.",
+  "overlap_review": {
+    "latest_prs_observed": "818 through 922 (100-item recent page), 2026-10-13T12:53Z",
+    "targeted_all_state_search": "Turyn: PR598 and PR898 only at 2026-10-13T12:55Z",
+    "predecessor_review": "PR598 incorporated at exact head 615ca6f06fdea0c50dbef733370c47349e25c555; independent finite evidence only, not reopened negative search",
+    "related_pr898": "Historical Leech-minor arithmetic acceleration, not this fitting certificate",
+    "final_refresh_utc": "2026-10-13T13:08:00Z",
+    "final_recent_prs": [
+      {
+        "number": 926,
+        "title": "Finite bit construction: two-sided R439 compensation saves 1,228 more ADDs beyond PR915",
+        "head": "1e9c43ee8dbeeb9aca0e8fdecbf9769db4f4a29e",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/926"
+      },
+      {
+        "number": 925,
+        "title": "Finite bit construction: R439 frame 267 reaches a 12-ADD positive-transfer minimum (no new kappa)",
+        "head": "eb85d40a1ba80c2f776481fbeed1bae8cf04cfde",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/925"
+      },
+      {
+        "number": 924,
+        "title": "Research: certify coupled factory scales and exact gauge floor",
+        "head": "e6f3cb8ca813dfc54c77738c9acd74a536b607fd",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/924"
+      },
+      {
+        "number": 923,
+        "title": "Finite bit construction: R439 frame520 uses 29 ADDs, four fewer complete ADDs than PR844 (no new kappa)",
+        "head": "7287ea1524f37899d3d209dc4a9f8ba5c06766f5",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/923"
+      },
+      {
+        "number": 898,
+        "title": "Tooling: accelerate historical Leech minors with exact byte lanes",
+        "head": "521c86e7fd4d0fbd1ed4e0524aa26a1e45861477",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/898"
+      },
+      {
+        "number": 894,
+        "title": "Research audit: exact endpoint-to-kappa reduction of the selected frontier799 assembly (no new kappa)",
+        "head": "144e7e21c4f6ab4afda1338fe25eaab5a53b4431",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/894"
+      },
+      {
+        "number": 885,
+        "title": "[Lean] Prove the selected PR799 native Real moment bound",
+        "head": "0181d0f2e00278535f435968f000d7e2ec4b93aa",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/885"
+      }
+    ],
+    "final_all_state_searches": {
+      "Turyn": {
+        "results": [
+          598,
+          898
+        ],
+        "conclusion": "No duplicate independent profile-CNF package"
+      },
+      "CNF": {
+        "results": [
+          634
+        ],
+        "conclusion": "PR634 uses DRUP proofs for different Lorentzian minrank graphs over characteristic not two; no overlap with the PR598 I8 witness"
+      }
+    }
+  },
+  "attribution": "PR598 and source packages prepared for DominikScholz with OpenAI assistance. This new independent package is produced with substantial OpenAI assistance; Apache-2.0.",
+  "completed_result": {
+    "status": "completed independent finite verification",
+    "original_variable_edges": 71,
+    "inclusion_minimal_core_variable_edges": 57,
+    "core_scope": "All anchor constraints fixed; no global minimum edge count or vertex count claim",
+    "explicit_core_edge_deletion_controls": 57,
+    "finite_standard_dot_dimension": 9,
+    "new_kappa": false
+  }
+}