PROOF MATERIALS ON ALIYUN — 2026-10-15

Reader: https://proofs.vibe-think.com/checkpoints/#UD/H1
Paper list: https://proofs.vibe-think.com/papers/

Eight questions:
UD: Unit distance (H1–H5)
EP-1: Berenstein rigidity (H1–H5)
KT-1: Amphicheiral knot polynomials (H1–H6)
NE-1: Periodic BBM (H1–H4)
OA-1: Scalar Crouzeix inequality (H1–H5)
OA-2: Groups with isomorphic factors (H1–H6)
SM-1: Jamming exponent identity (H1–H5)
SP-1: Quartic SYK spectral edge (H1–H6)

42 endpoint statements; 133 Hi-to-Hj evaluation tasks (15 unit-distance + 118 other).
Targets do not supply intervening checkpoint assertions. Each transition grants only its named start.

Server canonical sources:
/home/yego/ds-unit-distance/eval/v5/
/home/yego/ds-unit-distance/eval/other-v5/

Server reader source:
/home/yego/ds-unit-distance/checkpoint-reader/dist/

Paper-list mirror:
/home/yego/ds-unit-distance/deliverables/ai-math-paper-list-20261014/

Shared static web root:
/home/yego/site/proof-materials/current/

The paper list has 1207 identified entries, with unconfirmed candidates labelled.
The earlier 2500 figure was an estimate. No new PDFs were downloaded for publication.