Issues

• EPIC: v0.2 maintenance roadmap (corrective · adaptive · perfective)

  enhancementmeta:umbrellapriority:p3scope:repo
  hyperpolymath/arghda-core#27 · Filter by author hyperpolymath opened on Jun 20, 2026
  1

• perfective/wish: parallel linting, metrics, arghda-studio

  enhancementpriority:p3scope:repo
  hyperpolymath/arghda-core#25 · Filter by author hyperpolymath opened on Jun 20, 2026

• perfective/intend: reporting modes (--format pretty|json|sarif)

  enhancementpriority:p2scope:repostatus:ready
  hyperpolymath/arghda-core#24 · Filter by author hyperpolymath opened on Jun 20, 2026

• perfective/intend: widen the config surface

  enhancementpriority:p2scope:repostatus:ready
  hyperpolymath/arghda-core#23 · Filter by author hyperpolymath opened on Jun 20, 2026

• perfective/intend: incremental scan (cache by content-hash)

  enhancementpriority:p2scope:repostatus:ready
  hyperpolymath/arghda-core#22 · Filter by author hyperpolymath opened on Jun 20, 2026

• perfective/must: version the JSON contracts + adopt SemVer

  enhancementpriority:p2scope:repostatus:ready
  hyperpolymath/arghda-core#21 · Filter by author hyperpolymath opened on Jun 20, 2026

• adaptive/intend: Groove protocol endpoint for PanLL discovery

  enhancementpriority:p2scope:repostatus:ready
  hyperpolymath/arghda-core#20 · Filter by author hyperpolymath opened on Jun 20, 2026

• adaptive/intend: declare MSRV + rust-toolchain.toml + CI matrix

  enhancementpriority:p2scope:repostatus:ready
  hyperpolymath/arghda-core#19 · Filter by author hyperpolymath opened on Jun 20, 2026

• adaptive/intend: introduce the Language abstraction (multi-prover) + a second backend

  enhancementpriority:p3proofsscope:repo
  hyperpolymath/arghda-core#18 · Filter by author hyperpolymath opened on Jun 20, 2026

• adaptive/must: wire the standards rsr-profile capability check into CI

  enhancementpriority:p2scaffoldingscope:repostatus:ready
  hyperpolymath/arghda-core#17 · Filter by author hyperpolymath opened on Jun 20, 2026

• adaptive/must: make the "language-agnostic" claim honest (Agda-first today)

  enhancementpriority:p2proofsscope:repostatus:ready
  hyperpolymath/arghda-core#16 · Filter by author hyperpolymath opened on Jun 20, 2026

• corrective/intend: known-answer tests for the custom timestamp.rs

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/arghda-core#15 · Filter by author hyperpolymath opened on Jun 20, 2026

• corrective/intend: parser resilience + negative/property tests

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/arghda-core#14 · Filter by author hyperpolymath opened on Jun 20, 2026