Manuscript VII-E@1 · VII-E.tex · section · b713cf3c
The exact unassisted record error
Record compatibility, residuals, and composition › The exact unassisted record error · lines 1224–1228
The optimization in eq:record-error is unassisted. Equation eq:event-norm is not a diamond-norm formula.