@receiz/mcp-server/dist/v124Operations.d.ts

MCP server for agents building and verifying Receiz proof-native applications through the canonical Receiz SDK rails.

type JsonObject = Record<string, unknown>;
type ToolName = (typeof RECEIZ_V124_MCP_TOOL_NAMES)[number];
export declare const RECEIZ_V124_MCP_TOOL_NAMES: readonly ["receiz_v124_kai_now", "receiz_v124_proof_authority_challenge_create", "receiz_v124_execution_plan_atomic_operation", "receiz_v124_execution_stage", "receiz_v124_execution_stage_prepared", "receiz_v124_execution_execute", "receiz_v124_execution_resolve", "receiz_v124_execution_resolve_by_idempotency", "receiz_v124_execution_cancel", "receiz_v124_runtime_authority_session_open", "receiz_v124_runtime_authority_session_refresh", "receiz_v124_runtime_authority_session_close", "receiz_v124_runtime_qualify", "receiz_v124_domain_verified_additions", "receiz_v124_domain_verified_replay", "receiz_v124_domain_verified_checkpoint", "receiz_v124_domain_verified_private_additions", "receiz_v124_domain_replay_proof_object_export", "receiz_v124_domain_replay_proof_object_restore", "receiz_source_carried_replay_open", "receiz_conversation_source_family_open", "receiz_conversation_epoch_grants_plan", "receiz_material_source_parts_open", "receiz_v124_subject_namespaces_resolve", "receiz_v124_identity_public_recipient_resolve", "receiz_v124_source_publish_sealed"];
/**
 * Fixed route scopes only. Authority-session tools additionally preserve the
 * exact challenge/grant scopes, and source publication selects exactly one
 * listed scope from the sealed source kind. A scope is never identity authority.
 */
