pub fn of(ctx: &Ctx, report: &Report, verified_at: String) -> Option<Proof>Expand description
A proof of report, or None where the report is not a complete
observation.
Only a normalized word and a stable limitation enter the record per step: a forge’s own answer, a process’s output, and every local coordinate stay out.
SATISFIES setup-proof:a-checkpoint-records-only-a-complete-observation SATISFIES setup-proof:the-proof-carries-no-secret-or-machine-coordinate