All pull requests

Pull requests

• Prove the case-II sumset obligation for length-28 all-ones distance 8

  #294·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Record the length-28 all-ones placement split for the two double sources (no κ)

  #293·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove the (2,1,1,0) seven-call profile fails support or a character (no κ)

  #292·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove adjacent swaps of the #7041 block word miss mask (4)

  #291·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Classify constant insertions after stage-2 E_22 and the stage-2 leaf (no κ)

  #290·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Certify the dimension-1 clean support minimum is 41

  #289·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove the t=1/2 net-tax tie sits before the midpoint (no κ)

  #288·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Show the dimension-7 no-edge pool is not unique up to coordinates

  #287·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove five weight-(2,2,2) column-column orbits and infinitude beyond them (no κ)

  #286·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove a zero-to-D helper-split rank bill is maximized at an endpoint

  #285·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Reconcile the V02 imported-decoder receipts on digest 7001e2ba

  #284·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Record opcode 1's dimension-8 images of the 112 Y exits (no κ)

  #283·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Classify constant insertions after stage-1 E_22 and stage-2 E_11 (no κ)

  #282·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Record that the V02 public replay does not bind the 56 assumptions (no κ)

  #281·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove one-scale helper-462 words need at least 10 shears

  #280·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Show the weight-2 family plus the weight-6 mask admits no legal S(16)

  #279·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove leaf-to-core blocks raise the every-stage thin-rank bound to 2q⌈2g/5⌉ (no κ)

  #278·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Record that a second missing edge does not save a dirty one-move G20 word

  #277·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove the six-call orbit O5 is character-excluded (no κ)

  #276·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove excluded clique X0 has Boolean host charge exactly 7 (no κ)

  #275·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Exhibit an irreducible no-edge image of dimension 7 at pattern dimension 5

  #274·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove two rank-q maps in one gap can fill every helped core block (no κ)

  #273·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove integral four-odd-c labels miss length-6 support (no κ)

  #272·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove every rational splitting of 2I fails the length-6 character count (no κ)

  #271·unpaidmoon opened Nov 11, 2026Owner·

  ·

• Prove two constant thin maps miss one g=5 paired-star word at q=1.

  #270·unpaidmoon opened Nov 11, 2026Owner·

  ·