Conditional κ = 0.001660339298410333: four entrance promotions and 72 cold ends

.github/workflows/complex-promo4-cold72.yml

@@ -0,0 +1,36 @@
+name: Four promotions and cold72
+on:
+  pull_request:
+    paths:
+      - 'research/complex-promo4-cold72/**'
+      - 'research/complex-promo4-cold72-validation/**'
+      - '.github/workflows/complex-promo4-cold72.yml'
+  push:
+    branches: ['codex/promo4-cold72-20261013']
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  replay:
+    runs-on: ubuntu-latest
+    timeout-minutes: 30
+    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-promo4-cold72/verify.sh "${{ runner.temp }}/promo4-cold72"
+        env:
+          PROMO4_COLD72_PYTHON: python
+      - run: git diff --exit-code
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: promo4-cold72-python-${{ matrix.python }}
+          path: '${{ runner.temp }}/promo4-cold72'

research/complex-promo4-cold72-validation/PACKAGE-SHA.json

@@ -0,0 +1 @@
+{"sha256": "bf22c8e20441a7e2bbb365ce14565bdb69b9d8a9d0d9ef1d1550023aa9cef515", "bytes": 4955423}

research/complex-promo4-cold72-validation/PLATFORM-COMPARISON.json

@@ -0,0 +1,78 @@
+{
+  "status": "PASS_EXACT_MATHEMATICAL_RESULT_AND_INDEPENDENT_OWNER_AGREEMENT",
+  "core_manifest_sha256": "adb4ab216f63d4a127e45070dc79c7b0eb8419d7f89e5cd2e38315a543f48652",
+  "core_files": 390,
+  "result": {
+    "status": "PASS_FRESH_LAYERED_COLD72_COMPLETE_NATIVE_OWNER_AND_EXACT_GLOBAL_REPLAY",
+    "kappa": "1660339298410333/1000000000000000000",
+    "kappa_decimal": "0.001660339298410333",
+    "complex_lower": "1663100609709845015347/1000000000000000000000000",
+    "bit_lower": "1733427039589844234749/1000000000000000000000000",
+    "profile": {
+      "1": 185185,
+      "2": 23472,
+      "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 and changed72-cold-end word, four entrance-promotion groups, 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": "67f99d6a60ee629459b6d4c5188481f1736db42766bae22dd68b315e2e297768",
+    "OWNER-CONSTRUCTION-CONTROLS.json": "5176f8af7c2daa6b9f8472b4d3854eeb5762757d128eac792869fcff296fe1ad",
+    "RECONSTRUCTED-OWNERS.json.gz": "c8f29e12d7ed798e76da0d87d8de8dd5c165fec02109552654cafb75ae967e6f"
+  },
+  "platform_receipts": {
+    "macos": [
+      {
+        "directory": "",
+        "stages": 20,
+        "artifacts": 39,
+        "receipt_sha256": "5627ce5bf3f251c3eadedf452507a1b4be4f9d3394de7e6969465d2a438d2946"
+      },
+      {
+        "directory": "ancestral558",
+        "stages": 9,
+        "artifacts": 9,
+        "receipt_sha256": "448d39c63666e19ad2ec65c351c0359de2f8277677e8f6c0cbc811f7f1962142"
+      }
+    ],
+    "linux": [
+      {
+        "directory": "",
+        "stages": 20,
+        "artifacts": 39,
+        "receipt_sha256": "a086ef6d4288e660a7418d5f836da40ac7aa95418850567552ab269d7ef1f45b"
+      },
+      {
+        "directory": "ancestral558",
+        "stages": 9,
+        "artifacts": 9,
+        "receipt_sha256": "16d5dfd7c45367ccb7b73507660827892b155b9155f871293068f9c8370782f6"
+      }
+    ]
+  },
+  "times": {
+    "macos": {
+      "verifier": 316.79270045796875,
+      "supervisor": {
+        "at": "2026-10-13T03:55:20.892208+00:00",
+        "seconds": 320.3051936250413,
+        "exit_code": 0
+      }
+    },
+    "linux": {
+      "verifier": 379.65136639308184,
+      "supervisor": {
+        "exit_code": 0,
+        "elapsed": 380.03891706466675,
+        "finished": 1791863848.4423804
+      }
+    }
+  },
+  "normalization": "Only RESULT.seconds is omitted. Raw platform receipts and timing-dependent phase hashes are retained."
+}

research/complex-promo4-cold72-validation/README.md

@@ -0,0 +1,15 @@
+# Fresh four-promotion cold72 validation
+
+The 390-file standalone core passed complete fresh replays on macOS and Linux, both with Python 3.14.8. Supervisor elapsed times were 320.305 and 380.039 seconds; verifier times were 316.793 and 379.651 seconds. Each run records 20 top-level stages and 39 artifacts, including a fresh nine-stage ancestor replay with nine artifacts. All 115 retained files per platform were hash checked.
+
+`PLATFORM-COMPARISON.json` verifies equal exact mathematical results and byte-identical independent 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 `adb4ab216f63d4a127e45070dc79c7b0eb8419d7f89e5cd2e38315a543f48652`.
+
+The accepted conditional bound is **kappa = 1660339298410333/10^18 = 0.001660339298410333**. The exact complex lower endpoint is `1663100609709845015347/10^24`; the unchanged cited bit endpoint is `1733427039589844234749/10^24`. The word has 72 cold ends and 16 promoted entrances. Its owner assignment leaves 2,396 idle rank-48 children and one each of ranks 44, 3 and 1. This is a feasible packing certificate, with no optimality claim. Neither full platform replay reused generated native outputs.
+
+Both runs reconstruct the ancestor, gauge44, no-triangle, gauge44 control and layered66 sources, then apply the six additional cold ends and four promotion groups. They check all 728 arbitrary-dirt columns, phase identities, residual wrappers, 30 pivot mutations, 59 inherited layer mutations, 59 final inherited end mutations, 30 focused end mutations, 11 promotion mutations, seven owner-construction mutations, 69 global-admission mutations, 12 bit-supplier mutations and two exact moment engines with 47 strict outer constraints. These 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, 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.
+
+Independently replayed PR676 at `18649d6b37a6865894e0c0775ba4b558e3168877` gives kappa `0.001659319032684569`, below this result. Its six cold helpers differ from this construction. The fourth promotion and this exact owner assignment improve beyond that three-promotion profile.
+
+All-size compilation, common-label/mutable-source realization, complete-invocation hosting, precision/tape accounting, punctured bit units and analytic transfer remain conditional obligations. This is a finite conditional witness, not an unconditional multiplication theorem or kappa = 1.

research/complex-promo4-cold72-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-promo4-cold72-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-promo4-cold72-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-promo4-cold72-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-promo4-cold72-validation/bit589/TERMINAL.json

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