Issues

• CI: pre-existing reds on main (Cargo Audit, governance linters, 3 startup_failures from lock drift)

  chorecicdgovernance
  hyperpolymath/echidna#401 · Filter by author hyperpolymath opened on Oct 1, 2026

• Triage: 1 red check surfaced by the citation PR #397

  research
  hyperpolymath/echidna#400 · Filter by author hyperpolymath opened on Oct 1, 2026

• Re-arm the hypatia baseline gate: generate .hypatia-baseline.json (152 findings to grandfather + burn down)

  cicdpriority:p2scope:repostatus:ready
  hyperpolymath/echidna#314 · Filter by author hyperpolymath opened on Jul 7, 2026
  1

• Security Scan red: VERISIMDB_PAT is a dead token (401 Bad credentials) — rotate or delete

  bugpriority:p1scope:repostatus:needs-ruling
  hyperpolymath/echidna#310 · Filter by author hyperpolymath opened on Jul 7, 2026
  3

• Repair + gate the Isabelle GroupTheory and Mizar self-proof corpora

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/echidna#280 · Filter by author hyperpolymath opened on Jun 21, 2026

• AffineScript primitive needed for Client.res: Http::fetch (+ Async, Json)

  enhancementfeeds:valence-shellpriority:p1scope:repo
  hyperpolymath/echidna#266 · Filter by author hyperpolymath opened on Jun 15, 2026
  1

• chore: machine_readable + contractile currency audit (both repos)

  chorepriority:p3scope:repo
  hyperpolymath/echidna#252 · Filter by author hyperpolymath opened on Jun 13, 2026

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

  feeds:valence-shellperformancepriority:p2scope:repostatus:ready
  hyperpolymath/echidna#239 · Filter by author hyperpolymath opened on Jun 6, 2026

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

  enhancementfeeds:valence-shellpriority:p3scope:repostatus:blocked
  hyperpolymath/echidna#197 · Filter by author hyperpolymath opened on Jun 1, 2026

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

  enhancementfeeds:valence-shellpriority:p3scope:repo
  hyperpolymath/echidna#195 · Filter by author hyperpolymath opened on Jun 1, 2026
  1

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

  enhancementfeeds:valence-shellpriority:p3scope:repo
  hyperpolymath/echidna#194 · Filter by author hyperpolymath opened on Jun 1, 2026
  1

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

  enhancementfeeds:valence-shellpriority:p3scope:repostatus:blocked
  hyperpolymath/echidna#193 · Filter by author hyperpolymath opened on Jun 1, 2026

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

  enhancementfeeds:valence-shellpriority:p3scope:repostatus:blocked
  hyperpolymath/echidna#192 · Filter by author hyperpolymath opened on Jun 1, 2026

• roadmap: Dedukti bridge real (Stage 6b — λΠ modulo as lingua franca)

  enhancementfeeds:valence-shellpriority:p3scope:repostatus:blocked
  hyperpolymath/echidna#191 · Filter by author hyperpolymath opened on Jun 1, 2026

• roadmap: OpenTheory bridge real (Stage 6a — bidirectional term translation)

  enhancementfeeds:valence-shellpriority:p3scope:repostatus:blocked
  hyperpolymath/echidna#190 · Filter by author hyperpolymath opened on Jun 1, 2026

• chapel: real-corpus speedup bench (10-30s prover invocations)

  enhancementfeeds:valence-shellpriority:p3scope:repostatus:blocked
  hyperpolymath/echidna#161 · Filter by author hyperpolymath opened on May 30, 2026

• echidna: Client.res AffineScript-TEA port — missing primitives (Http/Promise/Json/Dict) [meta]

  enhancementfeeds:valence-shellpriority:p3scope:repostatus:blocked
  hyperpolymath/echidna#117 · Filter by author hyperpolymath opened on May 27, 2026
  3