Conditional κ = 0.001661202643272239: eight B-frame coalescences after SW4

.github/workflows/complex-sw4-frame8.yml

@@ -0,0 +1,36 @@
+name: SW4 and eight B frames
+on:
+  pull_request:
+    paths:
+      - 'research/complex-sw4-frame8/**'
+      - 'research/complex-sw4-frame8-validation/**'
+      - '.github/workflows/complex-sw4-frame8.yml'
+  push:
+    branches: ['codex/sw4-frame8-20261013']
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  replay:
+    runs-on: ubuntu-latest
+    timeout-minutes: 40
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: '${{ matrix.python }}'
+      - run: bash research/complex-sw4-frame8/verify.sh "${{ runner.temp }}/sw4-frame8"
+        env:
+          SW4_FRAME8_PYTHON: python
+      - run: git diff --exit-code
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: sw4-frame8-python-${{ matrix.python }}
+          path: '${{ runner.temp }}/sw4-frame8'

research/complex-sw4-frame8-validation/PACKAGE-SHA.json

@@ -0,0 +1,5 @@
+{
+  "archive_sha256": "651493e546a96578fa3d347485e4e1c7431a9e7fcf01a224765eb0d360daecb4",
+  "manifest_sha256": "b9b39c206fcd2613382b0dcbda23a371e8781d1bedaf8e2f8e7df1e79dc1fa89",
+  "files": 406
+}

research/complex-sw4-frame8-validation/PLATFORM-COMPARISON.json

@@ -0,0 +1,83 @@
+{
+  "status": "PASS_EXACT_MATHEMATICAL_RESULT_AND_NATIVE_OWNER_AGREEMENT",
+  "core_manifest_sha256": "b9b39c206fcd2613382b0dcbda23a371e8781d1bedaf8e2f8e7df1e79dc1fa89",
+  "core_files": 406,
+  "result": {
+    "status": "PASS_FRESH_SW4_EIGHT_FRAMES_COMPLETE_NATIVE_OWNER_AND_EXACT_GLOBAL_REPLAY",
+    "kappa": "1661202643272239/1000000000000000000",
+    "kappa_decimal": "0.001661202643272239",
+    "complex_lower": "1663966829367501881629/1000000000000000000000000",
+    "bit_lower": "1733427039589844234749/1000000000000000000000000",
+    "profile": {
+      "1": 184033,
+      "2": 24048,
+      "3": 30961,
+      "4": 13968,
+      "5": 4032,
+      "8": 576,
+      "44": 1,
+      "48": 2396
+    },
+    "reused": false,
+    "scope": "Finite conditional witness. Fresh ancestor, gauge44 exact recipe, no-triangle construction and gauge44 control, six-pivot layered word, p6n 72-cold-end word, four entrance-promotion groups, four read exchanges, eight B-frame coalescences, native scalar/phases/wrappers, physical owner map and strict finite/outer admission. PR589 bit supplier is cited and repriced; its separate bit-circuit replay is not run by this command. All-size realization and analytic transfer remain assumptions."
+  },
+  "byte_identical_files": {
+    "INDEPENDENT-MAP.json": "9c0b0334fbf9231a4bc4c6eb69fe160ab6f15a5ecf25cac93b07efc6acd64c0c",
+    "OWNER-CONSTRUCTION-CONTROLS.json": "b3df2b24c8de2328e110e705cdb351ba9586c783c2caeb3e65fd897754db1067",
+    "RECONSTRUCTED-OWNERS.json.gz": "99d1c4caf85855c353d30f122d9efbd9e51562914facded13027f347b18a6082",
+    "frames/FULL-WORD.json.gz": "9c11e923ae0a7f2a5de5cb4199ed065544c73a028cf48d8d9fa0faba3f595b99",
+    "frames/BUILD.json": "3c9ce4ebca0db57e0f869804306a1e565651f0340870237b5e280579fd97e081",
+    "sw4/FULL-WORD.json.gz": "86d3c70e2d6f9eeaf8f4343d4cf5bd731b9ed6d79e33354892ed747bade0fe57",
+    "local/LOCAL-PROGRAMS.json.gz": "140f504a14a393ef197df3bdc8924ec241a6395e9bad39f4ddf77d625d00206e",
+    "local/CANONICAL-WORD.json.gz": "cc8ff381409472e96284d3c145ce0820ebf8ac2ad124a04b82961a817b4ec5b9"
+  },
+  "platform_receipts": {
+    "macos": [
+      {
+        "directory": "",
+        "stages": 22,
+        "artifacts": 44,
+        "receipt_sha256": "dd3b5a6a49836f1a4bc90ea0892c47bbbf1fd1d3f6e3c8c0d0942b2751cb47b4"
+      },
+      {
+        "directory": "ancestral558",
+        "stages": 9,
+        "artifacts": 9,
+        "receipt_sha256": "0ea7de71b9c3442e49049be9143db5479f9baa6ce643c5fc400a93e9611c2387"
+      }
+    ],
+    "linux": [
+      {
+        "directory": "",
+        "stages": 22,
+        "artifacts": 44,
+        "receipt_sha256": "df8d7abd576be86d70f35b7ab2d8078f5d0f8db9f5e59fbc3b8a63d572453900"
+      },
+      {
+        "directory": "ancestral558",
+        "stages": 9,
+        "artifacts": 9,
+        "receipt_sha256": "32a760e9982b3024b74cd77c0dcdfbcd929ed8c58c0756e028b3adbe02f6d0c4"
+      }
+    ]
+  },
+  "times": {
+    "macos": {
+      "verifier": 350.7573239580961,
+      "supervisor": {
+        "at": "2026-10-13T04:57:26.441922+00:00",
+        "seconds": 355.34569087496493,
+        "exit_code": 0
+      }
+    },
+    "linux": {
+      "verifier": 421.3925935088191,
+      "supervisor": {
+        "exit_code": 0,
+        "elapsed": 430.03487157821655,
+        "finished": 1791867529.481574
+      }
+    }
+  },
+  "normalization": "Only RESULT.seconds is omitted. Raw platform receipts and timing-dependent phase hashes are retained."
+}

