All pull requests

Pull requests

• Improve logical BIT packing to c > 0.00174305936 with exact mixed-width owners

  #4326·ai-nanachi opened Oct 21, 2026Contributor·

  ·

• Audit #4100's cached chirp odometer: O(p) head travel per record uniformly in d (no new κ)

  #4325·pinterbanget opened Oct 21, 2026·

  ·

• P112: exclude every canonical-source decoder at a fixed three-target placement

  #4324·flyingviper opened Oct 21, 2026Contributor·

  ·

• P112: preserve marked recovery through query-only matroid relaxations

  #4323·flyingviper opened Oct 21, 2026Contributor·

  ·

• Show the fixed L/2 firing set is not monotone in length.

  #4322·unpaidmoon opened Oct 21, 2026Contributor·

  ·

• Audit the compact-switch coefficient and guard contract.

  #4321·unpaidmoon opened Oct 21, 2026Contributor·

  ·

• Audit #4100 PROOF.md's transform and exact-recovery chain: all identities hold (no new κ)

  #4320·pinterbanget opened Oct 21, 2026·

  ·

• Direct elimination puts the inverse infinity norm strictly between 18/5 and 361/100 (no new κ)

  #4319·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• Principal restrictions inherit the displayed-gap Neumann ceilings (no new κ)

  #4318·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• The Neumann bounds at the displayed-expression gap are at most 27, 3938, and below 321 (no new κ)

  #4317·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• The narrow Neumann bounds on this section are 5776, 200144176, and 5776*sqrt(34651) (no new κ)

  #4316·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• The normalized separator corners stay positive at half-bandwidth 3 (no new κ)

  #4315·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• Every principal restriction of the normalized section keeps the row gap (no new κ)

  #4314·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• The normalized translated Schur row sums are strictly below 2 (no new κ)

  #4313·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• The normalized translated Schur gaps exceed 1/(16 p^2) (no new κ)

  #4312·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• Map independent audit coverage of #4100's obligations (navigation; no new κ)

  #4311·pinterbanget opened Oct 21, 2026·

  ·

• The normalized translated Schur rows stay below the displayed bound (no new κ)

  #4310·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• The translated Schur diagonals are positive and at most 1 (no new κ)

  #4309·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• The translated Schur rows stay below the displayed Gaussian bound (no new κ)

  #4308·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• Every translated width-2 row sum lies below the displayed Gaussian bound (no new κ)

  #4307·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• The translated prime-scale kernel keeps both separator corners positive (no new κ)

  #4306·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• Translating the prime-scale origin puts every row sum below 97/100 (no new κ)

  #4305·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• A centred prime-scale chirp keeps both corners positive, with a row sum above 1 (no new κ)

  #4304·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• At the prime-scale shift endpoint both separator corners stay positive (no new κ)

  #4303·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·

• A prime-scale truncated Gaussian keeps its separator corner positive (no new κ)

  #4302·jwr404 opened Oct 21, 2026Contributor·2 of 3 tasks·

  ·