Skip to main content

Crate sim_lib_core

Crate sim_lib_core 

Source
Expand description

Shared surface-pack substrate for SIM runtime libraries.

The kernel defines the Lib/Registry/ExportRecord contracts; this crate supplies the shared substrate for declaring exported value cards as data and installing them once, idempotently, into a registry.

Re-exports§

pub use surface::SurfaceField;
pub use surface::SurfacePackLib;
pub use surface::SurfacePackSpec;
pub use surface::SurfaceValueSpec;
pub use surface::card_expr;
pub use surface::install_once;
pub use surface::install_once_id;
pub use surface::installed_lib_id;

Modules§

surface
Surface-pack card libs and idempotent install.

Structs§

ConfigEvalNode
Parsed data carried by an explicit config/eval node.
HostConfigEvalOptIn
Host-owned opt-in for realizing explicit config eval nodes.
ReadEvalBroker
The one runtime admission gate for explicit diminished read-eval.
ReadEvalBrokerLib
Loadable library that registers the read-eval broker value.
ReadEvalDecision
Data recorded for one explicit read-eval admission decision.
ReadEvalRequest
A single explicit, host-authorized read-eval admission request.
RequestOrigin
Open origin data for an explicit read-eval request.

Enums§

ReadEvalOutcome
The outcome recorded for one explicit read-eval admission request.
ReadEvalSource
Source accepted by the read-eval broker.

Statics§

RECIPES
Recipes embedded at build time from this crate’s recipes/ tree.

Functions§

config_eval_node_symbol
Returns the explicit config eval node symbol.
config_eval_origin_tag
Returns the origin tag used for config eval broker ledger entries.
install_read_eval_broker
Installs the read-eval broker library if it is not already loaded.
manifest_name
Returns the manifest name under which this surface pack installs (lisp:core).
parse_config_eval_node
Parses an explicit config eval node from expression data.
read_eval_broker_lib_id
Returns the manifest id for the read-eval broker library.
read_eval_broker_symbol
Returns the broker value symbol exported by ReadEvalBrokerLib.
read_eval_decision_run
Returns the default run reference used by the read-eval decision ledger.
realize_config_expr
Realizes explicit config eval nodes in a decoded config expression.