@wildo-ai/saas-models 1.1.5 → 1.1.7

package/dist/esm/resources/utils/http-api-write-declaration.shared.utils.js

@@ -0,0 +1,275 @@
+/**
+ * The authoring contract of a WRITABLE read-through resource (#1679) — what a resource must declare
+ * before the engine will send a create, update or delete to a system of record it does not own.
+ *
+ * Checked in the resource FACTORY, at authoring, because every rule here is decidable from the one
+ * file an author is writing: the binding, the operation list and the schema. What is NOT decidable
+ * here — the instance's partition field, whether the dialect implements writes — needs the saas
+ * configuration and the engine's dialect registry, so it is checked at boot registration instead.
+ *
+ * Every refusal names the fix. A write door into somebody else's ERP is the declaration where a
+ * silently-accepted mistake costs the most, because the mistake is made against data the platform
+ * cannot restore.
+ */
+import { getZodObjectShape, isExcludedFromCreate, isExcludedFromUpdate, isZodObject, unwrapSchema } from '@wildo-ai/zod-decorators';
+import { HttpApiWriteConcurrencyMode, HttpApiWriteVerb, } from '../../http-api-binding/http-api-binding.shared.schemas.js';
+import { ResourceOperationIdempotencyKeyRequirement } from '../../requests/idempotency-key.shared.js';
+import { CoreResourceOperation } from '../resources.shared.core.definitions.js';
+import { ResourceOperation_ServiceRuntimeMode } from '../resources.shared.schemas.js';
+/**
+ * The core operation each opened verb reaches, and the only three a read-through resource may write
+ * through. Total over {@link HttpApiWriteVerb}, so a fourth verb is a compile error here until
+ * somebody decides which operation it is.
+ */
+export const HTTP_API_WRITE_VERB_CORE_OPERATION = Object.freeze({
+    [HttpApiWriteVerb.CREATE]: CoreResourceOperation.CREATE,
+    [HttpApiWriteVerb.UPDATE]: CoreResourceOperation.UPDATE,
+    [HttpApiWriteVerb.DELETE]: CoreResourceOperation.DELETE,
+});
+/**
+ * The write verb a core operation IS on a read-through resource, or `undefined` for a read.
+ *
+ * The one mapping both the authoring check and the repository's dispatch read, so the two cannot
+ * disagree about whether an operation is a write.
+ */
+export function resolveHttpApiWriteVerb(coreOperation) {
+    for (const [verb, operation] of Object.entries(HTTP_API_WRITE_VERB_CORE_OPERATION)) {
+        if (operation === coreOperation)
+            return verb;
+    }
+    return undefined;
+}
+/**
+ * The BULK write operations, refused on a read-through resource whatever the binding opens.
+ *
+ * A bulk write against a system the platform does not own is N remote calls with no atomicity: any
+ * of them can fail after the earlier ones landed, and there is no transaction to roll back into. The
+ * engine opens single-row writes only, which is what an author can reason about one row at a time.
+ */
+const BULK_WRITE_OPERATIONS = new Set([
+    CoreResourceOperation.CREATE_MANY,
+    CoreResourceOperation.UPDATE_MANY,
+    CoreResourceOperation.DELETE_MANY,
+]);
+/**
+ * Reduce the authored operation declarations to {@link HttpApiWriteOperationFacts}.
+ *
+ * Enumerated by EFFECTIVE semantics, the way the pipeline's CLOSED-population rule enumerates
+ * creates: a core operation is its own semantics, a custom one borrows them per variant through
+ * `resourceOperationLike`, and both sources are unioned because neither sees the other's members.
+ * A custom operation that borrows UPDATE is exactly how an author would write a remote "confirm"
+ * without thinking of it as a write — so it is a write here too.
+ */
+export function collectHttpApiWriteOperationFacts(coreOperations, operationsConfiguration) {
+    const facts = new Map();
+    for (const operation of coreOperations) {
+        facts.set(String(operation), { operationKey: String(operation), effectiveOperations: [operation], variants: [] });
+    }
+    for (const [operationKey, operationConfig] of Object.entries(operationsConfiguration ?? {})) {
+        const config = (operationConfig ?? {});
+        const variants = config.variants ?? [];
+        const isCore = coreOperations.includes(operationKey);
+        facts.set(operationKey, {
+            operationKey,
+            effectiveOperations: variants.length > 0 && !isCore
+                ? variants.map((variant) => variant.resourceOperationLike ?? operationKey)
+                : [operationKey],
+            variants,
+            serviceRuntimeMode: config.serviceRuntimeMode,
+        });
+    }
+    return [...facts.values()];
+}
+/**
+ * The `Idempotency-Key` requirement a variant of a read-through WRITE carries — always REQUIRED.
+ *
+ * DERIVED rather than demanded from the author, because it has one legal value: a remote write cannot
+ * be rolled back, so a retry after a lost response must replay the first outcome instead of writing a
+ * second time, and only a required key makes every retry replayable. Asking an author to type the one
+ * answer the mechanism already knows is a question nobody should be asked (`derive-before-you-ask`).
+ * `ACCEPTED` is refused by {@link assertHttpApiWriteDeclarationCoherence}, never silently upgraded.
+ *
+ * The AUTHORED value comes first so the factory's forwarding line still reads
+ * `idempotencyKey: resolveHttpApiWriteIdempotencyKeyRequirement(variantParams.idempotencyKey, …)`, the shape
+ * `operation-variant-field-forwarding.guard.test.ts` recognises as forwarding.
+ */
+export function resolveHttpApiWriteIdempotencyKeyRequirement(authored, isReadThroughWrite) {
+    if (!isReadThroughWrite)
+        return authored;
+    return ResourceOperationIdempotencyKeyRequirement.REQUIRED;
+}
+/**
+ * The operations the binding's declared actions name as their HTTP doors, keyed by operation.
+ *
+ * One operation runs one action: two actions naming the same door would make the operation's meaning depend on which
+ * one its implementation happens to hand to the executor, so it is refused here rather than decided there.
+ */
+function collectSystemOfRecordActionDoors(binding) {
+    const doors = new Map();
+    for (const [actionName, action] of Object.entries(binding.actions ?? {})) {
+        if (action.operation === undefined)
+            continue;
+        const existing = doors.get(action.operation);
+        if (existing !== undefined) {
+            throw new Error(`operation '${action.operation}' is named as the door of two actions, '${existing.actionName}' and '${actionName}'. `
+                + 'One operation runs one action; declare a second operation for the second action.');
+        }
+        doors.set(action.operation, { actionName, writes: action.writes });
+    }
+    return doors;
+}
+/**
+ * Hold an action's HTTP door to the ACTION's rules instead of the row-write rules (#1678 review, F1).
+ *
+ * A door does not write a row of the bound entity: its implementation hands the request to the system-of-record action
+ * executor, which authorizes, confines, sends and audits the action. So `writableVerbs` does not open it, and it opens
+ * nothing. What it must still be is honest about the effect it has:
+ *
+ * - a WRITING action changes remote state that cannot be rolled back, so every variant borrows a SINGLE-ROW mutation verb
+ *   (never a read: a read-shaped route is a GET and claims its repeat is harmless, and the boot validator refuses a key on
+ *   one), requires the `Idempotency-Key` (the executor refuses a writing action without one, so anything less is a door
+ *   that always refuses), and runs INLINE (a queued execution cannot carry the key);
+ * - a NON-writing action (a vendor computation) is left to the ordinary rules for the verb it borrows.
+ *
+ * Never a bulk borrow: one request is one action on one target.
+ */
+function assertSystemOfRecordActionDoorCoherence(operation, door) {
+    const bulk = operation.effectiveOperations.find((effective) => BULK_WRITE_OPERATIONS.has(effective));
+    if (bulk !== undefined) {
+        throw new Error(`operation '${operation.operationKey}' is the door of action '${door.actionName}' and borrows a bulk verb ('${String(bulk)}'). `
+            + 'One request runs one action on one target; borrow a single-row verb.');
+    }
+    if (!door.writes)
+        return;
+    const readBorrow = operation.effectiveOperations.find((effective) => resolveHttpApiWriteVerb(effective) === undefined);
+    if (readBorrow !== undefined) {
+        throw new Error(`operation '${operation.operationKey}' is the door of action '${door.actionName}', which writes, and borrows '${String(readBorrow)}', `
+            + 'which is not a mutation. A state-changing route must not be read-shaped: it would be a GET, and a required Idempotency-Key '
+            + 'on a read is refused at boot. Borrow update (an action on one record) or create (an action that makes one) in resourceOperationLike.');
+    }
+    const unkeyed = operation.variants.find((variant) => variant.idempotencyKey !== ResourceOperationIdempotencyKeyRequirement.REQUIRED);
+    if (unkeyed !== undefined) {
+        throw new Error(`operation '${operation.operationKey}' is the door of action '${door.actionName}', which writes, and does not require an `
+            + 'Idempotency-Key on every variant. The executor refuses a writing action without one, so the route would refuse every request; '
+            + `declare idempotencyKey: '${ResourceOperationIdempotencyKeyRequirement.REQUIRED}'.`);
+    }
+    if (operation.serviceRuntimeMode !== undefined
+        && operation.serviceRuntimeMode !== ResourceOperation_ServiceRuntimeMode.INLINE) {
+        throw new Error(`operation '${operation.operationKey}' is the door of action '${door.actionName}' and runs '${operation.serviceRuntimeMode}'. `
+            + 'A writing action runs INLINE: a queued or background execution cannot carry its Idempotency-Key. Remove serviceRuntimeMode.');
+    }
+}
+/**
+ * Refuse every write declaration on a read-through resource that the engine could not honour.
+ *
+ * Throws a plain `Error` naming the rule and the fix; the factory wraps it into its own configuration
+ * error with the resource identifier in front.
+ *
+ * The rules, and why each one exists:
+ *
+ *  1. **No bulk write operation**, opened or not — see {@link BULK_WRITE_OPERATIONS}. Nor a
+ *     `haveBulkOperation` twin of a write, which every tier would run as N single-row writes.
+ *  2. **Every write operation's verb is OPENED by the binding**, and **every opened verb has an
+ *     operation**. Both directions: the first is a route that would answer a refusal forever, the
+ *     second a declared door nobody can reach — and an inert declaration that looks like a control is
+ *     worse than none.
+ *  3. **Every write variant runs INLINE.** A queued or background execution cannot carry the
+ *     `Idempotency-Key`, so a retried request could not replay; the service tier refuses a key on a
+ *     non-INLINE operation already, and a key is required here.
+ *  4. **No write variant declares `Idempotency-Key: ACCEPTED`.** See
+ *     {@link resolveHttpApiWriteIdempotencyKeyRequirement}.
+ *  5. *(Moved, #2010.)* The erasure-stance rule this list carried — a binding that WRITES personal-data fields
+ *     may not declare `NO_SUBJECT_DATA` — is now `personalFieldsContradictingNoSubjectDataStance`, which the
+ *     factory applies to EVERY read-through binding and every pipeline copy. Reading those fields out of a
+ *     system that "holds no subject data" is the same contradiction as writing them into it.
+ *  6. **A `VERSION_CHECKED` binding's version field is one the UPDATE can carry and the CREATE cannot** (#1724). The
+ *     field must exist on the schema, be admitted to the update payload (the caller sends the version it read), and be
+ *     excluded from create (a new row has no version yet, and the vendor stamps it). It must be a STRING: the check
+ *     compares the caller's value byte for byte with the vendor's raw one, and a date schema would coerce it on the way
+ *     in and make every update stale. Whether it maps onto the vendor's `rowVersionField` needs the facet, and is
+ *     checked at boot.
+ */
+export function assertHttpApiWriteDeclarationCoherence(params) {
+    const { binding, operations, mainSchema } = params;
+    const opened = new Set(binding.writableVerbs);
+    const reached = new Set();
+    const actionDoors = collectSystemOfRecordActionDoors(binding);
+    // Checked BEFORE the operations: a door named after a missing operation usually means the author mistyped it, and the
+    // operation they meant would otherwise be refused first as an unopened row write — a message about the wrong thing.
+    const declaredOperationKeys = new Set(operations.map((operation) => operation.operationKey));
+    for (const [operationKey, door] of actionDoors) {
+        if (!declaredOperationKeys.has(operationKey)) {
+            throw new Error(`actions.${door.actionName} names '${operationKey}' as its door, and this resource declares no such operation. `
+                + 'Declare the custom operation, or remove the `operation` from the action.');
+        }
+    }
+    for (const operation of operations) {
+        const door = actionDoors.get(operation.operationKey);
+        if (door !== undefined) {
+            assertSystemOfRecordActionDoorCoherence(operation, door);
+            continue;
+        }
+        const bulk = operation.effectiveOperations.find((effective) => BULK_WRITE_OPERATIONS.has(effective));
+        if (bulk !== undefined) {
+            throw new Error(`operation '${operation.operationKey}' is a bulk write ('${String(bulk)}'), which a read-through resource never runs: `
+                + 'N remote writes have no transaction to roll back into when one of them fails after the others landed. '
+                + 'Declare the single-row create/update/delete instead.');
+        }
+        const verbs = operation.effectiveOperations
+            .map((effective) => resolveHttpApiWriteVerb(effective))
+            .filter((verb) => verb !== undefined);
+        if (verbs.length === 0)
+            continue;
+        for (const verb of verbs) {
+            if (!opened.has(verb)) {
+                throw new Error(`operation '${operation.operationKey}' writes ('${verb}'), and httpApiBinding.writableVerbs does not open '${verb}'. `
+                    + `Add '${verb}' to writableVerbs to open the write toward '${binding.system}', or remove the operation.`);
+            }
+            reached.add(verb);
+        }
+        if (operation.variants.some((variant) => variant.haveBulkOperation === true)) {
+            throw new Error(`operation '${operation.operationKey}' declares a bulk twin (haveBulkOperation), which a read-through resource never runs — `
+                + 'one request would become N remote writes with no atomicity. Remove haveBulkOperation.');
+        }
+        if (operation.serviceRuntimeMode !== undefined
+            && operation.serviceRuntimeMode !== ResourceOperation_ServiceRuntimeMode.INLINE) {
+            throw new Error(`operation '${operation.operationKey}' writes to '${binding.system}' with serviceRuntimeMode '${operation.serviceRuntimeMode}'. `
+                + 'A remote write runs INLINE: its Idempotency-Key is required, and a queued or background execution cannot carry one, '
+                + 'so a retried request could not replay its first outcome. Remove serviceRuntimeMode.');
+        }
+        const accepted = operation.variants.find((variant) => variant.idempotencyKey === ResourceOperationIdempotencyKeyRequirement.ACCEPTED);
+        if (accepted !== undefined) {
+            throw new Error(`operation '${operation.operationKey}' declares idempotencyKey 'accepted'. A write to a system of record cannot be rolled back, `
+                + 'so every retry must replay the first outcome: the key is REQUIRED on every write variant, and the engine sets it for you. '
+                + 'Remove the idempotencyKey declaration.');
+        }
+    }
+    for (const verb of opened) {
+        if (!reached.has(verb)) {
+            throw new Error(`httpApiBinding.writableVerbs opens '${verb}', and no operation of this resource performs it. An opened write nobody can `
+                + `reach is a declaration that decides nothing; declare the ${HTTP_API_WRITE_VERB_CORE_OPERATION[verb]} operation, or remove the verb.`);
+        }
+    }
+    if (binding.writeConcurrency?.mode === HttpApiWriteConcurrencyMode.VERSION_CHECKED && isZodObject(mainSchema)) {
+        const versionField = binding.writeConcurrency.versionField;
+        const fieldSchema = getZodObjectShape(mainSchema)[versionField];
+        if (fieldSchema === undefined) {
+            throw new Error(`httpApiBinding.writeConcurrency.versionField names '${versionField}', which this resource's schema does not declare. `
+                + 'Declare the field (mapped to the vendor\'s row version, e.g. Odoo `write_date`) so a caller can read it and send it back.');
+        }
+        const unwrapped = unwrapSchema(fieldSchema);
+        if (unwrapped?._zod?.def?.type !== 'string') {
+            throw new Error(`httpApiBinding.writeConcurrency.versionField '${versionField}' must be a string schema: the version is compared byte for `
+                + 'byte with what the vendor served (Odoo `write_date`, "YYYY-MM-DD HH:MM:SS"), and a date or number schema would re-format it.');
+        }
+        if (isExcludedFromUpdate(fieldSchema)) {
+            throw new Error(`httpApiBinding.writeConcurrency.versionField '${versionField}' is excluded from UPDATE, so no caller could send the version `
+                + 'it read and every update would be refused. Remove .excludeFromUpdate() from it.');
+        }
+        if (opened.has(HttpApiWriteVerb.CREATE) && !isExcludedFromCreate(fieldSchema)) {
+            throw new Error(`httpApiBinding.writeConcurrency.versionField '${versionField}' may be sent on CREATE, and a new row has no version: the `
+                + 'vendor stamps it. Declare it .excludeFromCreate().');
+        }
+    }
+}
+//# sourceMappingURL=http-api-write-declaration.shared.utils.js.map

