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§
- Config
Eval Node - Parsed data carried by an explicit
config/evalnode. - Dynamic
Source Policy - Reusable policy for dynamic source evaluated through a named codec.
- Host
Config Eval OptIn - Host-owned opt-in for realizing explicit config eval nodes.
- Read
Eval Admission - The value-or-error and the single ledger event produced by one admission.
- 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.
- Source
Authority - Immutable host authority shared by requests that load or evaluate source.
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.