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
| Assumption | Health | Evidence |
|---|---|---|
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_BUDGETadr/ADR-011.md:17 (local checkout)G_EMAIL_WITHIN_BUDGETadr/ADR-011.md:12 (local checkout)- adr/ADR-011.md:12 (local checkout)