package/dist/esm/resources/utils/http-api-write-declaration.shared.utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"http-api-write-declaration.shared.utils.js","sourceRoot":"","sources":["../../../../src/resources/utils/http-api-write-declaration.shared.utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAEpI,OAAO,EACL,2BAA2B,EAC3B,gBAAgB,GAEjB,MAAM,wDAAwD,CAAC;AAChE,OAAO,EAAE,0CAA0C,EAAE,MAAM,uCAAuC,CAAC;AACnG,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,oCAAoC,EAAE,MAAM,6BAA6B,CAAC;AAEnF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAA8D,MAAM,CAAC,MAAM,CAAC;IACzH,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,MAAM;IACvD,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,MAAM;IACvD,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,MAAM;CACxD,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,aAAsB;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kCAAkC,CAAqD,EAAE,CAAC;QACvI,IAAI,SAAS,KAAK,aAAa;YAAE,OAAO,IAAI,CAAC;IAC/C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,qBAAqB,GAAyB,IAAI,GAAG,CAAU;IACnE,qBAAqB,CAAC,WAAW;IACjC,qBAAqB,CAAC,WAAW;IACjC,qBAAqB,CAAC,WAAW;CAClC,CAAC,CAAC;AAcH;;;;;;;;GAQG;AACH,MAAM,UAAU,iCAAiC,CAC/C,cAAkC,EAClC,uBAAsE;IAEtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsC,CAAC;IAC5D,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;QACvC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,mBAAmB,EAAE,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,KAAK,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,uBAAuB,IAAI,EAAE,CAAC,EAAE,CAAC;QAC5F,MAAM,MAAM,GAAG,CAAC,eAAe,IAAI,EAAE,CAGpC,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE;YACtB,YAAY;YACZ,mBAAmB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM;gBACjD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,qBAAqB,IAAI,YAAY,CAAC;gBAC1E,CAAC,CAAC,CAAC,YAAY,CAAC;YAClB,QAAQ;YACR,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;SAC9C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,4CAA4C,CAC1D,QAAgE,EAChE,kBAA2B;IAE3B,IAAI,CAAC,kBAAkB;QAAE,OAAO,QAAQ,CAAC;IACzC,OAAO,0CAA0C,CAAC,QAAQ,CAAC;AAC7D,CAAC;AAQD;;;;;GAKG;AACH,SAAS,gCAAgC,CAAC,OAA+B;IACvE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC1D,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACzE,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,cAAc,MAAM,CAAC,SAAS,2CAA2C,QAAQ,CAAC,UAAU,UAAU,UAAU,KAAK;kBACnH,kFAAkF,CACrF,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,uCAAuC,CAAC,SAAqC,EAAE,IAA8B;IACpH,MAAM,IAAI,GAAG,SAAS,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IACrG,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,4BAA4B,IAAI,CAAC,UAAU,+BAA+B,MAAM,CAAC,IAAI,CAAC,MAAM;cAC9H,sEAAsE,CACzE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO;IACzB,MAAM,UAAU,GAAG,SAAS,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC;IACvH,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,4BAA4B,IAAI,CAAC,UAAU,iCAAiC,MAAM,CAAC,UAAU,CAAC,KAAK;cACrI,6HAA6H;cAC7H,sIAAsI,CACzI,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,0CAA0C,CAAC,QAAQ,CAAC,CAAC;IACrI,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,4BAA4B,IAAI,CAAC,UAAU,2CAA2C;cACxH,gIAAgI;cAChI,4BAA4B,0CAA0C,CAAC,QAAQ,IAAI,CACtF,CAAC;IACJ,CAAC;IACD,IACE,SAAS,CAAC,kBAAkB,KAAK,SAAS;WACvC,SAAS,CAAC,kBAAkB,KAAK,oCAAoC,CAAC,MAAM,EAC/E,CAAC;QACD,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,4BAA4B,IAAI,CAAC,UAAU,eAAe,SAAS,CAAC,kBAAkB,KAAK;cAC7H,6HAA6H,CAChI,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,sCAAsC,CAAC,MAItD;IACC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAmB,OAAO,CAAC,aAAa,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,WAAW,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IAC9D,sHAAsH;IACtH,oHAAoH;IACpH,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC;IAC7F,KAAK,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QAC/C,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CACb,WAAW,IAAI,CAAC,UAAU,WAAW,YAAY,+DAA+D;kBAC9G,0EAA0E,CAC7E,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACrD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,uCAAuC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACrG,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,uBAAuB,MAAM,CAAC,IAAI,CAAC,gDAAgD;kBACrH,wGAAwG;kBACxG,sDAAsD,CACzD,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,mBAAmB;aACxC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,IAAI,EAA4B,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAClE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,cAAc,IAAI,uDAAuD,IAAI,KAAK;sBACpH,QAAQ,IAAI,gDAAgD,OAAO,CAAC,MAAM,6BAA6B,CAC1G,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,iBAAiB,KAAK,IAAI,CAAC,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,yFAAyF;kBAC3H,uFAAuF,CAC1F,CAAC;QACJ,CAAC;QACD,IACE,SAAS,CAAC,kBAAkB,KAAK,SAAS;eACvC,SAAS,CAAC,kBAAkB,KAAK,oCAAoC,CAAC,MAAM,EAC/E,CAAC;YACD,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,gBAAgB,OAAO,CAAC,MAAM,8BAA8B,SAAS,CAAC,kBAAkB,KAAK;kBAC/H,sHAAsH;kBACtH,qFAAqF,CACxF,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,0CAA0C,CAAC,QAAQ,CAAC,CAAC;QACtI,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,YAAY,6FAA6F;kBAC/H,4HAA4H;kBAC5H,wCAAwC,CAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,uCAAuC,IAAI,+EAA+E;kBACxH,4DAA4D,kCAAkC,CAAC,IAAI,CAAC,iCAAiC,CACxI,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,gBAAgB,EAAE,IAAI,KAAK,2BAA2B,CAAC,eAAe,IAAI,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9G,MAAM,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,YAAY,CAAC;QAC3D,MAAM,WAAW,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC,YAAY,CAA6B,CAAC;QAC5F,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,uDAAuD,YAAY,oDAAoD;kBACrH,2HAA2H,CAC9H,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,YAAY,CAAC,WAAoB,CAA4C,CAAC;QAChG,IAAI,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,iDAAiD,YAAY,8DAA8D;kBACzH,8HAA8H,CACjI,CAAC;QACJ,CAAC;QACD,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CACb,iDAAiD,YAAY,iEAAiE;kBAC5H,iFAAiF,CACpF,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,WAAW,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,KAAK,CACb,iDAAiD,YAAY,6DAA6D;kBACxH,oDAAoD,CACvD,CAAC;QACJ,CAAC;IACH,CAAC;AAEH,CAAC","sourcesContent":["/**\n * The authoring contract of a WRITABLE read-through resource (#1679) — what a resource must declare\n * before the engine will send a create, update or delete to a system of record it does not own.\n *\n * Checked in the resource FACTORY, at authoring, because every rule here is decidable from the one\n * file an author is writing: the binding, the operation list and the schema. What is NOT decidable\n * here — the instance's partition field, whether the dialect implements writes — needs the saas\n * configuration and the engine's dialect registry, so it is checked at boot registration instead.\n *\n * Every refusal names the fix. A write door into somebody else's ERP is the declaration where a\n * silently-accepted mistake costs the most, because the mistake is made against data the platform\n * cannot restore.\n */\n\nimport type { z } from 'zod';\nimport { getZodObjectShape, isExcludedFromCreate, isExcludedFromUpdate, isZodObject, unwrapSchema } from '@wildo-ai/zod-decorators';\n\nimport {\n  HttpApiWriteConcurrencyMode,\n  HttpApiWriteVerb,\n  type HttpApiResourceBinding,\n} from '../../http-api-binding/http-api-binding.shared.schemas';\nimport { ResourceOperationIdempotencyKeyRequirement } from '../../requests/idempotency-key.shared';\nimport { CoreResourceOperation } from '../resources.shared.core.definitions';\nimport { ResourceOperation_ServiceRuntimeMode } from '../resources.shared.schemas';\n\n/**\n * The core operation each opened verb reaches, and the only three a read-through resource may write\n * through. Total over {@link HttpApiWriteVerb}, so a fourth verb is a compile error here until\n * somebody decides which operation it is.\n */\nexport const HTTP_API_WRITE_VERB_CORE_OPERATION: Readonly<Record<HttpApiWriteVerb, CoreResourceOperation>> = Object.freeze({\n  [HttpApiWriteVerb.CREATE]: CoreResourceOperation.CREATE,\n  [HttpApiWriteVerb.UPDATE]: CoreResourceOperation.UPDATE,\n  [HttpApiWriteVerb.DELETE]: CoreResourceOperation.DELETE,\n});\n\n/**\n * The write verb a core operation IS on a read-through resource, or `undefined` for a read.\n *\n * The one mapping both the authoring check and the repository's dispatch read, so the two cannot\n * disagree about whether an operation is a write.\n */\nexport function resolveHttpApiWriteVerb(coreOperation: unknown): HttpApiWriteVerb | undefined {\n  for (const [verb, operation] of Object.entries(HTTP_API_WRITE_VERB_CORE_OPERATION) as Array<[HttpApiWriteVerb, CoreResourceOperation]>) {\n    if (operation === coreOperation) return verb;\n  }\n  return undefined;\n}\n\n/**\n * The BULK write operations, refused on a read-through resource whatever the binding opens.\n *\n * A bulk write against a system the platform does not own is N remote calls with no atomicity: any\n * of them can fail after the earlier ones landed, and there is no transaction to roll back into. The\n * engine opens single-row writes only, which is what an author can reason about one row at a time.\n */\nconst BULK_WRITE_OPERATIONS: ReadonlySet<unknown> = new Set<unknown>([\n  CoreResourceOperation.CREATE_MANY,\n  CoreResourceOperation.UPDATE_MANY,\n  CoreResourceOperation.DELETE_MANY,\n]);\n\n/** What the factory knows about ONE declared operation, reduced to what these rules read. */\ninterface HttpApiWriteOperationFacts {\n  readonly operationKey: string;\n  /** The core semantics of each variant: the operation itself for a core one, `resourceOperationLike` for a custom one. */\n  readonly effectiveOperations: readonly unknown[];\n  readonly variants: ReadonlyArray<{\n    readonly idempotencyKey?: ResourceOperationIdempotencyKeyRequirement;\n    readonly haveBulkOperation?: boolean;\n  }>;\n  readonly serviceRuntimeMode?: ResourceOperation_ServiceRuntimeMode;\n}\n\n/**\n * Reduce the authored operation declarations to {@link HttpApiWriteOperationFacts}.\n *\n * Enumerated by EFFECTIVE semantics, the way the pipeline's CLOSED-population rule enumerates\n * creates: a core operation is its own semantics, a custom one borrows them per variant through\n * `resourceOperationLike`, and both sources are unioned because neither sees the other's members.\n * A custom operation that borrows UPDATE is exactly how an author would write a remote \"confirm\"\n * without thinking of it as a write — so it is a write here too.\n */\nexport function collectHttpApiWriteOperationFacts(\n  coreOperations: readonly unknown[],\n  operationsConfiguration: Readonly<Record<string, unknown>> | undefined,\n): HttpApiWriteOperationFacts[] {\n  const facts = new Map<string, HttpApiWriteOperationFacts>();\n  for (const operation of coreOperations) {\n    facts.set(String(operation), { operationKey: String(operation), effectiveOperations: [operation], variants: [] });\n  }\n  for (const [operationKey, operationConfig] of Object.entries(operationsConfiguration ?? {})) {\n    const config = (operationConfig ?? {}) as {\n      variants?: Array<{ resourceOperationLike?: unknown; idempotencyKey?: ResourceOperationIdempotencyKeyRequirement; haveBulkOperation?: boolean }>;\n      serviceRuntimeMode?: ResourceOperation_ServiceRuntimeMode;\n    };\n    const variants = config.variants ?? [];\n    const isCore = coreOperations.includes(operationKey);\n    facts.set(operationKey, {\n      operationKey,\n      effectiveOperations: variants.length > 0 && !isCore\n        ? variants.map((variant) => variant.resourceOperationLike ?? operationKey)\n        : [operationKey],\n      variants,\n      serviceRuntimeMode: config.serviceRuntimeMode,\n    });\n  }\n  return [...facts.values()];\n}\n\n/**\n * The `Idempotency-Key` requirement a variant of a read-through WRITE carries — always REQUIRED.\n *\n * DERIVED rather than demanded from the author, because it has one legal value: a remote write cannot\n * be rolled back, so a retry after a lost response must replay the first outcome instead of writing a\n * second time, and only a required key makes every retry replayable. Asking an author to type the one\n * answer the mechanism already knows is a question nobody should be asked (`derive-before-you-ask`).\n * `ACCEPTED` is refused by {@link assertHttpApiWriteDeclarationCoherence}, never silently upgraded.\n *\n * The AUTHORED value comes first so the factory's forwarding line still reads\n * `idempotencyKey: resolveHttpApiWriteIdempotencyKeyRequirement(variantParams.idempotencyKey, …)`, the shape\n * `operation-variant-field-forwarding.guard.test.ts` recognises as forwarding.\n */\nexport function resolveHttpApiWriteIdempotencyKeyRequirement(\n  authored: ResourceOperationIdempotencyKeyRequirement | undefined,\n  isReadThroughWrite: boolean,\n): ResourceOperationIdempotencyKeyRequirement | undefined {\n  if (!isReadThroughWrite) return authored;\n  return ResourceOperationIdempotencyKeyRequirement.REQUIRED;\n}\n\n/** A resource operation a declared system-of-record action names as its HTTP door (`actions.<name>.operation`). */\ninterface SystemOfRecordActionDoor {\n  readonly actionName: string;\n  readonly writes: boolean;\n}\n\n/**\n * The operations the binding's declared actions name as their HTTP doors, keyed by operation.\n *\n * One operation runs one action: two actions naming the same door would make the operation's meaning depend on which\n * one its implementation happens to hand to the executor, so it is refused here rather than decided there.\n */\nfunction collectSystemOfRecordActionDoors(binding: HttpApiResourceBinding): ReadonlyMap<string, SystemOfRecordActionDoor> {\n  const doors = new Map<string, SystemOfRecordActionDoor>();\n  for (const [actionName, action] of Object.entries(binding.actions ?? {})) {\n    if (action.operation === undefined) continue;\n    const existing = doors.get(action.operation);\n    if (existing !== undefined) {\n      throw new Error(\n        `operation '${action.operation}' is named as the door of two actions, '${existing.actionName}' and '${actionName}'. `\n        + 'One operation runs one action; declare a second operation for the second action.',\n      );\n    }\n    doors.set(action.operation, { actionName, writes: action.writes });\n  }\n  return doors;\n}\n\n/**\n * Hold an action's HTTP door to the ACTION's rules instead of the row-write rules (#1678 review, F1).\n *\n * A door does not write a row of the bound entity: its implementation hands the request to the system-of-record action\n * executor, which authorizes, confines, sends and audits the action. So `writableVerbs` does not open it, and it opens\n * nothing. What it must still be is honest about the effect it has:\n *\n * - a WRITING action changes remote state that cannot be rolled back, so every variant borrows a SINGLE-ROW mutation verb\n *   (never a read: a read-shaped route is a GET and claims its repeat is harmless, and the boot validator refuses a key on\n *   one), requires the `Idempotency-Key` (the executor refuses a writing action without one, so anything less is a door\n *   that always refuses), and runs INLINE (a queued execution cannot carry the key);\n * - a NON-writing action (a vendor computation) is left to the ordinary rules for the verb it borrows.\n *\n * Never a bulk borrow: one request is one action on one target.\n */\nfunction assertSystemOfRecordActionDoorCoherence(operation: HttpApiWriteOperationFacts, door: SystemOfRecordActionDoor): void {\n  const bulk = operation.effectiveOperations.find((effective) => BULK_WRITE_OPERATIONS.has(effective));\n  if (bulk !== undefined) {\n    throw new Error(\n      `operation '${operation.operationKey}' is the door of action '${door.actionName}' and borrows a bulk verb ('${String(bulk)}'). `\n      + 'One request runs one action on one target; borrow a single-row verb.',\n    );\n  }\n  if (!door.writes) return;\n  const readBorrow = operation.effectiveOperations.find((effective) => resolveHttpApiWriteVerb(effective) === undefined);\n  if (readBorrow !== undefined) {\n    throw new Error(\n      `operation '${operation.operationKey}' is the door of action '${door.actionName}', which writes, and borrows '${String(readBorrow)}', `\n      + 'which is not a mutation. A state-changing route must not be read-shaped: it would be a GET, and a required Idempotency-Key '\n      + 'on a read is refused at boot. Borrow update (an action on one record) or create (an action that makes one) in resourceOperationLike.',\n    );\n  }\n  const unkeyed = operation.variants.find((variant) => variant.idempotencyKey !== ResourceOperationIdempotencyKeyRequirement.REQUIRED);\n  if (unkeyed !== undefined) {\n    throw new Error(\n      `operation '${operation.operationKey}' is the door of action '${door.actionName}', which writes, and does not require an `\n      + 'Idempotency-Key on every variant. The executor refuses a writing action without one, so the route would refuse every request; '\n      + `declare idempotencyKey: '${ResourceOperationIdempotencyKeyRequirement.REQUIRED}'.`,\n    );\n  }\n  if (\n    operation.serviceRuntimeMode !== undefined\n    && operation.serviceRuntimeMode !== ResourceOperation_ServiceRuntimeMode.INLINE\n  ) {\n    throw new Error(\n      `operation '${operation.operationKey}' is the door of action '${door.actionName}' and runs '${operation.serviceRuntimeMode}'. `\n      + 'A writing action runs INLINE: a queued or background execution cannot carry its Idempotency-Key. Remove serviceRuntimeMode.',\n    );\n  }\n}\n\n/**\n * Refuse every write declaration on a read-through resource that the engine could not honour.\n *\n * Throws a plain `Error` naming the rule and the fix; the factory wraps it into its own configuration\n * error with the resource identifier in front.\n *\n * The rules, and why each one exists:\n *\n *  1. **No bulk write operation**, opened or not — see {@link BULK_WRITE_OPERATIONS}. Nor a\n *     `haveBulkOperation` twin of a write, which every tier would run as N single-row writes.\n *  2. **Every write operation's verb is OPENED by the binding**, and **every opened verb has an\n *     operation**. Both directions: the first is a route that would answer a refusal forever, the\n *     second a declared door nobody can reach — and an inert declaration that looks like a control is\n *     worse than none.\n *  3. **Every write variant runs INLINE.** A queued or background execution cannot carry the\n *     `Idempotency-Key`, so a retried request could not replay; the service tier refuses a key on a\n *     non-INLINE operation already, and a key is required here.\n *  4. **No write variant declares `Idempotency-Key: ACCEPTED`.** See\n *     {@link resolveHttpApiWriteIdempotencyKeyRequirement}.\n *  5. *(Moved, #2010.)* The erasure-stance rule this list carried — a binding that WRITES personal-data fields\n *     may not declare `NO_SUBJECT_DATA` — is now `personalFieldsContradictingNoSubjectDataStance`, which the\n *     factory applies to EVERY read-through binding and every pipeline copy. Reading those fields out of a\n *     system that \"holds no subject data\" is the same contradiction as writing them into it.\n *  6. **A `VERSION_CHECKED` binding's version field is one the UPDATE can carry and the CREATE cannot** (#1724). The\n *     field must exist on the schema, be admitted to the update payload (the caller sends the version it read), and be\n *     excluded from create (a new row has no version yet, and the vendor stamps it). It must be a STRING: the check\n *     compares the caller's value byte for byte with the vendor's raw one, and a date schema would coerce it on the way\n *     in and make every update stale. Whether it maps onto the vendor's `rowVersionField` needs the facet, and is\n *     checked at boot.\n */\nexport function assertHttpApiWriteDeclarationCoherence(params: {\n  readonly binding: HttpApiResourceBinding;\n  readonly operations: readonly HttpApiWriteOperationFacts[];\n  readonly mainSchema: z.ZodTypeAny;\n}): void {\n  const { binding, operations, mainSchema } = params;\n  const opened = new Set<HttpApiWriteVerb>(binding.writableVerbs);\n  const reached = new Set<HttpApiWriteVerb>();\n  const actionDoors = collectSystemOfRecordActionDoors(binding);\n  // Checked BEFORE the operations: a door named after a missing operation usually means the author mistyped it, and the\n  // operation they meant would otherwise be refused first as an unopened row write — a message about the wrong thing.\n  const declaredOperationKeys = new Set(operations.map((operation) => operation.operationKey));\n  for (const [operationKey, door] of actionDoors) {\n    if (!declaredOperationKeys.has(operationKey)) {\n      throw new Error(\n        `actions.${door.actionName} names '${operationKey}' as its door, and this resource declares no such operation. `\n        + 'Declare the custom operation, or remove the `operation` from the action.',\n      );\n    }\n  }\n\n  for (const operation of operations) {\n    const door = actionDoors.get(operation.operationKey);\n    if (door !== undefined) {\n      assertSystemOfRecordActionDoorCoherence(operation, door);\n      continue;\n    }\n    const bulk = operation.effectiveOperations.find((effective) => BULK_WRITE_OPERATIONS.has(effective));\n    if (bulk !== undefined) {\n      throw new Error(\n        `operation '${operation.operationKey}' is a bulk write ('${String(bulk)}'), which a read-through resource never runs: `\n        + 'N remote writes have no transaction to roll back into when one of them fails after the others landed. '\n        + 'Declare the single-row create/update/delete instead.',\n      );\n    }\n    const verbs = operation.effectiveOperations\n      .map((effective) => resolveHttpApiWriteVerb(effective))\n      .filter((verb): verb is HttpApiWriteVerb => verb !== undefined);\n    if (verbs.length === 0) continue;\n\n    for (const verb of verbs) {\n      if (!opened.has(verb)) {\n        throw new Error(\n          `operation '${operation.operationKey}' writes ('${verb}'), and httpApiBinding.writableVerbs does not open '${verb}'. `\n          + `Add '${verb}' to writableVerbs to open the write toward '${binding.system}', or remove the operation.`,\n        );\n      }\n      reached.add(verb);\n    }\n    if (operation.variants.some((variant) => variant.haveBulkOperation === true)) {\n      throw new Error(\n        `operation '${operation.operationKey}' declares a bulk twin (haveBulkOperation), which a read-through resource never runs — `\n        + 'one request would become N remote writes with no atomicity. Remove haveBulkOperation.',\n      );\n    }\n    if (\n      operation.serviceRuntimeMode !== undefined\n      && operation.serviceRuntimeMode !== ResourceOperation_ServiceRuntimeMode.INLINE\n    ) {\n      throw new Error(\n        `operation '${operation.operationKey}' writes to '${binding.system}' with serviceRuntimeMode '${operation.serviceRuntimeMode}'. `\n        + 'A remote write runs INLINE: its Idempotency-Key is required, and a queued or background execution cannot carry one, '\n        + 'so a retried request could not replay its first outcome. Remove serviceRuntimeMode.',\n      );\n    }\n    const accepted = operation.variants.find((variant) => variant.idempotencyKey === ResourceOperationIdempotencyKeyRequirement.ACCEPTED);\n    if (accepted !== undefined) {\n      throw new Error(\n        `operation '${operation.operationKey}' declares idempotencyKey 'accepted'. A write to a system of record cannot be rolled back, `\n        + 'so every retry must replay the first outcome: the key is REQUIRED on every write variant, and the engine sets it for you. '\n        + 'Remove the idempotencyKey declaration.',\n      );\n    }\n  }\n\n  for (const verb of opened) {\n    if (!reached.has(verb)) {\n      throw new Error(\n        `httpApiBinding.writableVerbs opens '${verb}', and no operation of this resource performs it. An opened write nobody can `\n        + `reach is a declaration that decides nothing; declare the ${HTTP_API_WRITE_VERB_CORE_OPERATION[verb]} operation, or remove the verb.`,\n      );\n    }\n  }\n\n  if (binding.writeConcurrency?.mode === HttpApiWriteConcurrencyMode.VERSION_CHECKED && isZodObject(mainSchema)) {\n    const versionField = binding.writeConcurrency.versionField;\n    const fieldSchema = getZodObjectShape(mainSchema)[versionField] as z.ZodTypeAny | undefined;\n    if (fieldSchema === undefined) {\n      throw new Error(\n        `httpApiBinding.writeConcurrency.versionField names '${versionField}', which this resource's schema does not declare. `\n        + 'Declare the field (mapped to the vendor\\'s row version, e.g. Odoo `write_date`) so a caller can read it and send it back.',\n      );\n    }\n    const unwrapped = unwrapSchema(fieldSchema as never) as { _zod?: { def?: { type?: unknown } } };\n    if (unwrapped?._zod?.def?.type !== 'string') {\n      throw new Error(\n        `httpApiBinding.writeConcurrency.versionField '${versionField}' must be a string schema: the version is compared byte for `\n        + 'byte with what the vendor served (Odoo `write_date`, \"YYYY-MM-DD HH:MM:SS\"), and a date or number schema would re-format it.',\n      );\n    }\n    if (isExcludedFromUpdate(fieldSchema)) {\n      throw new Error(\n        `httpApiBinding.writeConcurrency.versionField '${versionField}' is excluded from UPDATE, so no caller could send the version `\n        + 'it read and every update would be refused. Remove .excludeFromUpdate() from it.',\n      );\n    }\n    if (opened.has(HttpApiWriteVerb.CREATE) && !isExcludedFromCreate(fieldSchema)) {\n      throw new Error(\n        `httpApiBinding.writeConcurrency.versionField '${versionField}' may be sent on CREATE, and a new row has no version: the `\n        + 'vendor stamps it. Declare it .excludeFromCreate().',\n      );\n    }\n  }\n\n}\n"]}

