@wirecat/cli-core 0.578.0 → 0.580.0

package/dist/meetings/mcp/index.d.ts

@@ -38,6 +38,7 @@ export declare const meetingTools: ({
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -53,11 +54,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -75,11 +76,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -101,7 +102,6 @@ export declare const meetingTools: ({
                 minimum: number;
             };
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
@@ -188,6 +188,7 @@ export declare const meetingTools: ({
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -203,11 +204,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -225,11 +226,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -251,7 +252,6 @@ export declare const meetingTools: ({
                 minimum: number;
             };
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
@@ -338,6 +338,7 @@ export declare const meetingTools: ({
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -353,11 +354,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -375,11 +376,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -401,7 +402,6 @@ export declare const meetingTools: ({
                 minimum: number;
             };
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
@@ -488,6 +488,7 @@ export declare const meetingTools: ({
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -503,11 +504,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -525,11 +526,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -551,7 +552,6 @@ export declare const meetingTools: ({
                 minimum: number;
             };
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
@@ -638,6 +638,7 @@ export declare const meetingTools: ({
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -653,11 +654,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -675,11 +676,11 @@ export declare const meetingTools: ({
             format?: undefined;
             transcript_id?: undefined;
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;
         } | {
+            limit?: undefined;
             event_id?: undefined;
             series_id?: undefined;
             page?: undefined;
@@ -701,7 +702,6 @@ export declare const meetingTools: ({
                 minimum: number;
             };
             query?: undefined;
-            limit?: undefined;
             scan_limit?: undefined;
             max_read_bytes?: undefined;
             cursor?: undefined;

package/dist/services/index.d.ts

@@ -188,7 +188,7 @@ export { type PackageUpgradeOutcome, type PackageUpgradePorts, type PackageUpgra
 export { type PersonMeetingContext, type PersonMeetingContextItem, type PersonMeetingContextOptions, type PersonMeetingReadStore, personMeetingContext, } from "./person-meeting-context.js";
 export { privatePeopleService } from "./private-people.js";
 export { approveAsTask, type ProposalTaskStore, proposalSource } from "./proposal-tasks.js";
-export { type Decided, type Decision, emptyProposalRegistry, FACT_SUMMARIES, type ProposalFilter, type ProposalKind, type ProposalRegistry, type ProposalRow, parseProposalIds, proposalRegistry, } from "./proposals/index.js";
+export { type Decided, type Decision, emptyProposalRegistry, FACT_SUMMARIES, ORGANIZATION_ADD_KIND, type OrganizationProposal, type ProposalFilter, type ProposalKind, type ProposalRegistry, type ProposalRow, parseProposalIds, proposalRegistry, proposeOrganization, } from "./proposals/index.js";
 export type { RetentionQuery, RetentionService } from "./retention.js";
 export { retentionService } from "./retention.js";
 export { RESOURCES_SEARCHED, type SearchAllFound, type SearchAllItem, type SearchAllMessenger, type SearchAllRequest, type SearchedResource, searchAll, } from "./search-all.js";

package/dist/services/index.js

@@ -146,7 +146,7 @@ export { upgradePackage, } from "./package-upgrade.js";
 export { personMeetingContext, } from "./person-meeting-context.js";
 export { privatePeopleService } from "./private-people.js";
 export { approveAsTask, proposalSource } from "./proposal-tasks.js";
-export { emptyProposalRegistry, FACT_SUMMARIES, parseProposalIds, proposalRegistry, } from "./proposals/index.js";
+export { emptyProposalRegistry, FACT_SUMMARIES, ORGANIZATION_ADD_KIND, parseProposalIds, proposalRegistry, proposeOrganization, } from "./proposals/index.js";
 export { retentionService } from "./retention.js";
 export { RESOURCES_SEARCHED, searchAll, } from "./search-all.js";
 export { RESOURCES_SEARCHED_WITH_MEETINGS, searchAllIncludingMeetings, searchAllWithMeetings, } from "./search-all-meetings.js";

package/dist/services/proposals/index.d.ts

@@ -1,4 +1,5 @@
 export { parseProposalIds } from "./ids.js";
 export { FACT_SUMMARIES } from "./kinds/findings.js";
+export { ORGANIZATION_ADD_KIND, type OrganizationProposal, proposeOrganization } from "./kinds/organization.js";
 export { emptyProposalRegistry, proposalRegistry } from "./registry.js";
 export type { Decided, Decision, ProposalFilter, ProposalKind, ProposalRegistry, ProposalRow } from "./types.js";

package/dist/services/proposals/index.js

@@ -1,3 +1,4 @@
 export { parseProposalIds } from "./ids.js";
 export { FACT_SUMMARIES } from "./kinds/findings.js";
+export { ORGANIZATION_ADD_KIND, proposeOrganization } from "./kinds/organization.js";
 export { emptyProposalRegistry, proposalRegistry } from "./registry.js";

package/dist/services/proposals/kinds/mail-findings.js

@@ -17,7 +17,7 @@ const summaryOf = (finding) => {
         case "new_contact":
             return `${finding.name} <${finding.address}>`;
         case "invoice":
-            return words("invoice", finding.number, finding.total, finding.currency, `· ${finding.reason}`);
+            return words("invoice", finding.number, finding.total, finding.currency, finding.counterpartyName, `· ${finding.reason}`);
         case "payment":
             return words("payment", finding.amount, finding.currency, finding.date, `· ${finding.reason}`);
         case "order":

package/dist/services/proposals/kinds/organization.d.ts

@@ -0,0 +1,11 @@
+import type { Author, MessageStore, Organization, ProposedAction } from "../../../store/index.js";
+import type { ProposalKind } from "../types.js";
+export declare const ORGANIZATION_ADD_KIND = "organization_add";
+export interface OrganizationProposal {
+    name: string;
+    kind: Organization["kind"];
+    scope?: Organization["scope"];
+}
+/** An agent's new organization waits as a stored proposal; the organization exists only once it is confirmed. */
+export declare const proposeOrganization: (store: Pick<MessageStore, "proposedActions">, input: OrganizationProposal, by: Author, reason?: string) => Promise<ProposedAction>;
+export declare const organizationKind: (store: Pick<MessageStore, "proposedActions" | "knowledge">) => ProposalKind;

package/dist/services/proposals/kinds/organization.js

@@ -0,0 +1,53 @@
+import { proposerOfAction } from "../../../store/index.js";
+import { actionStatus, kept, pushed, storedStatus } from "./shared.js";
+export const ORGANIZATION_ADD_KIND = "organization_add";
+const rowOf = (action) => {
+    const { name, kind } = action.payload;
+    return {
+        id: action.id,
+        kind: "organization",
+        status: actionStatus(action.status),
+        project: null,
+        subject: `organization:new`,
+        object: null,
+        summary: `add ${kind} ${name}`,
+        proposedBy: proposerOfAction(action),
+        reason: action.reason,
+        evidence: [],
+        score: null,
+        signals: null,
+        parts: null,
+        createdAt: action.createdAt,
+    };
+};
+/** An agent's new organization waits as a stored proposal; the organization exists only once it is confirmed. */
+export const proposeOrganization = (store, input, by, reason) => store.proposedActions.propose({
+    kind: ORGANIZATION_ADD_KIND,
+    by,
+    payload: input,
+    ...(reason === undefined ? {} : { reason }),
+});
+export const organizationKind = (store) => ({
+    kind: "organization",
+    stored: [ORGANIZATION_ADD_KIND],
+    list: async (filter) => {
+        const status = storedStatus(filter);
+        const actions = await store.proposedActions.list({
+            kinds: [ORGANIZATION_ADD_KIND],
+            ...(status === undefined ? {} : { status }),
+            ...pushed(filter),
+        });
+        return kept(actions.map(rowOf), filter);
+    },
+    get: async (id) => rowOf(await store.proposedActions.get(id)),
+    decide: async (id, { confirm, by, reason }) => {
+        if (!confirm) {
+            await store.proposedActions.reject(id, by, reason);
+            return { id, kind: "organization", status: "rejected", made: [] };
+        }
+        const { name, kind, scope } = (await store.proposedActions.get(id)).payload;
+        const made = await store.knowledge.addOrganization({ name, kind, ...(scope === undefined ? {} : { scope }) });
+        await store.proposedActions.approve(id, by, { organization: made.ref });
+        return { id, kind: "organization", status: "confirmed", made: [made.ref] };
+    },
+});

package/dist/services/proposals/registry.js

@@ -9,6 +9,7 @@ import { mailFindingsKind } from "./kinds/mail-findings.js";
 import { meetingFindingsKind } from "./kinds/meeting-findings.js";
 import { memoryKind } from "./kinds/memory.js";
 import { orderKind } from "./kinds/orders.js";
+import { organizationKind } from "./kinds/organization.js";
 import { relationshipKind } from "./kinds/relationship.js";
 import { relationshipUpdateKind } from "./kinds/relationship-update.js";
 import { taskCloseKind } from "./kinds/task-close.js";
@@ -134,6 +135,7 @@ export const proposalRegistry = (store) => {
         invoiceKind(store),
         paymentKind(store),
         orderKind(store),
+        organizationKind(store),
         memoryKind(store),
         findingsKind(store),
         mailFindingsKind(store),

package/dist/store/index.d.ts

@@ -16,7 +16,7 @@ export type { CacheDatabase, CacheStatement, OpenDatabase, SqlValue } from "./dr
 export { PRAGMAS } from "./driver.js";
 export { EVIDENCE_FINDINGS_KIND, type EvidenceFindingsBatch, type EvidenceFindingsDecider, type EvidenceFindingsReceipt, type EvidenceFindingsStore, validateEvidenceFindings, } from "./evidence-findings.js";
 export { ORGANIZATIONS_QUERY, organization, PROJECTS_QUERY, project, REMINDERS_QUERY, reminder, } from "./knowledge-query.js";
-export { MAIL_FINDINGS_KIND, type MailFindingsBatch, type MailFindingsStore } from "./mail-findings.js";
+export { MAIL_FINDINGS_KIND, type MailFindingsBatch, type MailFindingsCheck, type MailFindingsStore, } from "./mail-findings.js";
 export type { MeetingFindingsBatch, MeetingFindingsStore } from "./meeting-findings.js";
 export { MIGRATIONS, type Migration, migrate } from "./migrations.js";
 export { openCache } from "./open.js";

package/dist/store/index.js

@@ -8,7 +8,7 @@ export { applyDocumentTransfer, previewDocumentTransfer } from "./document-trans
 export { PRAGMAS } from "./driver.js";
 export { EVIDENCE_FINDINGS_KIND, validateEvidenceFindings, } from "./evidence-findings.js";
 export { ORGANIZATIONS_QUERY, organization, PROJECTS_QUERY, project, REMINDERS_QUERY, reminder, } from "./knowledge-query.js";
-export { MAIL_FINDINGS_KIND } from "./mail-findings.js";
+export { MAIL_FINDINGS_KIND, } from "./mail-findings.js";
 export { MIGRATIONS, migrate } from "./migrations.js";
 export { openCache } from "./open.js";
 export { storePath } from "./path.js";

package/dist/store/mail-findings.d.ts

@@ -1,4 +1,4 @@
-import type { MailFindingsInput } from "../mail/findings.js";
+import type { MailFindingProblem, MailFindingsInput } from "../mail/findings.js";
 import type { FindingOutcome, FindingsReceipt } from "../meetings/index.js";
 import type { Decider } from "./decisions.js";
 import type { AccountKey } from "./types.js";
@@ -23,6 +23,14 @@ export interface MailFindingsBatch {
     previous: FindingOutcome[];
     receipt: FindingsReceipt | null;
 }
+/** What `stage` would do with a batch, found without writing anything. */
+export interface MailFindingsCheck {
+    valid: boolean;
+    findings: number;
+    /** The batch `stage` would give back: an earlier one under this key with this same input, else null. */
+    batch: string | null;
+    problems: MailFindingProblem[];
+}
 /**
  * What an agent read in new mail — tasks, task updates, facts, memories, links, new contacts — cited and staged for
  * the owner, one batch per mailbox and run. Only the owner decides one: an agent's mail proposal never becomes the
@@ -33,6 +41,14 @@ export interface MailFindingsStore {
         bot: string;
         model?: string;
     }): Promise<MailFindingsBatch>;
+    /**
+     * Every check `stage` makes, the trial write of each invoice, payment and order included, rolled back: each
+     * finding's problem is listed, not only the first. Input is the decoded JSON, before `validateMailFindings`.
+     */
+    check(account: AccountKey, input: MailFindingsInput, agent: {
+        bot: string;
+        model?: string;
+    }): Promise<MailFindingsCheck>;
     get(id: string): Promise<MailFindingsBatch>;
     list(options?: {
         account?: AccountKey;

package/dist/store/sqlite/mail-findings.js

@@ -1,10 +1,12 @@
 import { CliError } from "@wirecat/cli-base";
 import { contextEvidenceFingerprint } from "../../context/evidence.js";
 import { parseLocator } from "../../domain/locator.js";
-import { MAIL_FINDINGS_PER_SENDER, mailFindingFingerprint, validateMailFindings, } from "../../mail/findings.js";
+import { checkMailFindings, MAIL_FINDINGS_PER_SENDER, mailFindingFingerprint, mailFindingProblem, validateMailFindings, } from "../../mail/findings.js";
+import { FREE_MAIL } from "../../mail/score.js";
 import { findingHash } from "../../meetings/index.js";
 import { assertMayDecide } from "../decisions.js";
 import { MAIL_FINDINGS_KIND } from "../mail-findings.js";
+import { fold } from "../normalize.js";
 import { financeOperationsOver } from "./finance.js";
 import { findingsAgent, findingsCoreOver } from "./findings-core.js";
 import { authorActor, linkEvidence, memoriesStoreOver } from "./memories.js";
@@ -139,6 +141,52 @@ export const mailFindingsStoreOver = (context) => {
         }
         return read;
     };
+    const organizationsOf = (sql, ...params) => [
+        ...new Set(database
+            .prepare(sql)
+            .all(...params)
+            .map((row) => Number(row.id))),
+    ];
+    const BY_ADDRESS = "SELECT o.id FROM organizations o JOIN organization_identities oi ON oi.organization_id = o.id " +
+        "JOIN identities i ON i.id = oi.identity_id WHERE o.deleted_at IS NULL AND i.provider = 'email' AND ";
+    /**
+     * The organization a finding names but does not reference: the one its address belongs to, else the one its
+     * company domain belongs to, else the one of exactly this name; else a new company. Its address joins it, so the
+     * next mail from it finds it. Only the owner's accept runs this for real; staging runs it and rolls it back.
+     */
+    const organizationNamed = (name, email) => {
+        const domain = email?.split("@")[1];
+        let found = email === undefined ? [] : organizationsOf(`${BY_ADDRESS}lower(i.external_id) = ?`, email);
+        if (!found.length && domain && !FREE_MAIL.has(domain))
+            found = organizationsOf(`${BY_ADDRESS}substr(lower(i.external_id), -length(?)) = ?`, `@${domain}`, `@${domain}`);
+        if (!found.length)
+            found = database
+                .prepare("SELECT id, name FROM organizations WHERE deleted_at IS NULL")
+                .all()
+                .filter((row) => fold(String(row.name)).trim() === fold(name).trim())
+                .map((row) => Number(row.id));
+        if (found.length > 1)
+            return invalid(`${found.length} organizations match ${name} (${found.map((id) => `organization:${id}`).join(", ")}); ` +
+                "name the one meant as a reference", "finance.party");
+        const at = now();
+        const id = found[0] ??
+            Number(database
+                .prepare("INSERT INTO organizations (kind, name, scope, created_at, updated_at) VALUES ('company', ?, 'work', ?, ?) RETURNING id")
+                .get(name, at, at)?.id);
+        if (email !== undefined) {
+            database
+                .prepare("INSERT INTO identities (provider, external_id, created_at, updated_at) VALUES ('email', ?, ?, ?) " +
+                "ON CONFLICT (provider, external_id) DO NOTHING")
+                .run(email, at, at);
+            database
+                .prepare("INSERT INTO organization_identities (identity_id, organization_id, method, author, created_at, updated_at) " +
+                "SELECT id, ?, 'mail-finding', 'owner', ?, ? FROM identities WHERE provider = 'email' AND external_id = ? " +
+                "ON CONFLICT (identity_id, organization_id) DO NOTHING")
+                .run(id, at, at, email);
+        }
+        return `organization:${id}`;
+    };
+    const partyOf = (reference, name, email) => reference ?? (name === undefined ? undefined : organizationNamed(name, email));
     /** The invoice, payment or order an accepted finding records: the owner's own entry, citing the mail it came from. */
     const entry = (finding, evidence) => {
         const by = "owner";
@@ -148,7 +196,7 @@ export const mailFindingsStoreOver = (context) => {
                     by,
                     evidence,
                     direction: finding.direction,
-                    counterparty: finding.counterparty,
+                    counterparty: partyOf(finding.counterparty, finding.counterpartyName, finding.counterpartyEmail),
                     currency: finding.currency,
                     lines: finding.lines,
                     ...(finding.total === undefined ? {} : { total: finding.total }),
@@ -158,22 +206,29 @@ export const mailFindingsStoreOver = (context) => {
                     ...(finding.project === undefined ? {} : { project: finding.project }),
                 });
             case "payment":
-                return () => finance.addPayment({
-                    by,
-                    evidence,
-                    direction: finding.direction,
-                    amount: finding.amount,
-                    currency: finding.currency,
-                    date: finding.date,
-                    ...(finding.payer === undefined ? {} : { payer: finding.payer }),
-                    ...(finding.payee === undefined ? {} : { payee: finding.payee }),
-                    ...(finding.reference === undefined ? {} : { reference: finding.reference }),
-                    ...(finding.allocations === undefined ? {} : { allocations: finding.allocations }),
-                    ...(finding.project === undefined ? {} : { project: finding.project }),
-                });
+                return () => {
+                    const payer = partyOf(finding.payer, finding.payerName, finding.payerEmail);
+                    const payee = partyOf(finding.payee, finding.payeeName, finding.payeeEmail);
+                    return finance.addPayment({
+                        by,
+                        evidence,
+                        direction: finding.direction,
+                        amount: finding.amount,
+                        currency: finding.currency,
+                        date: finding.date,
+                        ...(payer === undefined ? {} : { payer }),
+                        ...(payee === undefined ? {} : { payee }),
+                        ...(finding.reference === undefined ? {} : { reference: finding.reference }),
+                        ...(finding.allocations === undefined ? {} : { allocations: finding.allocations }),
+                        ...(finding.project === undefined ? {} : { project: finding.project }),
+                    });
+                };
             case "order": {
-                const { id: _id, kind: _kind, evidence: _cited, reason: _reason, ...fields } = finding;
-                return () => orders.add({ ...fields, by, evidence });
+                const { id: _id, kind: _kind, evidence: _cited, reason: _reason, customer: given, customerName, customerEmail, ...fields } = finding;
+                return () => {
+                    const customer = partyOf(given, customerName, customerEmail);
+                    return orders.add({ ...fields, ...(customer === undefined ? {} : { customer }), by, evidence });
+                };
             }
             default:
                 return undefined;
@@ -197,6 +252,26 @@ export const mailFindingsStoreOver = (context) => {
         .prepare("SELECT i.id, l.person_id FROM identities i LEFT JOIN identity_links l ON l.identity_id = i.id " +
         "WHERE i.provider = 'email' AND lower(i.external_id) = ?")
         .get(address.toLowerCase());
+    /** Whether `address` sent or received one of the emails `finding` cites. */
+    const inCitedMail = (address, finding, read) => {
+        const ids = finding.evidence.map(({ reference }) => Number(read.get(reference)?.id));
+        const marks = ids.map(() => "?").join(",");
+        return Boolean(database
+            .prepare(`SELECT 1 FROM emails WHERE id IN (${marks}) AND lower(from_address) = ? UNION ALL ` +
+            `SELECT 1 FROM email_recipients WHERE email_id IN (${marks}) AND lower(address) = ? LIMIT 1`)
+            .get(...ids, address, ...ids, address));
+    };
+    /** A proposed findings batch that already holds this shop's order with this number. */
+    const proposedOrder = (supplierName, number) => {
+        const shop = fold(supplierName).trim();
+        return database
+            .prepare("SELECT p.id, json_extract(f.value, '$.supplierName') AS shop FROM proposed_actions p, " +
+            "json_each(p.payload, '$.findings') f WHERE p.kind = ? AND p.status = 'proposed' " +
+            "AND json_extract(f.value, '$.kind') = 'order' AND trim(json_extract(f.value, '$.number')) = ?")
+            .all(MAIL_FINDINGS_KIND, number.trim())
+            .filter((row) => fold(String(row.shop)).trim() === shop)
+            .map((row) => String(row.id))[0];
+    };
     /** Whatever a finding names must be stored: a task to update, a subject, a link's ends, a contact's address. */
     const targets = (finding, read) => {
         const thing = (reference, what) => {
@@ -224,19 +299,27 @@ export const mailFindingsStoreOver = (context) => {
             case "invoice":
             case "payment":
             case "order":
+                for (const address of [
+                    "counterpartyEmail" in finding ? finding.counterpartyEmail : undefined,
+                    "payerEmail" in finding ? finding.payerEmail : undefined,
+                    "payeeEmail" in finding ? finding.payeeEmail : undefined,
+                    "customerEmail" in finding ? finding.customerEmail : undefined,
+                ])
+                    if (address !== undefined && !inCitedMail(address, finding, read))
+                        return invalid(`${address} neither sent nor received the mail finding ${finding.id} cites`);
+                if (finding.kind === "order" && finding.number !== undefined) {
+                    const waiting = proposedOrder(finding.supplierName, finding.number);
+                    if (waiting)
+                        return invalid(`order ${finding.number} from ${finding.supplierName} already waits for the owner in findings batch ` +
+                            `${waiting}; leave it out, or send an order_update once it is stored and its status changes`, "order.proposed");
+                }
                 wouldWrite(entry(finding, finding.evidence.map((one) => one.reference)));
                 return;
             case "order_update":
                 orderOfShop(context, finding.supplierName, finding.number);
                 return;
             case "new_contact": {
-                const ids = finding.evidence.map(({ reference }) => Number(read.get(reference)?.id));
-                const marks = ids.map(() => "?").join(",");
-                const named = database
-                    .prepare(`SELECT 1 FROM emails WHERE id IN (${marks}) AND lower(from_address) = ? UNION ALL ` +
-                    `SELECT 1 FROM email_recipients WHERE email_id IN (${marks}) AND lower(address) = ? LIMIT 1`)
-                    .get(...ids, finding.address, ...ids, finding.address);
-                if (!named)
+                if (!inCitedMail(finding.address, finding, read))
                     return invalid(`${finding.address} neither sent nor received the mail finding ${finding.id} cites`);
                 if (!identityOfAddress(finding.address))
                     throw new CliError("not_found", `no stored contact ${finding.address}`);
@@ -317,23 +400,31 @@ export const mailFindingsStoreOver = (context) => {
             }
         }
     };
+    /** The batch this agent already staged under the input's key: the same input's, or a refusal for another's. */
+    /** `whole` is false for a checked batch that lost findings to their problems: no staged input can equal it. */
+    const heldBatch = (account, input, by, whole = true) => {
+        const { actor } = authorActor(context, by);
+        const held = database
+            .prepare("SELECT id FROM proposed_actions WHERE account_id = ? AND kind = ? AND proposed_by_type = ? AND proposed_by_id = ? AND json_extract(payload, '$.key') = ? ORDER BY id LIMIT 1")
+            .get(account, MAIL_FINDINGS_KIND, actor.type, actor.id, input.key);
+        if (!held)
+            return undefined;
+        const proposal = load(String(held.id));
+        if (!whole || proposal.payload.inputHash !== findingHash({ input, model: by.model ?? null }))
+            return invalid(`the findings batch key ${input.key} was already used for different input (batch ${proposal.id}); ` +
+                "check a batch with --dry-run before staging it", "mail-findings.key-used");
+        return proposal;
+    };
     return {
         stage: async (key, raw, rawAgent) => {
             const input = validateMailFindings(raw);
             const by = findingsAgent(rawAgent);
             return write(database, () => {
                 const account = mailbox(key);
-                const { actor } = authorActor(context, by);
                 const inputHash = findingHash({ input, model: by.model ?? null });
-                const held = database
-                    .prepare("SELECT id FROM proposed_actions WHERE account_id = ? AND kind = ? AND proposed_by_type = ? AND proposed_by_id = ? AND json_extract(payload, '$.key') = ? ORDER BY id LIMIT 1")
-                    .get(account, MAIL_FINDINGS_KIND, actor.type, actor.id, input.key);
-                if (held) {
-                    const proposal = load(String(held.id));
-                    if (proposal.payload.inputHash !== inputHash)
-                        return invalid("the findings batch key was already used for different input");
-                    return view(proposal);
-                }
+                const held = heldBatch(account, input, by);
+                if (held)
+                    return view(held);
                 const read = cite(input.findings, account);
                 for (const finding of input.findings)
                     targets(finding, read);
@@ -348,6 +439,45 @@ export const mailFindingsStoreOver = (context) => {
                 }));
             });
         },
+        check: async (key, raw, rawAgent) => {
+            const { batch: input, problems } = checkMailFindings(raw);
+            const by = findingsAgent(rawAgent);
+            const batchProblem = (error) => problems.push(mailFindingProblem(null, error));
+            let batch = null;
+            // authorActor and the trial writes touch the store; everything here is rolled back.
+            wouldWrite(() => {
+                const account = mailbox(key);
+                try {
+                    batch = heldBatch(account, input, by, problems.length === 0)?.id ?? null;
+                }
+                catch (error) {
+                    batchProblem(error);
+                }
+                if (batch !== null)
+                    return;
+                const valid = [];
+                for (const finding of input.findings) {
+                    try {
+                        targets(finding, cite([finding], account));
+                        valid.push(finding);
+                    }
+                    catch (error) {
+                        problems.push(mailFindingProblem(finding, error));
+                    }
+                }
+                try {
+                    if (valid.length === input.findings.length)
+                        cite(valid, account);
+                    const fingerprints = valid.map(mailFindingFingerprint);
+                    if (new Set(fingerprints).size !== fingerprints.length)
+                        invalid("the batch contains duplicate findings");
+                }
+                catch (error) {
+                    batchProblem(error);
+                }
+            });
+            return { valid: problems.length === 0, findings: raw.findings?.length ?? 0, batch, problems };
+        },
         get: async (id) => view(load(id)),
         list: async ({ account, status, limit = 20, offset = 0 } = {}) => {
             if (status !== undefined && status !== "proposed" && status !== "reviewed")