G_NO_DOUBLE_SUBMIT

{
  "assumptions": [
    {
      "attestations": [],
      "id": "A_CHARGE_BEFORE_TIMEOUT",
      "kind": "predicate",
      "lhs_fact": "paymentservice.charge_timeout_ms",
      "lv": 800,
      "op": "\u003c",
      "rhs_fact": "checkoutservice.payment_timeout_ms",
      "rv": 1000,
      "state": "holding",
      "text": "paymentservice finishes a charge before checkoutservice stops waiting for it",
      "touched": false
    }
  ],
  "guarantees": [
    {
      "chain": [],
      "id": "G_NO_DOUBLE_SUBMIT",
      "pagerank": 0.003468545852229,
      "prerequisites": [
        "A_CHARGE_BEFORE_TIMEOUT"
      ],
      "statement": "Checkout never submits a second charge for an order because the first one was slow",
      "status": "holds",
      "unverified": 0
    }
  ],
  "now_ms": 1792353029854,
  "sources": [
    {
      "commit_sha": "local",
      "id": "A_CHARGE_BEFORE_TIMEOUT",
      "line": 17,
      "path": "adr/ADR-009.md",
      "url": null
    },
    {
      "commit_sha": "local",
      "id": "G_NO_DOUBLE_SUBMIT",
      "line": 12,
      "path": "adr/ADR-009.md",
      "url": null
    }
  ]
}