@openvtc/trust-tasks 0.21.3 → 0.21.5

package/src/index.ts

@@ -25,15 +25,20 @@ export * as AclUpdate_v0_1 from "./acl/update/0.1/payload.js";
 export * as AuditShared_v0_1 from "./audit/_shared/0.1/audit.js";
 export * as AuditList_v0_1 from "./audit/list/0.1/payload.js";
 export * as AuditVerify_v0_1 from "./audit/verify/0.1/payload.js";
+export * as PasskeyInviteShared_v0_1 from "./auth/_shared/0.1/passkey-invite.js";
 export * as SessionShared_v0_1 from "./auth/_shared/0.1/session.js";
 export * as TokensShared_v0_1 from "./auth/_shared/0.1/tokens.js";
 export * as WebauthnShared_v0_1 from "./auth/_shared/0.1/webauthn.js";
 export * as AuthAuthenticate_v0_1 from "./auth/authenticate/0.1/payload.js";
 export * as AuthChallenge_v0_1 from "./auth/challenge/0.1/payload.js";
+export * as AuthPasskeyAdminList_v0_1 from "./auth/passkey/admin-list/0.1/payload.js";
 export * as AuthPasskeyEnrollFinish_v0_1 from "./auth/passkey/enroll/finish/0.1/payload.js";
 export * as AuthPasskeyEnrollFinish_v0_2 from "./auth/passkey/enroll/finish/0.2/payload.js";
 export * as AuthPasskeyEnrollInvite_v0_1 from "./auth/passkey/enroll/invite/0.1/payload.js";
 export * as AuthPasskeyEnrollInvite_v0_2 from "./auth/passkey/enroll/invite/0.2/payload.js";
+export * as AuthPasskeyEnrollInviteList_v0_1 from "./auth/passkey/enroll/invite/list/0.1/payload.js";
+export * as AuthPasskeyEnrollInviteRevoke_v0_1 from "./auth/passkey/enroll/invite/revoke/0.1/payload.js";
+export * as AuthPasskeyEnrollInviteUpdate_v0_1 from "./auth/passkey/enroll/invite/update/0.1/payload.js";
 export * as AuthPasskeyEnrollRedeemFinish_v0_1 from "./auth/passkey/enroll/redeem/finish/0.1/payload.js";
 export * as AuthPasskeyEnrollRedeemStart_v0_1 from "./auth/passkey/enroll/redeem/start/0.1/payload.js";
 export * as AuthPasskeyEnrollStart_v0_1 from "./auth/passkey/enroll/start/0.1/payload.js";
@@ -60,6 +65,7 @@ export * as AuthStepUpApproveResponse_v0_4 from "./auth/step-up/approve-response
 export * as AuthStepUpApproveResponse_v0_5 from "./auth/step-up/approve-response/0.5/payload.js";
 export * as AuthStepUpPolicy_v0_1 from "./auth/step-up/policy/0.1/payload.js";
 export * as AuthStepUpPolicy_v0_2 from "./auth/step-up/policy/0.2/payload.js";
+export * as AuthStepUpStart_v0_1 from "./auth/step-up/start/0.1/payload.js";
 export * as AuthWhoami_v0_1 from "./auth/whoami/0.1/payload.js";
 export * as BackupAbort_v0_1 from "./backup/abort/0.1/payload.js";
 export * as BackupCompleteExport_v0_1 from "./backup/complete-export/0.1/payload.js";
@@ -112,11 +118,14 @@ export * as WebvhShared_v0_1 from "./did-management/_shared/0.1/did-method-exten
 export * as DidRecordShared_v0_1 from "./did-management/_shared/0.1/did-record.js";
 export * as DomainEntryShared_v0_1 from "./did-management/_shared/0.1/domain-entry.js";
 export * as ServiceInstanceShared_v0_1 from "./did-management/_shared/0.1/service-instance.js";
+export * as MetricsSnapshotShared_v0_2 from "./did-management/_shared/0.2/metrics-snapshot.js";
+export * as ServiceInstanceShared_v0_2 from "./did-management/_shared/0.2/service-instance.js";
 export * as DidManagementAgentNameCheck_v0_1 from "./did-management/agent-name/check/0.1/payload.js";
 export * as DidManagementAgentNameDisable_v0_1 from "./did-management/agent-name/disable/0.1/payload.js";
 export * as DidManagementAgentNameEnable_v0_1 from "./did-management/agent-name/enable/0.1/payload.js";
 export * as DidManagementAgentNameList_v0_1 from "./did-management/agent-name/list/0.1/payload.js";
 export * as DidManagementAgentNameRemove_v0_1 from "./did-management/agent-name/remove/0.1/payload.js";
+export * as DidManagementAgentNameResolve_v0_1 from "./did-management/agent-name/resolve/0.1/payload.js";
 export * as DidManagementAgentNameSet_v0_1 from "./did-management/agent-name/set/0.1/payload.js";
 export * as DidManagementAgentNameUpdate_v0_1 from "./did-management/agent-name/update/0.1/payload.js";
 export * as DidManagementDidChangeOwner_v0_1 from "./did-management/did/change-owner/0.1/payload.js";
@@ -126,6 +135,7 @@ export * as DidManagementDidDisable_v0_1 from "./did-management/did/disable/0.1/
 export * as DidManagementDidEnable_v0_1 from "./did-management/did/enable/0.1/payload.js";
 export * as DidManagementDidInfo_v0_1 from "./did-management/did/info/0.1/payload.js";
 export * as DidManagementDidList_v0_1 from "./did-management/did/list/0.1/payload.js";
+export * as DidManagementDidLog_v0_1 from "./did-management/did/log/0.1/payload.js";
 export * as DidManagementDidProblemReport_v0_1 from "./did-management/did/problem-report/0.1/payload.js";
 export * as DidManagementDidPublish_v0_1 from "./did-management/did/publish/0.1/payload.js";
 export * as DidManagementDidRegister_v0_1 from "./did-management/did/register/0.1/payload.js";
@@ -135,17 +145,33 @@ export * as DidManagementDomainAssign_v0_1 from "./did-management/domain/assign/
 export * as DidManagementDomainCreate_v0_1 from "./did-management/domain/create/0.1/payload.js";
 export * as DidManagementDomainDisable_v0_1 from "./did-management/domain/disable/0.1/payload.js";
 export * as DidManagementDomainEnable_v0_1 from "./did-management/domain/enable/0.1/payload.js";
+export * as DidManagementDomainList_v0_1 from "./did-management/domain/list/0.1/payload.js";
 export * as DidManagementDomainPurge_v0_1 from "./did-management/domain/purge/0.1/payload.js";
 export * as DidManagementDomainSetDefault_v0_1 from "./did-management/domain/set-default/0.1/payload.js";
 export * as DidManagementDomainSetState_v0_1 from "./did-management/domain/set-state/0.1/payload.js";
 export * as DidManagementDomainUnassign_v0_1 from "./did-management/domain/unassign/0.1/payload.js";
 export * as DidManagementDomainUpdate_v0_1 from "./did-management/domain/update/0.1/payload.js";
+export * as DidManagementIdentityList_v0_1 from "./did-management/identity/list/0.1/payload.js";
+export * as DidManagementIdentityRetire_v0_1 from "./did-management/identity/retire/0.1/payload.js";
 export * as DidManagementMeDomains_v0_1 from "./did-management/me/domains/0.1/payload.js";
 export * as DidManagementRegistryAdminRegister_v0_1 from "./did-management/registry/admin-register/0.1/payload.js";
+export * as DidManagementRegistryCheck_v0_1 from "./did-management/registry/check/0.1/payload.js";
 export * as DidManagementRegistryDeregister_v0_1 from "./did-management/registry/deregister/0.1/payload.js";
+export * as DidManagementRegistryGet_v0_1 from "./did-management/registry/get/0.1/payload.js";
+export * as DidManagementRegistryList_v0_1 from "./did-management/registry/list/0.1/payload.js";
+export * as DidManagementRegistryPurgeDomain_v0_1 from "./did-management/registry/purge-domain/0.1/payload.js";
+export * as DidManagementReplicaDomainAssign_v0_1 from "./did-management/replica/domain/assign/0.1/payload.js";
+export * as DidManagementReplicaDomainPurge_v0_1 from "./did-management/replica/domain/purge/0.1/payload.js";
+export * as DidManagementReplicaDomainUnassign_v0_1 from "./did-management/replica/domain/unassign/0.1/payload.js";
+export * as DidManagementReplicaDomainUpsert_v0_1 from "./did-management/replica/domain/upsert/0.1/payload.js";
+export * as DidManagementServerConfig_v0_1 from "./did-management/server/config/0.1/payload.js";
 export * as DidManagementServerHealth_v0_1 from "./did-management/server/health/0.1/payload.js";
+export * as DidManagementServerInfo_v0_1 from "./did-management/server/info/0.1/payload.js";
+export * as DidManagementServerMetrics_v0_1 from "./did-management/server/metrics/0.1/payload.js";
 export * as DidManagementServerRegister_v0_1 from "./did-management/server/register/0.1/payload.js";
 export * as DidManagementServerStatsSync_v0_1 from "./did-management/server/stats-sync/0.1/payload.js";
+export * as DidManagementStatsGet_v0_1 from "./did-management/stats/get/0.1/payload.js";
+export * as DidManagementStatsTimeseries_v0_1 from "./did-management/stats/timeseries/0.1/payload.js";
 export * as GitNsShared_v0_1 from "./git-ns/_shared/0.1/git-ns.js";
 export * as GitNsShared_v0_2 from "./git-ns/_shared/0.2/git-ns.js";
 export * as GitNsShared_v0_3 from "./git-ns/_shared/0.3/git-ns.js";
@@ -165,6 +191,7 @@ export * as GitNsDriftResolve_v0_1 from "./git-ns/drift/resolve/0.1/payload.js";
 export * as GitNsDriftResolve_v0_2 from "./git-ns/drift/resolve/0.2/payload.js";
 export * as GitNsDriftResolve_v0_3 from "./git-ns/drift/resolve/0.3/payload.js";
 export * as GitNsNamespaceBind_v0_1 from "./git-ns/namespace/bind/0.1/payload.js";
+export * as GitNsNamespaceList_v0_1 from "./git-ns/namespace/list/0.1/payload.js";
 export * as GitNsNamespaceReseat_v0_1 from "./git-ns/namespace/reseat/0.1/payload.js";
 export * as GitNsNamespaceReseat_v0_2 from "./git-ns/namespace/reseat/0.2/payload.js";
 export * as GitNsNamespaceReseat_v0_3 from "./git-ns/namespace/reseat/0.3/payload.js";
@@ -176,6 +203,7 @@ export * as GitNsRepoArchive_v0_2 from "./git-ns/repo/archive/0.2/payload.js";
 export * as GitNsRepoCreate_v0_1 from "./git-ns/repo/create/0.1/payload.js";
 export * as GitNsRepoCreate_v0_2 from "./git-ns/repo/create/0.2/payload.js";
 export * as GitNsRepoCreate_v0_3 from "./git-ns/repo/create/0.3/payload.js";
+export * as GitNsRepoList_v0_1 from "./git-ns/repo/list/0.1/payload.js";
 export * as GitNsRepoTransfer_v0_1 from "./git-ns/repo/transfer/0.1/payload.js";
 export * as GitNsRepoTransfer_v0_2 from "./git-ns/repo/transfer/0.2/payload.js";
 export * as GitNsRightBreakGlassNotice_v0_1 from "./git-ns/right/break-glass-notice/0.1/payload.js";
@@ -192,6 +220,7 @@ export * as GitNsView_v0_1 from "./git-ns/view/0.1/payload.js";
 export * as GitNsView_v0_2 from "./git-ns/view/0.2/payload.js";
 export * as GitNsView_v0_3 from "./git-ns/view/0.3/payload.js";
 export * as GitNsView_v0_4 from "./git-ns/view/0.4/payload.js";
+export * as GitNsView_v0_5 from "./git-ns/view/0.5/payload.js";
 export * as GitTrustGrant_v0_1 from "./git-trust/grant/0.1/payload.js";
 export * as GitTrustRevoke_v0_1 from "./git-trust/revoke/0.1/payload.js";
 export * as GovernanceShared_v0_1 from "./governance/_shared/0.1/governance.js";
@@ -635,8 +664,17 @@ export * as VtcWebsiteFilesDelete_v0_1 from "./vtc/website/files/delete/0.1/payl
 export * as VtcWebsiteFilesList_v0_1 from "./vtc/website/files/list/0.1/payload.js";
 export * as VtcWebsiteGenerationsList_v0_1 from "./vtc/website/generations/list/0.1/payload.js";
 export * as VtcWebsiteRollback_v0_1 from "./vtc/website/rollback/0.1/payload.js";
+export * as SyncUpdateShared_v0_1 from "./webvh/_shared/0.1/sync-update.js";
+export * as WitnessKeyShared_v0_1 from "./webvh/_shared/0.1/witness-key.js";
+export * as WebvhSyncBatch_v0_1 from "./webvh/sync/batch/0.1/payload.js";
 export * as WebvhSyncDelete_v0_1 from "./webvh/sync/delete/0.1/payload.js";
+export * as WebvhSyncDelete_v0_2 from "./webvh/sync/delete/0.2/payload.js";
 export * as WebvhSyncUpdate_v0_1 from "./webvh/sync/update/0.1/payload.js";
+export * as WebvhSyncUpdate_v0_2 from "./webvh/sync/update/0.2/payload.js";
+export * as WebvhWitnessKeyCreate_v0_1 from "./webvh/witness/key/create/0.1/payload.js";
+export * as WebvhWitnessKeyDelete_v0_1 from "./webvh/witness/key/delete/0.1/payload.js";
+export * as WebvhWitnessKeyList_v0_1 from "./webvh/witness/key/list/0.1/payload.js";
 export * as WebvhWitnessPublish_v0_1 from "./webvh/witness/publish/0.1/payload.js";
+export * as WebvhWitnessSign_v0_1 from "./webvh/witness/sign/0.1/payload.js";
 export * as WitnessSession_v0_1 from "./witness/session/0.1/payload.js";
 export * as WitnessSessionSubmit_v0_1 from "./witness/session/submit/0.1/payload.js";

package/src/vtc/_shared/0.1/invite.ts