package/dist/esm/resources/utils/initiator-stamped-field-satisfiability.validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"initiator-stamped-field-satisfiability.validation.d.ts","sourceRoot":"","sources":["../../../../../src/resources/utils/initiator-stamped-field-satisfiability.validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,eAAO,MAAM,wCAAwC,wEAAyE,CAAC;AAE/H,MAAM,MAAM,mCAAmC,GAAG,OAAO,wCAAwC,CAAC,MAAM,CAAC,CAAC;AAE1G,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,mCAAmC,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,0EAA0E;AAC1E,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,kBAAkB,EAAE,YAAY,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC;AAaD;;;;GAIG;AACH,wBAAgB,2CAA2C,CACzD,sBAAsB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kCAAkC,CAAC,CAAC,GACnF,8BAA8B,EAAE,CAoBlC"}
+{"version":3,"file":"initiator-stamped-field-satisfiability.validation.d.ts","sourceRoot":"","sources":["../../../../src/resources/utils/initiator-stamped-field-satisfiability.validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,eAAO,MAAM,wCAAwC,wEAAyE,CAAC;AAE/H,MAAM,MAAM,mCAAmC,GAAG,OAAO,wCAAwC,CAAC,MAAM,CAAC,CAAC;AAE1G,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,mCAAmC,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,0EAA0E;AAC1E,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,kBAAkB,EAAE,YAAY,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC;AAaD;;;;GAIG;AACH,wBAAgB,2CAA2C,CACzD,sBAAsB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kCAAkC,CAAC,CAAC,GACnF,8BAA8B,EAAE,CAoBlC"}

package/dist/esm/resources/utils/initiator-stamped-field-satisfiability.validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"initiator-stamped-field-satisfiability.validation.js","sourceRoot":"","sources":["../../../../../src/resources/utils/initiator-stamped-field-satisfiability.validation.ts"],"names":[],"mappings":"AACA,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,oBAAoB,EACpB,UAAU,EACV,YAAY,GACb,MAAM,0BAA0B,CAAC;AAGlC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,CAAC,MAAM,wCAAwC,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,qBAAqB,CAAU,CAAC;AAiB/H,iGAAiG;AACjG,SAAS,cAAc,CAAC,UAAwB;IAC9C,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,MAAM;QAAE,OAAO,CAAC,MAAsC,CAAC,CAAC;IAC5D,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IACjD,OAAO,CAAC,sBAAsB,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;SACzD,MAAM,CAAC,YAAY,CAAC;SACpB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;SACvC,MAAM,CAAC,CAAC,KAAK,EAAyC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2CAA2C,CACzD,sBAAoF;IAEpF,MAAM,UAAU,GAAqC,EAAE,CAAC;IACxD,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAClE,IAAI,CAAC,aAAa,EAAE,UAAU,IAAI,aAAa,CAAC,gBAAgB;YAAE,SAAS;QAC3E,MAAM,MAAM,GAAG,cAAc,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QACxD,KAAK,MAAM,KAAK,IAAI,wCAAwC,EAAE,CAAC;YAC7D,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5F,IAAI,CAAC,iBAAiB;gBAAE,SAAS;YACjC,UAAU,CAAC,IAAI,CAAC;gBACd,YAAY,EAAE,aAAa,CAAC,kBAAkB;gBAC9C,KAAK;gBACL,OAAO,EACL,IAAI,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC,eAAe,KAAK,mDAAmD;sBACjH,8GAA8G;sBAC9G,2FAA2F;sBAC3F,uFAAuF;aAC5F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC","sourcesContent":["import { z } from 'zod';\nimport {\n  getObjectShape,\n  getZodDefArrayProperty,\n  isDiscriminatedUnion,\n  isOptional,\n  isZodTypeAny,\n} from '@wildo-ai/zod-decorators';\nimport type { ResourceType } from '../resources.shared.core.definitions';\n\n/**\n * Registry-level guard: a field the ENGINE stamps from the initiator's USER must not be REQUIRED.\n *\n * ## The shape (#584)\n *\n * `createdByUserId` is stripped from the CREATE DTO by name — a client may never author it — and is\n * stamped by the repository from `executionContext.initiatorIds.userId`, guarded by `if (userId)` in\n * both adapters (`addUserTracking`, and the PostgreSQL adapter's own copy). `updatedByUserId` /\n * `lastUpdatedByUserId` are stamped the same way on UPDATE.\n *\n * **A machine principal has no `userId`.** An org or application service acting over MCP, A2A,\n * client credentials, a worker or a batch supplies none, so a REQUIRED one of these fields is\n * satisfied by nobody: not the client (stripped), not the repository (the guard skips). Nothing said\n * so at registration or at exposure, and the write failed — or committed and then failed to describe\n * itself — the first time a machine caller reached the resource. That is how `todos` and `todoLists`\n * were found (#577), each only after being exposed.\n *\n * ## A refusal at boot, and why it was a report first\n *\n * The backend refuses to start when this returns anything — the engine's own measurement is that a\n * declaration gets made if and only if the framework refuses to start without it.\n *\n * It shipped as a startup REPORT on the belief that flipping the existing declarations to optional\n * changes PostgreSQL column nullability and so owes a migration in every surface. It does not: the\n * schema planner's contract (version 3) records `sqlType`, `hasIndex`, `isPrimaryKey`, `unique` and\n * `defaultClause` per column and no nullability, so a required-vs-optional change is enforced by the\n * Zod layer alone and leaves every lockfile in sync. Measured on all three PostgreSQL surfaces\n * before the promotion, with the existing declarations flipped in the same change.\n *\n * ## Scope\n *\n * - Only the user-stamped identifiers. The primary-scope foreign keys (`organizationId`, …) are also\n *   context-populated, but from the SCOPE, which a machine principal does carry — they are required on\n *   purpose.\n * - System resources are skipped: the framework owns their write paths and supplies or refuses the\n *   attribution explicitly (the SCIM token mint refuses a principal with no user).\n * - Discriminated-union (polymorphic) schemas are checked on every variant that declares the field.\n */\nexport const INITIATOR_USER_STAMPED_FIELD_IDENTIFIERS = ['createdByUserId', 'updatedByUserId', 'lastUpdatedByUserId'] as const;\n\nexport type InitiatorUserStampedFieldIdentifier = typeof INITIATOR_USER_STAMPED_FIELD_IDENTIFIERS[number];\n\nexport interface InitiatorStampedFieldViolation {\n  readonly resourceType: ResourceType;\n  readonly field: InitiatorUserStampedFieldIdentifier;\n  readonly message: string;\n}\n\n/** Structural subset of a resource configuration this validator needs. */\nexport interface InitiatorStampedFieldResourceInput {\n  readonly resourceIdentifier: ResourceType;\n  readonly mainSchema: z.ZodTypeAny;\n  readonly isSystemResource?: boolean;\n}\n\n/** Every object shape a main schema can present: itself, or each discriminated-union variant. */\nfunction objectShapesOf(mainSchema: z.ZodTypeAny): Record<string, z.ZodTypeAny>[] {\n  const direct = getObjectShape(mainSchema);\n  if (direct) return [direct as Record<string, z.ZodTypeAny>];\n  if (!isDiscriminatedUnion(mainSchema)) return [];\n  return (getZodDefArrayProperty(mainSchema, 'options') ?? [])\n    .filter(isZodTypeAny)\n    .map((option) => getObjectShape(option))\n    .filter((shape): shape is Record<string, z.ZodTypeAny> => !!shape);\n}\n\n/**\n * Report every non-system resource that declares an initiator-user-stamped field as REQUIRED.\n * `isOptional` treats `.optional()`, `.default()` and `.nullish()` as optional; a bare `.nullable()`\n * stays required, which is correct — `null` is not what the stamp's absence produces.\n */\nexport function validateInitiatorStampedFieldSatisfiability(\n  resourceConfigurations: Readonly<Record<string, InitiatorStampedFieldResourceInput>>,\n): InitiatorStampedFieldViolation[] {\n  const violations: InitiatorStampedFieldViolation[] = [];\n  for (const configuration of Object.values(resourceConfigurations)) {\n    if (!configuration?.mainSchema || configuration.isSystemResource) continue;\n    const shapes = objectShapesOf(configuration.mainSchema);\n    for (const field of INITIATOR_USER_STAMPED_FIELD_IDENTIFIERS) {\n      const requiredSomewhere = shapes.some((shape) => shape[field] && !isOptional(shape[field]));\n      if (!requiredSomewhere) continue;\n      violations.push({\n        resourceType: configuration.resourceIdentifier,\n        field,\n        message:\n          `[${String(configuration.resourceIdentifier)}] declares '${field}' as REQUIRED, but the engine stamps it only when`\n          + ' the initiator has a userId. A machine principal (MCP, A2A, client credentials, a worker, a batch) has none,'\n          + ' and a client may never send it, so a machine write to this resource cannot be satisfied.'\n          + ` Declare it \\`.optional()\\` — and generate the migration its nullability change owes.`,\n      });\n    }\n  }\n  return violations;\n}\n"]}
+{"version":3,"file":"initiator-stamped-field-satisfiability.validation.js","sourceRoot":"","sources":["../../../../src/resources/utils/initiator-stamped-field-satisfiability.validation.ts"],"names":[],"mappings":"AACA,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,oBAAoB,EACpB,UAAU,EACV,YAAY,GACb,MAAM,0BAA0B,CAAC;AAGlC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,CAAC,MAAM,wCAAwC,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,qBAAqB,CAAU,CAAC;AAiB/H,iGAAiG;AACjG,SAAS,cAAc,CAAC,UAAwB;IAC9C,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,MAAM;QAAE,OAAO,CAAC,MAAsC,CAAC,CAAC;IAC5D,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IACjD,OAAO,CAAC,sBAAsB,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;SACzD,MAAM,CAAC,YAAY,CAAC;SACpB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;SACvC,MAAM,CAAC,CAAC,KAAK,EAAyC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2CAA2C,CACzD,sBAAoF;IAEpF,MAAM,UAAU,GAAqC,EAAE,CAAC;IACxD,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAClE,IAAI,CAAC,aAAa,EAAE,UAAU,IAAI,aAAa,CAAC,gBAAgB;YAAE,SAAS;QAC3E,MAAM,MAAM,GAAG,cAAc,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QACxD,KAAK,MAAM,KAAK,IAAI,wCAAwC,EAAE,CAAC;YAC7D,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5F,IAAI,CAAC,iBAAiB;gBAAE,SAAS;YACjC,UAAU,CAAC,IAAI,CAAC;gBACd,YAAY,EAAE,aAAa,CAAC,kBAAkB;gBAC9C,KAAK;gBACL,OAAO,EACL,IAAI,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC,eAAe,KAAK,mDAAmD;sBACjH,8GAA8G;sBAC9G,2FAA2F;sBAC3F,uFAAuF;aAC5F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC","sourcesContent":["import { z } from 'zod';\nimport {\n  getObjectShape,\n  getZodDefArrayProperty,\n  isDiscriminatedUnion,\n  isOptional,\n  isZodTypeAny,\n} from '@wildo-ai/zod-decorators';\nimport type { ResourceType } from '../resources.shared.core.definitions';\n\n/**\n * Registry-level guard: a field the ENGINE stamps from the initiator's USER must not be REQUIRED.\n *\n * ## The shape (#584)\n *\n * `createdByUserId` is stripped from the CREATE DTO by name — a client may never author it — and is\n * stamped by the repository from `executionContext.initiatorIds.userId`, guarded by `if (userId)` in\n * both adapters (`addUserTracking`, and the PostgreSQL adapter's own copy). `updatedByUserId` /\n * `lastUpdatedByUserId` are stamped the same way on UPDATE.\n *\n * **A machine principal has no `userId`.** An org or application service acting over MCP, A2A,\n * client credentials, a worker or a batch supplies none, so a REQUIRED one of these fields is\n * satisfied by nobody: not the client (stripped), not the repository (the guard skips). Nothing said\n * so at registration or at exposure, and the write failed — or committed and then failed to describe\n * itself — the first time a machine caller reached the resource. That is how `todos` and `todoLists`\n * were found (#577), each only after being exposed.\n *\n * ## A refusal at boot, and why it was a report first\n *\n * The backend refuses to start when this returns anything — the engine's own measurement is that a\n * declaration gets made if and only if the framework refuses to start without it.\n *\n * It shipped as a startup REPORT on the belief that flipping the existing declarations to optional\n * changes PostgreSQL column nullability and so owes a migration in every surface. It does not: the\n * schema planner's contract (version 3) records `sqlType`, `hasIndex`, `isPrimaryKey`, `unique` and\n * `defaultClause` per column and no nullability, so a required-vs-optional change is enforced by the\n * Zod layer alone and leaves every lockfile in sync. Measured on all three PostgreSQL surfaces\n * before the promotion, with the existing declarations flipped in the same change.\n *\n * ## Scope\n *\n * - Only the user-stamped identifiers. The primary-scope foreign keys (`organizationId`, …) are also\n *   context-populated, but from the SCOPE, which a machine principal does carry — they are required on\n *   purpose.\n * - System resources are skipped: the framework owns their write paths and supplies or refuses the\n *   attribution explicitly (the SCIM token mint refuses a principal with no user).\n * - Discriminated-union (polymorphic) schemas are checked on every variant that declares the field.\n */\nexport const INITIATOR_USER_STAMPED_FIELD_IDENTIFIERS = ['createdByUserId', 'updatedByUserId', 'lastUpdatedByUserId'] as const;\n\nexport type InitiatorUserStampedFieldIdentifier = typeof INITIATOR_USER_STAMPED_FIELD_IDENTIFIERS[number];\n\nexport interface InitiatorStampedFieldViolation {\n  readonly resourceType: ResourceType;\n  readonly field: InitiatorUserStampedFieldIdentifier;\n  readonly message: string;\n}\n\n/** Structural subset of a resource configuration this validator needs. */\nexport interface InitiatorStampedFieldResourceInput {\n  readonly resourceIdentifier: ResourceType;\n  readonly mainSchema: z.ZodTypeAny;\n  readonly isSystemResource?: boolean;\n}\n\n/** Every object shape a main schema can present: itself, or each discriminated-union variant. */\nfunction objectShapesOf(mainSchema: z.ZodTypeAny): Record<string, z.ZodTypeAny>[] {\n  const direct = getObjectShape(mainSchema);\n  if (direct) return [direct as Record<string, z.ZodTypeAny>];\n  if (!isDiscriminatedUnion(mainSchema)) return [];\n  return (getZodDefArrayProperty(mainSchema, 'options') ?? [])\n    .filter(isZodTypeAny)\n    .map((option) => getObjectShape(option))\n    .filter((shape): shape is Record<string, z.ZodTypeAny> => !!shape);\n}\n\n/**\n * Report every non-system resource that declares an initiator-user-stamped field as REQUIRED.\n * `isOptional` treats `.optional()`, `.default()` and `.nullish()` as optional; a bare `.nullable()`\n * stays required, which is correct — `null` is not what the stamp's absence produces.\n */\nexport function validateInitiatorStampedFieldSatisfiability(\n  resourceConfigurations: Readonly<Record<string, InitiatorStampedFieldResourceInput>>,\n): InitiatorStampedFieldViolation[] {\n  const violations: InitiatorStampedFieldViolation[] = [];\n  for (const configuration of Object.values(resourceConfigurations)) {\n    if (!configuration?.mainSchema || configuration.isSystemResource) continue;\n    const shapes = objectShapesOf(configuration.mainSchema);\n    for (const field of INITIATOR_USER_STAMPED_FIELD_IDENTIFIERS) {\n      const requiredSomewhere = shapes.some((shape) => shape[field] && !isOptional(shape[field]));\n      if (!requiredSomewhere) continue;\n      violations.push({\n        resourceType: configuration.resourceIdentifier,\n        field,\n        message:\n          `[${String(configuration.resourceIdentifier)}] declares '${field}' as REQUIRED, but the engine stamps it only when`\n          + ' the initiator has a userId. A machine principal (MCP, A2A, client credentials, a worker, a batch) has none,'\n          + ' and a client may never send it, so a machine write to this resource cannot be satisfied.'\n          + ` Declare it \\`.optional()\\` — and generate the migration its nullability change owes.`,\n      });\n    }\n  }\n  return violations;\n}\n"]}

