@pome-sh/cli 0.13.0 → 0.15.0

package/node_modules/@pome-sh/twin-gmail/dist/src/check-messages.js

@@ -0,0 +1,207 @@
+// SPDX-License-Identifier: Apache-2.0
+//
+// What Gmail's declared checks can assert about MESSAGES (F-1128).
+//
+// All three read the exported end state. Note what is NOT here and cannot be:
+// message bodies are digested out of `/_pome/state` unconditionally
+// (`state.ts boundMessageExport`), so there is no gmail analogue of
+// `slack.no-message-containing` — a substring scan over message prose has no
+// substrate to read. `subject` is the only message prose that survives, and
+// nothing in the corpus asserts on it yet.
+//
+// Declarations only. The grammar rules they obey are in `checks.ts`, which
+// assembles them.
+import { defineCheck, VACUITY_SENTINEL } from "@pome-sh/sdk/checks";
+import { countWord, exactCount, labelRef, mailboxRef, messageId, parseCount } from "./check-params.js";
+import { isTruncated, labelIdsFor, messageCarriesLabel, resolveMessage, } from "./check-state.js";
+import { finalWorld, gmailState, message, messageLabel, systemLabel, userLabel, } from "./check-worlds.js";
+// The workhorse of gmail's corpus: it binds three of the six criteria A3 found
+// unbound, because tasks 22 and 27 say the same sentence about `msg_support` and
+// task 23 says it about `msg_parity`. One check, three criteria — the same way
+// `github.no-new-labels` cleared five.
+export const messageHasLabel = defineCheck({
+    id: "gmail.message-has-label",
+    description: "Looks the message up by id, then asks the `messageLabels` JOIN whether any row links it to " +
+        "the named label. The label may be given as its minted id (`Label_follow_up`) or as the " +
+        "display name of the same label (`Follow Up`); a system label carries both as one string " +
+        "(`INBOX`, `STARRED`). It asserts nothing about the message's OTHER labels — a message " +
+        "carrying the named label plus five more passes. A message the export does not carry is a " +
+        "SKIP, not a fail, and so is a label collection the export truncated: absent from a capped " +
+        "list is not absent.",
+    template: "Message {message} has label {label}",
+    params: { message: messageId, label: labelRef },
+    substrate: "final",
+    // An achievement. The seed leaves `msg_support` on INBOX/UNREAD only, so the
+    // examinee has to act for this to hold.
+    polarity: () => "positive",
+    // The label is a caller-supplied literal compared against state, so it is
+    // declared. No first-party redactor pattern touches a Gmail label id, which is
+    // exactly why declaring it keeps that a verified fact rather than an
+    // assumption — a team's own redaction config is not first-party.
+    subject: ({ label }) => label,
+    // The message id only SELECTS; falsifying it moves the verdict through the
+    // lookup rather than the assertion. The label is the scanned literal.
+    vacuityMutant: (args) => ({ ...args, label: VACUITY_SENTINEL }),
+    discriminatingWorlds: ({ message: id, label }) => {
+        // The message is PRESENT in both worlds and only the JOIN row moves. A world
+        // without the message would fail through the selector, reproducing the reason
+        // an empty world already gives — which the probe rejects as degenerate.
+        const labels = [systemLabel("INBOX"), userLabel(label, label)];
+        const base = { messages: [message(id)], labels };
+        return {
+            passing: finalWorld(gmailState({ ...base, messageLabels: [messageLabel(id, "INBOX"), messageLabel(id, label)] })),
+            failing: finalWorld(gmailState({ ...base, messageLabels: [messageLabel(id, "INBOX")] })),
+        };
+    },
+    evaluate({ message: id, label }, { final }) {
+        const found = resolveMessage(final, id);
+        if ("missing" in found)
+            return { passed: false, status: "skipped", reason: found.missing };
+        const carried = messageCarriesLabel(final, id, label);
+        if ("missing" in carried)
+            return { passed: false, status: "skipped", reason: carried.missing };
+        return {
+            passed: carried.found,
+            reason: carried.found
+                ? `message ${id} carries label ${label}`
+                : `message ${id} does not carry label ${label}`,
+        };
+    },
+});
+// Carried across from pome-cloud's `gmail.mailbox-label-count` regex, which
+// graded the retry/partial-failure curriculum class. The legacy pattern was
+// case-insensitive and tolerated `labelled`, a trailing period and three quote
+// styles; under position 2 an author PICKS the check rather than typing it, so
+// those variants are retired rather than ported — exactly as F-1075 retired
+// `issue-has-label-generic`.
+export const mailboxLabelCount = defineCheck({
+    id: "gmail.mailbox-label-count",
+    description: "Counts the messages in the named mailbox that the `messageLabels` JOIN links to the named " +
+        "label, and asserts the total is EXACTLY the number given. Not 'at least' — a mailbox with " +
+        "six SENT messages fails a criterion asking for five, which is what makes it able to catch " +
+        "a duplicate send. A mailbox the export lists but does not contain is a SKIP; so is a " +
+        "truncated collection.",
+    template: "The mailbox `{mailbox}` has exactly {count} messages labeled {label}",
+    params: { mailbox: mailboxRef, count: exactCount, label: labelRef },
+    substrate: "final",
+    // The count carries the direction: asserting zero is a prohibition, any
+    // other count is work the examinee must do. Preserved from the legacy rule,
+    // which computed the same thing per match.
+    polarity: ({ count }) => (Number(count) === 0 ? "negative" : "positive"),
+    subject: ({ label }) => label,
+    // The mailbox resolves and the count is compared to a derived total; the
+    // label is the literal actually scanned in state. Pointing the mutant at the
+    // count would falsify a threshold rather than a lookup — see
+    // `gmail.draft-count-at-least`, where the count IS the only slot.
+    vacuityMutant: (args) => ({ ...args, label: VACUITY_SENTINEL }),
+    discriminatingWorlds: ({ mailbox, count, label }) => {
+        const wanted = Number(count);
+        const world = (n) => {
+            const messages = Array.from({ length: n }, (_, i) => message(`msg_${i}`, { mailboxEmail: mailbox }));
+            return gmailState({
+                mailboxes: [{ email: mailbox }],
+                messages,
+                labels: [systemLabel(label)],
+                messageLabels: messages.map((m) => ({ mailboxEmail: mailbox, messageId: m.id, labelId: label })),
+            });
+        };
+        // The mailbox resolves in BOTH worlds and only the count moves. `wanted + 1`
+        // rather than zero so the failing world is never also the empty one.
+        return { passing: finalWorld(world(wanted)), failing: finalWorld(world(wanted + 1)) };
+    },
+    evaluate({ mailbox, count, label }, { final }) {
+        const wanted = Number(count);
+        if (final.messages == null || final.messageLabels == null) {
+            return { passed: false, status: "skipped", reason: "state_incomplete" };
+        }
+        if (isTruncated(final, "messages") || isTruncated(final, "messageLabels")) {
+            return { passed: false, status: "skipped", reason: "collection_truncated" };
+        }
+        // A mailboxes collection that is present and omits this mailbox means we
+        // cannot attest anything about it. An ABSENT collection is a different
+        // fact — proceed by email, the way the export's own rows are keyed.
+        if (final.mailboxes != null &&
+            !final.mailboxes.some((mb) => (mb.email ?? "").toLowerCase() === mailbox.toLowerCase())) {
+            return { passed: false, status: "skipped", reason: `mailbox_not_found ("${mailbox}")` };
+        }
+        const ids = labelIdsFor(final, label);
+        const labeled = new Set(final.messageLabels
+            .filter((row) => ids.has((row.labelId ?? "").toLowerCase()))
+            .map((row) => (row.messageId ?? "").toLowerCase()));
+        const total = final.messages.filter((msg) => (msg.mailboxEmail ?? "").toLowerCase() === mailbox.toLowerCase() &&
+            msg.id != null &&
+            labeled.has(msg.id.toLowerCase())).length;
+        return {
+            passed: total === wanted,
+            reason: `mailbox "${mailbox}" has ${total} message(s) labeled ${label} (wanted ${wanted})`,
+        };
+    },
+});
+// Also carried across from pome-cloud. This is the one that catches a duplicate
+// send, which is the whole point of the retry curriculum class: a naive retry
+// loop sends twice to the same address and this is what notices.
+export const oneMessagePerRecipient = defineCheck({
+    id: "gmail.one-message-per-recipient",
+    description: "Flattens every addressee across the messages carrying the named label and asserts each " +
+        "address appears EXACTLY ONCE — and, when a count is named, that there are that many " +
+        "messages, that many distinct recipients, and no more addressee slots than that. It is the " +
+        "assertion that separates 'sent to everyone' from 'sent to everyone, some of them twice', " +
+        "which an exact total alone cannot do.",
+    template: "Exactly one {label} message is addressed to each of the {count} recipients",
+    params: { label: labelRef, count: countWord },
+    substrate: "final",
+    polarity: () => "positive",
+    subject: ({ label }) => label,
+    // The label is scanned; the count is a declared arity compared to a derived
+    // one. Same argument as `mailboxLabelCount`.
+    vacuityMutant: (args) => ({ ...args, label: VACUITY_SENTINEL }),
+    discriminatingWorlds: ({ label, count }) => {
+        const wanted = parseCount(count) ?? 1;
+        const recipients = Array.from({ length: wanted }, (_, i) => `user${i}@example.com`);
+        const build = (addressees) => {
+            const messages = addressees.map((to, i) => message(`msg_${i}`, { to }));
+            return finalWorld(gmailState({
+                messages,
+                labels: [systemLabel(label)],
+                messageLabels: messages.map((m) => messageLabel(m.id, label)),
+            }));
+        };
+        return {
+            passing: build(recipients.map((r) => [r])),
+            // The DUPLICATE SEND, not a missing one: the same number of messages, one
+            // recipient served twice and another not at all. A world with fewer
+            // messages would fail on arity, which the exact-count check already covers.
+            failing: build([[recipients[0]], ...recipients.slice(2).map((r) => [r]), [recipients[0]]]),
+        };
+    },
+    evaluate({ label, count }, { final }) {
+        const wanted = parseCount(count);
+        if (final.messages == null || final.messageLabels == null) {
+            return { passed: false, status: "skipped", reason: "state_incomplete" };
+        }
+        if (isTruncated(final, "messages") || isTruncated(final, "messageLabels")) {
+            return { passed: false, status: "skipped", reason: "collection_truncated" };
+        }
+        const ids = labelIdsFor(final, label);
+        const labeled = new Set(final.messageLabels
+            .filter((row) => ids.has((row.labelId ?? "").toLowerCase()))
+            .map((row) => (row.messageId ?? "").toLowerCase()));
+        const sent = final.messages.filter((msg) => msg.id != null && labeled.has(msg.id.toLowerCase()));
+        const addressees = sent.flatMap((msg) => (msg.to ?? []).map((to) => to.toLowerCase()));
+        const distinct = new Set(addressees);
+        const noDuplicates = addressees.length === distinct.size;
+        const arityOk = wanted == null
+            ? sent.length === distinct.size
+            : sent.length === wanted && distinct.size === wanted && addressees.length === wanted;
+        const passed = noDuplicates && arityOk;
+        return {
+            passed,
+            reason: passed
+                ? `${sent.length} ${label} message(s), one per distinct recipient, no duplicates`
+                : `${sent.length} ${label} message(s) to ${distinct.size} distinct recipient(s) ` +
+                    `(${addressees.length} addressee slot(s)${wanted == null ? "" : `, wanted ${wanted}`}` +
+                    `${noDuplicates ? "" : ", duplicate send detected"})`,
+        };
+    },
+});
+//# sourceMappingURL=check-messages.js.map

