docs(ordinal): ABANDON the ordinal-fidelity ladder (D-2026-06-21)

[hyperpolymath]

What

Per your decision, upgrades the D-2026-06-20 park of the transfinite ordinal-fidelity ladder to an abandonment — ended work, not resumable barring new grammar or a major redesign (and a returning consumer; none exists). Docs-only.

Where it finally got to (recorded)

The Brouwer-side Veblen climb ended at rung 6 (#247, b6d0d18):

• Landed: ω^^/ε₀ → φ₁ (ε-number enumeration, normal function) → binary Veblen φ_α(β) + the diagonal Γ₀ defined → every level normal → first-arg monotonicity (adjacent + below-a-limit) → Γ₀-prefixed : Γ₀ ≤′ φ Γ₀ oz (one direction of the diagonal fixed point).
• Wall (never opened): the reverse φ_Γ₀(0) ≤′ Γ₀ (Γ₀-least), gated on the Veblen mutual fixed-point descent.
• Even closing it reaches only Feferman–Schütte (Γ₀) — galaxies below the ψ₀(Ω_ω) milestone. Downstream: the ψ-collapse (→ bh-height) + the two Fidelity.agda postulates (denotation / ordinal-upper-bound), Fidelity already outside the --safe kernel cone.

Why abandon, not park

Consumer-less (the Groove cleave resolved to a finite WF-only zipper; RC-11 forbids ε₀+); the hard lemma reaches an ordinal galaxies too small; and closing the distance to ψ₀(Ω_ω) needs the ordinal-collapsing layer — a different construction, hence "new grammar or major redesign".

What this does / doesn't do

• Abandoned ≠ deleted. The ladder stays in-tree: correct, --safe --without-K, zero-postulate, kernel-guard PASS, Fidelity imported by neither All nor Smoke. The --safe core depends on none of it.
• Extraction of the consumer-less subtree to its own ordinal-notation repo remains your optional cross-repo cut — the D-2026-06-20 firewall (bridge trio OmegaMarkers ← Buchholz.Syntax ← EchoOrdinal stays) is unchanged.

Files

• new docs/echo-types/decisions/ordinal-fidelity-ladder-abandoned.adoc (the canonical terminal record)
• park doc bannered SUPERSEDED; CLAUDE.md workstream 2 + roadmap.adoc §Lane 3 flipped PARKED → ABANDONED.

order-type fidelity REMAINS OPEN (D-2026-06-14 stands); no over-claim, no postulate closed. kernel-guard PASS.

🤖 Generated with Claude Code

https://claude.ai/code/session_018CaSgNjNURC7ocsyjYh9We

---

Generated by Claude Code

[hyperpolymath]

Closing as superseded by #255 (docs: retire the ordinal/Veblen ascent from echo-types (PARK → RETIRED), merged as 8a23fa4).

#255 retires the track in place with the stronger RETIRED-from-echo-types / outgrown / decided-extraction / hand-off-record framing, across the same three files this PR touches (CLAUDE.md workstream 2, roadmap.adoc §Lane 3, the park doc banner). That is the authoritative record and the owner's preferred framing.

This PR's separate ordinal-fidelity-ladder-abandoned.adoc + "ABANDONED" wording is now redundant and would conflict on all three shared files, so nothing is lost by closing. The terminal endpoint (Veblen rung 6 — Γ₀ defined + Γ₀-prefixed, stopping short of Γ₀-least, galaxies below ψ₀(Ω_ω)) is captured in #255's in-place record.

---

Generated by Claude Code