All pull requests

Pull requests

• Independently audit every P112 contact phase and dirty-helper word

  #4212·ToikY opened Oct 20, 2026Contributor·

  ·

• research: exclude eight calls for one GL3 dirty-register target

  #4211·brianross93 opened Oct 20, 2026Contributor·

  ·
  1

• Independently replay the L20 triple-four exclusion through five-source lifts

  #4210·ToikY opened Oct 20, 2026Contributor·

  ·
  1

• Prove same-rho Schur closure for the completed parity-triangular caller

  #4209·ToikY opened Oct 20, 2026Contributor·

  ·
  1

• Produce a one-target CRT guard stencil from paid unary geometry

  #4208·ToikY opened Oct 20, 2026Contributor·

  ·
  1

• Prove the exact 218-call minimum for seven-source weight-≤4 masks (audits #4079; L=20 excluded; no new κ)

  #4207·petalas opened Oct 20, 2026Contributor·

  ·
  3

• Independently audit BIT COPY support propagation at the retained caller

  #4206·ToikY opened Oct 20, 2026Contributor·

  ·
  2

• Certify full Toeplitz circuits with polynomial conditioning bounds

  #4205·jmbarrancoml opened Oct 20, 2026Contributor·

  ·
  1

• Verify P112 paired endpoints and paid isolated helper return

  #4204·RossRichardson opened Oct 20, 2026·

  ·
  3

• Prove exact D4 carrier interfaces and paid helper return

  #4203·RossRichardson opened Oct 20, 2026·

  ·
  1

• Lower admitted-stencil CRT guard scan to a literal three-tape program

  #4201·ToikY opened Oct 20, 2026Contributor·

  ·
  1

• Prove the BIT COPY floor for closed snapshot paths

  #4200·RossRichardson opened Oct 20, 2026·4 tasks done·

  ·
  1

• Generate exact bounded rational Stein coefficients

  #4198·jmbarrancoml opened Oct 20, 2026Contributor·

  ·
  1

• Construct restored compensation forests for the staged words

  #4197·RossRichardson opened Oct 20, 2026·

  ·
  1

• Bind declared-width CRT shared rows to the complete padded caller

  #4195·ToikY opened Oct 20, 2026Contributor·

  ·
  1

• Prove sharp fixed BIT repairs and a two-code hybrid controller

  #4194·RossRichardson opened Oct 20, 2026·4 tasks done·

  ·
  1

• Bound capped Gaussian inverses through half shifts

  #4193·jmbarrancoml opened Oct 20, 2026Contributor·

  ·
  1

• Audit uniform Beneš compiler with charged sequential arena scans

  #4192·ToikY opened Oct 20, 2026Contributor·

  ·
  1

• Audit signed R429 integer range and atomic error sensitivity

  #4190·RossRichardson opened Oct 20, 2026·4 tasks done·

  ·
  1

• Research: exact F3 minimum for the one-source additive connector

  #4189·hevlyo opened Oct 20, 2026Contributor·

  ·
  1

• Audit conditional CRT last-K two-slice streaming tariff

  #4187·ToikY opened Oct 20, 2026Contributor·

  ·
  1

• Bound rounded block-solve error at the fine-prime Gaussian boundary

  #4186·jmbarrancoml opened Oct 20, 2026Contributor·

  ·
  1

• Bound coded R429 owner costs and alternating row sections

  #4185·RossRichardson opened Oct 20, 2026·4 tasks done·

  ·
  1

• Audit PR4100’s free-word tensor lift on all four actual programs

  #4184·ToikY opened Oct 20, 2026Contributor·

  ·
  1

• Admit delayed carrier retirement to the full logical BIT recursion

  #4183·RossRichardson opened Oct 20, 2026·

  ·
  1