Repository navigation

All pull requests

Prove QQ16’s 88-port threshold for all eight local-axis families
#2432bitplane opened Oct 15, 2026Contributor
Tooling: 1.69× faster production R439 omission atlas via packed lanes with identical certificates
#2431VictorLiwentao opened Oct 15, 2026Contributor
Docs: connect masked decoder searches to retained rank-eight limits
#2430starship-s opened Oct 15, 2026
Research note (no κ): T74 #2322 words pay 525 rank units/call of end-of-call restoration climbs — each more cold-restored helper worth +0.6–1.5e-6 (LP ceiling); buffers are free in κ
#2429thakrarsagar opened Oct 15, 2026Contributor
Research: reframed two-writer helper-star absorption stays excluded (forced-carry closure; no new kappa)
#2428navinor opened Oct 15, 2026Contributor
Research (no kappa claim): classical Pappus/Desargues T=3 pairing-cost census — no cost < v falsifier; tight atoms through v = 6
#2427navinor opened Oct 15, 2026Contributor
[Lean] Execute encoded exponent alignment and dyadic addition
#2426jamesyc opened Oct 15, 2026Contributor
[Lean] Decode compact bytes and recover the L450 source operator
#2425jamesyc opened Oct 15, 2026Contributor
Bit construction (no κ; conditional on #1043): R438 + one transport + optimal window-respecting re-hosting → c = 0.0017348463 (+0.082% vs #589); fixes two #1345 atlas crashes
#2423thakrarsagar opened Oct 15, 2026Contributor
Compose signed record phases with the selected tensor action in Lean
#2422bitplane opened Oct 15, 2026Contributor
Verify R439 interleaved COPY through native 5/9/11-stage engines
#2421starship-s opened Oct 15, 2026
Characterize live-row and physical-slot reserve compatibility
#2420RossRichardson opened Oct 15, 2026
Independent verification: QQ16 45-set optimal read-set classification and rank(H|V)=66 of #2389/#2354 (owner bit-function certificate)
#2419thakrarsagar opened Oct 15, 2026Contributor
[Lean] Pay positioned paired-track acquisition and global return
#2418jamesyc opened Oct 15, 2026Contributor
Research: QQ16 A-copy cut needs 24 native lines with even cover maps
#2416ToikY opened Oct 15, 2026Contributor
Research: connect coordinate-SWAP handoffs to the existing cut theorem
#2415RossRichardson opened Oct 15, 2026
Measure 11.46x faster warm native compilation with complete replay
#2414bitplane opened Oct 15, 2026Contributor
Independent verification: PR2298 sections 6 and 4 format/error/recovery chain (explicit cutoffs, signed packing and carry lemmas; no κ)
#2413thakrarsagar opened Oct 15, 2026Contributor
Tooling: 2.29× faster production HPE transport via integer rows with identical receipts
#2412VictorLiwentao opened Oct 15, 2026Contributor
[Lean] Link an end-to-end proof of multiplication below n log n
#2411platypii opened Oct 15, 2026
[Lean] Check original PR1942 chart witnesses and strict envelope
#2410jamesyc opened Oct 15, 2026Contributor
Tooling: 2.49× faster production HPE audit via integer rows with identical receipts
#2409VictorLiwentao opened Oct 15, 2026Contributor
R439 single-copy interleaving reduces scatter from 94 to 88 ADDs
#2407RossRichardson opened Oct 15, 2026
Research: cap T74 scalar and handoff frame refits at b < 0.0016972
#2406jeremydiviney opened Oct 15, 2026Contributor
Research: bind canonical raw prefixes to a selected coefficient site
#2405jmbarrancoml opened Oct 15, 2026

Pull requests