Save the complete analysis from this report. Works offline.
Declared account contention remains analyzable when execution details are missing. Counterfactual claims require their own evidence checks.
Unknown means the supplied transaction data does not establish an outcome.
Enter a search or choose a status to inspect transactions and their declared conflicts.
Transaction links use this report's indexes. Select a transaction to get its link.
Components are selected independently for structural depth, conflict-pair share, known compute, cross-payer participation, actionability, and decoded sequences. One card combines all reasons for a component.
The graph follows the selected finding. Generic non-payer locks are shared accounts; application state appears only with decoded role evidence.
Select a bar to inspect its transactions. This remains separate from the selected component. Bar height shows the recorded Compute Units subtotal, not duration. Missing compute is labeled per wave; the minimum bar height keeps zero and unknown values selectable.
First-fit in block order supplies the initial grouping. A deterministic saturation-degree ordering (ties by degree, then transaction index) may replace it only with a verified strictly smaller grouping. Optimization is limited to 200000 counted operations, 1024 transactions, and 100000 conflict pairs; ties or exhausted limits retain first-fit. Counterfactuals may reuse shorter witnesses after checking complete transaction coverage and every retained conflict. These are graph upper bounds, not measured execution times.
| Account | R | W | Pairs | Exclusive | Overlap |
|---|