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.

Source admission has one separate, deliberately indivisible product: SourceAuthority carries trusted host policy, caller requirements, and diminished allowed powers into ReadEvalRequest or DynamicSourcePolicy. Guest libraries may add source syntax and semantic policy, but never another admission envelope. The host constructs authority; source data cannot.

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.
DynamicSourcePolicy
Reusable policy for dynamic source evaluated through a named codec.
HostConfigEvalOptIn
Host-owned opt-in for realizing explicit config eval nodes.
ReadEvalAdmission
The value-or-error and the single ledger event produced by one admission.
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.
SourceAuthority
Immutable host authority shared by requests that load or evaluate source.

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.