Scoped negative result: restored 2+3-cycle boundary costs exactly ten

.github/workflows/restored-cycle-gap.yml

@@ -0,0 +1,31 @@
+name: Restored cycle gap native replay
+on:
+  pull_request:
+    paths:
+      - 'research/restored-cycle-gap/**'
+      - 'research/complex-swap-runs-seed37/EXPECTED.json'
+      - 'research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/LOCAL-PROGRAMS.json.gz'
+      - 'research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/LOCAL-CHECKS.json'
+      - 'research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/LOCAL-PROGRAMS.json.gz'
+      - 'research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/LOCAL-CHECKS.json'
+      - '.github/workflows/restored-cycle-gap.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  exact-gap:
+    runs-on: ubuntu-24.04
+    timeout-minutes: 15
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
+        with:
+          python-version: '3.12'
+      - name: Full independently represented native exclusion and controls
+        run: python -I -O -B research/restored-cycle-gap/verify.py
+      - name: Read-only relocation and deliberate rejection controls
+        run: python -I -O -B research/restored-cycle-gap/test_package.py
+      - name: Inputs unchanged
+        run: git diff --exit-code

research/restored-cycle-gap/EXPECTED.json

@@ -0,0 +1,139 @@
+{
+  "exact": {
+    "disposable_control_length": 8,
+    "donor_extensions": [
+      0,
+      1,
+      2,
+      8,
+      49
+    ],
+    "exact_minimum": 10,
+    "omission_controls": 10,
+    "witness_length": 10,
+    "write_bound_at_nine": {
+      "cycles": 2,
+      "moved": 5,
+      "written_donors_at_most": 1
+    }
+  },
+  "finite_exclusion": {
+    "dense_controls": [
+      {
+        "minimum": 0,
+        "permutation": "01",
+        "states": 48
+      },
+      {
+        "minimum": 4,
+        "permutation": "10",
+        "states": 48
+      },
+      {
+        "minimum": 0,
+        "permutation": "012",
+        "states": 11232
+      },
+      {
+        "minimum": 4,
+        "permutation": "021",
+        "states": 11232
+      },
+      {
+        "minimum": 4,
+        "permutation": "102",
+        "states": 11232
+      },
+      {
+        "minimum": 6,
+        "permutation": "120",
+        "states": 11232
+      },
+      {
+        "minimum": 6,
+        "permutation": "201",
+        "states": 11232
+      },
+      {
+        "minimum": 4,
+        "permutation": "210",
+        "states": 11232
+      }
+    ],
+    "distance_nine_control": {
+      "direct_hits": 0,
+      "generators": 28,
+      "layers": [
+        1,
+        28,
+        486,
+        6272,
+        62885
+      ],
+      "middle_hits": 1000,
+      "minimum_through_nine": 9,
+      "n": 4,
+      "permutation": "123a",
+      "states": 69672,
+      "transitions": 1950816
+    },
+    "invalid_native_inputs_rejected": 10,
+    "target": {
+      "canonical_ball_sha256": "a943ba6bc12d9da2d57ea31edb27455804adaea1280c1fd226af4c4915f210d0",
+      "direct_hits": 0,
+      "generators": 66,
+      "layers": [
+        1,
+        66,
+        2655,
+        83270,
+        2213925
+      ],
+      "middle_hits": 0,
+      "minimum_through_nine": null,
+      "n": 6,
+      "permutation": "103425",
+      "states": 2299917,
+      "transitions": 151794522
+    }
+  },
+  "format": "restored-cycle-gap-v1",
+  "historical_invoice": {
+    "ck/backward": {
+      "boundaries": 42,
+      "census_sha256": "36b5a2c3deec1d24fe47ea3dcbc6a8b99e897fce5a16a920e13312f32716e1a9",
+      "disposable_component_cost": 224,
+      "restored_component_minimum": 252,
+      "separate_complex_components_extra": 56,
+      "two_cycles": 28,
+      "two_plus_three_cycles": 14
+    },
+    "ck/forward": {
+      "boundaries": 42,
+      "census_sha256": "36b5a2c3deec1d24fe47ea3dcbc6a8b99e897fce5a16a920e13312f32716e1a9",
+      "disposable_component_cost": 224,
+      "restored_component_minimum": 252,
+      "separate_complex_components_extra": 56,
+      "two_cycles": 28,
+      "two_plus_three_cycles": 14
+    },
+    "jp8/backward": {
+      "boundaries": 42,
+      "census_sha256": "1702dd8067fd6f1b0e081c37e853700847baf73e2172bc9e07b502120c847660",
+      "disposable_component_cost": 224,
+      "restored_component_minimum": 252,
+      "separate_complex_components_extra": 56,
+      "two_cycles": 28,
+      "two_plus_three_cycles": 14
+    },
+    "jp8/forward": {
+      "boundaries": 42,
+      "census_sha256": "1702dd8067fd6f1b0e081c37e853700847baf73e2172bc9e07b502120c847660",
+      "disposable_component_cost": 224,
+      "restored_component_minimum": 252,
+      "separate_complex_components_extra": 56,
+      "two_cycles": 28,
+      "two_plus_three_cycles": 14
+    }
+  }
+}

research/restored-cycle-gap/NOTICE.md

