All pull requests

Pull requests

• Save 930 further instructions at constant-two NTT twiddles

  #6810·ToikY opened Nov 6, 2026Contributor·

  ·

• Compute negative signed halves with a fixed linear marked-tape table

  #6809·ToikY opened Nov 6, 2026Contributor·

  ·

• Prove two helpers suffice and are necessary for six query targets

  #6808·ToikY opened Nov 6, 2026Contributor·

  ·

• Test early duplicate-VERIFY rejection with an opt-in patch

  #6807·ToikY opened Nov 6, 2026Contributor·

  ·

• Prove sharp inverse bounds for fractional column capacities (no κ)

  #6806·ToikY opened Nov 6, 2026Contributor·

  ·

• Conditional κ = 0.00330814 (+9.4e-7 over #6726): retimed native helper split

  #6805·CubeJerry opened Nov 6, 2026Contributor·

  ·

• Exclude the four-six-cycle fifteen-owner route graph (no κ)

  #6804·petalas opened Nov 6, 2026Contributor·

  ·

• Attain the joint four-six return threshold in five labels (no κ)

  #6803·petalas opened Nov 6, 2026Contributor·

  ·

• Save 47,523 instructions in the 512-point NTT multiplier (no κ)

  #6802·petalas opened Nov 6, 2026Contributor·

  ·
  1

• Compute positive signed halves in linear tape time without work cells

  #6801·petalas opened Nov 6, 2026Contributor·

  ·
  1

• Prove restored dirty helpers preserve square-zero query capacity (no κ)

  #6800·petalas opened Nov 6, 2026Contributor·

  ·
  1

• Prove six-orbit rank chains cannot exclude two arrays in seven calls

  #6799·petalas opened Nov 6, 2026Contributor·

  ·

• Prove a rank-four cube parity obstruction (no κ)

  #6798·petalas opened Nov 6, 2026Contributor·

  ·

• Classify saturated cubic shared-block pairs and count all extremizers (no κ)

  #6797·petalas opened Nov 6, 2026Contributor·

  ·

• Prove sharp dirty-word intervals at n=2^h+1 (no κ)

  #6796·petalas opened Nov 6, 2026Contributor·

  ·

• Reduce aggregate padding from twelve tapes to eight (no κ)

  #6795·petalas opened Nov 6, 2026Contributor·

  ·

• Improve three-qubit Clifford Gram condition bound to 807 (no κ)

  #6794·petalas opened Nov 6, 2026Contributor·

  ·

• Prove charge-only ternary guard costs through two additions (no κ)

  #6793·petalas opened Nov 6, 2026Contributor·

  ·

• Exclude dyadic Borel savings in a common integral polynomial algebra (no κ)

  #6792·petalas opened Nov 6, 2026Contributor·

  ·

• Reduce odd-width optimal sectors to six necessary forms (no κ)

  #6791·petalas opened Nov 6, 2026Contributor·

  ·

• Prove a sharp bounded-error cutoff for acyclic decoder rows (no κ)

  #6790·petalas opened Nov 6, 2026Contributor·

  ·

• Optimize dyadic error cuts and prove a quantitative convergence rate (no κ)

  #6789·petalas opened Nov 6, 2026Contributor·

  ·

• Prove the sharp inverse envelope under a column cap (no κ)

  #6788·petalas opened Nov 6, 2026Contributor·

  ·
  1

• Reduce the effective interval onset to 2^751000000 (no κ)

  #6787·petalas opened Nov 6, 2026Contributor·

  ·

• Exclude polynomial constant-trajectory savings for homogeneous operators (no κ)

  #6786·petalas opened Nov 6, 2026Contributor·

  ·