export { BASE_ENV, SLOTS_ENV } from './baseline.js';
export { CONFIG_FILE, type DeclaredStep, loadVerifyConfig, resolveTier, type StepProof, type TierStep, type VerifyConfig } from './config.js';
export { type Green, greenOnThisTree } from './green.js';
export { type Proof, prove } from './prove.js';
export { copyTree, formatProof, proveTier, type StepProofResult, type StepProofVerdict, type TierProof } from './prove-steps.js';
export type { EvidenceOptions } from './evidence.js';
export { failureEvidence } from './evidence.js';
export { DEFAULT_REPORT, type GateReport, type GateStep, lastLines, NEVER_RAN, TAIL_LINES, writeReport } from './report.js';
export { runSteps, shellRun, type StepResult, type StepRun, stepIds } from './run.js';
export { type DayRecord, formatStats, readStats, recordTurn, type Stats, TURNS_FILE, type Window } from './stats.js';