@openvtc/trust-tasks 0.20.6 → 0.20.7

package/src/git-ns/drift/resolve/0.2/payload.ts

@@ -0,0 +1,699 @@
+/**
+ * Generated by scripts/build-ts-bindings.mjs — DO NOT EDIT BY HAND.
+ * Source: specs/git-ns/drift/resolve/0.2/payload.schema.json
+ */
+
+import type { Did_GitNsV0_3 as Did, DriftItem, DriftType, Ext, ForgeAccount, ForgeHost, ForgeId, RepoResource, Resource, Right, RightRecord_GitNsV0_3 as RightRecord, Sync } from "../../../../_shared/components.js";
+
+
+/**
+ * An owner of a repository, or a namespace admin over it, resolves one reported drift item: `adopt` records the forge-side role as a VTC right, under the same rules as git-ns/right/grant; `revert` has the bridge undo the forge-side change.
+ */
+export interface GitNamespacesResolveDriftPayload {
+  /**
+   * The repository whose drift is resolved.
+   */
+  resource: RepoResource;
+  drift: DriftSelector;
+  /**
+   * `adopt` — record the forge-side role as a VTC right, so the projection comes to match the forge. `revert` — have the bridge make the forge match the projection again.
+   */
+  action: "adopt" | "revert";
+  /**
+   * Why, in the resolver's words. Kept in the VTC's audit record and, for `adopt`, as the recorded right's `reason`, disclosed only to the repository's owners and namespace admins.
+   */
+  reason?: string;
+  ext?: Ext;
+}
+/**
+ * Which of the repository's outstanding drift items to resolve. Drift items carry no identifier of their own: they are recomputed by the bridge and replaced wholesale by every git-ns/bridge/event. An item is selected by its `type`, and for the three role types also by the account whose role differs, which is unique among a repository's outstanding items.
+ */
+export interface DriftSelector {
+  type: DriftType;
+  /**
+   * The account whose role differs, as the drift item reports it. Required for `roleAdded`, `roleRemoved` and `roleChanged`, and absent for every other type. Matched by `forge` and `id`; `login` is display only.
+   */
+  account?: ForgeAccount;
+  /**
+   * The item's `observed` value as the caller last read it. When present, the item is selected only if the forge still shows exactly this, so a decision made about one state is never applied to another. Required for `adopt`.
+   */
+  observed?: string;
+}
+/**
+ * What the resolution did, and where the repository's sync now stands.
+ */
+export interface GitNamespacesResolveDriftResponsePayload {
+  /**
+   * The action taken, as requested.
+   */
+  action: "adopt" | "revert";
+  /**
+   * For `adopt`: the recorded right — newly recorded, or the live record that already existed. Absent for `revert`.
+   */
+  right?: RightRecord;
+  /**
+   * The repository's sync after the resolution. The resolved item is no longer outstanding; the state is `drift` while other items remain, and otherwise `pending` until the bridge confirms the forge matches.
+   */
+  sync: Sync;
+  ext?: Ext;
+}
+
+/** Shared definitions this specification references, re-exported under the names it used to declare them with. */
+export type { Did, DriftItem, DriftType, Ext, ForgeAccount, ForgeHost, ForgeId, RepoResource, Resource, Right, RightRecord, Sync };
+
+/** Trust Task type URI. */
+export const TYPE_URI = "https://trusttasks.org/spec/git-ns/drift/resolve/0.2" as const;
+
+/** Stable alias for this specification's request payload shape. */
+export type Payload = GitNamespacesResolveDriftPayload;
+
+/** Trust Task response type URI (request type URI + "#response"). */
+export const RESPONSE_TYPE_URI = "https://trusttasks.org/spec/git-ns/drift/resolve/0.2#response" as const;
+
+/** Stable alias for this specification's success-response payload shape. */
+export type Response = GitNamespacesResolveDriftResponsePayload;
+
+/**
+ * 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/drift/resolve/0.2",
+  "title": "Git Namespaces — Resolve Drift — payload",
+  "description": "An owner of a repository, or a namespace admin over it, resolves one reported drift item: `adopt` records the forge-side role as a VTC right, under the same rules as git-ns/right/grant; `revert` has the bridge undo the forge-side change.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "resource",
+    "drift",
+    "action"
+  ],
+  "properties": {
+    "resource": {
+      "$ref": "#/$defs/RepoResource",
+      "description": "The repository whose drift is resolved."
+    },
+    "drift": {
+      "$ref": "#/$defs/DriftSelector"
+    },
+    "action": {
+      "type": "string",
+      "enum": [
+        "adopt",
+        "revert"
+      ],
+      "description": "`adopt` — record the forge-side role as a VTC right, so the projection comes to match the forge. `revert` — have the bridge make the forge match the projection again."
+    },
+    "reason": {
+      "type": "string",
+      "maxLength": 1024,
+      "description": "Why, in the resolver's words. Kept in the VTC's audit record and, for `adopt`, as the recorded right's `reason`, disclosed only to the repository's owners and namespace admins."
+    },
+    "ext": {
+      "$ref": "#/$defs/Ext"
+    }
+  },
+  "$defs": {
+    "DriftSelector": {
+      "title": "DriftSelector",
+      "description": "Which of the repository's outstanding drift items to resolve. Drift items carry no identifier of their own: they are recomputed by the bridge and replaced wholesale by every git-ns/bridge/event. An item is selected by its `type`, and for the three role types also by the account whose role differs, which is unique among a repository's outstanding items.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "type"
+      ],
+      "properties": {
+        "type": {
+          "$ref": "#/$defs/DriftType"
+        },
+        "account": {
+          "$ref": "#/$defs/ForgeAccount",
+          "description": "The account whose role differs, as the drift item reports it. Required for `roleAdded`, `roleRemoved` and `roleChanged`, and absent for every other type. Matched by `forge` and `id`; `login` is display only."
+        },
+        "observed": {
+          "type": "string",
+          "maxLength": 256,
+          "description": "The item's `observed` value as the caller last read it. When present, the item is selected only if the forge still shows exactly this, so a decision made about one state is never applied to another. Required for `adopt`."
+        }
+      }
+    },
+    "Response": {
+      "$anchor": "response",
+      "title": "Git Namespaces — Resolve Drift — response payload",
+      "description": "What the resolution did, and where the repository's sync now stands.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "action",
+        "sync"
+      ],
+      "properties": {
+        "action": {
+          "type": "string",
+          "enum": [
+            "adopt",
+            "revert"
+          ],
+          "description": "The action taken, as requested."
+        },
+        "right": {
+          "$ref": "#/$defs/RightRecord",
+          "description": "For `adopt`: the recorded right — newly recorded, or the live record that already existed. Absent for `revert`."
+        },
+        "sync": {
+          "$ref": "#/$defs/Sync",
+          "description": "The repository's sync after the resolution. The resolved item is no longer outstanding; the state is `drift` while other items remain, and otherwise `pending` until the bridge confirms the forge matches."
+        },
+        "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-]+)+$"
+      }
+    },
+    "Sync": {
+      "title": "Sync",
+      "description": "How the forge compares with the VTC's projection for one repository.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "state",
+        "drift"
+      ],
+      "properties": {
+        "state": {
+          "type": "string",
+          "enum": [
+            "inSync",
+            "drift",
+            "pending",
+            "unchecked"
+          ],
+          "description": "`inSync` — the last comparison found no drift. `drift` — it found some, listed in `drift`. `pending` — a change has been sent to the forge and not yet confirmed. `unchecked` — nothing compares this repository (a manual-mode namespace)."
+        },
+        "checkedAt": {
+          "type": "string",
+          "format": "date-time",
+          "description": "When the forge was last compared. Absent if never."
+        },
+        "drift": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/DriftItem"
+          },
+          "description": "Outstanding drift. Empty unless `state` is `drift`."
+        }
+      }
+    },
+    "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."
+        }
+      }
+    },
+    "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."
+        }
+      }
+    },
+    "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
+    },
+    "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}$"
+    },
+    "RightRecord": {
+      "title": "RightRecord",
+      "description": "One recorded right. Implied rights (§4.2 of the rights model: `own` implies `maintain` implies `commit.sign` on the same resource; `ns.admin` implies `repo.create` and `own` across its namespace) are not records and never appear as RightRecords.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "subject",
+        "right",
+        "resource",
+        "grantedBy",
+        "grantedAt"
+      ],
+      "properties": {
+        "subject": {
+          "$ref": "#/$defs/Did",
+          "description": "Who holds the right. For `git.commit.sign` this is the DID whose commit signatures the CI check accepts."
+        },
+        "right": {
+          "$ref": "#/$defs/Right"
+        },
+        "resource": {
+          "$ref": "#/$defs/Resource"
+        },
+        "grantedBy": {
+          "$ref": "#/$defs/Did",
+          "description": "The actor whose task caused the right: the granter, the creator of a repository (for its first `own`), the adopting admin, the transferring owner, or the binding admin (for the first `git.ns.admin`). The VTC's own DID for a right it derives from its configuration."
+        },
+        "grantedAt": {
+          "type": "string",
+          "format": "date-time"
+        },
+        "expiresAt": {
+          "type": "string",
+          "format": "date-time",
+          "description": "When the right lapses. Absent: no expiry."
+        },
+        "reason": {
+          "type": "string",
+          "maxLength": 1024,
+          "description": "The granter's free-text reason. Disclosed only to holders of `git.repo.own` on the resource and of `git.ns.admin` over it."
+        }
+      }
+    },
+    "Did": {
+      "title": "Did",
+      "description": "A bare DID in the W3C DID Core syntax (§3.1): `did:`, a method name of lowercase letters and digits, `:`, and a method-specific id of colon-separated segments drawn from `A-Z a-z 0-9 . - _` and percent-encoded octets, the last segment non-empty. A DID URL is not a DID: no path, query or fragment (`/`, `?`, `#`), so a verification-method id such as `did:key:z6Mk…#z6Mk…` is refused. Compared by exact string equality — no case folding or percent-decoding. A consumer MUST still treat the value as data: the pattern keeps shell metacharacters, whitespace and quotes out of the wire form, but it does not make a DID safe to splice into a command or markup.",
+      "type": "string",
+      "maxLength": 2048,
+      "pattern": "^did:[a-z0-9]+:(?:(?:[A-Za-z0-9._-]|%[0-9A-Fa-f]{2})*:)*(?:[A-Za-z0-9._-]|%[0-9A-Fa-f]{2})+$"
+    },
+    "Resource": {
+      "title": "Resource",
+      "description": "A forge-qualified resource: `<forge-host>/<owner>` for a namespace, or `<forge-host>/<owner>/<repo>` for one repository, all lowercase — `github.com/acme`, `github.com/acme/widgets`, `codeberg.org/acme`. The forge is never implied: `acme/widgets` alone is not a resource. Containment is by whole segment: `github.com/acme` contains `github.com/acme/widgets` and does not contain `github.com/acme-labs/x` or `codeberg.org/acme/widgets`.",
+      "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}){1,2}$"
+    },
+    "Right": {
+      "title": "Right",
+      "description": "One of the five git rights. Each string is also the TRQP `action` the VTC publishes the right under in its Trust Registry, so it is carried verbatim. `git.ns.admin` and `git.repo.create` apply to a namespace resource; `git.repo.own` and `git.repo.maintain` to a repository resource; `git.commit.sign` to either.",
+      "type": "string",
+      "enum": [
+        "git.ns.admin",
+        "git.repo.create",
+        "git.repo.own",
+        "git.repo.maintain",
+        "git.commit.sign"
+      ]
+    },
+    "DriftType": {
+      "title": "DriftType",
+      "type": "string",
+      "enum": [
+        "roleAdded",
+        "roleRemoved",
+        "roleChanged",
+        "requiredCheckMissing",
+        "protectionWeakened",
+        "bootstrapMissing"
+      ],
+      "description": "The kinds of drift, named so that a task can select a drift item by kind. The same values, with the same meanings, as `DriftItem`'s `type`, which keeps its own inline list so that `DriftItem` stays textually identical to 0.1; the two lists change together. `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."
+    }
+  }
+} 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": {
+    "DriftSelector": {
+      "title": "DriftSelector",
+      "description": "Which of the repository's outstanding drift items to resolve. Drift items carry no identifier of their own: they are recomputed by the bridge and replaced wholesale by every git-ns/bridge/event. An item is selected by its `type`, and for the three role types also by the account whose role differs, which is unique among a repository's outstanding items.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "type"
+      ],
+      "properties": {
+        "type": {
+          "$ref": "#/$defs/DriftType"
+        },
+        "account": {
+          "$ref": "#/$defs/ForgeAccount",
+          "description": "The account whose role differs, as the drift item reports it. Required for `roleAdded`, `roleRemoved` and `roleChanged`, and absent for every other type. Matched by `forge` and `id`; `login` is display only."
+        },
+        "observed": {
+          "type": "string",
+          "maxLength": 256,
+          "description": "The item's `observed` value as the caller last read it. When present, the item is selected only if the forge still shows exactly this, so a decision made about one state is never applied to another. Required for `adopt`."
+        }
+      }
+    },
+    "Response": {
+      "$anchor": "response",
+      "title": "Git Namespaces — Resolve Drift — response payload",
+      "description": "What the resolution did, and where the repository's sync now stands.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "action",
+        "sync"
+      ],
+      "properties": {
+        "action": {
+          "type": "string",
+          "enum": [
+            "adopt",
+            "revert"
+          ],
+          "description": "The action taken, as requested."
+        },
+        "right": {
+          "$ref": "#/$defs/RightRecord",
+          "description": "For `adopt`: the recorded right — newly recorded, or the live record that already existed. Absent for `revert`."
+        },
+        "sync": {
+          "$ref": "#/$defs/Sync",
+          "description": "The repository's sync after the resolution. The resolved item is no longer outstanding; the state is `drift` while other items remain, and otherwise `pending` until the bridge confirms the forge matches."
+        },
+        "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-]+)+$"
+      }
+    },
+    "Sync": {
+      "title": "Sync",
+      "description": "How the forge compares with the VTC's projection for one repository.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "state",
+        "drift"
+      ],
+      "properties": {
+        "state": {
+          "type": "string",
+          "enum": [
+            "inSync",
+            "drift",
+            "pending",
+            "unchecked"
+          ],
+          "description": "`inSync` — the last comparison found no drift. `drift` — it found some, listed in `drift`. `pending` — a change has been sent to the forge and not yet confirmed. `unchecked` — nothing compares this repository (a manual-mode namespace)."
+        },
+        "checkedAt": {
+          "type": "string",
+          "format": "date-time",
+          "description": "When the forge was last compared. Absent if never."
+        },
+        "drift": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/DriftItem"
+          },
+          "description": "Outstanding drift. Empty unless `state` is `drift`."
+        }
+      }
+    },
+    "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."
+        }
+      }
+    },
+    "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."
+        }
+      }
+    },
+    "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
+    },
+    "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}$"
+    },
+    "RightRecord": {
+      "title": "RightRecord",
+      "description": "One recorded right. Implied rights (§4.2 of the rights model: `own` implies `maintain` implies `commit.sign` on the same resource; `ns.admin` implies `repo.create` and `own` across its namespace) are not records and never appear as RightRecords.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "subject",
+        "right",
+        "resource",
+        "grantedBy",
+        "grantedAt"
+      ],
+      "properties": {
+        "subject": {
+          "$ref": "#/$defs/Did",
+          "description": "Who holds the right. For `git.commit.sign` this is the DID whose commit signatures the CI check accepts."
+        },
+        "right": {
+          "$ref": "#/$defs/Right"
+        },
+        "resource": {
+          "$ref": "#/$defs/Resource"
+        },
+        "grantedBy": {
+          "$ref": "#/$defs/Did",
+          "description": "The actor whose task caused the right: the granter, the creator of a repository (for its first `own`), the adopting admin, the transferring owner, or the binding admin (for the first `git.ns.admin`). The VTC's own DID for a right it derives from its configuration."
+        },
+        "grantedAt": {
+          "type": "string",
+          "format": "date-time"
+        },
+        "expiresAt": {
+          "type": "string",
+          "format": "date-time",
+          "description": "When the right lapses. Absent: no expiry."
+        },
+        "reason": {
+          "type": "string",
+          "maxLength": 1024,
+          "description": "The granter's free-text reason. Disclosed only to holders of `git.repo.own` on the resource and of `git.ns.admin` over it."
+        }
+      }
+    },
+    "Did": {
+      "title": "Did",
+      "description": "A bare DID in the W3C DID Core syntax (§3.1): `did:`, a method name of lowercase letters and digits, `:`, and a method-specific id of colon-separated segments drawn from `A-Z a-z 0-9 . - _` and percent-encoded octets, the last segment non-empty. A DID URL is not a DID: no path, query or fragment (`/`, `?`, `#`), so a verification-method id such as `did:key:z6Mk…#z6Mk…` is refused. Compared by exact string equality — no case folding or percent-decoding. A consumer MUST still treat the value as data: the pattern keeps shell metacharacters, whitespace and quotes out of the wire form, but it does not make a DID safe to splice into a command or markup.",
+      "type": "string",
+      "maxLength": 2048,
+      "pattern": "^did:[a-z0-9]+:(?:(?:[A-Za-z0-9._-]|%[0-9A-Fa-f]{2})*:)*(?:[A-Za-z0-9._-]|%[0-9A-Fa-f]{2})+$"
+    },
+    "Resource": {
+      "title": "Resource",
+      "description": "A forge-qualified resource: `<forge-host>/<owner>` for a namespace, or `<forge-host>/<owner>/<repo>` for one repository, all lowercase — `github.com/acme`, `github.com/acme/widgets`, `codeberg.org/acme`. The forge is never implied: `acme/widgets` alone is not a resource. Containment is by whole segment: `github.com/acme` contains `github.com/acme/widgets` and does not contain `github.com/acme-labs/x` or `codeberg.org/acme/widgets`.",
+      "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}){1,2}$"
+    },
+    "Right": {
+      "title": "Right",
+      "description": "One of the five git rights. Each string is also the TRQP `action` the VTC publishes the right under in its Trust Registry, so it is carried verbatim. `git.ns.admin` and `git.repo.create` apply to a namespace resource; `git.repo.own` and `git.repo.maintain` to a repository resource; `git.commit.sign` to either.",
+      "type": "string",
+      "enum": [
+        "git.ns.admin",
+        "git.repo.create",
+        "git.repo.own",
+        "git.repo.maintain",
+        "git.commit.sign"
+      ]
+    },
+    "DriftType": {
+      "title": "DriftType",
+      "type": "string",
+      "enum": [
+        "roleAdded",
+        "roleRemoved",
+        "roleChanged",
+        "requiredCheckMissing",
+        "protectionWeakened",
+        "bootstrapMissing"
+      ],
+      "description": "The kinds of drift, named so that a task can select a drift item by kind. The same values, with the same meanings, as `DriftItem`'s `type`, which keeps its own inline list so that `DriftItem` stays textually identical to 0.1; the two lists change together. `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."
+    }
+  }
+} 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;