Switch the Erdős dataset to the Bloom statement selection - #28

Merged

tadamcz merged 11 commits into

mainfrom

bloom-erdos-selection

Aug 26, 2026

Commits on Aug 25, 2026

Add plan for switching the Erdős dataset to the Bloom statement selection
tadamcz
committed
797d654
Parameterize the generic harness code by FC commit (Workstream A)
tadamcz
committed
b857efc
Move the erdos pin to 488aade2 and vendor the Bloom selection's 48 sources
tadamcz
committed
d189311
Retarget the erdos harness constants, docs, and tests to the Bloom selection
tadamcz
committed
77a5f11
Regenerate the erdos manifest + Isolated specs at the Bloom pin
tadamcz
committed
5dfdb87
Scrub stale Tsoukalas-era file references from erdos docstrings
tadamcz
committed
30990ca
Trim the erdos NOTICE.md to the fc100open shape
tadamcz
committed
96ac0eb
Point the certificate-result pointers at the script, not NOTICE.md
tadamcz
committed
78e066a
Move the selection doc to apn/data/erdos/ and simplify NOTICE.md
tadamcz
committed
5563d8b
Delete the migration plan (fully implemented; PR #28)
tadamcz
committed
882d1f5

Commits on Aug 26, 2026

Cut the erdos docstrings and allowlist comment down (review feedback)
tadamcz
committed
258db32