Examples

DATA PLATE

DOC

Examples

SS-EXAMPLES-2026.06

REV

SURFACE

PUBLIC

MODEL

State is queried. Decisions are made. Actions remain application-owned.

PURPOSE

Problem-first examples for billing and access evidence.

REF

Examples

COMMON QUESTIONS

Why was this customer charged?
Why was this account denied access?
Why did this subscription expire?
What did the application know when it acted?

StateMirror preserves the submitted evidence for those questions.
Logs and state stores help reconstruct later.
The application still owns the decision and action.

CONCRETE SCENARIO

Question:
Why was this customer denied access?

Facts consulted:
- plan state
- denial state
- expiry state

Application outcome:
Access denied

StateMirror role:
Preserve the submitted evidence snapshot for later inspection,
export, and integrity verification.

INDEX

Decision evidence: StateMirror

Preserve submitted decision-time evidence instead of reconstructing from logs and state stores.

Billing access: Why was this account allowed or denied?

Query supporting facts, submit evidence to StateMirror and keep the outcome in the application.

Supporting fact: PlanSignal

Query plan and entitlement facts before the application decides access.

Supporting fact: DenySignal

Query explicit denial facts before the application blocks or limits behavior.

Supporting fact: ExpirySignal

Query temporal validity facts before the application treats something as current.

Composition: Signal composition

Compose focused facts while keeping the final decision outside SimpleStates.

BOUNDARY

Facts in.
Evidence preserved when submitted.

Decisions are made.
Actions remain application-owned.

<- Products