Name the three completion layers
Synthetic recovery export requires file receipt, matching supplied digest and all 120 required record IDs. Receipt exists and digest matches; content contains 118 required IDs plus two duplicate occurrences of those IDs. Row count 120 is therefore not distinct completeness. No cryptographic security claim is inferred from a digest match.
| Layer | Observed | Decision |
|---|---|---|
| Receipt | ReceiptR1 | Established |
| Digest comparison | Match | Established for comparison |
| Required-ID completeness | 118 distinct of 120 | Not established |
Check each proposition separately
- Verify file receipt
- Check supplied digest comparison
- Compare unique content identities
Do not substitute total row count for required-ID membership.
How many required identities remain missing, and can the export be called complete?
Show the worked answer
Two missing; distinct completeness 118/120≈98.33%. It is received and digest-matched, but fails the all 120-ID requirement.
Keep partial success precise
| Case | Decision | Reason |
|---|---|---|
| Receipt plus matching digest | Two layers pass | Does not prove content scope |
| 120 rows with 118 distinct IDs | Incomplete | Two required IDs absent |
Keep missing identities in the recovery worksheet and verify their corrected output. Preserve the original file identity and successful lower-layer checks.