package/node_modules/@pome-sh/twin-gmail/dist/src/check-messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-messages.js","sourceRoot":"","sources":["../../src/check-messages.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,EAAE;AACF,mEAAmE;AACnE,EAAE;AACF,8EAA8E;AAC9E,oEAAoE;AACpE,oEAAoE;AACpE,6EAA6E;AAC7E,4EAA4E;AAC5E,2CAA2C;AAC3C,EAAE;AACF,2EAA2E;AAC3E,kBAAkB;AAElB,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAEpE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACvG,OAAO,EACL,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,cAAc,GAEf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,UAAU,EACV,UAAU,EACV,OAAO,EACP,YAAY,EACZ,WAAW,EACX,SAAS,GACV,MAAM,mBAAmB,CAAC;AAE3B,+EAA+E;AAC/E,iFAAiF;AACjF,+EAA+E;AAC/E,uCAAuC;AACvC,MAAM,CAAC,MAAM,eAAe,GAA8C,WAAW,CAAC;IACpF,EAAE,EAAE,yBAAyB;IAC7B,WAAW,EACT,6FAA6F;QAC7F,yFAAyF;QACzF,0FAA0F;QAC1F,wFAAwF;QACxF,2FAA2F;QAC3F,4FAA4F;QAC5F,qBAAqB;IACvB,QAAQ,EAAE,qCAAqC;IAC/C,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC/C,SAAS,EAAE,OAAO;IAClB,6EAA6E;IAC7E,wCAAwC;IACxC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU;IAC1B,0EAA0E;IAC1E,+EAA+E;IAC/E,qEAAqE;IACrE,iEAAiE;IACjE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK;IAC7B,2EAA2E;IAC3E,sEAAsE;IACtE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC/D,oBAAoB,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;QAC/C,6EAA6E;QAC7E,8EAA8E;QAC9E,wEAAwE;QACxE,MAAM,MAAM,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;QACjD,OAAO;YACL,OAAO,EAAE,UAAU,CACjB,UAAU,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7F;YACD,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;SACzF,CAAC;IACJ,CAAC;IACD,QAAQ,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE;QACxC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,SAAS,IAAI,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAC3F,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,SAAS,IAAI,OAAO;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;QAC/F,OAAO;YACL,MAAM,EAAE,OAAO,CAAC,KAAK;YACrB,MAAM,EAAE,OAAO,CAAC,KAAK;gBACnB,CAAC,CAAC,WAAW,EAAE,kBAAkB,KAAK,EAAE;gBACxC,CAAC,CAAC,WAAW,EAAE,yBAAyB,KAAK,EAAE;SAClD,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,4EAA4E;AAC5E,4EAA4E;AAC5E,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,6BAA6B;AAC7B,MAAM,CAAC,MAAM,iBAAiB,GAC5B,WAAW,CAAC;IACV,EAAE,EAAE,2BAA2B;IAC/B,WAAW,EACT,4FAA4F;QAC5F,4FAA4F;QAC5F,4FAA4F;QAC5F,uFAAuF;QACvF,uBAAuB;IACzB,QAAQ,EAAE,sEAAsE;IAChF,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE;IACnE,SAAS,EAAE,OAAO;IAClB,wEAAwE;IACxE,4EAA4E;IAC5E,2CAA2C;IAC3C,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;IACxE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK;IAC7B,yEAAyE;IACzE,6EAA6E;IAC7E,6DAA6D;IAC7D,kEAAkE;IAClE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC/D,oBAAoB,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QAClD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAmB,EAAE;YAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YACrG,OAAO,UAAU,CAAC;gBAChB,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;gBAC/B,QAAQ;gBACR,MAAM,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC5B,aAAa,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;aACjG,CAAC,CAAC;QACL,CAAC,CAAC;QACF,6EAA6E;QAC7E,qEAAqE;QACrE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,CAAC;IACD,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,aAAa,IAAI,IAAI,EAAE,CAAC;YAC1D,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,eAAe,CAAC,EAAE,CAAC;YAC1E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;QAC9E,CAAC;QACD,yEAAyE;QACzE,uEAAuE;QACvE,oEAAoE;QACpE,IACE,KAAK,CAAC,SAAS,IAAI,IAAI;YACvB,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,WAAW,EAAE,CAAC,EACvF,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,uBAAuB,OAAO,IAAI,EAAE,CAAC;QAC1F,CAAC;QACD,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,aAAa;aAChB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;aAC3D,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CACrD,CAAC;QACF,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACjC,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,WAAW,EAAE;YAChE,GAAG,CAAC,EAAE,IAAI,IAAI;YACd,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CACpC,CAAC,MAAM,CAAC;QACT,OAAO;YACL,MAAM,EAAE,KAAK,KAAK,MAAM;YACxB,MAAM,EAAE,YAAY,OAAO,SAAS,KAAK,uBAAuB,KAAK,YAAY,MAAM,GAAG;SAC3F,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEL,gFAAgF;AAChF,8EAA8E;AAC9E,iEAAiE;AACjE,MAAM,CAAC,MAAM,sBAAsB,GAA4C,WAAW,CAAC;IACzF,EAAE,EAAE,iCAAiC;IACrC,WAAW,EACT,yFAAyF;QACzF,sFAAsF;QACtF,4FAA4F;QAC5F,2FAA2F;QAC3F,uCAAuC;IACzC,QAAQ,EAAE,4EAA4E;IACtF,MAAM,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE;IAC7C,SAAS,EAAE,OAAO;IAClB,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU;IAC1B,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK;IAC7B,4EAA4E;IAC5E,6CAA6C;IAC7C,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC/D,oBAAoB,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QACzC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QACpF,MAAM,KAAK,GAAG,CAAC,UAAsB,EAAE,EAAE;YACvC,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YACxE,OAAO,UAAU,CACf,UAAU,CAAC;gBACT,QAAQ;gBACR,MAAM,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC5B,aAAa,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAG,EAAE,KAAK,CAAC,CAAC;aAC/D,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,0EAA0E;YAC1E,oEAAoE;YACpE,4EAA4E;YAC5E,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;SAC7F,CAAC;IACJ,CAAC;IACD,QAAQ,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE;QAClC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,aAAa,IAAI,IAAI,EAAE,CAAC;YAC1D,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,eAAe,CAAC,EAAE,CAAC;YAC1E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;QAC9E,CAAC;QACD,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,aAAa;aAChB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;aAC3D,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CACrD,CAAC;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACjG,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACvF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,CAAC;QACzD,MAAM,OAAO,GACX,MAAM,IAAI,IAAI;YACZ,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI;YAC/B,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC;QACzF,MAAM,MAAM,GAAG,YAAY,IAAI,OAAO,CAAC;QACvC,OAAO;YACL,MAAM;YACN,MAAM,EAAE,MAAM;gBACZ,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,KAAK,wDAAwD;gBACjF,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,KAAK,kBAAkB,QAAQ,CAAC,IAAI,yBAAyB;oBAC/E,IAAI,UAAU,CAAC,MAAM,qBAAqB,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,MAAM,EAAE,EAAE;oBACtF,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B,GAAG;SAC1D,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/node_modules/@pome-sh/twin-gmail/dist/src/check-params.d.ts

