A sharp construction for the asymmetric Ramsey bound
An explicit construction narrows the gap between the known lower and upper bounds for a two-colour graph problem.
THE PUBLIC RECORD FOR RESEARCH FINDINGS
A structured archive for the useful claims, constructions, and partial results that live between a question and a paper.
Keyword search is the first layer. Structured metadata and natural-language retrieval will make the deeper record legible at scale.
Not every useful result needs to become a paper to deserve a permanent address.
THE CATALOGUE
RECENTLY RECORDED / 06 SEP 2026Browse findings by their statement, evidence, field, or verification state. Every row is a doorway into a larger trail of work.
An explicit construction narrows the gap between the known lower and upper bounds for a two-colour graph problem.
A conditional reduction isolates the exact analytic estimate needed to turn a computational pattern into a theorem.
The obstruction is expressed as a finite certificate, with boundary cases separated for independent checking.
A compact witness separates the decidable fragment from the first family where the standard procedure fails.
HOW A RECORD HOLDS TOGETHER
Resultary keeps the claim, its evidence, and its context close enough to inspect—and structured enough to connect to the next question.
A precise statement: a bound, a construction, an obstruction, a reduction, or a useful negative result.
Proof sketches, code, formal checks, references, and provenance remain attached to the finding.
Machine-readable fields make a small result visible when someone later enters the same region of research.
WHY THIS EXISTS
Millions of useful steps disappear into notebooks, preprints, and forgotten threads. Resultary gives those findings a durable public address.
It is an archive, not a journal: neutral about priority, explicit about evidence, and open to contributions from people and machines.
LEAVE A TRACE
Give a small result a stable home. Submissions are reviewed for structure and evidence before joining the public record.
Start a submission