docs(6a2): refresh STATE.a2ml currency to 2026-06-21 (ordinal RETIRED)

[hyperpolymath]

What

Machine-doc currency follow-up to the wiki refresh (#265, merged). .machine_readable/6a2/STATE.a2ml still framed the Buchholz/Ordinal track as the "PRIMARY landed workstream" / "active centre of gravity" (last-updated 2026-06-12; detail as-of 2026-06-05) — predating the 2026-06-20 PARK and the 2026-06-21 RETIREMENT.

• Currency note added recording the ordinal-track retirement (D-2026-06-21), the extraction disposition (tracking Extract the retired ordinal/Buchholz/Veblen ladder to its own ordinal-notation repo #263), and the hand-off doc; the detailed [recent-work] / [current-workstream] blocks are explicitly marked preserved HISTORY of the 2026-06-05 → 2026-06-12 arc, not live work (nothing deleted).
• [metadata] refreshed: last-updated → 2026-06-21; phase → the live tracks (composition landed; establishment Pillars A–D+F closed + Pillar E in-repo complete with order-type fidelity the one OPEN external problem, D-2026-06-14; variance resolved Resolve the monad/comonad/adjunction variance of loss in --safe Agda #243; aggregation generalised Add EchoAggregation module — Monoid + GroupAggregator carriers for SQL aggregation-as-fold (consumer: affinescript db-theory #3) #175).

Why

Closes the "is our machine documentation up to date / update of 6a2" gap from the session close-out: the wiki (#265) and this 6a2 state were both stale on the ordinal retirement; both are now current and consistent.

Scope

Single file, comment + two [metadata] value edits. Schema-faithful (TOML-A2ML); the EI-2 termination record and all historical blocks are untouched.

Refs #263.

🤖 Generated with Claude Code

---

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 10 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 -- 19 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 19 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