@@ -0,0 +1,10 @@
+import type { CheckParamType } from "@pome-sh/sdk/checks";
+export declare const messageId: CheckParamType;
+export declare const labelRef: CheckParamType;
+export declare const labelName: CheckParamType;
+export declare const emailAddress: CheckParamType;
+export declare const mailboxRef: CheckParamType;
+export declare const exactCount: CheckParamType;
+export declare const countWord: CheckParamType;
+/** A `countWord` slot's value as a number, or null when it is neither. */
+export declare function parseCount(raw: string): number | null;

package/node_modules/@pome-sh/twin-gmail/dist/src/check-params.js

@@ -0,0 +1,96 @@
+// SPDX-License-Identifier: Apache-2.0
+//
+// The typed slots Gmail's declared checks fill (F-1128).
+//
+// They live in the twin, not the sdk, for the same reason the declarations do:
+// the twin owns what a Gmail message id or label name may look like. Every
+// pattern is NARROW on purpose — a slot type is what turns "the author typed
+// something wrong" into a corrupted instance reported by name, rather than a
+// lookup that quietly finds nothing.
+//
+// All patterns are capture-group-free; `defineCheck` throws otherwise, because
+// every consumer reads capture group i+1 as slot i and one smuggled group hands
+// each predicate its neighbour's argument.
+// Ids the twin mints (`nextId` → `msg_1`, `Label_3`, `draft_2`) and the ids a
+// seed may pin (`msg_support`, `msg_parity`). No spaces and no dots, which is
+// what separates this slot from `labelName` below.
+export const messageId = {
+    name: "message",
+    pattern: "[A-Za-z0-9_-]{1,128}",
+    example: "msg_support",
+    render: (value) => value,
+    parse: (raw) => raw,
+};
+// A label REFERENCE: either the minted id (`Label_follow_up`) or a system label,
+// whose id and display name are the same string (`INBOX`, `SENT`, `STARRED`).
+// Deliberately excludes spaces — a label whose NAME has spaces is addressed by
+// `labelName`, and keeping the two slots distinct is what stops
+// `gmail.message-has-label` and `gmail.label-exists` claiming one sentence.
+export const labelRef = {
+    name: "label",
+    pattern: "[A-Za-z0-9_-]{1,128}",
+    example: "STARRED",
+    render: (value) => value,
+    parse: (raw) => raw,
+};
+// A label's DISPLAY NAME, which Gmail permits spaces in (`Parity Complete`,
+// `Follow Up`). Anchored to start on a word character so the template's
+// surrounding literals cannot be eaten by a leading space.
+export const labelName = {
+    name: "label",
+    pattern: "[A-Za-z0-9][A-Za-z0-9 _-]{0,127}",
+    example: "Parity Complete",
+    render: (value) => value,
+    parse: (raw) => raw,
+};
+// An addressee. Quote and backtick are excluded as well as whitespace so the
+// slot cannot swallow a template's own delimiters.
+export const emailAddress = {
+    name: "email",
+    pattern: "[^\\s@\"'`]+@[^\\s@\"'`]+",
+    example: "alice@example.com",
+    render: (value) => value,
+    parse: (raw) => raw,
+};
+// The same shape, named for the slot it fills — a mailbox is addressed by its
+// email in every collection the export emits.
+export const mailboxRef = {
+    name: "mailbox",
+    pattern: "[^\\s@\"'`]+@[^\\s@\"'`]+",
+    example: "pome-agent@pome-twin.test",
+    render: (value) => value,
+    parse: (raw) => raw,
+};
+// A bare digit count. Nine digits wide so `VACUITY_SENTINEL_NUMBER` re-binds:
+// a mutant that stops matching evaluates to `unmatched`, which reads as "the
+// verdict moved -> healthy" and blesses the very criterion the probe exists to
+// catch.
+export const exactCount = {
+    name: "count",
+    pattern: "\\d{1,9}",
+    example: "5",
+    render: (value) => value,
+    parse: (raw) => raw,
+};
+// Digits OR the English number words, because the corpus says both — `exactly 5
+// messages` and `each of the five recipients`. Non-capturing, so the alternation
+// costs no capture group.
+export const countWord = {
+    name: "count",
+    pattern: "(?:\\d{1,9}|zero|one|two|three|four|five|six|seven|eight|nine|ten|eleven|twelve)",
+    example: "two",
+    render: (value) => value,
+    parse: (raw) => raw,
+};
+const NUMBER_WORDS = {
+    zero: 0, one: 1, two: 2, three: 3, four: 4, five: 5,
+    six: 6, seven: 7, eight: 8, nine: 9, ten: 10, eleven: 11, twelve: 12,
+};
+/** A `countWord` slot's value as a number, or null when it is neither. */
+export function parseCount(raw) {
+    const trimmed = raw.trim().toLowerCase();
+    if (/^\d+$/.test(trimmed))
+        return Number(trimmed);
+    return NUMBER_WORDS[trimmed] ?? null;
+}
+//# sourceMappingURL=check-params.js.map

