blut-graph-core 0.3.0

Deterministic no_std semantic compiler for capability-driven node graphs: kind-checks declared determinism, effect and partiality, fuses only where semantics are preserved, and lowers to an execution realm.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

// SPDX-License-Identifier: AGPL-3.0-or-later
//! 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.

#![cfg_attr(not(feature = "std"), no_std)]
#![forbid(unsafe_code)]

extern crate alloc;

mod compile;
mod config;
mod execute;
mod mcu;
mod model;
mod plugin;
mod wire;

pub use compile::{CompileError, CompileLimits, Compiler, KernelRegistry, subgraph_identity};
pub use config::{ConfigError, ConfigField, ConfigSchema, ConfigType, ConfigValue};
pub use execute::{
    ExecutionAttempt, ExecutionError, ExecutionFailure, ExecutionReceipt, ExecutionResult,
    FailureEvidence, GapReceipt, KernelExecution, KernelExecutor, KernelGap, PlanExecutor,
    StructuredFailure, TransactionalSink,
};
pub use mcu::{
    MAX_STATIC_STEP_INPUTS, McuArenaRequirements, McuPlanError, StaticArenas, StaticExecutionError,
    StaticExecutor, StaticKernel, StaticReceipt,
};
pub use model::{
    AuthorizedPlan, BufferId, BufferPlan, Capability, CheckpointContract, CheckpointMode,
    CompiledNode, CompiledPlan, CompiledPortContract, DelayContract, DelayInitial, Determinism,
    DomainToken, DomainType, Edge, Effect, ExecutionRealm, ExtentContract, FailureContract,
    FeedbackEdge, FeedbackId, FeedbackPlan, FidelityContract, Graph, GraphId, ImplementationId,
    InputBinding, KernelDescriptor, KernelId, Layout, LayoutConversion, LeaseAccess, LeaseContract,
    LeaseLifetime, MaterializedSubgraph, NodeDescriptor, NodeId, NodeInstance, NodeTypeRef,
    OutputBinding, Partiality, PlanId, PolicyContract, PortDescriptor, PortMap, PortRef,
    ProofContract, ResourceEnvelope, SessionContract, StateContract, StateScope, StepId,
    SubgraphConfigMap, SubgraphId, SubgraphInterfacePort, SubgraphLowering, SubgraphNode,
    SubgraphSchema, Target,
};
pub use plugin::{
    ExecutableDigestAlgorithm, PLUGIN_PROTOCOL_VERSION, PluginControlFrame, PluginControlLimits,
    PluginError, PluginFailure, PluginHost, PluginLifecycle, PluginManifest, PluginRequest,
    PluginResponse, ProcessContract, TeardownPolicy, executable_digest,
};
pub use wire::{PlanAuthorization, PlanDecodeError, PlanLimits};