@openvtc/trust-tasks 0.14.2 → 0.16.0

package/src/acl/revoke/0.1/payload.ts

@@ -3,6 +3,9 @@
  * Source: specs/acl/revoke/0.1/payload.schema.json
  */
 
+import type { AclEntry, Ext } from "../../../_shared/components.js";
+
+
 export interface ACLRevokePayload {
   /**
    * VID of the party being revoked (or scope-reduced).
@@ -18,14 +21,11 @@ export interface ACLRevokePayload {
    * Optional human-readable rationale for the revocation.
    */
   reason?: string;
+  /**
+   * Ecosystem-defined extension members per SPEC.md §4.5.1.
+   */
   ext?: Ext;
 }
-/**
- * Ecosystem-defined extension members per SPEC.md §4.5.1.
- */
-export interface Ext {
-  [k: string]: unknown | undefined;
-}
 /**
  * The success response to an acl/revoke request. Carried in a Trust Task document whose type is https://trusttasks.org/spec/acl/revoke/0.1#response.
  */
@@ -34,88 +34,15 @@ export interface ACLRevokeResponsePayload {
    * The AclEntry the maintainer now holds for the subject. null for a full removal; an AclEntry with reduced scopes for a scope reduction.
    */
   entry: null | AclEntry;
-  ext?: Ext2;
-}
-export interface AclEntry {
-  /**
-   * VID of the party in the ACL. Compared by exact string equality (SPEC.md §4.8); producers SHOULD emit canonical form.
-   */
-  subject: string;
-  /**
-   * Opaque role identifier interpreted by the ACL maintainer.
-   */
-  role: string;
-  /**
-   * Opaque scope identifiers (e.g. contexts, domains, resource prefixes).
-   */
-  scopes?: string[];
-  /**
-   * Key identifiers this subject may invoke the maintainer's signing oracle on. INTERSECTS WITH `scopes` — it can only narrow, never widen: a key named here that lies outside the entry's scopes remains unreachable, exactly as if it were not named. ABSENT means every key within the entry's scopes (the behaviour of entries that pre-date this member); explicit `null` is equivalent to absent, and producers SHOULD omit the member instead. PRESENT-BUT-EMPTY means authorized on NO keys — the opposite of absent, and deliberately so: emptiness is never a wildcard (CONVENTIONS.md §5). A consumer MUST preserve and enforce the absent-vs-empty distinction end to end; collapsing the two (e.g. by testing emptiness alone) re-creates the empty-means-unrestricted class of privilege-escalation defect this family's conventions exist to prevent.
-   */
-  allowedKeys?: string[] | null;
-  /**
-   * Optional human-readable label.
-   */
-  label?: string;
-  createdAt?: string;
   /**
-   * VID of the party that originally added this entry.
+   * Ecosystem-defined extension members per SPEC.md §4.5.1.
    */
-  createdBy?: string;
-  updatedAt?: string;
-  /**
-   * VID of the party that last modified this entry.
-   */
-  updatedBy?: string;
-  /**
-   * Optional time after which the entry is no longer effective.
-   */
-  expiresAt?: string;
-  /**
-   * Per-entry authentication step-up configuration, consumed by the ACL maintainer when it gates an operation behind a step-up (see auth/step-up/policy/0.1). ADDITIVE-ONLY: a per-entry setting MAY raise the assurance required of this subject above the maintainer's system-wide floor, but MUST NOT lower it. The maintainer resolves the effective requirement as the strictest of (system floor, this entry).
-   */
-  stepUp?: {
-    /**
-     * VID authorized to ratify step-up for this subject — the `recipient` the maintainer addresses an auth/step-up/approve-request to (e.g. the holder's mobile authenticator or browser companion). Absent → the subject is its own approver (mode `self`) when it holds a usable authenticator; if neither an `approver` nor a self authenticator exists, no step-up method is available for this subject and the maintainer's fail-closed rule applies.
-     */
-    approver?: string;
-    /**
-     * Minimum step-up mode this subject MUST satisfy for gated operations, raising the system floor. `self` = the subject re-authenticates its own session; `delegated` = a separate `approver` MUST ratify. Omitted → the system floor applies unchanged. A value weaker than the resolved floor is ignored (additive-only).
-     */
-    require?: "self" | "delegated";
-  };
-  /**
-   * Approve-authority: what this subject may **confer on others** by ratifying an approval, as distinct from `scopes`, which is what it may **exercise itself**. The two axes are independent, and that independence is the point — it is what lets a maintainer configure a least-privilege approver who can authorize an operation in a scope it has no authority to perform.
-   *
-   * OMISSION MEANS NOTHING IS CONFERRED. An absent `approve`, an absent `all`, and an empty `scopes` are all equivalent to "this subject may ratify nothing". A consumer that does not implement this member therefore confers less than the producer intended rather than more, which is the direction a missed member has to fail in.
-   *
-   * A subject with approve-authority is NOT thereby authorized to act. Consumers MUST resolve the two axes separately: reading `approve` to answer "may this party ratify X" and `scopes` to answer "may this party do X". Collapsing them grants an approver the ability to perform what it was only meant to sign off on.
-   */
-  approve?: {
-    /**
-     * The subject may confer ANY scope. Takes precedence over `scopes`, which a consumer MUST ignore when this is true. Absent or false → only the scopes listed below, if any.
-     */
-    all?: boolean;
-    /**
-     * Opaque scope identifiers this subject may confer, drawn from the same vocabulary as the entry's own `scopes`. Where a maintainer's scopes are hierarchical, conferring a scope confers its descendants — the same containment rule the maintainer already applies to `scopes`, so the two axes cannot disagree about what a scope means. An empty array confers nothing; it is not a wildcard.
-     */
-    scopes?: string[];
-  };
-  ext?: Ext1;
-}
-/**
- * Ecosystem-defined extension members per SPEC.md §4.5.1. Reverse-DNS-namespaced; consumers MUST ignore unrecognized namespaces.
- */
-export interface Ext1 {
-  [k: string]: unknown | undefined;
-}
-/**
- * Ecosystem-defined extension members per SPEC.md §4.5.1.
- */
-export interface Ext2 {
-  [k: string]: unknown | undefined;
+  ext?: Ext;
 }
 