package/dist/esm/resources/utils/no-subject-data-stance-coherence.shared.utils.d.ts

@@ -0,0 +1,51 @@
+/**
+ * `NO_SUBJECT_DATA` against the personal data a resource declares it gets from the system (#2010).
+ *
+ * `HttpApiErasureStance.NO_SUBJECT_DATA` says the remote rows hold no data about a person, which is why a
+ * subject erasure reports `DECLARED_NO_SUBJECT_DATA` for them and reaches nothing. A resource that declares
+ * personal-data categories (`.dataCategories()`) on the fields it takes FROM that system says the opposite about
+ * the same rows. Both cannot be true, and the stance is the half that erasure acts on, so the contradiction is
+ * refused where it is authored, in the resource factory.
+ *
+ * Which fields come from the system depends on the lane:
+ * - a READ-THROUGH binding keeps the rows in the system of record, so every field of the resource is the remote
+ *   row's, except the tenant anchors the engine stamps (`HTTP_API_ENGINE_INJECTED_FIELDS`). Whether the resource
+ *   also WRITES does not matter: the rows hold the data either way;
+ * - a PIPELINE copies only its mapped fields. A field no mapping writes is the application's own, and a `CONSTANT`
+ *   entry reads nothing from the source. These are the same fields the privacy notice's source statement counts
+ *   (`systemOfRecordFlowsOfResource`), so the refusal and the notice cannot disagree about what came from where.
+ *
+ * Replaces the narrower write-only rule that `assertHttpApiWriteDeclarationCoherence` carried (#1679 rule 5), which
+ * asked only whether a binding WRITES personal fields. Reading them is the same contradiction, and a pipeline copy
+ * of them was not checked at all. Wonder Todos' `externalCustomers` held both declarations for twelve days.
+ *
+ * Fixing a refusal is a question of fact, never of preference:
+ * - if the fields really are about a person, the rows hold subject data: declare the stance that says so
+ *   (`EXTERNAL_ERASURE_OPERATION`, or `CONTROLLER_ACKNOWLEDGED_NON_ERASURE`);
+ * - if they are not (a company's name and its contact details are data about a legal person, outside personal
+ *   data), remove the categories.
+ *
+ * spec-cite: GDPR Recital 14, https://gdpr-info.eu/recitals/no-14/ — "This Regulation does not cover the processing
+ * of personal data which concerns legal persons and in particular undertakings established as legal persons,
+ * including the name and the form of the legal person and the contact details of the legal person."
+ */
+import type { z } from 'zod';
+import { HttpApiErasureStance } from '../../http-api-binding/http-api-erasure-stance.shared';
+/**
+ * The fields that declare personal-data categories while the binding they come from declares `NO_SUBJECT_DATA`,
+ * sorted. Empty for any other stance, and for a schema that is not an object.
+ *
+ * `sourcedFields` is the set of fields that come from the system: omit it for a read-through binding (every field
+ * but the engine-stamped anchors), pass the pipeline's mapped non-constant local fields for a copy.
+ */
+export declare function personalFieldsContradictingNoSubjectDataStance(params: {
+    readonly stance: HttpApiErasureStance;
+    readonly mainSchema: z.ZodTypeAny;
+    readonly sourcedFields?: ReadonlySet<string>;
+}): readonly string[];
+/** The refusal's text, shared by both lanes so the remedy reads the same wherever it fires. */
+export declare function describeNoSubjectDataStanceContradiction(params: {
+    readonly system: string;
+    readonly personalFields: readonly string[];
+}): string;
+//# sourceMappingURL=no-subject-data-stance-coherence.shared.utils.d.ts.map

