A divergence
One input on which the two builds differ fails the proof.
What the command does
- Prints
proof: divergedwith the number of transactions compared up to that point. - Prints the first divergence as JSON on standard error.
- Exits with code 1. Nothing is attested from a failed proof.
What a divergence holds
| Field | What it holds |
|---|---|
input | The transaction bytes, the corpus it came from, its label, the accounts it started from. |
instructionIndex | Which instruction of the transaction diverged. |
differences[] | Each difference by kind: account_bytes, lamports, logs, return_data or error, with the value on each side. |
The same input, as a flag
A divergence found against a build that is already attested is exactly what tare flag files against its record. tare flag