-
-
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;ci: two fake gates that will go green when #691 is fixed, and no Elixir lint gate at all
bugSomething isn't workingSomething isn't workingcx/L2Scoped — one repo, needs code reading + tests, no new designScoped — one repo, needs code reading + tests, no new designStatus: Open.#694 In hyperpolymath/hypatia;ci: Scorecard startup_failure (missing actions: read) + two workflows producing zero jobs on every push
bugSomething isn't workingSomething isn't workingStatus: Open.#693 In hyperpolymath/hypatia;test: 242 :verisim_data tests never run anywhere and fail 129/242 — documented as passing
bugSomething isn't workingSomething isn't workingcx/L2Scoped — one repo, needs code reading + tests, no new designScoped — one repo, needs code reading + tests, no new designvfy/testCompletion provable by a testCompletion provable by a testStatus: Open.#692 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;