-
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
feat(bz): migrate hot-path candidates after hex-primality release
enhancementNew feature or requestNew feature or requestStatus: Open.#9849 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;chore(number-field-tower-mathlib): audit and complete Phases 3–4
blockedpod coordinationpod coordinationcritical-pathpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9667 In kim-em/hex-dev;perf(number-field-tower): complete core Phase-4 scientific evidence
critical-pathpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9665 In kim-em/hex-dev;directive: make the HexIntFactor pair publication-ready
directivepod coordinationpod coordinationreplanpod coordinationpod coordinationStatus: Open.#9619 In kim-em/hex-dev;pod: planner lock sentinel
coordinationpod coordinationpod coordinationStatus: Open.#1 In kim-em/hex-dev;