docs: retire the ordinal/Veblen ascent from echo-types (PARK → RETIRED)

[hyperpolymath]

Summary

Per owner decision D-2026-06-21: the transfinite ordinal / Buchholz / Veblen ascent has outgrown the echo-types project and is no longer echo-types work. This escalates the 2026-06-20 PARK from "parked, resumable here" to RETIRED from this repo:

• No new ordinal rung is to be opened in echo-types.
• The disposition — extraction to its own ordinal-notation repo — is now the decided path (not merely flagged); the physical cross-repo cut remains the owner's.
• The landed artifact stays and is correct (--safe --without-K, zero postulates, in the green closure). Order-type fidelity to ψ₀(Ω_ω) remains an OPEN external problem (D-2026-06-14 stands) — retirement neither closes nor over-claims it.

Surfaces updated (so it's unambiguous to subsequent agents + humans)

• CLAUDE.md — new 2026-06-21 "read this first" ledger arc; workstream-2 ("Ordinal track") reframed with a RETIRED banner and "open pieces" → "frozen hand-off record (NOT echo-types TODOs)".
• roadmap.adoc §Lane 3 — header + intro PARKED → RETIRED FROM ECHO-TYPES; disposition upgraded from "flagged, left to owner" to "decided".
• docs/echo-types/decisions/ordinal-fidelity-ladder-parked.adoc — a D-2026-06-21 superseding [IMPORTANT] banner over the (preserved) D-2026-06-20 PARK record; "fully resumable" now scoped to the separate repo only.

Scope

• Docs-only; no proof content changed. Echo Core never depended on this lane (the OmegaMarkers / Buchholz.Syntax / EchoOrdinal bridge stays; everything else under Ordinal/ is the consumer-less artifact that moves).

🤖 Generated with Claude Code

https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 6 issues detected

Severity	Count
🔴 Critical	0
🟠 High	3
🟡 Medium	3

View findings

[
  {
    "reason": "No test directory or test files found",
    "type": "no_tests",
    "file": "/home/runner/work/echo-types/echo-types",
    "action": "flag",
    "rule_module": "honest_completion",
    "severity": "high",
    "deduction": 20
  },
  {
    "reason": "Nominal-only SAST in echo-types: codeql.yml language matrix contains no language present in the repo and lacks `actions`, so CodeQL records zero results on every commit. Remediation: set the CodeQL matrix to `language: actions`.",
    "type": "StaticAnalysis",
    "file": "/home/runner/work/echo-types/echo-types",
    "action": "auto_fix",
    "rule_module": "scorecard",
    "severity": "medium",
    "remediation": "Add CodeQL or equivalent SAST workflow.",
    "scorecard_check": "SAST"
  },
  {
    "reason": "Repository has 7 non-main remote branch(es). Policy: single main branch only.",
    "type": "GS007",
    "file": ".",
    "action": "delete_remote_branches",
    "rule_module": "git_state",
    "severity": "medium"
  },
  {
    "reason": "Code scanning (Scorecard): TokenPermissionsID -- Token-Permissions -- 18 day(s) old [STALE]",
    "type": "CSA001",
    "file": ".github/workflows/scorecard.yml",
    "action": "escalate",
    "rule_module": "code_scanning_alerts",
    "severity": "high"
  },
  {
    "reason": "Code-scanning alert TokenPermissionsID (high) at .github/workflows/scorecard.yml is 18 days old (threshold: 7 days) -- overdue for remediation",
    "type": "CSA003",
    "file": ".github/workflows/scorecard.yml",
    "action": "escalate",
    "rule_module": "code_scanning_alerts",
    "severity": "high"
  },
  {
    "reason": "Code-scanning alert hypatia/code_safety/agda_postulate dismissed as 'false positive' -- ensure dismissal is documented and justified",
    "type": "CSA004",
    "file": "proofs/agda/EchoImageFactorizationPropPostulated.agda",
    "action": "review",
    "rule_module": "code_scanning_alerts",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence