@receiz/mcp-server
Version:
MCP server for agents building and verifying Receiz proof-native applications through the canonical Receiz SDK rails.
649 lines • 42.3 kB
TypeScript
import type { ReceizV127SubjectRuntimeAdapter } from "@receiz/sdk";
import { type ReceizArtifactAdmissionOptions, type ReceizArtifactAdmissionResult, type ReceizArtifactAppendPlan, type ReceizArtifactTransitionSealer, type ReceizArtifactTransitionStore, type ReceizRegistryDiscoveryResult, type ReceizVerifiedCapability, type ReceizVerifiedIdentityArtifactAdmission, type ReceizVerifiedProofHistory } from "@receiz/sdk";
import type { ReceizRemoteDomain } from "@receiz/sdk";
import { type ReceizMcpLivingSubjectClient } from "./livingSubjectOperations.js";
type JsonObject = Record<string, unknown>;
type Tool = Readonly<{
name: string;
description: string;
inputSchema: JsonObject;
outputSchema: JsonObject;
}>;
export type ReceizMcpOperationsClient = Readonly<{
profile: Readonly<{
update(profile: JsonObject): Promise<unknown>;
}>;
assets: Readonly<{
createProofObject(input: Readonly<{
assetType: string;
payload: Readonly<{
bytes: Uint8Array;
mimeType: string;
}>;
}>, options: Readonly<{
filename: string;
idempotencyKey: string;
}>): Promise<unknown>;
}>;
artifacts: Readonly<{
verifyAndOpen(file: Blob): Promise<Readonly<{
sealedArtifact: unknown;
verifiedPayload?: unknown;
verification?: unknown;
legacyCompatibility?: unknown;
}>>;
admit(verification: unknown, options: ReceizArtifactAdmissionOptions): Promise<ReceizArtifactAdmissionResult>;
}>;
verification: Readonly<{
verifyArtifact(file: Blob): Promise<unknown>;
}>;
ownership: Readonly<{
claimBearerAsset(input: Readonly<{
artifact: unknown;
}>): Promise<unknown>;
}>;
}> & ReceizMcpLivingSubjectClient;
export declare const RECEIZ_V112_ARTIFACT_TRANSITION_MCP_TOOLS: readonly ["receiz_artifact_verify", "receiz_artifact_admit", "receiz_artifact_append_plan", "receiz_artifact_transition_seal_and_stage", "receiz_artifact_transition_commit"];
export declare const REQUIRED_RECEIZ_MCP_OPERATION_TOOLS: readonly ["receiz_artifact_verify", "receiz_artifact_admit", "receiz_artifact_append_plan", "receiz_artifact_transition_seal_and_stage", "receiz_artifact_transition_commit"];
export declare const RECEIZ_CURRENT_MCP_ARTIFACT_TOOLS: readonly ["receiz_artifact_verify", "receiz_artifact_admit", "receiz_artifact_append_plan", "receiz_artifact_transition_seal_and_stage", "receiz_artifact_transition_commit", "receiz_artifact_global_resolve", "receiz_artifact_reconcile_plan", "receiz_artifact_reconcile_stage", "receiz_artifact_reconcile_commit"];
export declare const RECEIZ_CURRENT_MCP_LIVING_SUBJECT_TOOLS: readonly ["receiz_subject_resolve", "receiz_subject_state", "receiz_subject_history", "receiz_subject_memory_query", "receiz_subject_relationships", "receiz_subject_inventory", "receiz_subject_twin_profile", "receiz_subject_twin_message", "receiz_subject_twin_mind_export", "receiz_subject_twin_mind_import_plan", "receiz_subject_mandate_get", "receiz_subject_mandate_plan", "receiz_subject_mandate_activate", "receiz_subject_mandate_pause", "receiz_subject_mandate_revoke", "receiz_world_additions", "receiz_world_command_plan", "receiz_world_command_validate", "receiz_world_command_execute", "receiz_world_transaction_plan", "receiz_world_transaction_execute", "receiz_world_receipt", "receiz_world_replay", "receiz_subject_runtime_enqueue", "receiz_subject_runtime_status", "receiz_subject_runtime_cancel", "receiz_living_subject_conformance", "receiz_subject_brain_head", "receiz_subject_brain_search", "receiz_subject_brain_resolve", "receiz_subject_brain_stream", "receiz_bearer_transfer_preview", "receiz_bearer_instrument_issue", "receiz_bearer_instrument_inspect", "receiz_bearer_instrument_claim", "receiz_bearer_transfer_cancel", "receiz_bearer_transfer_status"];
export declare const RECEIZ_MCP_CURRENT_RELEASE_IDENTITY: Readonly<{
version: "128.0.0";
ruleset: "106.0.0" | "107.0.0" | "108.0.0" | "109.0.0" | "110.0.0" | "111.0.0" | "112.0.0" | "113.0.0" | "114.0.0" | "115.0.0" | "116.0.0" | "117.0.0" | "118.0.0" | "119.0.0" | "120.0.0" | "121.0.0" | "122.0.0" | "123.0.0" | "124.0.0" | "125.0.0" | "126.0.0" | "127.0.0";
registryDigest: "8d0b5b839d02d9efbd4306cc99410595a183705c2670b76d2567eaaaade99065";
operationMatrixDigest: "940c316b5b7d6212240e699d03b3c1fd419cbbecc6ee51ddd7aa7783d9e523b0";
operationAuthorityMatrix: readonly Readonly<{
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "artifact.verify";
authorityProfiles: readonly [];
inputAuthority: "exact-artifact-bytes";
requiredEvidence: readonly ["exact-artifact-bytes", "pinned-verifier-roots"];
outputAuthority: "verified-artifact-runtime";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "artifact.admit";
authorityProfiles: readonly [];
inputAuthority: "verified-artifact-runtime";
requiredEvidence: readonly ["verified-artifact-runtime", "admission-profile", "current-registry"];
outputAuthority: "verified-admission-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "artifact.append.plan";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "verified-admission-runtime";
requiredEvidence: readonly ["verified-admission-runtime", "verified-history-runtime", "verified-actor-runtime", "discovered-registry-law-runtime", "commit-domain", "canonical-event", "expected-head", "idempotency-identity"];
outputAuthority: "sdk-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "identity.capability.sign";
authorityProfiles: readonly [];
inputAuthority: "identity-key-file";
requiredEvidence: readonly ["identity-key-file", "capability-payload"];
outputAuthority: "signed-capability-claim-not-yet-verified";
processBoundary: "local-identity-key-custody";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "artifact.transition.seal";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "sdk-plan-runtime";
requiredEvidence: readonly ["sdk-plan-runtime", "verified-capability-runtime", "transition-sealer-runtime"];
outputAuthority: "sealed-candidate-proof-object-not-accepted-head";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "artifact.transition.stage";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "sealed-candidate-runtime";
requiredEvidence: readonly ["sealed-candidate-runtime", "conforming-transition-store-runtime", "commit-domain"];
outputAuthority: "staged-candidate-locator-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "artifact.transition.commit";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "staged-candidate-reference";
requiredEvidence: readonly ["sdk-plan-runtime", "verified-capability-runtime", "staged-candidate-reference", "conforming-transition-store-runtime", "commit-domain"];
outputAuthority: "accepted-artifact-history-with-report-only-receipt";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "admission.command.execute";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only", "simulation-only"];
inputAuthority: "claimed-command";
requiredEvidence: readonly ["claimed-command", "current-registry", "capability-verifier-runtime", "consequence-projector-runtime", "admission-store"];
outputAuthority: "admission-receipt-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "public-proof.projection.locate";
authorityProfiles: readonly ["projection-only"];
inputAuthority: "projection-only";
requiredEvidence: readonly ["projection-locator"];
outputAuthority: "exact-artifact-bytes-not-yet-verified";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "artifact.global.resolve";
authorityProfiles: readonly ["global-shared", "projection-only"];
inputAuthority: "projection-only";
requiredEvidence: readonly ["projection-locator", "commit-domain"];
outputAuthority: "exact-artifact-bytes-not-yet-verified";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "artifact.offline.reconcile";
authorityProfiles: readonly ["global-shared"];
inputAuthority: "exact-artifact-bytes";
requiredEvidence: readonly ["exact-artifact-bytes", "pinned-verifier-roots", "current-registry", "verified-history-runtime", "verified-actor-runtime", "sdk-plan-runtime", "verified-capability-runtime", "commit-domain", "expected-head", "idempotency-identity"];
outputAuthority: "accepted-artifact-history-with-report-only-receipt";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "profile-showcase.genesis.plan";
authorityProfiles: readonly ["artifact-local"];
inputAuthority: "verified-actor-runtime";
requiredEvidence: readonly ["verified-actor-runtime", "v114-registry-runtime", "v114-operation-matrix-runtime", "literal-artifact-identity", "canonical-genesis-body", "unaccepted-head-expectation", "commit-domain", "idempotency-identity", "sdk-plan-runtime", "verified-capability-runtime", "transition-sealer-runtime"];
outputAuthority: "sdk-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "profile-showcase.append.plan";
authorityProfiles: readonly ["artifact-local"];
inputAuthority: "verified-admission-runtime";
requiredEvidence: readonly ["verified-admission-runtime", "verified-history-runtime", "verified-actor-runtime", "v114-registry-runtime", "v114-operation-matrix-runtime", "canonical-event", "expected-head", "commit-domain", "idempotency-identity", "sdk-plan-runtime", "verified-capability-runtime", "transition-sealer-runtime", "conforming-transition-store-runtime"];
outputAuthority: "sdk-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "economy-showcase.genesis.plan";
authorityProfiles: readonly ["global-shared"];
inputAuthority: "verified-actor-runtime";
requiredEvidence: readonly ["verified-actor-runtime", "v114-registry-runtime", "v114-operation-matrix-runtime", "literal-artifact-identity", "canonical-genesis-body", "unaccepted-head-expectation", "commit-domain", "idempotency-identity", "sdk-plan-runtime", "verified-capability-runtime", "transition-sealer-runtime"];
outputAuthority: "sdk-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "economy-showcase.append.plan";
authorityProfiles: readonly ["global-shared"];
inputAuthority: "verified-admission-runtime";
requiredEvidence: readonly ["verified-admission-runtime", "verified-history-runtime", "verified-actor-runtime", "v114-registry-runtime", "v114-operation-matrix-runtime", "literal-artifact-identity", "canonical-event", "expected-head", "commit-domain", "idempotency-identity", "sdk-plan-runtime", "verified-capability-runtime", "transition-sealer-runtime", "conforming-transition-store-runtime"];
outputAuthority: "sdk-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "economy-showcase.merge.plan";
authorityProfiles: readonly ["global-shared"];
inputAuthority: "verified-admission-runtime";
requiredEvidence: readonly ["verified-admission-runtime", "verified-history-runtime", "verified-sibling-heads", "verified-actor-runtime", "v114-registry-runtime", "v114-operation-matrix-runtime", "literal-artifact-identity", "canonical-event", "expected-head", "commit-domain", "idempotency-identity", "sdk-plan-runtime", "verified-capability-runtime", "transition-sealer-runtime", "conforming-transition-store-runtime"];
outputAuthority: "sdk-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "subject.resolve";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "subject-id";
requiredEvidence: readonly ["exact-subject-artifact-bytes", "subject-identity-digest", "registry-digest", "reducer-digest", "byte-exact-namespaces"];
outputAuthority: "verified-subject-runtime";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "subject.brain.retrieve";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "subject-proof-reference";
requiredEvidence: readonly ["exact-subject-head", "proof-index-reference", "exact-primary-proof-object-bytes", "registry-digest", "reducer-digest"];
outputAuthority: "proof-context-non-authoritative";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "subject.twin.message";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "verified-subject-artifact-runtime";
requiredEvidence: readonly ["exact-subject-head", "exact-primary-proof-object-bytes", "model-audit-digests", "owner-capability"];
outputAuthority: "model-intent-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "subject.mandate.activate";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "subject-mandate-plan-runtime";
requiredEvidence: readonly ["subject-identity-digest", "exact-subject-head", "owner-capability", "active-bounded-mandate", "registry-digest"];
outputAuthority: "active-mandate-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "world.command.plan";
authorityProfiles: readonly ["artifact-local", "global-shared", "simulation-only"];
inputAuthority: "world-command-input";
requiredEvidence: readonly ["exact-subject-head", "expected-head", "idempotency-identity", "registry-digest", "reducer-digest"];
outputAuthority: "world-command-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "world.command.execute";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "world-command-plan-runtime";
requiredEvidence: readonly ["exact-subject-head", "owner-capability", "active-bounded-mandate", "deterministic-world-reducer", "idempotency-identity", "registry-digest", "reducer-digest"];
outputAuthority: "accepted-world-event-with-report-only-receipt";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "world.transaction.plan";
authorityProfiles: readonly ["artifact-local", "global-shared", "simulation-only"];
inputAuthority: "world-transaction-input";
requiredEvidence: readonly ["exact-participant-heads", "idempotency-identity", "registry-digest", "reducer-digest"];
outputAuthority: "world-transaction-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "world.transaction.execute";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "world-transaction-plan-runtime";
requiredEvidence: readonly ["exact-participant-heads", "owner-capability", "active-bounded-mandate", "deterministic-world-reducer", "idempotency-identity", "registry-digest", "reducer-digest"];
outputAuthority: "accepted-world-event-with-report-only-receipt";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "subject.runtime.enqueue";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "subject-runtime-tick-input";
requiredEvidence: readonly ["exact-subject-head", "active-bounded-mandate", "idempotency-identity", "registry-digest", "reducer-digest"];
outputAuthority: "runtime-job-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "subject.memory.project";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "verified-subject-artifact-runtime";
requiredEvidence: readonly ["exact-subject-head", "event-citations", "exact-primary-proof-object-bytes"];
outputAuthority: "event-memory-projection-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "bearer.transfer.plan";
authorityProfiles: readonly ["artifact-local", "global-shared", "simulation-only"];
inputAuthority: "bearer-transfer-input";
requiredEvidence: readonly ["exact-subject-head", "exact-ownership-head", "transfer-policy-digest", "byte-exact-namespaces"];
outputAuthority: "bearer-transfer-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "bearer.instrument.issue";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "bearer-transfer-plan-runtime";
requiredEvidence: readonly ["exact-subject-head", "exact-ownership-head", "owner-capability", "transfer-policy-digest", "instrument-expiry-and-replay-state"];
outputAuthority: "bearer-instrument-not-ownership";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "bearer.instrument.claim";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "bearer-instrument-bytes";
requiredEvidence: readonly ["exact-subject-artifact-bytes", "exact-subject-head", "exact-ownership-head", "one-time-claim-capability", "instrument-expiry-and-replay-state", "byte-exact-namespaces"];
outputAuthority: "ownership-transition-with-sealed-artifact";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "bearer.transfer.cancel";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "bearer-transfer-plan-runtime";
requiredEvidence: readonly ["exact-subject-head", "exact-ownership-head", "owner-capability", "instrument-expiry-and-replay-state"];
outputAuthority: "ownership-transition-with-sealed-artifact";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "identity.proof-authority.exchange";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "proof-authority-challenge";
requiredEvidence: readonly ["exact-artifact-bytes", "pinned-verifier-roots", "application-bound-challenge", "explicit-consent", "minimum-scope-set"];
outputAuthority: "scoped-proof-capability-not-proof-authority";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "authorization.scopes.introspect";
authorityProfiles: readonly ["projection-only"];
inputAuthority: "rail-scope-query";
requiredEvidence: readonly ["minimum-scope-set"];
outputAuthority: "granted-scope-projection-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "subject.namespaces.resolve";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "subject-proof-reference";
requiredEvidence: readonly ["exact-subject-head", "exact-subject-artifact-bytes", "registry-digest", "reducer-digest", "byte-exact-namespaces"];
outputAuthority: "exact-head-namespace-projection-non-authoritative";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "value.settlement.execute";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "value-intent-runtime";
requiredEvidence: readonly ["exact-subject-head", "owner-capability", "rail-identity", "amount-phi-micro", "persisted-canonical-intent", "idempotency-identity"];
outputAuthority: "accepted-phi-movement-with-report-only-receipt";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "value.reserve.execute";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "value-intent-runtime";
requiredEvidence: readonly ["exact-subject-head", "owner-capability", "rail-identity", "amount-phi-micro", "persisted-canonical-intent", "idempotency-identity"];
outputAuthority: "accepted-phi-movement-with-report-only-receipt";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "value.execution.resolve";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "value-intent-runtime";
requiredEvidence: readonly ["idempotency-identity", "exact-execution-outcome"];
outputAuthority: "execution-outcome-projection-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "time.kai.now";
authorityProfiles: readonly ["artifact-local", "projection-only"];
inputAuthority: "kai-genesis-phi-bridge";
requiredEvidence: readonly ["genesis-epoch", "phi-exact-ties-to-even-bridge"];
outputAuthority: "kai-coordinate-projection-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "identity.proof-authority.challenge.create";
authorityProfiles: readonly ["artifact-local", "projection-only"];
inputAuthority: "kai-genesis-phi-bridge";
requiredEvidence: readonly ["live-whole-pulse", "application-bound-challenge", "minimum-scope-set"];
outputAuthority: "proof-authority-challenge-not-proof-authority";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "runtime.authority-session.open";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "proof-authority-challenge";
requiredEvidence: readonly ["exact-artifact-bytes", "pinned-verifier-roots", "application-bound-challenge", "explicit-consent", "minimum-scope-set", "exact-subject-head", "exact-revocation-head"];
outputAuthority: "server-custodied-authority-session-not-proof-authority";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "runtime.authority-session.refresh";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "authority-session-handle";
requiredEvidence: readonly ["server-custodied-session", "application-bound-challenge", "explicit-consent", "exact-subject-head", "exact-revocation-head"];
outputAuthority: "server-custodied-authority-session-not-proof-authority";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "runtime.authority-session.close";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "authority-session-handle";
requiredEvidence: readonly ["server-custodied-session", "exact-revocation-head"];
outputAuthority: "execution-outcome-projection-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "runtime.capabilities.qualify";
authorityProfiles: readonly ["global-shared", "projection-only"];
inputAuthority: "rail-scope-query";
requiredEvidence: readonly ["minimum-scope-set", "exact-domain-head", "registry-digest", "reducer-digest", "authenticated-transport"];
outputAuthority: "operational-capability-report-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "domain.verified-additions.resolve";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "domain-replay-wire";
requiredEvidence: readonly ["exact-domain-head", "registry-digest", "reducer-digest", "authenticated-transport", "closed-wire-shape"];
outputAuthority: "authenticated-verified-additions-projection-non-authoritative";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "domain.replay.verify";
authorityProfiles: readonly ["artifact-local", "projection-only"];
inputAuthority: "domain-replay-wire";
requiredEvidence: readonly ["exact-domain-head", "registry-digest", "reducer-digest", "authenticated-transport", "closed-wire-shape", "canonical-event"];
outputAuthority: "authenticated-verified-additions-projection-non-authoritative";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "domain.checkpoint.verify";
authorityProfiles: readonly ["artifact-local", "projection-only"];
inputAuthority: "domain-checkpoint-wire";
requiredEvidence: readonly ["exact-domain-head", "registry-digest", "reducer-digest", "authenticated-transport", "closed-wire-shape", "byte-exact-namespaces"];
outputAuthority: "authenticated-checkpoint-projection-non-authoritative";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "domain.private-additions.resolve";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "private-domain-query";
requiredEvidence: readonly ["exact-subject-head", "exact-domain-head", "access-grant-head", "access-key-head", "authenticated-transport"];
outputAuthority: "access-filtered-private-additions-projection-non-authoritative";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "execution.stage";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "durable-execution-input";
requiredEvidence: readonly ["persisted-canonical-plan", "semantic-idempotency-digest", "exact-participant-heads", "registry-digest", "reducer-digest"];
outputAuthority: "persisted-plan-handle-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "execution.execute";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "durable-execution-handle";
requiredEvidence: readonly ["persisted-canonical-plan", "server-custodied-session", "exact-participant-heads", "atomic-compare-and-swap", "semantic-idempotency-digest"];
outputAuthority: "accepted-world-event-with-report-only-receipt";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "execution.resolve";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "durable-execution-handle";
requiredEvidence: readonly ["semantic-idempotency-digest", "immutable-terminal-outcome", "authenticated-transport"];
outputAuthority: "execution-outcome-projection-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "execution.resolve-by-idempotency-key";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "durable-execution-input";
requiredEvidence: readonly ["semantic-idempotency-digest", "immutable-terminal-outcome", "authenticated-transport"];
outputAuthority: "execution-outcome-projection-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "execution.cancel";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "durable-execution-handle";
requiredEvidence: readonly ["persisted-canonical-plan", "server-custodied-session", "semantic-idempotency-digest", "immutable-terminal-outcome"];
outputAuthority: "execution-outcome-projection-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "execution.atomic-mutation.plan";
authorityProfiles: readonly ["artifact-local", "global-shared", "simulation-only"];
inputAuthority: "world-transaction-input";
requiredEvidence: readonly ["exact-participant-heads", "idempotency-identity", "registry-digest", "reducer-digest", "byte-exact-namespaces"];
outputAuthority: "world-transaction-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "identity.public-recipient.resolve";
authorityProfiles: readonly ["global-shared", "projection-only"];
inputAuthority: "public-recipient-query";
requiredEvidence: readonly ["public-recipient-consent", "privacy-safe-rate-limit", "one-use-purpose-bound-locator", "exact-subject-head", "authenticated-transport"];
outputAuthority: "privacy-safe-one-use-recipient-locator-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "action.law.resolve";
authorityProfiles: readonly ["artifact-local", "projection-only"];
inputAuthority: "lawful-action-law-query";
requiredEvidence: readonly ["current-registry", "registry-digest", "current-action-law"];
outputAuthority: "action-law-projection-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "action.plan";
authorityProfiles: readonly ["artifact-local", "global-shared", "simulation-only"];
inputAuthority: "lawful-action-plan-input";
requiredEvidence: readonly ["current-action-law", "verified-portable-execution-authority", "actor-subject-heads", "causal-parent-heads", "input-output-commitments", "start-completion-kai", "law-digest", "action-idempotency-identity"];
outputAuthority: "lawful-action-plan-runtime";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "action.proof.verify";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "lawful-action-proof";
requiredEvidence: readonly ["exact-enclosing-proof-object", "pinned-verifier-roots", "current-action-law", "verified-portable-execution-authority", "actor-subject-heads", "causal-parent-heads", "input-output-commitments", "start-completion-kai", "completion-witness", "law-digest", "action-idempotency-identity"];
outputAuthority: "verified-lawful-action-runtime";
processBoundary: "reverify-exact-bytes";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "action.admit";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "verified-lawful-action-runtime";
requiredEvidence: readonly ["verified-artifact-runtime", "current-action-law", "verified-portable-execution-authority", "completion-witness", "action-idempotency-identity", "exact-subject-head", "admission-store"];
outputAuthority: "admitted-lawful-action-with-report-only-receipt";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "action.value-head.derive";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "lawful-action-admission-runtime";
requiredEvidence: readonly ["exact-enclosing-proof-object", "universal-kai-value-law", "one-spendable-membership", "exact-ownership-head", "start-completion-kai", "law-digest"];
outputAuthority: "deterministic-value-head-projection-non-authoritative";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "action.settlement.execute";
authorityProfiles: readonly ["artifact-local", "global-shared"];
inputAuthority: "lawful-action-admission-runtime";
requiredEvidence: readonly ["exact-settlement-head", "one-spendable-membership", "owner-capability", "action-idempotency-identity", "persisted-canonical-plan"];
outputAuthority: "accepted-phi-movement-with-report-only-receipt";
processBoundary: "same-runtime-custody";
namespacePolicy: "preserve-all-non-target";
} | {
compatibleSdkRange: ">=128.0.0 <129.0.0";
operation: "action.outcome.resolve";
authorityProfiles: readonly ["artifact-local", "global-shared", "projection-only"];
inputAuthority: "lawful-action-admission-runtime";
requiredEvidence: readonly ["action-idempotency-identity", "immutable-terminal-outcome", "authenticated-transport"];
outputAuthority: "execution-outcome-projection-non-authoritative";
processBoundary: "projection-only";
namespacePolicy: "not-applicable";
}>[];
artifactTools: readonly ["receiz_artifact_verify", "receiz_artifact_admit", "receiz_artifact_append_plan", "receiz_artifact_transition_seal_and_stage", "receiz_artifact_transition_commit", "receiz_artifact_global_resolve", "receiz_artifact_reconcile_plan", "receiz_artifact_reconcile_stage", "receiz_artifact_reconcile_commit"];
livingSubjectTools: readonly ["receiz_subject_resolve", "receiz_subject_state", "receiz_subject_history", "receiz_subject_memory_query", "receiz_subject_relationships", "receiz_subject_inventory", "receiz_subject_twin_profile", "receiz_subject_twin_message", "receiz_subject_twin_mind_export", "receiz_subject_twin_mind_import_plan", "receiz_subject_mandate_get", "receiz_subject_mandate_plan", "receiz_subject_mandate_activate", "receiz_subject_mandate_pause", "receiz_subject_mandate_revoke", "receiz_world_additions", "receiz_world_command_plan", "receiz_world_command_validate", "receiz_world_command_execute", "receiz_world_transaction_plan", "receiz_world_transaction_execute", "receiz_world_receipt", "receiz_world_replay", "receiz_subject_runtime_enqueue", "receiz_subject_runtime_status", "receiz_subject_runtime_cancel", "receiz_living_subject_conformance", "receiz_subject_brain_head", "receiz_subject_brain_search", "receiz_subject_brain_resolve", "receiz_subject_brain_stream", "receiz_bearer_transfer_preview", "receiz_bearer_instrument_issue", "receiz_bearer_instrument_inspect", "receiz_bearer_instrument_claim", "receiz_bearer_transfer_cancel", "receiz_bearer_transfer_status"];
}>;
export type ReceizMcpArtifactTransitionAuthorityResolvers = Readonly<{
resolveVerifiedProofHistory(input: Readonly<{
reference: string;
admission: ReceizArtifactAdmissionResult;
expectedHead: Readonly<{
algorithm: "sha-256";
binds: "verified-proof-history";
value: string;
}>;
}>): Promise<ReceizVerifiedProofHistory | null>;
resolveVerifiedActorEvidence(input: Readonly<{
reference: string;
admission: ReceizArtifactAdmissionResult;
}>): Promise<ReceizVerifiedIdentityArtifactAdmission | null>;
resolveVerifiedRegistryDiscovery(input: Readonly<{
admission: ReceizArtifactAdmissionResult;
}>): Promise<ReceizRegistryDiscoveryResult | null>;
resolveVerifiedCapability(input: Readonly<{
plan: ReceizArtifactAppendPlan;
phase: "seal-and-stage" | "commit";
}>): Promise<ReceizVerifiedCapability | null>;
resolveTransitionSealer(input: Readonly<{
plan: ReceizArtifactAppendPlan;
}>): Promise<ReceizArtifactTransitionSealer | null>;
resolveTransitionStore(input: Readonly<{
commitDomain: Readonly<{
scheme: "receiz-commit-domain.v1";
value: string;
}>;
plan: ReceizArtifactAppendPlan;
}>): Promise<ReceizArtifactTransitionStore | null>;
}>;
export declare const RECEIZ_MCP_OPERATION_TOOLS: readonly Tool[];
export declare function verifyCompleteReceizArtifact(client: Pick<ReceizMcpOperationsClient, "verification">, input: JsonObject): Promise<Readonly<{
bytes: Uint8Array;
file: File;
filename: string;
mimeType: string;
artifactSha256: string;
verification: unknown;
}>>;
export declare function createReceizMcpOperations(client: ReceizMcpOperationsClient, options?: Partial<ReceizMcpArtifactTransitionAuthorityResolvers> & Readonly<{
globalReconciliationDomain?: ReceizRemoteDomain | null;
localSubjectRuntime?: ReceizV127SubjectRuntimeAdapter;
}>): {
readonly has: (name: string) => boolean;
readonly requiresDelegated: (name: string) => boolean;
readonly call: (name: string, raw: JsonObject) => Promise<unknown>;
};
export {};
//# sourceMappingURL=operations.d.ts.map