mirror of
https://github.com/MBombeck/HealthLog.git
synced 2026-11-07 04:12:04 +00:00
Two runs on one account, and the only difference between them is a row in provider_health: a success inside the freshness window brings the offer and the tap leaves an active ai_full receipt; a dead credential inside its cooldown brings 'not answering' and no button at all. The seed is instance-wide because the projection is - a fresh account's own ledger is empty by construction - so the spec runs serially and puts the operator key and the ledger rows back afterwards. The offer path asserts that no provider was called: the flow reads a projection and never probes. Verified as a real check, not a tautology: moving the seeded success from 30 minutes to 25 hours ago makes the offer case fail.