Crate sim_expr_tree_calc

Expand description

Bounded incremental calculation for ordinary expression-tree values.

Cell sources are ordinary sim_kernel::Expr graphs evaluated through a fresh sim_kernel::Cx; successful results remain ordinary sim_kernel::Value handles. The calculator adds dynamic tree-reference observation, dependency-first pull verification, deterministic cycles, canonical fingerprint cutoff, conservative volatility for noncanonical values, inherited triggers, directed force modes, immutable authority diminution, restartable automatic queues, bounded standard progress streams, versioned Table-backed graph snapshots, explicit non-watch backend refresh, calculation receipts, explanations, failure memos, and explicitly labelled last-good recovery without introducing a product-specific value enum.

Structs§

AuthorityDigest: Compact deterministic effective-authority digest.
AuthorityPolicyPatch: Capability allow/deny/require override at one policy level.
AutomaticBudget: Bound applied to one automatic scheduler turn.
AutomaticContinuation: Opaque explicit continuation for remaining automatic queue work.
AutomaticQueueSnapshot: Restartable snapshot of the deterministic automatic queue.
AutomaticRun: Evidence returned by one bounded automatic scheduler turn.
BackendRefreshSample: One explicit observation of a mounted backend that lacks a watch contract.
CalcExplanation: Inspectable, non-evaluating explanation of one cell’s current state.
CalcLimits: Caller-requested limits for one verification.
CalcPolicyPatch: Field-by-field calculation policy override at one tree, directory, or cell.
CalcReceipt: Bounded immutable evidence for one calculation attempt.
CalcWatch: A bounded standard stream endpoint carrying expression-tree progress and change packets.
CodecPolicyPatch: Patch applied at the tree, directory, or cell policy level.
DependencyStamp: One bounded dependency observation in a calculation receipt.
DerivedPersistReport: Evidence returned after writing the current derived graph.
DerivedRestoreReport: Evidence returned after opening derived state.
DerivedTableAdapter: Adapter that stores one versioned graph record in an ordinary SIM Table.
DirectedCalcReport: Aggregate result of a directed calculation request.
DirectedCellResult: Result of one directed root in a stable multi-root request.
EffectStamp: One existing kernel effect-ledger record summarized into a receipt.
EffectiveAuthority: Fully diminished authority and requirements for one cell.
EffectiveCalcPolicy: Fully inherited calculation policy for one cell.
EffectiveCodecPolicy: Fully resolved codec and face policy at one namespace node.
EncodedFace: A bounded presentation face plus explicit outcome metadata.
ExprTreeCalc: Incremental calculator for ordinary SIM Expr sources and Value results.
ExprTreeRefPolicy
FaceBudget: Independent resource ceilings for one encoded source or result face.
FaceMetadata: Metadata carried for every edit and face, including failures.
LastGoodValue: A retained successful value explicitly labelled as historical.
PolicyDigest: Compact deterministic calculation-policy digest.
QueuedCalculation: One deterministic automatic queue entry suitable for persistence.
RefreshReport: Evidence from one explicit refresh pass.
RequestId: Stable identity of one directed or automatic calculation request.
SourceEditOutcome: Result of applying edited source.

Enums§

CalcError: A current-result error. Last-good data is available separately.
CalcOutcome: Terminal outcome recorded for one cell attempt.
CalcQuery: A query key in the expression-tree incremental graph.
CalcReason: Why a calculation attempt ran.
CalcRequestMode: Incremental reuse/forcing behavior of a directed request.
CalcStatus: Non-evaluating status exposed by the explanation model.
CalcTrigger: Mutation behavior for a calculated cell.
CellFailure: A memoized, deterministic calculation failure.
CycleMode: How a dynamic dependency cycle is represented.
DerivedRestoreDisposition: Why an open reused or conservatively rebuilt derived state.
DerivedSnapshotError: A derived Table access or snapshot export failure.
ErrorMode: How a multi-root request responds to one failed root.
FaceContent: Encoded face payload.
FaceDimension: Resource dimension that stopped a bounded face operation.
FaceIssue: Explicit outcome metadata for source edits and encoded faces.
FacePosition: Position recorded beside a source edit or encoded face.
RefreshError: A refresh registration, sample, or validation failure.

Constants§

DERIVED_SNAPSHOT_KEY: Default key used by DerivedTableAdapter in the derived Table.
EXPR_TREE_REF
GRAPH_SCHEMA_VERSION: Current durable expression-tree graph schema.
HARD_MAX_EXPR_DEPTH
HARD_MAX_OBSERVATIONS
HARD_MAX_OUTPUT
HARD_MAX_QUERY_DEPTH
HARD_MAX_WORK: Absolute safety ceilings for one expression-tree calculation.

Traits§

MountRefreshSource: Explicit sampling contract for one mounted backend.

Functions§

core_identity: Returns the core crate identity used by this scaffold dependency.
crate_identity: Returns the crate’s public scaffold identity.