@openvtc/trust-tasks 0.20.5 → 0.20.7

package/src/git-ns/bridge/event/0.2/payload.ts

@@ -0,0 +1,902 @@
+/**
+ * Generated by scripts/build-ts-bindings.mjs — DO NOT EDIT BY HAND.
+ * Source: specs/git-ns/bridge/event/0.2/payload.schema.json
+ */
+
+import type { DriftItem, Ext, ForgeAccount, ForgeHost, ForgeId, NamespaceId, RepoResource } from "../../../../_shared/components.js";
+
+
+/**
+ * One forge-neutral event, discriminated by `type`. The specification's event table says what each type means and what the VTC does with it.
+ */
+export type ForgeEvent =
+  | RepoRenamed
+  | RepoTransferred
+  | RepoCreatedUnmanaged
+  | RepoDeleted
+  | RoleChanged
+  | ProtectionChanged
+  | InstallationRemoved
+  | AccountLinked
+  | BindCompleted;
+
+/**
+ * The bridge tells the VTC something happened on the forge — translated from the forge's webhook or found by an inspection sweep — together with any drift it now sees.
+ */
+export interface GitNamespacesBridgeEventPayload {
+  /**
+   * The namespace the event happened in.
+   */
+  namespace: NamespaceId;
+  event: ForgeEvent;
+  /**
+   * The complete outstanding drift for each repository the event concerns, replacing what the VTC held for those repositories. Absent: the event changes no repository's drift.
+   */
+  drift?: DriftItem[];
+  ext?: Ext;
+}
+export interface RepoRenamed {
+  type: "repoRenamed";
+  forgeId: ForgeId;
+  from: RepoResource;
+  to: RepoResource;
+}
+export interface RepoTransferred {
+  type: "repoTransferred";
+  forgeId: ForgeId;
+  from: RepoResource;
+  to: RepoResource;
+}
+export interface RepoCreatedUnmanaged {
+  type: "repoCreatedUnmanaged";
+  forgeId: ForgeId;
+  resource: RepoResource;
+}
+export interface RepoDeleted {
+  type: "repoDeleted";
+  forgeId: ForgeId;
+  resource: RepoResource;
+}
+export interface RoleChanged {
+  type: "roleChanged";
+  forgeId: ForgeId;
+  resource: RepoResource;
+  account: ForgeAccount;
+  /**
+   * The role the account now holds. Absent: the account holds no role now.
+   */
+  role?: string;
+}
+export interface ProtectionChanged {
+  type: "protectionChanged";
+  forgeId: ForgeId;
+  resource: RepoResource;
+  /**
+   * Whether the forge still refuses merges without a passing verify-trust check, with no bypass.
+   */
+  requiredCheck: boolean;
+}
+export interface InstallationRemoved {
+  type: "installationRemoved";
+}
+export interface AccountLinked {
+  type: "accountLinked";
+  /**
+   * The beginAccountLink job.
+   */
+  jobId: string;
+  account: ForgeAccount;
+}
+export interface BindCompleted {
+  type: "bindCompleted";
+  /**
+   * The beginBind job.
+   */
+  jobId: string;
+  /**
+   * The forge's id for the owner, which survives renames.
+   */
+  ownerId: ForgeId;
+  kind: "organization" | "user";
+}
+/**
+ * The VTC has recorded the event. Nothing else is returned.
+ */
+export interface GitNamespacesBridgeEventResponsePayload {
+  ext?: Ext;
+}
+
+/** Shared definitions this specification references, re-exported under the names it used to declare them with. */
+export type { DriftItem, Ext, ForgeAccount, ForgeHost, ForgeId, NamespaceId, RepoResource };
+
+/** Trust Task type URI. */
+export const TYPE_URI = "https://trusttasks.org/spec/git-ns/bridge/event/0.2" as const;
+
+/** Stable alias for this specification's request payload shape. */
+export type Payload = GitNamespacesBridgeEventPayload;
+
+/** Trust Task response type URI (request type URI + "#response"). */
+export const RESPONSE_TYPE_URI = "https://trusttasks.org/spec/git-ns/bridge/event/0.2#response" as const;
+
+/** Stable alias for this specification's success-response payload shape. */
+export type Response = GitNamespacesBridgeEventResponsePayload;
+
+/**
+ * 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/git-ns/bridge/event/0.2",
+  "title": "Git Namespaces — Bridge Event — payload",
+  "description": "The bridge tells the VTC something happened on the forge — translated from the forge's webhook or found by an inspection sweep — together with any drift it now sees.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "namespace",
+    "event"
+  ],
+  "properties": {
+    "namespace": {
+      "$ref": "#/$defs/NamespaceId",
+      "description": "The namespace the event happened in."
+    },
+    "event": {
+      "$ref": "#/$defs/ForgeEvent"
+    },
+    "drift": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/DriftItem"
+      },
+      "description": "The complete outstanding drift for each repository the event concerns, replacing what the VTC held for those repositories. Absent: the event changes no repository's drift."
+    },
+    "ext": {
+      "$ref": "#/$defs/Ext"
+    }
+  },
+  "$defs": {
+    "JobId": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 128,
+      "description": "The VTC's identifier for a job, unique across the VTC's jobs."
+    },
+    "ForgeRole": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 64,
+      "description": "A role in the forge's own vocabulary (`maintain`, `write`)."
+    },
+    "ForgeEvent": {
+      "title": "ForgeEvent",
+      "description": "One forge-neutral event, discriminated by `type`. The specification's event table says what each type means and what the VTC does with it.",
+      "type": "object",
+      "oneOf": [
+        {
+          "title": "RepoRenamed",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "from",
+            "to"
+          ],
+          "properties": {
+            "type": {
+              "const": "repoRenamed"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/RepoResource"
+            },
+            "to": {
+              "$ref": "#/$defs/RepoResource"
+            }
+          }
+        },
+        {
+          "title": "RepoTransferred",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "from",
+            "to"
+          ],
+          "properties": {
+            "type": {
+              "const": "repoTransferred"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/RepoResource"
+            },
+            "to": {
+              "$ref": "#/$defs/RepoResource"
+            }
+          }
+        },
+        {
+          "title": "RepoCreatedUnmanaged",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "resource"
+          ],
+          "properties": {
+            "type": {
+              "const": "repoCreatedUnmanaged"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "resource": {
+              "$ref": "#/$defs/RepoResource"
+            }
+          }
+        },
+        {
+          "title": "RepoDeleted",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "resource"
+          ],
+          "properties": {
+            "type": {
+              "const": "repoDeleted"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "resource": {
+              "$ref": "#/$defs/RepoResource"
+            }
+          }
+        },
+        {
+          "title": "RoleChanged",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "resource",
+            "account"
+          ],
+          "properties": {
+            "type": {
+              "const": "roleChanged"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "resource": {
+              "$ref": "#/$defs/RepoResource"
+            },
+            "account": {
+              "$ref": "#/$defs/ForgeAccount"
+            },
+            "role": {
+              "$ref": "#/$defs/ForgeRole",
+              "description": "The role the account now holds. Absent: the account holds no role now."
+            }
+          }
+        },
+        {
+          "title": "ProtectionChanged",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "resource",
+            "requiredCheck"
+          ],
+          "properties": {
+            "type": {
+              "const": "protectionChanged"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "resource": {
+              "$ref": "#/$defs/RepoResource"
+            },
+            "requiredCheck": {
+              "type": "boolean",
+              "description": "Whether the forge still refuses merges without a passing verify-trust check, with no bypass."
+            }
+          }
+        },
+        {
+          "title": "InstallationRemoved",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type"
+          ],
+          "properties": {
+            "type": {
+              "const": "installationRemoved"
+            }
+          }
+        },
+        {
+          "title": "AccountLinked",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "jobId",
+            "account"
+          ],
+          "properties": {
+            "type": {
+              "const": "accountLinked"
+            },
+            "jobId": {
+              "$ref": "#/$defs/JobId",
+              "description": "The beginAccountLink job."
+            },
+            "account": {
+              "$ref": "#/$defs/ForgeAccount"
+            }
+          }
+        },
+        {
+          "title": "BindCompleted",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "jobId",
+            "ownerId",
+            "kind"
+          ],
+          "properties": {
+            "type": {
+              "const": "bindCompleted"
+            },
+            "jobId": {
+              "$ref": "#/$defs/JobId",
+              "description": "The beginBind job."
+            },
+            "ownerId": {
+              "$ref": "#/$defs/ForgeId",
+              "description": "The forge's id for the owner, which survives renames."
+            },
+            "kind": {
+              "type": "string",
+              "enum": [
+                "organization",
+                "user"
+              ]
+            }
+          }
+        }
+      ]
+    },
+    "Response": {
+      "$anchor": "response",
+      "title": "Git Namespaces — Bridge Event — response payload",
+      "description": "The VTC has recorded the event. Nothing else is returned.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [],
+      "properties": {
+        "ext": {
+          "$ref": "#/$defs/Ext"
+        }
+      }
+    },
+    "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-]+)+$"
+      }
+    },
+    "ForgeId": {
+      "title": "ForgeId",
+      "description": "An identifier the forge itself assigns — a repository id, a user or organisation id — carried as a string so a forge whose ids are not numbers needs no new version. GitHub and Forgejo ids are decimal integers written as strings (`\"812736451\"`). Unlike a name, it survives renames and transfers, which is why rights and bindings are keyed by it.",
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 64
+    },
+    "ForgeAccount": {
+      "title": "ForgeAccount",
+      "description": "A person's account on one forge. `id` is authoritative; `login` is for display only, because logins can be renamed and re-registered.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "forge",
+        "id",
+        "login"
+      ],
+      "properties": {
+        "forge": {
+          "$ref": "#/$defs/ForgeHost"
+        },
+        "id": {
+          "$ref": "#/$defs/ForgeId"
+        },
+        "login": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 100,
+          "description": "The account's current login, as the forge reported it when last seen. Display only."
+        }
+      }
+    },
+    "ForgeHost": {
+      "title": "ForgeHost",
+      "description": "The lowercased DNS host of a forge: `github.com`, a GitHub Enterprise Server host, `codeberg.org`, or a self-hosted Forgejo instance such as `git.example.org`. No scheme, no port, no path. The host is a segment of every resource, so a right never crosses forges.",
+      "type": "string",
+      "minLength": 3,
+      "maxLength": 253,
+      "pattern": "^[a-z0-9](?:[a-z0-9-]*[a-z0-9])?(?:\\.[a-z0-9](?:[a-z0-9-]*[a-z0-9])?)+$"
+    },
+    "RepoResource": {
+      "title": "RepoResource",
+      "description": "A forge-qualified resource naming exactly one repository: `<forge-host>/<owner>/<repo>`, lowercase.",
+      "type": "string",
+      "maxLength": 455,
+      "pattern": "^[a-z0-9](?:[a-z0-9-]*[a-z0-9])?(?:\\.[a-z0-9](?:[a-z0-9-]*[a-z0-9])?)+/[a-z0-9_-][a-z0-9._-]{0,99}/[a-z0-9_-][a-z0-9._-]{0,99}$"
+    },
+    "DriftItem": {
+      "title": "DriftItem",
+      "description": "One difference between the forge's observed state and the VTC's projection of a repository.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "type",
+        "resource"
+      ],
+      "properties": {
+        "type": {
+          "type": "string",
+          "enum": [
+            "roleAdded",
+            "roleRemoved",
+            "roleChanged",
+            "requiredCheckMissing",
+            "protectionWeakened",
+            "bootstrapMissing"
+          ],
+          "description": "`roleAdded` — someone holds a forge role the projection does not give them. `roleRemoved` — a projected role is missing. `roleChanged` — a projected role is present at another level. `requiredCheckMissing` — the verify-trust check is no longer required. `protectionWeakened` — branch protection or a ruleset is weaker than the projection in another way (force-push allowed, bypass actors added). `bootstrapMissing` — a bootstrap file or variable is gone."
+        },
+        "resource": {
+          "$ref": "#/$defs/RepoResource"
+        },
+        "account": {
+          "$ref": "#/$defs/ForgeAccount",
+          "description": "Whose role differs, for the three role types."
+        },
+        "observed": {
+          "type": "string",
+          "maxLength": 256,
+          "description": "What the forge shows, in the forge's own vocabulary (a role name such as `maintain`, a setting name). Absent when nothing is there."
+        },
+        "expected": {
+          "type": "string",
+          "maxLength": 256,
+          "description": "What the projection calls for, in the forge's own vocabulary. Absent when the projection calls for nothing."
+        }
+      }
+    },
+    "NamespaceId": {
+      "title": "NamespaceId",
+      "description": "The VTC's opaque identifier for a namespace, assigned when it is bound. Stable for the life of the binding; never reused for another binding.",
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 128
+    }
+  }
+} 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": {
+    "JobId": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 128,
+      "description": "The VTC's identifier for a job, unique across the VTC's jobs."
+    },
+    "ForgeRole": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 64,
+      "description": "A role in the forge's own vocabulary (`maintain`, `write`)."
+    },
+    "ForgeEvent": {
+      "title": "ForgeEvent",
+      "description": "One forge-neutral event, discriminated by `type`. The specification's event table says what each type means and what the VTC does with it.",
+      "type": "object",
+      "oneOf": [
+        {
+          "title": "RepoRenamed",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "from",
+            "to"
+          ],
+          "properties": {
+            "type": {
+              "const": "repoRenamed"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/RepoResource"
+            },
+            "to": {
+              "$ref": "#/$defs/RepoResource"
+            }
+          }
+        },
+        {
+          "title": "RepoTransferred",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "from",
+            "to"
+          ],
+          "properties": {
+            "type": {
+              "const": "repoTransferred"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/RepoResource"
+            },
+            "to": {
+              "$ref": "#/$defs/RepoResource"
+            }
+          }
+        },
+        {
+          "title": "RepoCreatedUnmanaged",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "resource"
+          ],
+          "properties": {
+            "type": {
+              "const": "repoCreatedUnmanaged"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "resource": {
+              "$ref": "#/$defs/RepoResource"
+            }
+          }
+        },
+        {
+          "title": "RepoDeleted",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "resource"
+          ],
+          "properties": {
+            "type": {
+              "const": "repoDeleted"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "resource": {
+              "$ref": "#/$defs/RepoResource"
+            }
+          }
+        },
+        {
+          "title": "RoleChanged",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "resource",
+            "account"
+          ],
+          "properties": {
+            "type": {
+              "const": "roleChanged"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "resource": {
+              "$ref": "#/$defs/RepoResource"
+            },
+            "account": {
+              "$ref": "#/$defs/ForgeAccount"
+            },
+            "role": {
+              "$ref": "#/$defs/ForgeRole",
+              "description": "The role the account now holds. Absent: the account holds no role now."
+            }
+          }
+        },
+        {
+          "title": "ProtectionChanged",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "forgeId",
+            "resource",
+            "requiredCheck"
+          ],
+          "properties": {
+            "type": {
+              "const": "protectionChanged"
+            },
+            "forgeId": {
+              "$ref": "#/$defs/ForgeId"
+            },
+            "resource": {
+              "$ref": "#/$defs/RepoResource"
+            },
+            "requiredCheck": {
+              "type": "boolean",
+              "description": "Whether the forge still refuses merges without a passing verify-trust check, with no bypass."
+            }
+          }
+        },
+        {
+          "title": "InstallationRemoved",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type"
+          ],
+          "properties": {
+            "type": {
+              "const": "installationRemoved"
+            }
+          }
+        },
+        {
+          "title": "AccountLinked",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "jobId",
+            "account"
+          ],
+          "properties": {
+            "type": {
+              "const": "accountLinked"
+            },
+            "jobId": {
+              "$ref": "#/$defs/JobId",
+              "description": "The beginAccountLink job."
+            },
+            "account": {
+              "$ref": "#/$defs/ForgeAccount"
+            }
+          }
+        },
+        {
+          "title": "BindCompleted",
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "type",
+            "jobId",
+            "ownerId",
+            "kind"
+          ],
+          "properties": {
+            "type": {
+              "const": "bindCompleted"
+            },
+            "jobId": {
+              "$ref": "#/$defs/JobId",
+              "description": "The beginBind job."
+            },
+            "ownerId": {
+              "$ref": "#/$defs/ForgeId",
+              "description": "The forge's id for the owner, which survives renames."
+            },
+            "kind": {
+              "type": "string",
+              "enum": [
+                "organization",
+                "user"
+              ]
+            }
+          }
+        }
+      ]
+    },
+    "Response": {
+      "$anchor": "response",
+      "title": "Git Namespaces — Bridge Event — response payload",
+      "description": "The VTC has recorded the event. Nothing else is returned.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [],
+      "properties": {
+        "ext": {
+          "$ref": "#/$defs/Ext"
+        }
+      }
+    },
+    "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-]+)+$"
+      }
+    },
+    "ForgeId": {
+      "title": "ForgeId",
+      "description": "An identifier the forge itself assigns — a repository id, a user or organisation id — carried as a string so a forge whose ids are not numbers needs no new version. GitHub and Forgejo ids are decimal integers written as strings (`\"812736451\"`). Unlike a name, it survives renames and transfers, which is why rights and bindings are keyed by it.",
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 64
+    },
+    "ForgeAccount": {
+      "title": "ForgeAccount",
+      "description": "A person's account on one forge. `id` is authoritative; `login` is for display only, because logins can be renamed and re-registered.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "forge",
+        "id",
+        "login"
+      ],
+      "properties": {
+        "forge": {
+          "$ref": "#/$defs/ForgeHost"
+        },
+        "id": {
+          "$ref": "#/$defs/ForgeId"
+        },
+        "login": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 100,
+          "description": "The account's current login, as the forge reported it when last seen. Display only."
+        }
+      }
+    },
+    "ForgeHost": {
+      "title": "ForgeHost",
+      "description": "The lowercased DNS host of a forge: `github.com`, a GitHub Enterprise Server host, `codeberg.org`, or a self-hosted Forgejo instance such as `git.example.org`. No scheme, no port, no path. The host is a segment of every resource, so a right never crosses forges.",
+      "type": "string",
+      "minLength": 3,
+      "maxLength": 253,
+      "pattern": "^[a-z0-9](?:[a-z0-9-]*[a-z0-9])?(?:\\.[a-z0-9](?:[a-z0-9-]*[a-z0-9])?)+$"
+    },
+    "RepoResource": {
+      "title": "RepoResource",
+      "description": "A forge-qualified resource naming exactly one repository: `<forge-host>/<owner>/<repo>`, lowercase.",
+      "type": "string",
+      "maxLength": 455,
+      "pattern": "^[a-z0-9](?:[a-z0-9-]*[a-z0-9])?(?:\\.[a-z0-9](?:[a-z0-9-]*[a-z0-9])?)+/[a-z0-9_-][a-z0-9._-]{0,99}/[a-z0-9_-][a-z0-9._-]{0,99}$"
+    },
+    "DriftItem": {
+      "title": "DriftItem",
+      "description": "One difference between the forge's observed state and the VTC's projection of a repository.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "type",
+        "resource"
+      ],
+      "properties": {
+        "type": {
+          "type": "string",
+          "enum": [
+            "roleAdded",
+            "roleRemoved",
+            "roleChanged",
+            "requiredCheckMissing",
+            "protectionWeakened",
+            "bootstrapMissing"
+          ],
+          "description": "`roleAdded` — someone holds a forge role the projection does not give them. `roleRemoved` — a projected role is missing. `roleChanged` — a projected role is present at another level. `requiredCheckMissing` — the verify-trust check is no longer required. `protectionWeakened` — branch protection or a ruleset is weaker than the projection in another way (force-push allowed, bypass actors added). `bootstrapMissing` — a bootstrap file or variable is gone."
+        },
+        "resource": {
+          "$ref": "#/$defs/RepoResource"
+        },
+        "account": {
+          "$ref": "#/$defs/ForgeAccount",
+          "description": "Whose role differs, for the three role types."
+        },
+        "observed": {
+          "type": "string",
+          "maxLength": 256,
+          "description": "What the forge shows, in the forge's own vocabulary (a role name such as `maintain`, a setting name). Absent when nothing is there."
+        },
+        "expected": {
+          "type": "string",
+          "maxLength": 256,
+          "description": "What the projection calls for, in the forge's own vocabulary. Absent when the projection calls for nothing."
+        }
+      }
+    },
+    "NamespaceId": {
+      "title": "NamespaceId",
+      "description": "The VTC's opaque identifier for a namespace, assigned when it is bound. Stable for the life of the binding; never reused for another binding.",
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 128
+    }
+  }
+} 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;