/**
 * `senpi validate` — proving a strategy can actually run, before it is funded.
 *
 * This layer is the vocabulary: the finding shape every check speaks, the closed set of codes, and
 * the accounting that keeps the two honest. Checks themselves live in sibling modules.
 */
export type { Actor, Depth, Finding, FindingLocation, FixKind, Severity, ValidationStage, } from "./types.js";
export { DEPTH_ORDER, depthsUpTo } from "./types.js";
export { resolveTarget, type ResolvedTarget, type TargetInput, type TargetKind, type TargetResolution, } from "./target.js";
export { ALL_VALIDATE_CODES, VALIDATE_CODE, VALIDATE_CODE_META, codesForStage, severityOf, type ValidateCode, type ValidateCodeMeta, } from "./codes.js";
export { findUncoveredCodes, findUnknownCodes, type CoverageOptions } from "./coverage.js";
export { findLlmActionsWithoutModel, findMarginPctFraction, findMissingEntrypoints, findUngatedStrategy, findUnsizedStrategy, } from "./recipe-checks.js";
export { collectRecipeFindings, type RecipeSource, type RecipeValidation, } from "./recipe.js";
export { isImplemented, runValidation, type ExitCode, type ValidateDeps, type ValidateOptions, type ValidateResult, type Verdict, type VerdictBasis, } from "./run.js";
export { renderFinding, renderHuman, renderJson } from "./report.js";
/**
 * What the runtime refuses to install. Wired into `senpi.installRuntime`; the boot loop
 * deliberately does NOT use it — see the module header for why.
 */
export { INSTALL_BLOCKING_CODES, checkInstallGate, type InstallGateResult } from "./install-gate.js";
/**
 * The deploy verb's half of the gate. `verifyProof(packageDir)` answers "is this package's
 * content the content that passed?" — pure observation, never throws, and every refusal carries
 * a finding whose fix is the same one command. Enforcement belongs to the caller.
 */
export { PROOF_FILENAME, fingerprintPackage, verifyProof, writeProof, type ProofRecord, type ScannerObservation, type VerifyOptions, type VerifyReason, type VerifyResult, } from "./proof.js";
export { checkScanner, resolveRoot, scaffoldPackageDir, toFindings, type ScannerTarget, } from "./import-stage.js";
//# sourceMappingURL=index.d.ts.map