Conditional κ = 0.001524207950793244: 92-pivot direct504 supplier

.gitattributes

@@ -43,3 +43,5 @@ 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
+# Preserve the byte-pinned direct504 supplier and attributed proof package.
+research/direct504-kernel92/** -text -whitespace

.github/workflows/direct504-kernel92.yml

@@ -0,0 +1,32 @@
+name: Direct504 kernel92 finite witness
+on:
+  push:
+    paths:
+      - 'research/direct504-kernel92/**'
+      - '.github/workflows/direct504-kernel92.yml'
+  pull_request:
+    paths:
+      - 'research/direct504-kernel92/**'
+      - '.github/workflows/direct504-kernel92.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: Rebuild supplier, all local phases, owners and exact assembly
+        run: python -B research/direct504-kernel92/verify.py "$RUNNER_TEMP/direct504-kernel92"
+      - name: Require unchanged tracked sources
+        run: git diff --exit-code

research/direct504-kernel92-validation/GZIP-REPRO.json

@@ -0,0 +1,9 @@
+{
+  "status": "EXACT_GZIP_OS_BYTE_ONLY_DIFFERENCE",
+  "differing_offsets": [
+    9
+  ],
+  "macos314_header_byte": 255,
+  "linux311_header_byte": 3,
+  "uncompressed_sha256": "3f857ff47b2f99eb2576beae98fcb6e72f05b19a49e4c888761480c67f08a6ee"
+}

research/direct504-kernel92-validation/INPUT-CONTROLS.json

@@ -0,0 +1,17 @@
+[
+  {
+    "name": "optimized-python",
+    "rejected_before_output": true,
+    "exit_code": 1
+  },
+  {
+    "name": "missing-owner-map",
+    "rejected_before_output": true,
+    "exit_code": 1
+  },
+  {
+    "name": "modified-source",
+    "rejected_before_output": true,
+    "exit_code": 1
+  }
+]

research/direct504-kernel92-validation/VALIDATION.json

@@ -0,0 +1,28 @@
+{
+  "status": "PASS_FINAL_BYTE_BOUND_CROSS_PLATFORM_VALIDATION",
+  "source_manifest_sha256": "de80333e1f5862897e778cd04980423ef1b9d2380fa64e3d8cf7e92e5fad3b2f",
+  "results": {
+    "macos314": {
+      "python": "3.14.8 (main, Sep 30 2026, 17:55:09) [Clang 21.0.0 (clang-2100.3.34.2)]",
+      "seconds": 98.65564358304255,
+      "result_sha256": "147a02ca813b24220514bcda6cf2d1382bc38a9c11441e4944b2e7fd22ca55a7",
+      "receipt_sha256": "fab7fe876c86bb8277fa920b4a053f745246a6ff35fd250a6c396e73f7c53127"
+    },
+    "linux311": {
+      "python": "3.11.15 (main, Jun 23 2026, 15:18:56) [Clang 22.1.3 ]",
+      "seconds": 129.09453240106814,
+      "result_sha256": "ca36b7d94f947c28085c47f1d16f36ab4e97aa6af16085d7433542b05f1766ef",
+      "receipt_sha256": "31f90692fd1b1f5f3f510fcc10594f65c9d8f92c75ad9146fd922a4cd4d254eb"
+    }
+  },
+  "matching_keys": [
+    "kappa",
+    "complex_lower",
+    "global_profile",
+    "canonical_word_sha256",
+    "local_program_sha256",
+    "local_phase_recipe_sha256"
+  ],
+  "kappa": "381051987698311/250000000000000000",
+  "scope": "Final frozen source, complete verifier on Linux3.11 and macOS3.14. Data controller and bit operator retained as explicit dependencies. Remote CI not part of these local receipts."
+}

research/direct504-kernel92-validation/linux311/KERNEL-SCALAR.json

@@ -0,0 +1,104 @@
+{
+  "status": "PASS_EXACT_RATIONAL_FORWARD_AND_INVERSE_TRANSPOSE",
+  "word_sha256": "bc1e1572f9f7e6a0fbf6c49652ee2bad08d6868af7f732229a1421a6b8615b3a",
+  "selection_sha256": "171daf6744166df8d85889a8dda9d01ebae233699488d6e8495b794774d7659e",
+  "columns_each_orientation": 728,
+  "compensations": 9891,
+  "program_operations": 16965,
+  "kernel_pivots": 92,
+  "controls": {
+    "431": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "428": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "416": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "419": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "467": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "272": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "332": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "472": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "478": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "465": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "466": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "427": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "471": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "260": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "473": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "422": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "345": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "227": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "479": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "417": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "464": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "477": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "430": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "421": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "460": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "296": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "445": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "461": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "458": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "284": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "450": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "439": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "432": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "330": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "435": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "447": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "320": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "448": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "440": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "451": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "444": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "294": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "456": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "462": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "297": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "433": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "308": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "455": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "328": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "322": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "293": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "263": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "262": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "323": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "269": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "352": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "291": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "252": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "326": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "290": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "324": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "253": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "255": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "279": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "264": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "314": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "267": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "302": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "257": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "303": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "251": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "256": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "359": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "372": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "347": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "288": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "349": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "373": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "371": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "360": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "287": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "346": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "280": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "281": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "242": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "274": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "243": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "341": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "340": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "275": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "363": "REJECTED_OMITTED_KERNEL_CORRECTION",
+    "364": "REJECTED_OMITTED_KERNEL_CORRECTION"
+  },
+  "scope": "Exact local scalar identity and preserved frame-zero compensation; physical owner routing, complete invoice and outer kappa separate."
+}

research/direct504-kernel92-validation/linux311/RECEIPT.json

@@ -0,0 +1,99 @@
+{
+  "status": "PASS_DIRECT504_KERNEL92_FINITE_WITNESS",
+  "steps": [
+    {
+      "name": "rebuild-factory-and-selection",
+      "seconds": 0.8644632201176137,
+      "exit_code": 0,
+      "log_sha256": "6a1b779a6bb37bbee0ac39a8978bf91978216ac676911491e4b1e3a63406bfe3"
+    },
+    {
+      "name": "independent-92-kernel-controls",
+      "seconds": 12.107983792899176,
+      "exit_code": 0,
+      "log_sha256": "ae1760aeba26c6586733765ca3bb96c6718f6ec68189179f1f3131d55a1feda7"
+    },
+    {
+      "name": "same-partition-frontier",
+      "seconds": 0.06112157297320664,
+      "exit_code": 0,
+      "log_sha256": "5c656419d29213a843cac6e4a5aa5165b39baebacd52294a3f263a250e519e2f"
+    },
+    {
+      "name": "scalar-and-frame-transport",
+      "seconds": 0.6098962160758674,
+      "exit_code": 0,
+      "log_sha256": "729a6cb3760cac13ab8248e4b1c6dc81e5f6c81047ff1e4739b6e4dd01e7d16d"
+    },
+    {
+      "name": "emit-local",
+      "seconds": 0.5606780061498284,
+      "exit_code": 0,
+      "log_sha256": "5d59a834bff32b90d8b0c5cd0e1110c29e385a3ceb3cf71952da4cf9502a57b7"
+    },
+    {
+      "name": "independent-local",
+      "seconds": 2.3959074351005256,
+      "exit_code": 0,
+      "log_sha256": "8ecf2ed5cc02a77d79c3599e738f9e580c75ebc2b03366c934b1e63df6f1f9a6"
+    },
+    {
+      "name": "normalized-wrappers",
+      "seconds": 0.3837140970863402,
+      "exit_code": 0,
+      "log_sha256": "f784b5ebc4dfcbd17ccea7adf243b649e322ca3361ce2767d885145b41c14f44"
+    },
+    {
+      "name": "every-local-phase-and-endpoint",
+      "seconds": 103.7351052169688,
+      "exit_code": 0,
+      "log_sha256": "10dd8852e8fd4afc5ad96eb2c5e62ad63990c47b51a3c41c8ad835cb1c42cb71"
+    },
+    {
+      "name": "bind-unchanged-data-controller",
+      "seconds": 0.9834065840113908,
+      "exit_code": 0,
+      "log_sha256": "dd1855846a84a9033b954109c035b2b0e2d88e673c7288f1c664a85081468753"
+    },
+    {
+      "name": "emit-whole-owner-program",
+      "seconds": 1.91981598502025,
+      "exit_code": 0,
+      "log_sha256": "b3c43cc5a1e58ddf95f9fe6e1f0fdaa497098e03832d1a10c08cf7707fb40d79"
+    },
+    {
+      "name": "independent-owner-controller-and-mutations",
+      "seconds": 4.7141762231476605,
+      "exit_code": 0,
+      "log_sha256": "92af04149a07b03ef59b7104158948a1de287ca1cd38e82a32f351b5e965fda5"
+    },
+    {
+      "name": "fresh-finite-invoice",
+      "seconds": 0.525654774159193,
+      "exit_code": 0,
+      "log_sha256": "b179e92162f760ce36f9df5ba5988444f0c5d0cd91e0c80e86b41ae68f93c611"
+    },
+    {
+      "name": "two-moment-engines-and-outer",
+      "seconds": 0.20454633003100753,
+      "exit_code": 0,
+      "log_sha256": "7bbac3a88acbfb835923a3bdd4386790225765fa2d8118e842ebaa461023d69a"
+    }
+  ],
+  "artifacts": {
+    "RESULT.json": "ca36b7d94f947c28085c47f1d16f36ab4e97aa6af16085d7433542b05f1766ef",
+    "KERNEL-SCALAR.json": "1c84a1ffaddc2cd4e24cb1cf5fcfe09b4b4bcfdb89a3d897de25b38f62f8fff0",
+    "SOURCE-FRONTIER.json": "3a02123a292730c1dfea8d6c1c8238115b4b07d19c8b8f119b54c345cd1f46af",
+    "local/SCALAR-FRAME-AUDIT.json": "b179617929e5be05247eca309d2d5f1d4035f2404f3fe99db52c9197af3aee56",
+    "local/INDEPENDENT-LOCAL-REPLAY.json": "852401dc79ad3f384af39eea68a060bef54394023bd5e74b5cd5df46a29b9b47",
+    "local/CLIFFORD-REVIEW.json": "58eb5e3f392a703c9fd476f6ff8b12db12d8c7a9c82590127c9575b1611ae5a3",
+    "local/LEMMA-A.json": "8873535d4e1152311a3957d09fb7f067703f1b054bc3f5c289062ab1b3e63246",
+    "audit/ASYNC-AUDIT.json": "92af04149a07b03ef59b7104158948a1de287ca1cd38e82a32f351b5e965fda5",
+    "audit/OWNERS-AND-PROFILE.json": "7dac0d1eab749e6e725b352dae7a763b2c0c83d5c63e7065df350ddd205973c1",
+    "audit/IDLE-REMAINDER-FRAMES.json": "c7656c88805b8270897b70eaedaccad552adc9e61920f72076523e18b5ee023f",
+    "audit/GLOBAL-PREFIX.json": "cfae59104968a2be9fb22d3fc8cb5931f3d257e4b8c6d0102871e04eca88f23a",
+    "audit/PREFIX-AND-INVOICE.json": "b179e92162f760ce36f9df5ba5988444f0c5d0cd91e0c80e86b41ae68f93c611",
+    "audit/EXACT-ASSEMBLY.json": "c649340a786167486f9865cd45961f4a9dc3ef2c7926a8fa6494ac79be721f54"
+  },
+  "manifest_sha256": "de80333e1f5862897e778cd04980423ef1b9d2380fa64e3d8cf7e92e5fad3b2f"
+}

research/direct504-kernel92-validation/linux311/RESULT.json

@@ -0,0 +1,45 @@
+{
+  "kappa": "381051987698311/250000000000000000",
+  "kappa_decimal": "0.001524207950793244",
+  "complex_lower": "1526534707131015364923/1000000000000000000000000",
+  "next_b_rejected": "381633676782753841231/250000000000000000000000",
+  "bit_lower": "391360506745414227149/250000000000000000000000",
+  "binding_component": "complex",
+  "status": "PASS_DIRECT504_KERNEL92_FINITE_WITNESS",
+  "global_profile": {
+    "1": 146592,
+    "2": 55584,
+    "3": 12464,
+    "4": 28224,
+    "5": 7616,
+    "6": 4032,
+    "7": 944,
+    "48": 912
+  },
+  "live": 7168,
+  "physical": 7682,
+  "deficit": 2560,
+  "helper_roles": 36288,
+  "idle_remainders": 7536,
+  "local_profile": {
+    "1": 2036,
+    "2": 772,
+    "3": 136,
+    "4": 392,
+    "5": 56,
+    "6": 56,
+    "7": 8
+  },
+  "canonical_word_sha256": "941f0c38961f3af59bceb8aebcf219c6297339194841f52c74e9b08bbbad7928",
+  "local_program_sha256": "a316ab231187402b771a72ba8d72603bd347e9bd6931219c6cdc9bac5a8fcf7e",
+  "local_phase_recipe_sha256": "0c74f34851588285f1125fc3be7f09e7575d3b47ea05d691a1c9f7193ea1f403",
+  "global_prefix_bits": 225,
+  "charged_prefix_bits": 512,
+  "kernel_omission_controls": 92,
+  "phase_edges": 2924,
+  "endpoint_adapters": 224,
+  "seconds": 129.09453240106814,
+  "python": "3.11.15 (main, Jun 23 2026, 15:18:56) [Clang 22.1.3 ]",
+  "manifest_sha256": "de80333e1f5862897e778cd04980423ef1b9d2380fa64e3d8cf7e92e5fad3b2f",
+  "scope": "Fresh supplier construction, both arbitrary-input scalar orientations, all local phases/endpoints, residual wrappers, actual whole owners, finite invoice and exact outer composition. Pinned unchanged data controller/data phases and PR493 bit operator retained; inherited all-size and analytic interfaces remain conditional."
+}