{
  "synthetic": true,
  "same_request_sha256": "f5ec1453238f7cb339f51b4a274fd1728337e312fa679cf9954577bf950026d5",
  "same_result_except_run_id_and_timestamp": true,
  "items": [
    {
      "type": "change_vendor_bank",
      "verdict": "true",
      "certainty": {
        "value": null,
        "basis": "unmeasured",
        "stratum": "true_deterministic",
        "note": "No published measurement for this stratum and configuration yet."
      },
      "assertions": [
        {
          "id": "change_verified",
          "test": "procedure:change_verified@1",
          "outcome": "holds",
          "error_bound": "0",
          "facts": {
            "method": "callback"
          },
          "evidence": [
            "/items/0/data/actor",
            "/items/0/data/verified_by",
            "/items/0/data/method"
          ]
        },
        {
          "id": "no_payment_before_verification",
          "test": "procedure:no_payment_before_verification@1",
          "outcome": "holds",
          "error_bound": "0",
          "evidence": [
            "/items/0/data/at",
            "/items/0/data/verified_on"
          ]
        }
      ]
    },
    {
      "type": "payment",
      "verdict": "true",
      "certainty": {
        "value": null,
        "basis": "unmeasured",
        "stratum": "true_deterministic",
        "note": "No published measurement for this stratum and configuration yet."
      },
      "assertions": [
        {
          "id": "matched",
          "test": "procedure:matched@1",
          "outcome": "holds",
          "error_bound": "0",
          "facts": {
            "billed": "32600.00",
            "paid_elsewhere": "0",
            "open": "32600.00"
          },
          "evidence": [
            "/items/1/data/amount",
            "/context/records/invoice/0/amount"
          ]
        },
        {
          "id": "not_duplicate",
          "test": "procedure:not_duplicate@1",
          "outcome": "holds",
          "error_bound": "0",
          "evidence": [
            "/items/1/data/invoice_ids"
          ]
        },
        {
          "id": "to_vendor_account",
          "test": "procedure:to_vendor_account@1",
          "outcome": "holds",
          "error_bound": "0",
          "facts": {
            "account_as_of": "2026-09-16"
          },
          "evidence": [
            "/items/1/data/bank_account",
            "/context/records/vendor/0/bank_account"
          ]
        },
        {
          "id": "not_to_employee",
          "test": "procedure:not_to_employee@1",
          "outcome": "holds",
          "error_bound": "0",
          "evidence": [
            "/items/1/data/bank_account"
          ]
        },
        {
          "id": "after_invoice",
          "test": "procedure:after_invoice@1",
          "outcome": "holds",
          "error_bound": "0",
          "evidence": [
            "/items/1/data/payment_date"
          ]
        }
      ]
    }
  ],
  "engine_revision": "6205721f91352039de5ce861c1c94d15d9903c7d",
  "recorded_model_questions": 0
}