Replay of recorded FalkorDB results. Run locally for live checks. Recorded 2026-10-18T14:13:07.751311+00:00 · fictional Kestrel company · dates and presets are recorded selections.
Premise

Kestrel Platform fictional company

Loading the company brain…

Drag to turn the brain · point at a cell to trace it

Search finds documents.
Premise finds consequences.

Change one fact. See which engineering promises break, who needs to review, and which fix holds up.

Play the story

One minute · a real change breaks, then heals

Recorded from FalkorDB

8/9
Guarantees healthy
1
Promises expiring soonAttestations due within 180 days: A_STABLE_EVENT_ID, 1 Mar 2027
1
Orphaned decisionsADR-012 · no active owner
Fig. 1. 12 tracked facts feed 9 assumptions, which hold up 9 guarantees. Recorded from FalkorDB.

The decision network

The same nerves as the brain above, laid flat. Point at a cell to trace everything it touches; fire a change and watch the signal travel from the fact to every guarantee it breaks.

Try a proposed change. Nothing is stored or posted.

Choose a change to trace its consequences.

  • Holds on its full prerequisite set
  • Unknown: evidence missing or expired
  • Broken by the proposed change
Today

Forecasts attestation expiry on the current graph. It changes the guarantee view; it does not reconstruct old revisions.

What still holds?

Ordered by graph PageRank

G_DEDUPEholds

Each Paylane webhook event is applied at most once

  • A_REDIS_TTLholding
  • A_RETRY_WINDOWholding
  • A_STABLE_EVENT_IDholding
3 prerequisites
G_CHARGE_ONCEholds

A customer is charged at most once per order

3 prerequisites
G_REFUND_MATCHholds

Refund totals always match what customers were charged

3 prerequisites
G_ACK_FASTholds

Paylane never sees a delivery timeout from us

1 prerequisite
G_ADS_FRESHholds

Ads shown are never more than five minutes stale

1 prerequisite
G_EMAIL_WITHIN_BUDGETholds

emailservice never exceeds the provider's retry allowance

1 prerequisite
G_LEDGER_CONSISTENTholds

The ledger balances against charges and refunds every night

3 prerequisites
G_NO_DOUBLE_SUBMITholds

Checkout never submits a second charge for an order because the first one was slow

1 prerequisite
G_RATES_FRESHunknown

Prices are never converted with rates older than an hour

2 prerequisites · 1 unverified

Recent PR assessments

No PR assessments yet. Assess a sandbox PR with premise assess --pr N, or load the local demo with premise demo.

Accountability gaps

Accepted decisions with no active accountable author or approver

Ingestion warnings (2)