Redbo KitchenProduction workbench
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

Production schedule

planned times remain separate from actual events
prep · Cold prep work surfaceWash, dry, pick & cut one 15-plate lotWash, pick & stage the cold diner garnish plate
ready
prep · Cold prep work surfaceDice, season & portion 12 wok drawsDice & portion the brisket trim stream
ready
prep · Rice cookerRinse & cook one dry rice batchCook & rapidly cool jasmine rice
ready
prep · Cold prep work surfaceCut vegetables & portion seasoningBuild one fried-rice wok-mise refill
ready
prep · Cold prep work surfaceSlice one eight-bowl rail refillCut phở bowl aromatics in small batches
ready
prep · Cold prep work surfaceMix filling batchEgg-roll beef & shrimp filling
ready
prep · Broth kettleParboil bones & char aromaticsPhở bone broth
ready
Admission and promises

Ticket stream

economic rank absent by design
T12 · FriesGolden Truffle FriesNot arrived12:05 PM
T8 · Egg rollsCrispy Egg Rolls (Chả Giò)Not arrived12:05 PM
T4 · Brisket phởPhở with Brisket (Phở Chín)Not arrived12:07 PM
T3 · Fried riceWagyu Fried RiceNot arrived12:08 PM
T9 · FriesGolden Truffle FriesNot arrived12:12 PM
T6 · Egg rollsCrispy Egg Rolls (Chả Giò)Not arrived12:12 PM
T2 · Brisket phởPhở with Brisket (Phở Chín)Not arrived12:14 PM
T10 · Fried riceWagyu Fried RiceNot arrived12:15 PM
Physical ≠ reserved ≠ available

Prepared lots

first-expiring-safe selection
Fabricated wagyu brisketbrisket-fabricated
Physical
3.0 lb
Protected
3.0 lb
ATP
0 g
Bowl aromatics — small-batchpho-bowl-aromatics
Physical
8 bowl portion
Protected
0 bowl portion
ATP
8 bowl portion
Chilled fried-rice basefried-rice-base
Physical
7.0 lb
Protected
0 g
ATP
7.0 lb
Cold diner garnish-plate misepho-side-plate-garnish
Physical
15 plate
Protected
0 plate
ATP
15 plate
Cooked wagyu brisketbrisket-cooked
Physical
12 order-equivalent
Protected
0 order-equivalent
ATP
12 order-equivalent
Egg-roll fillingeggroll-filling
Physical
10 order
Protected
0 order
ATP
10 order
Fried-rice wok misefried-rice-mise
Physical
8 portion
Protected
0 portion
ATP
8 portion
Phở bone brothpho-broth
Physical
15.0 qt
Protected
0 ml
ATP
15.0 qt
Portioned wagyu brisket trimwagyu-trim-mise
Physical
2.0 lb
Protected
0 g
ATP
2.0 lb
Immutable execution trace

Why state changed

113 facts
plan publishedPlan publishedUnstarted work and finite capacity were snapshotted.
production job readyProduction Job ReadyTyped operational event 112.
production job authorizedProduction Job AuthorizedTyped operational event 111.
resource reservedResource ReservedTyped operational event 110.
resource reservedResource ReservedTyped operational event 109.
resource reservedResource ReservedTyped operational event 108.
resource reservedResource ReservedTyped operational event 107.
lot reservedLot ReservedTyped operational event 106.
lot reservedLot ReservedTyped operational event 105.
lot reservedLot ReservedTyped operational event 104.
lot reservedLot ReservedTyped operational event 103.
lot reservedLot ReservedTyped operational event 102.
lot reservedLot ReservedTyped operational event 101.
supply allocatedSupply AllocatedTyped operational event 100.
supply allocatedSupply AllocatedTyped operational event 99.
supply allocatedSupply AllocatedTyped operational event 98.
supply allocatedSupply AllocatedTyped operational event 97.
supply allocatedSupply AllocatedTyped operational event 96.