TraceLab mission
Close the Seed3 certificate frontier
Your compute helps settle the JOIN problem — whether two partial observations always merge into one parent law.
Seed3 certificates95 / 148
General JOIN theorem~12%
Claims the next TraceLab lease and runs Bernstein subdivision or exact replay. Each packet becomes a verifiable receipt the lab can audit.