eumemic · Oct 10, 2026 · Oct 10, 2026 · Oct 10, 2026 · Oct 10, 2026 · Oct 10, 2026
diff --git a/.gitattributes b/.gitattributes
@@ -18,3 +18,5 @@ research/coordinated-frames-and-entrance-banks/** -text -whitespace
 # Frozen PR210 package and round-nine evidence retain their audited bytes.
 research/five-stage-source527-banks/** -text -whitespace
 research/community-round9-audit/** -text -whitespace
+research/p10b-oriented-constructed42/** -text
+research/p10b-donor-flow52/** -text -whitespace
diff --git a/.github/workflows/p10b-donor-flow52.yml b/.github/workflows/p10b-donor-flow52.yml
@@ -0,0 +1,37 @@
+name: p10b all-rank donor flow and 52 retimings
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-donor-flow52/**'
+      - '.github/workflows/p10b-donor-flow52.yml'
+  push:
+    paths:
+      - 'research/p10b-donor-flow52/**'
+      - '.github/workflows/p10b-donor-flow52.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/p10b-donor-flow52/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-donor-flow52/verify.py --output "$RUNNER_TEMP/p10b-donor-flow52-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-donor-flow52-verification
+          path: |
+            ${{ runner.temp }}/p10b-donor-flow52-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-donor-flow52-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-donor-flow52-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-donor-flow52-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-donor-flow52-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-donor-flow52-proof/logs/
diff --git a/.github/workflows/p10b-oriented-constructed42.yml b/.github/workflows/p10b-oriented-constructed42.yml
@@ -0,0 +1,37 @@
+name: p10b oriented source and constructed42
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-oriented-constructed42/**'
+      - '.github/workflows/p10b-oriented-constructed42.yml'
+  push:
+    paths:
+      - 'research/p10b-oriented-constructed42/**'
+      - '.github/workflows/p10b-oriented-constructed42.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/p10b-oriented-constructed42/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-oriented-constructed42/verify.py --output "$RUNNER_TEMP/p10b-oriented-constructed42-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-oriented-constructed42-verification
+          path: |
+            ${{ runner.temp }}/p10b-oriented-constructed42-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-oriented-constructed42-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-oriented-constructed42-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-oriented-constructed42-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-oriented-constructed42-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-oriented-constructed42-proof/logs/
diff --git a/research/p10b-donor-flow-independent-audit/ASSEMBLY-AUDIT.json b/research/p10b-donor-flow-independent-audit/ASSEMBLY-AUDIT.json
@@ -0,0 +1,9 @@
+{
+  "status": "PASS_INDEPENDENT_CLOSED_FORM_BOOTSTRAP_COMPLEX_CLIPPING_AND_OUTER_GRID",
+  "kappa": "388798095580846930729937/500000000000000000000000000",
+  "complex_b": "779597612622781/1000000000000000000",
+  "ordinary_saving": "778201317542171666005257/1000000000000000000000000000",
+  "bootstrap_levels": 8,
+  "refinement_sha256": "eff1e7dc5473745c36fad178bf5234574495d9c6740f3e8d47e2f01fe842eee5",
+  "scope": "Independently recomputed all finite recurrence levels by closed form, their cutoffs, strict complex cap, seven outer margins and final grid; full structural and moment admission remain the complete verifier responsibility."
+}
diff --git a/research/p10b-donor-flow-independent-audit/BOUND-RESULT.json b/research/p10b-donor-flow-independent-audit/BOUND-RESULT.json
@@ -0,0 +1,305 @@
+{
+  "banks_per_stage": 423036,
+  "copies": 20,
+  "deleted_roles": 0,
+  "endpoint_rank_mass_per_replica": 141012,
+  "engine_hashes": {
+    "/private/tmp/audit-p10b-assembly-closedform.py": "11cd6c968fda949df26110baaaf88913b2397066a46c5ad1b09f1d7bc17b186c",
+    "/private/tmp/p10b-public-independent-audit/audit.cpp": "a2d72e15d48edfc92d94f7a8c06fd792076a13182d81a5f7e22a1fa570f2305b",
+    "/private/tmp/p10b-public-independent-audit/minor-audit.py": "ddbfaf13ec0611dfc36acf5e9ecc1852a4f69d4da3a49679c774ba5a612450a6",
+    "/private/tmp/retile-actual-endpoints-generic.py": "a626acf0ae221e94ff40cd7ddd12c3b352e433e1773a68f2019352b38b6ba7d0"
+  },
+  "erasures": 20,
+  "forward_wrong_rows": 0,
+  "input_hashes": {
+    "/private/tmp/p10b-flow015-constructed-native-proof/BANK.json": "bb2552983104c5810eaed0c4de5450dbaae975bcac168ba2371ba8bb5aac8297",
+    "/private/tmp/p10b-flow015-constructed-native-proof/COLUMNS.json": "266fd3b708230774b5371d662319c15e085404f6fe048956072b16c42cac16dc",
+    "/private/tmp/p10b-flow015-constructed-native-proof/EXPORT.json": "d2080c3492d82d31d2442e77fdbbb868920d287d0da44f49bce8f826dc2c8d33",
+    "/private/tmp/p10b-flow015-constructed-native-proof/FRAME-PRIMES.json": "5b4232d833527aa011f37bdf3db0200f1ce1e316c6159563d2f072c46967c929",
+    "/private/tmp/p10b-flow015-constructed-native-proof/INVOICE.json": "8fba7f4c1f3d14db7787d36332f7713a5c3597f07839dd4c1e55932f75b92c01",
+    "/private/tmp/p10b-flow015-constructed-native-proof/LEGALITY.json": "6bb1769c037e66256bb5309f9f892a0ab4f7bf5f898412afb561ec68a3726af6",
+    "/private/tmp/p10b-flow015-constructed-native-proof/NATIVE-PRICE.json": "97be010603744db9bfc14eb89f24b5bb8838d1d140da095d3b9c1d4b966a7ee4",
+    "/private/tmp/p10b-flow015-constructed-native-proof/PRICE.json": "89288bd9b6864b578f5661c6d95671917ddc1caf962cde24ff53cc1e853fb366",
+    "/private/tmp/p10b-flow015-constructed-native-proof/REFINEMENT.json": "eff1e7dc5473745c36fad178bf5234574495d9c6740f3e8d47e2f01fe842eee5",
+    "/private/tmp/p10b-flow015-constructed-native-proof/ROLE-MAP.json": "acc27cfb66525162ff973357c2153bb5b3d913d15ba91b993d90efef76e30602",
+    "/private/tmp/p10b-flow015-constructed-native-proof/TILING.json": "69c087739109cc5dc4409b56d7b04c9c00c9b5206e4ea81cffb0fc293084728f",
+    "/private/tmp/p10b-flow015-constructed-native-proof/bank/BANK-CHARTS.json": "946d8833b38aa99a04cf459cf3e99dabaf41e3c7d1cb4852825acebfa6670341",
+    "/private/tmp/p10b-flow015-constructed-native-proof/bank/BANK-REVIEW.json": "a1fa416673fa92373e3f1f093e7a60eaf459cee8800eb5ab8a104ba44f27e08a",
+    "/private/tmp/p10b-flow015-constructed-native-proof/base/249-states.json": "49c5f48514b5c7b78a00341db8822c56472853aceb189f0d65938e2ff94bafe8",
+    "/private/tmp/p10b-flow015-constructed-native-proof/base/COHORT249-RECORDS.bin": "3f34fa63a07dd5212f8d265888ba62abc04a272b124c9e598afcbd96827ed807",
+    "/private/tmp/p10b-flow015-constructed-native-proof/base/frames.json": "a163f1bf7038045d4576895ee4a6256392e240f5a13ac2b2b6fe5101b1e047df",
+    "/private/tmp/p10b-flow015-constructed-native-proof/candidate/249-states.json": "0f0d29ece5a4b32a62890f7b2a7a6a475a94de956fd0b78e9a39f47a979b7538",
+    "/private/tmp/p10b-flow015-constructed-native-proof/candidate/COHORT249-FINAL.json": "9d4294077a73815068f4f359ddb3650124d7f6b6417e4bd90dca18fbb8f59e5d",
+    "/private/tmp/p10b-flow015-constructed-native-proof/candidate/COHORT249-FRAMES.json": "00df1ec885c9fbf47c0e671bad88a61adb73b5804eecd8fe8f227cbb9ad45802",
+    "/private/tmp/p10b-flow015-constructed-native-proof/candidate/COHORT249-INITIAL.json": "d4987d454c08e9e10dccdbc054a863a4957dc05b84ad938ea1353ebf6d8af8da",
+    "/private/tmp/p10b-flow015-constructed-native-proof/candidate/COHORT249-RECORDS.bin": "7c7b1cf9baf45b63855597c9e1f8ebfd400f0958f2f40f09347c6176482587ef",
+    "/private/tmp/p10b-flow015-constructed-native-proof/candidate/COHORT249-SELECTION.json": "ca3d163bab055381827226140568f3bef7eaac187cebd76878e0b63e9e442356",
+    "/private/tmp/p10b-flow015-constructed-native-proof/candidate/frames.json": "92d6a6fc2030fbc242d2b46a351f0db5833859f31a5761f2577291768be6cf8e",
+    "/private/tmp/p10b-flow015-constructed-native-proof/candidate/physical.json": "ec4f316b643a2aa0af7d2170d51a16b07c7fccdd89d02f476b7ed4cb151430da",
+    "/private/tmp/p10b-flow015-constructed-native-proof/charts/COMBINED-CHART-AUDIT.json": "f2e8253ba140cf5e22055a345bcb3ea285a3b8e1df137dd5cf2de65b72490b97",
+    "/private/tmp/p10b-flow015-constructed-native-proof/charts/COMBINED-CHARTS.json": "92b27951bf9bd27df259c6f60bd856b06503f0cd98f2f5214db11a8212167858",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/banks.log": "a1fa416673fa92373e3f1f093e7a60eaf459cee8800eb5ab8a104ba44f27e08a",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/changed-charts.log": "add79779b74ea6e5770d17463e17cc7aff732814eacdc4ed633a4b5e512fad55",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/columns.log": "2c7f688783fa0aa8aadefd6077fef52140e7e8f699d764fcca918cc55ad01ebd",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/frame-primes.log": "593abdaaf3ec182f548bdc68ad12d6a27a401f30f224ee6c470863dad19efcc2",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/geometry-admission.log": "ac5ed52bca9a5242f687a465f659176a3f19d396738273af6662cc5504437a82",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/invoice.log": "b63b5084a1caa541b1e8dafd2684153343bb83350a4461d768a8b0c0f3e17bc9",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/legality.log": "fe42c64b54ce9e1326d0cafe724a084bc20a141a1d19437b596ffc67474ad260",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/price.log": "d99085bbd05072d39c7cff30b4031965932d12ae1efc257873ce20505d3ea74f",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/refinement.log": "8aea7f3dbcbd27d1b85f9284a2a7094b60f3e48d8ec6ca3e87633b596b765a6b",
+    "/private/tmp/p10b-flow015-constructed-native-proof/logs/tiling.log": "0df8bb631827552f38e138bc446f31484921a373cba42520a6116d68b1ad5e25"
+  },
+  "inputs_unchanged": true,
+  "inverse_wrong_rows": 0,
+  "literal_stock": 3267180,
+  "moves": 49930,
+  "normalized_stock": 653436,
+  "omission_wrong_rows": 959,
+  "paid_calls": 47829,
+  "paid_histogram": [
+    [
+      1,
+      23439
+    ],
+    [
+      2,
+      8590
+    ],
+    [
+      3,
+      5186
+    ],
+    [
+      4,
+      1378
+    ],
+    [
+      5,
+      995
+    ],
+    [
+      6,
+      994
+    ],
+    [
+      7,
+      640
+    ],
+    [
+      8,
+      156
+    ],
+    [
+      9,
+      328
+    ],
+    [
+      10,
+      240
+    ],
+    [
+      11,
+      80
+    ],
+    [
+      12,
+      992
+    ],
+    [
+      13,
+      6
+    ],
+    [
+      14,
+      216
+    ],
+    [
+      16,
+      360
+    ],
+    [
+      17,
+      3624
+    ],
+    [
+      18,
+      605
+    ]
+  ],
+  "paid_rank_mass": 177852,
+  "records": 374321,
+  "reflected_histogram": [
+    [
+      1,
+      23439
+    ],
+    [
+      2,
+      8590
+    ],
+    [
+      3,
+      5186
+    ],
+    [
+      4,
+      1378
+    ],
+    [
+      5,
+      995
+    ],
+    [
+      6,
+      994
+    ],
+    [
+      7,
+      640
+    ],
+    [
+      8,
+      156
+    ],
+    [
+      9,
+      328
+    ],
+    [
+      10,
+      240
+    ],
+    [
+      11,
+      80
+    ],
+    [
+      12,
+      992
+    ],
+    [
+      13,
+      6
+    ],
+    [
+      14,
+      216
+    ],
+    [
+      16,
+      360
+    ],
+    [
+      17,
+      3624
+    ],
+    [
+      18,
+      605
+    ]
+  ],
+  "required_histogram": [
+    [
+      1,
+      23439
+    ],
+    [
+      2,
+      8590
+    ],
+    [
+      3,
+      5186
+    ],
+    [
+      4,
+      1378
+    ],
+    [
+      5,
+      995
+    ],
+    [
+      6,
+      994
+    ],
+    [
+      7,
+      640
+    ],
+    [
+      8,
+      156
+    ],
+    [
+      9,
+      328
+    ],
+    [
+      10,
+      240
+    ],
+    [
+      11,
+      80
+    ],
+    [
+      12,
+      992
+    ],
+    [
+      13,
+      6
+    ],
+    [
+      14,
+      216
+    ],
+    [
+      16,
+      360
+    ],
+    [
+      17,
+      3624
+    ],
+    [
+      18,
+      605
+    ]
+  ],
+  "residual_census": {
+    "16": 1,
+    "18": 1,
+    "19": 1242,
+    "20": 5641,
+    "3": 240,
+    "4": 960
+  },
+  "scalar_ADDs": 324351,
+  "scope": "Independent actual binary and endpoint ledger audit; finite prime chart and exact price checked in native pipeline.",
+  "signed_coefficients": [
+    [
+      -3,
+      960
+    ],
+    [
+      -1,
+      290913
+    ],
+    [
+      1,
+      32478
+    ]
+  ],
+  "stages": [
+    "independent-tiling",
+    "compile-distinct-audit",
+    "literal-word",
+    "modular-minors",
+    "closed-form-assembly"
+  ],
+  "status": "PASS_INDEPENDENT_LITERAL_COMBINED_WORD_ENDPOINTS_REFLECTIONS_T_ADAPTED_CENSUS",
+  "unique_nonsame_frame_pairs": 42994,
+  "word_sha256": "7c7b1cf9baf45b63855597c9e1f8ebfd400f0958f2f40f09347c6176482587ef"
+}