Proof

The proof graph that records what happened and why.

Proof turns Signals and Decisions into a durable record operators can inspect without exposing private credentials, raw logs, or sensitive data.

Map one workflow Talk through one workflow
Proof graph
Evidence that survives the action

Proof keeps the source, decision, owner, outcome, receipt, rollback note, and audit trail attached to the workflow.

  • Evidence
  • Outcome
  • Receipt
  • Rollback note
Map connection
Every receipt points back to the map

Map shows where the Proof came from, which Signal and Decision produced it, and what owner should inspect it next.

  • Composition: signal-decision-proof
  • Hub: Map
Proof operating boundary

One surface. Three questions.

See what the surface owns, inspect its production contract, then continue through the connected governance loop.

01 / 03 See the boundary

Proof owns the proof graph.

Proof preserves the evidence, decision, outcome, receipt, rollback note, and next owner.

Signal

The source event and reason for review are saved as the beginning of the record.

Decision

The human, agent, or policy judgment explains why the workflow moved, waited, or stopped.

Proof

The proof graph preserves the evidence, outcome, receipt, and rollback note.

Map

The map shows where the Proof belongs and what system relationship it affects.

Evidence
  • Signal: The source event and reason for review are saved as the beginning of the record.
  • Decision: The human, agent, or policy judgment explains why the workflow moved, waited, or stopped.
  • Proof: The proof graph preserves the evidence, outcome, receipt, and rollback note.
  • Map: The map shows where the Proof belongs and what system relationship it affects.
Receipts
Surface: proof-graph4 connected states
02 / 03 Inspect ownership

The boundary stays small enough for operators to inspect.

In production, Proof is required because it owns evidence, outcome, receipt, rollback note, audit trail.

Owns
The durable record

Proof owns the evidence, outcome, receipt, rollback note, audit trail, and next owner.

Consumes
Signal and Decision context

Proof consumes the incoming Signal and the Decision outcome so the record explains both source and judgment.

Protects
Public and private boundaries

Proof can show the business-readable record while keeping credentials, raw logs, and sensitive data out of the public surface.

Evidence
  • The durable record
  • Signal and Decision context
  • Public and private boundaries
Receipts
evidenceoutcomereceiptrollback noteaudit trail
03 / 03 Continue with context

Atlas connects this surface to the rest of the governance loop.

Production workflows need Map, Signal, Decision, and Proof attached to the same operating boundary.

Inbox
Signal

Capture the source context before proof is written.

Queue
Decision

Name the judgment that produced the record.

Map
Map

Attach each proof record to the workflow map.

Evidence
  • Signal
  • Decision
  • Map
Receipts
Signal inboxDecision queueMapProduct overview
Signal inboxDecision queueMapProduct overview
Proof implementation

Attach this surface to a real workflow.

Start with one live workflow, connect the source signal, name the decision owner, and decide which proof record must survive the action.

Map one workflow Talk through one workflow
Owner
Proof operator
Authority
Proof production contract
Proof
Connected workflow receipt
State
review
  1. 01 / Record Define the proof record

    Name the evidence, outcome, owner, receipt, and rollback note the workflow must keep.

  2. 02 / Boundary Separate public from private

    Show the audit trail without exposing credentials, raw logs, or sensitive client data.

  3. 03 / Map Attach the receipt to the map

    Make the proof record visible in the workflow where the decision happened.