-
-
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
Hypatia: drive the scan to green with a precise .hypatia-ignore (needs findings dump)
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outchoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeStatus: Open.#11 In hyperpolymath/panoply;Proofs: mechanize the first metatheory obligation
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#10 In hyperpolymath/panoply;Backends: first backend contract + envelope
designDesign of an interface, protocol, grammar, or type theoryDesign of an interface, protocol, grammar, or type theoryenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#9 In hyperpolymath/panoply;Projections: first surface projection + projection-equivalence witnesses
testingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#8 In hyperpolymath/panoply;Manifest: define the safety-envelope manifest schema + emitter
designDesign of an interface, protocol, grammar, or type theoryDesign of an interface, protocol, grammar, or type theoryenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#7 In hyperpolymath/panoply;Evidence: define the three evidence kinds and their formats
designDesign of an interface, protocol, grammar, or type theoryDesign of an interface, protocol, grammar, or type theoryenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#6 In hyperpolymath/panoply;Core: specify the checked Core (abstract syntax + checking judgements)
designDesign of an interface, protocol, grammar, or type theoryDesign of an interface, protocol, grammar, or type theoryenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#5 In hyperpolymath/panoply;