+/** Shared definitions this specification references, re-exported under the names it used to declare them with. */
+export type { AclEntry, Ext };
+
 /** Trust Task type URI. */
 export const TYPE_URI = "https://trusttasks.org/spec/acl/revoke/0.1" as const;
 
@@ -162,6 +89,7 @@ export const PAYLOAD_SCHEMA = {
     },
     "reason": {
       "type": "string",
+      "maxLength": 1024,
       "description": "Optional human-readable rationale for the revocation."
     },
     "ext": {
@@ -243,6 +171,7 @@ export const PAYLOAD_SCHEMA = {
         },
         "label": {
           "type": "string",
+          "maxLength": 256,
           "description": "Optional human-readable label."
         },
         "createdAt": {
@@ -391,6 +320,7 @@ export const RESPONSE_PAYLOAD_SCHEMA = {
         },
         "label": {
           "type": "string",
+          "maxLength": 256,
           "description": "Optional human-readable label."
         },
         "createdAt": {
@@ -472,6 +402,7 @@ export const SPEC = {
   isBearer: false,
   isProofRequired: true,
   isRecipientRequired: true,
+  isIssuedAtRequired: true,
   payloadSchema: PAYLOAD_SCHEMA,
 } as const;
 
@@ -485,5 +416,6 @@ export const RESPONSE_SPEC = {
   isBearer: false,
   isProofRequired: true,
   isRecipientRequired: true,
+  isIssuedAtRequired: true,
   payloadSchema: RESPONSE_PAYLOAD_SCHEMA,
 } as const;

package/src/acl/show/0.1/payload.ts

@@ -3,19 +3,19 @@
  * Source: specs/acl/show/0.1/payload.schema.json
  */
 
+import type { AclEntry, Ext } from "../../../_shared/components.js";
+
+
 export interface ACLShowPayload {
   /**
    * VID of the party whose entry is being looked up.
    */
   subject: string;
+  /**
+   * Ecosystem-defined extension members per SPEC.md §4.5.1.
+   */
   ext?: Ext;
 }
-/**
- * Ecosystem-defined extension members per SPEC.md §4.5.1.
- */
-export interface Ext {
-  [k: string]: unknown | undefined;
-}
 /**
  * The success response to an acl/show request. Carried in a Trust Task document whose type is https://trusttasks.org/spec/acl/show/0.1#response.
  */
@@ -28,88 +28,15 @@ export interface ACLShowResponsePayload {
    * Names of AclEntry fields the maintainer redacted (for example, ['label'] or ['ext.vnd.example.audit']).
    */
   redactedFields?: string[];
-  ext?: Ext2;
-}
-export interface AclEntry {
-  /**
-   * VID of the party in the ACL. Compared by exact string equality (SPEC.md §4.8); producers SHOULD emit canonical form.
-   */
-  subject: string;
   /**
-   * Opaque role identifier interpreted by the ACL maintainer.
+   * Ecosystem-defined extension members per SPEC.md §4.5.1.
    */
-  role: string;
-  /**
-   * Opaque scope identifiers (e.g. contexts, domains, resource prefixes).
-   */
-  scopes?: string[];
-  /**
-   * Key identifiers this subject may invoke the maintainer's signing oracle on. INTERSECTS WITH `scopes` — it can only narrow, never widen: a key named here that lies outside the entry's scopes remains unreachable, exactly as if it were not named. ABSENT means every key within the entry's scopes (the behaviour of entries that pre-date this member); explicit `null` is equivalent to absent, and producers SHOULD omit the member instead. PRESENT-BUT-EMPTY means authorized on NO keys — the opposite of absent, and deliberately so: emptiness is never a wildcard (CONVENTIONS.md §5). A consumer MUST preserve and enforce the absent-vs-empty distinction end to end; collapsing the two (e.g. by testing emptiness alone) re-creates the empty-means-unrestricted class of privilege-escalation defect this family's conventions exist to prevent.
-   */
-  allowedKeys?: string[] | null;
-  /**
-   * Optional human-readable label.
-   */
-  label?: string;
-  createdAt?: string;
-  /**
-   * VID of the party that originally added this entry.
-   */
-  createdBy?: string;
-  updatedAt?: string;
-  /**
-   * VID of the party that last modified this entry.
-   */
-  updatedBy?: string;
-  /**
-   * Optional time after which the entry is no longer effective.
-   */
-  expiresAt?: string;
-  /**
-   * Per-entry authentication step-up configuration, consumed by the ACL maintainer when it gates an operation behind a step-up (see auth/step-up/policy/0.1). ADDITIVE-ONLY: a per-entry setting MAY raise the assurance required of this subject above the maintainer's system-wide floor, but MUST NOT lower it. The maintainer resolves the effective requirement as the strictest of (system floor, this entry).
-   */
-  stepUp?: {
-    /**
-     * VID authorized to ratify step-up for this subject — the `recipient` the maintainer addresses an auth/step-up/approve-request to (e.g. the holder's mobile authenticator or browser companion). Absent → the subject is its own approver (mode `self`) when it holds a usable authenticator; if neither an `approver` nor a self authenticator exists, no step-up method is available for this subject and the maintainer's fail-closed rule applies.
-     */
-    approver?: string;
-    /**
-     * Minimum step-up mode this subject MUST satisfy for gated operations, raising the system floor. `self` = the subject re-authenticates its own session; `delegated` = a separate `approver` MUST ratify. Omitted → the system floor applies unchanged. A value weaker than the resolved floor is ignored (additive-only).
-     */
-    require?: "self" | "delegated";
-  };
-  /**
-   * Approve-authority: what this subject may **confer on others** by ratifying an approval, as distinct from `scopes`, which is what it may **exercise itself**. The two axes are independent, and that independence is the point — it is what lets a maintainer configure a least-privilege approver who can authorize an operation in a scope it has no authority to perform.
-   *
-   * OMISSION MEANS NOTHING IS CONFERRED. An absent `approve`, an absent `all`, and an empty `scopes` are all equivalent to "this subject may ratify nothing". A consumer that does not implement this member therefore confers less than the producer intended rather than more, which is the direction a missed member has to fail in.
-   *
-   * A subject with approve-authority is NOT thereby authorized to act. Consumers MUST resolve the two axes separately: reading `approve` to answer "may this party ratify X" and `scopes` to answer "may this party do X". Collapsing them grants an approver the ability to perform what it was only meant to sign off on.
-   */
-  approve?: {
-    /**
-     * The subject may confer ANY scope. Takes precedence over `scopes`, which a consumer MUST ignore when this is true. Absent or false → only the scopes listed below, if any.
-     */
-    all?: boolean;
-    /**
-     * Opaque scope identifiers this subject may confer, drawn from the same vocabulary as the entry's own `scopes`. Where a maintainer's scopes are hierarchical, conferring a scope confers its descendants — the same containment rule the maintainer already applies to `scopes`, so the two axes cannot disagree about what a scope means. An empty array confers nothing; it is not a wildcard.
-     */
-    scopes?: string[];
-  };
-  ext?: Ext1;
-}
-/**
- * Ecosystem-defined extension members per SPEC.md §4.5.1. Reverse-DNS-namespaced; consumers MUST ignore unrecognized namespaces.
- */
-export interface Ext1 {
-  [k: string]: unknown | undefined;
-}
-/**
- * Ecosystem-defined extension members per SPEC.md §4.5.1.
- */
-export interface Ext2 {
-  [k: string]: unknown | undefined;
+  ext?: Ext;
 }
 
+/** Shared definitions this specification references, re-exported under the names it used to declare them with. */
+export type { AclEntry, Ext };
+
 /** Trust Task type URI. */
 export const TYPE_URI = "https://trusttasks.org/spec/acl/show/0.1" as const;
 
@@ -232,6 +159,7 @@ export const PAYLOAD_SCHEMA = {
         },
         "label": {
           "type": "string",
+          "maxLength": 256,
           "description": "Optional human-readable label."
         },
         "createdAt": {
@@ -387,6 +315,7 @@ export const RESPONSE_PAYLOAD_SCHEMA = {
         },
         "label": {
           "type": "string",
+          "maxLength": 256,
           "description": "Optional human-readable label."
         },
         "createdAt": {
@@ -468,6 +397,7 @@ export const SPEC = {
   isBearer: false,
   isProofRequired: false,
   isRecipientRequired: true,
+  isIssuedAtRequired: false,
   payloadSchema: PAYLOAD_SCHEMA,
 } as const;
 
@@ -481,5 +411,6 @@ export const RESPONSE_SPEC = {
   isBearer: false,
   isProofRequired: false,
   isRecipientRequired: true,
+  isIssuedAtRequired: false,
   payloadSchema: RESPONSE_PAYLOAD_SCHEMA,
 } as const;

package/src/acl/swap-key/0.1/payload.ts

@@ -3,6 +3,9 @@
  * Source: specs/acl/swap-key/0.1/payload.schema.json
  */
 
+import type { AclEntry, Ext } from "../../../_shared/components.js";
+
+
 /**
  * An ACL holder atomically replaces the VID bound to one of their own AclEntries with a new VID — typically a different DID under their control. The maintainer applies the swap as a single transaction: there is no window where both VIDs have access or neither does.
  */
@@ -23,108 +26,29 @@ export interface ACLSwapKey {
    * Optional human-readable rationale (e.g. "key-rotation", "hardware-token-replacement", "account-recovery").
    */
   reason?: string;
+  /**
+   * Ecosystem-defined extension members per SPEC.md §4.5.1.
+   */
   ext?: Ext;
 }
-/**
- * Ecosystem-defined extension members per SPEC.md §4.5.1.
- */
-export interface Ext {
-  [k: string]: unknown | undefined;
-}
 /**
  * The post-swap AclEntry. Carried in a Trust Task document whose type is https://trusttasks.org/spec/acl/swap-key/0.1#response.
  */
 export interface ACLSwapKeyResponsePayload {
+  /**
+   * The AclEntry the maintainer now holds. `subject` equals the request's `newSubject`.
+   */
   entry: AclEntry;
   /**
    * Echo of the swapped-out VID. The maintainer has removed every artifact bound to this subject (refresh tokens, persistent sessions); the holder MUST NOT attempt to reuse it.
    */
   previousSubject: string;
-  ext?: Ext2;
-}
-/**
- * The AclEntry the maintainer now holds. `subject` equals the request's `newSubject`.
- */
-export interface AclEntry {
-  /**
-   * VID of the party in the ACL. Compared by exact string equality (SPEC.md §4.8); producers SHOULD emit canonical form.
-   */
-  subject: string;
-  /**
-   * Opaque role identifier interpreted by the ACL maintainer.
-   */
-  role: string;
-  /**
-   * Opaque scope identifiers (e.g. contexts, domains, resource prefixes).
-   */
-  scopes?: string[];
-  /**
-   * Key identifiers this subject may invoke the maintainer's signing oracle on. INTERSECTS WITH `scopes` — it can only narrow, never widen: a key named here that lies outside the entry's scopes remains unreachable, exactly as if it were not named. ABSENT means every key within the entry's scopes (the behaviour of entries that pre-date this member); explicit `null` is equivalent to absent, and producers SHOULD omit the member instead. PRESENT-BUT-EMPTY means authorized on NO keys — the opposite of absent, and deliberately so: emptiness is never a wildcard (CONVENTIONS.md §5). A consumer MUST preserve and enforce the absent-vs-empty distinction end to end; collapsing the two (e.g. by testing emptiness alone) re-creates the empty-means-unrestricted class of privilege-escalation defect this family's conventions exist to prevent.
-   */
-  allowedKeys?: string[] | null;
-  /**
-   * Optional human-readable label.
-   */
-  label?: string;
-  createdAt?: string;
-  /**
-   * VID of the party that originally added this entry.
-   */
-  createdBy?: string;
-  updatedAt?: string;
-  /**
-   * VID of the party that last modified this entry.
-   */
-  updatedBy?: string;
-  /**
-   * Optional time after which the entry is no longer effective.
-   */
-  expiresAt?: string;
-  /**
-   * Per-entry authentication step-up configuration, consumed by the ACL maintainer when it gates an operation behind a step-up (see auth/step-up/policy/0.1). ADDITIVE-ONLY: a per-entry setting MAY raise the assurance required of this subject above the maintainer's system-wide floor, but MUST NOT lower it. The maintainer resolves the effective requirement as the strictest of (system floor, this entry).
-   */
-  stepUp?: {
-    /**
-     * VID authorized to ratify step-up for this subject — the `recipient` the maintainer addresses an auth/step-up/approve-request to (e.g. the holder's mobile authenticator or browser companion). Absent → the subject is its own approver (mode `self`) when it holds a usable authenticator; if neither an `approver` nor a self authenticator exists, no step-up method is available for this subject and the maintainer's fail-closed rule applies.
-     */
-    approver?: string;
-    /**
-     * Minimum step-up mode this subject MUST satisfy for gated operations, raising the system floor. `self` = the subject re-authenticates its own session; `delegated` = a separate `approver` MUST ratify. Omitted → the system floor applies unchanged. A value weaker than the resolved floor is ignored (additive-only).
-     */
-    require?: "self" | "delegated";
-  };
-  /**
-   * Approve-authority: what this subject may **confer on others** by ratifying an approval, as distinct from `scopes`, which is what it may **exercise itself**. The two axes are independent, and that independence is the point — it is what lets a maintainer configure a least-privilege approver who can authorize an operation in a scope it has no authority to perform.
-   *
-   * OMISSION MEANS NOTHING IS CONFERRED. An absent `approve`, an absent `all`, and an empty `scopes` are all equivalent to "this subject may ratify nothing". A consumer that does not implement this member therefore confers less than the producer intended rather than more, which is the direction a missed member has to fail in.
-   *
-   * A subject with approve-authority is NOT thereby authorized to act. Consumers MUST resolve the two axes separately: reading `approve` to answer "may this party ratify X" and `scopes` to answer "may this party do X". Collapsing them grants an approver the ability to perform what it was only meant to sign off on.
-   */
-  approve?: {
-    /**
-     * The subject may confer ANY scope. Takes precedence over `scopes`, which a consumer MUST ignore when this is true. Absent or false → only the scopes listed below, if any.
-     */
-    all?: boolean;
-    /**
-     * Opaque scope identifiers this subject may confer, drawn from the same vocabulary as the entry's own `scopes`. Where a maintainer's scopes are hierarchical, conferring a scope confers its descendants — the same containment rule the maintainer already applies to `scopes`, so the two axes cannot disagree about what a scope means. An empty array confers nothing; it is not a wildcard.
-     */
-    scopes?: string[];
-  };
-  ext?: Ext1;
-}
-/**
- * Ecosystem-defined extension members per SPEC.md §4.5.1. Reverse-DNS-namespaced; consumers MUST ignore unrecognized namespaces.
- */
-export interface Ext1 {
-  [k: string]: unknown | undefined;
-}
-/**
- * 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.
- */
-export interface Ext2 {
-  [k: string]: unknown | undefined;
+  ext?: Ext;
 }
 
+/** Shared definitions this specification references, re-exported under the names it used to declare them with. */
+export type { AclEntry, Ext };
+
 /** Trust Task type URI. */
 export const TYPE_URI = "https://trusttasks.org/spec/acl/swap-key/0.1" as const;
 
@@ -177,6 +101,7 @@ export const PAYLOAD_SCHEMA = {
     },
     "reason": {
       "type": "string",
+      "maxLength": 1024,
       "description": "Optional human-readable rationale (e.g. \"key-rotation\", \"hardware-token-replacement\", \"account-recovery\")."
     },
     "ext": {
@@ -256,6 +181,7 @@ export const PAYLOAD_SCHEMA = {
         },
         "label": {
           "type": "string",
+          "maxLength": 256,
           "description": "Optional human-readable label."
         },
         "createdAt": {
@@ -402,6 +328,7 @@ export const RESPONSE_PAYLOAD_SCHEMA = {
         },
         "label": {
           "type": "string",
+          "maxLength": 256,
           "description": "Optional human-readable label."
         },
         "createdAt": {
@@ -483,6 +410,7 @@ export const SPEC = {
   isBearer: false,
   isProofRequired: true,
   isRecipientRequired: true,
+  isIssuedAtRequired: true,
   payloadSchema: PAYLOAD_SCHEMA,
 } as const;
 
@@ -496,5 +424,6 @@ export const RESPONSE_SPEC = {
   isBearer: false,
   isProofRequired: true,
   isRecipientRequired: true,
+  isIssuedAtRequired: true,
   payloadSchema: RESPONSE_PAYLOAD_SCHEMA,
 } as const;

package/src/acl/update/0.1/payload.ts

@@ -3,6 +3,9 @@
  * Source: specs/acl/update/0.1/payload.schema.json
  */
 
+import type { AclEntry, Ext } from "../../../_shared/components.js";
+
+
 /**
  * Amend the non-role attributes of an existing ACL entry: its label, scopes, allowed keys, expiry, step-up requirement, or approve-authority. Role changes are NOT expressible here — they go through acl/change-role, which requires the current role as a compare-and-swap.
  */
@@ -59,93 +62,17 @@ export interface ACLUpdatePayload {
   reason?: string;
   ext?: Ext;
 }
-/**
- * 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.
- */
-export interface Ext {
-  [k: string]: unknown | undefined;
-}
 export interface ACLUpdateResponsePayload {
-  entry: AclEntry;
-  ext?: Ext;
-}
-/**
- * The realized entry the maintainer now holds, after the amendment.
- */
-export interface AclEntry {
-  /**
-   * VID of the party in the ACL. Compared by exact string equality (SPEC.md §4.8); producers SHOULD emit canonical form.
-   */
-  subject: string;
   /**
-   * Opaque role identifier interpreted by the ACL maintainer.
+   * The realized entry the maintainer now holds, after the amendment.
    */
-  role: string;
-  /**
-   * Opaque scope identifiers (e.g. contexts, domains, resource prefixes).
-   */
-  scopes?: string[];
-  /**
-   * Key identifiers this subject may invoke the maintainer's signing oracle on. INTERSECTS WITH `scopes` — it can only narrow, never widen: a key named here that lies outside the entry's scopes remains unreachable, exactly as if it were not named. ABSENT means every key within the entry's scopes (the behaviour of entries that pre-date this member); explicit `null` is equivalent to absent, and producers SHOULD omit the member instead. PRESENT-BUT-EMPTY means authorized on NO keys — the opposite of absent, and deliberately so: emptiness is never a wildcard (CONVENTIONS.md §5). A consumer MUST preserve and enforce the absent-vs-empty distinction end to end; collapsing the two (e.g. by testing emptiness alone) re-creates the empty-means-unrestricted class of privilege-escalation defect this family's conventions exist to prevent.
-   */
-  allowedKeys?: string[] | null;
-  /**
-   * Optional human-readable label.
-   */
-  label?: string;
-  createdAt?: string;
-  /**
-   * VID of the party that originally added this entry.
-   */
-  createdBy?: string;
-  updatedAt?: string;
-  /**
-   * VID of the party that last modified this entry.
-   */
-  updatedBy?: string;
-  /**
-   * Optional time after which the entry is no longer effective.
-   */
-  expiresAt?: string;
-  /**
-   * Per-entry authentication step-up configuration, consumed by the ACL maintainer when it gates an operation behind a step-up (see auth/step-up/policy/0.1). ADDITIVE-ONLY: a per-entry setting MAY raise the assurance required of this subject above the maintainer's system-wide floor, but MUST NOT lower it. The maintainer resolves the effective requirement as the strictest of (system floor, this entry).
-   */
-  stepUp?: {
-    /**
-     * VID authorized to ratify step-up for this subject — the `recipient` the maintainer addresses an auth/step-up/approve-request to (e.g. the holder's mobile authenticator or browser companion). Absent → the subject is its own approver (mode `self`) when it holds a usable authenticator; if neither an `approver` nor a self authenticator exists, no step-up method is available for this subject and the maintainer's fail-closed rule applies.
-     */
-    approver?: string;
-    /**
-     * Minimum step-up mode this subject MUST satisfy for gated operations, raising the system floor. `self` = the subject re-authenticates its own session; `delegated` = a separate `approver` MUST ratify. Omitted → the system floor applies unchanged. A value weaker than the resolved floor is ignored (additive-only).
-     */
-    require?: "self" | "delegated";
-  };
-  /**
-   * Approve-authority: what this subject may **confer on others** by ratifying an approval, as distinct from `scopes`, which is what it may **exercise itself**. The two axes are independent, and that independence is the point — it is what lets a maintainer configure a least-privilege approver who can authorize an operation in a scope it has no authority to perform.
-   *
-   * OMISSION MEANS NOTHING IS CONFERRED. An absent `approve`, an absent `all`, and an empty `scopes` are all equivalent to "this subject may ratify nothing". A consumer that does not implement this member therefore confers less than the producer intended rather than more, which is the direction a missed member has to fail in.
-   *
-   * A subject with approve-authority is NOT thereby authorized to act. Consumers MUST resolve the two axes separately: reading `approve` to answer "may this party ratify X" and `scopes` to answer "may this party do X". Collapsing them grants an approver the ability to perform what it was only meant to sign off on.
-   */
-  approve?: {
-    /**
-     * The subject may confer ANY scope. Takes precedence over `scopes`, which a consumer MUST ignore when this is true. Absent or false → only the scopes listed below, if any.
-     */
-    all?: boolean;
-    /**
-     * Opaque scope identifiers this subject may confer, drawn from the same vocabulary as the entry's own `scopes`. Where a maintainer's scopes are hierarchical, conferring a scope confers its descendants — the same containment rule the maintainer already applies to `scopes`, so the two axes cannot disagree about what a scope means. An empty array confers nothing; it is not a wildcard.
-     */
-    scopes?: string[];
-  };
-  ext?: Ext1;
-}
-/**
- * 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.
- */
-export interface Ext1 {
-  [k: string]: unknown | undefined;
+  entry: AclEntry;
+  ext?: Ext;
 }
 
+/** Shared definitions this specification references, re-exported under the names it used to declare them with. */
+export type { AclEntry, Ext };
+
 /** Trust Task type URI. */
 export const TYPE_URI = "https://trusttasks.org/spec/acl/update/0.1" as const;
 
@@ -188,6 +115,7 @@ export const PAYLOAD_SCHEMA = {
         "string",
         "null"
       ],
+      "maxLength": 256,
       "description": "Replacement human-readable label. Explicit `null` clears it. Omitted leaves it unchanged."
     },
     "scopes": {
@@ -261,6 +189,7 @@ export const PAYLOAD_SCHEMA = {
     },
     "reason": {
       "type": "string",
+      "maxLength": 1024,
       "description": "Optional human-readable rationale, recorded with the change."
     },
     "ext": {
@@ -332,6 +261,7 @@ export const PAYLOAD_SCHEMA = {
         },
         "label": {
           "type": "string",
+          "maxLength": 256,
           "description": "Optional human-readable label."
         },
         "createdAt": {
@@ -471,6 +401,7 @@ export const RESPONSE_PAYLOAD_SCHEMA = {
         },
         "label": {
           "type": "string",
+          "maxLength": 256,
           "description": "Optional human-readable label."
         },
         "createdAt": {
@@ -552,6 +483,7 @@ export const SPEC = {
   isBearer: false,
   isProofRequired: true,
   isRecipientRequired: true,
+  isIssuedAtRequired: true,
   payloadSchema: PAYLOAD_SCHEMA,
 } as const;
 
@@ -565,5 +497,6 @@ export const RESPONSE_SPEC = {
   isBearer: false,
   isProofRequired: true,
   isRecipientRequired: true,
+  isIssuedAtRequired: true,
   payloadSchema: RESPONSE_PAYLOAD_SCHEMA,
 } as const;

package/src/audit/_shared/0.1/audit.ts

@@ -9,3 +9,9 @@
 export interface AuditSharedDefinitions {
   [k: string]: unknown | undefined;
 }
+
+/**
+ * The definitions this shared schema publishes, hoisted to one declaration each.
+ * See "../../../_shared/components.js".
+ */
+export type { AuditEnvelope } from "../../../_shared/components.js";