Proposition 1 · agentic forecast properness
With a strictly proper score and no outcome leakage, expected regret is exactly an information gap plus a reporting gap.
- q
- posterior given the full dated corpus
- qH
- posterior given what the agent retrieved
- p
- what the agent reported
Zero regret exactly when p = qH = q at every date. One outcome scores the sum of both gaps.