Research library

Every public research record, readable here. Search as you type.

The library is hosted here. Every public research note below is readable on this site as HTML. The repository remains canonical. The Erdős–Straus conjecture remains open. Novelty and priority stay under review.

There are 213 research records and 27 hosted manuals. Type in the field to see native suggestions. No JavaScript is used.

Certificate

CN-shared analyzer report

- ratio-lemma checks: 10071, fails=0, minratio=2 - standard pairs checked: 980238, fails=0, c1=0, kinds={'coprime': 949242, 'same-q-tight': 2254, 'lift-room': 27210, 'mixed-tight': 1532} - q3 complete: pairs=37, checked=124, fails=124,…

Certificate

CN-shared certificate — 2026-08-15

python3 research/erdos-straus/cnsharedanalyzer.py \ --out /tmp/cn-shared-output --j-limit 160 --k-limit 1500 --program-k-limit 200 python3 research/erdos-straus/verifycnshared.py \ --out /tmp/cn-shared-output --j-limit 120 --k-limit 180

Finding

Hunt seeds

Each hunt has its own cursor. current.json is the default hunt (main). Sibling hunts live beside it as h-<start>.json or w-<pid>.json. Starting --from or --random creates or resumes a sibling. It does not overwrite current.json.

Prior art

Prior-art matrix for WS-CAND-003

This file records the targeted primary-literature pass used to calibrate claims around CAB, exact trap cardinality, congruence-layer shadowing, the depth-spectrum / survival-process framework, and the later character,…

Hosted manuals

Software manuals live in the documentation index. They are also hosted on this site: