Crate harn_kernel 

Portable Harn compiler and deterministic execution kernel.

This crate is deliberately a dependency leaf with no filesystem, network, process, clock, random, model, or async-runtime authority.

Re-exports

pub use artifact::compile_program;

pub use artifact::semantic_abi_fingerprint_hex;

pub use artifact::ArtifactLimits;

pub use artifact::Diagnostic;

pub use artifact::EntryKind;

pub use artifact::ProgramArtifact;

pub use artifact::ARTIFACT_VERSION;

pub use benchmark::benchmark_terminal_digest;

pub use benchmark::portable_benchmark_json_schema;

pub use benchmark::BenchmarkBuildProfile;

pub use benchmark::BenchmarkEntryKind;

pub use benchmark::BenchmarkProvenance;

pub use benchmark::BenchmarkStatistics;

pub use benchmark::BenchmarkStatisticsError;

pub use benchmark::BenchmarkTarget;

pub use benchmark::CompileMeasurements;

pub use benchmark::DispatchMeasurements;

pub use benchmark::PortableBenchmarkReceipt;

pub use benchmark::PORTABLE_BENCHMARK_SCHEMA_VERSION;

pub use benchmark::PORTABLE_MAX_COMPILE_ITERATIONS;

pub use benchmark::PORTABLE_MAX_DISPATCH_ITERATIONS;

pub use benchmark::PORTABLE_MAX_WORKERS;

pub use compiler::CompileError;

pub use compiler::CompiledCallableEntry;

pub use compiler::Compiler;

pub use compiler::CompilerOptions;

pub use execution::replay;

pub use execution::resume;

pub use execution::start;

pub use execution::CapabilityRequest;

pub use execution::CapabilityResult;

pub use execution::DataValue;

pub use execution::Execution;

pub use execution::GrantSet;

pub use execution::ValueShape;

pub use opcode::opcode_abi_fingerprint;

pub use opcode::Op;

pub use opcode::OperandKind;

pub use opcode::Portability;

pub use opcode::OPCODE_ABI_ARTIFACT_VERSION;

pub use opcode::OPCODE_ABI_FINGERPRINT_V1;

pub use program::Chunk;

pub use program::CompiledFunction;

pub use program::Constant;

pub use program::LocalSlotInfo;

pub use program::ParamSlot;

Modules

artifact

benchmark

Deterministic aggregation for benchmark receipts.

chunk

Compatibility namespace kept private to the compiler implementation while the public contract calls this immutable structure a program image.

compiler

execution

opcode

Stable opcode vocabulary shared by every Harn execution target.

program

type_contract

Runtime type-contract matching shared by native and portable execution.

value

Structs

BuiltinId

Compact, deterministic identifier for a builtin name.

Constants

KERNEL_VERSION

Version of the crate that owns portable artifact and execution semantics. Adapters use this value directly so benchmark provenance cannot drift to the version of whichever host happens to emit a receipt.

Functions

compile_source

Compile a checked source module with deterministic options.

compile_source_named