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

Live 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. Drawn live 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

Pull requestVerdictRevision
#9004 Local demo S12: bundled fixture assessmentpublic-dem NEEDS_REVIEW 1
#9003 Local demo S2: bundled fixture assessmentpublic-dem CLEAR_WITHIN_SCOPE 1
#9002 Local demo S1_FIXED: bundled fixture assessmentpublic-dem CLEAR_WITHIN_SCOPE 1
#9001 Local demo S1: bundled fixture assessmentpublic-dem BLOCKED 1

Accountability gaps

Accepted decisions with no active accountable author or approver

Ingestion warnings (2)