-
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
audit-found: HexGFq fixed verdict surfaces lack an ordered mode
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9814 In kim-em/hex-dev;audit-found: HexConway fixed checks lack mode-3 evidence
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9813 In kim-em/hex-dev;audit-found: HexMvGcd fixed matrix does not establish mode 3
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9812 In kim-em/hex-dev;audit-found: HexRowReduce has no Phase-4 performance mode
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9811 In kim-em/hex-dev;audit-found: HexPolyFp has two failing mode-1 ladders
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9809 In kim-em/hex-dev;audit-found: HexLLL lacks a certified-comparator ladder
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9808 In kim-em/hex-dev;audit-found: record the paired MvPoly representation decision
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9805 In kim-em/hex-dev;audit-found: resolve Poly, Bareiss, and GF2 headline concerns
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9804 In kim-em/hex-dev;perf(hex-primality-mathlib): measure the negative factor-search budget
agent-planpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9803 In kim-em/hex-dev;doc(hex-primality-mathlib): give the bridge an owned SPEC
agent-planpod coordinationpod coordinationblockedpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9800 In kim-em/hex-dev;fix(hex-primality): preserve next-prime search work accounting
agent-planpod coordinationpod coordinationbugSomething isn't workingSomething isn't workingStatus: Open.#9799 In kim-em/hex-dev;chore: re-promote HexBerlekampZassenhaus after the restored Hensel gate
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9793 In kim-em/hex-dev;