All issues

Search results

feat(sparse-poly): substScale transport across the dense conversion and into the companion

Status: Open.

#9482 In kim-em/hex-dev;

· kim-em opened on Aug 23, 2026

complete HexMvHensel stage-invariant proof support

directivepod coordinationpod coordination

Status: Open.

#9454 In kim-em/hex-dev;

· kim-em opened on Aug 23, 2026

release: hex-char-poly manifest entries precede their GitHub repositories

Status: Open.

#9439 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

chore: teach check_dag.py to see public meta import edges

Status: Open.

#9425 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

bench-found: QAdjoin.roots? runs for minutes on degree-2 irrational-coefficient components

Status: Open.

#9423 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

HexNumberField pair: Phase-6 cleanups from the Phase-2 review

Status: Open.

#9418 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

HexNumberFieldTower pair: Phase-6 cleanups from the Phase-2 review

Status: Open.

#9419 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

test(hex-poly): cover DensePoly.neg in the conformance module

Status: Open.

#9387 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

chore: make released-mirror CI cache the project builds it actually runs

Status: Open.

#9373 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

feat(hex-poly-fp-mathlib): own the degree and leadingCoeff transport now proved in hex-berlekamp-mathlib

Status: Open.

#9371 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

feat(hex-poly-fp-mathlib): complete the transport surface to match the generic DensePoly correspondence

Status: Open.

#9370 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026

chore: key the Phase-4 validators off an explicit correspondence-only classification

Status: Open.

#9368 In kim-em/hex-dev;

· kim-em opened on Aug 22, 2026