import { type Static, Type } from "typebox";
export declare const ASM_CONTRACT_NAMESPACE: "ai.aletheion.asm";
export declare const ASM_CONTRACT_MAJOR: 1;
export declare const ASM_CONTRACT_MINOR: 1;
export declare const MemoryContractSchema: Type.TObject<{
    header: Type.TObject<{
        namespace: Type.TLiteral<"ai.aletheion.asm">;
        major: Type.TLiteral<1>;
        minor: Type.TInteger;
    }>;
    memoryId: Type.TString;
    revision: Type.TInteger;
    ownerId: Type.TString;
    projectId: Type.TString;
    sessionId: Type.TOptional<Type.TString>;
    kind: Type.TUnion<[Type.TLiteral<"observation">, Type.TLiteral<"fact">, Type.TLiteral<"instruction">]>;
    content: Type.TString;
    evidenceIds: Type.TArray<Type.TString>;
    createdAt: Type.TString;
    tombstonedAt: Type.TOptional<Type.TString>;
    metadata: Type.TOptional<Type.TRecord<"^.*$", Type.TUnknown>>;
}>;
export declare const EvidenceContractSchema: Type.TObject<{
    header: Type.TObject<{
        namespace: Type.TLiteral<"ai.aletheion.asm">;
        major: Type.TLiteral<1>;
        minor: Type.TInteger;
    }>;
    evidenceId: Type.TString;
    ownerId: Type.TString;
    projectId: Type.TString;
    sourceType: Type.TUnion<[Type.TLiteral<"user">, Type.TLiteral<"tool">, Type.TLiteral<"document">, Type.TLiteral<"system">]>;
    sourceUri: Type.TOptional<Type.TString>;
    digest: Type.TString;
    capturedAt: Type.TString;
    contentType: Type.TString;
    metadata: Type.TOptional<Type.TRecord<"^.*$", Type.TUnknown>>;
}>;
export declare const RetrievalContractSchema: Type.TObject<{
    header: Type.TObject<{
        namespace: Type.TLiteral<"ai.aletheion.asm">;
        major: Type.TLiteral<1>;
        minor: Type.TInteger;
    }>;
    requestId: Type.TString;
    ownerId: Type.TString;
    projectId: Type.TString;
    sessionId: Type.TOptional<Type.TString>;
    query: Type.TString;
    limit: Type.TInteger;
    algorithm: Type.TString;
    candidates: Type.TArray<Type.TObject<{
        memoryId: Type.TString;
        score: Type.TNumber;
        selected: Type.TBoolean;
        reasonCodes: Type.TArray<Type.TString>;
    }>>;
    startedAt: Type.TString;
    latencyMs: Type.TInteger;
}>;
export declare const IntentContractSchema: Type.TObject<{
    header: Type.TObject<{
        namespace: Type.TLiteral<"ai.aletheion.asm">;
        major: Type.TLiteral<1>;
        minor: Type.TInteger;
    }>;
    intentId: Type.TString;
    operation: Type.TUnion<[Type.TLiteral<"diagnose">, Type.TLiteral<"read">, Type.TLiteral<"write">, Type.TLiteral<"execute">, Type.TLiteral<"communicate">, Type.TLiteral<"deploy">, Type.TLiteral<"purchase">, Type.TLiteral<"delete">]>;
    resources: Type.TArray<Type.TString>;
    externalEffect: Type.TBoolean;
    idempotencyKey: Type.TOptional<Type.TString>;
    requestedAt: Type.TString;
    arguments: Type.TRecord<"^.*$", Type.TUnknown>;
}>;
export declare const PolicyContractSchema: Type.TObject<{
    header: Type.TObject<{
        namespace: Type.TLiteral<"ai.aletheion.asm">;
        major: Type.TLiteral<1>;
        minor: Type.TInteger;
    }>;
    decisionId: Type.TString;
    intentId: Type.TString;
    outcome: Type.TUnion<[Type.TLiteral<"allow">, Type.TLiteral<"deny">, Type.TLiteral<"require_approval">]>;
    reasonCodes: Type.TArray<Type.TString>;
    requiredApprovals: Type.TArray<Type.TString>;
    decidedAt: Type.TString;
    policyVersion: Type.TString;
}>;
export declare const FeedbackContractSchema: Type.TObject<{
    header: Type.TObject<{
        namespace: Type.TLiteral<"ai.aletheion.asm">;
        major: Type.TLiteral<1>;
        minor: Type.TInteger;
    }>;
    feedbackId: Type.TString;
    targetType: Type.TUnion<[Type.TLiteral<"memory">, Type.TLiteral<"retrieval">, Type.TLiteral<"action">]>;
    targetId: Type.TString;
    rating: Type.TUnion<[Type.TLiteral<"positive">, Type.TLiteral<"negative">, Type.TLiteral<"correction">]>;
    comment: Type.TOptional<Type.TString>;
    createdAt: Type.TString;
}>;
export declare const StateSnapshotContractSchema: Type.TObject<{
    header: Type.TObject<{
        namespace: Type.TLiteral<"ai.aletheion.asm">;
        major: Type.TLiteral<1>;
        minor: Type.TInteger;
    }>;
    snapshotId: Type.TString;
    sessionId: Type.TString;
    sequence: Type.TInteger;
    state: Type.TRecord<"^.*$", Type.TUnknown>;
    digest: Type.TString;
    createdAt: Type.TString;
}>;
export declare const InferenceManifestContractSchema: Type.TObject<{
    header: Type.TObject<{
        namespace: Type.TLiteral<"ai.aletheion.asm">;
        major: Type.TLiteral<1>;
        minor: Type.TInteger;
    }>;
    manifestId: Type.TString;
    modelId: Type.TString;
    modelVersion: Type.TString;
    backend: Type.TUnion<[Type.TLiteral<"deterministic">, Type.TLiteral<"vector">, Type.TLiteral<"causal_head">, Type.TLiteral<"dual_asm">, Type.TLiteral<"asm_cm">]>;
    artifactDigest: Type.TOptional<Type.TString>;
    contractMajors: Type.TRecord<"^.*$", Type.TInteger>;
    parameters: Type.TRecord<"^.*$", Type.TUnknown>;
    createdAt: Type.TString;
}>;
export declare const ASM_CONTRACT_SCHEMAS: {
    readonly memory: Type.TObject<{
        header: Type.TObject<{
            namespace: Type.TLiteral<"ai.aletheion.asm">;
            major: Type.TLiteral<1>;
            minor: Type.TInteger;
        }>;
        memoryId: Type.TString;
        revision: Type.TInteger;
        ownerId: Type.TString;
        projectId: Type.TString;
        sessionId: Type.TOptional<Type.TString>;
        kind: Type.TUnion<[Type.TLiteral<"observation">, Type.TLiteral<"fact">, Type.TLiteral<"instruction">]>;
        content: Type.TString;
        evidenceIds: Type.TArray<Type.TString>;
        createdAt: Type.TString;
        tombstonedAt: Type.TOptional<Type.TString>;
        metadata: Type.TOptional<Type.TRecord<"^.*$", Type.TUnknown>>;
    }>;
    readonly evidence: Type.TObject<{
        header: Type.TObject<{
            namespace: Type.TLiteral<"ai.aletheion.asm">;
            major: Type.TLiteral<1>;
            minor: Type.TInteger;
        }>;
        evidenceId: Type.TString;
        ownerId: Type.TString;
        projectId: Type.TString;
        sourceType: Type.TUnion<[Type.TLiteral<"user">, Type.TLiteral<"tool">, Type.TLiteral<"document">, Type.TLiteral<"system">]>;
        sourceUri: Type.TOptional<Type.TString>;
        digest: Type.TString;
        capturedAt: Type.TString;
        contentType: Type.TString;
        metadata: Type.TOptional<Type.TRecord<"^.*$", Type.TUnknown>>;
    }>;
    readonly retrieval: Type.TObject<{
        header: Type.TObject<{
            namespace: Type.TLiteral<"ai.aletheion.asm">;
            major: Type.TLiteral<1>;
            minor: Type.TInteger;
        }>;
        requestId: Type.TString;
        ownerId: Type.TString;
        projectId: Type.TString;
        sessionId: Type.TOptional<Type.TString>;
        query: Type.TString;
        limit: Type.TInteger;
        algorithm: Type.TString;
        candidates: Type.TArray<Type.TObject<{
            memoryId: Type.TString;
            score: Type.TNumber;
            selected: Type.TBoolean;
            reasonCodes: Type.TArray<Type.TString>;
        }>>;
        startedAt: Type.TString;
        latencyMs: Type.TInteger;
    }>;
    readonly intent: Type.TObject<{
        header: Type.TObject<{
            namespace: Type.TLiteral<"ai.aletheion.asm">;
            major: Type.TLiteral<1>;
            minor: Type.TInteger;
        }>;
        intentId: Type.TString;
        operation: Type.TUnion<[Type.TLiteral<"diagnose">, Type.TLiteral<"read">, Type.TLiteral<"write">, Type.TLiteral<"execute">, Type.TLiteral<"communicate">, Type.TLiteral<"deploy">, Type.TLiteral<"purchase">, Type.TLiteral<"delete">]>;
        resources: Type.TArray<Type.TString>;
        externalEffect: Type.TBoolean;
        idempotencyKey: Type.TOptional<Type.TString>;
        requestedAt: Type.TString;
        arguments: Type.TRecord<"^.*$", Type.TUnknown>;
    }>;
    readonly policy: Type.TObject<{
        header: Type.TObject<{
            namespace: Type.TLiteral<"ai.aletheion.asm">;
            major: Type.TLiteral<1>;
            minor: Type.TInteger;
        }>;
        decisionId: Type.TString;
        intentId: Type.TString;
        outcome: Type.TUnion<[Type.TLiteral<"allow">, Type.TLiteral<"deny">, Type.TLiteral<"require_approval">]>;
        reasonCodes: Type.TArray<Type.TString>;
        requiredApprovals: Type.TArray<Type.TString>;
        decidedAt: Type.TString;
        policyVersion: Type.TString;
    }>;
    readonly feedback: Type.TObject<{
        header: Type.TObject<{
            namespace: Type.TLiteral<"ai.aletheion.asm">;
            major: Type.TLiteral<1>;
            minor: Type.TInteger;
        }>;
        feedbackId: Type.TString;
        targetType: Type.TUnion<[Type.TLiteral<"memory">, Type.TLiteral<"retrieval">, Type.TLiteral<"action">]>;
        targetId: Type.TString;
        rating: Type.TUnion<[Type.TLiteral<"positive">, Type.TLiteral<"negative">, Type.TLiteral<"correction">]>;
        comment: Type.TOptional<Type.TString>;
        createdAt: Type.TString;
    }>;
    readonly stateSnapshot: Type.TObject<{
        header: Type.TObject<{
            namespace: Type.TLiteral<"ai.aletheion.asm">;
            major: Type.TLiteral<1>;
            minor: Type.TInteger;
        }>;
        snapshotId: Type.TString;
        sessionId: Type.TString;
        sequence: Type.TInteger;
        state: Type.TRecord<"^.*$", Type.TUnknown>;
        digest: Type.TString;
        createdAt: Type.TString;
    }>;
    readonly inferenceManifest: Type.TObject<{
        header: Type.TObject<{
            namespace: Type.TLiteral<"ai.aletheion.asm">;
            major: Type.TLiteral<1>;
            minor: Type.TInteger;
        }>;
        manifestId: Type.TString;
        modelId: Type.TString;
        modelVersion: Type.TString;
        backend: Type.TUnion<[Type.TLiteral<"deterministic">, Type.TLiteral<"vector">, Type.TLiteral<"causal_head">, Type.TLiteral<"dual_asm">, Type.TLiteral<"asm_cm">]>;
        artifactDigest: Type.TOptional<Type.TString>;
        contractMajors: Type.TRecord<"^.*$", Type.TInteger>;
        parameters: Type.TRecord<"^.*$", Type.TUnknown>;
        createdAt: Type.TString;
    }>;
};
export type AsmContractName = keyof typeof ASM_CONTRACT_SCHEMAS;
export type MemoryContract = Static<typeof MemoryContractSchema>;
export type EvidenceContract = Static<typeof EvidenceContractSchema>;
export type RetrievalContract = Static<typeof RetrievalContractSchema>;
export type IntentContract = Static<typeof IntentContractSchema>;
export type PolicyContract = Static<typeof PolicyContractSchema>;
export type FeedbackContract = Static<typeof FeedbackContractSchema>;
export type StateSnapshotContract = Static<typeof StateSnapshotContractSchema>;
export type InferenceManifestContract = Static<typeof InferenceManifestContractSchema>;
//# sourceMappingURL=schemas.d.ts.map