Separated-fold multiplicity: actual n-bar probability ≥ c_n t^(2n/3) and a sampling-transfer obstruction

.github/workflows/separated-fold-multiplicity.yml

@@ -0,0 +1,55 @@
+name: Separated-fold multiplicity controls
+
+'on':
+  pull_request:
+    paths:
+      - 'frontiers/separated_fold_multiplicity_20261002/**'
+      - '.github/workflows/separated-fold-multiplicity.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  exact-and-source:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
+        with:
+          persist-credentials: false
+          fetch-depth: 0
+      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
+        with:
+          python-version: '3.11.16'
+      - name: Authenticate historical interfaces and replay exact controls
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          GIT_NO_REPLACE_OBJECTS: '1'
+        run: |
+          set -euo pipefail
+          git fetch --no-tags origin 6f74f7a77bae15d6aa07506bab38977e34dcc449 c46377738b711a5cc2114b58bf7726ae6e7bc553
+          cd frontiers/separated_fold_multiplicity_20261002
+          python -B -S verify_sources.py
+          python -B -S -m unittest -v
+          python -B -O -S -m unittest -v
+          python -B -S check.py > "$RUNNER_TEMP/fold-normal.json"
+          python -B -O -S check.py > "$RUNNER_TEMP/fold-optimized.json"
+          cmp RESULTS.json "$RUNNER_TEMP/fold-normal.json"
+          cmp "$RUNNER_TEMP/fold-normal.json" "$RUNNER_TEMP/fold-optimized.json"
+          for optimized in no yes; do
+            flags=(-B -S)
+            if [ "$optimized" = yes ]; then flags=(-B -O -S); fi
+            for m in M1 M2 M3 M4 M5 BAD; do
+              expected=1
+              if [ "$m" = BAD ]; then expected=2; fi
+              rc=0
+              python "${flags[@]}" check.py --mutant "$m" > "$RUNNER_TEMP/fold-$optimized-$m.out" 2>&1 || rc=$?
+              if [ "$rc" -ne "$expected" ]; then
+                cat "$RUNNER_TEMP/fold-$optimized-$m.out"
+                exit 1
+              fi
+            done
+          done
+          python -B -S verify_sources.py
+          git diff --exit-code

frontiers/separated_fold_multiplicity_20261002/MANIFEST.json

@@ -0,0 +1,59 @@
+{
+  "scientific_effect": "NONE",
+  "files": [
+    {
+      "path": "PROOF.md",
+      "bytes": 21587,
+      "sha256": "3033032c27242e98af6370212e15c5ca057ef96e58f15387b7f1d163738081b2",
+      "git_blob": "026cf5237510018d466380683b7679c2de977845"
+    },
+    {
+      "path": "README.md",
+      "bytes": 2714,
+      "sha256": "4f0b53b2c5d1a6abb081ed9add6ed527096edb3cd34ba067d5e454e69fb26957",
+      "git_blob": "023b9bea897eb3b8294fedb935e07039cb47c831"
+    },
+    {
+      "path": "RESULTS.json",
+      "bytes": 482,
+      "sha256": "3ea73f7eaebda9d350b8619fcc6985cda1bd5ec61346fd3f7b96d07fda1ba104",
+      "git_blob": "3a6577d89843e4bb090bad5c80aff084f5d34dd0"
+    },
+    {
+      "path": "SOURCE_BINDINGS.json",
+      "bytes": 1667,
+      "sha256": "c18ade26a146355893d93cdd242d0ce40c56d84481923bf629f6890a2c75d655",
+      "git_blob": "5a0280898cb8884a02c71e1189a6e7b58950097a"
+    },
+    {
+      "path": "VALIDATION.md",
+      "bytes": 2452,
+      "sha256": "cf45301b1423519407dda0c191f401c45f30a0643c0268da7254f87ee3daf12e",
+      "git_blob": "b33af32f32ed66544644b20f5537149d2078a884"
+    },
+    {
+      "path": "check.py",
+      "bytes": 5520,
+      "sha256": "d1f5262dfdd000726f7079ea450730a2ac6e73e620e0b5c4af26b33e2fea6fb1",
+      "git_blob": "3b476264415933d4d12ac3e6cca8ccecdda69a8b"
+    },
+    {
+      "path": "test_check.py",
+      "bytes": 7266,
+      "sha256": "673b08750fa30cf709d7522fc478f2c413414ae2069c9850d769ca6e1cd74473",
+      "git_blob": "3cea6dbd17c6b5ca6030884934523941da36a8db"
+    },
+    {
+      "path": "test_sources.py",
+      "bytes": 4724,
+      "sha256": "37acc73f2b916d79ac26a992b843d6da3272cd68bce886f090247c4cf1d6ab5a",
+      "git_blob": "9939096baf61d96a7b246401488c71f2381c111a"
+    },
+    {
+      "path": "verify_sources.py",
+      "bytes": 4266,
+      "sha256": "8ce117f5582ed3bcd0ec79e7f9bf26f589127c55510835cbcab46dced9b5bcd4",
+      "git_blob": "0a5b25dc70028efcdf893db03ec8fcf643397e17"
+    }
+  ]
+}