All pull requests

Pull requests

• Compute tensor determinant characters for unequal Frobenius cutoffs

  #5459·aliromman opened Oct 24, 2026Contributor·

  ·

• Prove sharp binary separator cost for even-subset cubes

  #5458·aliromman opened Oct 24, 2026Contributor·

  ·

• Enable exact feedback through original complex helper queries

  #5457·aliromman opened Oct 24, 2026Contributor·

  ·

• Prove a last-call obstruction for simple BIT support graphs

  #5456·aliromman opened Oct 24, 2026Contributor·

  ·

• Prove sharp five-thirds bounds for two binary helper classes

  #5455·aliromman opened Oct 24, 2026Contributor·

  ·

• Classify exact cube-zero outer-product cost by quadratic relations

  #5454·aliromman opened Oct 24, 2026Contributor·

  ·

• Certify exact cost failures for eight native main-bank slices

  #5453·aliromman opened Oct 24, 2026Contributor·

  ·

• Expose 222 early BIT helper queries with exact port routes

  #5452·aliromman opened Oct 24, 2026Contributor·

  ·

• Certify uniform operator error for fixed physical transfer tables

  #5451·aliromman opened Oct 24, 2026Contributor·

  ·

• Prove the sharp width-two paid-history threshold for bit-flip targets

  #5450·aliromman opened Oct 24, 2026Contributor·

  ·

• Audit additional paid returns with an explicit initial history module

  #5449·aliromman opened Oct 24, 2026Contributor·

  ·

• Prove all-width input kernels for native full-frame histories (no new κ)

  #5447·thu-nmrc opened Oct 24, 2026Contributor·

  ·

• Extend standalone paid-history bounds to central scalars and nonuniform words (no new κ)

  #5446·Clear1nsight opened Oct 24, 2026Contributor·

  ·

• Realize the selected caller's monomials and J routes as fixed f-independent record lists (no new kappa)

  #5445·Matarener opened Oct 24, 2026Contributor·

  ·

• Where rounded native codes keep their history: a sharp precision–state frontier

  #5444·zxv opened Oct 24, 2026Contributor·

  ·

• Execute the completion/splitting pass as a lockstep rule and prove nested owned-bank lifetimes (no new kappa)

  #5443·Matarener opened Oct 24, 2026Contributor·

  ·
  2

• All-width certificate for the complete #5413 caller: group-algebra lifting lemma, 896 port identities, free body, abelian controller (no new kappa)

  #5442·Matarener opened Oct 24, 2026Contributor·

  ·
  2

• Beyond columnwise controls: finite certificates and routing bounds

  #5441·zxv opened Oct 24, 2026Contributor·

  ·

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

  #5440·DaysSky opened Oct 24, 2026Contributor·

  ·
  3

• Construct an odd E8 decoder and bound separated native lifts (no new κ)

  #5439·aliromman opened Oct 24, 2026Contributor·

  ·

• Certify the exact grid of the complete #5413 caller: body ceil(9 lambda/2)+6, controller 74 bits (attained) (no new kappa)

  #5438·Matarener opened Oct 24, 2026Contributor·

  ·
  2

• Repin five dependents of physical-ordinary-interchange; selected record as provenance (no scientific change)

  #5437·Matarener opened Oct 24, 2026Contributor·

  ·

• Width-dependent native controls face a linear support barrier

  #5436·zxv opened Oct 24, 2026Contributor·

  ·

• Research: the PR5413 caller publishes no stock coefficient

  #5432·hevlyo opened Oct 24, 2026Contributor·

  ·
  1

• Certify that b = Z Q Y is not retained and no paid response is reusable (negative result, no new kappa)

  #5427·Matarener opened Oct 24, 2026Contributor·

  ·
  2