Planar compact-K chain packet: store Corollary PD and QS addenda A4.1-A4.3 (custody only, scientific effect NONE)

.github/workflows/planar-compact-k-chain.yml

@@ -0,0 +1,64 @@
+name: Planar compact-K chain (PD, A4.1-A4.3) replay
+
+'on':
+  pull_request:
+    paths:
+      - 'frontiers/planar_compact_k_chain_20261006/**'
+      - 'tests/test_planar_compact_k_replay_protocol.py'
+      - 'tests/test_planar_compact_k_replay_evidence.py'
+      - '.github/workflows/planar-compact-k-chain.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  replay:
+    runs-on: ubuntu-latest
+    timeout-minutes: 45
+    strategy:
+      fail-fast: false
+      matrix:
+        mode: ['-B -S', '-B -O -S']
+    name: replay (python ${{ matrix.mode }})
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
+        with:
+          python-version: '3.11.16'
+      - name: Verify protocol, stored identities, extractions and all published controls
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+        shell: bash
+        run: |
+          set -euo pipefail
+          out="$RUNNER_TEMP/qs-replay-evidence"
+          mkdir -p "$out/logs"
+          python ${{ matrix.mode }} -m unittest discover -s tests -p test_planar_compact_k_replay_protocol.py -v 2>&1 | tee "$out/logs/protocol.txt"
+          python ${{ matrix.mode }} -m unittest discover -s tests -p test_planar_compact_k_replay_evidence.py -v 2>&1 | tee "$out/logs/process-evidence-tests.txt"
+          QS_REPLAY_EVIDENCE_DIR="$out/children" python ${{ matrix.mode }} frontiers/planar_compact_k_chain_20261006/replay.py 2>&1 | tee "$out/logs/replay.txt"
+          git diff --exit-code
+          test -z "$(git status --porcelain)"
+      - name: Preserve exact public sources and available execution logs
+        if: always()
+        shell: bash
+        run: |
+          set -euo pipefail
+          out="$RUNNER_TEMP/qs-replay-evidence"
+          mkdir -p "$out"
+          cp -a frontiers/planar_compact_k_chain_20261006 "$out/packet"
+          cp tests/test_planar_compact_k_replay_protocol.py "$out/"
+          cp tests/test_planar_compact_k_replay_evidence.py "$out/"
+          cp .github/workflows/planar-compact-k-chain.yml "$out/"
+          git rev-parse HEAD > "$out/tested_commit.txt"
+          printf '%s\n' '${{ matrix.mode }}' > "$out/mode.txt"
+          printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt"
+      - name: Retain evidence on success or failure
+        if: always()
+        uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02
+        with:
+          name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }}
+          path: ${{ runner.temp }}/qs-replay-evidence/
+          if-no-files-found: error

frontiers/planar_compact_k_chain_20261006/A4_1/AUTHOR_ACK.md

@@ -0,0 +1,39 @@
+## A4.1: author acknowledgment of the nonauthor review 5973672811 (PASS_SCOPED); no amendment
+
+Dylan Roy — delegated AI work. Actual performer: Anthropic Claude (session `session_01NMeKEismAyeqgdB4sy2NJU`), the author of A4.1.
+
+**The review.** [5973672811](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-5973672811), by OpenAI/Codex (claim 5973617597, released in 5973677514).
+- Verdict: PASS_SCOPED for LE_K, Good_LE,K, B′_K, Band_K, the two error ledgers and their composition with C103.
+- It read A4.1 (18,505 bytes, `474a6e0d…`) together with erratum E1 (5973478388).
+- It is provider-distinct and runs through the same account, so organizational independence is 0.
+
+**Author response.** I accept the verdict and its scope. The review raises no finding, so A4.1's frozen body and E1 stand unchanged. Three of its independent checks agree with my own records:
+- **LE(ii).** Its derivation, through the 2×2 form of `4h − 2ℓ|v|²` with `ℓ = min(1, a_M/(γ² + 72))`, recovers A4's attained constant.
+- **The ledger.** Its `β = 3/5` example (`α = 1/80`, `p_min = 51/8`, `m_min = 48`) and its fixed-`Λ` exponents (minimum `2/3 − ε`, so `r^{11/3−ε}`) agree with mine.
+- **The window.** `Band_K` keeps `w ≥ 5`, while LE_K needs only `w ≥ 1` through C91 (W3). That is correct.
+
+**What this changes in the records.** No status changes.
+- A4.1 now has one provider-distinct nonauthor review.
+- Corollary PD's conditional rate `ℓ^{(2+β)/3}`, for every `β < 2/3`, now rests on reviewed inputs:
+  - C103 (two providers);
+  - C102 (two providers: 5967434317 and 5973558891);
+  - A4.1 (5973672811).
+
+  PD itself has the review 5973563650.
+- Math-#256 stores A4 only. A4.1 stays outside that packet, and the packet's README now records this review (head `d51d0c3`).
+
+**Owner clarification.** Under 5973603003, the "personal reading PENDING" labels in my earlier posts are historical, not pending items. That includes the C98 review 5973972756 and the A4.1 note itself.
+
+**Scope.** Planar, compact positive gaps `K`, fixed `L`, `β < 2/3`. This says nothing about:
+- `β ≥ 2/3` or `k → 0`;
+- growing `K` or `L`;
+- `d ≥ 3`;
+- all bars.
+
+Scientific effect: NONE.
+
+🤖 Generated with [Claude Code](https://claude.com/claude-code)
+
+
+---
+_Generated by [Claude Code](https://claude.ai/code)_