All pull requests

Pull requests

• Bound 168-term alternating-plane decoders at COPY mass 672

  #5624·aliromman opened Oct 25, 2026Contributor·

  ·

• Prove the sharp four-axis native test window 9–12

  #5622·aliromman opened Oct 25, 2026Contributor·

  ·

• Classify every line Gaussian that commutes with the eight-mode code

  #5621·aliromman opened Oct 25, 2026Contributor·

  ·

• Prove the sharp 240-return minimum in the frozen p2 oracle model

  #5618·aliromman opened Oct 25, 2026Contributor·

  ·

• Prove stage-reuse and intersection cuts for complete callers

  #5617·aliromman opened Oct 25, 2026Contributor·

  ·

• Bound every G20 catalogue contact expansion below BIT saving 0.0037

  #5616·aliromman opened Oct 25, 2026Contributor·

  ·

• Certify exact dyadic helper-channel capacity with Smith witnesses

  #5615·aliromman opened Oct 25, 2026Contributor·

  ·

• Certify Jensen compiler feasibility for a hypothetical 145-split P104 profile

  #5614·Clear1nsight opened Oct 25, 2026Contributor·

  ·
  2

• Conditional kappa 0.00310440 (+1.41e-6 over #5612): compose the paid helper boundary

  #5613·flyingviper opened Oct 25, 2026Contributor·

  ·

• Conditional kappa 0.00310299 (+1.15e-6 over #5608): delayed shared P104 preparation

  #5612·flyingviper opened Oct 25, 2026Contributor·

  ·

• Complete dyadic helper bases without an individual unit pivot

  #5611·aliromman opened Oct 25, 2026Contributor·

  ·

• Exclude all common-frame G20 helper splits at every causal cut

  #5609·aliromman opened Oct 25, 2026Contributor·

  ·

• Conditional kappa 0.00310184 (+1.39e-6 over updated #5599): compose the shared relay and helper splits

  #5608·flyingviper opened Oct 25, 2026Contributor·

  ·

• Conditional κ 0.00309871 from a prepared P104 split helper

  #5606·Scratch-net opened Oct 25, 2026Contributor·

  ·

• Two successor hand-offs on the P104 word: conditional κ 0.0030428242

  #5553·DreamingOfClouds opened Oct 25, 2026Contributor·

  ·
  2

• Price the p19 coded-reverse chain: conditional κ = 0.0033999964

  #5440·DaysSky opened Oct 24, 2026Contributor·

  ·
  4

• Research: the PR5413 caller publishes no stock coefficient

  #5432·hevlyo opened Oct 24, 2026Contributor·

  ·
  1

• Follow-up to #5350: register scalar package for CI replay, document allowance accounting

  #5386·ahrazzle opened Oct 23, 2026Contributor·

  ·
  1

• Joint bit+complex supplier cannot beat the average of the two p16 invoices under the whole-job premise (negative result)

  #5298·Matarener opened Oct 23, 2026Contributor·

  ·
  3

• Certify conditional kappa 0.0033999964 via the p19 word without the coded overlay (complex 0.007578535, BIT 0.0034, zero field bill)

  #5270·DaysSky opened Oct 23, 2026Contributor·

  ·
  5

• Checkpoint symmetric two-star P112 supports and inconclusive COPY63 search

  #5088·1337isnot1337 opened Oct 23, 2026Contributor·

  ·
  1

• Checkpoint eight masked-decoder basis searches (exploratory; no new K)

  #5064·1337isnot1337 opened Oct 23, 2026Contributor·

  ·

• Explore joint frame retiming after carried swaps (ongoing; no new κ)

  #4993·1337isnot1337 opened Oct 23, 2026Contributor·

  ·

• Construct a reversible 640-field center interface and exact raw dual (no new K)

  #4694·1337isnot1337 opened Oct 22, 2026Contributor·

  ·

• Audit #4359 BIT row stock and its #4470 atom change (no new κ)

  #4612·Matarener opened Oct 22, 2026Contributor·

  ·