/**
 * Kernel Execution — barrel export.
 *
 * The ONLY module CLI / MCP / orchestrator should import from when they
 * need to mutate the repo. Do not reach into `./service` or `./ledger`
 * directly from consumer code.
 */
export type { LedgerEntry, MergeRejectedReason, MergeStatus, RunMergeRequest, RunMergeResult, RunStatus, RunStepMutation, RunStepRequest, RunStepResult, RunVerifyRequest, RunVerifyResult, VerifierResult, VerifyStatus, } from './types.js';
export type { KernelExecutionService } from './contracts.js';
export { KernelExecutionServiceImpl, getKernelExecutionService, configureKernelExecutionService, createTestExecutionService, __resetKernelExecutionServiceForTests, type KernelVerifier, type KernelExecutionServiceOptions, } from './service.js';
export { createKernelLedger, getKernelLedger, __resetKernelLedgerForTests, type KernelLedger, } from './ledger.js';
export type { RuntimeBackend } from '../runtime/contracts.js';
export type { RuntimeExecuteInput, ExecutedStep, PreparedStep, InspectedStep } from '../runtime/types.js';
