Crate sim_lib_cookbook 

Runtime cookbook: operations for SIM.

This lib exposes the sim_cookbook engine as registered runtime operations over a shared recipe store: cookbook:books|chapters|list|show| setup|search|next|reload (ungated) and cookbook:run (read-eval gated, decodes a recipe’s setup through its codec, evaluates it, and checks declared expectations).

The engine stays in sim-cookbook (kernel-free); this crate holds the kernel integration so the boundary stays clean. CLI, WebUI, browse/help, and agent cookbook surfaces should call these operations or the same seeded store helpers instead of creating a second projection path.

Structs

CookbookCapabilityProfile

The deterministic capability profile the cookbook seats its eval Cx with.

CookbookLib

The cookbook lib, holding the shared recipe store the ops read.

CookbookOp

A registered cookbook operation over a shared recipe store.

CookbookStoreHandle

A runtime value that exposes the shared recipe store to projection layers.

EmptyCatalog

The empty catalog: resolves nothing.

SeededLibCatalog

A catalog over the seeded numbers domains.

Enums

OpKind

Which cookbook operation a CookbookOp performs.

Constants

SEEDED_RECIPE_BOOKS

Seed books embedded by crates that currently ship first-pass recipes.

Statics

RECIPES

Cookbook recipes for this lib, embedded at build time.

Traits

LibCatalog

A resolver from a recipe requires name to a loadable library.

Functions

decode_setup

Decode a recipe’s setup to an Expr without evaluating it (cookbook:setup).

install_cookbook_lib

Install the cookbook lib over store (idempotent).

install_seeded_cookbook_lib

Install the cookbook runtime over the embedded seed recipe store.

load_requires

Load every requires entry of card into cx via catalog, idempotently, returning the names that stayed unresolved (neither already loaded nor carried by the catalog).

manifest_name

The lib id: sim:cookbook.

missing_requires

Lib ids in card.requires that are not currently loaded.

op_exports

The cookbook:* function exports.

require_eval_capability

Error unless the runtime holds the read-eval capability.

run_recipe

Run a recipe end to end against an EmptyCatalog (the legacy path): every required lib must already be loaded into cx, or the run errors.

run_recipe_twice

Run a Category C recipe twice under the same (catalog + Cx) and confirm the two runs produce identical results – the COOKBOOK_7 determinism guard.

run_recipe_with_catalog

Run a recipe end to end, loading its requires from catalog first (COOKBOOK_7 requires-driven loading).

seeded_recipe_store

Build a store populated from the embedded seed recipe books.

store_symbol

The registered value holding the shared cookbook store handle.