@@ -14,4 +14,4 @@ export interface VTCSharedAdminInviteDefinitions {
  * The definitions this shared schema publishes, hoisted to one declaration each.
  * See "../../../_shared/components.js".
  */
-export type { InviteStatus, InviteSummary } from "../../../_shared/components.js";
+export type { InviteStatus, InviteSummary_VtcV0_1 as InviteSummary } from "../../../_shared/components.js";

package/src/vtc/admin/invites/list/0.1/payload.ts

@@ -3,7 +3,7 @@
  * Source: specs/vtc/admin/invites/list/0.1/payload.schema.json
  */
 
-import type { Ext, InviteStatus, InviteSummary } from "../../../../../_shared/components.js";
+import type { Ext, InviteStatus, InviteSummary_VtcV0_1 as InviteSummary } from "../../../../../_shared/components.js";
 
 
 export interface VTCAdminInvitesListPayload {

package/src/webvh/_shared/0.1/sync-update.ts

@@ -0,0 +1,17 @@
+/**
+ * Generated by scripts/build-ts-bindings.mjs — DO NOT EDIT BY HAND.
+ * Source: specs/webvh/_shared/0.1/sync-update.schema.json
+ */
+
+/**
+ * One did:webvh slot's complete current state, as a source replicates it to a replica. Used by webvh/sync/update/0.2 and by each entry of webvh/sync/batch/0.1. Not itself a Trust Task specification (the `_shared` folder is skipped by the registry build and the codegen).
+ */
+export interface SyncUpdateSharedDefinitionForTheWebvhSyncSpecFamily {
+  [k: string]: unknown | undefined;
+}
+
+/**
+ * The definitions this shared schema publishes, hoisted to one declaration each.
+ * See "../../../_shared/components.js".
+ */
+export type { SyncUpdate } from "../../../_shared/components.js";

package/src/webvh/_shared/0.1/witness-key.ts

@@ -0,0 +1,17 @@
+/**
+ * Generated by scripts/build-ts-bindings.mjs — DO NOT EDIT BY HAND.
+ * Source: specs/webvh/_shared/0.1/witness-key.schema.json
+ */
+
+/**
+ * One witness identity a witness service holds, as its administrator reads it. Carries no key material. Not itself a Trust Task specification (the `_shared` folder is skipped by the registry build and the codegen).
+ */
+export interface WitnessKeySharedDefinitionForTheWebvhWitnessKeySpecFamily {
+  [k: string]: unknown | undefined;
+}
+
+/**
+ * The definitions this shared schema publishes, hoisted to one declaration each.
+ * See "../../../_shared/components.js".
+ */
+export type { WitnessKey } from "../../../_shared/components.js";

package/src/webvh/sync/batch/0.1/payload.ts

@@ -0,0 +1,336 @@
+/**
+ * Generated by scripts/build-ts-bindings.mjs — DO NOT EDIT BY HAND.
+ * Source: specs/webvh/sync/batch/0.1/payload.schema.json
+ */
+
+import type { Ext, SyncUpdate } from "../../../../_shared/components.js";
+
+
+export interface WebVHSyncBatchPayload {
+  /**
+   * Complete slot states, each applied exactly as a webvh/sync/update/0.2 carrying it would be. A mnemonic appears at most once.
+   *
+   * @minItems 1
+   * @maxItems 50
+   */
+  updates: [SyncUpdate, ...SyncUpdate[]];
+  ext?: Ext;
+}
+export interface WebVHSyncBatchResponsePayload {
+  /**
+   * One result per entry of `updates`, in request order.
+   */
+  results: EntryResult[];
+  ext?: Ext;
+}
+export interface EntryResult {
+  mnemonic: string;
+  /**
+   * `applied` and `unchanged` as in webvh/sync/update/0.2. `refused` — the entry was permanently refused; see `code`.
+   */
+  status: "applied" | "unchanged" | "refused";
+  /**
+   * Present if and only if `status` is `refused`: the webvh/sync/update/0.2 error code the entry would have received on its own (e.g. `webvh/sync/update:historyRewrite`).
+   */
+  code?: string;
+}
+
+/** Shared definitions this specification references, re-exported under the names it used to declare them with. */
+export type { Ext, SyncUpdate };
+
+/** Trust Task type URI. */
+export const TYPE_URI = "https://trusttasks.org/spec/webvh/sync/batch/0.1" as const;
+
+/** Stable alias for this specification's request payload shape. */
+export type Payload = WebVHSyncBatchPayload;
+
+/** Trust Task response type URI (request type URI + "#response"). */
+export const RESPONSE_TYPE_URI = "https://trusttasks.org/spec/webvh/sync/batch/0.1#response" as const;
+
+/** Stable alias for this specification's success-response payload shape. */
+export type Response = WebVHSyncBatchResponsePayload;
+
+/**
+ * This specification's payload schema, as a value.
+ *
+ * SPEC.md §7.2 item 2 is performed against this. It is shipped as data
+ * rather than only as a `.json` file because TypeScript types are erased
+ * at runtime: without a schema a consumer has nothing to validate, and
+ * every REQUIRED payload member is optional in practice. Cross-file
+ * `$ref`s are already inlined, so it needs no resolver.
+ */
+export const PAYLOAD_SCHEMA = {
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://trusttasks.org/spec/webvh/sync/batch/0.1",
+  "title": "WebVH Sync Batch — payload",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "updates"
+  ],
+  "properties": {
+    "updates": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 50,
+      "items": {
+        "$ref": "#/$defs/SyncUpdate"
+      },
+      "description": "Complete slot states, each applied exactly as a webvh/sync/update/0.2 carrying it would be. A mnemonic appears at most once."
+    },
+    "ext": {
+      "$ref": "#/$defs/Ext"
+    }
+  },
+  "$defs": {
+    "Response": {
+      "$anchor": "response",
+      "title": "WebVH Sync Batch — response payload",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "results"
+      ],
+      "properties": {
+        "results": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/EntryResult"
+          },
+          "description": "One result per entry of `updates`, in request order."
+        },
+        "ext": {
+          "$ref": "#/$defs/Ext"
+        }
+      }
+    },
+    "EntryResult": {
+      "title": "EntryResult",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "mnemonic",
+        "status"
+      ],
+      "properties": {
+        "mnemonic": {
+          "type": "string",
+          "minLength": 1
+        },
+        "status": {
+          "type": "string",
+          "enum": [
+            "applied",
+            "unchanged",
+            "refused"
+          ],
+          "description": "`applied` and `unchanged` as in webvh/sync/update/0.2. `refused` — the entry was permanently refused; see `code`."
+        },
+        "code": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Present if and only if `status` is `refused`: the webvh/sync/update/0.2 error code the entry would have received on its own (e.g. `webvh/sync/update:historyRewrite`)."
+        }
+      }
+    },
+    "Ext": {
+      "title": "Ext",
+      "description": "Vendor-namespaced extension object per SPEC.md §4.5.1. Each immediate key MUST be a reverse-DNS namespace; structure under each namespace is opaque to the framework.",
+      "type": "object",
+      "minProperties": 1,
+      "additionalProperties": true,
+      "propertyNames": {
+        "pattern": "^[a-z][a-z0-9-]*(\\.[a-z0-9-]+)+$"
+      }
+    },
+    "SyncUpdate": {
+      "title": "SyncUpdate",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "mnemonic",
+        "didId",
+        "logContent",
+        "versionCount",
+        "disabled"
+      ],
+      "properties": {
+        "mnemonic": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The slot path on its hosting domain (e.g. `alice`, `people/alice`, or `.well-known` for a root DID)."
+        },
+        "didId": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The DID the log establishes. A replica MUST refuse a log that does not establish exactly this DID."
+        },
+        "logContent": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The slot's complete did.jsonl — one log entry per line — not a delta."
+        },
+        "witnessContent": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The slot's did-witness.json. ABSENT means the slot holds no witness proofs: the replica MUST drop any witness proofs it holds for the slot. Absence never means \"unchanged\"."
+        },
+        "versionCount": {
+          "type": "integer",
+          "minimum": 1,
+          "description": "Number of entries in `logContent`, as the source counts them. A replica MUST refuse an update whose `logContent` does not contain exactly this many entries."
+        },
+        "disabled": {
+          "type": "boolean",
+          "description": "Whether the source has disabled the slot. A replica MUST stop serving a disabled slot and MUST resume only on an update carrying `false`."
+        },
+        "ext": {
+          "$ref": "#/$defs/Ext"
+        }
+      }
+    }
+  }
+} as const;
+
+/** As {@link PAYLOAD_SCHEMA}, for the success-response variant. */
+export const RESPONSE_PAYLOAD_SCHEMA = {
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$ref": "#/$defs/Response",
+  "$defs": {
+    "Response": {
+      "$anchor": "response",
+      "title": "WebVH Sync Batch — response payload",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "results"
+      ],
+      "properties": {
+        "results": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/EntryResult"
+          },
+          "description": "One result per entry of `updates`, in request order."
+        },
+        "ext": {
+          "$ref": "#/$defs/Ext"
+        }
+      }
+    },
+    "EntryResult": {
+      "title": "EntryResult",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "mnemonic",
+        "status"
+      ],
+      "properties": {
+        "mnemonic": {
+          "type": "string",
+          "minLength": 1
+        },
+        "status": {
+          "type": "string",
+          "enum": [
+            "applied",
+            "unchanged",
+            "refused"
+          ],
+          "description": "`applied` and `unchanged` as in webvh/sync/update/0.2. `refused` — the entry was permanently refused; see `code`."
+        },
+        "code": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Present if and only if `status` is `refused`: the webvh/sync/update/0.2 error code the entry would have received on its own (e.g. `webvh/sync/update:historyRewrite`)."
+        }
+      }
+    },
+    "Ext": {
+      "title": "Ext",
+      "description": "Vendor-namespaced extension object per SPEC.md §4.5.1. Each immediate key MUST be a reverse-DNS namespace; structure under each namespace is opaque to the framework.",
+      "type": "object",
+      "minProperties": 1,
+      "additionalProperties": true,
+      "propertyNames": {
+        "pattern": "^[a-z][a-z0-9-]*(\\.[a-z0-9-]+)+$"
+      }
+    },
+    "SyncUpdate": {
+      "title": "SyncUpdate",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "mnemonic",
+        "didId",
+        "logContent",
+        "versionCount",
+        "disabled"
+      ],
+      "properties": {
+        "mnemonic": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The slot path on its hosting domain (e.g. `alice`, `people/alice`, or `.well-known` for a root DID)."
+        },
+        "didId": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The DID the log establishes. A replica MUST refuse a log that does not establish exactly this DID."
+        },
+        "logContent": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The slot's complete did.jsonl — one log entry per line — not a delta."
+        },
+        "witnessContent": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The slot's did-witness.json. ABSENT means the slot holds no witness proofs: the replica MUST drop any witness proofs it holds for the slot. Absence never means \"unchanged\"."
+        },
+        "versionCount": {
+          "type": "integer",
+          "minimum": 1,
+          "description": "Number of entries in `logContent`, as the source counts them. A replica MUST refuse an update whose `logContent` does not contain exactly this many entries."
+        },
+        "disabled": {
+          "type": "boolean",
+          "description": "Whether the source has disabled the slot. A replica MUST stop serving a disabled slot and MUST resume only on an update carrying `false`."
+        },
+        "ext": {
+          "$ref": "#/$defs/Ext"
+        }
+      }
+    }
+  }
+} as const;
+
+/**
+ * SPEC.md §7.2 policy for the request variant, from this specification's
+ * front matter. Pass to `consumeInbound` — items 5b, 7 and 8 are
+ * per-specification and cannot be derived from the document alone, and
+ * item 2 needs the schema this carries.
+ */
+export const SPEC = {
+  typeUri: TYPE_URI,
+  isBearer: false,
+  isProofRequired: true,
+  isRecipientRequired: true,
+  isIssuedAtRequired: true,
+  payloadSchema: PAYLOAD_SCHEMA,
+} as const;
+
+/**
+ * SPEC.md §7.2 policy for the success-response variant. `isRecipientRequired`
+ * tracks the *issuer* party's requirement because a response swaps the
+ * parties (§7.3 item 5).
+ */
+export const RESPONSE_SPEC = {
+  typeUri: RESPONSE_TYPE_URI,
+  isBearer: false,
+  isProofRequired: true,
+  isRecipientRequired: true,
+  isIssuedAtRequired: true,
+  payloadSchema: RESPONSE_PAYLOAD_SCHEMA,
+} as const;