research/complex-sw4-frame8-validation/README.md

@@ -0,0 +1,15 @@
+# Fresh SW4 eight-frame validation
+
+The 406-file standalone core passed complete fresh replays on macOS and Linux with Python 3.14.8. Verifier times were 350.757 and 421.393 seconds. Each run records 22 top-level stages and 44 artifacts, including a fresh nine-stage ancestor replay with nine artifacts. All 123 retained files per platform were hash checked.
+
+`PLATFORM-COMPARISON.json` verifies equal exact mathematical results and byte-identical native words, programs and owner evidence. Only elapsed seconds are omitted from the result comparison. Raw receipts retain platform-specific timing and corresponding phase-receipt hashes. `platforms/` retains results, mutation records and stage logs; `collect.py` checks collection. `PACKAGE-SHA.json` identifies the source archive transferred to Linux. The core manifest SHA256 is `b9b39c206fcd2613382b0dcbda23a371e8781d1bedaf8e2f8e7df1e79dc1fa89`.
+
+The accepted conditional bound is **κ = 1661202643272239/10^18 = 0.001661202643272239**. The exact complex lower endpoint is `1663966829367501881629/10^24`; the unchanged bit endpoint is `1733427039589844234749/10^24`. Neither platform replay reused generated native outputs.
+
+Both runs rebuild the ancestor, gauge44, no-triangle, gauge44 control, layered66 and p6n sources, then apply four promotions, SW4 and the eight new B frames. They check all 728 arbitrary-dirt columns, 2,953 phase edges, residual wrappers, 30 pivot mutations, 59 intermediate layer mutations, 95 p6n end mutations, 11 promotion mutations, four SW4 checks, three frame-recipe pin mutations, 95 final end mutations, ten focused frame mutations, nine owner-construction mutations, 69 global-admission mutations, 12 bit-supplier mutations, two exact moment engines and 47 strict outer constraints. Counts refer to named suites; repeated inherited checks are not distinct new tests.
+
+`bit589/` explicitly retains the separate fresh bit-circuit replay previously used for PR660 and PR685, including both nine- and eleven-stage exact results. It was not rerun as part of these platform commands. Both commands exactly reprice the unchanged pinned bit supplier. That directory's original provenance remains unchanged.
+
+PR699 at `03e8d7ca494a083e5053cd6b1228f66b98414479` was independently replayed during development at κ = 0.001660666354374641. The new frame recipe leaves its scalar program, endpoint frames, helper widths and owner bytes unchanged. No packing or frame-search optimality is claimed.
+
+All-size compilation, common-label/mutable-source realization, complete-invocation hosting, precision/tape accounting, punctured bit units and analytic transfer remain conditional obligations. This finite witness does not establish κ = 1.

research/complex-sw4-frame8-validation/bit589/ARGV.json

@@ -0,0 +1 @@
+["bash", "/Users/chafreaky/Documents/personal/integer-mult-research-20261008/e8-fourteen-cold-ends-release/research/e8-bit-p111-tuned/tune/verify.sh", "/Users/chafreaky/Documents/personal/integer-mult-research-20261008/resume-20261011/pr589-validation/replay"]

research/complex-sw4-frame8-validation/bit589/COMPRESSED-ARTIFACTS.json

