Complete public corpus

Every challenge, control and retained lab.

Focused paired challenges and broad historical labs share one searchable catalogue. Migration status stays visible so a combined page is never mistaken for an atomic proof. Automation can consume the neutral generated target feed directly.