Module runtime 

Runtime utilities for lsp-max servers.

Provides SHA-256 hashing, the ConformanceVector (Admitted/Refused/Unknown tallies), and the MaxServer wrapper that wires a LanguageServer impl into the five-layer AMI execution model used by lsp-max.

Re-exports

pub use mesh::build_conformance_vector;

pub use mesh::AutonomicMesh;

pub use mesh::MaxMesh;

pub use mesh_hooks::CustomerRequestClassifierHook;

pub use mesh_hooks::IntakeClearHook;

pub use mesh_hooks::IntakeDiagnosticHook;

pub use mesh_hooks::OcelProcessHook;

pub use mesh_hooks::PolicyEvaluationHook;

pub use mesh_hooks::ReceiptRoutingHook;

pub use mesh_types::AutonomicMeshState;

pub use mesh_types::ConformanceDeltaEntry;

pub use mesh_types::ConformanceGrade;

pub use mesh_types::FailureMode;

pub use mesh_types::Hook;

pub use mesh_types::HookDescriptor;

pub use mesh_types::LspInstance;

pub use mesh_types::LspPhase;

pub use mesh_types::MaxMethod;

pub use mesh_types::MeshAction;

pub use sha256::sha256;

pub use sha256::validate_and_reconstruct_chain_checked;

pub use typestate::AccessAdmissionLaw;

pub use typestate::ChainError;

pub use typestate::Data;

pub use typestate::DeterministicSnapshot;

pub use typestate::EmptyData;

pub use typestate::Exited;

pub use typestate::Initialized;

pub use typestate::InitializedData;

pub use typestate::Initializing;

pub use typestate::InitializingData;

pub use typestate::Law;

pub use typestate::Machine;

pub use typestate::Phase;

pub use typestate::ShutDown;

pub use typestate::TypestateKernel;

pub use typestate::Uninitialized;

pub use control_plane::replay;

pub use control_plane::views;

Modules

control_plane

ledger

mesh

mesh_hooks

mesh_types

rpc

sha256

typestate

Typestate machine types for AccessAdmissionLaw.

Structs

InstanceId

MaxDiagnostic

Receipt

A content-addressed ledger entry: hash is the digest of an artifact’s exact bytes, and prev_receipt_hash closes the Merkle chain (None only for genesis). See the runnable witness in examples/receipt_chain_explained.rs, which demonstrates content-addressing, tamper detection, the circular-hash trap, and chain linkage — and panics if any of them regress. For receipt verification driving the conformance gate, see examples/admission_pipeline.rs.

Enums

HookEvent

PolicyState