/**
 * pi-goals schema — minimal types for the simplified Ralph loop.
 *
 * State of a goal lives entirely in its prd.json file (story.passes flips
 * true→false). No DB, no state machine — the file IS the state.
 */
import { type Static } from "@sinclair/typebox";
export declare const UserStorySchema: import("@sinclair/typebox").TObject<{
    id: import("@sinclair/typebox").TString;
    title: import("@sinclair/typebox").TString;
    description: import("@sinclair/typebox").TString;
    acceptanceCriteria: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
    priority: import("@sinclair/typebox").TNumber;
    passes: import("@sinclair/typebox").TBoolean;
    notes: import("@sinclair/typebox").TString;
}>;
export type UserStory = Static<typeof UserStorySchema>;
export declare const PRDSchema: import("@sinclair/typebox").TObject<{
    project: import("@sinclair/typebox").TString;
    branchName: import("@sinclair/typebox").TString;
    description: import("@sinclair/typebox").TString;
    userStories: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
        id: import("@sinclair/typebox").TString;
        title: import("@sinclair/typebox").TString;
        description: import("@sinclair/typebox").TString;
        acceptanceCriteria: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
        priority: import("@sinclair/typebox").TNumber;
        passes: import("@sinclair/typebox").TBoolean;
        notes: import("@sinclair/typebox").TString;
    }>>;
}>;
export type PRD = Static<typeof PRDSchema>;
/**
 * Shape the verification sub-agent MUST return as JSON in its final message.
 * Anything failing this schema is treated as a verification failure with a
 * parse-error reason — sub-agent can't squeeze malformed output past us
 * (e.g. `{"passes": "yes"}` → was truthy → falsely "passed").
 */
export declare const VerificationResultSchema: import("@sinclair/typebox").TObject<{
    passes: import("@sinclair/typebox").TBoolean;
    evidence: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TRecord<import("@sinclair/typebox").TString, import("@sinclair/typebox").TString>>;
    incompleteReasons: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
}>;
export type VerificationResult = Static<typeof VerificationResultSchema>;
export declare const EXECUTION_TOOLS: readonly ["bash", "read", "write", "edit"];
export declare const VERIFICATION_TOOLS: readonly ["bash", "read"];
export declare const DEFAULT_MAX_ITERATIONS = 10;
//# sourceMappingURL=schema.d.ts.map