package/dist/esm/resources/utils/no-subject-data-stance-coherence.shared.utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-subject-data-stance-coherence.shared.utils.d.ts","sourceRoot":"","sources":["../../../../src/resources/utils/no-subject-data-stance-coherence.shared.utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAG7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uDAAuD,CAAC;AAG7F;;;;;;GAMG;AACH,wBAAgB,8CAA8C,CAAC,MAAM,EAAE;IACrE,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC9C,GAAG,SAAS,MAAM,EAAE,CAOpB;AAED,+FAA+F;AAC/F,wBAAgB,wCAAwC,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAAG,MAAM,CAMhJ"}

package/dist/esm/resources/utils/no-subject-data-stance-coherence.shared.utils.js

@@ -0,0 +1,28 @@
+import { getDataCategories, getZodObjectShape, isZodObject } from '@wildo-ai/zod-decorators';
+import { HttpApiErasureStance } from '../../http-api-binding/http-api-erasure-stance.shared.js';
+import { HTTP_API_ENGINE_INJECTED_FIELDS } from '../../http-api-binding/read-through-engine-anchors.shared.js';
+/**
+ * The fields that declare personal-data categories while the binding they come from declares `NO_SUBJECT_DATA`,
+ * sorted. Empty for any other stance, and for a schema that is not an object.
+ *
+ * `sourcedFields` is the set of fields that come from the system: omit it for a read-through binding (every field
+ * but the engine-stamped anchors), pass the pipeline's mapped non-constant local fields for a copy.
+ */
+export function personalFieldsContradictingNoSubjectDataStance(params) {
+    if (params.stance !== HttpApiErasureStance.NO_SUBJECT_DATA || !isZodObject(params.mainSchema))
+        return [];
+    return Object.entries(getZodObjectShape(params.mainSchema))
+        .filter(([fieldName]) => (params.sourcedFields === undefined ? !HTTP_API_ENGINE_INJECTED_FIELDS.includes(fieldName) : params.sourcedFields.has(fieldName)))
+        .filter(([, fieldSchema]) => getDataCategories(fieldSchema) !== undefined)
+        .map(([fieldName]) => fieldName)
+        .sort();
+}
+/** The refusal's text, shared by both lanes so the remedy reads the same wherever it fires. */
+export function describeNoSubjectDataStanceContradiction(params) {
+    return `the fields [${params.personalFields.join(', ')}] come from '${params.system}' and declare personal-data categories, `
+        + `while the binding's erasure stance is '${HttpApiErasureStance.NO_SUBJECT_DATA}' — that those rows hold no data about a person. `
+        + 'Both cannot be true. If the fields are about a person, declare '
+        + `'${HttpApiErasureStance.EXTERNAL_ERASURE_OPERATION}' or '${HttpApiErasureStance.CONTROLLER_ACKNOWLEDGED_NON_ERASURE}'. `
+        + 'If they are not (a company\'s name and its contact details are data about a legal person), remove their .dataCategories().';
+}
+//# sourceMappingURL=no-subject-data-stance-coherence.shared.utils.js.map

