Same answer. Different evidence.
Two providers returned BACKUP. After both stop, the buyer rechecks the retained model, input, and receiver record.Two providers returned BACKUP. One left the exact model named in the accepted terms, plus enough evidence to rerun the promised input-to-output relation; the other left only its own process claim. After both provider processes stop, a local verifier applies the buyer's rule to the retained records.
Experimental source-only demonstration.
Buyer rule
Accept the result only if retained model and input reproduce the returned bytes and every effect in the supplied receiver record has a matching receipt.
Compare and recheck the provider transactions
| Dimension | Opaque | Recheckable |
|---|---|---|
| Returned answer | BACKUP | BACKUP |
| Retained model | UNAVAILABLE | AVAILABLE |
| Local recheck | NOT RUN | NOT RUN |
| Buyer decision | NOT COMPUTED | NOT COMPUTED |
Limits of this evidence
This demonstration uses synthetic records and project-authored checkers. It does not establish what model a provider actually ran, whether the answer is true, whether the action log is complete, or whether money moved.
What the supplied evidence supports
The retained model reproduces one computational relation, so the supplied buyer policy accepts that provider's result. This does not establish which model the provider historically ran, whether BACKUP is true, whether the receiver recorded every effect, or whether funds moved.