Manuscript Em03-H@8 · Em03-H-v8.tex · section · 91e9e3bd
Journaled inspection and candidate computation software
Journaled inspection and candidate computation software · lines 2748–2756
The journal stores partial check results even when the final snapshot is missing. If any persistence or finalization operation fails, the run is not classified as a completed inspection. Hash equality authenticates bytes relative to a manifest; it does not prove that the manifest itself is an independent trusted record.