-
-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Cloudflare Pages deploy never succeeded — missing secrets + DNS
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlyStatus: Open.#97 In hyperpolymath/boj-server-cartridges;"Build" (SonarCloud) fails 403 — needs owner token/plan fix
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlyStatus: Open.#96 In hyperpolymath/boj-server-cartridges;Sync secret-scanner.yml to canon — remove redundant inline trufflehog job
choreRoutine 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.#95 In hyperpolymath/boj-server-cartridges;hypatia-scan.yml: migrate to standards reusable workflow once it gains SARIF upload, PR comments, and gitbot-fleet submission
cicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#57 In hyperpolymath/boj-server-cartridges;Language-cartridge IDE completeness: affinescript-mcp DAP, ephapax-mcp build-out
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#48 In hyperpolymath/boj-server-cartridges;Governance/Hypatia hygiene: 0-AI-MANIFEST.a2ml, codeql workflow, workflow timeouts
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outcicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesgovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementtech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#47 In hyperpolymath/boj-server-cartridges;Port stack-orchestrator-mcp + proof-lsp adapters: TypeScript → AffineScript
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.#46 In hyperpolymath/boj-server-cartridges;[gov] Repo governance/hygiene debt surfaced by Hypatia (194 findings)
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outgovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementtech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#41 In hyperpolymath/boj-server-cartridges;[proofs/c] Special/base cartridges (cross-cutting: agentic · nesy · orchestration · fleet · build · debug · health)
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.#37 In hyperpolymath/boj-server-cartridges;[proofs/b] Cartridge proofs (domains): coverage + single source of truth
proofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debttestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#36 In hyperpolymath/boj-server-cartridges;