All pull requests

Pull requests

• Record the relay that carries each matched source into its target

  #3363·jwr404 opened Oct 17, 2026Contributor·3 of 4 tasks·

  ·

• Research: sharp query dimension for unequal C5 payloads

  #3362·tekuuu opened Oct 17, 2026Contributor·

  ·

• Conditional T740 kappa refinement: +9.04e-25 over PR3148

  #3361·dataisfire opened Oct 17, 2026Contributor·

  ·

• Certify four seven-source B exclusions with checked SAT proofs

  #3360·petalas opened Oct 17, 2026Contributor·

  ·

• Conditional κ = 0.001673626873024029 by composing six cycles on PR3354

  #3359·hexapode opened Oct 17, 2026·

  ·

• Research: record isolated test worker-width evidence

  #3358·1337isnot1337 opened Oct 17, 2026Contributor·

  ·

• Prove selected forward helper450 unit row in Lean

  #3357·thakrarsagar opened Oct 17, 2026Contributor·

  ·

• Research: exhibit thirteen disjoint P112 binary frames

  #3356·petalas opened Oct 17, 2026Contributor·

  ·

• Research: conditional κ = 0.001673620586419375 via a three-helper T16 cycle

  #3354·petalas opened Oct 17, 2026Contributor·

  ·

• Research: extend conditional P112 mixed566 common cut to 34

  #3353·petalas opened Oct 17, 2026Contributor·

  ·

• Research: sharp pooled T16 integer optimum and tighter packing cap

  #3352·petalas opened Oct 17, 2026Contributor·

  ·

• Codex/donation 20261017 01a14bfa

  #3351·Arham-Tahir64 opened Oct 17, 2026Contributor·

  ·

• research: bind the fixed kernel entrance to native replay

  #3350·Clear1nsight opened Oct 17, 2026Contributor·

  ·
  1

• Research: published P104 channel leaves every endpoint frame unrestored (no new kappa)

  #3349·VictorLiwentao opened Oct 17, 2026Contributor·

  ·

• fix(tests): pass private cache policy to Python descendants

  #3348·Arham-Tahir64 opened Oct 17, 2026Contributor·

  ·

• Research: rank 34d for PR3335's block-valued plane mask

  #3347·Arham-Tahir64 opened Oct 17, 2026Contributor·

  ·

• Compose integer labels with checked XOR scatter export

  #3346·hexapode opened Oct 17, 2026·

  ·

• Research: PR3335 rank-34 factors have full-port copy tariff 224 (no kappa)

  #3345·Arham-Tahir64 opened Oct 17, 2026Contributor·

  ·

• Research: complex copy budgets for 3-6 unpaid coordinates with large local children (planning screen; no κ)

  #3344·Matarener opened Oct 17, 2026Contributor·

  ·

• Implement direct signed carry streams for BIT high routes

  #3343·tekuuu opened Oct 17, 2026Contributor·

  ·

• Research: bound PR2979 selected-contract admission allowance

  #3342·petalas opened Oct 17, 2026Contributor·

  ·

• Research: certify a class-C V2 stabilizer quotient

  #3341·1337isnot1337 opened Oct 17, 2026Contributor·

  ·

• Research: bridge high-cube calls to fitted B1

  #3340·1337isnot1337 opened Oct 17, 2026Contributor·

  ·

• Record QQ16 consumer accounting and the missing idle continuation

  #3339·petalas opened Oct 17, 2026Contributor·

  ·

• Conditional κ = 0.001673619538656538 from a verified two-role T16 swap

  #3338·petalas opened Oct 17, 2026Contributor·

  ·