Conditional κ = 0.001591968902833346: subspace16 complex with full R420 replay

.gitattributes

@@ -43,3 +43,6 @@ research/e8-complex-gauge-kernel/** -text -whitespace
 research/e8-lemma-a-lean/** -text -whitespace
 research/e8-lemma-g-lean/** -text -whitespace
 research/community-formal-20261012-audit/** -text -whitespace
+
+research/subspace16-r420/** -text
+research/subspace16-r420-validation/** -text

.github/workflows/subspace16-r420.yml

@@ -0,0 +1,37 @@
+name: Subspace16 R420 both suppliers
+on:
+  push:
+    paths:
+      - 'research/subspace16-r420/**'
+      - '.github/workflows/subspace16-r420.yml'
+  pull_request:
+    paths:
+      - 'research/subspace16-r420/**'
+      - '.github/workflows/subspace16-r420.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-24.04
+    timeout-minutes: 15
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install native and Python prerequisites
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y g++ libboost-dev
+          python -m pip install numpy scipy sympy
+      - name: Rebuild both suppliers, phases, owners and exact assembly
+        run: python -B research/subspace16-r420/verify.py --work "$RUNNER_TEMP/subspace16-r420" --boost-include /usr/include
+      - name: Require unchanged tracked sources
+        run: git diff --exit-code

research/subspace16-r420-validation/CROSS-PLATFORM.json

@@ -0,0 +1,49 @@
+{
+  "status": "PASS_COLD_MACOS_LINUX_SEMANTIC_AGREEMENT",
+  "kappa": "0.001591968902833346",
+  "manifest_sha256": "2b3351b02e4b4e13f0f3c02e5b7c664c01c149f7a85d7f1bcb83709f7fce837a",
+  "macos_seconds": 179.7088361249771,
+  "linux_seconds": 229.51199523499236,
+  "result_differences": [
+    [
+      "/bit_template_sha256",
+      "cc2464bf7113684521e093fc35e0834fc9e9b5da9b2f6203f3a08adeaa89ca57",
+      "63144473ac69d384968a6447b1effa26d820ce6b6d85dbc4ef4f63c7121547d9"
+    ],
+    [
+      "/seconds",
+      179.7088361249771,
+      229.51199523499236
+    ],
+    [
+      "/python",
+      "3.14.8 (main, Sep 30 2026, 17:55:09) [Clang 21.0.0 (clang-2100.3.34.2)]",
+      "3.12.3 (main, Aug 31 2026, 10:18:26) [GCC 13.3.0]"
+    ]
+  ],
+  "bit_template_differences": [
+    [
+      "/geometry_sha256",
+      "66e0d7d15226c6a1401ba1effe45bcd574f658faaacaf418725dae1d46d01319",
+      "51bb08487cdffdbe59cfe5932beb7093d03836899864dcdd675527b4cc9b7341"
+    ]
+  ],
+  "bit_geometry_differences": [
+    [
+      "/seconds",
+      1.6459629579912871,
+      2.1484170469921082
+    ]
+  ],
+  "statement": "Both final immutable package replays pass. All top-level semantic fields and complex word/program/phase/template hashes agree. R420 raw template hashes differ only through the hash of geometry containing measured seconds. Raw bit templates are not claimed byte-identical. The expanded bit operator hash is identical.",
+  "receipts": {
+    "macos-python314/RESULT.json": "77f0e1be238ec6a657b976bf8b11d6b024159d21c22a414388d298371604e1a1",
+    "linux-python312/RESULT.json": "0c966d0a6946fd5ede7e7765d0ccccd2f83442bd5c5e4998ab64bce8c0414a32",
+    "macos-python314/RECEIPT.json": "ff9c546517dd426206ce47c64726e9ed5bfb41449340c5c3495339f350b27073",
+    "linux-python312/RECEIPT.json": "cccb4cea96e5800b3614596bc0e343491daf1089a45bcf4916d9f2878b75f5eb",
+    "macos-python314/bit-r420/replay/v9/hosted/GLOBAL-TEMPLATE.json.gz": "960e06322dcabc1071c427e3296708a183ef962d92b41e20c3f143c06f6b906f",
+    "linux-python312/bit-r420/replay/v9/hosted/GLOBAL-TEMPLATE.json.gz": "77aa1302fd049a7e24411880b4bf33d11c0f2e77fdddd18e672fad89d4c06e49",
+    "macos-python314/bit-r420/replay/v9/nine/GEOMETRY.json": "66e0d7d15226c6a1401ba1effe45bcd574f658faaacaf418725dae1d46d01319",
+    "linux-python312/bit-r420/replay/v9/nine/GEOMETRY.json": "51bb08487cdffdbe59cfe5932beb7093d03836899864dcdd675527b4cc9b7341"
+  }
+}

research/subspace16-r420-validation/PRELIMINARY-CORRECTIONS.json

@@ -0,0 +1,20 @@
+{
+  "status": "PRELIMINARY_ALL_MATHEMATICAL_CHECKS_PASSED_EXPECTED_METADATA_REJECTED",
+  "prefix": {
+    "stale_expected": 225,
+    "actual_pilot_and_cold": 218
+  },
+  "template_difference": {
+    "only_fields": [
+      "supplier_substitution/old_canonical_word_sha256",
+      "supplier_substitution/parent_template_sha256"
+    ],
+    "cause": "Pilot used PR548 controller parent references; first package copied earlier PR544 references. No other template field differed. Final verifier stages the exact PR548 references in scratch before unchanged admission."
+  },
+  "final_changes": [
+    "Correct expected measured prefix to 218 without changing charged budget.",
+    "Stage exact source-pinned PR548 parent references.",
+    "Update inherited prototype documentation and attribution."
+  ],
+  "verification": "Final package must pass new cold macOS and Linux runs; no final pass inferred from the preliminary rejection."
+}

research/subspace16-r420-validation/README.md

@@ -0,0 +1,9 @@
+# Final cold verification
+
+The unchanged final package manifest `2b3351b02e4b4e13f0f3c02e5b7c664c01c149f7a85d7f1bcb83709f7fce837a` passed full replay on macOS/Python 3.14.8 in 179.7088 seconds and Linux aarch64/Python 3.12.3 in 229.5120 seconds. Both report κ = 0.001591968902833346.
+
+Every artifact hash in both recorded receipts was checked against these copies. All semantic top-level results and complex canonical-word, emitted-program, phase-recipe and template hashes agree. The bit template's only difference is its geometry hash; the geometry differs only in measured seconds. The expanded bit operator hashes agree. See CROSS-PLATFORM.json; raw bit-template identity is not claimed.
+
+PRELIMINARY-CORRECTIONS.json preserves the initial expected-metadata rejection and its resolution. The final cold runs occurred after both corrections and final documentation/source manifests were frozen. The mathematical audit code was not weakened.
+
+GitHub CI is separate from these observed local/remote runs.

research/subspace16-r420-validation/linux-python312/RECEIPT.json

@@ -0,0 +1,125 @@
+{
+  "status": "PASS_SUBSPACE16_R420_BOTH_SUPPLIERS",
+  "stages": [
+    {
+      "name": "bit-r420-full-replay-and-interface",
+      "exit_code": 0,
+      "seconds": 116.19484477397054,
+      "log_sha256": "a222a733a66a6657b5b041a8432cae78449d65984377b7b257ecaee941fdfeee"
+    },
+    {
+      "name": "complex-static44-construction-and-controls",
+      "exit_code": 0,
+      "seconds": 4.429556539980695,
+      "log_sha256": "710d00e4459f1986cc56699cfdbf25e20b16c4fbebf485475f725c8edf7e47d7"
+    },
+    {
+      "name": "complex-548-frame-lifts",
+      "exit_code": 0,
+      "seconds": 0.44867917406372726,
+      "log_sha256": "9d912ac7edbdcdf3d6a8a3e82358bc325d68e2773cd91371e7e4cb95eecbf356"
+    },
+    {
+      "name": "complex-548-syndrome",
+      "exit_code": 0,
+      "seconds": 0.18731442489661276,
+      "log_sha256": "5a043dd6559a4d5932a7f3c5378ee42e709cf655395d5c3c92cf4185d3585659"
+    },
+    {
+      "name": "complex-response-slice",
+      "exit_code": 0,
+      "seconds": 0.2696257848292589,
+      "log_sha256": "187de54751a3b255e2a1ce87bab2382dbfc658e02c6315cdb0caeb94f9f1719c"
+    },
+    {
+      "name": "complex-subspace16",
+      "exit_code": 0,
+      "seconds": 0.1697510478552431,
+      "log_sha256": "75d72e9f1f5499a06026a3abf7d5cf1165eb720319db87e39f0b905ab1611567"
+    },
+    {
+      "name": "complex-scalar-frame-transport",
+      "exit_code": 0,
+      "seconds": 0.4950255169533193,
+      "log_sha256": "9b715b70a86fa606e101a5c52a764c1b7e83c6bb5a138a12fb7289d307bfcb5f"
+    },
+    {
+      "name": "complex-emit-local",
+      "exit_code": 0,
+      "seconds": 0.47103255591355264,
+      "log_sha256": "c554d261298d443991b872559a14b1f2dfd49484ef91d445b70c78b8d010ab0a"
+    },
+    {
+      "name": "complex-independent-local",
+      "exit_code": 0,
+      "seconds": 1.7107488340698183,
+      "log_sha256": "b694b4b22abb9d1de9a70bbbdf9e9b0e030ec00a7eddc264e4c18376dd859cee"
+    },
+    {
+      "name": "complex-normalized-wrappers",
+      "exit_code": 0,
+      "seconds": 0.8680077821481973,
+      "log_sha256": "4638570164b60b9d83753f6fd3a6359713fc062971e022bdea919f8d479b298a"
+    },
+    {
+      "name": "complex-every-local-phase",
+      "exit_code": 0,
+      "seconds": 95.74115449003875,
+      "log_sha256": "6ef23baac47f7daadb5614f4aaca0b6617bad6dd95adeed6e18aca3a146c055c"
+    },
+    {
+      "name": "complex-bind-retained-data",
+      "exit_code": 0,
+      "seconds": 0.9506175050046295,
+      "log_sha256": "0ec9cf9211eb0d1f73960977bda84e4dd1b29e3707e8b1862dae2b99425ff75c"
+    },
+    {
+      "name": "complex-emit-whole-owners",
+      "exit_code": 0,
+      "seconds": 2.091774489963427,
+      "log_sha256": "7eb794f4f4c23bbddcc94b7f30c6edec7b108a5f202c52af896a5e750c7a81ac"
+    },
+    {
+      "name": "complex-independent-owners-and-controls",
+      "exit_code": 0,
+      "seconds": 4.7819736048113555,
+      "log_sha256": "1b24ed8decf1bc8a5088262817087102a7f22b25a792203613ff4420fb3cdcb3"
+    },
+    {
+      "name": "complex-finite-invoice",
+      "exit_code": 0,
+      "seconds": 0.43986431998200715,
+      "log_sha256": "100a22d8d1d28e39fdfbe3db41dcc239b0dcdc2f50ab310c11185d546ee1f876"
+    },
+    {
+      "name": "both-moments-and-outer-assembly",
+      "exit_code": 0,
+      "seconds": 0.22763017797842622,
+      "log_sha256": "2682779be39198eb79bea0d93c4ccbee18f8db2b01803deba92f00457b59941b"
+    }
+  ],
+  "artifacts": {
+    "RESULT.json": "0c966d0a6946fd5ede7e7765d0ccccd2f83442bd5c5e4998ab64bce8c0414a32",
+    "bit-r420/DRIVER.json": "95ce16173143a47081b0ecfb039d030325c4938a47f7cf30c3b3ed8ea3b13ffc",
+    "bit-r420/replay/xcheck.json": "957c926bea5ca5aa52c5e0d3b1623c813e1338e3ed7402c5f188edfbaed6eb7d",
+    "bit-r420/replay/mutants.json": "fa7c2b880d9f45b797b0894fd402e6b041b5f5318770497322f7673e16362c1e",
+    "bit-r420/replay/cout/columns.json": "22f961cf5dc9b71eb194c57cd70515e6b52b851516f85f813edd1b0c2cf24170",
+    "bit-r420/replay/cout/columns_k4.json": "805623dccb19337049fe46dfb94ed5153638067ad3293c045e5e693c522f239f",
+    "bit-r420/replay/cout/columns_k5.json": "1bbb9a1f7c9af6df07ff216e2486685b6584b19b813ab2aaa38ec7c0008bc1b4",
+    "bit-r420/replay/cout/legality.json": "9533feacec0c271acf27a028be0d89385f8bd6b2a2a5bfaa6e68f9eff94830bf",
+    "bit-r420/replay/v9/hosted/AUDIT.json": "47a3309a45691155e92ccd6a8ac663b73bc950c7268ab5ef6dc3c6e6bb1627e9",
+    "bit-r420/replay/RESULT9.json": "f2a326be2a501ec6cac7c04719d31bf3b0007175c1a549538a11ec617128ae1e",
+    "bit-r420/replay/RESULT11.json": "55510df57374708ac6a3cca3f8d0ea2081a90b98a9c4dc4532f865d52a7255ac",
+    "static44/SCALAR-AUDIT.json": "6572afd4b38edd37f4c33f2a16b1117a627dcb81e75f6a09b8687e9f042f518a",
+    "sliced/RESULT.json": "1c5d5e5d26caf3d4ff00e524d82b72f72aa3360979e2d04192a85b368c63e129",
+    "subspace16/RESULT.json": "6f1f2c36201a5d0ff8c1aec58019959f5b08f93707a05c63fb2bbf0ba52fa712",
+    "complex-local/INDEPENDENT-LOCAL-REPLAY.json": "6690e3728e84c029b0b10735a55c07d1a60cf675c973d5973dcc669e90f39f42",
+    "complex-local/CLIFFORD-REVIEW.json": "ba0f6c3573d77795b563b429e52b3a6ec51ddfc6f0fd47ca74cd76dba433770f",
+    "complex-local/LEMMA-A.json": "bc9d150517bae20490620f6d18b1af68a7d57ca5efe772613a9ee5ccd09107d8",
+    "complex-audit/ASYNC-AUDIT.json": "1b24ed8decf1bc8a5088262817087102a7f22b25a792203613ff4420fb3cdcb3",
+    "complex-audit/OWNERS-AND-PROFILE.json": "c0a5ed304f9edee7bae62483c44e79713d8cb3ad2bb678aa017780fa2ff8641b",
+    "complex-audit/PREFIX-AND-INVOICE.json": "100a22d8d1d28e39fdfbe3db41dcc239b0dcdc2f50ab310c11185d546ee1f876",
+    "assembly/EXACT-ASSEMBLY.json": "351e19b3782f5e9d4a0faa16f3a7891962e16d0bff683f90168ce2b0fc509b9e"
+  },
+  "manifest_sha256": "2b3351b02e4b4e13f0f3c02e5b7c664c01c149f7a85d7f1bcb83709f7fce837a"
+}

research/subspace16-r420-validation/linux-python312/RESULT.json

@@ -0,0 +1,70 @@
+{
+  "kappa": "795984451416673/500000000000000000",
+  "kappa_decimal": "0.001591968902833346",
+  "complex_lower": "1594507308884431019637/1000000000000000000000000",
+  "bit_lower": "413456747036699736067/250000000000000000000000",
+  "binding_component": "complex",
+  "status": "PASS_SUBSPACE16_R420_BOTH_SUPPLIERS",
+  "bit_local_profile": {
+    "1": 1320,
+    "2": 1440,
+    "4": 60,
+    "5": 120,
+    "8": 9
+  },
+  "bit_global_profile": {
+    "1": 380160,
+    "2": 426624,
+    "4": 32640,
+    "5": 34560,
+    "6": 15360,
+    "7": 23040,
+    "8": 2592,
+    "42": 3456
+  },
+  "bit_word_sha256": "9721a3819efd68307f66f00d84a952eb28eb7c3ad2ce79653ce295c98a764784",
+  "bit_template_sha256": "63144473ac69d384968a6447b1effa26d820ce6b6d85dbc4ef4f63c7121547d9",
+  "bit_program_sha256": "2d219ab9a59aaf8f7163f28cac55a3d7a010dd9aa93ec53108491c1e5d434ab5",
+  "bit_payload_prefix_bits": 100,
+  "bit_prefix_bits": 189,
+  "bit_charged_prefix_bits": 192,
+  "bit_two_level_bits": 416,
+  "bit_charged_two_level_bits": 512,
+  "complex_local_profile": {
+    "1": 2300,
+    "2": 440,
+    "3": 472,
+    "4": 184,
+    "5": 56,
+    "6": 56,
+    "8": 8
+  },
+  "complex_global_profile": {
+    "1": 165600,
+    "2": 32128,
+    "3": 35907,
+    "4": 13248,
+    "5": 4032,
+    "6": 4032,
+    "7": 208,
+    "8": 576,
+    "39": 1,
+    "48": 1660
+  },
+  "complex_word_sha256": "2c1ae483355a8a91057c08b2faf537cc1842f7fc1fa7a4c12b3aebf4ed8a8ba3",
+  "complex_program_sha256": "8c4f7b39c473de286bfa8cc66ff8e054410bb14e5efa2e50f75fc48b928859b4",
+  "complex_phase_sha256": "01b96cacdeca5771257cfbe7f6ca96c9c38a7ccb06487211837d0ec14c1eec50",
+  "complex_template_sha256": "8cea2b4ff1b53c4930d758dbc6d9ba701a543599c450af4d0b4110c358be4e08",
+  "complex_live": 7168,
+  "complex_physical": 7682,
+  "complex_deficit": 2560,
+  "complex_helper_roles": 36288,
+  "complex_prefix_bits": 218,
+  "complex_charged_prefix_bits": 512,
+  "phase_edges": 2929,
+  "endpoint_adapters": 224,
+  "seconds": 229.51199523499236,
+  "python": "3.12.3 (main, Aug 31 2026, 10:18:26) [GCC 13.3.0]",
+  "manifest_sha256": "2b3351b02e4b4e13f0f3c02e5b7c664c01c149f7a85d7f1bcb83709f7fce837a",
+  "scope": "Conditional finite witness under the retained all-size compiler, common-label/mutable-basis, whole-call hosting, restored-work, precision/tape and analytic-transfer contracts. Fresh changed-bit admission and complex admission and finite invoices are separately hash-bound. The unchanged complex data controller remains a cited dependency. No unconditional theorem is claimed."
+}