revert(a1): drop both throwaway proof commits

The head's tree is byte-identical to 5a7b95e again; the proof readings
live in the dev report on the card.

Claude-Session: https://claude.ai/code/session_012zwsLMxQBwHUYJgPyrpEvx
Co-authored-by: Claude <noreply@anthropic.com>

Author: claude

.github/workflows/lint.yml

@@ -511,13 +511,6 @@ jobs:
         continue-on-error: true
         run: pnpm check:engine-double-contract
 
-      # THROWAWAY (#23191 proof, reverted before review): a gate its own if: turns off.
-      - name: THROWAWAY proof gate turned off by its own if
-        id: throwaway-proof-own-if
-        if: ${{ false }}
-        continue-on-error: true
-        run: exit 1
-
       # ── THE LANE'S VERDICT (#23191): the last step, and the one that keeps a
       # red gate red. The EVERY GATE RUNS note above `jobs:` argues it. ─────
       #
@@ -4364,10 +4357,6 @@ jobs:
         run: |
           bash scripts/ci/select-gate-families.sh
 
-      # THROWAWAY (#23191 proof, reverted before review): a fail-fast step that fails.
-      - name: THROWAWAY proof fail-fast step
-        run: exit 1
-
       # Engine query-options erasure ratchet (#4918). The slot-lookup rule
       # (`lint-scoped-slot-corpus` since #22991) protects the service LOOKUP; this one protects what you pass to the
       # service you looked up. `IDataEngine.find/findOne/count/aggregate` declare

content/docs/deployment/backup-restore.mdx

@@ -168,5 +168,3 @@ hot. See [Production Readiness](/docs/deployment/production-readiness).
 - [Production Readiness](/docs/deployment/production-readiness)
 - [Environment Variables](/docs/deployment/environment-variables)
 - [Drivers](/docs/data-modeling/drivers)
-
-Throwaway proof line for the A1 continue-on-error verdict (reverted before review): [a dead anchor](/docs/deployment/cli#no-such-heading-a1-proof).