G_ADS_FRESH

{
  "assumptions": [
    {
      "attestations": [],
      "id": "A_AD_CACHE",
      "kind": "predicate",
      "lhs_fact": "adservice.cache_ttl_seconds",
      "lv": 120,
      "op": "\u003c=",
      "rhs_fact": null,
      "rv": 300,
      "state": "holding",
      "text": "Ad inventory is cached for at most five minutes",
      "touched": false
    }
  ],
  "guarantees": [
    {
      "chain": [],
      "id": "G_ADS_FRESH",
      "pagerank": 0.003468545852229,
      "prerequisites": [
        "A_AD_CACHE"
      ],
      "statement": "Ads shown are never more than five minutes stale",
      "status": "holds",
      "unverified": 0
    }
  ],
  "now_ms": 1792353021874,
  "sources": [
    {
      "commit_sha": "local",
      "id": "A_AD_CACHE",
      "line": 17,
      "path": "adr/ADR-020.md",
      "url": null
    },
    {
      "commit_sha": "local",
      "id": "G_ADS_FRESH",
      "line": 12,
      "path": "adr/ADR-020.md",
      "url": null
    }
  ]
}