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 |
|---|---|
|
Tight actionable backlog, P0→P4, across L1+L2+L3. Start here. |
|
Where we are now vs forward vision — per-phase status + decisions D1–D6. |
|
Master plan (L1 Cap’n Proto + L2 Chapel maximal + L3 live-prover CI) — full rationale |
|
L1 — swap HTTP+JSON Rust↔Julia for Cap’n Proto — full prompt |
|
L2 — promote Chapel POC to first-class parallel dispatch layer — full prompt |
|
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/descriptiles/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.