Search results

Triage ReScript deprecated API findings as a language-migration bucket

Status: Open.

#240 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 6, 2026

Add explicit timeouts to workflow jobs with proportional limits

Status: Open.

#241 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 6, 2026

Resolve structural drift stale path references as lifecycle hygiene

Status: Open.

#242 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 6, 2026

Split Rust/FFI/proof safety alerts by runtime, memory, proof, and test-only risk

Status: Open.

#239 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 6, 2026

chore(checkpoint): 2026-06-05 repo reconciliation + docs/machine_readable refresh — resume tracker

Status: Open.

#238 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 5, 2026

src/rust/main.rs SPDX-FileCopyrightText hook blocks any commit (Owner = 'ECHIDNA Project Team' not canonical)

Status: Open.

#216 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 2, 2026

roadmap: Verisim schema agreement — gated on verisim-api container image publication

blocked

enhancementNew feature or requestNew feature or request

roadmapRoadmap tracker — see ROADMAP.adoc/mdRoadmap tracker — see ROADMAP.adoc/md

Status: Open.

#197 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 1, 2026

roadmap: Chapel L2.3 cancel-token preemption — gated on L1 Cap'n Proto + cross-repo Chapel CT SDK

blocked

enhancementNew feature or requestNew feature or request

roadmapRoadmap tracker — see ROADMAP.adoc/mdRoadmap tracker — see ROADMAP.adoc/md

Status: Open.

#196 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 1, 2026

roadmap: Stage 5 full launch (IPC + Chapel + Tier-4) — OWNER-GATED meta-tracker

blocked

enhancementNew feature or requestNew feature or request

roadmapRoadmap tracker — see ROADMAP.adoc/mdRoadmap tracker — see ROADMAP.adoc/md

Status: Open.

#195 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 1, 2026

roadmap: Cap'n Proto IPC schema finalisation (Stage 5a — OWNER-GATED, needs Opus sign-off)

blocked

enhancementNew feature or requestNew feature or request

roadmapRoadmap tracker — see ROADMAP.adoc/mdRoadmap tracker — see ROADMAP.adoc/md

Status: Open.

#194 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 1, 2026

roadmap: AI-powered proof sketch generation (Research v2.0.0+, 2027+ aspirational)

enhancementNew feature or requestNew feature or request

roadmapRoadmap tracker — see ROADMAP.adoc/mdRoadmap tracker — see ROADMAP.adoc/md

Status: Open.

#193 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 1, 2026

roadmap: SPARK-verified trust kernel (Stage 8c — crates/echidna-core-spark/)

enhancementNew feature or requestNew feature or request

roadmapRoadmap tracker — see ROADMAP.adoc/mdRoadmap tracker — see ROADMAP.adoc/md

spark-migration

Status: Open.

#192 In hyperpolymath/echidna;

· hyperpolymath opened on Jun 1, 2026