-
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
cargo publish can't resolve cross-repo path dep (gitbot-shared-context, no version)
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlypackagingGuix, Nix, containers, distribution artefactsGuix, Nix, containers, distribution artefactsStatus: Open.#95 In hyperpolymath/echidnabot;chore: post-checkpoint hygiene + Hypatia follow-ups
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outchoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeStatus: Open.#88 In hyperpolymath/echidnabot;governance: LICENSE missing SPDX-License-Identifier header
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changegovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementlicensingLicences, SPDX headers, REUSE compliance, attributionLicences, SPDX headers, REUSE compliance, attributionStatus: Open.#87 In hyperpolymath/echidnabot;chore: SPDX drift on .gitignore + .gitattributes (PMPL-1.0 → MPL-2.0) — owner-manual
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changelicensingLicences, SPDX headers, REUSE compliance, attributionLicences, SPDX headers, REUSE compliance, attributionStatus: Open.#83 In hyperpolymath/echidnabot;docs/proof-debt.md: replace 2 TBD placeholder entries with real rationale
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 debtscaffoldingRSR templates, repo init, instantiation, project skeletonsRSR templates, repo init, instantiation, project skeletonsStatus: Open.#68 In hyperpolymath/echidnabot;cflite_pr: gitbot-shared-context path-dep needs proper vendoring
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outpackagingGuix, Nix, containers, distribution artefactsGuix, Nix, containers, distribution artefactstech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#67 In hyperpolymath/echidnabot;roadmap: Codeberg/Forgejo adapter (LOW PRIORITY) — gated on Codeberg API stability
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:roadmapForward planning; not yet actionable workForward planning; not yet actionable workStatus: Open.#62 In hyperpolymath/echidnabot;roadmap: Pre-built Podman images for all 12 provers — gated on each prover's Containerfile build
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:roadmapForward planning; not yet actionable workForward planning; not yet actionable workStatus: Open.#61 In hyperpolymath/echidnabot;roadmap: Distributed proof verification on K8s (v1.0.0 long-term)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:roadmapForward planning; not yet actionable workForward planning; not yet actionable workStatus: Open.#59 In hyperpolymath/echidnabot;roadmap: Multi-prover consensus voting (v1.0.0 long-term)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:roadmapForward planning; not yet actionable workForward planning; not yet actionable workStatus: Open.#58 In hyperpolymath/echidnabot;roadmap: Proof caching & incremental verification (v1.0.0 long-term)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:roadmapForward planning; not yet actionable workForward planning; not yet actionable workStatus: Open.#57 In hyperpolymath/echidnabot;