import Type, { type Static } from "typebox";
export declare const CliArgumentMetaSchema: Type.TObject<{
    id: Type.TString;
    title: Type.TString;
    description: Type.TOptional<Type.TString>;
}>;
export type TCliArgumentMeta = Static<typeof CliArgumentMetaSchema>;
export declare const CliArgumentVersionMetaSchema: Type.TObject<{
    version: Type.TNumber;
    createdAt: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
    published: Type.TBoolean;
    publishedAt: Type.TOptional<Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>>;
}>;
export type TCliArgumentVersionMeta = Static<typeof CliArgumentVersionMetaSchema>;
export declare const CliPremiseMetaSchema: Type.TObject<{
    id: Type.TString;
    title: Type.TOptional<Type.TString>;
    enthymeme: Type.TOptional<Type.TLiteral<true>>;
}>;
export type TCliPremiseMeta = Static<typeof CliPremiseMetaSchema>;
export declare const CliPremiseDataSchema: Type.TObject<{
    rootExpressionId: Type.TOptional<Type.TString>;
    variables: Type.TArray<Type.TString>;
    expressions: Type.TArray<Type.TUnion<[Type.TObject<{
        id: Type.TString;
        argumentId: Type.TString;
        argumentVersion: Type.TNumber;
        premiseId: Type.TOptional<Type.TString>;
        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
        position: Type.TNumber;
        checksum: Type.TOptional<Type.TString>;
        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
        combinedChecksum: Type.TOptional<Type.TString>;
        type: Type.TLiteral<"variable">;
        variableId: Type.TString;
        enthymeme: Type.TOptional<Type.TLiteral<true>>;
    }>, Type.TObject<{
        id: Type.TString;
        argumentId: Type.TString;
        argumentVersion: Type.TNumber;
        premiseId: Type.TOptional<Type.TString>;
        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
        position: Type.TNumber;
        checksum: Type.TOptional<Type.TString>;
        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
        combinedChecksum: Type.TOptional<Type.TString>;
        type: Type.TLiteral<"operator">;
        operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"xor">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
    }>, Type.TObject<{
        id: Type.TString;
        argumentId: Type.TString;
        argumentVersion: Type.TNumber;
        premiseId: Type.TOptional<Type.TString>;
        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
        position: Type.TNumber;
        checksum: Type.TOptional<Type.TString>;
        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
        combinedChecksum: Type.TOptional<Type.TString>;
        type: Type.TLiteral<"formula">;
    }>]>>;
}>;
export type TCliPremiseData = Static<typeof CliPremiseDataSchema>;
export declare const CliAxiomReasonCode: Type.TUnion<[Type.TLiteral<"true-by-definition">, Type.TLiteral<"historically-established">, Type.TLiteral<"logically-required">]>;
export type TCliAxiomReasonCode = Static<typeof CliAxiomReasonCode>;
export declare const CLI_AXIOM_REASON_CODES: readonly TCliAxiomReasonCode[];
//# sourceMappingURL=schemata.d.ts.map