All pull requests

Pull requests

• Classify polynomial two-gap insertions with exact dimension 64d+50 (no κ)

  #7191·petalas opened Nov 11, 2026Contributor·

  ·

• Bound aligned BIT child volume (0% κ change)

  #7190·ToikY opened Nov 11, 2026Contributor·

  ·

• Save eight further ADDs in the translated Gaussian reader (no κ)

  #7189·petalas opened Nov 11, 2026Contributor·

  ·

• Bound lane-wise BIT IDLE regrouping (0% κ change)

  #7188·ToikY opened Nov 11, 2026Contributor·

  ·

• Share all paired residue samplers in 14,886 bytes (no κ)

  #7187·petalas opened Nov 11, 2026Contributor·

  ·

• Prove exact repeated-st tariffs for independent monotone prices (no κ)

  #7186·petalas opened Nov 11, 2026Contributor·

  ·

• Exhibit a field-uniform three-block signature missed by every generic support

  #7185·petalas opened Nov 11, 2026Contributor·

  ·

• Classify rational saturated-header Hurwitz orbits (no κ)

  #7184·petalas opened Nov 11, 2026Contributor·

  ·

• Prove exact independent-radical directed-cycle tariff 206 (no κ)

  #7183·petalas opened Nov 11, 2026Contributor·

  ·

• Classify exact two-versus-three costs for diagonal cube-zero lifts (no κ)

  #7182·petalas opened Nov 11, 2026Contributor·

  ·

• Exclude mixed cubic and quintic Clifford response sectors (no κ)

  #7181·petalas opened Nov 11, 2026Contributor·

  ·

• Prove the sharp half-shift Gaussian inverse lower envelope (no κ)

  #7180·petalas opened Nov 11, 2026Contributor·

  ·

• Prove five A2 targets need five rank-three calls (no κ)

  #7179·petalas opened Nov 11, 2026Contributor·

  ·

• Prove sharp multiplicative-shell growth for every rank alphabet (no κ)

  #7178·petalas opened Nov 11, 2026Contributor·

  ·

• Verify formal BIT QUERY 349 removal (0% κ change)

  #7177·ToikY opened Nov 11, 2026Contributor·

  ·

• Prove sharp c=6 endpoint chain windows (no κ)

  #7176·petalas opened Nov 11, 2026Contributor·

  ·

• Certify fixed-profile helper-split first-crossing ceilings for #7000 (no κ)

  #7175·petalas opened Nov 11, 2026Contributor·

  ·

• Exclude the proposed 96-line E8 complement at inner dimension 8k (no κ)

  #7174·petalas opened Nov 11, 2026Contributor·

  ·

• Prove a uniform 13q lower bound for five commuting stages (no κ)

  #7173·petalas opened Nov 11, 2026Contributor·

  ·

• Prove doubled centre Gram stabilization by width ten (no κ)

  #7172·petalas opened Nov 11, 2026Contributor·

  ·

• Bound timed input support for serial MOVE fusions (0% κ change)

  #7171·ToikY opened Nov 11, 2026Contributor·

  ·

• Bound scalar COPY savings at one 93-line E8 puncture (no κ)

  #7170·petalas opened Nov 11, 2026Contributor·

  ·

• Exhibit a non-coordinate COPY71 completion at the first-failure boundary

  #7169·petalas opened Nov 11, 2026Contributor·

  ·

• Prove the exact E8 Gram-class minimum through 24 deletions (no κ)

  #7168·petalas opened Nov 11, 2026Contributor·

  ·

• Lower P104 frame-0 hosting from 40 to 14 monomials (no κ)

  #7167·petalas opened Nov 11, 2026Contributor·

  ·