Crate sim_lib_expr_tree 

Loadable expression-tree runtime and Lisp surface.

ExprTreeLib installs the stable expr-tree/* operation family, one argument and result sim_kernel::Shape contract for every operation, and browseable sim_kernel::card::Card projections. Calls retain ordinary SIM expressions and values while composing the finite namespace, mixed-backend store, bounded incremental calculator, inherited codec policy, standard progress streams, and Citizen reconstruction records.

Live TreeHandle values remain opaque runtime authority: only DurableSourceRecord and DurablePolicyRecord participate in Citizen/read-construct.

Structs

DurablePolicyRecord

Reconstructable durable calculation and codec policy record.

DurableSourceRecord

Reconstructable authored source record.

ExprTreeLib

Host-registered expression-tree runtime library.

TreeCellInspection

Non-evaluating, already-bounded facts for one expression-tree cell.

TreeEntryInspection

Bounded identity facts for one immediate expression-tree entry.

TreeHandle

Opaque live expression-tree handle.

Enums

TreeEntryKind

Kind of one immediate expression-tree entry.

Constants

MAX_LIST_ITEMS

Hard ceiling on entries returned by one list operation.

MAX_TREE_NODES

Hard ceiling on authored namespace nodes in one live tree.

Statics

RECIPES

Cookbook recipes embedded with the loadable library.

Functions

component_identities

Returns the lower-layer identities composed by this library.

crate_identity

Returns the crate’s public runtime-library identity.

durable_policy_class_symbol

Class symbol for DurablePolicyRecord.

durable_source_class_symbol

Class symbol for DurableSourceRecord.

expr_tree_calculate_capability

Capability required for directed calculation, cancellation, and refresh.

expr_tree_citizen_registry

Builds the explicit, dead-code-elimination-safe Citizen registry.

expr_tree_exports

Returns the manifest exports for classes, operations, Shapes, and Cards.

expr_tree_lib_symbol

Stable manifest id for the loadable expression-tree library.

expr_tree_mount_capability

Capability required to attach or remove a Table/Dir backend.

expr_tree_operation_cards_symbol

Value export containing one Card projection per operation.

expr_tree_operation_symbols

Returns every stable operation symbol in product-contract order.

expr_tree_read_capability

Capability required for non-evaluating tree inspection and watches.

expr_tree_write_capability

Capability required for namespace, source, and policy mutation.

install_expr_tree_lib

Installs ExprTreeLib exactly once.

operation_args_shape_symbol

Symbol for one operation’s argument-list Shape.

operation_cards

Projects one browseable Card for every stable expression-tree operation.

operation_result_shape_symbol

Symbol for one operation’s result Shape.