package/node_modules/@pome-sh/twin-gmail/dist/src/check-params.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-params.js","sourceRoot":"","sources":["../../src/check-params.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,EAAE;AACF,yDAAyD;AACzD,EAAE;AACF,+EAA+E;AAC/E,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,qCAAqC;AACrC,EAAE;AACF,+EAA+E;AAC/E,gFAAgF;AAChF,2CAA2C;AAI3C,8EAA8E;AAC9E,8EAA8E;AAC9E,mDAAmD;AACnD,MAAM,CAAC,MAAM,SAAS,GAAmB;IACvC,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,sBAAsB;IAC/B,OAAO,EAAE,aAAa;IACtB,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IACxB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;CACpB,CAAC;AAEF,iFAAiF;AACjF,8EAA8E;AAC9E,+EAA+E;AAC/E,gEAAgE;AAChE,4EAA4E;AAC5E,MAAM,CAAC,MAAM,QAAQ,GAAmB;IACtC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,sBAAsB;IAC/B,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IACxB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;CACpB,CAAC;AAEF,4EAA4E;AAC5E,wEAAwE;AACxE,2DAA2D;AAC3D,MAAM,CAAC,MAAM,SAAS,GAAmB;IACvC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,kCAAkC;IAC3C,OAAO,EAAE,iBAAiB;IAC1B,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IACxB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;CACpB,CAAC;AAEF,6EAA6E;AAC7E,mDAAmD;AACnD,MAAM,CAAC,MAAM,YAAY,GAAmB;IAC1C,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,2BAA2B;IACpC,OAAO,EAAE,mBAAmB;IAC5B,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IACxB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;CACpB,CAAC;AAEF,8EAA8E;AAC9E,8CAA8C;AAC9C,MAAM,CAAC,MAAM,UAAU,GAAmB;IACxC,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,2BAA2B;IACpC,OAAO,EAAE,2BAA2B;IACpC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IACxB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;CACpB,CAAC;AAEF,8EAA8E;AAC9E,6EAA6E;AAC7E,+EAA+E;AAC/E,SAAS;AACT,MAAM,CAAC,MAAM,UAAU,GAAmB;IACxC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,UAAU;IACnB,OAAO,EAAE,GAAG;IACZ,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IACxB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;CACpB,CAAC;AAEF,gFAAgF;AAChF,iFAAiF;AACjF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,SAAS,GAAmB;IACvC,IAAI,EAAE,OAAO;IACb,OAAO,EACL,kFAAkF;IACpF,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IACxB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG;CACpB,CAAC;AAEF,MAAM,YAAY,GAA2B;IAC3C,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IACnD,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;CACrE,CAAC;AAEF,0EAA0E;AAC1E,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;AACvC,CAAC"}

