{
  "methodology": {
    "conflictRule": "Two transactions conflict when they share an account and at least one declares it writable.",
    "waveHeuristic": "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.",
    "scheduleDisclaimer": "This is one valid conflict-free grouping for potential parallelism, not the validator's exact schedule.",
    "feePayerCounterfactualDisclaimer": "Role-preserving payer ablation removes only synthetic fee-debit access. If an outer or inner instruction also references the payer address, its declared read/write access is preserved; validators still lock fee payers.",
    "semanticCounterfactualDisclaimer": "Semantic counterfactuals describe hypothetical finer-grained execution rules. They are not supported by current Solana account locking and do not represent validator scheduling.",
    "source": "fixture"
  },
  "provenance": {
    "cluster": "synthetic",
    "endpoint": null,
    "retrievedAt": "2026-08-27T00:00:00.000Z",
    "sourceMode": "fixture",
    "dataKind": "curated-teaching",
    "request": {
      "note": "Deterministic teaching fixture; not observed network behavior."
    }
  },
  "context": {
    "slot": 1500000,
    "blockhash": "TeachingMeaningLayerBlockhash",
    "previousBlockhash": "TeachingMeaningLayerPrevious",
    "parentSlot": 1499999,
    "blockTime": null,
    "blockHeight": null
  },
  "summary": {
    "transactionCount": 4,
    "successCount": 4,
    "failureCount": 0,
    "unknownStatusCount": 0,
    "conflictEdgeCount": 3,
    "feePayerOnlyConflictEdgeCount": 0,
    "samePayerSharedAccountConflictEdgeCount": 0,
    "crossPayerSharedAccountConflictEdgeCount": 3,
    "componentCount": 2,
    "dominantComponentTransactionShare": 0.75,
    "dominantComponentEdgeShare": 1,
    "largestPairwiseConflictGroupLowerBound": 3,
    "largestPairwiseConflictBoundIsExact": true,
    "waveCount": 3,
    "feePayerExcludedAnalyticalWaveCount": 3,
    "dominantComponentExcludedWaveCount": 1,
    "maximumWaveWidth": 2,
    "knownComputeUnitTransactionCount": 4,
    "unknownComputeUnitTransactionCount": 0,
    "knownComputeUnitCoverage": 1,
    "totalKnownComputeUnits": 5000
  },
  "transactions": [
    {
      "id": "teaching-independent",
      "signature": "teaching-independent",
      "index": 0,
      "status": "success",
      "feePayer": "IndependentPayer",
      "accounts": [
        {
          "pubkey": "IndependentPayer",
          "signer": true,
          "writable": true,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "fee payer",
              "confidence": "high",
              "evidence": "First account key in the transaction message",
              "instructionIndex": null
            },
            {
              "role": "authority",
              "confidence": "high",
              "evidence": "RPC-decoded teaching-app update field 'authority'",
              "instructionIndex": 0
            }
          ]
        },
        {
          "pubkey": "IndependentState",
          "signer": false,
          "writable": true,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "state account",
              "confidence": "high",
              "evidence": "RPC-decoded teaching-app update field 'stateAccount'",
              "instructionIndex": 0
            }
          ]
        },
        {
          "pubkey": "TeachingAppProgram",
          "signer": false,
          "writable": false,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "invoked program",
              "confidence": "high",
              "evidence": "outer instruction 0 invokes teaching-app",
              "instructionIndex": 0
            }
          ]
        }
      ],
      "staticAccountKeys": [
        "IndependentPayer",
        "IndependentState",
        "TeachingAppProgram"
      ],
      "loadedAccountKeys": [],
      "readSet": [
        "TeachingAppProgram"
      ],
      "writeSet": [
        "IndependentPayer",
        "IndependentState"
      ],
      "nonFeePayerReadSet": [
        "TeachingAppProgram"
      ],
      "nonFeePayerWriteSet": [
        "IndependentState"
      ],
      "invokedProgramIds": [
        "TeachingAppProgram"
      ],
      "instructions": [
        {
          "location": "outer",
          "parentInstructionIndex": null,
          "instructionIndex": 0,
          "programId": "TeachingAppProgram",
          "programLabel": "teaching-app",
          "stackHeight": 1,
          "accountAddresses": [
            "IndependentPayer",
            "IndependentState"
          ],
          "accountIndexes": [
            0,
            1
          ],
          "data": "2",
          "dataEncoding": "base58",
          "parsedProgram": "teaching-app",
          "parsedType": "update",
          "parsedInfo": {
            "stateAccount": "IndependentState",
            "authority": "IndependentPayer"
          },
          "parsedRepresentation": {
            "programId": "TeachingAppProgram",
            "program": "teaching-app",
            "stackHeight": 1,
            "parsed": {
              "type": "update",
              "info": {
                "stateAccount": "IndependentState",
                "authority": "IndependentPayer"
              }
            }
          },
          "rawRepresentation": {
            "programIdIndex": 2,
            "accounts": [
              0,
              1
            ],
            "data": "2",
            "stackHeight": 1
          },
          "decodeStatus": "parsed"
        }
      ],
      "logMessages": [
        "Program TeachingAppProgram invoke [1]",
        "Program log: Instruction: Update",
        "Program TeachingAppProgram success"
      ],
      "feeLamports": 5000,
      "computeUnitsConsumed": 800,
      "slot": 1500000
    },
    {
      "id": "teaching-a",
      "signature": "teaching-a",
      "index": 1,
      "status": "success",
      "feePayer": "PayerAlpha",
      "accounts": [
        {
          "pubkey": "PayerAlpha",
          "signer": true,
          "writable": true,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "fee payer",
              "confidence": "high",
              "evidence": "First account key in the transaction message",
              "instructionIndex": null
            },
            {
              "role": "authority",
              "confidence": "high",
              "evidence": "RPC-decoded teaching-app update field 'authority'",
              "instructionIndex": 0
            }
          ]
        },
        {
          "pubkey": "SharedApplicationState",
          "signer": false,
          "writable": true,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "state account",
              "confidence": "high",
              "evidence": "RPC-decoded teaching-app update field 'stateAccount'",
              "instructionIndex": 0
            }
          ]
        },
        {
          "pubkey": "TeachingAppProgram",
          "signer": false,
          "writable": false,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "invoked program",
              "confidence": "high",
              "evidence": "outer instruction 0 invokes teaching-app",
              "instructionIndex": 0
            }
          ]
        }
      ],
      "staticAccountKeys": [
        "PayerAlpha",
        "SharedApplicationState",
        "TeachingAppProgram"
      ],
      "loadedAccountKeys": [],
      "readSet": [
        "TeachingAppProgram"
      ],
      "writeSet": [
        "PayerAlpha",
        "SharedApplicationState"
      ],
      "nonFeePayerReadSet": [
        "TeachingAppProgram"
      ],
      "nonFeePayerWriteSet": [
        "SharedApplicationState"
      ],
      "invokedProgramIds": [
        "TeachingAppProgram"
      ],
      "instructions": [
        {
          "location": "outer",
          "parentInstructionIndex": null,
          "instructionIndex": 0,
          "programId": "TeachingAppProgram",
          "programLabel": "teaching-app",
          "stackHeight": 1,
          "accountAddresses": [
            "PayerAlpha",
            "SharedApplicationState"
          ],
          "accountIndexes": [
            0,
            1
          ],
          "data": "3",
          "dataEncoding": "base58",
          "parsedProgram": "teaching-app",
          "parsedType": "update",
          "parsedInfo": {
            "stateAccount": "SharedApplicationState",
            "authority": "PayerAlpha"
          },
          "parsedRepresentation": {
            "programId": "TeachingAppProgram",
            "program": "teaching-app",
            "stackHeight": 1,
            "parsed": {
              "type": "update",
              "info": {
                "stateAccount": "SharedApplicationState",
                "authority": "PayerAlpha"
              }
            }
          },
          "rawRepresentation": {
            "programIdIndex": 2,
            "accounts": [
              0,
              1
            ],
            "data": "3",
            "stackHeight": 1
          },
          "decodeStatus": "parsed"
        }
      ],
      "logMessages": [
        "Program TeachingAppProgram invoke [1]",
        "Program log: Instruction: Update",
        "Program TeachingAppProgram success"
      ],
      "feeLamports": 5000,
      "computeUnitsConsumed": 1200,
      "slot": 1500000
    },
    {
      "id": "teaching-b",
      "signature": "teaching-b",
      "index": 2,
      "status": "success",
      "feePayer": "PayerBeta",
      "accounts": [
        {
          "pubkey": "PayerBeta",
          "signer": true,
          "writable": true,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "fee payer",
              "confidence": "high",
              "evidence": "First account key in the transaction message",
              "instructionIndex": null
            },
            {
              "role": "authority",
              "confidence": "high",
              "evidence": "RPC-decoded teaching-app update field 'authority'",
              "instructionIndex": 0
            }
          ]
        },
        {
          "pubkey": "SharedApplicationState",
          "signer": false,
          "writable": true,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "state account",
              "confidence": "high",
              "evidence": "RPC-decoded teaching-app update field 'stateAccount'",
              "instructionIndex": 0
            }
          ]
        },
        {
          "pubkey": "TeachingAppProgram",
          "signer": false,
          "writable": false,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "invoked program",
              "confidence": "high",
              "evidence": "outer instruction 0 invokes teaching-app",
              "instructionIndex": 0
            }
          ]
        }
      ],
      "staticAccountKeys": [
        "PayerBeta",
        "SharedApplicationState",
        "TeachingAppProgram"
      ],
      "loadedAccountKeys": [],
      "readSet": [
        "TeachingAppProgram"
      ],
      "writeSet": [
        "PayerBeta",
        "SharedApplicationState"
      ],
      "nonFeePayerReadSet": [
        "TeachingAppProgram"
      ],
      "nonFeePayerWriteSet": [
        "SharedApplicationState"
      ],
      "invokedProgramIds": [
        "TeachingAppProgram"
      ],
      "instructions": [
        {
          "location": "outer",
          "parentInstructionIndex": null,
          "instructionIndex": 0,
          "programId": "TeachingAppProgram",
          "programLabel": "teaching-app",
          "stackHeight": 1,
          "accountAddresses": [
            "PayerBeta",
            "SharedApplicationState"
          ],
          "accountIndexes": [
            0,
            1
          ],
          "data": "4",
          "dataEncoding": "base58",
          "parsedProgram": "teaching-app",
          "parsedType": "update",
          "parsedInfo": {
            "stateAccount": "SharedApplicationState",
            "authority": "PayerBeta"
          },
          "parsedRepresentation": {
            "programId": "TeachingAppProgram",
            "program": "teaching-app",
            "stackHeight": 1,
            "parsed": {
              "type": "update",
              "info": {
                "stateAccount": "SharedApplicationState",
                "authority": "PayerBeta"
              }
            }
          },
          "rawRepresentation": {
            "programIdIndex": 2,
            "accounts": [
              0,
              1
            ],
            "data": "4",
            "stackHeight": 1
          },
          "decodeStatus": "parsed"
        }
      ],
      "logMessages": [
        "Program TeachingAppProgram invoke [1]",
        "Program log: Instruction: Update",
        "Program TeachingAppProgram success"
      ],
      "feeLamports": 5000,
      "computeUnitsConsumed": 1400,
      "slot": 1500000
    },
    {
      "id": "teaching-c",
      "signature": "teaching-c",
      "index": 3,
      "status": "success",
      "feePayer": "PayerGamma",
      "accounts": [
        {
          "pubkey": "PayerGamma",
          "signer": true,
          "writable": true,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "fee payer",
              "confidence": "high",
              "evidence": "First account key in the transaction message",
              "instructionIndex": null
            },
            {
              "role": "authority",
              "confidence": "high",
              "evidence": "RPC-decoded teaching-app update field 'authority'",
              "instructionIndex": 0
            }
          ]
        },
        {
          "pubkey": "SharedApplicationState",
          "signer": false,
          "writable": true,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "state account",
              "confidence": "high",
              "evidence": "RPC-decoded teaching-app update field 'stateAccount'",
              "instructionIndex": 0
            }
          ]
        },
        {
          "pubkey": "TeachingAppProgram",
          "signer": false,
          "writable": false,
          "source": "transaction",
          "knownLabel": null,
          "roles": [
            {
              "role": "invoked program",
              "confidence": "high",
              "evidence": "outer instruction 0 invokes teaching-app",
              "instructionIndex": 0
            }
          ]
        }
      ],
      "staticAccountKeys": [
        "PayerGamma",
        "SharedApplicationState",
        "TeachingAppProgram"
      ],
      "loadedAccountKeys": [],
      "readSet": [
        "TeachingAppProgram"
      ],
      "writeSet": [
        "PayerGamma",
        "SharedApplicationState"
      ],
      "nonFeePayerReadSet": [
        "TeachingAppProgram"
      ],
      "nonFeePayerWriteSet": [
        "SharedApplicationState"
      ],
      "invokedProgramIds": [
        "TeachingAppProgram"
      ],
      "instructions": [
        {
          "location": "outer",
          "parentInstructionIndex": null,
          "instructionIndex": 0,
          "programId": "TeachingAppProgram",
          "programLabel": "teaching-app",
          "stackHeight": 1,
          "accountAddresses": [
            "PayerGamma",
            "SharedApplicationState"
          ],
          "accountIndexes": [
            0,
            1
          ],
          "data": "5",
          "dataEncoding": "base58",
          "parsedProgram": "teaching-app",
          "parsedType": "update",
          "parsedInfo": {
            "stateAccount": "SharedApplicationState",
            "authority": "PayerGamma"
          },
          "parsedRepresentation": {
            "programId": "TeachingAppProgram",
            "program": "teaching-app",
            "stackHeight": 1,
            "parsed": {
              "type": "update",
              "info": {
                "stateAccount": "SharedApplicationState",
                "authority": "PayerGamma"
              }
            }
          },
          "rawRepresentation": {
            "programIdIndex": 2,
            "accounts": [
              0,
              1
            ],
            "data": "5",
            "stackHeight": 1
          },
          "decodeStatus": "parsed"
        }
      ],
      "logMessages": [
        "Program TeachingAppProgram invoke [1]",
        "Program log: Instruction: Update",
        "Program TeachingAppProgram success"
      ],
      "feeLamports": 5000,
      "computeUnitsConsumed": 1600,
      "slot": 1500000
    }
  ],
  "conflictEdges": [
    {
      "source": 1,
      "target": 2,
      "accounts": [
        "SharedApplicationState"
      ],
      "classification": "cross-payer-shared-account"
    },
    {
      "source": 1,
      "target": 3,
      "accounts": [
        "SharedApplicationState"
      ],
      "classification": "cross-payer-shared-account"
    },
    {
      "source": 2,
      "target": 3,
      "accounts": [
        "SharedApplicationState"
      ],
      "classification": "cross-payer-shared-account"
    }
  ],
  "contentionSignatures": [
    {
      "accounts": [
        "SharedApplicationState"
      ],
      "edgeCount": 3,
      "pairs": [
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          2,
          3
        ]
      ]
    }
  ],
  "explanations": [
    "The primary structural component contains 3 transactions and creates 3 of 3 unique conflict pairs.",
    "Its lower and upper bounds match at 3: this is a proven minimum wave count.",
    "After excluding that component, the remaining 1 transaction fits into 1 wave under the same bounded grouping heuristic.",
    "RPC-decoded instruction fields identify a shared application-state account."
  ],
  "components": [
    {
      "id": 0,
      "transactionIndexes": [
        0
      ]
    },
    {
      "id": 1,
      "transactionIndexes": [
        1,
        2,
        3
      ]
    }
  ],
  "componentMeanings": [
    {
      "componentId": 1,
      "transactionIndexes": [
        1,
        2,
        3
      ],
      "edgeCount": 3,
      "transactionShare": 0.75,
      "uniqueConflictPairShare": 1,
      "knownComputeUnitShare": 0.84,
      "payerCount": 3,
      "samePayer": false,
      "sharedConflictAccounts": [
        "SharedApplicationState"
      ],
      "cliqueLowerBound": 3,
      "cliqueBoundIsExact": true,
      "waveBounds": {
        "cliqueWitness": [
          1,
          2,
          3
        ],
        "cliqueLowerBound": 3,
        "generatedWaveUpperBound": 3,
        "boundsMatch": true,
        "provenMinimumWaveCount": 3,
        "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
        "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
      },
      "estimatedWaveContext": [
        {
          "wave": 0,
          "transactionIndexes": [
            1
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1200,
          "maximumTransactionComputeUnits": 1200,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 1,
          "transactionIndexes": [
            2
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1400,
          "maximumTransactionComputeUnits": 1400,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 2,
          "transactionIndexes": [
            3
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1600,
          "maximumTransactionComputeUnits": 1600,
          "unknownComputeUnitCount": 0
        }
      ],
      "isContentionFinding": true,
      "cause": {
        "value": "application state",
        "confidence": "high",
        "evidence": [
          "RPC-decoded instruction fields identify a shared application-state account."
        ]
      },
      "actorPattern": {
        "value": "cross payer",
        "confidence": "high",
        "evidence": [
          "3 distinct fee-payer addresses participate."
        ]
      },
      "actionability": {
        "value": "insufficient evidence",
        "confidence": "medium",
        "evidence": [
          "Decoding application state does not prove logical independence or provide a concrete alternative partitioning."
        ]
      },
      "decodedTransfers": [],
      "programBufferSequenceIds": [],
      "knownComputeUnitCount": 3,
      "unknownComputeUnitCount": 0,
      "explanation": "This finding contains 3 transactions and 3 unique conflict pairs (100.0% of block pairs). It spans 3 declared fee payers. The clique lower bound and generated-wave upper bound both equal 3, giving a proven minimum wave count of 3.",
      "counterfactualModels": [
        {
          "model": "current-declared-locks",
          "label": "Current locks",
          "hypothetical": false,
          "availableUnderCurrentSolanaAccountLocking": true,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "not-requested",
            "targetedTransactionCount": 3,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 3,
            "evidence": [
              "The current model preserves every declared account access."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 3,
          "knownComputeUnitsRetained": 4200,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 3,
          "conflictAtomCount": 3,
          "conflictEdges": [
            {
              "source": 1,
              "target": 2,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 1,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 2,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            }
          ],
          "conflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "currentConflictAtomCount": 3,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              1,
              2,
              3
            ],
            "cliqueLowerBound": 3,
            "generatedWaveUpperBound": 3,
            "boundsMatch": true,
            "provenMinimumWaveCount": 3,
            "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
          },
          "waves": [
            [
              1
            ],
            [
              2
            ],
            [
              3
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                1
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1200,
              "maximumTransactionComputeUnits": 1200,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 1,
              "transactionIndexes": [
                2
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1400,
              "maximumTransactionComputeUnits": 1400,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 2,
              "transactionIndexes": [
                3
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1600,
              "maximumTransactionComputeUnits": 1600,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "Observed declared whole-account locks under current Solana behavior."
        },
        {
          "model": "fee-payer-decoupled",
          "label": "Payer decoupled",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "blocked-by-instruction-use",
            "targetedTransactionCount": 3,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 3,
            "evidence": [
              "0 targeted transactions have only synthetic fee-payer access removed.",
              "3 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
              "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 3,
          "knownComputeUnitsRetained": 4200,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 3,
          "conflictAtomCount": 3,
          "conflictEdges": [
            {
              "source": 1,
              "target": 2,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 1,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 2,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            }
          ],
          "conflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "currentConflictAtomCount": 3,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              1,
              2,
              3
            ],
            "cliqueLowerBound": 3,
            "generatedWaveUpperBound": 3,
            "boundsMatch": true,
            "provenMinimumWaveCount": 3,
            "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
          },
          "waves": [
            [
              1
            ],
            [
              2
            ],
            [
              3
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                1
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1200,
              "maximumTransactionComputeUnits": 1200,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 1,
              "transactionIndexes": [
                2
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1400,
              "maximumTransactionComputeUnits": 1400,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 2,
              "transactionIndexes": [
                3
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1600,
              "maximumTransactionComputeUnits": 1600,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        },
        {
          "model": "semantic-range-refinement",
          "label": "Semantic range refinement",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "not-requested",
            "targetedTransactionCount": 3,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 3,
            "evidence": [
              "The current model preserves every declared account access."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 3,
          "knownComputeUnitsRetained": 4200,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 3,
          "conflictAtomCount": 3,
          "conflictEdges": [
            {
              "source": 1,
              "target": 2,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 1,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 2,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            }
          ],
          "conflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "currentConflictAtomCount": 3,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              1,
              2,
              3
            ],
            "cliqueLowerBound": 3,
            "generatedWaveUpperBound": 3,
            "boundsMatch": true,
            "provenMinimumWaveCount": 3,
            "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
          },
          "waves": [
            [
              1
            ],
            [
              2
            ],
            [
              3
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                1
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1200,
              "maximumTransactionComputeUnits": 1200,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 1,
              "transactionIndexes": [
                2
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1400,
              "maximumTransactionComputeUnits": 1400,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 2,
              "transactionIndexes": [
                3
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1600,
              "maximumTransactionComputeUnits": 1600,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        },
        {
          "model": "joint-fee-payer-and-range",
          "label": "Joint counterfactual",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "blocked-by-instruction-use",
            "targetedTransactionCount": 3,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 3,
            "evidence": [
              "0 targeted transactions have only synthetic fee-payer access removed.",
              "3 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
              "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 3,
          "knownComputeUnitsRetained": 4200,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 3,
          "conflictAtomCount": 3,
          "conflictEdges": [
            {
              "source": 1,
              "target": 2,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 1,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 2,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            }
          ],
          "conflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "currentConflictAtomCount": 3,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              1,
              2,
              3
            ],
            "cliqueLowerBound": 3,
            "generatedWaveUpperBound": 3,
            "boundsMatch": true,
            "provenMinimumWaveCount": 3,
            "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
          },
          "waves": [
            [
              1
            ],
            [
              2
            ],
            [
              3
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                1
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1200,
              "maximumTransactionComputeUnits": 1200,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 1,
              "transactionIndexes": [
                2
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1400,
              "maximumTransactionComputeUnits": 1400,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 2,
              "transactionIndexes": [
                3
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1600,
              "maximumTransactionComputeUnits": 1600,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        }
      ],
      "causalAblation": {
        "supported": false,
        "causes": [],
        "models": [
          {
            "model": "current-declared-locks",
            "label": "Current locks",
            "hypothetical": false,
            "availableUnderCurrentSolanaAccountLocking": true,
            "semanticRangeRefinementApplied": false,
            "payerAblation": {
              "status": "not-requested",
              "targetedTransactionCount": 3,
              "removedSyntheticPayerAccessCount": 0,
              "preservedInstructionAccessCount": 3,
              "evidence": [
                "The current model preserves every declared account access."
              ]
            },
            "semanticRefinementEligibility": [],
            "transactionCountRetained": 3,
            "knownComputeUnitsRetained": 4200,
            "unknownComputeUnitCountRetained": 0,
            "conflictEdgeCount": 3,
            "conflictAtomCount": 3,
            "conflictEdges": [
              {
                "source": 1,
                "target": 2,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              },
              {
                "source": 1,
                "target": 3,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              },
              {
                "source": 2,
                "target": 3,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              }
            ],
            "conflictAtoms": [
              {
                "source": 1,
                "target": 2,
                "account": "SharedApplicationState"
              },
              {
                "source": 1,
                "target": 3,
                "account": "SharedApplicationState"
              },
              {
                "source": 2,
                "target": 3,
                "account": "SharedApplicationState"
              }
            ],
            "currentConflictAtomCount": 3,
            "removedConflictAtoms": [],
            "retainedConflictAtoms": [
              {
                "source": 1,
                "target": 2,
                "account": "SharedApplicationState"
              },
              {
                "source": 1,
                "target": 3,
                "account": "SharedApplicationState"
              },
              {
                "source": 2,
                "target": 3,
                "account": "SharedApplicationState"
              }
            ],
            "edgesEliminated": [],
            "edgesSurvivingDueToOtherCauses": [],
            "waveBounds": {
              "cliqueWitness": [
                1,
                2,
                3
              ],
              "cliqueLowerBound": 3,
              "generatedWaveUpperBound": 3,
              "boundsMatch": true,
              "provenMinimumWaveCount": 3,
              "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
              "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
            },
            "waves": [
              [
                1
              ],
              [
                2
              ],
              [
                3
              ]
            ],
            "waveContext": [
              {
                "wave": 0,
                "transactionIndexes": [
                  1
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1200,
                "maximumTransactionComputeUnits": 1200,
                "unknownComputeUnitCount": 0
              },
              {
                "wave": 1,
                "transactionIndexes": [
                  2
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1400,
                "maximumTransactionComputeUnits": 1400,
                "unknownComputeUnitCount": 0
              },
              {
                "wave": 2,
                "transactionIndexes": [
                  3
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1600,
                "maximumTransactionComputeUnits": 1600,
                "unknownComputeUnitCount": 0
              }
            ],
            "generatedWaveDepthReduction": 0,
            "interpretation": "Observed declared whole-account locks under current Solana behavior."
          },
          {
            "model": "fee-payer-decoupled",
            "label": "Payer decoupled",
            "hypothetical": true,
            "availableUnderCurrentSolanaAccountLocking": false,
            "semanticRangeRefinementApplied": false,
            "payerAblation": {
              "status": "blocked-by-instruction-use",
              "targetedTransactionCount": 3,
              "removedSyntheticPayerAccessCount": 0,
              "preservedInstructionAccessCount": 3,
              "evidence": [
                "0 targeted transactions have only synthetic fee-payer access removed.",
                "3 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
                "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
              ]
            },
            "semanticRefinementEligibility": [],
            "transactionCountRetained": 3,
            "knownComputeUnitsRetained": 4200,
            "unknownComputeUnitCountRetained": 0,
            "conflictEdgeCount": 3,
            "conflictAtomCount": 3,
            "conflictEdges": [
              {
                "source": 1,
                "target": 2,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              },
              {
                "source": 1,
                "target": 3,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              },
              {
                "source": 2,
                "target": 3,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              }
            ],
            "conflictAtoms": [
              {
                "source": 1,
                "target": 2,
                "account": "SharedApplicationState"
              },
              {
                "source": 1,
                "target": 3,
                "account": "SharedApplicationState"
              },
              {
                "source": 2,
                "target": 3,
                "account": "SharedApplicationState"
              }
            ],
            "currentConflictAtomCount": 3,
            "removedConflictAtoms": [],
            "retainedConflictAtoms": [
              {
                "source": 1,
                "target": 2,
                "account": "SharedApplicationState"
              },
              {
                "source": 1,
                "target": 3,
                "account": "SharedApplicationState"
              },
              {
                "source": 2,
                "target": 3,
                "account": "SharedApplicationState"
              }
            ],
            "edgesEliminated": [],
            "edgesSurvivingDueToOtherCauses": [],
            "waveBounds": {
              "cliqueWitness": [
                1,
                2,
                3
              ],
              "cliqueLowerBound": 3,
              "generatedWaveUpperBound": 3,
              "boundsMatch": true,
              "provenMinimumWaveCount": 3,
              "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
              "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
            },
            "waves": [
              [
                1
              ],
              [
                2
              ],
              [
                3
              ]
            ],
            "waveContext": [
              {
                "wave": 0,
                "transactionIndexes": [
                  1
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1200,
                "maximumTransactionComputeUnits": 1200,
                "unknownComputeUnitCount": 0
              },
              {
                "wave": 1,
                "transactionIndexes": [
                  2
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1400,
                "maximumTransactionComputeUnits": 1400,
                "unknownComputeUnitCount": 0
              },
              {
                "wave": 2,
                "transactionIndexes": [
                  3
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1600,
                "maximumTransactionComputeUnits": 1600,
                "unknownComputeUnitCount": 0
              }
            ],
            "generatedWaveDepthReduction": 0,
            "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
          },
          {
            "model": "semantic-range-refinement",
            "label": "Semantic range refinement",
            "hypothetical": true,
            "availableUnderCurrentSolanaAccountLocking": false,
            "semanticRangeRefinementApplied": false,
            "payerAblation": {
              "status": "not-requested",
              "targetedTransactionCount": 3,
              "removedSyntheticPayerAccessCount": 0,
              "preservedInstructionAccessCount": 3,
              "evidence": [
                "The current model preserves every declared account access."
              ]
            },
            "semanticRefinementEligibility": [],
            "transactionCountRetained": 3,
            "knownComputeUnitsRetained": 4200,
            "unknownComputeUnitCountRetained": 0,
            "conflictEdgeCount": 3,
            "conflictAtomCount": 3,
            "conflictEdges": [
              {
                "source": 1,
                "target": 2,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              },
              {
                "source": 1,
                "target": 3,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              },
              {
                "source": 2,
                "target": 3,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              }
            ],
            "conflictAtoms": [
              {
                "source": 1,
                "target": 2,
                "account": "SharedApplicationState"
              },
              {
                "source": 1,
                "target": 3,
                "account": "SharedApplicationState"
              },
              {
                "source": 2,
                "target": 3,
                "account": "SharedApplicationState"
              }
            ],
            "currentConflictAtomCount": 3,
            "removedConflictAtoms": [],
            "retainedConflictAtoms": [
              {
                "source": 1,
                "target": 2,
                "account": "SharedApplicationState"
              },
              {
                "source": 1,
                "target": 3,
                "account": "SharedApplicationState"
              },
              {
                "source": 2,
                "target": 3,
                "account": "SharedApplicationState"
              }
            ],
            "edgesEliminated": [],
            "edgesSurvivingDueToOtherCauses": [],
            "waveBounds": {
              "cliqueWitness": [
                1,
                2,
                3
              ],
              "cliqueLowerBound": 3,
              "generatedWaveUpperBound": 3,
              "boundsMatch": true,
              "provenMinimumWaveCount": 3,
              "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
              "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
            },
            "waves": [
              [
                1
              ],
              [
                2
              ],
              [
                3
              ]
            ],
            "waveContext": [
              {
                "wave": 0,
                "transactionIndexes": [
                  1
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1200,
                "maximumTransactionComputeUnits": 1200,
                "unknownComputeUnitCount": 0
              },
              {
                "wave": 1,
                "transactionIndexes": [
                  2
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1400,
                "maximumTransactionComputeUnits": 1400,
                "unknownComputeUnitCount": 0
              },
              {
                "wave": 2,
                "transactionIndexes": [
                  3
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1600,
                "maximumTransactionComputeUnits": 1600,
                "unknownComputeUnitCount": 0
              }
            ],
            "generatedWaveDepthReduction": 0,
            "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
          },
          {
            "model": "joint-fee-payer-and-range",
            "label": "Joint counterfactual",
            "hypothetical": true,
            "availableUnderCurrentSolanaAccountLocking": false,
            "semanticRangeRefinementApplied": false,
            "payerAblation": {
              "status": "blocked-by-instruction-use",
              "targetedTransactionCount": 3,
              "removedSyntheticPayerAccessCount": 0,
              "preservedInstructionAccessCount": 3,
              "evidence": [
                "0 targeted transactions have only synthetic fee-payer access removed.",
                "3 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
                "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
              ]
            },
            "semanticRefinementEligibility": [],
            "transactionCountRetained": 3,
            "knownComputeUnitsRetained": 4200,
            "unknownComputeUnitCountRetained": 0,
            "conflictEdgeCount": 3,
            "conflictAtomCount": 3,
            "conflictEdges": [
              {
                "source": 1,
                "target": 2,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              },
              {
                "source": 1,
                "target": 3,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              },
              {
                "source": 2,
                "target": 3,
                "accounts": [
                  "SharedApplicationState"
                ],
                "classification": "other"
              }
            ],
            "conflictAtoms": [
              {
                "source": 1,
                "target": 2,
                "account": "SharedApplicationState"
              },
              {
                "source": 1,
                "target": 3,
                "account": "SharedApplicationState"
              },
              {
                "source": 2,
                "target": 3,
                "account": "SharedApplicationState"
              }
            ],
            "currentConflictAtomCount": 3,
            "removedConflictAtoms": [],
            "retainedConflictAtoms": [
              {
                "source": 1,
                "target": 2,
                "account": "SharedApplicationState"
              },
              {
                "source": 1,
                "target": 3,
                "account": "SharedApplicationState"
              },
              {
                "source": 2,
                "target": 3,
                "account": "SharedApplicationState"
              }
            ],
            "edgesEliminated": [],
            "edgesSurvivingDueToOtherCauses": [],
            "waveBounds": {
              "cliqueWitness": [
                1,
                2,
                3
              ],
              "cliqueLowerBound": 3,
              "generatedWaveUpperBound": 3,
              "boundsMatch": true,
              "provenMinimumWaveCount": 3,
              "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
              "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
            },
            "waves": [
              [
                1
              ],
              [
                2
              ],
              [
                3
              ]
            ],
            "waveContext": [
              {
                "wave": 0,
                "transactionIndexes": [
                  1
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1200,
                "maximumTransactionComputeUnits": 1200,
                "unknownComputeUnitCount": 0
              },
              {
                "wave": 1,
                "transactionIndexes": [
                  2
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1400,
                "maximumTransactionComputeUnits": 1400,
                "unknownComputeUnitCount": 0
              },
              {
                "wave": 2,
                "transactionIndexes": [
                  3
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 1600,
                "maximumTransactionComputeUnits": 1600,
                "unknownComputeUnitCount": 0
              }
            ],
            "generatedWaveDepthReduction": 0,
            "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
          }
        ],
        "supportedCauseUniverse": {
          "exhaustiveWithinSupportedUniverse": true,
          "causeIds": [
            "fee-payer-lock",
            "program-buffer-whole-account-lock"
          ],
          "statement": "The exhaustive supported cause universe is limited to fee-payer role coupling and verified loader-buffer whole-account locking; it is not arbitrary N-cause discovery."
        },
        "presentCauseIds": [],
        "transformations": [
          {
            "causeId": "fee-payer-lock",
            "applicable": false,
            "affectedAccountCount": 0,
            "affectedPairCount": 0,
            "removedAtomCount": 0,
            "edgesEliminatedCount": 0,
            "maskedSurvivingEdgeCount": 0
          },
          {
            "causeId": "program-buffer-whole-account-lock",
            "applicable": false,
            "affectedAccountCount": 0,
            "affectedPairCount": 0,
            "removedAtomCount": 0,
            "edgesEliminatedCount": 0,
            "maskedSurvivingEdgeCount": 0
          }
        ],
        "minimalSupportedCauseSets": [],
        "interaction": {
          "classification": "no-supported-interaction",
          "presentationTitle": "No supported interaction",
          "samePairCauseOverlapPresent": false,
          "samePairCauseOverlapCount": 0,
          "jointOnlyDepthReductionPresent": false,
          "payerOnlyDepthReduction": 0,
          "rangeOnlyDepthReduction": 0,
          "jointDepthReduction": 0,
          "currentConflictAtomCount": 3,
          "jointRemovedAtomCount": 0,
          "jointEdgesEliminatedCount": 0,
          "jointMaskedSurvivingEdgeCount": 0,
          "jointResidualConflictEdgeCount": 3,
          "explanation": "No supported interaction is established by the modeled cause transformations."
        },
        "scopeDisclaimer": "Exhaustiveness applies only within the two declared supported causes. Causal language is limited to these defined graph transformations and does not establish validator behavior or practical runtime implementability."
      }
    },
    {
      "componentId": 0,
      "transactionIndexes": [
        0
      ],
      "edgeCount": 0,
      "transactionShare": 0.25,
      "uniqueConflictPairShare": 0,
      "knownComputeUnitShare": 0.16,
      "payerCount": 1,
      "samePayer": true,
      "sharedConflictAccounts": [],
      "cliqueLowerBound": 1,
      "cliqueBoundIsExact": true,
      "waveBounds": {
        "cliqueWitness": [
          0
        ],
        "cliqueLowerBound": 1,
        "generatedWaveUpperBound": 1,
        "boundsMatch": true,
        "provenMinimumWaveCount": 1,
        "lowerBoundEvidence": "A verified clique contains 1 pairwise-conflicting transaction.",
        "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
      },
      "estimatedWaveContext": [
        {
          "wave": 0,
          "transactionIndexes": [
            0
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 800,
          "maximumTransactionComputeUnits": 800,
          "unknownComputeUnitCount": 0
        }
      ],
      "isContentionFinding": false,
      "cause": {
        "value": "unknown",
        "confidence": "high",
        "evidence": [
          "No declared conflict exists in this singleton component."
        ]
      },
      "actorPattern": {
        "value": "unknown",
        "confidence": "high",
        "evidence": [
          "Actor pattern is not assigned to a singleton without contention."
        ]
      },
      "actionability": {
        "value": "insufficient evidence",
        "confidence": "high",
        "evidence": [
          "Decoded evidence does not prove a safe alternative account layout or operation design."
        ]
      },
      "decodedTransfers": [],
      "programBufferSequenceIds": [],
      "knownComputeUnitCount": 1,
      "unknownComputeUnitCount": 0,
      "explanation": "This transaction has no declared conflict with another transaction in the analyzed block.",
      "counterfactualModels": [
        {
          "model": "current-declared-locks",
          "label": "Current locks",
          "hypothetical": false,
          "availableUnderCurrentSolanaAccountLocking": true,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "not-requested",
            "targetedTransactionCount": 1,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 1,
            "evidence": [
              "The current model preserves every declared account access."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 1,
          "knownComputeUnitsRetained": 800,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 0,
          "conflictAtomCount": 0,
          "conflictEdges": [],
          "conflictAtoms": [],
          "currentConflictAtomCount": 0,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              0
            ],
            "cliqueLowerBound": 1,
            "generatedWaveUpperBound": 1,
            "boundsMatch": true,
            "provenMinimumWaveCount": 1,
            "lowerBoundEvidence": "No conflict edges remain in this model; one wave is sufficient.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
          },
          "waves": [
            [
              0
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                0
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 800,
              "maximumTransactionComputeUnits": 800,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "Observed declared whole-account locks under current Solana behavior."
        },
        {
          "model": "fee-payer-decoupled",
          "label": "Payer decoupled",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "blocked-by-instruction-use",
            "targetedTransactionCount": 1,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 1,
            "evidence": [
              "0 targeted transactions have only synthetic fee-payer access removed.",
              "1 targeted transaction preserves payer access because an outer or inner instruction also references that address.",
              "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 1,
          "knownComputeUnitsRetained": 800,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 0,
          "conflictAtomCount": 0,
          "conflictEdges": [],
          "conflictAtoms": [],
          "currentConflictAtomCount": 0,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              0
            ],
            "cliqueLowerBound": 1,
            "generatedWaveUpperBound": 1,
            "boundsMatch": true,
            "provenMinimumWaveCount": 1,
            "lowerBoundEvidence": "No conflict edges remain in this model; one wave is sufficient.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
          },
          "waves": [
            [
              0
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                0
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 800,
              "maximumTransactionComputeUnits": 800,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        },
        {
          "model": "semantic-range-refinement",
          "label": "Semantic range refinement",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "not-requested",
            "targetedTransactionCount": 1,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 1,
            "evidence": [
              "The current model preserves every declared account access."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 1,
          "knownComputeUnitsRetained": 800,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 0,
          "conflictAtomCount": 0,
          "conflictEdges": [],
          "conflictAtoms": [],
          "currentConflictAtomCount": 0,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              0
            ],
            "cliqueLowerBound": 1,
            "generatedWaveUpperBound": 1,
            "boundsMatch": true,
            "provenMinimumWaveCount": 1,
            "lowerBoundEvidence": "No conflict edges remain in this model; one wave is sufficient.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
          },
          "waves": [
            [
              0
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                0
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 800,
              "maximumTransactionComputeUnits": 800,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        },
        {
          "model": "joint-fee-payer-and-range",
          "label": "Joint counterfactual",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "blocked-by-instruction-use",
            "targetedTransactionCount": 1,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 1,
            "evidence": [
              "0 targeted transactions have only synthetic fee-payer access removed.",
              "1 targeted transaction preserves payer access because an outer or inner instruction also references that address.",
              "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 1,
          "knownComputeUnitsRetained": 800,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 0,
          "conflictAtomCount": 0,
          "conflictEdges": [],
          "conflictAtoms": [],
          "currentConflictAtomCount": 0,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              0
            ],
            "cliqueLowerBound": 1,
            "generatedWaveUpperBound": 1,
            "boundsMatch": true,
            "provenMinimumWaveCount": 1,
            "lowerBoundEvidence": "No conflict edges remain in this model; one wave is sufficient.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
          },
          "waves": [
            [
              0
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                0
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 800,
              "maximumTransactionComputeUnits": 800,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        }
      ],
      "causalAblation": {
        "supported": false,
        "causes": [],
        "models": [
          {
            "model": "current-declared-locks",
            "label": "Current locks",
            "hypothetical": false,
            "availableUnderCurrentSolanaAccountLocking": true,
            "semanticRangeRefinementApplied": false,
            "payerAblation": {
              "status": "not-requested",
              "targetedTransactionCount": 1,
              "removedSyntheticPayerAccessCount": 0,
              "preservedInstructionAccessCount": 1,
              "evidence": [
                "The current model preserves every declared account access."
              ]
            },
            "semanticRefinementEligibility": [],
            "transactionCountRetained": 1,
            "knownComputeUnitsRetained": 800,
            "unknownComputeUnitCountRetained": 0,
            "conflictEdgeCount": 0,
            "conflictAtomCount": 0,
            "conflictEdges": [],
            "conflictAtoms": [],
            "currentConflictAtomCount": 0,
            "removedConflictAtoms": [],
            "retainedConflictAtoms": [],
            "edgesEliminated": [],
            "edgesSurvivingDueToOtherCauses": [],
            "waveBounds": {
              "cliqueWitness": [
                0
              ],
              "cliqueLowerBound": 1,
              "generatedWaveUpperBound": 1,
              "boundsMatch": true,
              "provenMinimumWaveCount": 1,
              "lowerBoundEvidence": "No conflict edges remain in this model; one wave is sufficient.",
              "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
            },
            "waves": [
              [
                0
              ]
            ],
            "waveContext": [
              {
                "wave": 0,
                "transactionIndexes": [
                  0
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 800,
                "maximumTransactionComputeUnits": 800,
                "unknownComputeUnitCount": 0
              }
            ],
            "generatedWaveDepthReduction": 0,
            "interpretation": "Observed declared whole-account locks under current Solana behavior."
          },
          {
            "model": "fee-payer-decoupled",
            "label": "Payer decoupled",
            "hypothetical": true,
            "availableUnderCurrentSolanaAccountLocking": false,
            "semanticRangeRefinementApplied": false,
            "payerAblation": {
              "status": "blocked-by-instruction-use",
              "targetedTransactionCount": 1,
              "removedSyntheticPayerAccessCount": 0,
              "preservedInstructionAccessCount": 1,
              "evidence": [
                "0 targeted transactions have only synthetic fee-payer access removed.",
                "1 targeted transaction preserves payer access because an outer or inner instruction also references that address.",
                "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
              ]
            },
            "semanticRefinementEligibility": [],
            "transactionCountRetained": 1,
            "knownComputeUnitsRetained": 800,
            "unknownComputeUnitCountRetained": 0,
            "conflictEdgeCount": 0,
            "conflictAtomCount": 0,
            "conflictEdges": [],
            "conflictAtoms": [],
            "currentConflictAtomCount": 0,
            "removedConflictAtoms": [],
            "retainedConflictAtoms": [],
            "edgesEliminated": [],
            "edgesSurvivingDueToOtherCauses": [],
            "waveBounds": {
              "cliqueWitness": [
                0
              ],
              "cliqueLowerBound": 1,
              "generatedWaveUpperBound": 1,
              "boundsMatch": true,
              "provenMinimumWaveCount": 1,
              "lowerBoundEvidence": "No conflict edges remain in this model; one wave is sufficient.",
              "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
            },
            "waves": [
              [
                0
              ]
            ],
            "waveContext": [
              {
                "wave": 0,
                "transactionIndexes": [
                  0
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 800,
                "maximumTransactionComputeUnits": 800,
                "unknownComputeUnitCount": 0
              }
            ],
            "generatedWaveDepthReduction": 0,
            "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
          },
          {
            "model": "semantic-range-refinement",
            "label": "Semantic range refinement",
            "hypothetical": true,
            "availableUnderCurrentSolanaAccountLocking": false,
            "semanticRangeRefinementApplied": false,
            "payerAblation": {
              "status": "not-requested",
              "targetedTransactionCount": 1,
              "removedSyntheticPayerAccessCount": 0,
              "preservedInstructionAccessCount": 1,
              "evidence": [
                "The current model preserves every declared account access."
              ]
            },
            "semanticRefinementEligibility": [],
            "transactionCountRetained": 1,
            "knownComputeUnitsRetained": 800,
            "unknownComputeUnitCountRetained": 0,
            "conflictEdgeCount": 0,
            "conflictAtomCount": 0,
            "conflictEdges": [],
            "conflictAtoms": [],
            "currentConflictAtomCount": 0,
            "removedConflictAtoms": [],
            "retainedConflictAtoms": [],
            "edgesEliminated": [],
            "edgesSurvivingDueToOtherCauses": [],
            "waveBounds": {
              "cliqueWitness": [
                0
              ],
              "cliqueLowerBound": 1,
              "generatedWaveUpperBound": 1,
              "boundsMatch": true,
              "provenMinimumWaveCount": 1,
              "lowerBoundEvidence": "No conflict edges remain in this model; one wave is sufficient.",
              "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
            },
            "waves": [
              [
                0
              ]
            ],
            "waveContext": [
              {
                "wave": 0,
                "transactionIndexes": [
                  0
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 800,
                "maximumTransactionComputeUnits": 800,
                "unknownComputeUnitCount": 0
              }
            ],
            "generatedWaveDepthReduction": 0,
            "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
          },
          {
            "model": "joint-fee-payer-and-range",
            "label": "Joint counterfactual",
            "hypothetical": true,
            "availableUnderCurrentSolanaAccountLocking": false,
            "semanticRangeRefinementApplied": false,
            "payerAblation": {
              "status": "blocked-by-instruction-use",
              "targetedTransactionCount": 1,
              "removedSyntheticPayerAccessCount": 0,
              "preservedInstructionAccessCount": 1,
              "evidence": [
                "0 targeted transactions have only synthetic fee-payer access removed.",
                "1 targeted transaction preserves payer access because an outer or inner instruction also references that address.",
                "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
              ]
            },
            "semanticRefinementEligibility": [],
            "transactionCountRetained": 1,
            "knownComputeUnitsRetained": 800,
            "unknownComputeUnitCountRetained": 0,
            "conflictEdgeCount": 0,
            "conflictAtomCount": 0,
            "conflictEdges": [],
            "conflictAtoms": [],
            "currentConflictAtomCount": 0,
            "removedConflictAtoms": [],
            "retainedConflictAtoms": [],
            "edgesEliminated": [],
            "edgesSurvivingDueToOtherCauses": [],
            "waveBounds": {
              "cliqueWitness": [
                0
              ],
              "cliqueLowerBound": 1,
              "generatedWaveUpperBound": 1,
              "boundsMatch": true,
              "provenMinimumWaveCount": 1,
              "lowerBoundEvidence": "No conflict edges remain in this model; one wave is sufficient.",
              "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
            },
            "waves": [
              [
                0
              ]
            ],
            "waveContext": [
              {
                "wave": 0,
                "transactionIndexes": [
                  0
                ],
                "transactionCount": 1,
                "knownComputeUnitsTotal": 800,
                "maximumTransactionComputeUnits": 800,
                "unknownComputeUnitCount": 0
              }
            ],
            "generatedWaveDepthReduction": 0,
            "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
          }
        ],
        "supportedCauseUniverse": {
          "exhaustiveWithinSupportedUniverse": true,
          "causeIds": [
            "fee-payer-lock",
            "program-buffer-whole-account-lock"
          ],
          "statement": "The exhaustive supported cause universe is limited to fee-payer role coupling and verified loader-buffer whole-account locking; it is not arbitrary N-cause discovery."
        },
        "presentCauseIds": [],
        "transformations": [
          {
            "causeId": "fee-payer-lock",
            "applicable": false,
            "affectedAccountCount": 0,
            "affectedPairCount": 0,
            "removedAtomCount": 0,
            "edgesEliminatedCount": 0,
            "maskedSurvivingEdgeCount": 0
          },
          {
            "causeId": "program-buffer-whole-account-lock",
            "applicable": false,
            "affectedAccountCount": 0,
            "affectedPairCount": 0,
            "removedAtomCount": 0,
            "edgesEliminatedCount": 0,
            "maskedSurvivingEdgeCount": 0
          }
        ],
        "minimalSupportedCauseSets": [],
        "interaction": {
          "classification": "no-supported-interaction",
          "presentationTitle": "No supported interaction",
          "samePairCauseOverlapPresent": false,
          "samePairCauseOverlapCount": 0,
          "jointOnlyDepthReductionPresent": false,
          "payerOnlyDepthReduction": 0,
          "rangeOnlyDepthReduction": 0,
          "jointDepthReduction": 0,
          "currentConflictAtomCount": 0,
          "jointRemovedAtomCount": 0,
          "jointEdgesEliminatedCount": 0,
          "jointMaskedSurvivingEdgeCount": 0,
          "jointResidualConflictEdgeCount": 0,
          "explanation": "No supported interaction is established by the modeled cause transformations."
        },
        "scopeDisclaimer": "Exhaustiveness applies only within the two declared supported causes. Causal language is limited to these defined graph transformations and does not establish validator behavior or practical runtime implementability."
      }
    }
  ],
  "dominantComponent": {
    "componentId": 1,
    "transactionIndexes": [
      1,
      2,
      3
    ],
    "edgeCount": 3,
    "transactionShare": 0.75,
    "uniqueConflictPairShare": 1,
    "knownComputeUnitShare": 0.84,
    "payerCount": 3,
    "samePayer": false,
    "sharedConflictAccounts": [
      "SharedApplicationState"
    ],
    "cliqueLowerBound": 3,
    "cliqueBoundIsExact": true,
    "waveBounds": {
      "cliqueWitness": [
        1,
        2,
        3
      ],
      "cliqueLowerBound": 3,
      "generatedWaveUpperBound": 3,
      "boundsMatch": true,
      "provenMinimumWaveCount": 3,
      "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
      "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
    },
    "estimatedWaveContext": [
      {
        "wave": 0,
        "transactionIndexes": [
          1
        ],
        "transactionCount": 1,
        "knownComputeUnitsTotal": 1200,
        "maximumTransactionComputeUnits": 1200,
        "unknownComputeUnitCount": 0
      },
      {
        "wave": 1,
        "transactionIndexes": [
          2
        ],
        "transactionCount": 1,
        "knownComputeUnitsTotal": 1400,
        "maximumTransactionComputeUnits": 1400,
        "unknownComputeUnitCount": 0
      },
      {
        "wave": 2,
        "transactionIndexes": [
          3
        ],
        "transactionCount": 1,
        "knownComputeUnitsTotal": 1600,
        "maximumTransactionComputeUnits": 1600,
        "unknownComputeUnitCount": 0
      }
    ],
    "isContentionFinding": true,
    "cause": {
      "value": "application state",
      "confidence": "high",
      "evidence": [
        "RPC-decoded instruction fields identify a shared application-state account."
      ]
    },
    "actorPattern": {
      "value": "cross payer",
      "confidence": "high",
      "evidence": [
        "3 distinct fee-payer addresses participate."
      ]
    },
    "actionability": {
      "value": "insufficient evidence",
      "confidence": "medium",
      "evidence": [
        "Decoding application state does not prove logical independence or provide a concrete alternative partitioning."
      ]
    },
    "decodedTransfers": [],
    "programBufferSequenceIds": [],
    "knownComputeUnitCount": 3,
    "unknownComputeUnitCount": 0,
    "explanation": "This finding contains 3 transactions and 3 unique conflict pairs (100.0% of block pairs). It spans 3 declared fee payers. The clique lower bound and generated-wave upper bound both equal 3, giving a proven minimum wave count of 3.",
    "counterfactualModels": [
      {
        "model": "current-declared-locks",
        "label": "Current locks",
        "hypothetical": false,
        "availableUnderCurrentSolanaAccountLocking": true,
        "semanticRangeRefinementApplied": false,
        "payerAblation": {
          "status": "not-requested",
          "targetedTransactionCount": 3,
          "removedSyntheticPayerAccessCount": 0,
          "preservedInstructionAccessCount": 3,
          "evidence": [
            "The current model preserves every declared account access."
          ]
        },
        "semanticRefinementEligibility": [],
        "transactionCountRetained": 3,
        "knownComputeUnitsRetained": 4200,
        "unknownComputeUnitCountRetained": 0,
        "conflictEdgeCount": 3,
        "conflictAtomCount": 3,
        "conflictEdges": [
          {
            "source": 1,
            "target": 2,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          },
          {
            "source": 1,
            "target": 3,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          },
          {
            "source": 2,
            "target": 3,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          }
        ],
        "conflictAtoms": [
          {
            "source": 1,
            "target": 2,
            "account": "SharedApplicationState"
          },
          {
            "source": 1,
            "target": 3,
            "account": "SharedApplicationState"
          },
          {
            "source": 2,
            "target": 3,
            "account": "SharedApplicationState"
          }
        ],
        "currentConflictAtomCount": 3,
        "removedConflictAtoms": [],
        "retainedConflictAtoms": [
          {
            "source": 1,
            "target": 2,
            "account": "SharedApplicationState"
          },
          {
            "source": 1,
            "target": 3,
            "account": "SharedApplicationState"
          },
          {
            "source": 2,
            "target": 3,
            "account": "SharedApplicationState"
          }
        ],
        "edgesEliminated": [],
        "edgesSurvivingDueToOtherCauses": [],
        "waveBounds": {
          "cliqueWitness": [
            1,
            2,
            3
          ],
          "cliqueLowerBound": 3,
          "generatedWaveUpperBound": 3,
          "boundsMatch": true,
          "provenMinimumWaveCount": 3,
          "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
          "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
        },
        "waves": [
          [
            1
          ],
          [
            2
          ],
          [
            3
          ]
        ],
        "waveContext": [
          {
            "wave": 0,
            "transactionIndexes": [
              1
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1200,
            "maximumTransactionComputeUnits": 1200,
            "unknownComputeUnitCount": 0
          },
          {
            "wave": 1,
            "transactionIndexes": [
              2
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1400,
            "maximumTransactionComputeUnits": 1400,
            "unknownComputeUnitCount": 0
          },
          {
            "wave": 2,
            "transactionIndexes": [
              3
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1600,
            "maximumTransactionComputeUnits": 1600,
            "unknownComputeUnitCount": 0
          }
        ],
        "generatedWaveDepthReduction": 0,
        "interpretation": "Observed declared whole-account locks under current Solana behavior."
      },
      {
        "model": "fee-payer-decoupled",
        "label": "Payer decoupled",
        "hypothetical": true,
        "availableUnderCurrentSolanaAccountLocking": false,
        "semanticRangeRefinementApplied": false,
        "payerAblation": {
          "status": "blocked-by-instruction-use",
          "targetedTransactionCount": 3,
          "removedSyntheticPayerAccessCount": 0,
          "preservedInstructionAccessCount": 3,
          "evidence": [
            "0 targeted transactions have only synthetic fee-payer access removed.",
            "3 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
            "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
          ]
        },
        "semanticRefinementEligibility": [],
        "transactionCountRetained": 3,
        "knownComputeUnitsRetained": 4200,
        "unknownComputeUnitCountRetained": 0,
        "conflictEdgeCount": 3,
        "conflictAtomCount": 3,
        "conflictEdges": [
          {
            "source": 1,
            "target": 2,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          },
          {
            "source": 1,
            "target": 3,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          },
          {
            "source": 2,
            "target": 3,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          }
        ],
        "conflictAtoms": [
          {
            "source": 1,
            "target": 2,
            "account": "SharedApplicationState"
          },
          {
            "source": 1,
            "target": 3,
            "account": "SharedApplicationState"
          },
          {
            "source": 2,
            "target": 3,
            "account": "SharedApplicationState"
          }
        ],
        "currentConflictAtomCount": 3,
        "removedConflictAtoms": [],
        "retainedConflictAtoms": [
          {
            "source": 1,
            "target": 2,
            "account": "SharedApplicationState"
          },
          {
            "source": 1,
            "target": 3,
            "account": "SharedApplicationState"
          },
          {
            "source": 2,
            "target": 3,
            "account": "SharedApplicationState"
          }
        ],
        "edgesEliminated": [],
        "edgesSurvivingDueToOtherCauses": [],
        "waveBounds": {
          "cliqueWitness": [
            1,
            2,
            3
          ],
          "cliqueLowerBound": 3,
          "generatedWaveUpperBound": 3,
          "boundsMatch": true,
          "provenMinimumWaveCount": 3,
          "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
          "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
        },
        "waves": [
          [
            1
          ],
          [
            2
          ],
          [
            3
          ]
        ],
        "waveContext": [
          {
            "wave": 0,
            "transactionIndexes": [
              1
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1200,
            "maximumTransactionComputeUnits": 1200,
            "unknownComputeUnitCount": 0
          },
          {
            "wave": 1,
            "transactionIndexes": [
              2
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1400,
            "maximumTransactionComputeUnits": 1400,
            "unknownComputeUnitCount": 0
          },
          {
            "wave": 2,
            "transactionIndexes": [
              3
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1600,
            "maximumTransactionComputeUnits": 1600,
            "unknownComputeUnitCount": 0
          }
        ],
        "generatedWaveDepthReduction": 0,
        "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
      },
      {
        "model": "semantic-range-refinement",
        "label": "Semantic range refinement",
        "hypothetical": true,
        "availableUnderCurrentSolanaAccountLocking": false,
        "semanticRangeRefinementApplied": false,
        "payerAblation": {
          "status": "not-requested",
          "targetedTransactionCount": 3,
          "removedSyntheticPayerAccessCount": 0,
          "preservedInstructionAccessCount": 3,
          "evidence": [
            "The current model preserves every declared account access."
          ]
        },
        "semanticRefinementEligibility": [],
        "transactionCountRetained": 3,
        "knownComputeUnitsRetained": 4200,
        "unknownComputeUnitCountRetained": 0,
        "conflictEdgeCount": 3,
        "conflictAtomCount": 3,
        "conflictEdges": [
          {
            "source": 1,
            "target": 2,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          },
          {
            "source": 1,
            "target": 3,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          },
          {
            "source": 2,
            "target": 3,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          }
        ],
        "conflictAtoms": [
          {
            "source": 1,
            "target": 2,
            "account": "SharedApplicationState"
          },
          {
            "source": 1,
            "target": 3,
            "account": "SharedApplicationState"
          },
          {
            "source": 2,
            "target": 3,
            "account": "SharedApplicationState"
          }
        ],
        "currentConflictAtomCount": 3,
        "removedConflictAtoms": [],
        "retainedConflictAtoms": [
          {
            "source": 1,
            "target": 2,
            "account": "SharedApplicationState"
          },
          {
            "source": 1,
            "target": 3,
            "account": "SharedApplicationState"
          },
          {
            "source": 2,
            "target": 3,
            "account": "SharedApplicationState"
          }
        ],
        "edgesEliminated": [],
        "edgesSurvivingDueToOtherCauses": [],
        "waveBounds": {
          "cliqueWitness": [
            1,
            2,
            3
          ],
          "cliqueLowerBound": 3,
          "generatedWaveUpperBound": 3,
          "boundsMatch": true,
          "provenMinimumWaveCount": 3,
          "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
          "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
        },
        "waves": [
          [
            1
          ],
          [
            2
          ],
          [
            3
          ]
        ],
        "waveContext": [
          {
            "wave": 0,
            "transactionIndexes": [
              1
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1200,
            "maximumTransactionComputeUnits": 1200,
            "unknownComputeUnitCount": 0
          },
          {
            "wave": 1,
            "transactionIndexes": [
              2
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1400,
            "maximumTransactionComputeUnits": 1400,
            "unknownComputeUnitCount": 0
          },
          {
            "wave": 2,
            "transactionIndexes": [
              3
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1600,
            "maximumTransactionComputeUnits": 1600,
            "unknownComputeUnitCount": 0
          }
        ],
        "generatedWaveDepthReduction": 0,
        "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
      },
      {
        "model": "joint-fee-payer-and-range",
        "label": "Joint counterfactual",
        "hypothetical": true,
        "availableUnderCurrentSolanaAccountLocking": false,
        "semanticRangeRefinementApplied": false,
        "payerAblation": {
          "status": "blocked-by-instruction-use",
          "targetedTransactionCount": 3,
          "removedSyntheticPayerAccessCount": 0,
          "preservedInstructionAccessCount": 3,
          "evidence": [
            "0 targeted transactions have only synthetic fee-payer access removed.",
            "3 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
            "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
          ]
        },
        "semanticRefinementEligibility": [],
        "transactionCountRetained": 3,
        "knownComputeUnitsRetained": 4200,
        "unknownComputeUnitCountRetained": 0,
        "conflictEdgeCount": 3,
        "conflictAtomCount": 3,
        "conflictEdges": [
          {
            "source": 1,
            "target": 2,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          },
          {
            "source": 1,
            "target": 3,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          },
          {
            "source": 2,
            "target": 3,
            "accounts": [
              "SharedApplicationState"
            ],
            "classification": "other"
          }
        ],
        "conflictAtoms": [
          {
            "source": 1,
            "target": 2,
            "account": "SharedApplicationState"
          },
          {
            "source": 1,
            "target": 3,
            "account": "SharedApplicationState"
          },
          {
            "source": 2,
            "target": 3,
            "account": "SharedApplicationState"
          }
        ],
        "currentConflictAtomCount": 3,
        "removedConflictAtoms": [],
        "retainedConflictAtoms": [
          {
            "source": 1,
            "target": 2,
            "account": "SharedApplicationState"
          },
          {
            "source": 1,
            "target": 3,
            "account": "SharedApplicationState"
          },
          {
            "source": 2,
            "target": 3,
            "account": "SharedApplicationState"
          }
        ],
        "edgesEliminated": [],
        "edgesSurvivingDueToOtherCauses": [],
        "waveBounds": {
          "cliqueWitness": [
            1,
            2,
            3
          ],
          "cliqueLowerBound": 3,
          "generatedWaveUpperBound": 3,
          "boundsMatch": true,
          "provenMinimumWaveCount": 3,
          "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
          "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
        },
        "waves": [
          [
            1
          ],
          [
            2
          ],
          [
            3
          ]
        ],
        "waveContext": [
          {
            "wave": 0,
            "transactionIndexes": [
              1
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1200,
            "maximumTransactionComputeUnits": 1200,
            "unknownComputeUnitCount": 0
          },
          {
            "wave": 1,
            "transactionIndexes": [
              2
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1400,
            "maximumTransactionComputeUnits": 1400,
            "unknownComputeUnitCount": 0
          },
          {
            "wave": 2,
            "transactionIndexes": [
              3
            ],
            "transactionCount": 1,
            "knownComputeUnitsTotal": 1600,
            "maximumTransactionComputeUnits": 1600,
            "unknownComputeUnitCount": 0
          }
        ],
        "generatedWaveDepthReduction": 0,
        "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
      }
    ],
    "causalAblation": {
      "supported": false,
      "causes": [],
      "models": [
        {
          "model": "current-declared-locks",
          "label": "Current locks",
          "hypothetical": false,
          "availableUnderCurrentSolanaAccountLocking": true,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "not-requested",
            "targetedTransactionCount": 3,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 3,
            "evidence": [
              "The current model preserves every declared account access."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 3,
          "knownComputeUnitsRetained": 4200,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 3,
          "conflictAtomCount": 3,
          "conflictEdges": [
            {
              "source": 1,
              "target": 2,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 1,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 2,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            }
          ],
          "conflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "currentConflictAtomCount": 3,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              1,
              2,
              3
            ],
            "cliqueLowerBound": 3,
            "generatedWaveUpperBound": 3,
            "boundsMatch": true,
            "provenMinimumWaveCount": 3,
            "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
          },
          "waves": [
            [
              1
            ],
            [
              2
            ],
            [
              3
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                1
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1200,
              "maximumTransactionComputeUnits": 1200,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 1,
              "transactionIndexes": [
                2
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1400,
              "maximumTransactionComputeUnits": 1400,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 2,
              "transactionIndexes": [
                3
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1600,
              "maximumTransactionComputeUnits": 1600,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "Observed declared whole-account locks under current Solana behavior."
        },
        {
          "model": "fee-payer-decoupled",
          "label": "Payer decoupled",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "blocked-by-instruction-use",
            "targetedTransactionCount": 3,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 3,
            "evidence": [
              "0 targeted transactions have only synthetic fee-payer access removed.",
              "3 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
              "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 3,
          "knownComputeUnitsRetained": 4200,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 3,
          "conflictAtomCount": 3,
          "conflictEdges": [
            {
              "source": 1,
              "target": 2,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 1,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 2,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            }
          ],
          "conflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "currentConflictAtomCount": 3,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              1,
              2,
              3
            ],
            "cliqueLowerBound": 3,
            "generatedWaveUpperBound": 3,
            "boundsMatch": true,
            "provenMinimumWaveCount": 3,
            "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
          },
          "waves": [
            [
              1
            ],
            [
              2
            ],
            [
              3
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                1
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1200,
              "maximumTransactionComputeUnits": 1200,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 1,
              "transactionIndexes": [
                2
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1400,
              "maximumTransactionComputeUnits": 1400,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 2,
              "transactionIndexes": [
                3
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1600,
              "maximumTransactionComputeUnits": 1600,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        },
        {
          "model": "semantic-range-refinement",
          "label": "Semantic range refinement",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "not-requested",
            "targetedTransactionCount": 3,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 3,
            "evidence": [
              "The current model preserves every declared account access."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 3,
          "knownComputeUnitsRetained": 4200,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 3,
          "conflictAtomCount": 3,
          "conflictEdges": [
            {
              "source": 1,
              "target": 2,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 1,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 2,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            }
          ],
          "conflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "currentConflictAtomCount": 3,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              1,
              2,
              3
            ],
            "cliqueLowerBound": 3,
            "generatedWaveUpperBound": 3,
            "boundsMatch": true,
            "provenMinimumWaveCount": 3,
            "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
          },
          "waves": [
            [
              1
            ],
            [
              2
            ],
            [
              3
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                1
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1200,
              "maximumTransactionComputeUnits": 1200,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 1,
              "transactionIndexes": [
                2
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1400,
              "maximumTransactionComputeUnits": 1400,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 2,
              "transactionIndexes": [
                3
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1600,
              "maximumTransactionComputeUnits": 1600,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        },
        {
          "model": "joint-fee-payer-and-range",
          "label": "Joint counterfactual",
          "hypothetical": true,
          "availableUnderCurrentSolanaAccountLocking": false,
          "semanticRangeRefinementApplied": false,
          "payerAblation": {
            "status": "blocked-by-instruction-use",
            "targetedTransactionCount": 3,
            "removedSyntheticPayerAccessCount": 0,
            "preservedInstructionAccessCount": 3,
            "evidence": [
              "0 targeted transactions have only synthetic fee-payer access removed.",
              "3 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
              "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
            ]
          },
          "semanticRefinementEligibility": [],
          "transactionCountRetained": 3,
          "knownComputeUnitsRetained": 4200,
          "unknownComputeUnitCountRetained": 0,
          "conflictEdgeCount": 3,
          "conflictAtomCount": 3,
          "conflictEdges": [
            {
              "source": 1,
              "target": 2,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 1,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            },
            {
              "source": 2,
              "target": 3,
              "accounts": [
                "SharedApplicationState"
              ],
              "classification": "other"
            }
          ],
          "conflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "currentConflictAtomCount": 3,
          "removedConflictAtoms": [],
          "retainedConflictAtoms": [
            {
              "source": 1,
              "target": 2,
              "account": "SharedApplicationState"
            },
            {
              "source": 1,
              "target": 3,
              "account": "SharedApplicationState"
            },
            {
              "source": 2,
              "target": 3,
              "account": "SharedApplicationState"
            }
          ],
          "edgesEliminated": [],
          "edgesSurvivingDueToOtherCauses": [],
          "waveBounds": {
            "cliqueWitness": [
              1,
              2,
              3
            ],
            "cliqueLowerBound": 3,
            "generatedWaveUpperBound": 3,
            "boundsMatch": true,
            "provenMinimumWaveCount": 3,
            "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
            "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
          },
          "waves": [
            [
              1
            ],
            [
              2
            ],
            [
              3
            ]
          ],
          "waveContext": [
            {
              "wave": 0,
              "transactionIndexes": [
                1
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1200,
              "maximumTransactionComputeUnits": 1200,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 1,
              "transactionIndexes": [
                2
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1400,
              "maximumTransactionComputeUnits": 1400,
              "unknownComputeUnitCount": 0
            },
            {
              "wave": 2,
              "transactionIndexes": [
                3
              ],
              "transactionCount": 1,
              "knownComputeUnitsTotal": 1600,
              "maximumTransactionComputeUnits": 1600,
              "unknownComputeUnitCount": 0
            }
          ],
          "generatedWaveDepthReduction": 0,
          "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
        }
      ],
      "supportedCauseUniverse": {
        "exhaustiveWithinSupportedUniverse": true,
        "causeIds": [
          "fee-payer-lock",
          "program-buffer-whole-account-lock"
        ],
        "statement": "The exhaustive supported cause universe is limited to fee-payer role coupling and verified loader-buffer whole-account locking; it is not arbitrary N-cause discovery."
      },
      "presentCauseIds": [],
      "transformations": [
        {
          "causeId": "fee-payer-lock",
          "applicable": false,
          "affectedAccountCount": 0,
          "affectedPairCount": 0,
          "removedAtomCount": 0,
          "edgesEliminatedCount": 0,
          "maskedSurvivingEdgeCount": 0
        },
        {
          "causeId": "program-buffer-whole-account-lock",
          "applicable": false,
          "affectedAccountCount": 0,
          "affectedPairCount": 0,
          "removedAtomCount": 0,
          "edgesEliminatedCount": 0,
          "maskedSurvivingEdgeCount": 0
        }
      ],
      "minimalSupportedCauseSets": [],
      "interaction": {
        "classification": "no-supported-interaction",
        "presentationTitle": "No supported interaction",
        "samePairCauseOverlapPresent": false,
        "samePairCauseOverlapCount": 0,
        "jointOnlyDepthReductionPresent": false,
        "payerOnlyDepthReduction": 0,
        "rangeOnlyDepthReduction": 0,
        "jointDepthReduction": 0,
        "currentConflictAtomCount": 3,
        "jointRemovedAtomCount": 0,
        "jointEdgesEliminatedCount": 0,
        "jointMaskedSurvivingEdgeCount": 0,
        "jointResidualConflictEdgeCount": 3,
        "explanation": "No supported interaction is established by the modeled cause transformations."
      },
      "scopeDisclaimer": "Exhaustiveness applies only within the two declared supported causes. Causal language is limited to these defined graph transformations and does not establish validator behavior or practical runtime implementability."
    }
  },
  "notableFindings": [
    {
      "componentId": 1,
      "reasons": [
        "deepest serialization",
        "largest unique-conflict-pair share",
        "largest known-compute share",
        "cross-payer component"
      ],
      "primaryReason": "deepest serialization",
      "label": "Primary structural bottleneck"
    }
  ],
  "programBufferWriteGroups": [],
  "blockWaveBounds": {
    "cliqueWitness": [
      1,
      2,
      3
    ],
    "cliqueLowerBound": 3,
    "generatedWaveUpperBound": 3,
    "boundsMatch": true,
    "provenMinimumWaveCount": 3,
    "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
    "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
  },
  "feePayerExcludedWaveBounds": {
    "cliqueWitness": [
      1,
      2,
      3
    ],
    "cliqueLowerBound": 3,
    "generatedWaveUpperBound": 3,
    "boundsMatch": true,
    "provenMinimumWaveCount": 3,
    "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
    "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
  },
  "dominantComponentExcludedWaveBounds": {
    "cliqueWitness": [
      0
    ],
    "cliqueLowerBound": 1,
    "generatedWaveUpperBound": 1,
    "boundsMatch": true,
    "provenMinimumWaveCount": 1,
    "lowerBoundEvidence": "A verified clique contains 1 pairwise-conflicting transaction.",
    "upperBoundEvidence": "A generated conflict-free grouping uses 1 wave."
  },
  "counterfactualModels": [
    {
      "model": "current-declared-locks",
      "label": "Current locks",
      "hypothetical": false,
      "availableUnderCurrentSolanaAccountLocking": true,
      "semanticRangeRefinementApplied": false,
      "payerAblation": {
        "status": "not-requested",
        "targetedTransactionCount": 4,
        "removedSyntheticPayerAccessCount": 0,
        "preservedInstructionAccessCount": 4,
        "evidence": [
          "The current model preserves every declared account access."
        ]
      },
      "semanticRefinementEligibility": [],
      "transactionCountRetained": 4,
      "knownComputeUnitsRetained": 5000,
      "unknownComputeUnitCountRetained": 0,
      "conflictEdgeCount": 3,
      "conflictAtomCount": 3,
      "conflictEdges": [
        {
          "source": 1,
          "target": 2,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        },
        {
          "source": 1,
          "target": 3,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        },
        {
          "source": 2,
          "target": 3,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        }
      ],
      "conflictAtoms": [
        {
          "source": 1,
          "target": 2,
          "account": "SharedApplicationState"
        },
        {
          "source": 1,
          "target": 3,
          "account": "SharedApplicationState"
        },
        {
          "source": 2,
          "target": 3,
          "account": "SharedApplicationState"
        }
      ],
      "currentConflictAtomCount": 3,
      "removedConflictAtoms": [],
      "retainedConflictAtoms": [
        {
          "source": 1,
          "target": 2,
          "account": "SharedApplicationState"
        },
        {
          "source": 1,
          "target": 3,
          "account": "SharedApplicationState"
        },
        {
          "source": 2,
          "target": 3,
          "account": "SharedApplicationState"
        }
      ],
      "edgesEliminated": [],
      "edgesSurvivingDueToOtherCauses": [],
      "waveBounds": {
        "cliqueWitness": [
          1,
          2,
          3
        ],
        "cliqueLowerBound": 3,
        "generatedWaveUpperBound": 3,
        "boundsMatch": true,
        "provenMinimumWaveCount": 3,
        "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
        "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
      },
      "waves": [
        [
          0,
          1
        ],
        [
          2
        ],
        [
          3
        ]
      ],
      "waveContext": [
        {
          "wave": 0,
          "transactionIndexes": [
            0,
            1
          ],
          "transactionCount": 2,
          "knownComputeUnitsTotal": 2000,
          "maximumTransactionComputeUnits": 1200,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 1,
          "transactionIndexes": [
            2
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1400,
          "maximumTransactionComputeUnits": 1400,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 2,
          "transactionIndexes": [
            3
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1600,
          "maximumTransactionComputeUnits": 1600,
          "unknownComputeUnitCount": 0
        }
      ],
      "generatedWaveDepthReduction": 0,
      "interpretation": "Observed declared whole-account locks under current Solana behavior."
    },
    {
      "model": "fee-payer-decoupled",
      "label": "Payer decoupled",
      "hypothetical": true,
      "availableUnderCurrentSolanaAccountLocking": false,
      "semanticRangeRefinementApplied": false,
      "payerAblation": {
        "status": "blocked-by-instruction-use",
        "targetedTransactionCount": 4,
        "removedSyntheticPayerAccessCount": 0,
        "preservedInstructionAccessCount": 4,
        "evidence": [
          "0 targeted transactions have only synthetic fee-payer access removed.",
          "4 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
          "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
        ]
      },
      "semanticRefinementEligibility": [],
      "transactionCountRetained": 4,
      "knownComputeUnitsRetained": 5000,
      "unknownComputeUnitCountRetained": 0,
      "conflictEdgeCount": 3,
      "conflictAtomCount": 3,
      "conflictEdges": [
        {
          "source": 1,
          "target": 2,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        },
        {
          "source": 1,
          "target": 3,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        },
        {
          "source": 2,
          "target": 3,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        }
      ],
      "conflictAtoms": [
        {
          "source": 1,
          "target": 2,
          "account": "SharedApplicationState"
        },
        {
          "source": 1,
          "target": 3,
          "account": "SharedApplicationState"
        },
        {
          "source": 2,
          "target": 3,
          "account": "SharedApplicationState"
        }
      ],
      "currentConflictAtomCount": 3,
      "removedConflictAtoms": [],
      "retainedConflictAtoms": [
        {
          "source": 1,
          "target": 2,
          "account": "SharedApplicationState"
        },
        {
          "source": 1,
          "target": 3,
          "account": "SharedApplicationState"
        },
        {
          "source": 2,
          "target": 3,
          "account": "SharedApplicationState"
        }
      ],
      "edgesEliminated": [],
      "edgesSurvivingDueToOtherCauses": [],
      "waveBounds": {
        "cliqueWitness": [
          1,
          2,
          3
        ],
        "cliqueLowerBound": 3,
        "generatedWaveUpperBound": 3,
        "boundsMatch": true,
        "provenMinimumWaveCount": 3,
        "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
        "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
      },
      "waves": [
        [
          0,
          1
        ],
        [
          2
        ],
        [
          3
        ]
      ],
      "waveContext": [
        {
          "wave": 0,
          "transactionIndexes": [
            0,
            1
          ],
          "transactionCount": 2,
          "knownComputeUnitsTotal": 2000,
          "maximumTransactionComputeUnits": 1200,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 1,
          "transactionIndexes": [
            2
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1400,
          "maximumTransactionComputeUnits": 1400,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 2,
          "transactionIndexes": [
            3
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1600,
          "maximumTransactionComputeUnits": 1600,
          "unknownComputeUnitCount": 0
        }
      ],
      "generatedWaveDepthReduction": 0,
      "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
    },
    {
      "model": "semantic-range-refinement",
      "label": "Semantic range refinement",
      "hypothetical": true,
      "availableUnderCurrentSolanaAccountLocking": false,
      "semanticRangeRefinementApplied": false,
      "payerAblation": {
        "status": "not-requested",
        "targetedTransactionCount": 4,
        "removedSyntheticPayerAccessCount": 0,
        "preservedInstructionAccessCount": 4,
        "evidence": [
          "The current model preserves every declared account access."
        ]
      },
      "semanticRefinementEligibility": [],
      "transactionCountRetained": 4,
      "knownComputeUnitsRetained": 5000,
      "unknownComputeUnitCountRetained": 0,
      "conflictEdgeCount": 3,
      "conflictAtomCount": 3,
      "conflictEdges": [
        {
          "source": 1,
          "target": 2,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        },
        {
          "source": 1,
          "target": 3,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        },
        {
          "source": 2,
          "target": 3,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        }
      ],
      "conflictAtoms": [
        {
          "source": 1,
          "target": 2,
          "account": "SharedApplicationState"
        },
        {
          "source": 1,
          "target": 3,
          "account": "SharedApplicationState"
        },
        {
          "source": 2,
          "target": 3,
          "account": "SharedApplicationState"
        }
      ],
      "currentConflictAtomCount": 3,
      "removedConflictAtoms": [],
      "retainedConflictAtoms": [
        {
          "source": 1,
          "target": 2,
          "account": "SharedApplicationState"
        },
        {
          "source": 1,
          "target": 3,
          "account": "SharedApplicationState"
        },
        {
          "source": 2,
          "target": 3,
          "account": "SharedApplicationState"
        }
      ],
      "edgesEliminated": [],
      "edgesSurvivingDueToOtherCauses": [],
      "waveBounds": {
        "cliqueWitness": [
          1,
          2,
          3
        ],
        "cliqueLowerBound": 3,
        "generatedWaveUpperBound": 3,
        "boundsMatch": true,
        "provenMinimumWaveCount": 3,
        "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
        "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
      },
      "waves": [
        [
          0,
          1
        ],
        [
          2
        ],
        [
          3
        ]
      ],
      "waveContext": [
        {
          "wave": 0,
          "transactionIndexes": [
            0,
            1
          ],
          "transactionCount": 2,
          "knownComputeUnitsTotal": 2000,
          "maximumTransactionComputeUnits": 1200,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 1,
          "transactionIndexes": [
            2
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1400,
          "maximumTransactionComputeUnits": 1400,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 2,
          "transactionIndexes": [
            3
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1600,
          "maximumTransactionComputeUnits": 1600,
          "unknownComputeUnitCount": 0
        }
      ],
      "generatedWaveDepthReduction": 0,
      "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
    },
    {
      "model": "joint-fee-payer-and-range",
      "label": "Joint counterfactual",
      "hypothetical": true,
      "availableUnderCurrentSolanaAccountLocking": false,
      "semanticRangeRefinementApplied": false,
      "payerAblation": {
        "status": "blocked-by-instruction-use",
        "targetedTransactionCount": 4,
        "removedSyntheticPayerAccessCount": 0,
        "preservedInstructionAccessCount": 4,
        "evidence": [
          "0 targeted transactions have only synthetic fee-payer access removed.",
          "4 targeted transactions preserve payer access because an outer or inner instruction also references that address.",
          "Instruction-referenced payer access retains its original declared read/write mode; account position alone never narrows it."
        ]
      },
      "semanticRefinementEligibility": [],
      "transactionCountRetained": 4,
      "knownComputeUnitsRetained": 5000,
      "unknownComputeUnitCountRetained": 0,
      "conflictEdgeCount": 3,
      "conflictAtomCount": 3,
      "conflictEdges": [
        {
          "source": 1,
          "target": 2,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        },
        {
          "source": 1,
          "target": 3,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        },
        {
          "source": 2,
          "target": 3,
          "accounts": [
            "SharedApplicationState"
          ],
          "classification": "other"
        }
      ],
      "conflictAtoms": [
        {
          "source": 1,
          "target": 2,
          "account": "SharedApplicationState"
        },
        {
          "source": 1,
          "target": 3,
          "account": "SharedApplicationState"
        },
        {
          "source": 2,
          "target": 3,
          "account": "SharedApplicationState"
        }
      ],
      "currentConflictAtomCount": 3,
      "removedConflictAtoms": [],
      "retainedConflictAtoms": [
        {
          "source": 1,
          "target": 2,
          "account": "SharedApplicationState"
        },
        {
          "source": 1,
          "target": 3,
          "account": "SharedApplicationState"
        },
        {
          "source": 2,
          "target": 3,
          "account": "SharedApplicationState"
        }
      ],
      "edgesEliminated": [],
      "edgesSurvivingDueToOtherCauses": [],
      "waveBounds": {
        "cliqueWitness": [
          1,
          2,
          3
        ],
        "cliqueLowerBound": 3,
        "generatedWaveUpperBound": 3,
        "boundsMatch": true,
        "provenMinimumWaveCount": 3,
        "lowerBoundEvidence": "A verified clique contains 3 pairwise-conflicting transactions.",
        "upperBoundEvidence": "A generated conflict-free grouping uses 3 waves."
      },
      "waves": [
        [
          0,
          1
        ],
        [
          2
        ],
        [
          3
        ]
      ],
      "waveContext": [
        {
          "wave": 0,
          "transactionIndexes": [
            0,
            1
          ],
          "transactionCount": 2,
          "knownComputeUnitsTotal": 2000,
          "maximumTransactionComputeUnits": 1200,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 1,
          "transactionIndexes": [
            2
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1400,
          "maximumTransactionComputeUnits": 1400,
          "unknownComputeUnitCount": 0
        },
        {
          "wave": 2,
          "transactionIndexes": [
            3
          ],
          "transactionCount": 1,
          "knownComputeUnitsTotal": 1600,
          "maximumTransactionComputeUnits": 1600,
          "unknownComputeUnitCount": 0
        }
      ],
      "generatedWaveDepthReduction": 0,
      "interpretation": "This hypothetical change alone does not reduce the generated-wave upper bound for this scope."
    }
  ],
  "waves": [
    [
      0,
      1
    ],
    [
      2
    ],
    [
      3
    ]
  ],
  "waveContext": [
    {
      "wave": 0,
      "transactionIndexes": [
        0,
        1
      ],
      "transactionCount": 2,
      "knownComputeUnitsTotal": 2000,
      "maximumTransactionComputeUnits": 1200,
      "unknownComputeUnitCount": 0
    },
    {
      "wave": 1,
      "transactionIndexes": [
        2
      ],
      "transactionCount": 1,
      "knownComputeUnitsTotal": 1400,
      "maximumTransactionComputeUnits": 1400,
      "unknownComputeUnitCount": 0
    },
    {
      "wave": 2,
      "transactionIndexes": [
        3
      ],
      "transactionCount": 1,
      "knownComputeUnitsTotal": 1600,
      "maximumTransactionComputeUnits": 1600,
      "unknownComputeUnitCount": 0
    }
  ],
  "feePayerExcludedAnalyticalWaves": [
    [
      0,
      1
    ],
    [
      2
    ],
    [
      3
    ]
  ],
  "dominantComponentExcludedWaves": [
    [
      0
    ]
  ],
  "accounts": [
    {
      "account": "SharedApplicationState",
      "label": null,
      "readerCount": 0,
      "writerCount": 3,
      "affectedTransactionCount": 3,
      "uniquePairCoverage": 3,
      "exclusiveEdgeCount": 3,
      "overlappingEdgeCount": 0,
      "conflictEdgeCount": 3
    },
    {
      "account": "IndependentPayer",
      "label": null,
      "readerCount": 0,
      "writerCount": 1,
      "affectedTransactionCount": 1,
      "uniquePairCoverage": 0,
      "exclusiveEdgeCount": 0,
      "overlappingEdgeCount": 0,
      "conflictEdgeCount": 0
    },
    {
      "account": "IndependentState",
      "label": null,
      "readerCount": 0,
      "writerCount": 1,
      "affectedTransactionCount": 1,
      "uniquePairCoverage": 0,
      "exclusiveEdgeCount": 0,
      "overlappingEdgeCount": 0,
      "conflictEdgeCount": 0
    },
    {
      "account": "PayerAlpha",
      "label": null,
      "readerCount": 0,
      "writerCount": 1,
      "affectedTransactionCount": 1,
      "uniquePairCoverage": 0,
      "exclusiveEdgeCount": 0,
      "overlappingEdgeCount": 0,
      "conflictEdgeCount": 0
    },
    {
      "account": "PayerBeta",
      "label": null,
      "readerCount": 0,
      "writerCount": 1,
      "affectedTransactionCount": 1,
      "uniquePairCoverage": 0,
      "exclusiveEdgeCount": 0,
      "overlappingEdgeCount": 0,
      "conflictEdgeCount": 0
    },
    {
      "account": "PayerGamma",
      "label": null,
      "readerCount": 0,
      "writerCount": 1,
      "affectedTransactionCount": 1,
      "uniquePairCoverage": 0,
      "exclusiveEdgeCount": 0,
      "overlappingEdgeCount": 0,
      "conflictEdgeCount": 0
    },
    {
      "account": "TeachingAppProgram",
      "label": null,
      "readerCount": 4,
      "writerCount": 0,
      "affectedTransactionCount": 4,
      "uniquePairCoverage": 0,
      "exclusiveEdgeCount": 0,
      "overlappingEdgeCount": 0,
      "conflictEdgeCount": 0
    }
  ],
  "hotWritableAccounts": [
    {
      "account": "SharedApplicationState",
      "label": null,
      "readerCount": 0,
      "writerCount": 3,
      "affectedTransactionCount": 3,
      "uniquePairCoverage": 3,
      "exclusiveEdgeCount": 3,
      "overlappingEdgeCount": 0,
      "conflictEdgeCount": 3
    }
  ]
}