Finite-torus c2 transfer: eighth-order jet formula and <1e-60 additive error for every L≥24

.github/workflows/c2-finite-jet-transfer.yml

@@ -0,0 +1,43 @@
+name: c2 finite-jet transfer controls
+
+'on':
+  pull_request:
+    paths:
+      - 'frontiers/c2_finite_jet_transfer_20261001/**'
+      - '.github/workflows/c2-finite-jet-transfer.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 the historical sources and run exact controls
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          GIT_NO_REPLACE_OBJECTS: '1'
+        run: |
+          set -euo pipefail
+          git fetch --no-tags origin f9ebba17f5cc590232b2fb2cd37b04b996abc143
+          git fetch --no-tags origin 0cf048d18eb28a4ba37eba89c238a2910d4ca915
+          python -B -S frontiers/c2_finite_jet_transfer_20261001/verify.py
+          cd frontiers/c2_finite_jet_transfer_20261001
+          python -B -S -m unittest -v
+          python -B -O -S -m unittest -v
+          python -B -S controls.py > "$RUNNER_TEMP/c2-transfer-normal.json"
+          python -B -O -S controls.py > "$RUNNER_TEMP/c2-transfer-optimized.json"
+          cmp "$RUNNER_TEMP/c2-transfer-normal.json" "$RUNNER_TEMP/c2-transfer-optimized.json"
+          cmp RESULTS.json "$RUNNER_TEMP/c2-transfer-normal.json"
+          python -B -S verify.py
+          git diff --exit-code
+          test -z "$(git status --porcelain)"

frontiers/c2_finite_jet_transfer_20261001/MANIFEST.json

@@ -0,0 +1,60 @@
+{
+  "scientific_effect": "NONE",
+  "status": "AUTHOR_CANDIDATE_REVIEW_REQUIRED",
+  "files": [
+    {
+      "path": "PROOF.md",
+      "bytes": 25581,
+      "sha256": "971101de946fd711207454c2cd4bbc36729ca9b7c07262e122ff1d54bf5dfa16",
+      "git_blob": "54cc4a1ae274842bc2c01f9c207549e7b07de7bc"
+    },
+    {
+      "path": "README.md",
+      "bytes": 2424,
+      "sha256": "4f1ea352c4ecadab7c31756916fed84f6e8f0e0d5fde1915cb1d3b2a74368bfe",
+      "git_blob": "ab4b5c7ba4470f82633e15f8cbccc60029f982ed"
+    },
+    {
+      "path": "RESULTS.json",
+      "bytes": 2225,
+      "sha256": "c0f29ff22b6af6b618efe26124f49265f6860fd8ee6dcc5b5df3e22077219f10",
+      "git_blob": "0de6626ac276ef36c215147be59c9b448850ef90"
+    },
+    {
+      "path": "SOURCES.json",
+      "bytes": 2252,
+      "sha256": "5fb1d18cba3f2b68f380403dae920c685beea1d7b164f53a3c31ecf930403d6a",
+      "git_blob": "168be38f43a997a69cfa2e2463b271ac82314aee"
+    },
+    {
+      "path": "VALIDATION.md",
+      "bytes": 3107,
+      "sha256": "4a8c93c229a453d0188d82c0880a5e99b1620fb5f1d3f5bd03bff98c5e44aa94",
+      "git_blob": "8884e509935a685cf99c7f3758ffc20d4c0e1d38"
+    },
+    {
+      "path": "controls.py",
+      "bytes": 9552,
+      "sha256": "63ff219ba60e0a20d3cfbf2931c152dac675b01398c70e0663096f9323e6e8f7",
+      "git_blob": "d6ee393a4f055d8d6dc554780ddd2cab0506b68f"
+    },
+    {
+      "path": "test_controls.py",
+      "bytes": 12056,
+      "sha256": "5eded18cdc884aa67dd2e684c9386146c46c07339d312ba97adb234a54f6adf4",
+      "git_blob": "7e04344b48e423716a3e23dca2c1ab3f2379486f"
+    },
+    {
+      "path": "test_verify.py",
+      "bytes": 2971,
+      "sha256": "a396cd4be617a4336442b31e82da781e5360daa0b2c698a1af9fe712caeb8d12",
+      "git_blob": "077acff8eeaac103720ea473fb909a99efe6acff"
+    },
+    {
+      "path": "verify.py",
+      "bytes": 4436,
+      "sha256": "c7638bbfe976bc3ad850876f739ccfb6b140e2865141bde76375b16efaf12082",
+      "git_blob": "77028091b97620a506bed496cc775933f5002044"
+    }
+  ]
+}