package/node_modules/@pome-sh/twin-gmail/dist/src/check-state.d.ts

@@ -0,0 +1,113 @@
+/** A resolver must be able to say WHY it found nothing: the ways of finding
+ *  nothing get different verdicts. Same shape and same reason as twin-github's. */
+export type Resolved<T> = {
+    found: T;
+} | {
+    missing: string;
+};
+export interface GmailCheckStateMailbox {
+    email?: string;
+    displayName?: string;
+}
+export interface GmailCheckStateMessage {
+    mailboxEmail?: string;
+    id?: string;
+    threadId?: string;
+    from?: string;
+    to?: string[] | null;
+    cc?: string[] | null;
+    bcc?: string[] | null;
+    subject?: string;
+    bodyOmitted?: boolean;
+}
+export interface GmailCheckStateLabel {
+    mailboxEmail?: string;
+    id?: string;
+    name?: string;
+    type?: string;
+}
+export interface GmailCheckStateMessageLabel {
+    mailboxEmail?: string;
+    messageId?: string;
+    labelId?: string;
+}
+export interface GmailCheckStateDraft {
+    mailboxEmail?: string;
+    id?: string;
+    messageId?: string;
+}
+export interface GmailCheckStateBounds {
+    messageBodiesOmitted?: boolean;
+    largeMailbox?: boolean;
+    truncatedCollections?: string[] | null;
+}
+export interface GmailCheckState {
+    mailboxes?: GmailCheckStateMailbox[] | null;
+    messages?: GmailCheckStateMessage[] | null;
+    drafts?: GmailCheckStateDraft[] | null;
+    labels?: GmailCheckStateLabel[] | null;
+    messageLabels?: GmailCheckStateMessageLabel[] | null;
+    exportBounds?: GmailCheckStateBounds | null;
+}
+/**
+ * Was this collection capped on the way out?
+ *
+ * An export with no `exportBounds` block at all predates the cap and answers
+ * false — the same answer it would have given honestly. Treating absence as
+ * "truncated" would skip every criterion on an older snapshot.
+ */
+export declare function isTruncated(state: GmailCheckState, collection: string): boolean;
+/**
+ * The message a criterion names, with the outcomes a negative criterion must
+ * tell apart:
+ *   - no `messages` key → `state_incomplete`; we cannot attest anything
+ *   - present, id absent, collection CAPPED → `collection_truncated`; absent from
+ *     a truncated list is not absent, and answering `not_found` here would
+ *     false-fail a correct agent on a large mailbox
+ *   - present, id absent, not capped → `message_not_found`
+ *   - present in more than one mailbox → `message_ambiguous`
+ *
+ * The ambiguity arm is gmail's answer to github's `{repo}` slot. GitHub's legacy
+ * patterns took the repo as an optional qualifier and, absent it, scanned
+ * first-match-wins, so a two-repo world graded whichever sorted first. Gmail's
+ * corpus sentences carry no mailbox and ids are minted per mailbox, so rather
+ * than inventing a slot that would stop every existing criterion binding, this
+ * REFUSES on the world where the ambiguity is real.
+ */
+export declare function resolveMessage(state: GmailCheckState, id: string): Resolved<GmailCheckStateMessage>;
+/**
+ * Every label id that counts as `wanted`, lower-cased for comparison.
+ *
+ * Matches a label row by id OR by display name, because the corpus names both
+ * kinds: `Label_follow_up` is an id, `Follow Up` is the name of the same label.
+ * The bare `wanted` is always included so the join still works when the `labels`
+ * collection was capped away — a `messageLabels` row carries the bare id
+ * regardless.
+ */
+export declare function labelIdsFor(state: GmailCheckState, wanted: string): Set<string>;
+/**
+ * Does this message carry the named label?
+ *
+ * Reads the `messageLabels` join. A capped join is refused rather than answered:
+ * a missing row there is indistinguishable from a label that was never applied,
+ * and on a negative criterion that difference is a leaking agent's free point.
+ */
+export declare function messageCarriesLabel(state: GmailCheckState, messageId: string, wanted: string): Resolved<boolean>;
+/**
+ * The label a criterion names BY NAME.
+ *
+ * Deliberately does not fall back to the id. "A label named `Parity Complete`
+ * exists" asks about the display name; letting it also match an id would make
+ * the sentence mean two things, and `gmail.message-has-label` is the check that
+ * speaks ids.
+ */
+export declare function resolveLabelByName(state: GmailCheckState, name: string): Resolved<GmailCheckStateLabel>;
+/**
+ * Who a draft is addressed to — `to` + `cc`, from the backing MESSAGE.
+ *
+ * The exported draft row carries no addressing at all, so a predicate reading it
+ * alone would answer "no draft is addressed to anyone", always. A draft whose
+ * message did not survive the export contributes nothing rather than throwing;
+ * the caller decides whether that emptiness is answerable.
+ */
+export declare function draftRecipients(state: GmailCheckState, draft: GmailCheckStateDraft): string[];

