Conditional κ = 0.001530327580902932: kernel92 with native-body frame lifts

.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 frame-lift composition and its sources.
+research/direct504-kernel92-lifts/** -text -whitespace

.github/workflows/direct504-kernel92-lifts.yml

@@ -0,0 +1,32 @@
+name: Direct504 kernel92 frame lifts
+on:
+  push:
+    paths:
+      - 'research/direct504-kernel92-lifts/**'
+      - '.github/workflows/direct504-kernel92-lifts.yml'
+  pull_request:
+    paths:
+      - 'research/direct504-kernel92-lifts/**'
+      - '.github/workflows/direct504-kernel92-lifts.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-lifts/verify.py "$RUNNER_TEMP/direct504-kernel92-lifts"
+      - name: Require unchanged tracked sources
+        run: git diff --exit-code

research/direct504-kernel92-lifts-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-lifts-validation/VALIDATION.json

@@ -0,0 +1,28 @@
+{
+  "status": "PASS_FINAL_FRAME_COMPOSITION_CROSS_PLATFORM",
+  "source_manifest_sha256": "72789d6ad0bff4f22cc2c2fc1b5ae2c32092a1fe3205be44c917f81a330731a7",
+  "results": {
+    "macos314": {
+      "python": "3.14.8 (main, Sep 30 2026, 17:55:09) [Clang 21.0.0 (clang-2100.3.34.2)]",
+      "seconds": 97.17764095799066,
+      "result_sha256": "544e7ed1d1db104c87a2444cc9ca6eb34888db2fe47b06eb2e42e020f8b3cb42",
+      "receipt_sha256": "f3f2dee2696e5d702f8b9e8983b4d490d9037a87717e6da2e55933208b66b3cf"
+    },
+    "linux311": {
+      "python": "3.11.15 (main, Jun 23 2026, 15:18:56) [Clang 22.1.3 ]",
+      "seconds": 127.98574944888242,
+      "result_sha256": "ec9a4a52658dd74cdeca340c490cafab85679348a28420c0c6653fb914b9fc2a",
+      "receipt_sha256": "08f696db66f005287d917c011efbbf825dd1d01ee7c07ba69361f19088a52f8e"
+    }
+  },
+  "matching_keys": [
+    "kappa",
+    "complex_lower",
+    "global_profile",
+    "canonical_word_sha256",
+    "local_program_sha256",
+    "local_phase_recipe_sha256"
+  ],
+  "kappa": "382581895225733/250000000000000000",
+  "scope": "Final complete supplier/local-phase/owner/invoice/outer verifier on Linux3.11 and macOS3.14. Pinned unchanged data controller and physical bit operator remain dependencies; remote CI separate."
+}

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

@@ -0,0 +1,104 @@
+{
+  "status": "PASS_EXACT_RATIONAL_FORWARD_AND_INVERSE_TRANSPOSE",
+  "word_sha256": "93ddd70f91799ea9c669e83b9960603186bad0b8ab273eab8e54c555acd851d9",
+  "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-lifts-validation/linux311/RECEIPT.json

@@ -0,0 +1,108 @@
+{
+  "status": "PASS_DIRECT504_KERNEL92_FRAME_LIFTS",
+  "steps": [
+    {
+      "name": "rebuild-factory-and-selection",
+      "seconds": 0.7545096748508513,
+      "exit_code": 0,
+      "log_sha256": "559deb17ff2bef299fd0ca2cfe6723ff1f0d495ce48d27794d735e9a5efcdbc7"
+    },
+    {
+      "name": "independent-92-kernel-controls",
+      "seconds": 11.394308333983645,
+      "exit_code": 0,
+      "log_sha256": "ae1760aeba26c6586733765ca3bb96c6718f6ec68189179f1f3131d55a1feda7"
+    },
+    {
+      "name": "independent-frame-transfer-controls",
+      "seconds": 0.5008997151162475,
+      "exit_code": 0,
+      "log_sha256": "694d2d657b1eb210818c932f6189f38df35b1b5026a12b19b5278ea19bb9db76"
+    },
+    {
+      "name": "same-partition-frontier",
+      "seconds": 0.07200561603531241,
+      "exit_code": 0,
+      "log_sha256": "5c656419d29213a843cac6e4a5aa5165b39baebacd52294a3f263a250e519e2f"
+    },
+    {
+      "name": "scalar-and-frame-transport",
+      "seconds": 0.631399615900591,
+      "exit_code": 0,
+      "log_sha256": "eff20a6109fe9bc26a6175895ad6e22e58a38efd64e8b1137b6061b865bf8e31"
+    },
+    {
+      "name": "emit-local",
+      "seconds": 0.5682141510769725,
+      "exit_code": 0,
+      "log_sha256": "5d59a834bff32b90d8b0c5cd0e1110c29e385a3ceb3cf71952da4cf9502a57b7"
+    },
+    {
+      "name": "independent-local",
+      "seconds": 2.307632029056549,
+      "exit_code": 0,
+      "log_sha256": "8ecf2ed5cc02a77d79c3599e738f9e580c75ebc2b03366c934b1e63df6f1f9a6"
+    },
+    {
+      "name": "normalized-wrappers",
+      "seconds": 0.3987530008889735,
+      "exit_code": 0,
+      "log_sha256": "f784b5ebc4dfcbd17ccea7adf243b649e322ca3361ce2767d885145b41c14f44"
+    },
+    {
+      "name": "every-local-phase-and-endpoint",
+      "seconds": 103.30369794787839,
+      "exit_code": 0,
+      "log_sha256": "22c35ef98a39ab591a137cc5666739f9b4e4e51529aa95e01d659bbd7f7e1a3a"
+    },
+    {
+      "name": "bind-unchanged-data-controller",
+      "seconds": 0.941080590011552,
+      "exit_code": 0,
+      "log_sha256": "5ae27f5e20a2a43a1c99c3efc8b84d4a00003e725fbc98dd7093960a851773b5"
+    },
+    {
+      "name": "emit-whole-owner-program",
+      "seconds": 1.8440721118822694,
+      "exit_code": 0,
+      "log_sha256": "f5b24445d4ae741dd27ae2207547a7bf5171493dbd011d7ad83dd4de10022686"
+    },
+    {
+      "name": "independent-owner-controller-and-mutations",
+      "seconds": 4.533086889889091,
+      "exit_code": 0,
+      "log_sha256": "bae042a487f8117b57c807d40a31fd979cb5765eeae6c115699331ce13af760b"
+    },
+    {
+      "name": "fresh-finite-invoice",
+      "seconds": 0.5094700080808252,
+      "exit_code": 0,
+      "log_sha256": "da7b5f0f387ddb8404e927b21b761ac189722732c0a51240f77ac9fcff316b99"
+    },
+    {
+      "name": "two-moment-engines-and-outer",
+      "seconds": 0.20223279390484095,
+      "exit_code": 0,
+      "log_sha256": "cbe06ba5498895ee819f1ac293ca65f5681d3681fa0c1de4359c036ca29efc7f"
+    }
+  ],
+  "artifacts": {
+    "construction/TRANSFER.json": "0619a052c82b40bb33e8e4e5112e83571976fd5ca8fb3b0e63df30f952580dff",
+    "frame-transfer/FRAME-LIFTS.json": "8e38a3f0177aa8cf65f09262ebfeee17079aa1495848b9e2b52683226d8083d5",
+    "frame-transfer/CONTROLS.json": "fba5e21e593c162efeeab0bcb714b4bb2b86dc9f5a78e6662a0eefd111edafdf",
+    "RESULT.json": "ec9a4a52658dd74cdeca340c490cafab85679348a28420c0c6653fb914b9fc2a",
+    "KERNEL-SCALAR.json": "8a52ed183c958dbc2a3d8d3dbe26a447384c96ce23dfdf2cf89be215c4deae87",
+    "SOURCE-FRONTIER.json": "3a02123a292730c1dfea8d6c1c8238115b4b07d19c8b8f119b54c345cd1f46af",
+    "local/SCALAR-FRAME-AUDIT.json": "85e833e16bc53b15c4f8d4f9fb2b28189a6a77bac5bf21ae3b6f692c16b91373",
+    "local/INDEPENDENT-LOCAL-REPLAY.json": "89284fa3c86618fadb1ce9e378b8c4c6ecffb42fa84d0660695bed30f5662d9b",
+    "local/CLIFFORD-REVIEW.json": "7ce8ece68fb0222bbee2db8e895f43c329a573fda2e8d5e432b1024bd70f2794",
+    "local/LEMMA-A.json": "8873535d4e1152311a3957d09fb7f067703f1b054bc3f5c289062ab1b3e63246",
+    "audit/ASYNC-AUDIT.json": "bae042a487f8117b57c807d40a31fd979cb5765eeae6c115699331ce13af760b",
+    "audit/OWNERS-AND-PROFILE.json": "eac28ae75d3411554577dfe6aa198484f71cb7d3705c21aeadad31a6f903f523",
+    "audit/IDLE-REMAINDER-FRAMES.json": "94aa88e5228e6affd596ddbf618ed0312266a93544b32ecdd75335699776a861",
+    "audit/GLOBAL-PREFIX.json": "3b45e1522e51b71bafc01e0109c7c12a1a22d9de613138e1fea7f6126981243a",
+    "audit/PREFIX-AND-INVOICE.json": "da7b5f0f387ddb8404e927b21b761ac189722732c0a51240f77ac9fcff316b99",
+    "audit/EXACT-ASSEMBLY.json": "961ba8d130f6768fc5407873f564e0faa0dea768be48739e4d3aa43880e38d62"
+  },
+  "manifest_sha256": "72789d6ad0bff4f22cc2c2fc1b5ae2c32092a1fe3205be44c917f81a330731a7"
+}

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

@@ -0,0 +1,47 @@
+{
+  "kappa": "382581895225733/250000000000000000",
+  "kappa_decimal": "0.001530327580902932",
+  "complex_lower": "1532673072778713292743/1000000000000000000000000",
+  "next_b_rejected": "191584134097339161593/125000000000000000000000",
+  "bit_lower": "391360506745414227149/250000000000000000000000",
+  "binding_component": "complex",
+  "status": "PASS_DIRECT504_KERNEL92_FRAME_LIFTS",
+  "global_profile": {
+    "1": 156528,
+    "2": 35712,
+    "3": 28376,
+    "4": 16272,
+    "5": 13592,
+    "6": 4032,
+    "7": 944,
+    "48": 912
+  },
+  "live": 7168,
+  "physical": 7682,
+  "deficit": 2560,
+  "helper_roles": 36288,
+  "idle_remainders": 7536,
+  "local_profile": {
+    "1": 2174,
+    "2": 496,
+    "3": 357,
+    "4": 226,
+    "5": 139,
+    "6": 56,
+    "7": 8
+  },
+  "canonical_word_sha256": "727899d1b7c4364871591af4a3f7050c52202a8770258ba6f34ea3e616a6d4b1",
+  "local_program_sha256": "033b21bb545e0d7728af16faaabf6bf81858a508c30b2bdf9f893dd66c109e4f",
+  "local_phase_recipe_sha256": "4ae6353d00c76bd8b87002a5d72cdaf88dd82f5dd675d6705aa230c70634f555",
+  "global_prefix_bits": 225,
+  "charged_prefix_bits": 512,
+  "frame_lifts": 662,
+  "frame_mutation_controls": 4,
+  "kernel_omission_controls": 92,
+  "phase_edges": 2924,
+  "endpoint_adapters": 224,
+  "seconds": 127.98574944888242,
+  "python": "3.11.15 (main, Jun 23 2026, 15:18:56) [Clang 22.1.3 ]",
+  "manifest_sha256": "72789d6ad0bff4f22cc2c2fc1b5ae2c32092a1fe3205be44c917f81a330731a7",
+  "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."
+}