κ = 7.7809154371141892133459e-4: transfer compatible PR340 frame components

.gitattributes

@@ -18,3 +18,15 @@ 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
+research/p10b-donor-refresh54/** -text -whitespace
+research/p10b-carrier16/** -text -whitespace
+research/p10b-sinkaware15/** -text -whitespace
+research/p10b-sinkaware-flow15/** -text -whitespace
+research/p10b-sinkaware-combo15/** -text -whitespace
+research/p10b-selected-carrier15/** -text -whitespace
+research/p10b-selected-carrier16/** -text -whitespace
+research/p10b-selected-carrier16-flow/** -text -whitespace
+research/p10b-terminal-caches10/** -text -whitespace
+research/p10b-hybrid-frame-transfer/** -text -whitespace

.github/workflows/p10b-carrier16.yml

@@ -0,0 +1,37 @@
+name: p10b exact-subspace grouping and sixteen carrier switches
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-carrier16/**'
+      - '.github/workflows/p10b-carrier16.yml'
+  push:
+    paths:
+      - 'research/p10b-carrier16/**'
+      - '.github/workflows/p10b-carrier16.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-carrier16/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-carrier16/verify.py --output "$RUNNER_TEMP/p10b-carrier16-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-carrier16-verification
+          path: |
+            ${{ runner.temp }}/p10b-carrier16-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-carrier16-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-carrier16-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-carrier16-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-carrier16-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-carrier16-proof/logs/

.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/

.github/workflows/p10b-donor-refresh54.yml

@@ -0,0 +1,37 @@
+name: p10b refreshed donors and 54 retimings
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-donor-refresh54/**'
+      - '.github/workflows/p10b-donor-refresh54.yml'
+  push:
+    paths:
+      - 'research/p10b-donor-refresh54/**'
+      - '.github/workflows/p10b-donor-refresh54.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-refresh54/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-donor-refresh54/verify.py --output "$RUNNER_TEMP/p10b-donor-refresh54-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-donor-refresh54-verification
+          path: |
+            ${{ runner.temp }}/p10b-donor-refresh54-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-donor-refresh54-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-donor-refresh54-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-donor-refresh54-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-donor-refresh54-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-donor-refresh54-proof/logs/

.github/workflows/p10b-hybrid-frame-transfer.yml

@@ -0,0 +1,37 @@
+name: p10b hybrid transfer frame optimization
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-hybrid-frame-transfer/**'
+      - '.github/workflows/p10b-hybrid-frame-transfer.yml'
+  push:
+    paths:
+      - 'research/p10b-hybrid-frame-transfer/**'
+      - '.github/workflows/p10b-hybrid-frame-transfer.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-hybrid-frame-transfer/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-hybrid-frame-transfer/verify.py --output "$RUNNER_TEMP/p10b-hybrid-frame-transfer-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-hybrid-frame-transfer-verification
+          path: |
+            ${{ runner.temp }}/p10b-hybrid-frame-transfer-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-hybrid-frame-transfer-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-hybrid-frame-transfer-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-hybrid-frame-transfer-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-hybrid-frame-transfer-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-hybrid-frame-transfer-proof/logs/

.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/

.github/workflows/p10b-selected-carrier15.yml

@@ -0,0 +1,37 @@
+name: p10b selected carriers and sink-preserving flow
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-selected-carrier15/**'
+      - '.github/workflows/p10b-selected-carrier15.yml'
+  push:
+    paths:
+      - 'research/p10b-selected-carrier15/**'
+      - '.github/workflows/p10b-selected-carrier15.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-selected-carrier15/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-selected-carrier15/verify.py --output "$RUNNER_TEMP/p10b-selected-carrier15-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-selected-carrier15-verification
+          path: |
+            ${{ runner.temp }}/p10b-selected-carrier15-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-selected-carrier15-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-selected-carrier15-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-selected-carrier15-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-selected-carrier15-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-selected-carrier15-proof/logs/

.github/workflows/p10b-selected-carrier16-flow.yml

@@ -0,0 +1,37 @@
+name: p10b selected carriers and refreshed sixteen-sink source
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-selected-carrier16-flow/**'
+      - '.github/workflows/p10b-selected-carrier16-flow.yml'
+  push:
+    paths:
+      - 'research/p10b-selected-carrier16-flow/**'
+      - '.github/workflows/p10b-selected-carrier16-flow.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-selected-carrier16-flow/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-selected-carrier16-flow/verify.py --output "$RUNNER_TEMP/p10b-selected-carrier16-flow-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-selected-carrier16-flow-verification
+          path: |
+            ${{ runner.temp }}/p10b-selected-carrier16-flow-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-selected-carrier16-flow-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-selected-carrier16-flow-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-selected-carrier16-flow-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-selected-carrier16-flow-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-selected-carrier16-flow-proof/logs/

.github/workflows/p10b-selected-carrier16.yml

@@ -0,0 +1,37 @@
+name: p10b selected carriers and sixteen sinks
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-selected-carrier16/**'
+      - '.github/workflows/p10b-selected-carrier16.yml'
+  push:
+    paths:
+      - 'research/p10b-selected-carrier16/**'
+      - '.github/workflows/p10b-selected-carrier16.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-selected-carrier16/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-selected-carrier16/verify.py --output "$RUNNER_TEMP/p10b-selected-carrier16-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-selected-carrier16-verification
+          path: |
+            ${{ runner.temp }}/p10b-selected-carrier16-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-selected-carrier16-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-selected-carrier16-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-selected-carrier16-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-selected-carrier16-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-selected-carrier16-proof/logs/

.github/workflows/p10b-sinkaware-combo15.yml

@@ -0,0 +1,37 @@
+name: p10b combined carrier and source orientations
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-sinkaware-combo15/**'
+      - '.github/workflows/p10b-sinkaware-combo15.yml'
+  push:
+    paths:
+      - 'research/p10b-sinkaware-combo15/**'
+      - '.github/workflows/p10b-sinkaware-combo15.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-sinkaware-combo15/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-sinkaware-combo15/verify.py --output "$RUNNER_TEMP/p10b-sinkaware-combo15-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-sinkaware-combo15-verification
+          path: |
+            ${{ runner.temp }}/p10b-sinkaware-combo15-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-sinkaware-combo15-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-sinkaware-combo15-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-sinkaware-combo15-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-sinkaware-combo15-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-sinkaware-combo15-proof/logs/

.github/workflows/p10b-sinkaware-flow15.yml

@@ -0,0 +1,37 @@
+name: p10b sink-preserving donor flow and fifty final retimings
+on:
+  pull_request:
+    paths:
+      - 'research/p10b-sinkaware-flow15/**'
+      - '.github/workflows/p10b-sinkaware-flow15.yml'
+  push:
+    paths:
+      - 'research/p10b-sinkaware-flow15/**'
+      - '.github/workflows/p10b-sinkaware-flow15.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-sinkaware-flow15/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10b-sinkaware-flow15/verify.py --output "$RUNNER_TEMP/p10b-sinkaware-flow15-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10b-sinkaware-flow15-verification
+          path: |
+            ${{ runner.temp }}/p10b-sinkaware-flow15-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10b-sinkaware-flow15-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10b-sinkaware-flow15-proof/FAILURE.json
+            ${{ runner.temp }}/p10b-sinkaware-flow15-proof/source-regeneration/REGENERATION.json
+            ${{ runner.temp }}/p10b-sinkaware-flow15-proof/PRODUCER-BINDING-CONTROLS.json
+            ${{ runner.temp }}/p10b-sinkaware-flow15-proof/logs/