Premise

Kestrel Platform fictional company

Company Brain

G_EMAIL_WITHIN_BUDGET

emailservice never exceeds the provider's retry allowance

Current guarantee health

holds

emailservice never exceeds the provider's retry allowance1 prerequisites checked · 0 unverified

AssumptionHealthEvidence
A_EMAIL_BUDGETOur retry attempts stay within the provider's allowance holding 5 <= 10
Full graph evidence
{
  "assumptions": [
    {
      "attestations": [],
      "id": "A_EMAIL_BUDGET",
      "kind": "predicate",
      "lhs_fact": "emailservice.retry_max_attempts",
      "lv": 5,
      "op": "\u003c=",
      "rhs_fact": "emailprovider.max_retries",
      "rv": 10,
      "state": "holding",
      "text": "Our retry attempts stay within the provider\u0027s allowance",
      "touched": false
    }
  ],
  "guarantees": [
    {
      "chain": [],
      "id": "G_EMAIL_WITHIN_BUDGET",
      "pagerank": 0.003468545852229,
      "prerequisites": [
        "A_EMAIL_BUDGET"
      ],
      "statement": "emailservice never exceeds the provider\u0027s retry allowance",
      "status": "holds",
      "unverified": 0
    }
  ],
  "now_ms": 1792353059128,
  "sources": [
    {
      "commit_sha": "local",
      "id": "A_EMAIL_BUDGET",
      "line": 17,
      "path": "adr/ADR-011.md",
      "url": null
    },
    {
      "commit_sha": "local",
      "id": "G_EMAIL_WITHIN_BUDGET",
      "line": 12,
      "path": "adr/ADR-011.md",
      "url": null
    }
  ]
}

Recorded assessments

  • No assessments recorded for this entity.

Sources

  • A_EMAIL_BUDGET adr/ADR-011.md:17 (local checkout)
  • G_EMAIL_WITHIN_BUDGET adr/ADR-011.md:12 (local checkout)
  • adr/ADR-011.md:12 (local checkout)