export declare const RECEIZ_V124_MCP_REQUIRED_SCOPES: Readonly<Record<ToolName, readonly string[]>>;
export declare const RECEIZ_V124_MCP_SCOPE_REQUIREMENTS: Readonly<{
    receiz_v124_execution_execute: Readonly<{
        mode: "active-session-and-route";
        sessionGrant: "exact-stored-granted-scopes";
        requiredGrantedRail: "settlement-or-reserve-when-operation-category-requires-it";
        bearerRequired: true;
    }>;
    receiz_v124_execution_cancel: Readonly<{
        mode: "active-session-and-route";
        sessionGrant: "exact-stored-granted-scopes";
        requiredGrantedRail: "settlement-or-reserve-when-operation-category-requires-it";
        bearerRequired: true;
    }>;
    receiz_v124_runtime_authority_session_open: Readonly<{
        mode: "challenge-and-rails";
        challengeScopes: "exact-signed-challenge-scopes";
        railScopePattern: "receiz:<requested-rail>.write";
        bearerRequired: true;
    }>;
    receiz_v124_runtime_authority_session_refresh: Readonly<{
        mode: "challenge-and-rails";
        challengeScopes: "exact-signed-challenge-scopes";
        railScopePattern: "receiz:<requested-rail>.write";
        bearerRequired: true;
    }>;
    receiz_v124_runtime_authority_session_close: Readonly<{
        mode: "stored-session-grant";
        bearerRequired: true;
    }>;
    receiz_v124_runtime_qualify: Readonly<{
        mode: "application-bound-bearer";
        bearerRequired: true;
    }>;
    receiz_v124_domain_verified_private_additions: Readonly<{
        mode: "active-session-and-route";
        sessionGrant: "exact-stored-granted-scopes";
        bearerRequired: true;
    }>;
    receiz_v124_identity_public_recipient_resolve: Readonly<{
        mode: "active-session-and-route";
        sessionGrant: "exact-stored-granted-scopes";
        bearerRequired: true;
    }>;
    receiz_v124_source_publish_sealed: Readonly<{
        mode: "source-kind";
        variants: Readonly<{
            subject: readonly string[];
            "replay-segment": readonly string[];
            checkpoint: readonly string[];
        }>;
        sessionBySourceKind: Readonly<{
            subject: "not-required";
            "replay-segment": "active-session-with-exact-stored-grant";
            checkpoint: "active-session-with-exact-stored-grant";
        }>;
        bearerRequired: true;
    }>;
}>;
export declare const RECEIZ_V124_MCP_TOOLS: {
    name: "receiz_v124_kai_now" | "receiz_v124_proof_authority_challenge_create" | "receiz_v124_runtime_authority_session_open" | "receiz_v124_runtime_authority_session_refresh" | "receiz_v124_runtime_authority_session_close" | "receiz_v124_runtime_qualify" | "receiz_v124_domain_verified_additions" | "receiz_v124_domain_verified_replay" | "receiz_v124_domain_verified_checkpoint" | "receiz_v124_domain_verified_private_additions" | "receiz_v124_domain_replay_proof_object_export" | "receiz_v124_domain_replay_proof_object_restore" | "receiz_source_carried_replay_open" | "receiz_conversation_source_family_open" | "receiz_conversation_epoch_grants_plan" | "receiz_material_source_parts_open" | "receiz_v124_subject_namespaces_resolve" | "receiz_v124_identity_public_recipient_resolve" | "receiz_v124_source_publish_sealed" | "receiz_v124_execution_resolve" | "receiz_v124_execution_resolve_by_idempotency" | "receiz_v124_execution_plan_atomic_operation" | "receiz_v124_execution_stage" | "receiz_v124_execution_stage_prepared" | "receiz_v124_execution_execute" | "receiz_v124_execution_cancel";
    description: string;
    inputSchema: JsonObject;
    outputSchema: {
        type: string;
        additionalProperties: boolean;
    };
}[];
export type ReceizMcpV124Client = Readonly<{
    execution: Readonly<{
        planAtomicOperationV124(input: unknown): Promise<unknown>;
        stage(input: unknown): Promise<unknown>;
        stagePrepared(plan: unknown, transitionSet: unknown): Promise<unknown>;
        execute(handle: unknown, authoritySession: unknown): Promise<unknown>;
        resolve(input: unknown): Promise<unknown>;
        resolveByIdempotencyKey(input: unknown): Promise<unknown>;
        cancel(handle: unknown, authoritySession: unknown): Promise<unknown>;
        exportCommittedRecovery?(outcome: unknown): unknown;
    }>;
    runtime: Readonly<{
        openAuthoritySessionV124(input: unknown): Promise<unknown>;
        refreshAuthoritySessionV124(input: unknown): Promise<unknown>;
        closeAuthoritySessionV124(input: unknown): Promise<unknown>;
        qualifyV124(input: unknown): Promise<unknown>;
    }>;
    domains: Readonly<{
        verifiedAdditionsV124(input: unknown): Promise<unknown>;
        verifiedReplayV124(input: unknown): Promise<unknown>;
        verifiedCheckpointV124(input: unknown): Promise<unknown>;
        verifiedPrivateAdditionsV124(input: unknown): Promise<unknown>;
        exportVerifiedReplayProofObjectV124(input: unknown): Promise<unknown>;
        restoreVerifiedReplayProofObjectV124(input: unknown): Promise<unknown>;
    }>;
    subjects: Readonly<{
        resolveNamespacesV124(input: unknown): Promise<unknown>;
    }>;
    identity: Readonly<{
        resolvePublicRecipientV124(input: unknown): Promise<unknown>;
    }>;
    sources: Readonly<{
        publishSealedSourceV124(input: unknown): Promise<unknown>;
    }>;
}>;
export type ReceizMcpV124CallOptions = Readonly<{
    applicationId?: string;
    requirePinnedApplicationId?: boolean;
    requireReferenceMaterials?: boolean;
    resolveMaterial?: (input: ReceizMcpV124MaterialResolution) => unknown | Promise<unknown>;
    persistMaterial?: (input: ReceizMcpV124MaterialPersistence) => string | Promise<string>;
}>;
export declare const RECEIZ_V124_MCP_MATERIAL_KINDS: readonly ["operation-plan", "identity-artifact", "subject-source-artifact", "signed-challenge", "portable-transition-set", "sealed-source-artifact", "sealed-replay-proof-object", "persisted-authority-session", "private-additions", "conversation-epoch-secret", "conversation-recipient-set", "material-source-family", "verified-portable-transition-set", "prepared-portable-transition-commit-set", "committed-artifact-transitions", "portable-transition-recovery"];
export type ReceizMcpV124MaterialKind = (typeof RECEIZ_V124_MCP_MATERIAL_KINDS)[number];
export type ReceizMcpV124MaterialResolution = Readonly<{
    reference: string;
    kind: ReceizMcpV124MaterialKind;
    applicationId: string;
}>;
export type ReceizMcpV124MaterialPersistence = Readonly<{
    kind: ReceizMcpV124MaterialKind;
    applicationId: string;
    value: unknown;
}>;
/** Exact private-material fingerprint for later MCP custody composition. Not proof admission. */
export declare function digestReceizV124McpMaterial(value: unknown): Promise<string>;
export declare function admitReceizV124McpMaterial(client: ReceizMcpV124Client, input: Readonly<{
    kind: ReceizMcpV124MaterialKind;
    applicationId: string;
    value: unknown;
}>): string;
export declare function readReceizV124McpMaterial(client: ReceizMcpV124Client, input: Readonly<{
    reference: string;
    kind: ReceizMcpV124MaterialKind;
    applicationId: string;
}>): unknown;
export declare function resolveReceizV124McpMaterial(client: ReceizMcpV124Client, options: ReceizMcpV124CallOptions, reference: unknown, kind: ReceizMcpV124MaterialKind): Promise<unknown>;
export declare function persistReceizV124McpMaterial(client: ReceizMcpV124Client, options: ReceizMcpV124CallOptions, kind: ReceizMcpV124MaterialKind, value: unknown): Promise<string>;
export declare function callReceizV124McpOperation(client: ReceizMcpV124Client, name: string, args: JsonObject, options?: ReceizMcpV124CallOptions): Promise<unknown>;
export {};
//# sourceMappingURL=v124Operations.d.ts.map