package/node_modules/@pome-sh/twin-gmail/dist/src/check-state.js

@@ -0,0 +1,145 @@
+// SPDX-License-Identifier: Apache-2.0
+//
+// How a declared check READS the exported Gmail mailbox (F-1128).
+//
+// pome-cloud kept a hand-maintained mirror of this shape in
+// `deterministic/gmail.ts`. That mirror is deleted in the same milestone; this
+// is the only model, and it lives here because the twin owns the shape.
+//
+// Written against the EXPORT (`state.ts exportGmailState()`), never the seed.
+// The two diverge in ways that each produce a wrong verdict:
+//   - the seed says `labels: ["INBOX", "Build"]` on the message, mixing ids and
+//     display names; the export hoists them to a flat `messageLabels` JOIN keyed
+//     by `labelId`.
+//   - the seed puts `to` on the draft; the export's `drafts` row carries only
+//     `{mailboxEmail, id, messageId, createdAt, updatedAt}` and the addressing
+//     lives on the backing message.
+//
+// Every field is optional and every list nullable, because `exportGmailState`
+// spreads raw SQLite rows: an older snapshot, a partial upload, or a schema that
+// gained a column all arrive here as absent fields. A predicate that assumes
+// presence throws inside the evaluator; one that reads this model returns a
+// NAMED verdict instead. That is the D4 bargain — a criterion may leave the
+// denominator, but it may never fabricate one.
+//
+// Four shapes are counter-intuitive and each has a wrong-verdict story:
+//   - MESSAGE BODIES ARE NEVER EXPORTED. `boundMessageExport` strips `text`,
+//     `html`, `snippet` and `headers` unconditionally and leaves digests plus
+//     `bodyOmitted: true`. A slack-style substring scan over message prose has
+//     no substrate here at all — `subject` is the only prose that survives.
+//   - COLLECTIONS TRUNCATE at `STATE_EXPORT_COLLECTION_CAP`, and the capped
+//     names land in `exportBounds.truncatedCollections`. Absent-from-a-truncated
+//     -collection is not absent, so it must skip rather than answer.
+//   - LABELS ARE A JOIN. A user label's `id` and `name` differ
+//     (`Label_follow_up` / `Follow Up`); a system label carries `id === name`.
+//   - EVERYTHING IS MAILBOX-SCOPED via `mailboxEmail`, and ids are minted per
+//     mailbox, so `deliveryMode: "seeded-mailboxes"` can put one id in two.
+const lower = (value) => (value ?? "").toLowerCase();
+/**
+ * Was this collection capped on the way out?
+ *
+ * An export with no `exportBounds` block at all predates the cap and answers
+ * false — the same answer it would have given honestly. Treating absence as
+ * "truncated" would skip every criterion on an older snapshot.
+ */
+export function isTruncated(state, collection) {
+    return (state.exportBounds?.truncatedCollections ?? []).includes(collection);
+}
+/**
+ * The message a criterion names, with the outcomes a negative criterion must
+ * tell apart:
+ *   - no `messages` key → `state_incomplete`; we cannot attest anything
+ *   - present, id absent, collection CAPPED → `collection_truncated`; absent from
+ *     a truncated list is not absent, and answering `not_found` here would
+ *     false-fail a correct agent on a large mailbox
+ *   - present, id absent, not capped → `message_not_found`
+ *   - present in more than one mailbox → `message_ambiguous`
+ *
+ * The ambiguity arm is gmail's answer to github's `{repo}` slot. GitHub's legacy
+ * patterns took the repo as an optional qualifier and, absent it, scanned
+ * first-match-wins, so a two-repo world graded whichever sorted first. Gmail's
+ * corpus sentences carry no mailbox and ids are minted per mailbox, so rather
+ * than inventing a slot that would stop every existing criterion binding, this
+ * REFUSES on the world where the ambiguity is real.
+ */
+export function resolveMessage(state, id) {
+    if (state.messages == null)
+        return { missing: "state_incomplete" };
+    const hits = state.messages.filter((message) => lower(message.id) === lower(id));
+    if (hits.length > 1) {
+        return { missing: `message_ambiguous ("${id}" exists in ${hits.length} mailboxes)` };
+    }
+    if (hits.length === 1)
+        return { found: hits[0] };
+    if (isTruncated(state, "messages"))
+        return { missing: 'collection_truncated ("messages")' };
+    return { missing: `message_not_found ("${id}")` };
+}
+/**
+ * Every label id that counts as `wanted`, lower-cased for comparison.
+ *
+ * Matches a label row by id OR by display name, because the corpus names both
+ * kinds: `Label_follow_up` is an id, `Follow Up` is the name of the same label.
+ * The bare `wanted` is always included so the join still works when the `labels`
+ * collection was capped away — a `messageLabels` row carries the bare id
+ * regardless.
+ */
+export function labelIdsFor(state, wanted) {
+    const ids = new Set([lower(wanted)]);
+    for (const label of state.labels ?? []) {
+        const matches = lower(label.name) === lower(wanted) || lower(label.id) === lower(wanted);
+        if (matches && label.id != null)
+            ids.add(lower(label.id));
+    }
+    return ids;
+}
+/**
+ * Does this message carry the named label?
+ *
+ * Reads the `messageLabels` join. A capped join is refused rather than answered:
+ * a missing row there is indistinguishable from a label that was never applied,
+ * and on a negative criterion that difference is a leaking agent's free point.
+ */
+export function messageCarriesLabel(state, messageId, wanted) {
+    if (state.messageLabels == null)
+        return { missing: "state_incomplete" };
+    const ids = labelIdsFor(state, wanted);
+    const carried = state.messageLabels.some((row) => lower(row.messageId) === lower(messageId) && ids.has(lower(row.labelId)));
+    if (!carried && isTruncated(state, "messageLabels")) {
+        return { missing: 'collection_truncated ("messageLabels")' };
+    }
+    return { found: carried };
+}
+/**
+ * The label a criterion names BY NAME.
+ *
+ * Deliberately does not fall back to the id. "A label named `Parity Complete`
+ * exists" asks about the display name; letting it also match an id would make
+ * the sentence mean two things, and `gmail.message-has-label` is the check that
+ * speaks ids.
+ */
+export function resolveLabelByName(state, name) {
+    if (state.labels == null)
+        return { missing: "state_incomplete" };
+    const hit = state.labels.find((label) => lower(label.name) === lower(name));
+    if (hit)
+        return { found: hit };
+    if (isTruncated(state, "labels"))
+        return { missing: 'collection_truncated ("labels")' };
+    return { missing: `label_not_found ("${name}")` };
+}
+/**
+ * Who a draft is addressed to — `to` + `cc`, from the backing MESSAGE.
+ *
+ * The exported draft row carries no addressing at all, so a predicate reading it
+ * alone would answer "no draft is addressed to anyone", always. A draft whose
+ * message did not survive the export contributes nothing rather than throwing;
+ * the caller decides whether that emptiness is answerable.
+ */
+export function draftRecipients(state, draft) {
+    const message = (state.messages ?? []).find((candidate) => lower(candidate.id) === lower(draft.messageId));
+    if (!message)
+        return [];
+    return [...(message.to ?? []), ...(message.cc ?? [])];
+}
+//# sourceMappingURL=check-state.js.map

