import Type, { type Static, type TSchema } from "typebox";
import type { TParsingSchemaOptions } from "./types.js";
export declare const ParsedClaimRoleType: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"conclusion">, Type.TLiteral<"intermediate">]>;
export declare const ParsedClaimTypeType: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
export declare const ParsedClaimSchema: Type.TObject<{
    miniId: Type.TString;
    role: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"conclusion">, Type.TLiteral<"intermediate">]>;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
}>;
export type TParsedClaim = Static<typeof ParsedClaimSchema>;
export declare const ParsedVariableSchema: Type.TObject<{
    miniId: Type.TString;
    symbol: Type.TString;
    claimMiniId: Type.TString;
}>;
export type TParsedVariable = Static<typeof ParsedVariableSchema>;
export declare const ParsedPremiseSchema: Type.TObject<{
    miniId: Type.TString;
    formula: Type.TString;
}>;
export type TParsedPremise = Static<typeof ParsedPremiseSchema>;
export declare const ParsedDerivationBackingSchema: Type.TObject<{
    derivedClaimMiniId: Type.TString;
    supportingClaimMiniIds: Type.TArray<Type.TString>;
}>;
export type TParsedDerivationBacking = Static<typeof ParsedDerivationBackingSchema>;
export declare const ParsedArgumentSchema: Type.TObject<{
    claims: Type.TArray<Type.TObject<{
        miniId: Type.TString;
        role: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"conclusion">, Type.TLiteral<"intermediate">]>;
        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
    }>>;
    variables: Type.TArray<Type.TObject<{
        miniId: Type.TString;
        symbol: Type.TString;
        claimMiniId: Type.TString;
    }>>;
    premises: Type.TArray<Type.TObject<{
        miniId: Type.TString;
        formula: Type.TString;
    }>>;
    conclusionPremiseMiniId: Type.TString;
    derivationBacking: Type.TOptional<Type.TArray<Type.TObject<{
        derivedClaimMiniId: Type.TString;
        supportingClaimMiniIds: Type.TArray<Type.TString>;
    }>>>;
}>;
export type TParsedArgument = Static<typeof ParsedArgumentSchema>;
export declare const ParsedArgumentResponseSchema: Type.TObject<{
    argument: Type.TUnion<[Type.TObject<{
        claims: Type.TArray<Type.TObject<{
            miniId: Type.TString;
            role: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"conclusion">, Type.TLiteral<"intermediate">]>;
            type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
        }>>;
        variables: Type.TArray<Type.TObject<{
            miniId: Type.TString;
            symbol: Type.TString;
            claimMiniId: Type.TString;
        }>>;
        premises: Type.TArray<Type.TObject<{
            miniId: Type.TString;
            formula: Type.TString;
        }>>;
        conclusionPremiseMiniId: Type.TString;
        derivationBacking: Type.TOptional<Type.TArray<Type.TObject<{
            derivedClaimMiniId: Type.TString;
            supportingClaimMiniIds: Type.TArray<Type.TString>;
        }>>>;
    }>, Type.TNull]>;
    uncategorizedText: Type.TUnion<[Type.TString, Type.TNull]>;
    selectionRationale: Type.TUnion<[Type.TString, Type.TNull]>;
    failureText: Type.TUnion<[Type.TString, Type.TNull]>;
}>;
export type TParsedArgumentResponse = Static<typeof ParsedArgumentResponseSchema>;
/** Builds a composite response schema by merging optional per-entity schema extensions into the base parsing schemata. */
export declare function buildParsingResponseSchema(options?: TParsingSchemaOptions): TSchema;
/** Returns a plain JSON-serializable copy of the given schema (defaults to {@link ParsedArgumentResponseSchema}). */
export declare function getParsingResponseSchema(schema?: TSchema): Record<string, unknown>;
//# sourceMappingURL=schemata.d.ts.map