Pillar E (external validation): clear paper.adoc [EXPAND] tags, then packaging / DOI / outreach

[hyperpolymath]

Context

The establishment-track internal programme (Pillars A–D) is complete and verified (docs/echo-types/establishment-plan.adoc). Pillar E — external validation — is the only open piece on that track.

Open work

1. Clear the [EXPAND] tags in docs/echo-types/paper.adoc (LIVING DRAFT), in order:
   • background / notation primer (graded comonads + HoTT fibres) — low-context, do first;
   • related work (Granule/QTT, Uustalu–Vene comonads, coeffects, lens/optic vs the witness-transport leg);
   • evaluation (proof-size/cost table; quantify the common-upper-bound idiom vs naive subst);
   • ordinal consumer-evidence appendix — note: the ordinal ladder is now RETIRED from echo-types (D-2026-06-21, Extract the retired ordinal/Buchholz/Veblen ladder to its own ordinal-notation repo #263); this appendix is gated on that work landing in its extracted repo, so it stays parked.
2. Then offline / author-driven only (flag to owner, do not auto-run): choose venue + template, mint a Zenodo DOI, package an installable library, outreach.

docs/echo-types/types-abstract.adoc (TYPES extended abstract) is content-submission-ready; the full paper should not be submitted until the [EXPAND] tags clear and a venue/template is chosen.

Acceptance

• All non-gated [EXPAND] tags in paper.adoc cleared.
• Venue + template chosen (owner).
• Zenodo DOI + installable packaging (owner / offline).

Filed at owner request to capture remaining work on the master scheduler.