@@ -0,0 +1,32 @@
+{
+  "replay/GEOMETRY9.json": {
+    "stored": "replay/GEOMETRY9.json.gz",
+    "uncompressed_sha256": "b3ff3885628a0cc9215e5b8c96a248f21e7de43bcb9c2d4b7e488de8d30328bc",
+    "bytes": 5827834
+  },
+  "replay/bit/GEOMETRY.json": {
+    "stored": "replay/bit/GEOMETRY.json.gz",
+    "uncompressed_sha256": "514f2400fcbfef2f460cb16844613d3373ff5756db5a4ec732826fa2cb43fdce",
+    "bytes": 7131285
+  },
+  "replay/cin/frames.json": {
+    "stored": "replay/cin/frames.json.gz",
+    "uncompressed_sha256": "bb08082dc564a4e1c66335c795b0f56be5800cd6fe0f7ddafb88af747732f8a7",
+    "bytes": 156534
+  },
+  "replay/nine/GEOMETRY.json": {
+    "stored": "replay/nine/GEOMETRY.json.gz",
+    "uncompressed_sha256": "b3ff3885628a0cc9215e5b8c96a248f21e7de43bcb9c2d4b7e488de8d30328bc",
+    "bytes": 5827834
+  },
+  "replay/records/frames.json": {
+    "stored": "replay/records/frames.json.gz",
+    "uncompressed_sha256": "d006b3bfe0c04afecfea7aecfa59dfe4298b99501c70da3938e40289bc2f5010",
+    "bytes": 112648
+  },
+  "replay/v9/nine/GEOMETRY.json": {
+    "stored": "replay/v9/nine/GEOMETRY.json.gz",
+    "uncompressed_sha256": "b3ff3885628a0cc9215e5b8c96a248f21e7de43bcb9c2d4b7e488de8d30328bc",
+    "bytes": 5827834
+  }
+}

research/complex-sw4-frame8-validation/bit589/README.md

@@ -0,0 +1,9 @@
+# Separate PR589 bit replay
+
+The unchanged bit supplier was freshly rebuilt from main commit `17ce0c79b7b51c2634b439ea5a2b754f09909693`, using `research/e8-bit-p111-tuned/tune/verify.sh`. The run passed in 105.097 seconds on macOS Python 3.14.8 with NumPy 2.5.4, SciPy 1.18.1, SymPy 1.14 and Homebrew Boost headers. `ARGV.json` retains the actual development invocation; it is provenance, not a portable command.
+
+The main checkout's original command remains the reproduction entry point. Retained JSON and logs cover scalar/interface checks, C++ columns and mutations, positive Gram checks, hosted geometry, and nine/eleven-stage invoices. `RESULT-CHECK.json` compares both exact output profiles and invoices with the pinned upstream record. Binaries, generated source copies and the virtual environment are omitted.
+
+This is separate finite supplier evidence. The layered60 command cites and reprices this supplier; it does not execute the bit circuit. Neither replay establishes the inherited punctured-unit, all-size compiler/interface or analytic-transfer assumptions.
+
+Large JSON artifacts are losslessly gzip-compressed. `COMPRESSED-ARTIFACTS.json` maps their original names to stored files and uncompressed SHA256 digests.

research/complex-sw4-frame8-validation/bit589/RESULT-CHECK.json

@@ -0,0 +1,69 @@
+{
+  "status": "PASS_FRESH_NINE_AND_ELEVEN_STAGE_RESULTS_MATCH_PINNED_PR589",
+  "input_expected_sha256": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4",
+  "source_manifest_sha256": "8d8fc2625b71b835176b666385c69fa4d1e4c5839e8e601924db2c9261761310",
+  "supervisor": {
+    "exit_code": 0,
+    "seconds": 105.09733704198152
+  },
+  "results": {
+    "nine": {
+      "bit_lower": "1733427039589844234749/1000000000000000000000000",
+      "profile": {
+        "1": 381024,
+        "2": 400416,
+        "3": 22752,
+        "4": 26880,
+        "5": 29376,
+        "6": 17376,
+        "7": 26784,
+        "42": 288
+      },
+      "bit": {
+        "live": 28416,
+        "physical": 28425,
+        "maxchild": 42,
+        "rank_mass": 1808352,
+        "hosted_residuals": 126432,
+        "bank_assignments": 0,
+        "prefix_bits": 177,
+        "charged_prefix_bits": 192,
+        "coefficient_bits": 177,
+        "two_level_coefficient_bits": 393,
+        "charged_two_level_coefficient_bits": 512,
+        "row_coefficient": 18355,
+        "halving_depth": 2
+      },
+      "receipt_sha256": "28795393651ef4fbbc6232eb2b32f7b39b91fbd5ea6d2315583f350714698055"
+    },
+    "eleven": {
+      "bit_lower": "855475950388791987811/500000000000000000000000",
+      "profile": {
+        "1": 116424,
+        "2": 121648,
+        "3": 6952,
+        "4": 7424,
+        "5": 8976,
+        "6": 4520,
+        "7": 8776,
+        "56": 2600
+      },
+      "bit": {
+        "live": 8880,
+        "physical": 8889,
+        "maxchild": 56,
+        "rank_mass": 689304,
+        "hosted_residuals": 38632,
+        "prefix_bits": 4304,
+        "charged_prefix_bits": 4352,
+        "coefficient_bits": 4304,
+        "three_level_coefficient_bits": 12966,
+        "charged_three_level_coefficient_bits": 12992,
+        "row_coefficient": 19431,
+        "halving_depth": 3
+      },
+      "receipt_sha256": "4aeb6bbf37ec8d8128b5f50225bab375784d0c081595250a77ba632c53b49e84"
+    }
+  },
+  "scope": "Finite bit circuit and hosted supplier replay. This does not establish all-size realization or analytic-transfer assumptions."
+}

research/complex-sw4-frame8-validation/bit589/TERMINAL.json

@@ -0,0 +1 @@
+{"exit_code": 0, "seconds": 105.09733704198152}