package/node_modules/@pome-sh/twin-gmail/dist/src/check-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-state.js","sourceRoot":"","sources":["../../src/check-state.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,EAAE;AACF,kEAAkE;AAClE,EAAE;AACF,4DAA4D;AAC5D,+EAA+E;AAC/E,wEAAwE;AACxE,EAAE;AACF,8EAA8E;AAC9E,6DAA6D;AAC7D,gFAAgF;AAChF,iFAAiF;AACjF,oBAAoB;AACpB,8EAA8E;AAC9E,+EAA+E;AAC/E,oCAAoC;AACpC,EAAE;AACF,8EAA8E;AAC9E,iFAAiF;AACjF,6EAA6E;AAC7E,4EAA4E;AAC5E,4EAA4E;AAC5E,+CAA+C;AAC/C,EAAE;AACF,wEAAwE;AACxE,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,4EAA4E;AAC5E,4EAA4E;AAC5E,iFAAiF;AACjF,qEAAqE;AACrE,+DAA+D;AAC/D,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAkE5E,MAAM,KAAK,GAAG,CAAC,KAAgC,EAAU,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,KAAsB,EAAE,UAAkB;IACpE,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,oBAAoB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAsB,EACtB,EAAU;IAEV,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;IACnE,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,EAAE,OAAO,EAAE,uBAAuB,EAAE,eAAe,IAAI,CAAC,MAAM,aAAa,EAAE,CAAC;IACvF,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC;IAClD,IAAI,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC;IAC5F,OAAO,EAAE,OAAO,EAAE,uBAAuB,EAAE,IAAI,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAsB,EAAE,MAAc;IAChE,MAAM,GAAG,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC;QACzF,IAAI,OAAO,IAAI,KAAK,CAAC,EAAE,IAAI,IAAI;YAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAsB,EACtB,SAAiB,EACjB,MAAc;IAEd,IAAI,KAAK,CAAC,aAAa,IAAI,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;IACxE,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CACtC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAClF,CAAC;IACF,IAAI,CAAC,OAAO,IAAI,WAAW,CAAC,KAAK,EAAE,eAAe,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAsB,EACtB,IAAY;IAEZ,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,IAAI,GAAG;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC/B,IAAI,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC;IACxF,OAAO,EAAE,OAAO,EAAE,qBAAqB,IAAI,IAAI,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAsB,EACtB,KAA2B;IAE3B,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CACzC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAC9D,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/node_modules/@pome-sh/twin-gmail/dist/src/check-tape.d.ts

@@ -0,0 +1,2 @@
+import type { Check } from "./check-kind.js";
+export declare const noUnsupportedEndpoint: Check<Record<string, never>>;