All pull requests

Pull requests

• Prove the diagonal call floor for the 21 GL(3,F2) transvections

  #16·cursor[bot] opened Oct 29, 2026Bot·

  ·

• Screen one U8 width-6 helper relaxation (no kappa change)

  #15·cursor[bot] opened Oct 28, 2026Bot·

  ·

• Exact eight-term copy cost 16 on every 16-line frame pair

  #14·cursor[bot] opened Oct 27, 2026Bot·

  ·

• Certify the uniform cost of one connector checkpoint

  #13·cursor[bot] opened Oct 26, 2026Bot·

  ·

• Certify a five-source dirty connector handoff

  #12·cursor[bot] opened Oct 25, 2026Bot·

  ·

• Exact length 6 for two quaternion triple squares

  #11·cursor[bot] opened Oct 24, 2026Bot·

  ·

• Audit the retained PR309 retiming51 states pin

  #10·cursor[bot] opened Oct 23, 2026Bot·

  ·

• Certify repeated whole-controller rank-mass losses

  #9·cursor[bot] opened Oct 22, 2026Bot·

  ·

• P112 E-graph floor of 64 for one extra term with fixed readers

  #8·cursor[bot] opened Oct 21, 2026Bot·

  ·

• Selected packing: slack-7 three-bin cycles all fail windows

  #7·cursor[bot] opened Oct 20, 2026Bot·

  ·

• One added total cannot lower a pinned P104 frame-pair copy sum

  #6·cursor[bot] opened Oct 19, 2026Bot·

  ·

• Exact length 6 for the semidihedral triple square

  #5·cursor[bot] opened Oct 18, 2026Bot·

  ·

• Audit the degree-12 exponential majorant radius at 14

  #4·cursor[bot] opened Oct 17, 2026Bot·

  ·

• Certify the normal-1 cold chart on C^256 tensor C^2

  #3·cursor[bot] opened Oct 16, 2026Bot·

  ·

• Audit selected outer slacks against the 47-positive receipt check

  #2·hevlyo opened Oct 15, 2026Owner·

  ·

• Document Cloud Agent C++ and Python toolchain

  #1·hevlyo opened Oct 15, 2026Owner·

  ·