RESEARCH LIBRARY
Published artifacts with their versions, supporting materials and limits. Research programs and available results are distinguished below.
Fixed-parameter randomized realizable near-linear-gap hardness, with manuscript, source contracts and companion proof work. Informal AI review; full manuscript Lean certification remains incomplete. This does not resolve P versus NP or establish growing-parameter hardness.
A curated Lean 4 SimpleDNF switching-lemma line and bounded-depth bridge / explicit layer-schedule infrastructure. Checked statements retain their named hypotheses; this is not a general complexity breakthrough.
Exact rational recombination of specified corrected PPSZ estimates. Code and recorded JSON support a conditional arithmetic consequence, not a new SAT algorithm or an independent proof of the imported estimates.
An explicit certificate-size lower bound for a specified unaugmented simple bamboo weak-rank encoding. Informal AI mathematical review, without Lean verification or human peer review. It does not cover arbitrary proof systems, circuit-compressed roots, SAT runtime or P versus NP.
The public QRoPE research artifact is PhaseWrap. It includes code, saved experimental evidence and verification instructions for positional-scoring limitations, benchmark confounds and bounded two-qubit readout audits. It does not establish a RoPE replacement, production transformer superiority, quantum advantage or broad cross-backend robustness.
Foundational questions about space and time, including habitat and propulsion research framing. No verified public result is listed here for this program. Program activity does not establish a delivered habitat, propulsion capability or breakthrough.
Public metadata checked on 5 October 2026 against Zenodo records and Quantyra-owned GitHub releases. A versioned archive and a current repository can have different scopes. Start with the linked version’s own sources, review disclosures, licenses and reproduction instructions.
Contribute a correction or question →