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§
- Config
Eval Node - Parsed data carried by an explicit
config/evalnode. - Host
Config Eval OptIn - Host-owned opt-in for realizing explicit config eval nodes.
- Read
Eval Broker - The one runtime admission gate for explicit diminished read-eval.
- Read
Eval Broker Lib - Loadable library that registers the read-eval broker value.
- Read
Eval Decision - Data recorded for one explicit read-eval admission decision.
- Read
Eval Request - A single explicit, host-authorized read-eval admission request.
- Request
Origin - Open origin data for an explicit read-eval request.
Enums§
- Read
Eval Outcome - The outcome recorded for one explicit read-eval admission request.
- Read
Eval Source - 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.