• Challenger — defines challenges and economics
• Prover — submits claims
• Verifiers — evaluate and vote
• Ephemeris Providers — publish canonical ephemerides/manifests
• Round Publisher — deterministic bulletin board (liveness-critical in v1, not trust-critical)
• Attestation Providers — anchor round headers on-chain
• Watchers — monitor and dispute inconsistencies