Conditional κ = 0.001591045666134196: rank-five complex trace expansion

.github/workflows/complex-trace-rank5.yml

@@ -0,0 +1,35 @@
+name: Complex trace rank-five certificate
+
+on:
+  pull_request:
+    paths:
+      - 'research/complex-trace-rank5/**'
+      - '.github/workflows/complex-trace-rank5.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 20
+    strategy:
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - name: Reconstruct, admit and assemble
+        run: python -B research/complex-trace-rank5/verify.py --work "$RUNNER_TEMP/rank5-replay"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: rank5-receipts-${{ matrix.python }}
+          path: |
+            ${{ runner.temp }}/rank5-replay/*.json
+            ${{ runner.temp }}/rank5-replay/*.log
+            ${{ runner.temp }}/rank5-replay/physical/RECEIPT.json
+            ${{ runner.temp }}/rank5-replay/physical/RESULT.json

research/complex-trace-rank5-replay/ASSEMBLY-CONTROLS.json

@@ -0,0 +1,35 @@
+{
+  "status": "PASS_EXACT_ASSEMBLY_ADMISSION_NEGATIVE_CONTROLS",
+  "valid_receipt_kappa": "397761416533549/250000000000000000",
+  "input_sha256": {
+    "owner_audit": "51a36870c4adf1151dcfee883ab47d5fa3dce17f7e056d84d03f847a00031396",
+    "fresh_invoice": "1cc163a649d4177769e67198d588d1e5aab31988593543d1e60540abb1e66855",
+    "inputs/PR543-EXPECTED.json": "06eccee9f6b77e140833df83407e7996dc948c17d49b0779ab171fbe463fd28d",
+    "engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482",
+    "engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
+    "engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c"
+  },
+  "assembler_sha256": "58ca07fd72c6ab605e94eb5dda44989cf48437f9fade913cccc192b14b4fc60e",
+  "rejected_controls": [
+    "empty_certification_maps",
+    "missing_backward_orientation",
+    "failed_status_zero_sweeps",
+    "nonboolean_precision_check",
+    "wrong_owner_role_count",
+    "understated_physical_stock",
+    "changed_profile_same_rank_mass",
+    "insufficient_finite_C0",
+    "unpaid_scalar_primitive",
+    "wrong_local_artifact_binding",
+    "false_dirty_restoration",
+    "missing_finite_check",
+    "wrong_owner_receipt_hash"
+  ],
+  "exact_outer_controls": [
+    "next_grid",
+    "zero_eta",
+    "zero_beta",
+    "unit_beta"
+  ],
+  "scope": "Mutation controls for receipt completeness, both orientations, literal work/stock, profile and hash binding. Does not replace the fresh physical replay."
+}

research/complex-trace-rank5-replay/PHYSICAL-RECEIPT.json

@@ -0,0 +1,91 @@
+{
+  "status": "PASS_FRESH_COMPLEX_ONLY_FULL_PHYSICAL_ADMISSION",
+  "source_pins_sha256": "a493ab503c3d19d94375e6fa0f3595918d81c6667623f58f889b0e2854a178bb",
+  "harness_sha256": "3fc8ae0963ab8223ae6b33e5e6f4967192df8e15d4f7ee756c93c1743efd54dd",
+  "stages": [
+    {
+      "name": "complex-scalar-frame-transport",
+      "exit_code": 0,
+      "seconds": 0.6983480419730768,
+      "script": "vendor/pr531/code/audit_and_transport.py",
+      "script_sha256": "a4fc272266785e1fffd44775c6fa6df783c4352de4c3f1d925cf953a23b84e7f",
+      "log_sha256": "6b97a31b7df55cb9c898bb9cfd3d64d5d27daf1d4659ccbf59fe8b9daad7c373"
+    },
+    {
+      "name": "complex-emit-local",
+      "exit_code": 0,
+      "seconds": 0.609501792001538,
+      "script": "vendor/pr531/code/emit_local.py",
+      "script_sha256": "eefc76e0bee003015fe21ac685c2cce658033d5444add404d2d509c7d6f39bac",
+      "log_sha256": "7c031d59c6a1ba454a0db7b824bce0e165987107b32178eea978ebabc6fc78aa"
+    },
+    {
+      "name": "complex-independent-local",
+      "exit_code": 0,
+      "seconds": 2.548089041025378,
+      "script": "vendor/pr531/code/audit_local.py",
+      "script_sha256": "69b12c45d0a961175a824c1967353c7f3b94818a7dd6ac7bbcf56a6d1a5ed8e8",
+      "log_sha256": "b694b4b22abb9d1de9a70bbbdf9e9b0e030ec00a7eddc264e4c18376dd859cee"
+    },
+    {
+      "name": "complex-normalized-wrappers",
+      "exit_code": 0,
+      "seconds": 0.9873515829676762,
+      "script": "vendor/pr531/code/adapters_local.py",
+      "script_sha256": "4e89a5c517cd87ff6a5aa9b7334c0d74821179ae5777d31284da25b9d8abf113",
+      "log_sha256": "4638570164b60b9d83753f6fd3a6359713fc062971e022bdea919f8d479b298a"
+    },
+    {
+      "name": "complex-every-local-phase",
+      "exit_code": 0,
+      "seconds": 106.8174258749932,
+      "script": "code/phases_full.py",
+      "script_sha256": "a273c325ffd6793d5b63b79a289a9d2bbc9292e6940fb5a926924f3708627af4",
+      "log_sha256": "d7ff748966f746fec993ed2780bc22c87fb20f9d64e12c23d9bee4fbf23eb3ae"
+    },
+    {
+      "name": "complex-bind-retained-data",
+      "exit_code": 0,
+      "seconds": 1.1221426659612916,
+      "script": "vendor/pr531/code/prepare_supplier_base.py",
+      "script_sha256": "f5eae94aca965d0008bc07cff8245ccb7509042ccad457d3bcb7d51c1e9409f0",
+      "log_sha256": "fd6b4cd2859865f5ca56757b60f9cb4c4a88a1ea6689af149b937b07ddc0d52b"
+    },
+    {
+      "name": "complex-emit-whole-owners",
+      "exit_code": 0,
+      "seconds": 2.1758675419841893,
+      "script": "vendor/pr531/code/emit_supplier_hosted.py",
+      "script_sha256": "53c0b653b3a5100756d6a9473c90101b8c3ab72723d7047983906ab997bdf920",
+      "log_sha256": "f80bc0733fb2597b9fb85040867dc695dbcb69250c1b802c541ba573df379a18"
+    },
+    {
+      "name": "complex-independent-owners-and-controls",
+      "exit_code": 0,
+      "seconds": 5.435238250007387,
+      "script": "vendor/pr531/code/audit_supplier_hosted.py",
+      "script_sha256": "301e9b5c593b6d583065337eb7b3ef207cf039e265f099f89080a4bf25856b43",
+      "log_sha256": "c8df12311227bea837bfd6851b239225821617129649ae3cfaa01217a4190c62"
+    },
+    {
+      "name": "complex-finite-invoice",
+      "exit_code": 0,
+      "seconds": 0.7100212919758633,
+      "script": "vendor/pr531/code/invoice_final.py",
+      "script_sha256": "96b6bed96ca8b60dfc064cd1c7962c45a5cb53c4e52cd90aaea6ccf8d109db97",
+      "log_sha256": "1cc163a649d4177769e67198d588d1e5aab31988593543d1e60540abb1e66855"
+    }
+  ],
+  "artifacts": {
+    "inputs/FULL-WORD.json.gz": "06f01f0dc9655cbafadcb7a8941423e4dbff2b95063e222065bd7e97835f090a",
+    "inputs/PLAN.json": "1d6b86bb265290a1a5358029c021be934637a85f0051a33952f30cfeb2710a7b",
+    "inputs/PLAN-CHECK.json": "531d08f644c89637f08aefac12d86c5c2a0dffa0e7ea9971493b2461a3fddb53",
+    "complex-local/INDEPENDENT-LOCAL-REPLAY.json": "79a05018f058295a31ce690549edfa993964db67b8bf11ff334d78d8b8e02d9e",
+    "complex-local/CLIFFORD-REVIEW.json": "6c22d639244754282d6954b7ae9cbe8e75c160d99fc45974e22705d1df6d2bc6",
+    "complex-local/WRAPPER-CHECKS.json": "bc9d150517bae20490620f6d18b1af68a7d57ca5efe772613a9ee5ccd09107d8",
+    "complex-audit/ASYNC-AUDIT.json": "c8df12311227bea837bfd6851b239225821617129649ae3cfaa01217a4190c62",
+    "complex-audit/OWNERS-AND-PROFILE.json": "51a36870c4adf1151dcfee883ab47d5fa3dce17f7e056d84d03f847a00031396",
+    "complex-audit/PREFIX-AND-INVOICE.json": "1cc163a649d4177769e67198d588d1e5aab31988593543d1e60540abb1e66855",
+    "RESULT.json": "26eed781b86e5f5a069240198a81d55660fff24992a4eb2ec2a69a4e8a5a60ca"
+  }
+}

research/complex-trace-rank5-replay/PHYSICAL-RESULT.json

@@ -0,0 +1,41 @@
+{
+  "status": "PASS_FRESH_COMPLEX_ONLY_FULL_PHYSICAL_ADMISSION",
+  "input_word_sha256": "06f01f0dc9655cbafadcb7a8941423e4dbff2b95063e222065bd7e97835f090a",
+  "canonical_word_sha256": "c76a436cae8990ddd339b615f5e9df02769a59fd2c998b0a5c6767235b6305ab",
+  "local_program_sha256": "09ad9150106a3e69d496eae5804557665c660cff7c8214f911d6e16fe25eda75",
+  "phase_recipe_sha256": "304faa830ccc097106875d2c236a24cb284df86c5ca3f92ddbd1431694ad3ded",
+  "template_sha256": "4f44568c8eb3d6d76aef1105d998b8e43e65fb9fe464a3eee917d02346262209",
+  "local_profile": {
+    "1": 2285,
+    "4": 169,
+    "8": 8,
+    "3": 487,
+    "2": 455,
+    "6": 56,
+    "5": 56
+  },
+  "global_profile": {
+    "1": 164520,
+    "2": 33208,
+    "3": 36987,
+    "4": 12168,
+    "5": 4032,
+    "6": 4032,
+    "7": 208,
+    "8": 576,
+    "39": 1,
+    "48": 1660
+  },
+  "live": 7168,
+  "physical": 7682,
+  "deficit": 2560,
+  "hosted_residuals": 36288,
+  "actual_charts": 2972,
+  "phase_edges": 2929,
+  "endpoint_adapters": 224,
+  "prefix_bits": 225,
+  "charged_prefix_bits": 512,
+  "seconds": 121.10926058399491,
+  "python": "3.11.5 (main, May 29 2026, 21:26:09) [Clang 17.0.0 (clang-1700.3.19.1)]",
+  "scope": "Finite complex-only admission. No bit replay or outer assembly is claimed here; retained all-size, common-label, hosting and analytic contracts remain conditional."
+}

research/complex-trace-rank5-replay/RECEIPT.json

@@ -0,0 +1,43 @@
+{
+  "status": "PASS_FRESH_COMPLEX_TRACE_RANK5_AND_EXACT_ASSEMBLY",
+  "kappa": "397761416533549/250000000000000000",
+  "kappa_decimal": "0.001591045666134196",
+  "source_manifest_sha256": "3db46a45e6b8e7021176e889d730141b5a30bcad47e99a9ada67128c012c2dcc",
+  "physical_receipt_sha256": "79a33784c5e336e4ead0da36392b7ba453677e104bbe271543f5264ca52131dd",
+  "assembly_sha256": "828a6cb240c861fc955a490840dec5e0693be2d81457d547cef676f7e42efdb5",
+  "admission_controls_sha256": "d5a3414e635db9a80663d6462deb918094df947b7c9923171714e33c645d1a37",
+  "stages": [
+    {
+      "name": "local-construction-scalar-price",
+      "exit_code": 0,
+      "seconds": 7.071252208028454,
+      "log_sha256": "005b69ee998919205be3e156bfed4f9492f3aeb2b4b060de77f66cbc84c6d310"
+    },
+    {
+      "name": "omitted-middle-shear-control",
+      "exit_code": 0,
+      "seconds": 0.3626785410451703,
+      "log_sha256": "0bb1f2060bb7f2e78c2d7468ea302bcdaa59af655419f045fb62f6d1237169ff"
+    },
+    {
+      "name": "full-physical-admission",
+      "exit_code": 0,
+      "seconds": 121.14730587502709,
+      "log_sha256": "3a127e6bf99b9a0ca176c6022bcefd92dca36dc94bfb2f3ed463138dd61d00a6"
+    },
+    {
+      "name": "exact-assembly",
+      "exit_code": 0,
+      "seconds": 0.1880601659649983,
+      "log_sha256": "21032bbaf2605091695f3fdc69836525242e9796b7597f1c8b0c616b278a457b"
+    },
+    {
+      "name": "assembly-admission-controls",
+      "exit_code": 0,
+      "seconds": 0.21146091597620398,
+      "log_sha256": "9cc0577eb648247a02f4352eaf5187000a8378657f388e8ffa8cbeb55a43b9ec"
+    }
+  ],
+  "python": "3.11.5 (main, May 29 2026, 21:26:09) [Clang 17.0.0 (clang-1700.3.19.1)]",
+  "scope": "Fresh complex supplier admission and exact assembly with cited unchanged PR543 bit supplier. Retained all-size, common-label/mutable-source, whole-call hosting, precision/tape and analytic-transfer contracts remain conditional."
+}

research/complex-trace-rank5-replay/REPLAY-SUMMARY.json

@@ -0,0 +1,19 @@
+{
+  "status": "OBSERVED_CLEAN_ARCHIVE_REPLAY_EXIT_0",
+  "python": "3.11.5",
+  "archive_sha256": "2cd8a5fa05d5d75f040a1411b1ca9bb658bb18e2733d75021b7ea01479bf31be",
+  "source_manifest_sha256": "3db46a45e6b8e7021176e889d730141b5a30bcad47e99a9ada67128c012c2dcc",
+  "checks": "Full fresh complex admission, exact rational assembly,13receipt controls; cited unchanged bit repriced; no claim of remote CI success.",
+  "historical_integration_fixes": [
+    "Baseline plan profile nomination was stale; new plan changes only profile.",
+    "Raw gzip header varies by Python platform; exact decompressed word is pinned and actual byte hash bound per run.",
+    "Initial cross-run JSON equality rejected run-specific timestamp/plan-serialization hash differences after all mathematics passed; final wrapper binds those3hashes to fresh files and compares every remaining field exactly."
+  ],
+  "files": {
+    "RECEIPT.json": "20fe543d59e58fee9e7d57c5fc70073e4fda13c5346e57d4f089d6d6db1bb416",
+    "ASSEMBLY.json": "828a6cb240c861fc955a490840dec5e0693be2d81457d547cef676f7e42efdb5",
+    "ASSEMBLY-CONTROLS.json": "d5a3414e635db9a80663d6462deb918094df947b7c9923171714e33c645d1a37",
+    "PHYSICAL-RECEIPT.json": "79a33784c5e336e4ead0da36392b7ba453677e104bbe271543f5264ca52131dd",
+    "PHYSICAL-RESULT.json": "26eed781b86e5f5a069240198a81d55660fff24992a4eb2ec2a69a4e8a5a60ca"
+  }
+}