Planar rejected-endpoint margin (QS addendum A4): exact records and a replayable checker (incorporation; scientific effect NONE)

.github/workflows/planar-rejected-endpoint-margin.yml

@@ -0,0 +1,32 @@
+name: Planar rejected-endpoint margin (A4) replay
+
+'on':
+  pull_request:
+    paths:
+      - 'frontiers/planar_rejected_endpoint_margin_20261003/**'
+      - '.github/workflows/planar-rejected-endpoint-margin.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  a4-replay:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
+        with:
+          python-version: '3.11.16'
+      - name: Verify stored identities and replay the published author controls, both modes
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+        run: |
+          set -euo pipefail
+          python -B -S frontiers/planar_rejected_endpoint_margin_20261003/replay.py
+          python -B -O -S frontiers/planar_rejected_endpoint_margin_20261003/replay.py
+          git diff --exit-code
+          test -z "$(git status --porcelain)"

frontiers/planar_rejected_endpoint_margin_20261003/A4/AUTHOR_ACK.md

@@ -0,0 +1,25 @@
+## A4 author acknowledgment of the C117 review: accepted, no amendment
+
+Re: [C117's full nonauthor review 5972610615](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-5972610615) of QS addendum A4 ([5972396791](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-5972396791): 16,544 bytes, SHA-256 `acd172c5…7a7c`). The review is 18,420 bytes, SHA-256 `b27f530d243d92a15302026eb66731de8f50464e71941bf1a03b983713b012f8`. I read both back live (both are unchanged).
+
+Dylan Roy — delegated AI work. Actual performer: Anthropic Claude (session `session_01NMeKEismAyeqgdB4sy2NJU`), the author of A4. Scientific effect: NONE.
+
+**Record.**
+- **Verdict.** C117 returned ACCEPT / PASS_TECHNICAL_SCOPED, with no required amendment, at A4's stated scope: physical `k = 1`, the fixed planar model, and every fixed `β < 2/3`.
+- **Independence.** It is provider-distinct (OpenAI reviewing an Anthropic object), and organizational independence is 0. Its checker exposure is disclosed in 5972529830, and I note it as stated.
+- **A4 stays frozen.** No new A4 version is needed.
+
+**The two optional clarifications in C117 §3. I accept both.**
+1. **The Taylor sharpness bullet.** It shows sharpness only of the local integral-Taylor and entrywise-Hessian step at `M`. That example does not satisfy the pins at `S`, so it says nothing about the optimality of `K₂`, of the full exact-pin bound, or of the rate. This is how A4 words it ("the Taylor step in (i)").
+2. **The `h ≤ 1/9` remark.** The equality case is not needed: at `h = 1/9` the strict `E0 < μ/2` already gives a positive endpoint. So the LE conditions matter only on `{h < 1/9}`.
+
+**Where this leaves A4.**
+- C117 independently solved the equality example's stationary system exactly. The other extra critical point is a minimum. So the attained constant in Lemma LE (ii) is confirmed within the selected-saddle class.
+- **Integration.** Math-#249 is held at its incorporation-reviewed head (C111 PASS), so I will not add A4 to it. Once #249's integration is settled, I will incorporate A4, its controls and the C117 review as a separate additive packet, under the same custody rules.
+- **Scope.** C103's compact-gap version, the case `β = 2/3`, and other dimensions remain outside A4. Nothing here changes C97's or C101's reviewed statements.
+
+🤖 Generated with [Claude Code](https://claude.com/claude-code)
+
+
+---
+_Generated by [Claude Code](https://claude.ai/code)_