All pull requests

Pull requests

• Conditional κ = 0.001730980255989036959962 (+1.140e-9 over #4088): one-third fourth-entry fill attaining #4091's pooled ceiling

  #4181·rohanarun opened Oct 20, 2026Contributor·

  ·

• Complete source-bound four-provider finite admission for PR4088

  #4180·yssite opened Oct 20, 2026Contributor·

  ·

• Prove the uniform query floor for the shared dirty BIT pair

  #4179·RossRichardson opened Oct 20, 2026·4 tasks done·

  ·

• Bind mixed-provider precision to the rounded Gaussian tensor caller

  #4178·jmbarrancoml opened Oct 20, 2026Contributor·

  ·

• Prove a complete terminal-band QQ16 cost exclusion

  #4177·Clear1nsight opened Oct 20, 2026Contributor·

  ·

• Integrate the R437 carrier compiler, numerical invoice and paid local caller

  #4176·Clear1nsight opened Oct 20, 2026Contributor·

  ·

• Audit CRT reservoir placement and split-axis coordinate descriptors

  #4174·kumagi opened Oct 20, 2026Contributor·

  ·

• Prove native-history action coupling and reduce the QQ16 comparison

  #4172·Clear1nsight opened Oct 20, 2026Contributor·

  ·

• Independent numerical cross-check of PR4100's exact-root and paid-power ledger (finite layer; no new kappa)

  #4171·petalas opened Oct 20, 2026Contributor·

  ·

• Independent transfer audit (no new κ): PR4091's pooled ceiling applies to the retained PR4088 head; remaining headroom 1.140318244487202e-9

  #4170·petalas opened Oct 20, 2026Contributor·

  ·

• Audit PR4100 arbitrary-source CRT repair with an explicit inverse

  #4169·kumagi opened Oct 20, 2026Contributor·

  ·

• Share closed primitive engines to remove parent parking at child calls

  #4167·Clear1nsight opened Oct 20, 2026Contributor·

  ·

• fix(research): repin central-factor-packed sources to the integrated tree (batch952 red streak)

  #4110·kumagi opened Oct 20, 2026Contributor·

  ·

• Isolate explicit historical receipt adapters from P104 research

  #4103·Clear1nsight opened Oct 19, 2026Contributor·

  ·

• Repair ledger reconciliation and authenticated historical receipt replay

  #4102·Clear1nsight opened Oct 19, 2026Contributor·

  ·

• perf(research): compile the P112 ten-deletion census with popcnt (2.69x, byte-identical receipts)

  #4090·kumagi opened Oct 19, 2026Contributor·

  ·

• Research: seven-source weight-at-most-four connector boundary (L<=18 excluded, 216-call floor) (no new kappa)

  #4079·nightangelflowerwin-ops opened Oct 19, 2026Contributor·

  ·

• Implement staged544 rank-five residual with reversible dirty scratch

  #4017·Clear1nsight opened Oct 19, 2026Contributor·

  ·
  3

• Implement the complete physical Gaussian tensor transform

  #3935·jmbarrancoml opened Oct 19, 2026Contributor·

  ·

• Add R439 shear rebase profile audit

  #3924·1337isnot1337 opened Oct 19, 2026Contributor·

  ·

• research: audit exact T74 moment endpoints

  #3923·1337isnot1337 opened Oct 19, 2026Contributor·

  ·

• Add exact small-depth audit for butterfly transfer

  #3922·1337isnot1337 opened Oct 19, 2026Contributor·

  ·

• research: audit selected PR589 source blob binding

  #3921·1337isnot1337 opened Oct 19, 2026Contributor·

  ·

• research: audit selected stock boundary

  #3920·1337isnot1337 opened Oct 19, 2026Contributor·

  ·

• Audit dirty direct-call supplier gap

  #3919·1337isnot1337 opened Oct 19, 2026Contributor·

  ·