Search results

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

Status: Open.

#27 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

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

Status: Open.

#25 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

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

Status: Open.

#24 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

perfective/intend: widen the config surface

Status: Open.

#23 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

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

Status: Open.

#22 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

perfective/must: version the JSON contracts + adopt SemVer

Status: Open.

#21 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

adaptive/intend: Groove protocol endpoint for PanLL discovery

Status: Open.

#20 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

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

Status: Open.

#19 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

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

Status: Open.

#18 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

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

Status: Open.

#17 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

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

Status: Open.

#16 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026

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

Status: Open.

#15 In hyperpolymath/arghda-core;

· hyperpolymath opened on Jun 20, 2026