diff --git a/.github/ISSUE.md b/.github/ISSUE.md
index 49a06c7..f9e67bd 100644
--- a/.github/ISSUE.md
+++ b/.github/ISSUE.md
@@ -21,7 +21,7 @@ not yet in `src/`).
 - [x] `Project.toml` added description field.
 - [x] `src/CompositionalDA.jl` docstring updated.
 - [x] `docs/R-SUNSET.md` criterion text updated.
-- [x] `.github/workflows/agda-cicd.yml` added (catalogue reference).
+- [x] ~~`.github/workflows/agda-cicd.yml` added (catalogue reference).~~ Removed 2026-10-06: the catalogue workflow it called (`standards/.github/workflows/echidna-verify.yml`) declares no `workflow_call` trigger, so every run died at startup with zero jobs (run 37231048694). The `proofs` job in `.github/workflows/ci.yml` (`proofs/check.sh`, Debian-pinned Agda 2.6.4.3) is the repo's proof gate and is green.
 - [x] This issue file created with resolution criteria.
 
 **No axiomatic claims made.** All statements verified against the current tree