Crafting Bench

Fill a queue of orders at a workshop that uses what is on the shelf first and otherwise builds parts from recipes, trying recipes in a fixed order.

The workshop has a stock of items and a list of recipes. recipes[r] = [item, yield, ingredients] means: one run of recipe r produces yield units of item and uses ingredients, a list of [ingredient, count] pairs. An item may have several recipes; they are tried in the order they appear in recipes. An item with no recipe (a raw material) can only come from stock. Recipes never form a cycle.

To obtain one unit of item X:

1. If the stock holds at least one X, take it (stock goes down by 1). Done.
2. Otherwise try X's recipes in list order. To try a recipe, obtain its ingredients one pair at a time in the listed order: for [ing, k], obtain one unit of ing (by this same procedure) k times. If every ingredient is obtained, the recipe succeeds: the ingredients are consumed, and the yield units of X are made, one of which is the unit being obtained and the other yield - 1 go into stock. Done.
3. If a recipe fails part-way, everything it consumed or made while trying is put back exactly as it was before the attempt, and the next recipe is tried.
4. If no recipe succeeds (or X has none), X cannot be obtained and the stock is unchanged.

An order [item, qty] is filled by obtaining qty units of item, one after another. If all succeed, the order is "OK" and the units leave the workshop (they are not returned to stock). If any unit cannot be obtained, the order is "SHORT" and the stock is restored to exactly what it was before this order. Orders are processed in sequence on the same stock.

Input: recipes, stock (a list of [item, count]), and orders (a list of [item, qty]).

Output: a list [results, leftover]: results has "OK" or "SHORT" for each order, and leftover lists the final stock as [item, count] pairs for items with count above 0, sorted by item name.