Conditional κ = 0.001654269575689572: six more layered cold ends and full-48 packing

.github/workflows/complex-layered-cold60.yml

@@ -0,0 +1,36 @@
+name: Layered cold60
+on:
+  pull_request:
+    paths:
+      - 'research/complex-layered-cold60/**'
+      - 'research/complex-layered-cold60-validation/**'
+      - '.github/workflows/complex-layered-cold60.yml'
+  push:
+    branches: ['codex/layered-cold60-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-layered-cold60/verify.sh "${{ runner.temp }}/layered-cold60"
+        env:
+          LAYERED_COLD60_PYTHON: python
+      - run: git diff --exit-code
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: layered-cold60-python-${{ matrix.python }}
+          path: '${{ runner.temp }}/layered-cold60'

research/complex-layered-cold60-validation/DOCUMENTATION-CORRECTION.json

@@ -0,0 +1,13 @@
+{
+  "status": "DOCUMENTATION_ONLY_GATE_COUNT_CORRECTION",
+  "old_core_manifest_sha256": "b25520f18aa154359182232d55317c66e0609b06eb065c22d9d4f36e3ef57115",
+  "new_core_manifest_sha256": "407d76a5155abb4142dda787236455eb051229d3fc38c7e42ef024bf03f70b08",
+  "changed_core_files": [
+    "PROOF.md",
+    "MANIFEST.json"
+  ],
+  "early_cleanup_gates": 6,
+  "rank_zero_repair_gates": 17,
+  "evidence": "data/NEW-ENDS.json: sum(len(newtail))=6, sum(len(repair))=17. Every executable and mathematical input is byte-identical to the full fresh platform replays.",
+  "platform_receipts": "Retained platform receipts identify the original pre-correction core manifest. The correction changes only the prose gate count and manifests."
+}

research/complex-layered-cold60-validation/PACKAGE-SHA.json

@@ -0,0 +1 @@
+{"sha256": "c424ab3143bcaaea31cc55ded1fd00f9b46125bbcfca6a0396c6b1aa2b7c47eb", "bytes": 4943123}

research/complex-layered-cold60-validation/PLATFORM-COMPARISON.json

@@ -0,0 +1,59 @@
+{
+  "status": "PASS_EXACT_MATHEMATICAL_RESULT_AND_INDEPENDENT_OWNER_AGREEMENT",
+  "core_manifest_sha256": "b25520f18aa154359182232d55317c66e0609b06eb065c22d9d4f36e3ef57115",
+  "core_files": 374,
+  "result": {
+    "status": "PASS_FRESH_LAYERED_COLD60_COMPLETE_NATIVE_OWNER_AND_EXACT_GLOBAL_REPLAY",
+    "kappa": "413567393922393/250000000000000000",
+    "kappa_decimal": "0.001654269575689572",
+    "complex_lower": "1657010718107129084353/1000000000000000000000000",
+    "bit_lower": "1733427039589844234749/1000000000000000000000000",
+    "profile": {
+      "1": 183456,
+      "2": 30672,
+      "3": 30384,
+      "4": 11088,
+      "5": 4032,
+      "8": 576,
+      "48": 2409
+    },
+    "reused": false,
+    "scope": "Finite conditional witness. Fresh ancestor, gauge44 exact recipe, six-pivot layered word and changed60-cold-end word, 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": "33914bc0eec6d8bf70069fb85cd2e919008186298d5e436e0ee35fcb25eceea3",
+    "OWNER-CONSTRUCTION-CONTROLS.json": "e10c4cf42ee718b5aa0a0f6df7ad64f33b602fef0c2817d4719b9025e1c5772a",
+    "RECONSTRUCTED-OWNERS.json.gz": "26be4d793c1ce6b1df5c5d1b00fb9959682214d3c32c03b52a086c9ea609d9f3"
+  },
+  "platform_receipts": {
+    "macos": [
+      {
+        "directory": "",
+        "stages": 16,
+        "artifacts": 34,
+        "receipt_sha256": "f9b54b406e807711119e0e222582e55fe1c29b8178dab2731e116302670f2428"
+      },
+      {
+        "directory": "ancestral558",
+        "stages": 9,
+        "artifacts": 9,
+        "receipt_sha256": "b7239465a8dbf41404b24f8fc8766fecd3bb4d1ce2bf441a7e347d1d28dd1c6f"
+      }
+    ],
+    "linux": [
+      {
+        "directory": "",
+        "stages": 16,
+        "artifacts": 34,
+        "receipt_sha256": "b942d7e0ebe4c4d198e63015dbccd5525772d89e8b6371664477ba2f0850ddec"
+      },
+      {
+        "directory": "ancestral558",
+        "stages": 9,
+        "artifacts": 9,
+        "receipt_sha256": "c10086b9454cca5ab95a97b2cbad845d9589b42b7442de9c131eb262e16ba3c1"
+      }
+    ]
+  },
+  "normalization": "Only RESULT.seconds is omitted. Raw platform receipts and timing-dependent phase hashes are retained."
+}

research/complex-layered-cold60-validation/README.md

@@ -0,0 +1,17 @@
+# Fresh layered60 validation
+
+The 374-file standalone core passed complete fresh replays on macOS and Linux, both with Python 3.14.8. Supervisor elapsed times were 355.338 and 430.019 seconds; verifier-only times were 354.045 and 423.959 seconds. Each run records 16 top-level stages and 34 artifacts, including a fresh nine-stage ancestral replay with nine artifacts. All retained artifact and stage-log hashes were checked before collection.
+
+`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 the corresponding phase-receipt hashes. `platforms/` retains each run's receipts, results, mutation records and stage logs; `collect.py` is the collection checker. `PACKAGE-SHA.json` identifies the source archive transferred to Linux. The core manifest SHA256 is `b25520f18aa154359182232d55317c66e0609b06eb065c22d9d4f36e3ef57115`.
+
+The accepted conditional bound is **kappa = 413567393922393/250000000000000000 = 0.001654269575689572**. The exact complex lower endpoint is `1657010718107129084353/10^24`; the cited bit endpoint is `1733427039589844234749/10^24`. The new word has 60 cold ends and the owner assignment leaves exactly 2,409 idle rank-48 children. No generated outputs were reused by either full platform replay.
+
+Both runs reconstruct the ancestral, gauge44 and layered54 sources, then the final word. They check all 716 arbitrary-dirt columns, phase identities, residual wrappers, 30 pivot mutations, 59 inherited layer mutations, 59 final inherited end mutations, 30 focused end 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 the named suites; repeated inherited checks are not distinct new tests.
+
+`bit589/` contains the separate fresh bit-circuit replay, including both nine- and eleven-stage exact results. It is not part of the standalone layered60 command. The latter exactly reprices its unchanged pinned input.
+
+The independently replayed comparison PR658 at `a1f15d0c78e1ca44d3414d184e57637b36c6822d` gives kappa `0.001654192296855146`, below this result. PR656's fixed provider word admits our full-48 packing at `0.001654249113130437`; the six new ends improve the word beyond that fixed-provider packing endpoint. No claim is made about other words or schedules.
+
+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 not an unconditional multiplication theorem or kappa = 1.
+
+`DOCUMENTATION-CORRECTION.json` records a subsequent prose correction: the extension has six tail gates and 17 rank-zero repair gates. All executable and mathematical input bytes remain identical to the fresh replays above. Their original core manifest is retained in the receipts; the correction records the new manifest.

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

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