-
-
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
test: Zig FFI (18 exports, 16 connectors) has no CI gate; Idris2 ABI duplicated byte-for-byte
vfy/testCompletion provable by a testCompletion provable by a testStatus: Open.#696 In hyperpolymath/hypatia;chore: grouped licence + metadata debt (PMPL drift, REUSE, CITATION.cff, descriptiles location, rsr_score SSOT bug)
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#695 In hyperpolymath/hypatia;- Status: Open.#691 In hyperpolymath/hypatia;
- Status: Open.#683 In hyperpolymath/hypatia;
- Status: Open.#676 In hyperpolymath/hypatia;
test(isolation): 20 reflexive tests fail in the full suite but pass alone — Hypatia.Supervisor is torn down mid-run
cx/L3Cross-repo or real code comprehension; strong botCross-repo or real code comprehension; strong botrdy/readyUnblocked — a bot can start nowUnblocked — a bot can start nowtri/controlSafety triangle — gate it so it cannot regressSafety triangle — gate it so it cannot regressvfy/testCompletion provable by a testCompletion provable by a testStatus: Open.#643 In hyperpolymath/hypatia;- Status: Open.#638 In hyperpolymath/hypatia;
fix(release): declare workflow_dispatch inputs (dry-run guard inert) + consolidate build-docker/build-and-push (from #628)
bugSomething isn't workingSomething isn't workingrdy/readyUnblocked — a bot can start nowUnblocked — a bot can start nowStatus: Open.#637 In hyperpolymath/hypatia;chore(logtalk): categorized purge of stale Logtalk/SWI-Prolog references (engine retired → Elixir)
rdy/readyUnblocked — a bot can start nowUnblocked — a bot can start nowStatus: Open.#636 In hyperpolymath/hypatia;CI resilience (detection): B-SHAPIN class + lib/rules/actions_policy.ex (AP001/AP002)
enhancementNew feature or requestNew feature or requestStatus: Open.#605 In hyperpolymath/hypatia;Ruleset gate-deadlock: Hypatia enforces structurally-unsatisfiable required checks (regenerate on every run)
cx/L3Cross-repo or real code comprehension; strong botCross-repo or real code comprehension; strong botStatus: Open.#585 In hyperpolymath/hypatia;Operationalize ScorecardReconciler: run the code-scanning alert loop on a schedule (close the Maintained/staleness recurrence)
enhancementNew feature or requestNew feature or requestStatus: Open.#582 In hyperpolymath/hypatia;