{"pr":"pr:9003","head_sha":"public-demo-v1-S2","graph_rev":1,"now_ms":1792108800000,"verdict":"CLEAR_WITHIN_SCOPE","reasons":[{"code":"R_ALL_HOLD","ids":[],"detail":"1 prerequisite assumptions checked; every affected guarantee holds","pre_existing":false}],"changed_facts":[{"fact":"emailservice.retry_max_attempts","file":"config/emailservice.yaml","line":3,"old":5,"new":8,"deleted":false,"controlled_by":"us"}],"changed_paths":["config/emailservice.yaml"],"model_change":false,"assumptions":[{"id":"A_EMAIL_BUDGET","kind":"predicate","state":"holding","text":"Our retry attempts stay within the provider's allowance","lhs_fact":"emailservice.retry_max_attempts","lv":8,"op":"<=","rhs_fact":"emailprovider.max_retries","rv":10,"attestations":[],"touched":true}],"guarantees":[{"id":"G_EMAIL_WITHIN_BUDGET","statement":"emailservice never exceeds the provider's retry allowance","status":"holds","baseline":"holds","chain":[],"tier":3,"promised_by":["ADR-011"],"relied_on_by":[],"about":["emailservice"],"exposed_callers":["checkoutservice","frontend"]}],"decisions":[],"not_affected":[],"checked_with_problems":[],"fixes":[],"fix_budget_used":0}