Crate aidens_kernel_kit 

Thin kernel facade over canonical compiler, execution, oracle, and core crates.

Re-exports

pub use regional_decoder::classify_convergence;

pub use regional_decoder::ConvergenceState;

pub use regional_decoder::ConvergenceStopReason;

pub use regional_decoder::RegionContractV1;

pub use regional_decoder::RegionConvergenceReportV1;

pub use regional_decoder::ResidualEnvelopeV1;

pub use regional_decoder::SyndromeEnvelopeV1;

pub use lawful_subtraction::BudgetType;

pub use lawful_subtraction::CompactionReceiptV1;

pub use lawful_subtraction::InvariantBudgetV1;

pub use lawful_subtraction::RemovalFrontierV1;

pub use lawful_subtraction::SubtractionOperation;

pub use lawful_subtraction::SubtractionPlanV1;

pub use lawful_subtraction::SupportCoreV1;

Modules

canonical_stack

lawful_subtraction

P16 — Lawful subtraction, compaction, and invariant-preserving reduction.

mechanism

P18 — Mechanism/theory search, experiment runtime, and falsifiable model library.

regional_decoder

P11 — Regional Decoder Kernel types.

Structs

CanonicalKernelAdapter

CompileOutput

CompilerPolicy

ConformanceGateResult

Result of a conformance gate check.

ExecutionBudget

ExecutionReport

OracleAssessment

ReasoningOutput

Bundled output from a full reasoning run.

ScheduledExecution

Enums

ExecutionStopReason

OracleMode