@fourier-labs/harbour-contracts 0.70.0 → 0.71.0

package/dist/gen-ts/integration-execute-request.d.ts

@@ -1,5 +1,5 @@
 /**
- * Body of POST /_harbour/integrations/execute (app SDK), forwarded unchanged to the governance development and runtime execute routes. Exactly one declared operation against one declared resource. The identity mode is fixed by the operation for every operation but slack.message.post, and always enforced from an approved grant; any identity/userId/scope field is rejected by additionalProperties. A slack.message.post runs as the app (the IT-approved per-app name from the grant, plus a "Posted by <app> on Isomorph" footer) or as the signed-in person (no name, no footer) — the same input either way — and since 0.55.0 the call names which of the app's approved modes it runs under (`mode`): required when IT approved both modes for the app (MODE_REQUIRED otherwise), optional when it approved one (that one is used), and a named mode without an approved grant is refused (MODE_NOT_GRANTED) rather than served under the other, so approval order never decides what a post does. Per-operation input bounds: slack.channel.history {limit? 1..15, default 15}; slack.message.post {text 1..4000 chars} and a required idempotencyKey retained across retries of one explicit Send; gmail.thread.list {limit? 1..15, default 15}; gmail.message.read {messageId}; gmail.message.send {to 1..50 addresses (to+cc+bcc <= 50 in total), cc?, bcc?, subject 1..256 chars, text 1..4000 chars, replyToMessageId?} and a required idempotencyKey like slack.message.post (plain text only, no attachments); warehouse.view.read {columns? 1..32, where? 1..16 filters, groupBy? 1..8 columns, aggregates? 1..16, orderBy? 1..8, limit? 1..1000, default 100} (0.70.0: a plain read names columns, an aggregate read names aggregates and optionally groupBy; the cross-field rules — exactly one of columns or aggregates, groupBy needs aggregates, a filter value that fits its op, orderBy naming a returned column, every named column approved — are enforced by governance, not expressible here; ADR 0017). Each operation's then-block is the one statement of its input rules: propertyNames.enum names the fields it accepts, required the ones it needs, and per-field overrides (maximum, default) narrow the shared property. Codegen derives IntegrationExecuteInputRules and validateIntegrationExecuteInput (gen-ts/integration-execute-input-rules.ts, gen-go/integration_execute_input_rules.go) from exactly these blocks, so the governance execute route, the app SDK and the kit's local check refuse the same request with the same message. Transport limits (not expressible here): request <= 16 KiB, total deadline 10 s.
+ * Body of POST /_harbour/integrations/execute (app SDK), forwarded unchanged to the governance development and runtime execute routes. Exactly one declared operation against one declared resource. The identity mode is fixed by the operation for every operation but the declared-mode Slack operations (slack.channel.history, slack.message.post, slack.message.update, slack.message.delete; 0.71.0 widened history), and always enforced from an approved grant; any identity/userId/scope field is rejected by additionalProperties. A declared-mode operation runs as the app (for a post: the IT-approved per-app name from the grant, plus a "Posted by <app> on Isomorph" footer) or as the signed-in person (no name, no footer) — the same input either way — and since 0.55.0 the call names which of the app's approved modes it runs under (`mode`): required when IT approved both modes for the app (MODE_REQUIRED otherwise), optional when it approved one (that one is used), and a named mode without an approved grant is refused (MODE_NOT_GRANTED) rather than served under the other, so approval order never decides what a call does. Per-operation input bounds (0.71.0, ADR 0018): slack.channel.history {limit? 1..100, default 15, cursor?, oldest?, latest?}; slack.message.post {text 1..4000 chars, threadId?, format? plain|mrkdwn} and a required idempotencyKey retained across retries of one explicit Send; slack.message.update {messageId, text, format?}; slack.message.delete {messageId}; slack.dm.send {to 1..8 addresses, text, format?} (app mode only) with a required idempotencyKey; slack.user.lookup {email}; gmail.thread.list {limit? 1..50, default 15, q?, labelIds? default [INBOX], pageToken?}; gmail.thread.read {threadId}; gmail.message.read {messageId}; gmail.attachment.read {messageId, attachmentId}; gmail.message.send {to 1..50 addresses (to+cc+bcc <= 50 in total), cc?, bcc?, subject 1..256 chars, text 1..4000 chars, html? <= 64 KiB, attachments? 1..5 of <= 2 MiB each as base64, replyToMessageId?} and a required idempotencyKey like slack.message.post; warehouse.view.read {columns? 1..32, where? 1..16 filters, groupBy? 1..8 columns, aggregates? 1..16, orderBy? 1..8, limit? 1..1000, default 100} (0.70.0: a plain read names columns, an aggregate read names aggregates and optionally groupBy; the cross-field rules — exactly one of columns or aggregates, groupBy needs aggregates, a filter value that fits its op, orderBy naming a returned column, every named column approved — are enforced by governance, not expressible here; ADR 0017). Each operation's then-block is the one statement of its input rules: propertyNames.enum names the fields it accepts, required the ones it needs, and per-field overrides (maximum, default) narrow the shared property. Codegen derives IntegrationExecuteInputRules and validateIntegrationExecuteInput (gen-ts/integration-execute-input-rules.ts, gen-go/integration_execute_input_rules.go) from exactly these blocks, so the governance execute route, the app SDK and the kit's local check refuse the same request with the same message. Transport limits (not expressible here): request <= 16 KiB except a gmail.message.send carrying attachments (governance sizes that route for the attachment bound), total deadline 10 s.
  */
 export type IntegrationExecuteRequest = {
     /**
@@ -7,26 +7,69 @@ export type IntegrationExecuteRequest = {
      */
     connection: string;
     /**
-     * Closed operation set. Extending it is a contracts change. gmail.message.send (0.50.0) sends one plain-text email as the signed-in person: a send like slack.message.post (explicit Send, idempotencyKey, write receipt) under user identity. slack.message.post (0.53.0) runs in the mode the app declares: app (the company's Slack app, under the IT-approved per-app name) or user (the signed-in person, after their consent); since 0.55.0 each call names which of the approved modes it runs under.
+     * Closed operation set. Extending it is a contracts change. gmail.message.send (0.50.0) sends one email as the signed-in person: a send like slack.message.post (explicit Send, idempotencyKey, write receipt) under user identity; since 0.71.0 it may carry an HTML body and attachments. slack.message.post (0.53.0) runs in the mode the app declares: app (the company's Slack app, under the IT-approved per-app name) or user (the signed-in person, after their consent); since 0.55.0 each call names which of the approved modes it runs under. 0.71.0 (ADR 0018) adds slack.message.update and slack.message.delete (declared mode, like post), slack.dm.send (app mode: a direct message to 1..8 workspace members named by email), slack.user.lookup (app mode: email to Slack user id), gmail.thread.read (every message of one thread) and gmail.attachment.read (one attachment's bytes), and lets slack.channel.history run in app mode as well as user mode.
      */
-    operation: 'slack.channel.history' | 'slack.message.post' | 'gmail.thread.list' | 'gmail.message.read' | 'gmail.message.send' | 'warehouse.view.read';
+    operation: 'slack.channel.history' | 'slack.message.post' | 'slack.message.update' | 'slack.message.delete' | 'slack.dm.send' | 'slack.user.lookup' | 'gmail.thread.list' | 'gmail.thread.read' | 'gmail.message.read' | 'gmail.message.send' | 'gmail.attachment.read' | 'warehouse.view.read';
     /**
      * Tenant-wide logical alias of a connection (governance sourceId) or of a resource under it.
      */
     resource: string;
     input: {
         /**
-         * Read operations: how many items to return; the per-operation then-block sets the real ceiling (15 for slack.channel.history and gmail.thread.list, 1000 for warehouse.view.read) and the default.
+         * Read operations: how many items to return; the per-operation then-block sets the real ceiling (100 for slack.channel.history, 50 for gmail.thread.list, 1000 for warehouse.view.read) and the default.
          */
         limit?: number;
         /**
-         * slack.message.post / gmail.message.send: the plain-text body, 1..4000 characters.
+         * slack.message.post / slack.message.update / slack.dm.send / gmail.message.send: the body, 1..4000 characters (plain text, or Slack mrkdwn when `format` says so).
          */
         text?: string;
         /**
-         * gmail.message.read: the Gmail message id a gmail.thread.list result named.
+         * slack.message.post / slack.message.update / slack.dm.send (0.71.0): how Slack renders `text`; plain when absent.
+         */
+        format?: 'plain' | 'mrkdwn';
+        /**
+         * slack.message.post (0.71.0): the Slack message ts (a slack.channel.history message id) the post replies to, so it lands in that thread. gmail.thread.read: the Gmail thread id a gmail.thread.list result named.
+         */
+        threadId?: string;
+        /**
+         * gmail.message.read / gmail.attachment.read: the Gmail message id a gmail.thread.list or gmail.thread.read result named. slack.message.update / slack.message.delete (0.71.0): the Slack message ts a post or history result named.
          */
         messageId?: string;
+        /**
+         * gmail.attachment.read (0.71.0): the attachment id a gmail.message.read or gmail.thread.read result named.
+         */
+        attachmentId?: string;
+        /**
+         * slack.channel.history (0.71.0): the `nextCursor` of the previous page; absent reads the newest page.
+         */
+        cursor?: string;
+        /**
+         * slack.channel.history (0.71.0): only messages after this Slack ts.
+         */
+        oldest?: string;
+        /**
+         * slack.channel.history (0.71.0): only messages before this Slack ts.
+         */
+        latest?: string;
+        /**
+         * gmail.thread.list (0.71.0): a Gmail search query (the search-box syntax, e.g. `from:jane newer_than:7d`).
+         */
+        q?: string;
+        /**
+         * gmail.thread.list (0.71.0): the Gmail labels a thread must carry (all of them); INBOX when absent.
+         *
+         * @minItems 1
+         * @maxItems 5
+         */
+        labelIds?: string[];
+        /**
+         * gmail.thread.list (0.71.0): the `nextPageToken` of the previous page; absent reads the first page.
+         */
+        pageToken?: string;
+        /**
+         * slack.user.lookup (0.71.0): the workspace member's email address to resolve to a Slack user id.
+         */
+        email?: string;
         to?: EmailAddressList;
         cc?: EmailAddressList1;
         bcc?: EmailAddressList2;
@@ -38,6 +81,17 @@ export type IntegrationExecuteRequest = {
          * gmail.message.send: a Gmail message id (from gmail.thread.list / gmail.message.read) the email replies to; the send joins that thread.
          */
         replyToMessageId?: string;
+        /**
+         * gmail.message.send (0.71.0): an HTML body sent beside `text` (which stays the plain-text alternative), at most 64 KiB.
+         */
+        html?: string;
+        /**
+         * gmail.message.send (0.71.0): files to attach, 1..5, each at most 2 MiB (2,796,203 base64 characters).
+         *
+         * @minItems 1
+         * @maxItems 5
+         */
+        attachments?: EmailAttachment[];
         /**
          * warehouse.view.read, a plain read: explicit columns, or `*` alone when the app's approved resource grant allows all current and future columns. An aggregate read names aggregates instead.
          *
@@ -79,7 +133,7 @@ export type IntegrationExecuteRequest = {
      */
     idempotencyKey?: string;
     /**
-     * slack.message.post only (0.55.0): which of the app's IT-approved modes this post runs under — app (the company's Slack app, under the grant's per-app name and the footer) or user (the signed-in person, after their consent; no name, no footer). Required when the app holds approved grants for both modes (else MODE_REQUIRED); may be omitted when it holds one, which is then used. A named mode without an approved grant is refused with MODE_NOT_GRANTED; governance never falls back to the other mode. Every other operation's mode is fixed, so the field is refused there.
+     * The declared-mode Slack operations only (slack.message.post since 0.55.0; slack.channel.history, slack.message.update and slack.message.delete since 0.71.0): which of the app's IT-approved modes this call runs under — app (the company's Slack app; a post goes out under the grant's per-app name and the footer) or user (the signed-in person, after their consent; no name, no footer). Required when the app holds approved grants for both modes (else MODE_REQUIRED); may be omitted when it holds one, which is then used. A named mode without an approved grant is refused with MODE_NOT_GRANTED; governance never falls back to the other mode. Every other operation's mode is fixed, so the field is refused there.
      */
     mode?: 'app' | 'user';
 };
@@ -88,7 +142,7 @@ export type IntegrationExecuteRequest = {
  */
 export type EmailAddress = string;
 /**
- * gmail.message.send: primary recipients.
+ * gmail.message.send: primary recipients. slack.dm.send (0.71.0): the workspace members to message, by email, 1..8; several open one group DM.
  *
  * @minItems 1
  * @maxItems 50
@@ -120,6 +174,23 @@ export type WarehouseAggregateFn = 'count' | 'sum' | 'avg' | 'min' | 'max';
  * Sort direction; asc when absent.
  */
 export type WarehouseOrderDirection = 'asc' | 'desc';
+/**
+ * One file attached to a gmail.message.send (0.71.0), carried inline as base64. At most 2 MiB of bytes, which is 2,796,203 base64 characters.
+ */
+export interface EmailAttachment {
+    /**
+     * The name the recipient sees.
+     */
+    filename: string;
+    /**
+     * The MIME type, e.g. application/pdf.
+     */
+    contentType: string;
+    /**
+     * The file bytes, standard base64.
+     */
+    dataBase64: string;
+}
 /**
  * One warehouse.view.read filter (0.70.0): <column> <op> <value>. The value is always bound as a query parameter, never written into the SQL. Which value an op takes is a governance rule: isNull/isNotNull take none; in/notIn take a non-empty list of one scalar type; every other op takes one scalar, and a boolean only with eq/ne.
  */

package/dist/gen-ts/integration-execute-result.d.ts

@@ -1,17 +1,37 @@
 /**
- * The `data` member of a successful execute response `{data, requestId}`; the SDK unwraps `data`. Exactly one of the six operation results: slack.channel.history -> {messages, hasMore} (plain text/IDs/time, plus the display name and emoji icon a per-app-named app post carries — authorName/authorIcon, 0.55.0 — never the provider payload); slack.message.post -> {messageId}; gmail.thread.list -> {threads, hasMore} (newest inbox threads; each `messageId` is the thread's newest message, what gmail.message.read takes); gmail.message.read -> {id, threadId, subject, from, to, date, text, truncated} (headers plus the plain text with html stripped, cut at 16 KiB with `truncated` set); gmail.message.send -> {messageId, threadId} (the Gmail ids of the sent message and its thread); warehouse.view.read -> {rows, truncated} (rows keyed by the selected columns, or for an aggregate read by the groupBy columns then the aggregate aliases; decimal/64-bit values as strings, dates as ISO strings; since 0.70.0 every server sends `truncated`, true when more rows matched than `limit` — the server reads limit+1 rows to know — so the rows are incomplete and must not be totalled or averaged; a server before 0.70.0 omitted it). An unknown send outcome is never a result; it is an error with details.code SEND_OUTCOME_UNKNOWN. A whole result over 1 MiB is rejected, never cut down to fit.
+ * The `data` member of a successful execute response `{data, requestId}`; the SDK unwraps `data`. Exactly one of the operation results (twelve operations since 0.71.0, ADR 0018): slack.channel.history -> {messages, hasMore, nextCursor?} (plain text/IDs/time, plus the display name and emoji icon a per-app-named app post carries — authorName/authorIcon, 0.55.0 — never the provider payload; `nextCursor` when hasMore, to pass as the next read's `cursor`); slack.message.post, slack.message.update, slack.message.delete -> {messageId} (the Slack ts); slack.dm.send -> {messageId, channelId} (the ts and the DM channel it went to); slack.user.lookup -> {userId, displayName}; gmail.thread.list -> {threads, hasMore, nextPageToken?} (newest matching threads; each `messageId` is the thread's newest message, what gmail.message.read takes; `nextPageToken` when hasMore); gmail.thread.read -> {id, emails} (every message of the thread, oldest first, each shaped like a gmail.message.read result); gmail.message.read -> {id, threadId, subject, from, to, date, text, truncated, attachments?} (headers plus the plain text with html stripped, cut at 16 KiB with `truncated` set; `attachments` lists the files without their bytes, which gmail.attachment.read fetches by id); gmail.attachment.read -> {filename, mimeType, size, dataBase64}; gmail.message.send -> {messageId, threadId} (the Gmail ids of the sent message and its thread); warehouse.view.read -> {rows, truncated} (rows keyed by the selected columns, or for an aggregate read by the groupBy columns then the aggregate aliases; decimal/64-bit values as strings, dates as ISO strings; since 0.70.0 every server sends `truncated`, true when more rows matched than `limit` — the server reads limit+1 rows to know — so the rows are incomplete and must not be totalled or averaged; a server before 0.70.0 omitted it). An unknown send outcome is never a result; it is an error with details.code SEND_OUTCOME_UNKNOWN. A whole result over 1 MiB is rejected, never cut down to fit — except a gmail.attachment.read, whose single attachment is bounded by its own 2 MiB.
  */
 export type IntegrationExecuteResult = {
     /**
-     * @maxItems 15
+     * @maxItems 100
      */
     messages?: ChannelMessage[];
     hasMore?: boolean;
+    /**
+     * slack.channel.history (0.71.0): the cursor of the next (older) page, present only when hasMore.
+     */
+    nextCursor?: string;
     messageId?: string;
     /**
-     * @maxItems 15
+     * slack.dm.send (0.71.0): the Slack DM channel id the message went to.
+     */
+    channelId?: string;
+    /**
+     * slack.user.lookup (0.71.0): the Slack user id of the member with that email.
+     */
+    userId?: string;
+    /**
+     * slack.user.lookup (0.71.0): the member's display name, or real name when they set no display name; may be empty.
+     */
+    displayName?: string;
+    /**
+     * @maxItems 50
      */
     threads?: GmailThread[];
+    /**
+     * gmail.thread.list (0.71.0): the token of the next page, present only when hasMore.
+     */
+    nextPageToken?: string;
     id?: string;
     threadId?: string;
     subject?: string;
@@ -23,6 +43,28 @@ export type IntegrationExecuteResult = {
      * gmail.message.read: the text was cut at 16 KiB. warehouse.view.read (0.70.0): more rows matched than the read's limit, so `rows` is incomplete.
      */
     truncated?: boolean;
+    /**
+     * gmail.message.read (0.71.0): the message's attachments, without their bytes.
+     *
+     * @maxItems 100
+     */
+    attachments?: GmailAttachment[];
+    /**
+     * gmail.thread.read (0.71.0): every message of the thread, oldest first.
+     *
+     * @maxItems 100
+     */
+    emails?: GmailMessage[];
+    filename?: string;
+    mimeType?: string;
+    /**
+     * gmail.attachment.read (0.71.0): the attachment's size in bytes.
+     */
+    size?: number;
+    /**
+     * gmail.attachment.read (0.71.0): the attachment's bytes, standard base64, at most 2 MiB of bytes.
+     */
+    dataBase64?: string;
     /**
      * @maxItems 1000
      */
@@ -52,3 +94,32 @@ export interface GmailThread {
     date: string;
     snippet: string;
 }
+/**
+ * One attachment of a Gmail message (0.71.0), named without its bytes; gmail.attachment.read fetches them by `id`.
+ */
+export interface GmailAttachment {
+    id: string;
+    filename: string;
+    mimeType: string;
+    /**
+     * Bytes.
+     */
+    size: number;
+}
+/**
+ * One message of a gmail.thread.read result (0.71.0): the gmail.message.read shape.
+ */
+export interface GmailMessage {
+    id: string;
+    threadId: string;
+    subject: string;
+    from: string;
+    to: string;
+    date: string;
+    text: string;
+    truncated: boolean;
+    /**
+     * @maxItems 100
+     */
+    attachments?: GmailAttachment[];
+}

package/dist/gen-ts/saas-connection.d.ts

@@ -1,5 +1,5 @@
 /**
- * Slack carries an installation and a channel map; Gmail is user-consent only and read-only.
+ * Slack carries an installation and a channel map; Gmail is user-consent only.
  */
 export type SaasProvider = 'slack' | 'gmail';
 /**
@@ -7,6 +7,18 @@ export type SaasProvider = 'slack' | 'gmail';
  */
 export type SaasConnectionStatus = 'ACTIVE' | 'DISABLED';
 export type SaasInstallationStatus = 'installed' | 'reconnect_required' | 'revoked';
+/**
+ * How a user-mode access request on this connection is approved (0.71.0): automatic — the person's own consent is the approval, since the app only ever acts as them; it — an IT admin reviews it like an app-mode request. Absent means it.
+ */
+export type UserModeApproval = 'automatic' | 'it';
+/**
+ * signed_in_person — only the person using the app; channel_members — the members of the named channel; anyone — any workspace member.
+ */
+export type DirectMessageAudience = 'signed_in_person' | 'channel_members' | 'anyone';
+/**
+ * block — every recipient must be internal (the default when absent); allowlist — internal or in `allowedDomains`; allow — any address.
+ */
+export type ExternalRecipientMode = 'block' | 'allowlist' | 'allow';
 /**
  */
 export type InstallationName = string;
@@ -39,13 +51,17 @@ export interface SaasConnection {
         [k: string]: string;
     };
     /**
-     * Operations IT allows apps to request on this connection: the provider's own SaaS operations (Slack: slack.channel.history, slack.message.post; Gmail: gmail.thread.list, gmail.message.read, gmail.message.send). Never warehouse.view.read.
+     * Operations IT allows apps to request on this connection: the provider's own SaaS operations (Slack: slack.channel.history, slack.message.post, slack.message.update, slack.message.delete, slack.dm.send, slack.user.lookup; Gmail: gmail.thread.list, gmail.thread.read, gmail.message.read, gmail.message.send, gmail.attachment.read). Never warehouse.view.read.
      *
      * @minItems 1
-     * @maxItems 5
+     * @maxItems 11
      */
-    operations: ('slack.channel.history' | 'slack.message.post' | 'gmail.thread.list' | 'gmail.message.read' | 'gmail.message.send' | 'warehouse.view.read')[];
+    operations: ('slack.channel.history' | 'slack.message.post' | 'slack.message.update' | 'slack.message.delete' | 'slack.dm.send' | 'slack.user.lookup' | 'gmail.thread.list' | 'gmail.thread.read' | 'gmail.message.read' | 'gmail.message.send' | 'gmail.attachment.read' | 'warehouse.view.read')[];
     developmentPreapproval: DevelopmentPreapproval;
+    oauthClient?: SaasOauthClient;
+    userModeApproval?: UserModeApproval;
+    directMessages?: DirectMessagePolicy;
+    externalRecipients?: ExternalRecipientPolicy;
     /**
      * Lower-cased builder emails excluded from development preapproval.
      *
@@ -114,6 +130,48 @@ export interface DevelopmentPreapproval {
      */
     hours: number;
 }
+/**
+ * The tenant's own OAuth client for this provider (0.71.0; the ADR 0068 follow-up): when present, installation and user consent run through the company's Slack app or Google Cloud project instead of the platform-owned one, so the tenant's IT sees and controls the app in their own admin console. A reference to the secret, never the secret.
+ */
+export interface SaasOauthClient {
+    clientId: string;
+    /**
+     * Where the client secret lives.
+     */
+    secretRef: string;
+    setAt: string;
+    /**
+     * The IT admin who saved it (lower-cased email).
+     */
+    setBy: string;
+}
+/**
+ * Whom an app may direct-message through slack.dm.send (0.71.0), set by IT on the connection and enforced by governance on every send.
+ */
+export interface DirectMessagePolicy {
+    allowed: DirectMessageAudience;
+    /**
+     * Tenant-wide logical alias of a connection (governance sourceId) or of a resource under it.
+     */
+    channel?: string;
+    /**
+     * Distinct recipients one app may message per UTC day on this connection; the cap refuses the send that would exceed it.
+     */
+    dailyRecipientCap: number;
+}
+/**
+ * Whether a gmail.message.send may address people outside the company (0.71.0). An external recipient is one whose email domain is not one of the tenant's verified domains.
+ */
+export interface ExternalRecipientPolicy {
+    mode: ExternalRecipientMode;
+    /**
+     * allowlist only: the external domains a send may address; a recipient's domain must equal one of them.
+     *
+     * @minItems 1
+     * @maxItems 50
+     */
+    allowedDomains?: string[];
+}
 /**
  * @deprecated
  */

package/gen-ts/app-integrations-declaration.ts

@@ -2,6 +2,10 @@
 // Code generated by tools/gen/gen.mjs from schema/*.json. DO NOT EDIT.
 
 export type IntegrationConnectionKind = 'saas' | 'database';
+/**
+ * Whose authority an operation runs under. Fixed per operation, except the declared-mode Slack operations (slack.message.post; since 0.71.0 also slack.channel.history, slack.message.update, slack.message.delete): declared per app for the access request, and named per call among the app's approved modes (execute request `mode`, 0.55.0).
+ */
+export type IntegrationIdentityMode = 'app' | 'user';
 /**
  * Tenant-wide logical alias of a connection (governance sourceId) or of a resource under it.
  */
@@ -11,17 +15,13 @@ export type IntegrationAlias = string;
  * @maxItems 64
  */
 export type ResourceNames = IntegrationAlias[];
-/**
- * Whose authority an operation runs under. Fixed per operation, except slack.message.post: declared per app for the access request, and named per call among the app's approved modes (execute request `mode`, 0.55.0).
- */
-export type IntegrationIdentityMode = 'app' | 'user';
 /**
  * A plain warehouse column identifier, or `*` as the sole selection when IT exposed all current and future columns.
  */
 export type ColumnName = string;
 
 /**
- * Committed `.isomorph/integrations.json`: the app's declared use of tenant-wide integration connections. Keys are logical connection aliases (the governance sourceId); resources are logical names (Slack channel alias, warehouse view name), never IDs, tokens or URLs. The operation set is closed (six operations). Each operation carries a fixed identity mode — slack.channel.history=user, gmail.thread.list=user, gmail.message.read=user, gmail.message.send=user, warehouse.view.read=app — except slack.message.post, whose mode the app DECLARES: `app` posts as the company's Slack app (the one audited bot identity, under the IT-approved per-app display name when the connection declares `presentation`), `user` posts as the signed-in person after their own consent. The declared mode is the one the app requests access for; an app may hold approved grants for both modes after two requests, and each slack.message.post call names which approved mode it runs under (`mode` on the execute request, 0.55.0) — a mode IT did not approve is refused, never swapped for the other. A `saas` connection may declare only the Slack and Gmail operations and a `database` connection only warehouse.view.read; `presentation` is a `saas` connection's optional per-app display name and icon for app-mode Slack posts, shown to IT at approval time and applied only from the approved grant. Gmail is user-mode only (reads plus one send); its single resource is the fixed `inbox` alias. This file also owns the shared IntegrationOperation / IntegrationIdentityMode / IntegrationEnvironment / IntegrationConnectionKind / IntegrationPresentation definitions referenced by the other integration schemas.
+ * Committed `.isomorph/integrations.json`: the app's declared use of tenant-wide integration connections. Keys are logical connection aliases (the governance sourceId); resources are logical names (Slack channel alias, warehouse view name), never IDs, tokens or URLs. The operation set is closed (twelve operations since 0.71.0, ADR 0018). Each operation carries a fixed identity mode — slack.dm.send=app, slack.user.lookup=app, every gmail.* operation=user, warehouse.view.read=app — except the declared-mode Slack operations (slack.message.post, and since 0.71.0 slack.channel.history, slack.message.update and slack.message.delete), whose mode the app DECLARES: `app` acts as the company's Slack app (the one audited bot identity; a post goes out under the IT-approved per-app display name when the connection declares `presentation`), `user` acts as the signed-in person after their own consent (reads what they can read, edits what they wrote). The declared mode is the one the app requests access for; an app may hold approved grants for both modes after two requests, and each declared-mode call names which approved mode it runs under (`mode` on the execute request, 0.55.0) — a mode IT did not approve is refused, never swapped for the other. A `saas` connection may declare only the Slack and Gmail operations and a `database` connection only warehouse.view.read; `presentation` is a `saas` connection's optional per-app display name and icon for app-mode Slack posts, shown to IT at approval time and applied only from the approved grant. Gmail is user-mode only (reads, one send); its single resource is the fixed `inbox` alias. slack.dm.send and slack.user.lookup address people by email rather than a channel, so their single resource is the fixed `workspace` alias (the connection's installed workspace), the way Gmail's is `inbox`. This file also owns the shared IntegrationOperation / IntegrationIdentityMode / IntegrationEnvironment / IntegrationConnectionKind / IntegrationPresentation definitions referenced by the other integration schemas.
  */
 export interface AppIntegrationsDeclaration {
   schema: 'isomorph.app-integrations/2.0';
@@ -33,11 +33,17 @@ export interface DeclaredConnection {
   kind: IntegrationConnectionKind;
   presentation?: IntegrationPresentation;
   operations: {
-    'slack.channel.history'?: UserModeChannelOperation;
+    'slack.channel.history'?: DeclaredModeChannelOperation;
     'slack.message.post'?: DeclaredModeChannelOperation;
+    'slack.message.update'?: DeclaredModeChannelOperation;
+    'slack.message.delete'?: DeclaredModeChannelOperation;
+    'slack.dm.send'?: AppModeChannelOperation;
+    'slack.user.lookup'?: AppModeChannelOperation;
     'gmail.thread.list'?: UserModeChannelOperation;
+    'gmail.thread.read'?: UserModeChannelOperation;
     'gmail.message.read'?: UserModeChannelOperation;
     'gmail.message.send'?: UserModeChannelOperation;
+    'gmail.attachment.read'?: UserModeChannelOperation;
     'warehouse.view.read'?: AppModeViewOperation;
   };
 }
@@ -54,17 +60,24 @@ export interface IntegrationPresentation {
    */
   iconEmoji?: string;
 }
-export interface UserModeChannelOperation {
-  identity: 'user';
-  resources: ResourceNames;
-}
 /**
- * slack.message.post: the app declares the mode — app (posts as the company's Slack app) or user (posts as the signed-in person).
+ * slack.message.post, slack.channel.history, slack.message.update, slack.message.delete: the app declares the mode — app (acts as the company's Slack app) or user (acts as the signed-in person).
  */
 export interface DeclaredModeChannelOperation {
   identity: IntegrationIdentityMode;
   resources: ResourceNames;
 }
+/**
+ * slack.dm.send, slack.user.lookup (0.71.0): app mode only — the company's Slack app messages people or resolves them by email; the resource is the fixed `workspace` alias.
+ */
+export interface AppModeChannelOperation {
+  identity: 'app';
+  resources: ResourceNames;
+}
+export interface UserModeChannelOperation {
+  identity: 'user';
+  resources: ResourceNames;
+}
 export interface AppModeViewOperation {
   identity: 'app';
   resources: {

package/gen-ts/contract-release.ts

@@ -1,10 +1,10 @@
 /* eslint-disable */
 // Code generated by tools/gen/gen.mjs from schema/*.json. DO NOT EDIT.
 
-export const ContractRepositoryVersion = "0.70.0.0" as const;
-export const ContractPublishVersion = "0.70.0" as const;
-export const ContractPublishTag = "v0.70.0" as const;
-export const ContractSchemasDigest = "sha256:b3c430914fee8a4f33dc15051ec59a6a8bad9a84c31fda119b6d683eb523b094" as const;
+export const ContractRepositoryVersion = "0.71.0.0" as const;
+export const ContractPublishVersion = "0.71.0" as const;
+export const ContractPublishTag = "v0.71.0" as const;
+export const ContractSchemasDigest = "sha256:25c5de2ee9586c6280dca7c733a7063f46bd5d400112fe60f928cf6db1a627c3" as const;
 export const ContractAiFixturesDigest = "sha256:edac31c92e146ca1c40130f2fb5649db82e24b8cd1ac758153b90612052fddb6" as const;
-export const ContractGeneratedGoDigest = "sha256:05b383b27a90f3b3495a327e3da9ab6e13c5c2b047fc9311616ff6e7a283ccab" as const;
-export const ContractGeneratedTypeScriptDigest = "sha256:184aacb9eb73cec089f8e891b1840873ca9497eb91cf4d3b12cfa9f0a9f305d1" as const;
+export const ContractGeneratedGoDigest = "sha256:09bd95f079e733af9bf594a157d7396a645cc6c9866d48b7aee6b00a9762ac62" as const;
+export const ContractGeneratedTypeScriptDigest = "sha256:7fa5c1e4d8fdb68855b5e10208ee6c0a210f3595f7e74174efbf6bfa4c3673ce" as const;

package/gen-ts/data-grant-v2.ts

@@ -27,22 +27,28 @@ export interface DataGrantV2 {
    */
   sourceId: string;
   /**
-   * Whose authority an operation runs under. Fixed per operation, except slack.message.post: declared per app for the access request, and named per call among the app's approved modes (execute request `mode`, 0.55.0).
+   * Whose authority an operation runs under. Fixed per operation, except the declared-mode Slack operations (slack.message.post; since 0.71.0 also slack.channel.history, slack.message.update, slack.message.delete): declared per app for the access request, and named per call among the app's approved modes (execute request `mode`, 0.55.0).
    */
   mode: 'app' | 'user';
   kind: 'saas' | 'database';
   status: DataGrantV2Status;
   /**
-   * Approved operations; each must match this grant's mode. Empty until the first approval.
+   * Approved operations; each must match this grant's mode. Empty until the first approval. At most the eleven SaaS operations (0.71.0); a database grant holds one.
    *
-   * @maxItems 5
+   * @maxItems 11
    */
   operations: (
     | 'slack.channel.history'
     | 'slack.message.post'
+    | 'slack.message.update'
+    | 'slack.message.delete'
+    | 'slack.dm.send'
+    | 'slack.user.lookup'
     | 'gmail.thread.list'
+    | 'gmail.thread.read'
     | 'gmail.message.read'
     | 'gmail.message.send'
+    | 'gmail.attachment.read'
     | 'warehouse.view.read'
   )[];
   /**
@@ -83,7 +89,7 @@ export interface DataGrantV2 {
   updatedAt: string;
   /**
    * @deprecated
-   * Whose authority an operation runs under. Fixed per operation, except slack.message.post: declared per app for the access request, and named per call among the app's approved modes (execute request `mode`, 0.55.0).
+   * Whose authority an operation runs under. Fixed per operation, except the declared-mode Slack operations (slack.message.post; since 0.71.0 also slack.channel.history, slack.message.update, slack.message.delete): declared per app for the access request, and named per call among the app's approved modes (execute request `mode`, 0.55.0).
    */
   identityMode?: 'app' | 'user';
   /**

package/gen-ts/integration-execute-input-rules.ts

@@ -11,7 +11,7 @@
 export type IntegrationExecuteInputFieldRule =
   | { kind: 'integer'; required: boolean; minimum: number; maximum: number; default?: number }
   | { kind: 'string'; required: boolean; minLength: number; maxLength?: number; pattern?: string }
-  | { kind: 'string[]'; required: boolean; minItems: number; maxItems: number; uniqueItems: boolean; item: { minLength: number; maxLength?: number; pattern?: string } }
+  | { kind: 'string[]'; required: boolean; minItems: number; maxItems: number; uniqueItems: boolean; item: { minLength: number; maxLength?: number; pattern?: string }; default?: readonly string[] }
   | { kind: 'enum'; required: boolean; values: readonly string[]; default?: string }
   | { kind: 'object[]'; required: boolean; minItems: number; maxItems: number; fields: Readonly<Record<string, IntegrationExecuteInputFieldRule>> }
   | { kind: 'value'; required: boolean; types: readonly IntegrationExecuteInputValueType[]; maxLength?: number; list?: { minItems: number; maxItems: number; types: readonly IntegrationExecuteInputValueType[] } };
@@ -25,25 +25,67 @@ export const IntegrationExecuteInputRules = {
   "slack.channel.history": {
     idempotencyKey: false,
     fields: {
-      limit: { kind: "integer", required: false, minimum: 1, maximum: 15, default: 15 },
+      limit: { kind: "integer", required: false, minimum: 1, maximum: 100, default: 15 },
+      cursor: { kind: "string", required: false, minLength: 1, maxLength: 256 },
+      oldest: { kind: "string", required: false, minLength: 1, maxLength: 64 },
+      latest: { kind: "string", required: false, minLength: 1, maxLength: 64 },
     },
   },
   "slack.message.post": {
     idempotencyKey: true,
     fields: {
       text: { kind: "string", required: true, minLength: 1, maxLength: 4000 },
+      threadId: { kind: "string", required: false, minLength: 0, pattern: "^[A-Za-z0-9._-]{1,64}$" },
+      format: { kind: "enum", required: false, values: ["plain", "mrkdwn"], default: "plain" },
+    },
+  },
+  "slack.message.update": {
+    idempotencyKey: false,
+    fields: {
+      messageId: { kind: "string", required: true, minLength: 0, pattern: "^[A-Za-z0-9._-]{1,64}$" },
+      text: { kind: "string", required: true, minLength: 1, maxLength: 4000 },
+      format: { kind: "enum", required: false, values: ["plain", "mrkdwn"], default: "plain" },
+    },
+  },
+  "slack.message.delete": {
+    idempotencyKey: false,
+    fields: {
+      messageId: { kind: "string", required: true, minLength: 0, pattern: "^[A-Za-z0-9._-]{1,64}$" },
+    },
+  },
+  "slack.dm.send": {
+    idempotencyKey: true,
+    fields: {
+      to: { kind: "string[]", required: true, minItems: 1, maxItems: 8, uniqueItems: true, item: { minLength: 3, maxLength: 254, pattern: "^[^\\s@<>,;\"]+@[^\\s@<>,;\"]+\\.[^\\s@<>,;\"]+$" } },
+      text: { kind: "string", required: true, minLength: 1, maxLength: 4000 },
+      format: { kind: "enum", required: false, values: ["plain", "mrkdwn"], default: "plain" },
+    },
+  },
+  "slack.user.lookup": {
+    idempotencyKey: false,
+    fields: {
+      email: { kind: "string", required: true, minLength: 3, maxLength: 254, pattern: "^[^\\s@<>,;\"]+@[^\\s@<>,;\"]+\\.[^\\s@<>,;\"]+$" },
     },
   },
   "gmail.thread.list": {
     idempotencyKey: false,
     fields: {
-      limit: { kind: "integer", required: false, minimum: 1, maximum: 15, default: 15 },
+      limit: { kind: "integer", required: false, minimum: 1, maximum: 50, default: 15 },
+      q: { kind: "string", required: false, minLength: 1, maxLength: 256 },
+      labelIds: { kind: "string[]", required: false, minItems: 1, maxItems: 5, uniqueItems: true, item: { minLength: 1, maxLength: 64 }, default: ["INBOX"] },
+      pageToken: { kind: "string", required: false, minLength: 1, maxLength: 256 },
+    },
+  },
+  "gmail.thread.read": {
+    idempotencyKey: false,
+    fields: {
+      threadId: { kind: "string", required: true, minLength: 0, pattern: "^[A-Za-z0-9._-]{1,64}$" },
     },
   },
   "gmail.message.read": {
     idempotencyKey: false,
     fields: {
-      messageId: { kind: "string", required: true, minLength: 0, pattern: "^[A-Za-z0-9_-]{1,64}$" },
+      messageId: { kind: "string", required: true, minLength: 0, pattern: "^[A-Za-z0-9._-]{1,64}$" },
     },
   },
   "gmail.message.send": {
@@ -54,9 +96,22 @@ export const IntegrationExecuteInputRules = {
       bcc: { kind: "string[]", required: false, minItems: 1, maxItems: 50, uniqueItems: true, item: { minLength: 3, maxLength: 254, pattern: "^[^\\s@<>,;\"]+@[^\\s@<>,;\"]+\\.[^\\s@<>,;\"]+$" } },
       subject: { kind: "string", required: true, minLength: 1, maxLength: 256 },
       text: { kind: "string", required: true, minLength: 1, maxLength: 4000 },
+      html: { kind: "string", required: false, minLength: 1, maxLength: 65536 },
+      attachments: { kind: "object[]", required: false, minItems: 1, maxItems: 5, fields: {
+        filename: { kind: "string", required: true, minLength: 1, maxLength: 255 },
+        contentType: { kind: "string", required: true, minLength: 1, maxLength: 128 },
+        dataBase64: { kind: "string", required: true, minLength: 1, maxLength: 2796203 },
+      } },
       replyToMessageId: { kind: "string", required: false, minLength: 0, pattern: "^[A-Za-z0-9_-]{1,64}$" },
     },
   },
+  "gmail.attachment.read": {
+    idempotencyKey: false,
+    fields: {
+      messageId: { kind: "string", required: true, minLength: 0, pattern: "^[A-Za-z0-9._-]{1,64}$" },
+      attachmentId: { kind: "string", required: true, minLength: 1, maxLength: 512 },
+    },
+  },
   "warehouse.view.read": {
     idempotencyKey: false,
     fields: {
@@ -127,6 +182,7 @@ function checkFields(operation: string, prefix: string, fields: Readonly<Record<
     if (value === undefined || (nullIsAbsent && value === null)) {
       if (field.required) return refuse(path, `${path} is required for ${operation}`);
       if ((field.kind === 'integer' || field.kind === 'enum') && field.default !== undefined) out[name] = field.default;
+      if (field.kind === 'string[]' && field.default !== undefined) out[name] = [...field.default];
       continue;
     }
     const checked = checkField(operation, path, name, field, value);