import Type, { type Static } from "typebox";
export declare const BasicsNormalClaimExtension: Type.TObject<{
    title: Type.TString;
    body: Type.TString;
    type: Type.TLiteral<"normal">;
}>;
export declare const BasicsCitationClaimExtension: Type.TObject<{
    title: Type.TString;
    url: Type.TString;
    citationTypeGuess: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>>;
    type: Type.TLiteral<"citation">;
}>;
export declare const BasicsAxiomaticClaimExtension: Type.TObject<{
    axiom: Type.TString;
    type: Type.TLiteral<"axiomatic">;
}>;
export declare const BasicsClaimExtension: Type.TUnion<[Type.TObject<{
    title: Type.TString;
    body: Type.TString;
    type: Type.TLiteral<"normal">;
}>, Type.TObject<{
    title: Type.TString;
    url: Type.TString;
    citationTypeGuess: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>>;
    type: Type.TLiteral<"citation">;
}>, Type.TObject<{
    axiom: Type.TString;
    type: Type.TLiteral<"axiomatic">;
}>]>;
/**
 * Variable extension under the basics schema is empty — the core
 * `ParsedVariableSchema` already carries everything the basics
 * pipeline needs. Exported so the ingestion extension descriptor
 * can compose against a single source of truth.
 */
export declare const BasicsVariableExtension: Type.TObject<{}>;
export declare const BasicsPremiseExtension: Type.TObject<{
    title: Type.TString;
}>;
export declare const BasicsArgumentExtension: Type.TObject<{
    title: Type.TString;
}>;
export declare const BasicsArgumentSchema: Type.TIntersect<[Type.TObject<{
    id: Type.TString;
    version: Type.TNumber;
    checksum: Type.TString;
    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
    combinedChecksum: Type.TString;
}>, Type.TObject<{
    title: Type.TString;
}>]>;
export type TBasicsArgument = Static<typeof BasicsArgumentSchema>;
export declare const BasicsNormalClaimSchema: Type.TIntersect<[Type.TObject<{
    id: Type.TString;
    version: Type.TNumber;
    frozen: Type.TBoolean;
    checksum: Type.TString;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
}>, Type.TObject<{
    title: Type.TString;
    body: Type.TString;
    type: Type.TLiteral<"normal">;
}>]>;
export type TBasicsNormalClaim = Static<typeof BasicsNormalClaimSchema>;
export declare const BasicsCitationClaimSchema: Type.TIntersect<[Type.TObject<{
    id: Type.TString;
    version: Type.TNumber;
    frozen: Type.TBoolean;
    checksum: Type.TString;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
}>, Type.TObject<{
    title: Type.TString;
    url: Type.TString;
    citationTypeGuess: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>>;
    type: Type.TLiteral<"citation">;
}>]>;
export type TBasicsCitationClaim = Static<typeof BasicsCitationClaimSchema>;
export declare const BasicsAxiomaticClaimSchema: Type.TIntersect<[Type.TObject<{
    id: Type.TString;
    version: Type.TNumber;
    frozen: Type.TBoolean;
    checksum: Type.TString;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
}>, Type.TObject<{
    axiom: Type.TString;
    type: Type.TLiteral<"axiomatic">;
}>]>;
export type TBasicsAxiomaticClaim = Static<typeof BasicsAxiomaticClaimSchema>;
export declare const BasicsClaimSchema: Type.TUnion<[Type.TIntersect<[Type.TObject<{
    id: Type.TString;
    version: Type.TNumber;
    frozen: Type.TBoolean;
    checksum: Type.TString;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
}>, Type.TObject<{
    title: Type.TString;
    body: Type.TString;
    type: Type.TLiteral<"normal">;
}>]>, Type.TIntersect<[Type.TObject<{
    id: Type.TString;
    version: Type.TNumber;
    frozen: Type.TBoolean;
    checksum: Type.TString;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
}>, Type.TObject<{
    title: Type.TString;
    url: Type.TString;
    citationTypeGuess: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>>;
    type: Type.TLiteral<"citation">;
}>]>, Type.TIntersect<[Type.TObject<{
    id: Type.TString;
    version: Type.TNumber;
    frozen: Type.TBoolean;
    checksum: Type.TString;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
}>, Type.TObject<{
    axiom: Type.TString;
    type: Type.TLiteral<"axiomatic">;
}>]>]>;
export type TBasicsClaim = Static<typeof BasicsClaimSchema>;
export declare const BasicsPremiseSchema: Type.TIntersect<[Type.TUnion<[Type.TObject<{
    type: Type.TLiteral<"freeform">;
    id: Type.TString;
    argumentId: Type.TString;
    argumentVersion: Type.TNumber;
    checksum: Type.TString;
    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
    combinedChecksum: Type.TString;
    enthymeme: Type.TOptional<Type.TLiteral<true>>;
}>, Type.TObject<{
    type: Type.TLiteral<"derivation">;
    derivedClaimId: Type.TString;
    id: Type.TString;
    argumentId: Type.TString;
    argumentVersion: Type.TNumber;
    checksum: Type.TString;
    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
    combinedChecksum: Type.TString;
    enthymeme: Type.TOptional<Type.TLiteral<true>>;
}>]>, Type.TObject<{
    title: Type.TString;
}>]>;
export type TBasicsPremise = Static<typeof BasicsPremiseSchema>;
export declare const BasicsParsingSchema: Type.TSchema;
//# sourceMappingURL=schemata.d.ts.map