-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
perf(bz): level-aware budget alignment in quotient sub-searches of the classical size loop
enhancementNew feature or requestNew feature or requestStatus: Open.#8648 In kim-em/hex-dev;bench(modarith): measure nullspace and ZMod64.inv cost shares once #8639 lands
enhancementNew feature or requestNew feature or requestStatus: Open.#8647 In kim-em/hex-dev;perf(modarith): Barrett-context + lazy-reduction convolution kernels for FpPoly/matrix over ZMod64
enhancementNew feature or requestNew feature or requestStatus: Open.#8639 In kim-em/hex-dev;spike(bz): investigate recursive per-remainder re-lift for sub-floor classical irreducibility certification
agent-planpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#8625 In kim-em/hex-dev;perf(bz): balanced product-tree multifactor Hensel lift
agent-planpod coordinationpod coordinationclaimedpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#8621 In kim-em/hex-dev;- Status: Open.#8617 In kim-em/hex-dev;
feat(bz): computable kernel-reducible Decidable instance for mod-p irreducibility (rabinTest-backed)
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#8571 In kim-em/hex-dev;bench(bz): certifying series for kernel_factor_sweep.py, measuring irreducible_cert against the kernel-factor curve (Deliverable 4 of #8566)
agent-planpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#8569 In kim-em/hex-dev;perf(bz): lattice-tier per-step constant factor (share recovery data across the loop, word-sized modulus arithmetic)
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#8543 In kim-em/hex-dev;feat(bz): checkable prime-admissibility conditions + hybrid backstop-unreachability (Group D, re-homed onto the hybrid)
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#8370 In kim-em/hex-dev;feat(bz): lattice-tier totality — factorLattice f ≠ none when a good prime exists on the core (BHKS Thm 5.2, re-homed)
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#8369 In kim-em/hex-dev;pod: planner lock sentinel
coordinationpod coordinationpod coordinationStatus: Open.#1 In kim-em/hex-dev;