H3 band certificate successor v2: repaired ceiling and floor for review

.github/workflows/h3-band-v2.yml

@@ -0,0 +1,40 @@
+name: h3-band-v2
+on:
+  pull_request:
+    branches: [main]
+    paths:
+      - 'experiments/h3_band_v2/**'
+      - '.github/workflows/h3-band-v2.yml'
+  push:
+    branches: [main]
+    paths:
+      - 'experiments/h3_band_v2/**'
+      - '.github/workflows/h3-band-v2.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+concurrency:
+  group: h3-band-v2-${{ github.ref }}
+  cancel-in-progress: true
+jobs:
+  replay:
+    name: h3-band-v2
+    runs-on: ubuntu-latest
+    timeout-minutes: 40
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
+        with:
+          python-version: '3.11'
+      - name: Install the pinned mpmath the reviewed transcripts were made with
+        run: |
+          python -m pip install --require-hashes --only-binary=:all: -r experiments/h3_band_v2/requirements.txt
+      - name: Structure lemma, records, replays and every mutation control
+        run: python -B -m unittest discover -s experiments/h3_band_v2 -p 'test_*.py' -v
+      - name: The same suite under -O, replays and negative controls included
+        run: python -B -O -m unittest discover -s experiments/h3_band_v2 -p 'test_*.py' -v
+      - name: State scientific scope
+        run: |
+          echo 'Replayed a draft H3 band certificate successor that is under review. A green run is a run, not a review, and it changes no claim status. Scientific effect NONE.' >> "$GITHUB_STEP_SUMMARY"

experiments/h3_band_v2/h2/MANIFEST.sha256

@@ -0,0 +1 @@
+f08c1c5f653f2ffd2e85d39e1112f80d15db04d15f932e5ee42db2ca3553e783  cov_exact.py