// SPDX-License-Identifier: MPL-2.0
This directory mirrors the Echidna continuation prompts that live on the author's Desktop so that a fresh clone of this repo has the full handover context tracked in version control.
| File | Scope |
|---|---|
TODO.md |
Tight actionable backlog, P0→P4, across L1+L2+L3. Start here. |
STATE.md |
Where we are now vs forward vision — per-phase status + decisions D1–D6. |
PRODUCTION-WIRING-PLAN.md |
Master plan (L1 Cap'n Proto + L2 Chapel maximal + L3 live-prover CI) — full rationale |
L1-CAPNPROTO-PROMPT.md |
L1 — swap HTTP+JSON Rust↔Julia for Cap'n Proto — full prompt |
L2-CHAPEL-PROMPT.md |
L2 — promote Chapel POC to first-class parallel dispatch layer — full prompt |
L3-LIVE-PROVER-CI-PROMPT.md |
L3 — live subprocess CI tiered across 48 prover backends — full prompt (marked Wave-2 DONE) |
The Desktop copies at ~/Desktop/ECHIDNA-*.md remain the working drafts
the author edits in-session. These in-repo copies are the canonical
versions for:
- Anyone cloning the repo without Desktop access
- Submodule consumers reading docs without a shell
- Git archaeology (diff across time)
When a session updates a handover prompt, update both the Desktop copy and the in-repo copy in the same commit. If they drift, the in-repo copy wins because it is the committed one.
- L3 Wave-1 (Tier-1, every PR, 9 backends): DONE —
b022bf4. - L3 Wave-2 (Tier-2, nightly, 10 backends): DONE for 9;
hol-lightdeferred to Wave-3. Commits9a4aeeb+6717b12. - L3 Wave-3 (Tier-3, weekly, 9 backends): scaffold only; needs
per-backend Containerfiles. Handover hints in
.machine_readable/6a2/STATE.a2mlunder[wave-3-handover-hints]. - L3 Wave-4 (Tier-4, quarterly, 19 backends): scaffold only; retained as mock-only unless a maintainer volunteers.
- L2 Chapel:
--features chapelnow self-links against bundled Zig stubs (53ab9b8); reallibechidna_chapel.soCI path still outstanding. - L1 Cap'n Proto: not yet started.