package/dist/esm/resources/utils/no-subject-data-stance-coherence.shared.utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-subject-data-stance-coherence.shared.utils.js","sourceRoot":"","sources":["../../../../src/resources/utils/no-subject-data-stance-coherence.shared.utils.ts"],"names":[],"mappings":"AAgCA,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,uDAAuD,CAAC;AAC7F,OAAO,EAAE,+BAA+B,EAAE,MAAM,2DAA2D,CAAC;AAE5G;;;;;;GAMG;AACH,MAAM,UAAU,8CAA8C,CAAC,MAI9D;IACC,IAAI,MAAM,CAAC,MAAM,KAAK,oBAAoB,CAAC,eAAe,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IACzG,OAAO,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;SACxD,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;SAC1J,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,WAA2B,CAAC,KAAK,SAAS,CAAC;SACzF,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC;SAC/B,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,wCAAwC,CAAC,MAA+E;IACtI,OAAO,eAAe,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,MAAM,CAAC,MAAM,0CAA0C;UACzH,0CAA0C,oBAAoB,CAAC,eAAe,mDAAmD;UACjI,iEAAiE;UACjE,IAAI,oBAAoB,CAAC,0BAA0B,SAAS,oBAAoB,CAAC,mCAAmC,KAAK;UACzH,4HAA4H,CAAC;AACnI,CAAC","sourcesContent":["/**\n * `NO_SUBJECT_DATA` against the personal data a resource declares it gets from the system (#2010).\n *\n * `HttpApiErasureStance.NO_SUBJECT_DATA` says the remote rows hold no data about a person, which is why a\n * subject erasure reports `DECLARED_NO_SUBJECT_DATA` for them and reaches nothing. A resource that declares\n * personal-data categories (`.dataCategories()`) on the fields it takes FROM that system says the opposite about\n * the same rows. Both cannot be true, and the stance is the half that erasure acts on, so the contradiction is\n * refused where it is authored, in the resource factory.\n *\n * Which fields come from the system depends on the lane:\n * - a READ-THROUGH binding keeps the rows in the system of record, so every field of the resource is the remote\n *   row's, except the tenant anchors the engine stamps (`HTTP_API_ENGINE_INJECTED_FIELDS`). Whether the resource\n *   also WRITES does not matter: the rows hold the data either way;\n * - a PIPELINE copies only its mapped fields. A field no mapping writes is the application's own, and a `CONSTANT`\n *   entry reads nothing from the source. These are the same fields the privacy notice's source statement counts\n *   (`systemOfRecordFlowsOfResource`), so the refusal and the notice cannot disagree about what came from where.\n *\n * Replaces the narrower write-only rule that `assertHttpApiWriteDeclarationCoherence` carried (#1679 rule 5), which\n * asked only whether a binding WRITES personal fields. Reading them is the same contradiction, and a pipeline copy\n * of them was not checked at all. Wonder Todos' `externalCustomers` held both declarations for twelve days.\n *\n * Fixing a refusal is a question of fact, never of preference:\n * - if the fields really are about a person, the rows hold subject data: declare the stance that says so\n *   (`EXTERNAL_ERASURE_OPERATION`, or `CONTROLLER_ACKNOWLEDGED_NON_ERASURE`);\n * - if they are not (a company's name and its contact details are data about a legal person, outside personal\n *   data), remove the categories.\n *\n * spec-cite: GDPR Recital 14, https://gdpr-info.eu/recitals/no-14/ — \"This Regulation does not cover the processing\n * of personal data which concerns legal persons and in particular undertakings established as legal persons,\n * including the name and the form of the legal person and the contact details of the legal person.\"\n */\nimport type { z } from 'zod';\nimport { getDataCategories, getZodObjectShape, isZodObject } from '@wildo-ai/zod-decorators';\n\nimport { HttpApiErasureStance } from '../../http-api-binding/http-api-erasure-stance.shared';\nimport { HTTP_API_ENGINE_INJECTED_FIELDS } from '../../http-api-binding/read-through-engine-anchors.shared';\n\n/**\n * The fields that declare personal-data categories while the binding they come from declares `NO_SUBJECT_DATA`,\n * sorted. Empty for any other stance, and for a schema that is not an object.\n *\n * `sourcedFields` is the set of fields that come from the system: omit it for a read-through binding (every field\n * but the engine-stamped anchors), pass the pipeline's mapped non-constant local fields for a copy.\n */\nexport function personalFieldsContradictingNoSubjectDataStance(params: {\n  readonly stance: HttpApiErasureStance;\n  readonly mainSchema: z.ZodTypeAny;\n  readonly sourcedFields?: ReadonlySet<string>;\n}): readonly string[] {\n  if (params.stance !== HttpApiErasureStance.NO_SUBJECT_DATA || !isZodObject(params.mainSchema)) return [];\n  return Object.entries(getZodObjectShape(params.mainSchema))\n    .filter(([fieldName]) => (params.sourcedFields === undefined ? !HTTP_API_ENGINE_INJECTED_FIELDS.includes(fieldName) : params.sourcedFields.has(fieldName)))\n    .filter(([, fieldSchema]) => getDataCategories(fieldSchema as z.ZodTypeAny) !== undefined)\n    .map(([fieldName]) => fieldName)\n    .sort();\n}\n\n/** The refusal's text, shared by both lanes so the remedy reads the same wherever it fires. */\nexport function describeNoSubjectDataStanceContradiction(params: { readonly system: string; readonly personalFields: readonly string[] }): string {\n  return `the fields [${params.personalFields.join(', ')}] come from '${params.system}' and declare personal-data categories, `\n    + `while the binding's erasure stance is '${HttpApiErasureStance.NO_SUBJECT_DATA}' — that those rows hold no data about a person. `\n    + 'Both cannot be true. If the fields are about a person, declare '\n    + `'${HttpApiErasureStance.EXTERNAL_ERASURE_OPERATION}' or '${HttpApiErasureStance.CONTROLLER_ACKNOWLEDGED_NON_ERASURE}'. `\n    + 'If they are not (a company\\'s name and its contact details are data about a legal person), remove their .dataCategories().';\n}\n"]}

