/**
 * @adjudicate/core — claims module barrel (SDD §I, §E, §K).
 *
 * The structural core of the Claims runtime's TYPE surface: the two-level
 * outcome model (`ClaimVerdict` / `TurnTerminal` — §I) and the per-type
 * `EvidenceRequirement` schema the §5 soundness predicate quantifies over (§E).
 * Self-contained within `@adjudicate/core`; no kernel-downstream import (§R).
 */
export * from "./verdict.js";
export * from "./evidence-requirement.js";
export * from "./evidence-ledger.js";
export * from "./soundness.js";
export * from "./consistency.js";
export * from "./kernels.js";
export * from "./registry-diff.js";
export * from "./claim-definition.js";
export * from "./claim-compiler.js";
export { type CanonicalClaim, unwrapCanonical } from "./canonical-claim.js";
//# sourceMappingURL=index.d.ts.map