-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
EPIC: v0.2 maintenance roadmap (corrective · adaptive · perfective)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:umbrellaParent issue aggregating child issuesParent issue aggregating child issuesStatus: Open.#27 In hyperpolymath/arghda-core;perfective/wish: parallel linting, metrics, arghda-studio
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#25 In hyperpolymath/arghda-core;perfective/intend: reporting modes (--format pretty|json|sarif)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#24 In hyperpolymath/arghda-core;perfective/intend: widen the config surface
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#23 In hyperpolymath/arghda-core;perfective/intend: incremental scan (cache by content-hash)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#22 In hyperpolymath/arghda-core;perfective/must: version the JSON contracts + adopt SemVer
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#21 In hyperpolymath/arghda-core;adaptive/intend: Groove protocol endpoint for PanLL discovery
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#20 In hyperpolymath/arghda-core;adaptive/intend: declare MSRV + rust-toolchain.toml + CI matrix
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#19 In hyperpolymath/arghda-core;adaptive/intend: introduce the
Languageabstraction (multi-prover) + a second backendenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#18 In hyperpolymath/arghda-core;adaptive/must: wire the standards rsr-profile capability check into CI
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourscaffoldingRSR templates, repo init, instantiation, project skeletonsRSR templates, repo init, instantiation, project skeletonsStatus: Open.#17 In hyperpolymath/arghda-core;adaptive/must: make the "language-agnostic" claim honest (Agda-first today)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#16 In hyperpolymath/arghda-core;corrective/intend: known-answer tests for the custom
timestamp.rsbugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlyStatus: Open.#15 In hyperpolymath/arghda-core;