{
  "checks": {
    "psbt_variants": 3,
    "malformed_cases_rejected": 5,
    "arithmetic_models_checked": 4
  },
  "cases": {
    "baseline": {
      "version": 2,
      "input_count": 1,
      "prevout_txid": "1111111111111111111111111111111111111111111111111111111111111111",
      "prevout_index": 0,
      "sequence": 4294967293,
      "locktime": 0,
      "claimed_input_litoshis": 100000,
      "claimed_previous_script": "00143333333333333333333333333333333333333333",
      "output_litoshis": [
        90000,
        5000
      ],
      "output_scripts": [
        "00142222222222222222222222222222222222222222",
        "00144444444444444444444444444444444444444444"
      ],
      "apparent_fee_litoshis": 5000,
      "signatures": 0,
      "scope": "Synthetic parsing/arithmetic only; no real UTXO or signature validation; not a broadcast candidate."
    },
    "reduced_recipient": {
      "version": 2,
      "input_count": 1,
      "prevout_txid": "1111111111111111111111111111111111111111111111111111111111111111",
      "prevout_index": 0,
      "sequence": 4294967293,
      "locktime": 0,
      "claimed_input_litoshis": 100000,
      "claimed_previous_script": "00143333333333333333333333333333333333333333",
      "output_litoshis": [
        80000,
        5000
      ],
      "output_scripts": [
        "00142222222222222222222222222222222222222222",
        "00144444444444444444444444444444444444444444"
      ],
      "apparent_fee_litoshis": 15000,
      "signatures": 0,
      "scope": "Synthetic parsing/arithmetic only; no real UTXO or signature validation; not a broadcast candidate."
    },
    "untrusted_input_metadata": {
      "version": 2,
      "input_count": 1,
      "prevout_txid": "1111111111111111111111111111111111111111111111111111111111111111",
      "prevout_index": 0,
      "sequence": 4294967293,
      "locktime": 0,
      "claimed_input_litoshis": 200000,
      "claimed_previous_script": "00143333333333333333333333333333333333333333",
      "output_litoshis": [
        90000,
        5000
      ],
      "output_scripts": [
        "00142222222222222222222222222222222222222222",
        "00144444444444444444444444444444444444444444"
      ],
      "apparent_fee_litoshis": 105000,
      "signatures": 0,
      "scope": "Synthetic parsing/arithmetic only; no real UTXO or signature validation; not a broadcast candidate."
    }
  }
}