All pull requests

Pull requests

• Exclude the square i-block at the mixed Q8 count boundary

  #71·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Prove the uniform CRT evaluator bound with constant 1

  #70·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Prove the boundary-arithmetic row-field pad is removed before the next axis

  #69·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Separate the #4088 tensor-frame child from factorwise repetition (no new κ)

  #68·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Prove the separated Gaussian carve has Schur bandwidth at most 2W-1

  #67·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Record the joint log_q coefficient when the complex leaf reserve is 1

  #66·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Show Pi P_enc Pi intertwines data banks but misses the helper chart

  #65·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Price one P104 helper under Π P_enc Π (no new κ)

  #64·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Audit #4100's 2^{-4p} sentence: log2 T is p/6, and a polynomial number of full-array factors is not 2^{O(p)}

  #63·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Show the literal P104 slot exchange misses the helper gate

  #62·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Show the fixed L/2 firing set is not monotone in length (no new κ)

  #61·unpaidmoon opened Oct 21, 2026Owner·

  ·

• Audit the compact-switch coefficient and disjoint-guard contract

  #60·unpaidmoon opened Oct 21, 2026Owner·

  ·

• The ordinary rebind drops the mixed staged544 idle charge

  #59·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Show a restored third bank does not add an unpaid coordinate

  #58·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Price the maximal legal entrance of the native event after warp 0

  #57·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Price the sum-only encoded P104 consumer at 192 transports.

  #56·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Price the standard-Y consumer of the encoded P104 exit

  #55·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Bound paid child rank by 8 on the selected F_2^9 word

  #54·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Bound the E8 label pairing rank by 9 on the selected template.

  #53·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Price the adjacent F0 ADD at frame 4 with no second climb.

  #52·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Record that the selected k8 word emits no paid child above rank 8

  #51·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Price one transported warp-0 frame's entrance, terminal, and caller bill

  #50·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Show the plane-port u=2 screen misses the rank-8 cell's 16-child slack

  #49·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Price one K/adjoint round trip on register 333 as Z_256

  #48·unpaidmoon opened Oct 20, 2026Owner·

  ·

• Certify the screened P104 source-chart shortcut misses the debt-free gate

  #47·unpaidmoon opened Oct 20, 2026Owner·

  ·