-
-
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
Re-arm the hypatia baseline gate: generate .hypatia-baseline.json (152 findings to grandfather + burn down)
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outchoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#314 In hyperpolymath/echidna;Security Scan red: VERISIMDB_PAT is a dead token (401 Bad credentials) — rotate or delete
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlyStatus: Open.#310 In hyperpolymath/echidna;Repair + gate the Isabelle GroupTheory and Mizar self-proof corpora
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlycicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#280 In hyperpolymath/echidna;AffineScript primitive needed for Client.res: Http::fetch (+ Async, Json)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmigrationPorting between languages or toolchains (e.g. -> AffineScript)Porting between languages or toolchains (e.g. -> AffineScript)Status: Open.#266 In hyperpolymath/echidna;chore: delete reconciled stale branches (owner action)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeStatus: Open.#253 In hyperpolymath/echidna;chore: machine_readable + contractile currency audit (both repos)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeStatus: Open.#252 In hyperpolymath/echidna;docs: reconcile prover-count drift across surfaces
documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRsproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#251 In hyperpolymath/echidna;Resolve structural drift stale path references as lifecycle hygiene
tech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#242 In hyperpolymath/echidna;Triage ReScript deprecated API findings as a language-migration bucket
migrationPorting between languages or toolchains (e.g. -> AffineScript)Porting between languages or toolchains (e.g. -> AffineScript)researchOpen investigation; the outcome is knowledge, not codeOpen investigation; the outcome is knowledge, not codeStatus: Open.#240 In hyperpolymath/echidna;Split Rust/FFI/proof safety alerts by runtime, memory, proof, and test-only risk
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesperformanceThroughput, latency, memory, binary sizeThroughput, latency, memory, binary sizetestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#239 In hyperpolymath/echidna;src/rust/main.rs SPDX-FileCopyrightText hook blocks any commit (Owner = 'ECHIDNA Project Team' not canonical)
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlylicensingLicences, SPDX headers, REUSE compliance, attributionLicences, SPDX headers, REUSE compliance, attributionStatus: Open.#216 In hyperpolymath/echidna;roadmap: Verisim schema agreement — gated on verisim-api container image publication
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#197 In hyperpolymath/echidna;