{
  "accepted_by_selected_gate": false,
  "case_selection": "positive",
  "counts": {
    "cases": 2,
    "failed": 2,
    "passed": 0,
    "positive_controls": 2,
    "rejection_cases": 0
  },
  "gate": "effects",
  "implementation": "reject-all",
  "results": [
    {
      "before": {
        "accounts": [
          [
            "alice",
            10000
          ],
          [
            "bob",
            2500
          ]
        ],
        "transfers": []
      },
      "case_id": "successful-transfer",
      "class": "positive",
      "events": [],
      "expected_after": {
        "accounts": [
          [
            "alice",
            8000
          ],
          [
            "bob",
            4500
          ]
        ],
        "transfers": [
          [
            1,
            "alice",
            "bob",
            2000
          ]
        ]
      },
      "expected_response": {
        "status": "accepted",
        "transfer_id": 1
      },
      "failures": [
        "response_mismatch",
        "persisted_state_mismatch"
      ],
      "immediate_after": {
        "accounts": [
          [
            "alice",
            10000
          ],
          [
            "bob",
            2500
          ]
        ],
        "transfers": []
      },
      "in_transaction_after": false,
      "observed_response": {
        "reason": "disabled",
        "status": "rejected"
      },
      "passed": false,
      "persisted_after_reconnect": {
        "accounts": [
          [
            "alice",
            10000
          ],
          [
            "bob",
            2500
          ]
        ],
        "transfers": []
      },
      "request": {
        "amount_cents": 2000,
        "destination_id": "bob",
        "source_id": "alice"
      },
      "settings": {
        "autocommit_attribute": -1,
        "foreign_keys": 1,
        "in_transaction_before": false,
        "isolation_level": null,
        "journal_mode": "delete",
        "synchronous": 2
      },
      "test_fault_after_debit": false
    },
    {
      "before": {
        "accounts": [
          [
            "alice",
            10000
          ],
          [
            "bob",
            2500
          ]
        ],
        "transfers": []
      },
      "case_id": "successful-full-balance-transfer",
      "class": "positive",
      "events": [],
      "expected_after": {
        "accounts": [
          [
            "alice",
            0
          ],
          [
            "bob",
            12500
          ]
        ],
        "transfers": [
          [
            1,
            "alice",
            "bob",
            10000
          ]
        ]
      },
      "expected_response": {
        "status": "accepted",
        "transfer_id": 1
      },
      "failures": [
        "response_mismatch",
        "persisted_state_mismatch"
      ],
      "immediate_after": {
        "accounts": [
          [
            "alice",
            10000
          ],
          [
            "bob",
            2500
          ]
        ],
        "transfers": []
      },
      "in_transaction_after": false,
      "observed_response": {
        "reason": "disabled",
        "status": "rejected"
      },
      "passed": false,
      "persisted_after_reconnect": {
        "accounts": [
          [
            "alice",
            10000
          ],
          [
            "bob",
            2500
          ]
        ],
        "transfers": []
      },
      "request": {
        "amount_cents": 10000,
        "destination_id": "bob",
        "source_id": "alice"
      },
      "settings": {
        "autocommit_attribute": -1,
        "foreign_keys": 1,
        "in_transaction_before": false,
        "isolation_level": null,
        "journal_mode": "delete",
        "synchronous": 2
      },
      "test_fault_after_debit": false
    }
  ],
  "runtime": {
    "python": "3.14.7",
    "python_build": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]",
    "sqlite_library": "3.53.4"
  },
  "source_sha256": {
    "cases.json": "03fef81b4e00978c8d34f47be5c6f1c921be10e3eedeb01fddcb4fee33c4003a",
    "contract.json": "aa2ec79c74641239ad7d77ade473bb0f06bb3855df327d2cd871509367d5816e",
    "run_cases.py": "9e3923638d7787b58efe27bf3b08cd86fcfe03ac73fc86907ba1555845d9b36a",
    "transfer.py": "df8d4cf13056eb283edfce4d8791d77fe5d0cf6bc8f0ac53b05fe6f41ed1580d"
  }
}