package/dist/esm/resources/utils/persistence-adapter-discrimination.shared.utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"persistence-adapter-discrimination.shared.utils.d.ts","sourceRoot":"","sources":["../../../../../src/resources/utils/persistence-adapter-discrimination.shared.utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,kBAAkB,EAElB,KAAK,sBAAsB,EAC5B,MAAM,oCAAoC,CAAC;AAE5C;;;;;;;;;GASG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,kBAAkB,GAAG,CAAC;CAAE,CAAC;AAEnF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,0BAA0B,CAAC,CAAC,EAC1C,OAAO,EAAE,sBAAsB,EAC/B,KAAK,EAAE,uBAAuB,CAAC,CAAC,CAAC,GAChC,CAAC,CAUH;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAC7B,sBAAsB,CAYxB"}
+{"version":3,"file":"persistence-adapter-discrimination.shared.utils.d.ts","sourceRoot":"","sources":["../../../../src/resources/utils/persistence-adapter-discrimination.shared.utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,kBAAkB,EAElB,KAAK,sBAAsB,EAC5B,MAAM,oCAAoC,CAAC;AAE5C;;;;;;;;;GASG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,kBAAkB,GAAG,CAAC;CAAE,CAAC;AAEnF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,0BAA0B,CAAC,CAAC,EAC1C,OAAO,EAAE,sBAAsB,EAC/B,KAAK,EAAE,uBAAuB,CAAC,CAAC,CAAC,GAChC,CAAC,CAUH;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAC7B,sBAAsB,CAYxB"}

package/dist/esm/resources/utils/persistence-adapter-discrimination.shared.utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"persistence-adapter-discrimination.shared.utils.js","sourceRoot":"","sources":["../../../../../src/resources/utils/persistence-adapter-discrimination.shared.utils.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,2BAA2B,EAC3B,kBAAkB,EAClB,oBAAoB,GAErB,MAAM,oCAAoC,CAAC;AAc5C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAA+B,EAC/B,KAAiC;IAEjC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACb,gCAAgC,MAAM,CAAC,OAAO,CAAC,iCAAiC;cAC9E,uBAAuB,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;cACvE,4FAA4F;cAC5F,wHAAwH,CAC3H,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,OAA6B,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAA8B;IAE9B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;QACpD,OAAO,2BAA2B,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,4CAA4C,GAAG,KAAK;cAClD,uBAAuB,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;cACvE,sFAAsF,CACzF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC","sourcesContent":["import {\n  DEFAULT_PERSISTENCE_ADAPTER,\n  PersistenceAdapter,\n  isPersistenceAdapter,\n  type PersistenceAdapterType,\n} from '../resources-config.shared.schemas';\n\n/**\n * One value per {@link PersistenceAdapter} member — the shape every adapter DECISION routes\n * through.\n *\n * Mapped over the enum so that adding a member makes every literal cases object a COMPILE error\n * (missing key) at each decision site, instead of a silent fall-through into whichever arm an\n * `else` happened to mean. Measured 2026-08-25 before this seam existed: 21 of 30 comparisons\n * tested `=== POSTGRESQL` with an `else` arm that silently meant \"MongoDB\" — a third backing kind\n * would have taken the MongoDB lane at all of them with no compile error and no runtime refusal.\n */\nexport type PersistenceAdapterCases<T> = { readonly [K in PersistenceAdapter]: T };\n\n/**\n * Exhaustive discrimination on a persistence adapter.\n *\n * Prefer this over `adapter === PersistenceAdapter.X ? … : …` whenever BOTH arms carry a real\n * answer (dispatching to a database service, choosing a primary-key column, choosing a compiler).\n * A plain binary comparison stays correct only where one side is a genuinely adapter-specific\n * feature gate (\"does this resource need the PostgreSQL migration door?\") — there, the negative\n * arm means \"not that feature\", not \"the other adapter\", and such sites carry a justified comment\n * instead of this helper.\n *\n * Two guarantees, one per failure direction:\n * - **New enum member** → every call site's `cases` object misses a key → compile error\n *   (see {@link PersistenceAdapterCases}).\n * - **Unknown string at runtime** (erased config, a serialized value from an older or foreign\n *   writer) → throws instead of returning either arm. Thrown as a plain `Error` because this\n *   module is shared-tier (no `ErrorBuilder` here — same precedent as the factory's\n *   configuration errors); backend callers surface it through their ordinary error projection.\n *   It names the value and the supported set so the remedy is legible at the boundary it crossed.\n *\n * Branch values are eagerly evaluated; pass thunks (`() => …`) when construction is expensive or\n * side-effectful and invoke the selected one.\n */\nexport function selectByPersistenceAdapter<T>(\n  adapter: PersistenceAdapterType,\n  cases: PersistenceAdapterCases<T>,\n): T {\n  if (!Object.prototype.hasOwnProperty.call(cases, adapter)) {\n    throw new Error(\n      `Unknown persistence adapter '${String(adapter)}' reached an adapter decision. `\n      + `Supported adapters: ${Object.values(PersistenceAdapter).join(', ')}. `\n      + 'This is a framework configuration defect: a backing kind was declared or stored that this '\n      + 'deployment does not implement, and refusing here prevents it from being silently treated as one of the known adapters.',\n    );\n  }\n  return cases[adapter as PersistenceAdapter];\n}\n\n/**\n * Parse an adapter declaration arriving as a RAW string (an env var, a stored configuration\n * document, any erased boundary).\n *\n * - absent (`undefined` / `null`) or empty string (the compose-interpolation contract for\n *   \"not set\") → {@link DEFAULT_PERSISTENCE_ADAPTER}. An undeclared deployment keeps today's\n *   behavior exactly.\n * - a known member's value → that member.\n * - **present but unknown → throws.** This is the provisioning-door contract: a declaration that\n *   IS authored but names a backing kind this deployment does not know must refuse loudly, never\n *   collapse to MongoDB the way `x === POSTGRESQL ? POSTGRESQL : MONGODB` did — that collapse is\n *   how a platform would have provisioned a MongoDB database for a resource that has none.\n */\nexport function parseDeclaredPersistenceAdapter(\n  raw: string | undefined | null,\n): PersistenceAdapterType {\n  if (raw === undefined || raw === null || raw === '') {\n    return DEFAULT_PERSISTENCE_ADAPTER;\n  }\n  if (!isPersistenceAdapter(raw)) {\n    throw new Error(\n      `Unknown persistence adapter declaration '${raw}'. `\n      + `Supported adapters: ${Object.values(PersistenceAdapter).join(', ')}. `\n      + 'Remove the declaration to use the framework default, or declare a supported adapter.',\n    );\n  }\n  return raw;\n}\n"]}
+{"version":3,"file":"persistence-adapter-discrimination.shared.utils.js","sourceRoot":"","sources":["../../../../src/resources/utils/persistence-adapter-discrimination.shared.utils.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,2BAA2B,EAC3B,kBAAkB,EAClB,oBAAoB,GAErB,MAAM,oCAAoC,CAAC;AAc5C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAA+B,EAC/B,KAAiC;IAEjC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACb,gCAAgC,MAAM,CAAC,OAAO,CAAC,iCAAiC;cAC9E,uBAAuB,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;cACvE,4FAA4F;cAC5F,wHAAwH,CAC3H,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,OAA6B,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAA8B;IAE9B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;QACpD,OAAO,2BAA2B,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,4CAA4C,GAAG,KAAK;cAClD,uBAAuB,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;cACvE,sFAAsF,CACzF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC","sourcesContent":["import {\n  DEFAULT_PERSISTENCE_ADAPTER,\n  PersistenceAdapter,\n  isPersistenceAdapter,\n  type PersistenceAdapterType,\n} from '../resources-config.shared.schemas';\n\n/**\n * One value per {@link PersistenceAdapter} member — the shape every adapter DECISION routes\n * through.\n *\n * Mapped over the enum so that adding a member makes every literal cases object a COMPILE error\n * (missing key) at each decision site, instead of a silent fall-through into whichever arm an\n * `else` happened to mean. Measured 2026-08-25 before this seam existed: 21 of 30 comparisons\n * tested `=== POSTGRESQL` with an `else` arm that silently meant \"MongoDB\" — a third backing kind\n * would have taken the MongoDB lane at all of them with no compile error and no runtime refusal.\n */\nexport type PersistenceAdapterCases<T> = { readonly [K in PersistenceAdapter]: T };\n\n/**\n * Exhaustive discrimination on a persistence adapter.\n *\n * Prefer this over `adapter === PersistenceAdapter.X ? … : …` whenever BOTH arms carry a real\n * answer (dispatching to a database service, choosing a primary-key column, choosing a compiler).\n * A plain binary comparison stays correct only where one side is a genuinely adapter-specific\n * feature gate (\"does this resource need the PostgreSQL migration door?\") — there, the negative\n * arm means \"not that feature\", not \"the other adapter\", and such sites carry a justified comment\n * instead of this helper.\n *\n * Two guarantees, one per failure direction:\n * - **New enum member** → every call site's `cases` object misses a key → compile error\n *   (see {@link PersistenceAdapterCases}).\n * - **Unknown string at runtime** (erased config, a serialized value from an older or foreign\n *   writer) → throws instead of returning either arm. Thrown as a plain `Error` because this\n *   module is shared-tier (no `ErrorBuilder` here — same precedent as the factory's\n *   configuration errors); backend callers surface it through their ordinary error projection.\n *   It names the value and the supported set so the remedy is legible at the boundary it crossed.\n *\n * Branch values are eagerly evaluated; pass thunks (`() => …`) when construction is expensive or\n * side-effectful and invoke the selected one.\n */\nexport function selectByPersistenceAdapter<T>(\n  adapter: PersistenceAdapterType,\n  cases: PersistenceAdapterCases<T>,\n): T {\n  if (!Object.prototype.hasOwnProperty.call(cases, adapter)) {\n    throw new Error(\n      `Unknown persistence adapter '${String(adapter)}' reached an adapter decision. `\n      + `Supported adapters: ${Object.values(PersistenceAdapter).join(', ')}. `\n      + 'This is a framework configuration defect: a backing kind was declared or stored that this '\n      + 'deployment does not implement, and refusing here prevents it from being silently treated as one of the known adapters.',\n    );\n  }\n  return cases[adapter as PersistenceAdapter];\n}\n\n/**\n * Parse an adapter declaration arriving as a RAW string (an env var, a stored configuration\n * document, any erased boundary).\n *\n * - absent (`undefined` / `null`) or empty string (the compose-interpolation contract for\n *   \"not set\") → {@link DEFAULT_PERSISTENCE_ADAPTER}. An undeclared deployment keeps today's\n *   behavior exactly.\n * - a known member's value → that member.\n * - **present but unknown → throws.** This is the provisioning-door contract: a declaration that\n *   IS authored but names a backing kind this deployment does not know must refuse loudly, never\n *   collapse to MongoDB the way `x === POSTGRESQL ? POSTGRESQL : MONGODB` did — that collapse is\n *   how a platform would have provisioned a MongoDB database for a resource that has none.\n */\nexport function parseDeclaredPersistenceAdapter(\n  raw: string | undefined | null,\n): PersistenceAdapterType {\n  if (raw === undefined || raw === null || raw === '') {\n    return DEFAULT_PERSISTENCE_ADAPTER;\n  }\n  if (!isPersistenceAdapter(raw)) {\n    throw new Error(\n      `Unknown persistence adapter declaration '${raw}'. `\n      + `Supported adapters: ${Object.values(PersistenceAdapter).join(', ')}. `\n      + 'Remove the declaration to use the framework default, or declare a supported adapter.',\n    );\n  }\n  return raw;\n}\n"]}

package/dist/esm/resources/utils/populated-file-fields.shared.utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"populated-file-fields.shared.utils.d.ts","sourceRoot":"","sources":["../../../../../src/resources/utils/populated-file-fields.shared.utils.ts"],"names":[],"mappings":"AAgDA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,yFAAyF;AACzF,eAAO,MAAM,yBAAyB,EAAG,MAAe,CAAC;AACzD,iGAAiG;AACjG,eAAO,MAAM,4BAA4B,EAAG,OAAgB,CAAC;AAE7D;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,EAAE,CAAC,CAAC,UAkB1C,CAAC;AAqBH;;;;;GAKG;AACH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;AACtH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;AAChH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,GAAG,SAAS,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,GAAG,SAAS,CAAC"}
+{"version":3,"file":"populated-file-fields.shared.utils.d.ts","sourceRoot":"","sources":["../../../../src/resources/utils/populated-file-fields.shared.utils.ts"],"names":[],"mappings":"AAgDA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,yFAAyF;AACzF,eAAO,MAAM,yBAAyB,EAAG,MAAe,CAAC;AACzD,iGAAiG;AACjG,eAAO,MAAM,4BAA4B,EAAG,OAAgB,CAAC;AAE7D;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,EAAE,CAAC,CAAC,UAkB8B,CAAC;AA+B3E;;;;;GAKG;AACH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;AACtH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;AAChH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,GAAG,SAAS,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,GAAG,SAAS,CAAC"}

package/dist/esm/resources/utils/populated-file-fields.shared.utils.js

@@ -38,29 +38,38 @@ export const POPULATED_MULTIPLE_FILES_KEY = 'files';
  * than stripped — this is server-produced data, never a request.
  */
 export const PopulatedFileMetadataSchema = z.looseObject({
-    readiness: z.enum(FileReadiness),
-    fileId: z.string().min(1),
-    filename: z.string(),
-    size: z.number(),
-    mimeType: z.string(),
-    extension: z.string().optional(),
-    checksum: z.string().optional(),
-    url: z.string().optional(),
-    thumbnailUrl: z.string().optional(),
-    nature: z.enum(FileDisplayNature).optional(),
-    width: z.number().optional(),
-    height: z.number().optional(),
-    duration: z.number().optional(),
-    pageCount: z.number().optional(),
-    uploadedAt: z.coerce.date(),
-    uploadedBy: z.string().optional(),
-    uploadedByEntityType: z.enum(FileUploaderEntityType).optional(),
-});
+    readiness: z.enum(FileReadiness).describe("Whether the file may be attached: `ready` may be, `attached` belongs to its current record and is not reused elsewhere, `processing` is still being checked and must be read again, and `unavailable` cannot be newly attached. An upload's success is not this."),
+    fileId: z.string().min(1).describe("The file's identifier."),
+    filename: z.string().describe("The file's original name."),
+    size: z.number().describe("The file's size in bytes."),
+    mimeType: z.string().describe("The file's media type."),
+    extension: z.string().optional().describe("The file's extension, without the dot."),
+    checksum: z.string().optional().describe("A checksum of the file's content."),
+    url: z.string().optional().describe("Where the file can be downloaded."),
+    thumbnailUrl: z.string().optional().describe("Where a thumbnail of an image or video can be fetched."),
+    nature: z.enum(FileDisplayNature).optional().describe("What kind of file it is, for display: image, video, audio, document or generic."),
+    width: z.number().optional().describe("An image's width in pixels."),
+    height: z.number().optional().describe("An image's height in pixels."),
+    duration: z.number().optional().describe("An audio or video file's length in seconds."),
+    pageCount: z.number().optional().describe("A document's number of pages."),
+    uploadedAt: z.coerce.date().describe("When the file was uploaded."),
+    uploadedBy: z.string().optional().describe("The identifier of whoever uploaded the file."),
+    uploadedByEntityType: z.enum(FileUploaderEntityType).optional().describe("What kind of principal uploaded the file: a user, an anonymous user, or an organization's or the application's machine client."),
+}).describe("The file's details, included when the read populates files.");
 function carrySchemaMetadata(source, rebuilt) {
     const metadata = source[SCHEMA_METADATA];
     if (metadata !== undefined) {
         rebuilt[SCHEMA_METADATA] = metadata;
     }
+    // Zod's own registry too (`.describe()` / `.meta()`, #1625): `.extend()` clones without the parent link
+    // a clone inherits it through, so a widened file field would otherwise publish undescribed. Not `id`,
+    // which names one schema.
+    const registered = z.globalRegistry.get(source);
+    if (registered !== undefined && !z.globalRegistry.has(rebuilt)) {
+        const { id: _id, ...carried } = registered;
+        if (Object.keys(carried).length > 0)
+            z.globalRegistry.add(rebuilt, carried);
+    }
     return rebuilt;
 }
 /** A `z_file()` leaf (the reference object, metadata attached) widened with its optional populated companion. */
@@ -72,7 +81,9 @@ function widenFileLeaf(leaf) {
     const companionKey = fileMetadata.multiple ? POPULATED_MULTIPLE_FILES_KEY : POPULATED_SINGLE_FILE_KEY;
     if (companionKey in shape)
         return leaf; // already widened (a DTO derived from a widened DTO)
-    const companion = fileMetadata.multiple ? z.array(PopulatedFileMetadataSchema).optional() : PopulatedFileMetadataSchema.optional();
+    const companion = fileMetadata.multiple
+        ? z.array(PopulatedFileMetadataSchema).optional().describe("Each file's details, included when the read populates files.")
+        : PopulatedFileMetadataSchema.optional();
     return carrySchemaMetadata(leaf, leaf.extend({ [companionKey]: companion }));
 }
 export function widenFileFieldsForPopulatedReads(schema, activeSchemas = new WeakSet()) {