import Type, { type Static } from "typebox";
/**
 * Base schema shared by all entity fork records. Each record tracks that
 * a specific entity was created as part of a fork operation.
 *
 * No checksum field — fork records are immutable after creation.
 */
export declare const CoreEntityForkRecordSchema: Type.TObject<{
    entityId: Type.TString;
    forkedFromEntityId: Type.TString;
    forkedFromArgumentId: Type.TString;
    forkedFromArgumentVersion: Type.TNumber;
    forkId: Type.TString;
}>;
export type TCoreEntityForkRecord = Static<typeof CoreEntityForkRecordSchema>;
/** Argument fork record. Identical to base. */
export declare const CoreArgumentForkRecordSchema: Type.TObject<{
    entityId: Type.TString;
    forkedFromEntityId: Type.TString;
    forkedFromArgumentId: Type.TString;
    forkedFromArgumentVersion: Type.TNumber;
    forkId: Type.TString;
}>;
export type TCoreArgumentForkRecord = TCoreEntityForkRecord;
/** Premise fork record. Identical to base. */
export declare const CorePremiseForkRecordSchema: Type.TObject<{
    entityId: Type.TString;
    forkedFromEntityId: Type.TString;
    forkedFromArgumentId: Type.TString;
    forkedFromArgumentVersion: Type.TNumber;
    forkId: Type.TString;
}>;
export type TCorePremiseForkRecord = TCoreEntityForkRecord;
/** Expression fork record. Adds source premise reference. */
export declare const CoreExpressionForkRecordSchema: Type.TIntersect<[Type.TObject<{
    entityId: Type.TString;
    forkedFromEntityId: Type.TString;
    forkedFromArgumentId: Type.TString;
    forkedFromArgumentVersion: Type.TNumber;
    forkId: Type.TString;
}>, Type.TObject<{
    forkedFromPremiseId: Type.TString;
}>]>;
export type TCoreExpressionForkRecord = Static<typeof CoreExpressionForkRecordSchema>;
/** Variable fork record. Identical to base. */
export declare const CoreVariableForkRecordSchema: Type.TObject<{
    entityId: Type.TString;
    forkedFromEntityId: Type.TString;
    forkedFromArgumentId: Type.TString;
    forkedFromArgumentVersion: Type.TNumber;
    forkId: Type.TString;
}>;
export type TCoreVariableForkRecord = TCoreEntityForkRecord;
/** Claim fork record. Adds version tracking for independently versioned claims. */
export declare const CoreClaimForkRecordSchema: Type.TIntersect<[Type.TObject<{
    entityId: Type.TString;
    forkedFromEntityId: Type.TString;
    forkedFromArgumentId: Type.TString;
    forkedFromArgumentVersion: Type.TNumber;
    forkId: Type.TString;
}>, Type.TObject<{
    forkedFromEntityVersion: Type.TNumber;
}>]>;
export type TCoreClaimForkRecord = Static<typeof CoreClaimForkRecordSchema>;
//# sourceMappingURL=fork.d.ts.map