Builder / Lumber guided tour

See how one action reaches a bounded result.

Compare supported and unresolved outcomes in a package-free synthetic guided tour.

EVALUATE NOW

Reserve 12 boards of synthetic lumber

Static scenario data; no provider or package is executed.

Shared scenario state

Each branch shows an alternative selected after authoritative verification—not two executions or two granted claims.

Proposal: Reserve 12 cedar 2×6 boards for repair work order WO-184.
Host context: Tenant workshop-7 · requester buyer-204 · facilities buyer · USD 1,000 limit.
Grounded target: SKU CEDAR-2X6-12 · referent catalog:workshop-7:CEDAR-2X6-12.
Requested effect: Create one quantity-12 reservation bound to effect-lumber-184.
Authorization: ALLOW · item, quantity, work order, tenant, and budget match policy.

COMMITTED

Synthetic lifecycle artifacts

Provider observation: One illustrative dispatch, attempt-lumber-184-a. The provider returns ACKNOWLEDGED with RES-184; acknowledgement is not effect truth.
Verifier evidence: An independent inventory read finds RES-184 for the exact tenant, SKU, and quantity: PRESENT.
Effect truth: PRESENT maps to COMMITTED for effect-lumber-184.
Permitted claim: “12 cedar boards are reserved for work order WO-184.”

UNKNOWN

Synthetic lifecycle artifacts

Provider observation: One illustrative dispatch, attempt-lumber-184-b. The response is lost after the boundary may have been crossed: UNCERTAIN.
Verifier evidence: The independent inventory read is unavailable: INDETERMINATE.
Effect truth: INDETERMINATE maps to UNKNOWN. The original result remains immutable.
Claim authority: No ordinary safe claim. An opted-in initial-plan branch may authorize only a historical statement scoped RELATED_INITIAL_VERIFICATION_OBSERVATION_ONLY.
Safe continuation: Use verifier-only live reconciliation on the exact owned UNKNOWN or durable recovery after process loss. Zero provider redispatch.