ready
Executable production · synthetic operating day
The plan changes. The physical promises do not disappear.
One state now drives prep, accepted tickets, lots, finite resources, actual execution, exceptions, and every revised plan. Change the fryer assumption or impose a failure; the same production model absorbs the shock.
Deterministic replay9:00 AMPlan 1 · feasible
Next validated command
Start Wash, dry, pick & cut one 15-plate lot
Wash, pick & stage the cold diner garnish plate · protected materials and every locked resource phase are feasible
Opening production plan published from synthetic inventory, prep calls, and finite capacity.Physical work0 active7 validated and ready
Demand accepted0 / 80 delivered
Explicit exceptions0never hidden by the plan
State invariants22 intactchecked after every command
Canonical fry time3 minone parameter owns every derived time
Parameter shockFryer cook durationReset the same world fixture under a new versioned assumption.
Prep yield
Opening stock
Demand
Plan comparisonOpening plan established from the synthetic day state.
- Moved
- 0
- Added
- 7
- Executing
- 0
- Largest shift
- —
One resource-feasible plan
planned times remain separate from actual eventsProduction schedule
ready
ready
ready
ready
ready
ready
Admission and promises
economic rank absent by designTicket stream
Physical ≠ reserved ≠ available
first-expiring-safe selectionPrepared lots
- Physical
- 3.0 lb
- Protected
- 3.0 lb
- ATP
- 0 g
- Physical
- 8 bowl portion
- Protected
- 0 bowl portion
- ATP
- 8 bowl portion
- Physical
- 7.0 lb
- Protected
- 0 g
- ATP
- 7.0 lb
- Physical
- 15 plate
- Protected
- 0 plate
- ATP
- 15 plate
- Physical
- 12 order-equivalent
- Protected
- 0 order-equivalent
- ATP
- 12 order-equivalent
- Physical
- 10 order
- Protected
- 0 order
- ATP
- 10 order
- Physical
- 8 portion
- Protected
- 0 portion
- ATP
- 8 portion
- Physical
- 15.0 qt
- Protected
- 0 ml
- ATP
- 15.0 qt
- Physical
- 2.0 lb
- Protected
- 0 g
- ATP
- 2.0 lb
Immutable execution trace
113 facts