@openvtc/trust-tasks 0.26.24 → 0.26.26

package/src/voting/trustees/status/0.1/payload.ts

@@ -0,0 +1,890 @@
+/**
+ * Generated by scripts/build-ts-bindings.mjs — DO NOT EDIT BY HAND.
+ * Source: specs/voting/trustees/status/0.1/payload.schema.json
+ */
+
+import type { Dealing, DecryptionTarget, ElectionId, ElectionKey, ElGamalCiphertext, Ext, GroupElement, GroupScalar, SealedPayload, SealedShare, SigmaProof, TransportKey, TrusteeIndex, TrusteePhase } from "../../../../_shared/components.js";
+
+
+/**
+ * Where an election's trustee ceremony stands: transport keys, dealings, complaints, the election key, and what remains to decrypt.
+ */
+export interface VotingTrusteesStatusPayload {
+  /**
+   * The community's DID: the registrar that registered the election.
+   */
+  community: string;
+  electionId: ElectionId;
+  ext?: Ext;
+}
+export interface VotingTrusteesStatusResponsePayload {
+  phase: TrusteePhase;
+  threshold: number;
+  /**
+   * @maxItems 64
+   */
+  transportKeys: TransportKey[];
+  /**
+   * @maxItems 64
+   */
+  dealings: Dealing[];
+  /**
+   * @maxItems 4096
+   */
+  complaints: {
+    dealer: TrusteeIndex;
+    recipient: TrusteeIndex;
+    justified: boolean;
+    share?: GroupScalar;
+  }[];
+  /**
+   * @maxItems 64
+   */
+  confirmed: TrusteeIndex[];
+  electionKey?: ElectionKey;
+  /**
+   * What remains to be decrypted, once voting has closed.
+   *
+   * @maxItems 100000
+   */
+  targets: DecryptionTarget[];
+  /**
+   * The trustees whose partials have been accepted.
+   *
+   * @maxItems 64
+   */
+  decrypted: TrusteeIndex[];
+  ext?: Ext;
+}
+
+/** Shared definitions this specification references, re-exported under the names it used to declare them with. */
+export type { Dealing, DecryptionTarget, ElectionId, ElectionKey, ElGamalCiphertext, Ext, GroupElement, GroupScalar, SealedPayload, SealedShare, SigmaProof, TransportKey, TrusteeIndex, TrusteePhase };
+
+/** Trust Task type URI. */
+export const TYPE_URI = "https://trusttasks.org/spec/voting/trustees/status/0.1" as const;
+
+/** Stable alias for this specification's request payload shape. */
+export type Payload = VotingTrusteesStatusPayload;
+
+/** Trust Task response type URI (request type URI + "#response"). */
+export const RESPONSE_TYPE_URI = "https://trusttasks.org/spec/voting/trustees/status/0.1#response" as const;
+
+/** Stable alias for this specification's success-response payload shape. */
+export type Response = VotingTrusteesStatusResponsePayload;
+
+/**
+ * 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/voting/trustees/status/0.1",
+  "title": "Voting — Trustees — Status — payload",
+  "description": "Where an election's trustee ceremony stands: transport keys, dealings, complaints, the election key, and what remains to decrypt.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "community",
+    "electionId"
+  ],
+  "properties": {
+    "community": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 2048,
+      "description": "The community's DID: the registrar that registered the election."
+    },
+    "electionId": {
+      "$ref": "#/$defs/ElectionId"
+    },
+    "ext": {
+      "$ref": "#/$defs/Ext"
+    }
+  },
+  "$defs": {
+    "Response": {
+      "$anchor": "response",
+      "title": "Voting — Trustees — Status — response payload",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "phase",
+        "threshold",
+        "transportKeys",
+        "dealings",
+        "complaints",
+        "confirmed",
+        "targets",
+        "decrypted"
+      ],
+      "properties": {
+        "phase": {
+          "$ref": "#/$defs/TrusteePhase"
+        },
+        "threshold": {
+          "type": "integer",
+          "minimum": 2,
+          "maximum": 64
+        },
+        "transportKeys": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/TransportKey"
+          }
+        },
+        "dealings": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/Dealing"
+          }
+        },
+        "complaints": {
+          "type": "array",
+          "maxItems": 4096,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "dealer",
+              "recipient",
+              "justified"
+            ],
+            "properties": {
+              "dealer": {
+                "$ref": "#/$defs/TrusteeIndex"
+              },
+              "recipient": {
+                "$ref": "#/$defs/TrusteeIndex"
+              },
+              "justified": {
+                "type": "boolean"
+              },
+              "share": {
+                "$ref": "#/$defs/GroupScalar"
+              }
+            }
+          }
+        },
+        "confirmed": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/TrusteeIndex"
+          }
+        },
+        "electionKey": {
+          "$ref": "#/$defs/ElectionKey"
+        },
+        "targets": {
+          "type": "array",
+          "maxItems": 100000,
+          "items": {
+            "$ref": "#/$defs/DecryptionTarget"
+          },
+          "description": "What remains to be decrypted, once voting has closed."
+        },
+        "decrypted": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/TrusteeIndex"
+          },
+          "description": "The trustees whose partials have been accepted."
+        },
+        "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-]+)+$"
+      }
+    },
+    "TrusteeIndex": {
+      "title": "TrusteeIndex",
+      "description": "A trustee's index: its position in the manifest's `trustees.dids`, counting from 1.",
+      "type": "integer",
+      "minimum": 1,
+      "maximum": 64
+    },
+    "DecryptionTarget": {
+      "title": "DecryptionTarget",
+      "description": "What a partial decryption decrypts: the sealed cast at a board leaf, or the total of one option of one question.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "ciphertext"
+      ],
+      "properties": {
+        "leafIndex": {
+          "type": "integer",
+          "minimum": 0,
+          "description": "A sealed cast's board leaf."
+        },
+        "question": {
+          "$ref": "#/$defs/Key"
+        },
+        "option": {
+          "$ref": "#/$defs/Key"
+        },
+        "ciphertext": {
+          "$ref": "#/$defs/ElGamalCiphertext"
+        }
+      },
+      "oneOf": [
+        {
+          "required": [
+            "leafIndex"
+          ]
+        },
+        {
+          "required": [
+            "question",
+            "option"
+          ]
+        }
+      ]
+    },
+    "ElGamalCiphertext": {
+      "title": "ElGamalCiphertext",
+      "description": "`(a, b) = (r·G, M + r·Y)` under the election key `Y` (CONVENTIONS §9.2).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "a",
+        "b"
+      ],
+      "properties": {
+        "a": {
+          "$ref": "#/$defs/GroupElement"
+        },
+        "b": {
+          "$ref": "#/$defs/GroupElement"
+        }
+      }
+    },
+    "GroupElement": {
+      "title": "GroupElement",
+      "description": "A Ristretto group element: its 32-byte compression, multibase base58btc. Never the identity (CONVENTIONS §9.1).",
+      "type": "string",
+      "minLength": 2,
+      "maxLength": 64,
+      "pattern": "^z[1-9A-HJ-NP-Za-km-z]+$"
+    },
+    "Key": {
+      "title": "Key",
+      "description": "A question or option key, unique within its manifest or question.",
+      "type": "string",
+      "pattern": "^[A-Za-z0-9._-]{1,64}$"
+    },
+    "ElectionKey": {
+      "title": "ElectionKey",
+      "description": "The election key and each trustee's public verification key, computed from the qualified dealings (CONVENTIONS §9.6). Anyone can recompute it from the board.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "key",
+        "qualified",
+        "verification"
+      ],
+      "properties": {
+        "key": {
+          "$ref": "#/$defs/GroupElement"
+        },
+        "qualified": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/TrusteeIndex"
+          },
+          "description": "The dealers whose dealings the key is formed from."
+        },
+        "verification": {
+          "type": "array",
+          "minItems": 2,
+          "maxItems": 64,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "trustee",
+              "key"
+            ],
+            "properties": {
+              "trustee": {
+                "$ref": "#/$defs/TrusteeIndex"
+              },
+              "key": {
+                "$ref": "#/$defs/GroupElement"
+              }
+            }
+          }
+        }
+      }
+    },
+    "GroupScalar": {
+      "title": "GroupScalar",
+      "description": "A scalar mod the Ristretto group order: 32 canonical little-endian bytes, multibase base58btc (CONVENTIONS §9.1).",
+      "type": "string",
+      "minLength": 2,
+      "maxLength": 64,
+      "pattern": "^z[1-9A-HJ-NP-Za-km-z]+$"
+    },
+    "Dealing": {
+      "title": "Dealing",
+      "description": "A trustee's contribution to the election key: Feldman commitments to its polynomial, a proof of knowledge of the constant term, and one share per trustee sealed to that trustee's transport key (CONVENTIONS §9.6).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "dealer",
+        "commitments",
+        "pok",
+        "shares"
+      ],
+      "properties": {
+        "dealer": {
+          "$ref": "#/$defs/TrusteeIndex"
+        },
+        "commitments": {
+          "type": "array",
+          "minItems": 2,
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/GroupElement"
+          }
+        },
+        "pok": {
+          "$ref": "#/$defs/SigmaProof"
+        },
+        "shares": {
+          "type": "array",
+          "minItems": 2,
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/SealedShare"
+          }
+        }
+      }
+    },
+    "SealedShare": {
+      "title": "SealedShare",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "recipient",
+        "share"
+      ],
+      "properties": {
+        "recipient": {
+          "$ref": "#/$defs/TrusteeIndex"
+        },
+        "share": {
+          "$ref": "#/$defs/SealedPayload"
+        }
+      }
+    },
+    "SealedPayload": {
+      "title": "SealedPayload",
+      "description": "Bytes sealed to a key: a random group element encrypted as `kem`, and the bytes under ChaCha20-Poly1305 with a key derived from it, multibase base58btc (CONVENTIONS §9.4).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kem",
+        "body"
+      ],
+      "properties": {
+        "kem": {
+          "$ref": "#/$defs/ElGamalCiphertext"
+        },
+        "body": {
+          "type": "string",
+          "minLength": 2,
+          "maxLength": 131072,
+          "pattern": "^z[1-9A-HJ-NP-Za-km-z]+$"
+        }
+      }
+    },
+    "SigmaProof": {
+      "title": "SigmaProof",
+      "description": "A non-interactive sigma proof as its challenge and response `(c, z)` (Schnorr or Chaum–Pedersen; CONVENTIONS §9.3).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "c",
+        "z"
+      ],
+      "properties": {
+        "c": {
+          "$ref": "#/$defs/GroupScalar"
+        },
+        "z": {
+          "$ref": "#/$defs/GroupScalar"
+        }
+      }
+    },
+    "TransportKey": {
+      "title": "TransportKey",
+      "description": "The group element a trustee's shares are sealed to, with a Schnorr proof of knowledge of its discrete log (CONVENTIONS §9.6).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "trustee",
+        "key",
+        "pok"
+      ],
+      "properties": {
+        "trustee": {
+          "$ref": "#/$defs/TrusteeIndex"
+        },
+        "key": {
+          "$ref": "#/$defs/GroupElement"
+        },
+        "pok": {
+          "$ref": "#/$defs/SigmaProof"
+        }
+      }
+    },
+    "TrusteePhase": {
+      "title": "TrusteePhase",
+      "description": "`enrolling`: transport keys are being published. `dealing`: dealings are. `confirming`: each trustee confirms or complains. `keyed`: the election key is formed. `decrypting`: voting has closed and partial decryptions are being published. `done`: every target is decrypted. `failed`: the key could not be formed in time.",
+      "type": "string",
+      "enum": [
+        "enrolling",
+        "dealing",
+        "confirming",
+        "keyed",
+        "decrypting",
+        "done",
+        "failed"
+      ]
+    },
+    "ElectionId": {
+      "title": "ElectionId",
+      "description": "An election's identifier, unique within its community. A closed alphabet: it appears in the ticket class label `voter/<electionId>` and is framed into every hash a cast is bound to.",
+      "type": "string",
+      "pattern": "^[A-Za-z0-9._-]{1,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": {
+    "Response": {
+      "$anchor": "response",
+      "title": "Voting — Trustees — Status — response payload",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "phase",
+        "threshold",
+        "transportKeys",
+        "dealings",
+        "complaints",
+        "confirmed",
+        "targets",
+        "decrypted"
+      ],
+      "properties": {
+        "phase": {
+          "$ref": "#/$defs/TrusteePhase"
+        },
+        "threshold": {
+          "type": "integer",
+          "minimum": 2,
+          "maximum": 64
+        },
+        "transportKeys": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/TransportKey"
+          }
+        },
+        "dealings": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/Dealing"
+          }
+        },
+        "complaints": {
+          "type": "array",
+          "maxItems": 4096,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "dealer",
+              "recipient",
+              "justified"
+            ],
+            "properties": {
+              "dealer": {
+                "$ref": "#/$defs/TrusteeIndex"
+              },
+              "recipient": {
+                "$ref": "#/$defs/TrusteeIndex"
+              },
+              "justified": {
+                "type": "boolean"
+              },
+              "share": {
+                "$ref": "#/$defs/GroupScalar"
+              }
+            }
+          }
+        },
+        "confirmed": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/TrusteeIndex"
+          }
+        },
+        "electionKey": {
+          "$ref": "#/$defs/ElectionKey"
+        },
+        "targets": {
+          "type": "array",
+          "maxItems": 100000,
+          "items": {
+            "$ref": "#/$defs/DecryptionTarget"
+          },
+          "description": "What remains to be decrypted, once voting has closed."
+        },
+        "decrypted": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/TrusteeIndex"
+          },
+          "description": "The trustees whose partials have been accepted."
+        },
+        "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-]+)+$"
+      }
+    },
+    "TrusteeIndex": {
+      "title": "TrusteeIndex",
+      "description": "A trustee's index: its position in the manifest's `trustees.dids`, counting from 1.",
+      "type": "integer",
+      "minimum": 1,
+      "maximum": 64
+    },
+    "DecryptionTarget": {
+      "title": "DecryptionTarget",
+      "description": "What a partial decryption decrypts: the sealed cast at a board leaf, or the total of one option of one question.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "ciphertext"
+      ],
+      "properties": {
+        "leafIndex": {
+          "type": "integer",
+          "minimum": 0,
+          "description": "A sealed cast's board leaf."
+        },
+        "question": {
+          "$ref": "#/$defs/Key"
+        },
+        "option": {
+          "$ref": "#/$defs/Key"
+        },
+        "ciphertext": {
+          "$ref": "#/$defs/ElGamalCiphertext"
+        }
+      },
+      "oneOf": [
+        {
+          "required": [
+            "leafIndex"
+          ]
+        },
+        {
+          "required": [
+            "question",
+            "option"
+          ]
+        }
+      ]
+    },
+    "ElGamalCiphertext": {
+      "title": "ElGamalCiphertext",
+      "description": "`(a, b) = (r·G, M + r·Y)` under the election key `Y` (CONVENTIONS §9.2).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "a",
+        "b"
+      ],
+      "properties": {
+        "a": {
+          "$ref": "#/$defs/GroupElement"
+        },
+        "b": {
+          "$ref": "#/$defs/GroupElement"
+        }
+      }
+    },
+    "GroupElement": {
+      "title": "GroupElement",
+      "description": "A Ristretto group element: its 32-byte compression, multibase base58btc. Never the identity (CONVENTIONS §9.1).",
+      "type": "string",
+      "minLength": 2,
+      "maxLength": 64,
+      "pattern": "^z[1-9A-HJ-NP-Za-km-z]+$"
+    },
+    "Key": {
+      "title": "Key",
+      "description": "A question or option key, unique within its manifest or question.",
+      "type": "string",
+      "pattern": "^[A-Za-z0-9._-]{1,64}$"
+    },
+    "ElectionKey": {
+      "title": "ElectionKey",
+      "description": "The election key and each trustee's public verification key, computed from the qualified dealings (CONVENTIONS §9.6). Anyone can recompute it from the board.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "key",
+        "qualified",
+        "verification"
+      ],
+      "properties": {
+        "key": {
+          "$ref": "#/$defs/GroupElement"
+        },
+        "qualified": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/TrusteeIndex"
+          },
+          "description": "The dealers whose dealings the key is formed from."
+        },
+        "verification": {
+          "type": "array",
+          "minItems": 2,
+          "maxItems": 64,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "trustee",
+              "key"
+            ],
+            "properties": {
+              "trustee": {
+                "$ref": "#/$defs/TrusteeIndex"
+              },
+              "key": {
+                "$ref": "#/$defs/GroupElement"
+              }
+            }
+          }
+        }
+      }
+    },
+    "GroupScalar": {
+      "title": "GroupScalar",
+      "description": "A scalar mod the Ristretto group order: 32 canonical little-endian bytes, multibase base58btc (CONVENTIONS §9.1).",
+      "type": "string",
+      "minLength": 2,
+      "maxLength": 64,
+      "pattern": "^z[1-9A-HJ-NP-Za-km-z]+$"
+    },
+    "Dealing": {
+      "title": "Dealing",
+      "description": "A trustee's contribution to the election key: Feldman commitments to its polynomial, a proof of knowledge of the constant term, and one share per trustee sealed to that trustee's transport key (CONVENTIONS §9.6).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "dealer",
+        "commitments",
+        "pok",
+        "shares"
+      ],
+      "properties": {
+        "dealer": {
+          "$ref": "#/$defs/TrusteeIndex"
+        },
+        "commitments": {
+          "type": "array",
+          "minItems": 2,
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/GroupElement"
+          }
+        },
+        "pok": {
+          "$ref": "#/$defs/SigmaProof"
+        },
+        "shares": {
+          "type": "array",
+          "minItems": 2,
+          "maxItems": 64,
+          "items": {
+            "$ref": "#/$defs/SealedShare"
+          }
+        }
+      }
+    },
+    "SealedShare": {
+      "title": "SealedShare",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "recipient",
+        "share"
+      ],
+      "properties": {
+        "recipient": {
+          "$ref": "#/$defs/TrusteeIndex"
+        },
+        "share": {
+          "$ref": "#/$defs/SealedPayload"
+        }
+      }
+    },
+    "SealedPayload": {
+      "title": "SealedPayload",
+      "description": "Bytes sealed to a key: a random group element encrypted as `kem`, and the bytes under ChaCha20-Poly1305 with a key derived from it, multibase base58btc (CONVENTIONS §9.4).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kem",
+        "body"
+      ],
+      "properties": {
+        "kem": {
+          "$ref": "#/$defs/ElGamalCiphertext"
+        },
+        "body": {
+          "type": "string",
+          "minLength": 2,
+          "maxLength": 131072,
+          "pattern": "^z[1-9A-HJ-NP-Za-km-z]+$"
+        }
+      }
+    },
+    "SigmaProof": {
+      "title": "SigmaProof",
+      "description": "A non-interactive sigma proof as its challenge and response `(c, z)` (Schnorr or Chaum–Pedersen; CONVENTIONS §9.3).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "c",
+        "z"
+      ],
+      "properties": {
+        "c": {
+          "$ref": "#/$defs/GroupScalar"
+        },
+        "z": {
+          "$ref": "#/$defs/GroupScalar"
+        }
+      }
+    },
+    "TransportKey": {
+      "title": "TransportKey",
+      "description": "The group element a trustee's shares are sealed to, with a Schnorr proof of knowledge of its discrete log (CONVENTIONS §9.6).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "trustee",
+        "key",
+        "pok"
+      ],
+      "properties": {
+        "trustee": {
+          "$ref": "#/$defs/TrusteeIndex"
+        },
+        "key": {
+          "$ref": "#/$defs/GroupElement"
+        },
+        "pok": {
+          "$ref": "#/$defs/SigmaProof"
+        }
+      }
+    },
+    "TrusteePhase": {
+      "title": "TrusteePhase",
+      "description": "`enrolling`: transport keys are being published. `dealing`: dealings are. `confirming`: each trustee confirms or complains. `keyed`: the election key is formed. `decrypting`: voting has closed and partial decryptions are being published. `done`: every target is decrypted. `failed`: the key could not be formed in time.",
+      "type": "string",
+      "enum": [
+        "enrolling",
+        "dealing",
+        "confirming",
+        "keyed",
+        "decrypting",
+        "done",
+        "failed"
+      ]
+    },
+    "ElectionId": {
+      "title": "ElectionId",
+      "description": "An election's identifier, unique within its community. A closed alphabet: it appears in the ticket class label `voter/<electionId>` and is framed into every hash a cast is bound to.",
+      "type": "string",
+      "pattern": "^[A-Za-z0-9._-]{1,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: false,
+  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;