Preprint Open access
Evidence Coverage for Intent-Bound Execution: Scope, Obligations, and Cutoff Reasoning
A verifier may authenticate every available record and still lack grounds to call an execution account complete. Such a claim requires a justified account of which records were due for the execution being assessed. We present an analytical model for retrospective coverage of declared execution-evidence obligations. Its …