/**
 * @fileoverview Functional Head Schemas (SPEC Section 6)
 *
 * Intent IR uses a fixed hierarchy of functional heads derived from linguistic theory.
 * All head values are enumerated and finite per AD-INT-002.
 */
import { z } from "zod";
/**
 * Force represents the illocutionary force of the utterance.
 * What the speaker intends to accomplish.
 */
export declare const ForceSchema: z.ZodEnum<{
    ASK: "ASK";
    DO: "DO";
    VERIFY: "VERIFY";
    CONFIRM: "CONFIRM";
    CLARIFY: "CLARIFY";
}>;
export type Force = z.infer<typeof ForceSchema>;
/**
 * EventClass provides coarse-grained categorization of the event/operation type.
 */
export declare const EventClassSchema: z.ZodEnum<{
    OBSERVE: "OBSERVE";
    TRANSFORM: "TRANSFORM";
    SOLVE: "SOLVE";
    CREATE: "CREATE";
    DECIDE: "DECIDE";
    CONTROL: "CONTROL";
}>;
export type EventClass = z.infer<typeof EventClassSchema>;
/**
 * Roles represent thematic relations between the event and its arguments.
 */
export declare const RoleSchema: z.ZodEnum<{
    TARGET: "TARGET";
    THEME: "THEME";
    SOURCE: "SOURCE";
    DEST: "DEST";
    INSTRUMENT: "INSTRUMENT";
    BENEFICIARY: "BENEFICIARY";
}>;
export type Role = z.infer<typeof RoleSchema>;
/**
 * Modality expresses deontic force - obligation, permission, prohibition.
 */
export declare const ModalitySchema: z.ZodEnum<{
    MUST: "MUST";
    SHOULD: "SHOULD";
    MAY: "MAY";
    FORBID: "FORBID";
}>;
export type Modality = z.infer<typeof ModalitySchema>;
/**
 * Time specifies temporal constraints on the event.
 */
export declare const TimeKindSchema: z.ZodEnum<{
    NOW: "NOW";
    AT: "AT";
    BEFORE: "BEFORE";
    AFTER: "AFTER";
    WITHIN: "WITHIN";
}>;
export type TimeKind = z.infer<typeof TimeKindSchema>;
/**
 * VerifyMode specifies the verification contract for the output.
 */
export declare const VerifyModeSchema: z.ZodEnum<{
    NONE: "NONE";
    TEST: "TEST";
    PROOF: "PROOF";
    CITATION: "CITATION";
    RUBRIC: "RUBRIC";
    POLICY: "POLICY";
}>;
export type VerifyMode = z.infer<typeof VerifyModeSchema>;
/**
 * OutputType specifies the expected output format.
 */
export declare const OutputTypeSchema: z.ZodEnum<{
    number: "number";
    expression: "expression";
    proof: "proof";
    explanation: "explanation";
    summary: "summary";
    plan: "plan";
    code: "code";
    text: "text";
    artifactRef: "artifactRef";
}>;
export type OutputType = z.infer<typeof OutputTypeSchema>;
/**
 * OutputFormat specifies the serialization format.
 */
export declare const OutputFormatSchema: z.ZodEnum<{
    text: "text";
    markdown: "markdown";
    json: "json";
    latex: "latex";
}>;
export type OutputFormat = z.infer<typeof OutputFormatSchema>;
//# sourceMappingURL=heads.d.ts.map