All pull requests

Pull requests

• Prove the height-1 truncated-source count without moving either endpoint

  #86·unpaidmoon opened Oct 23, 2026Owner·

  ·

• Prove the depth-first continuation stack is O_q(V) at the new c

  #85·unpaidmoon opened Oct 23, 2026Owner·

  ·

• Record that monotone selected entrances miss the rank-8/u2 16-child cell

  #84·unpaidmoon opened Oct 23, 2026Owner·

  ·

• Record that the #4091 pooled ceiling still bounds the 1090-call fill (no new κ)

  #83·unpaidmoon opened Oct 23, 2026Owner·

  ·

• Certify the SOURCE87 parent fibre count on the R437 carrier

  #82·unpaidmoon opened Oct 23, 2026Owner·

  ·

• Record that the R437 parent blank-return exceeds the 972-bit child

  #81·unpaidmoon opened Oct 23, 2026Owner·

  ·

• Prove the F_2^6 difference basis has order 14

  #80·unpaidmoon opened Oct 22, 2026Owner·

  ·

• Show one shared-arena CRT axis fits the evaluator allowance

  #79·unpaidmoon opened Oct 22, 2026Owner·

  ·

• Prove the narrow row keeps gap 1/(16p^2) after rounding

  #78·unpaidmoon opened Oct 22, 2026Owner·

  ·

• Show port-dependent C_u charts match a data line only when equal

  #77·unpaidmoon opened Oct 22, 2026Owner·

  ·

• Compare the sharp compact-switch window with CRT.md's repair room

  #76·unpaidmoon opened Oct 22, 2026Owner·

  ·

• Show the #4100 common-cover row pad does not fit

  #75·unpaidmoon opened Oct 22, 2026Owner·

  ·

• Show the short-field movement does not tighten #4100's Strassen boundary row

  #74·unpaidmoon opened Oct 22, 2026Owner·

  ·

• Join the one-target CRT hole mask with reverse-word repair keys

  #73·unpaidmoon opened Oct 22, 2026Owner·

  ·

• Bind the selected BIT stock width exponent at 1/250

  #72·unpaidmoon opened Oct 22, 2026Owner·

  ·

• 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·

  ·