@@ -0,0 +1,25 @@
+# Attribution
+
+New contribution for Philipp / mightyOil, with substantial OpenAI Codex
+GPT-6 Astra assistance in research, proofs, implementation, checks and prose.
+Apache-2.0, under the repository license. No independent human review claimed.
+
+Ross Richardson's PR1216 supplies the restored-donor model, read-only
+specialization, modular quotient, exact upper witnesses, and the explicitly
+open nine-versus-ten problem. Its PROOF.md, NOTICE.md and independent.cpp are
+retained verbatim in references/ with exact Git-blob and SHA256 pins.
+packed.cpp adapts that C++ implementation; verify.py's swap recognition and
+boundary census adapt the corresponding PR1216 verifier. Their origin is
+disclosed even though the source is not imported at runtime. The original
+PR1216 verifier commit, path, Git blob and SHA256 are recorded in PINS.json.
+
+The new cycle-sensitive write lemma and exhaustive middle-gate exclusion
+close that specific gap. Ternary.cpp is newly written; independence refers
+to separately represented finite implementations, not to human authorship.
+
+Credit ToikY's actual PR969 boundary construction, Ross Richardson's PR1145,
+Sagar Thakrar's PR696 lowering, faw01's PR839 clean-work contract, Jeremy
+Kothe's PR622, Chafik Boukhalfa's PR626, icekylinx and all retained lineage
+notices. PR1095's disposable-workspace model is distinct. Selected PR1094
+and earlier Rohan Arun, Jeremy Kothe, Hao Yan and bit-supplier contributions
+are context only; no selected record or predecessor package is modified.

research/restored-cycle-gap/PINS.json

@@ -0,0 +1,54 @@
+{
+  "base_commit": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f",
+  "predecessor_head": "2cbf4084e141ba24ee3417ff014fdc7ca83b6c66",
+  "live_inputs": {
+    "research/complex-swap-runs-seed37/EXPECTED.json": {
+      "sha256": "b1d3b19f360c611802f105382e969f26e15bdbf57dae19264e412554805e43d5",
+      "git_blob": "995ec843dfa40a024390b309082377cf70695a8e"
+    },
+    "research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/LOCAL-PROGRAMS.json.gz": {
+      "sha256": "b5da54e049cc127a1065190a647cb71cac0c6ba03d9ccdb71719f4fcbfa886f3",
+      "git_blob": "61ef73c1f958e0d26f3e7a3a82bc3826b7098c93"
+    },
+    "research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/LOCAL-CHECKS.json": {
+      "sha256": "059c4e59142bdf5c19dc7c0afebcddfec28e6e60cbc7299b8bdcc624afbc0cbe",
+      "git_blob": "d2b8854114b19b88e14d2af0dd84ad79e9eedbaa"
+    },
+    "research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/LOCAL-PROGRAMS.json.gz": {
+      "sha256": "fa0c196f65bd6ec1424fdf7d789f6972075c7bb02bf43f573ea85eafab31be98",
+      "git_blob": "e22169a1633638213a5c63425a1919c7185f4c43"
+    },
+    "research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/LOCAL-CHECKS.json": {
+      "sha256": "0fad744aa863eedb288a9f87b1c23225a36b316b6275cc3b1bcedd42afe28a67",
+      "git_blob": "0d84d903086993330ddcd871e66b15854f0c3ccd"
+    }
+  },
+  "package": {
+    "ternary.cpp": {
+      "sha256": "f6f64206c2269a21f571cc2de64c64fb73b5cee9af89de9347d5e38b0dcaa41f",
+      "git_blob": "97757bcc42940fe3c3399e14afb16fec75b033fe"
+    },
+    "packed.cpp": {
+      "sha256": "8ca8361756b87eabbe79bb438324ab20941b8c4ff2967be4f7a444feb9ea9232",
+      "git_blob": "c61013136cccb4e79d593f730c32d957a55613f3"
+    },
+    "references/PR1216-PROOF.md": {
+      "sha256": "7808f30e28508e327f68fafdc0a1be58c779d892482d3713c767fd7c0d21e4b0",
+      "git_blob": "a78b1f09f31f5d2d29652ddde795598e41789b72"
+    },
+    "references/PR1216-NOTICE.md": {
+      "sha256": "ea949bc4d13815896770c159d9231fe76901f3a798f13741123722ffc503b9f3",
+      "git_blob": "a29278ba18b01e2e8584b4e8ec5ba999bcc75ff9"
+    },
+    "references/PR1216-independent.cpp.txt": {
+      "sha256": "e6c22ca6da54620933f98c33aef4f9644049a39b2b5178b69b8aaa6ffe1c78bd",
+      "git_blob": "f8c3f46feb83e064ee4c59c6e6af2e3cf93c535c"
+    }
+  },
+  "adapted_verifier": {
+    "commit": "2cbf4084e141ba24ee3417ff014fdc7ca83b6c66",
+    "path": "research/complex-restored-borrowed-boundaries/verify.py",
+    "git_blob": "85527a5c1700c3ac28d593e80ba84113d8ba3f77",
+    "sha256": "25f4fc02c1e64abb9f88c83e3069160d4b1ca8e8cd67ee4934fa62ea60fbb4dd"
+  }
+}