Expand description
Deterministic semantic graph compilation for ABIR-compatible module seams.
This crate deliberately contains no filesystem, network, async-runtime, or biosignal-format dependency. A graph describes semantic nodes; compilation selects compatible kernels, validates all contracts, allocates bounded buffers, and emits one canonical plan for MCU, host, or durable execution.
Structs§
- Authorized
Plan - A compiled plan whose physical steps have been selected from, or checked
against, a trusted kernel registry. Structural AOT decoding deliberately
returns
CompiledPlan; only local compilation or registry-bound decoding can construct this executable wrapper. - Buffer
Id - Buffer
Plan - Capability
- Checkpoint
Contract - Compile
Limits - Compiled
Node - Compiled
Plan - Compiled
Port Contract - Compiler
- Config
Field - Config
Schema - Delay
Contract - Domain
Token - An opaque, domain-supplied classification token.
- Domain
Type - A port’s domain classification: the artifact, and the projection of it.
- Edge
- Execution
Attempt - Execution
Failure - Execution
Realm - An opaque execution realm token. See
Targetfor why this is a newtype, why the ordinals are wire, and whyDebugis hand-written. - Execution
Receipt - Execution
Result - Extent
Contract - Failure
Contract - Failure
Evidence - Feedback
Edge - Feedback
Id - Feedback
Plan - Fidelity
Contract - GapReceipt
- Graph
- GraphId
- Implementation
Id - Kernel
Descriptor - Kernel
Execution - Kernel
Gap - Kernel
Id - Kernel
Registry - Layout
- An opaque buffer-layout token. See
Targetfor why this is a newtype, why the ordinals are wire, and whyDebugis hand-written. - Layout
Conversion - Lease
Contract - Materialized
Subgraph - McuArena
Requirements - Node
Descriptor - NodeId
- Node
Instance - Node
Type Ref - Plan
Authorization - Plan
Executor - PlanId
- Plan
Limits - Plugin
Control Limits - Plugin
Failure - Plugin
Manifest - Plugin
Request - Plugin
Response - Policy
Contract - Port
Descriptor - PortMap
- PortRef
- Process
Contract - Proof
Contract - Resource
Envelope - Session
Contract - State
Contract - Static
Arenas - Caller-owned execution arenas for
StaticExecutor::execute. Firmware provisions each slice once fromMcuArenaRequirements; the executor grows none of them. - Static
Executor - The distinct, allocation-free execution engine for authorized firmware
plans. It consumes the exact
McuArenaRequirementsand executes over caller-owned arenas, growing no collection and touching no allocator. This is the firmware counterpart to the hostcrate::PlanExecutor; both drive the same canonicalAuthorizedPlanto an identity-stable receipt. - Static
Receipt - A compact,
Copy, allocation-free execution receipt. Firmware records only bounded scalars; the host reconstructs full attempt detail from the plan. - StepId
- Structured
Failure - Subgraph
Config Map - Subgraph
Id - Subgraph
Interface Port - Subgraph
Lowering - Subgraph
Node - Subgraph
Schema - Target
- An opaque execution target token.
Enums§
- Checkpoint
Mode - Compile
Error - Config
Error - Config
Type - Config
Value - Exact, architecture-independent values accepted by semantic node instances.
- Delay
Initial - Determinism
- Effect
- Executable
Digest Algorithm - Execution
Error - Input
Binding - Lease
Access - Lease
Lifetime - McuPlan
Error - Output
Binding - Partiality
- Plan
Decode Error - Plugin
Control Frame - Plugin
Error - Plugin
Lifecycle - State
Scope - Static
Execution Error - A structured fault raised by the statically linked MCU executor. Every variant is a bounded-arena or contract violation; the executor never allocates and never panics on well-formed firmware plans.
- Teardown
Policy
Constants§
- MAX_
STATIC_ STEP_ INPUTS - Maximum physical fan-in a statically linked MCU step may declare. The firmware executor gathers input references on the stack, so this bound keeps the gather buffer alloc-free. Compilation already caps fan-in far below this.
- PLUGIN_
PROTOCOL_ VERSION
Traits§
- Kernel
Executor - Plugin
Host - Static
Kernel - A statically linked firmware kernel. Unlike
crate::KernelExecutor, it writes into a caller-owned output slice and never allocates. - Transactional
Sink
Functions§
- executable_
digest - subgraph_
identity - Domain-separated semantic identity for a normalized hierarchical schema.