Premise

Kestrel Platform fictional company

Company Brain

G_RATES_FRESH

Prices are never converted with rates older than an hour

Current guarantee health

unknown

Prices are never converted with rates older than an hour2 prerequisites checked · 1 unverified

AssumptionHealthEvidence
A_RATES_SOURCEThe rate provider publishes fresh rates every business day unverified Current attestation required
A_RATE_TTLCached currency rates expire within an hour holding 30 <= 60
Full graph evidence
{
  "assumptions": [
    {
      "attestations": [
        {
          "on": 1774828800000,
          "person": "p_tess",
          "review_by": 1790726400000,
          "status": "active"
        }
      ],
      "id": "A_RATES_SOURCE",
      "kind": "manual",
      "lhs_fact": null,
      "lv": null,
      "op": null,
      "rhs_fact": null,
      "rv": null,
      "state": "unverified",
      "text": "The rate provider publishes fresh rates every business day",
      "touched": false
    },
    {
      "attestations": [],
      "id": "A_RATE_TTL",
      "kind": "predicate",
      "lhs_fact": "currency.cache_ttl_minutes",
      "lv": 30,
      "op": "\u003c=",
      "rhs_fact": null,
      "rv": 60,
      "state": "holding",
      "text": "Cached currency rates expire within an hour",
      "touched": false
    }
  ],
  "guarantees": [
    {
      "chain": [
        "G_RATES_FRESH",
        "A_RATES_SOURCE"
      ],
      "id": "G_RATES_FRESH",
      "pagerank": 0.003468545852229,
      "prerequisites": [
        "A_RATES_SOURCE",
        "A_RATE_TTL"
      ],
      "statement": "Prices are never converted with rates older than an hour",
      "status": "unknown",
      "unverified": 1
    }
  ],
  "now_ms": 1792353025825,
  "sources": [
    {
      "commit_sha": "local",
      "id": "A_RATES_SOURCE",
      "line": 20,
      "path": "adr/ADR-003.md",
      "url": null
    },
    {
      "commit_sha": "local",
      "id": "A_RATE_TTL",
      "line": 17,
      "path": "adr/ADR-003.md",
      "url": null
    },
    {
      "commit_sha": "local",
      "id": "G_RATES_FRESH",
      "line": 12,
      "path": "adr/ADR-003.md",
      "url": null
    }
  ]
}

Recorded assessments

Sources

  • A_RATES_SOURCE adr/ADR-003.md:20 (local checkout)
  • A_RATE_TTL adr/ADR-003.md:17 (local checkout)
  • G_RATES_FRESH adr/ADR-003.md:12 (local checkout)
  • adr/ADR-003.md:12 (local checkout)