Crate sim_lib_cookbook

Expand description

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), cookbook:run (read-eval gated, decodes a recipe’s setup through its codec, evaluates it, and checks declared expectations), and cookbook:load-lib|unload-lib lifecycle wrappers over a host-owned loadable-lib directory.

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§

BuiltInLoadableResolver: Resolver for the seed-recipes built-in loadable-lib directory.
ConfigCookbookProvider: Cookbook config provider backed by a merged effective config Dir.
ConfigProvider: Converts a CookbookConfig into an effective loadable-lib directory.
CookbookCapabilityProfile: The deterministic capability profile the cookbook seats its eval Cx with.
CookbookConfig: In-memory shape of the sim/cookbook config table.
CookbookLib: The cookbook lib, holding the shared recipe store the ops read.
CookbookLifecycleOp: A registered lifecycle operation over a loadable-lib directory.
CookbookOp: A registered cookbook operation over a shared recipe store.
CookbookOverrides: Overlay parsed from the sim/cookbook effective config table.
CookbookStoreHandle: A runtime value that exposes the shared recipe store to projection layers.
EmptyCatalog: The empty catalog: resolves nothing.
LoadableLibConfig: One configured loadable-lib row.
LoadableLibEntry: One known library in the cookbook’s effective loadable-lib directory.
LoadableLibList: Effective directory of host-loadable libraries known to the cookbook.
ResolvedLoadable: Host-resolved loadable-lib material.
SeededLibCatalog: A catalog over the seeded numbers domains.

Enums§

LifecycleAction: Lifecycle command encoded by a synthetic cookbook card.
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.
LoadableLibResolver: Host resolver for config-selected loadable libs.

Functions§

apply_overrides: Applies a cookbook config overlay over an existing directory snapshot.
built_in_config: Built-in cookbook directory config used by the seeded host resolver.
cookbook_config_from_effective: Builds the in-memory cookbook directory config from an effective Dir.
cookbook_config_from_effective_with_base: Builds the in-memory cookbook directory by applying effective overrides over a host-provided base directory.
cookbook_lib_symbol: Returns the stable config library id for cookbook defaults.
cookbook_overrides_from_effective: Parses the effective sim/cookbook table as a directory overlay.
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_cookbook_lib_with_loadable_libs: Install the cookbook lib with lifecycle ops over loadable_libs.
install_seeded_cookbook_lib: Install the cookbook runtime over the embedded seed recipe store.
lifecycle_action: Reads the lifecycle action encoded by a synthetic cookbook card.
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.
projected_recipe_store: Builds the cookbook store for the current load state and known directory.
require_eval_capability: Error unless the runtime holds the read-eval capability.
run_lifecycle_action: Execute one lifecycle command and package it as a RecipeRun.
run_recipe: Run a recipe end to end against an EmptyCatalog (the direct 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.
run_recipe_with_catalog: Run a recipe end to end, loading its requires from catalog first.
run_recipe_with_loadable_libs: Run a cookbook card against a dynamic loadable-lib directory.
seeded_recipe_store: Build a store populated from the embedded seed recipe books.
store_symbol: The registered value holding the shared cookbook store handle.

Type Aliases§

LibFactory: Host-owned factory for constructing a loadable library.