OPENPROOF · SCREENING RUNS
10 runs

Test run, 2 September 2026. Literature searches for A03 to A10 hit OpenAlex's free daily limit and show as failed as a result. See A01 or A02 for examples of successful OpenAlex queries. Each proposal got one solving attempt and one formalizing attempt with no retry; "budget_exhausted" on a gate line means that single attempt did not produce a proof the judges accepted, not that money ran out. The attempt count is a setting.

yes
yes
maybe
maybe
maybe
maybe
maybe
maybe
maybe
maybe