All pull requests

Pull requests

• Separate ternary obstructions from bounded dyadic quotient tests

  #2949·petalas opened Oct 16, 2026Contributor·

  ·

• Conditional κ = 0.001723356487244355: nine declared gate rewrites on #2917's words with #2930's cap-attaining fill

  #2948·jeremykothe2 opened Oct 16, 2026·

  ·

• fix(verify): reject incomplete selected source inventories

  #2947·petalas opened Oct 16, 2026Contributor·

  ·

• Map later BIT physical caller contracts and the remaining consumer handoff

  #2945·petalas opened Oct 16, 2026Contributor·

  ·

• Certify selected k8 label instances in Lean

  #2944·petalas opened Oct 16, 2026Contributor·

  ·

• Certify PR2930's packing optimum throughout its root interval

  #2943·ToikY opened Oct 16, 2026Contributor·

  ·

• Conditional κ ≈ 0.0017228163198632: four paired extractions at normal 45 on #2917's words (+3.16e-7 over #2930)

  #2942·mdumitrean opened Oct 16, 2026Contributor·

  ·

• Certify the changed-history boundary of P104's lifetime screen

  #2941·petalas opened Oct 16, 2026Contributor·

  ·

• Prove the QQ16 fixed-bank scratch allocation needs sixteen extra arrays

  #2940·petalas opened Oct 16, 2026Contributor·

  ·

• Reuse parsed strict payloads for mismatch diagnostics

  #2939·petalas opened Oct 16, 2026Contributor·

  ·

• Screen generated-lattice parity cuts before mixed-target word search

  #2938·petalas opened Oct 16, 2026Contributor·

  ·

• F-star family gap: the v = 7..11 census, the first gap-2 instance below v = 12, and the box-completeness attack (no kappa)

  #2936·navinor opened Oct 16, 2026Contributor·

  ·

• Prove exact joint continuation backing for fixed selected programs

  #2935·petalas opened Oct 16, 2026Contributor·

  ·

• Prove nine-call bound for parity-uniform mixed targets

  #2934·petalas opened Oct 16, 2026Contributor·

  ·

• KB3f: the vanishing-character restriction on the 18-point cover question for F2^7 (outcome=partial, no new kappa)

  #2933·navinor opened Oct 16, 2026Contributor·

  ·

• Independently audit PR2917's paired-helper frame ledger

  #2932·ToikY opened Oct 16, 2026Contributor·

  ·
  1

• Audit: native stage 3 lands in stage 2's stopped range

  #2931·hevlyo opened Oct 16, 2026Contributor·3 of 4 tasks·

  ·

• Conditional κ ≈ 0.0017224999064433: cap-attaining allocation of #2917's unchanged words (+9.11e-7)

  #2930·mdumitrean opened Oct 16, 2026Contributor·

  ·

• Fix ordered branch exclusions in the selected replay CI guard

  #2928·petalas opened Oct 16, 2026Contributor·

  ·

• docs(research): complete the PR2101 Linux replay evidence

  #2927·petalas opened Oct 16, 2026Contributor·

  ·

• Prove sharper continuation backing for the selected coefficient evaluator

  #2925·petalas opened Oct 16, 2026Contributor·

  ·

• Re-price PR2920's two-history P104 profile under reported lifetime floors (no new kappa)

  #2924·Sudarsh3301 opened Oct 16, 2026·

  ·

• Prove joint numerical and countdown backing during native ADD

  #2923·petalas opened Oct 16, 2026Contributor·

  ·

• Formalize the P104 affine-complement endpoint lemma in Lean

  #2922·petalas opened Oct 16, 2026Contributor·

  ·

• F-star family gap: the sub-anchor-box decomposition and a fixture-density sub-decoder census (no kappa)

  #2914·navinor opened Oct 16, 2026Contributor·

  ·