All pull requests

Pull requests

• Optimize THREE-base logical defect guards: save 2336 per direction (no κ)

  #6121·petalas opened Oct 28, 2026Contributor·

  ·

• Audit #6114's controller income bound: theorem holds, two proof gaps closed, 'only escape' scope corrected (no new κ)

  #6120·JosieElliston opened Oct 28, 2026Contributor·

  ·

• Audit deferred-row rounding: sharp error bounds and clean-return controls

  #6119·CubeJerry opened Oct 28, 2026Contributor·

  ·

• Prove saturation of the fixed #4467 leaf deficit (no new κ)

  #6118·DLamdata opened Oct 28, 2026Contributor·

  ·

• Rule out profitable first-read captures of any G20 helper subset (no new kappa)

  #6117·CubeJerry opened Oct 28, 2026Contributor·

  ·

• Resynthesize P104 scalar prefix: 3,577 fewer events (No new κ)

  #6116·CubeJerry opened Oct 28, 2026Contributor·

  ·

• Audit #6030's deferred layer and current BIT stock

  #6115·DLamdata opened Oct 28, 2026Contributor·

  ·

• Controller income is capped at full calls minus one: even-part rank bound in the p16 Laurent alphabet (scoped negative result; no new kappa)

  #6114·Matarener opened Oct 28, 2026Contributor·

  ·

• Census dynamic G20 helper captures (PR5586 B1): none pays for one helper or any pair

  #6113·Matarener opened Oct 28, 2026Contributor·

  ·
  1

• Bind the merged gate-table zero_state to the selected PR6030 primary replay: 2.4x normal, 1.5x -O, identical RESULT.json (no new κ)

  #6112·JosieElliston opened Oct 28, 2026Contributor·

  ·

• Two added positive rank-one BIT frames cannot give a seven-call word: answers #6104 Q1 (no new κ)

  #6111·JosieElliston opened Oct 28, 2026Contributor·

  ·

• Bind PR6030's remaining 30 strict and 4 functional outer checks to written sources; stopped-recursion theorem's 1−c term has no row (no new κ)

  #6110·JosieElliston opened Oct 28, 2026Contributor·

  ·

• Bind PR6030 uniform compiler and nine outer rows to written theorems; j=47005 is first passing grid point (no new κ)

  #6109·JosieElliston opened Oct 28, 2026Contributor·

  ·

• P104 leak corrections: third-engine check of #6067/#6069 on PR6030, and a scalar-level witness on PR5907 (no new κ)

  #6108·JosieElliston opened Oct 28, 2026Contributor·

  ·

• Depth-two connector blocks cap at log₂ c + O(log log c) sources: Gray's 1/2 is sharp for depth ≤ 2 concatenations (no new κ)

  #6107·JosieElliston opened Oct 28, 2026Contributor·

  ·

• Preserve translation-induced scalar phases in affine native tags

  #6106·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• Prove the exact 38-ADD floor for the full fixed G20 boundary

  #6105·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• Type the selected ordinary BIT backend for conditional finite reseeding

  #6103·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• Reverse the paired DDG with a resident transcript and clean stopping counter

  #6102·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• fix: reject isolated completion observed after capture deadline

  #6101·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• Reuse all numerical and ROM backing in the actual fixed-node CRT row consumer

  #6100·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• Prove production Gaussian positivity and retained matrix perturbation

  #6099·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• Bound retained scratch history for the actual encoded prefix planner

  #6098·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• Prove the width-two F2 six-call floor with genuine group-word collisions

  #6097·JoyboyBrian opened Oct 28, 2026Contributor·

  ·

• Classify actual /52 inverse residues and denominator13 applicability

  #6096·JoyboyBrian opened Oct 28, 2026Contributor·

  ·