@pegma/support-desk-application 0.2.4 → 0.2.6

package/dist/resolution-learning-staged-records.js

@@ -0,0 +1,193 @@
+import { canonical, encodedBytes, fields, integer, text, timestamp, } from "./assistant-turn-records.js";
+import { validateResolutionTarget } from "./resolution-learning-records.js";
+export function resolutionLearningReviewAttemptKey(ticketId, commandId) {
+    text(ticketId, "ticketId");
+    text(commandId, "commandId");
+    return { partition: ticketId, id: `learning-review-attempt:${commandId}` };
+}
+function hash(value, name) {
+    text(value, name, 64);
+    if (!/^[0-9a-f]{64}$/.test(value))
+        throw new TypeError(`Invalid ${name}`);
+}
+export function validateStagedReviewIntent(value) {
+    const intent = fields(value, "review intent", [
+        "reviewerId",
+        "ticketId",
+        "sourceGeneration",
+        "expectedWorkGeneration",
+        "target",
+        "policy",
+    ]);
+    text(intent.reviewerId, "reviewerId");
+    text(intent.ticketId, "ticketId");
+    integer(intent.sourceGeneration, "sourceGeneration", 1);
+    integer(intent.expectedWorkGeneration, "expectedWorkGeneration", 1);
+    validateResolutionTarget(intent.target);
+    const policy = fields(intent.policy, "review policy", [
+        "version",
+        "binding",
+        "verifiedAt",
+        "validUntil",
+    ]);
+    text(policy.version, "policy.version");
+    text(policy.binding, "policy.binding");
+    if (timestamp(policy.verifiedAt, "verifiedAt") >=
+        timestamp(policy.validUntil, "validUntil"))
+        throw new TypeError("Invalid review policy interval");
+}
+export function validateStagedReviewProof(value) {
+    const proof = fields(value, "review proof", ["binding", "validUntil"]);
+    hash(proof.binding, "proof.binding");
+    timestamp(proof.validUntil, "proof.validUntil");
+}
+export function validateStagedReviewFence(value) {
+    const fence = fields(value, "review claim", [
+        "ticketId",
+        "commandId",
+        "workerId",
+        "claimId",
+        "claimGeneration",
+    ]);
+    for (const key of ["ticketId", "commandId", "workerId", "claimId"])
+        text(fence[key], key);
+    integer(fence.claimGeneration, "claimGeneration", 1);
+}
+/** Pending rows are durable outbox state. Expiry alone never deletes an unknown command. */
+export function assertResolutionLearningReviewAttempt(value, key) {
+    const row = fields(value, "review attempt", [
+        "kind",
+        "partition",
+        "id",
+        "ticketId",
+        "reviewerId",
+        "command",
+        "intent",
+        "fingerprint",
+        "state",
+        "phase",
+        "claimGeneration",
+        "createdAt",
+        "expiresAt",
+        "completionRows",
+    ], ["claim", "leaseUntil", "proof"]);
+    if (row.kind !== "resolution_learning_review_attempt" ||
+        row.partition !== key.partition ||
+        row.id !== key.id ||
+        row.ticketId !== key.partition)
+        throw new TypeError("Invalid review attempt envelope");
+    validateStagedReviewIntent(row.intent);
+    const intent = row.intent;
+    const command = fields(row.command, "staged review command", [
+        "ticketId",
+        "commandId",
+        "correlationId",
+        "sourceGeneration",
+        "expectedWorkGeneration",
+        "target",
+        "policyVersion",
+        "intentBinding",
+        "decision",
+    ], ["reason"]);
+    for (const name of [
+        "ticketId",
+        "commandId",
+        "correlationId",
+        "policyVersion",
+    ])
+        text(command[name], name);
+    if (command.reason !== undefined)
+        text(command.reason, "reason");
+    validateResolutionTarget(command.target);
+    hash(command.intentBinding, "intentBinding");
+    hash(row.fingerprint, "fingerprint");
+    if (command.decision !== "approve" && command.decision !== "reject")
+        throw new TypeError("Invalid review decision");
+    const expected = resolutionLearningReviewAttemptKey(intent.ticketId, command.commandId);
+    if (key.partition !== expected.partition ||
+        key.id !== expected.id ||
+        command.ticketId !== intent.ticketId ||
+        row.reviewerId !== intent.reviewerId ||
+        command.sourceGeneration !== intent.sourceGeneration ||
+        command.expectedWorkGeneration !== intent.expectedWorkGeneration ||
+        command.policyVersion !== intent.policy.version ||
+        canonical(command.target) !== canonical(intent.target) ||
+        row.expiresAt !== intent.policy.validUntil)
+        throw new TypeError("Review attempt bindings differ");
+    integer(row.claimGeneration, "claimGeneration", 0);
+    timestamp(row.createdAt, "createdAt");
+    timestamp(row.expiresAt, "expiresAt");
+    if (!["pending", "held", "accepted", "cancelled"].includes(row.state) ||
+        !["proof", "commit"].includes(row.phase))
+        throw new TypeError("Invalid staged review state");
+    if (row.completionRows !==
+        (row.state === "accepted" || row.state === "cancelled" ? 0 : 2))
+        throw new TypeError("Invalid review completion reserve");
+    if ((row.claim === undefined) !== (row.leaseUntil === undefined))
+        throw new TypeError("Incomplete review lease");
+    if (row.claim !== undefined) {
+        validateStagedReviewFence(row.claim);
+        if (row.state !== "pending" ||
+            row.claim.ticketId !== row.ticketId ||
+            row.claim.commandId !== command.commandId ||
+            row.claim.claimGeneration !== row.claimGeneration ||
+            timestamp(row.leaseUntil, "leaseUntil") >
+                timestamp(row.expiresAt, "expiresAt"))
+            throw new TypeError("Invalid review lease binding");
+    }
+    if (row.proof !== undefined) {
+        validateStagedReviewProof(row.proof);
+        if (row.phase !== "commit" ||
+            timestamp(row.proof.validUntil, "proof.validUntil") >
+                timestamp(row.expiresAt, "expiresAt"))
+            throw new TypeError("Invalid prepared review proof");
+    }
+    if (row.state === "pending" &&
+        row.phase === "commit" &&
+        row.proof === undefined)
+        throw new TypeError("Commit phase requires P1 proof");
+    if (encodedBytes(value) > 60_000)
+        throw new TypeError("Review attempt exceeds serialized limit");
+}
+/** Reserve legal future claim/proof envelopes before accepting the command. */
+export function maximumResolutionLearningReviewAttemptBytes(row) {
+    return encodedBytes({
+        ...row,
+        state: "pending",
+        phase: "commit",
+        completionRows: 2,
+        claimGeneration: Number.MAX_SAFE_INTEGER,
+        claim: {
+            ticketId: row.ticketId,
+            commandId: row.command.commandId,
+            workerId: "\ud800".repeat(200),
+            claimId: "\ud800".repeat(200),
+            claimGeneration: Number.MAX_SAFE_INTEGER,
+        },
+        leaseUntil: "9999-12-31T23:59:59.999Z",
+        proof: { binding: "f".repeat(64), validUntil: "9999-12-31T23:59:59.999Z" },
+    });
+}
+export function assertResolutionLearningReviewReservation(value, key) {
+    const row = fields(value, "review reservation", [
+        "kind",
+        "partition",
+        "id",
+        "ticketId",
+        "commandId",
+        "reviewerId",
+        "fingerprint",
+        "expiresAt",
+    ]);
+    for (const name of ["ticketId", "commandId", "reviewerId"])
+        text(row[name], name);
+    hash(row.fingerprint, "fingerprint");
+    timestamp(row.expiresAt, "expiresAt");
+    if (row.kind !== "resolution_learning_review_reservation" ||
+        row.partition !== key.partition ||
+        row.ticketId !== key.partition ||
+        row.id !== key.id ||
+        key.id !== `learning-command:${row.commandId}`)
+        throw new TypeError("Review reservation envelope mismatch");
+}
+//# sourceMappingURL=resolution-learning-staged-records.js.map

package/dist/resolution-learning-staged-records.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-learning-staged-records.js","sourceRoot":"","sources":["../src/resolution-learning-staged-records.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,SAAS,EACT,YAAY,EACZ,MAAM,EACN,OAAO,EACP,IAAI,EACJ,SAAS,GACV,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AA4B5E,MAAM,UAAU,kCAAkC,CAChD,QAAgB,EAChB,SAAiB;IAEjB,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC3B,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC7B,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,2BAA2B,SAAS,EAAE,EAAE,CAAC;AAC7E,CAAC;AACD,SAAS,IAAI,CAAC,KAAc,EAAE,IAAY;IACxC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAe,CAAC;QACzC,MAAM,IAAI,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,0BAA0B,CACxC,KAAc;IAEd,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,eAAe,EAAE;QAC5C,YAAY;QACZ,UAAU;QACV,kBAAkB;QAClB,wBAAwB;QACxB,QAAQ;QACR,QAAQ;KACT,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClC,OAAO,CAAC,MAAM,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC;IACxD,OAAO,CAAC,MAAM,CAAC,sBAAsB,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC;IACpE,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE;QACpD,SAAS;QACT,SAAS;QACT,YAAY;QACZ,YAAY;KACb,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACvC,IACE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC;QAC1C,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC;QAE1C,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;AAC1D,CAAC;AACD,MAAM,UAAU,yBAAyB,CACvC,KAAc;IAEd,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,cAAc,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACrC,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;AAClD,CAAC;AACD,MAAM,UAAU,yBAAyB,CACvC,KAAc;IAEd,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,cAAc,EAAE;QAC1C,UAAU;QACV,WAAW;QACX,UAAU;QACV,SAAS;QACT,iBAAiB;KAClB,CAAC,CAAC;IACH,KAAK,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,CAAC;QAChE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACxB,OAAO,CAAC,KAAK,CAAC,eAAe,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;AACvD,CAAC;AACD,4FAA4F;AAC5F,MAAM,UAAU,qCAAqC,CACnD,KAAc,EACd,GAAc;IAEd,MAAM,GAAG,GAAG,MAAM,CAChB,KAAK,EACL,gBAAgB,EAChB;QACE,MAAM;QACN,WAAW;QACX,IAAI;QACJ,UAAU;QACV,YAAY;QACZ,SAAS;QACT,QAAQ;QACR,aAAa;QACb,OAAO;QACP,OAAO;QACP,iBAAiB;QACjB,WAAW;QACX,WAAW;QACX,gBAAgB;KACjB,EACD,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,CACjC,CAAC;IACF,IACE,GAAG,CAAC,IAAI,KAAK,oCAAoC;QACjD,GAAG,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS;QAC/B,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE;QACjB,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,SAAS;QAE9B,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAC;IACzD,0BAA0B,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,MAAM,OAAO,GAAG,MAAM,CACpB,GAAG,CAAC,OAAO,EACX,uBAAuB,EACvB;QACE,UAAU;QACV,WAAW;QACX,eAAe;QACf,kBAAkB;QAClB,wBAAwB;QACxB,QAAQ;QACR,eAAe;QACf,eAAe;QACf,UAAU;KACX,EACD,CAAC,QAAQ,CAAC,CACX,CAAC;IACF,KAAK,MAAM,IAAI,IAAI;QACjB,UAAU;QACV,WAAW;QACX,eAAe;QACf,eAAe;KAChB;QACC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5B,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjE,wBAAwB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ;QACjE,MAAM,IAAI,SAAS,CAAC,yBAAyB,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,kCAAkC,CACjD,MAAM,CAAC,QAAQ,EACf,OAAO,CAAC,SAAmB,CAC5B,CAAC;IACF,IACE,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACpC,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE;QACtB,OAAO,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;QACpC,GAAG,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;QACpC,OAAO,CAAC,gBAAgB,KAAK,MAAM,CAAC,gBAAgB;QACpD,OAAO,CAAC,sBAAsB,KAAK,MAAM,CAAC,sBAAsB;QAChE,OAAO,CAAC,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO;QAC/C,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;QACtD,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU;QAE1C,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;IACnD,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACtC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACtC,IACE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,QAAQ,CACpD,GAAG,CAAC,KAAe,CACpB;QACD,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAe,CAAC;QAElD,MAAM,IAAI,SAAS,CAAC,6BAA6B,CAAC,CAAC;IACrD,IACE,GAAG,CAAC,cAAc;QAClB,CAAC,GAAG,CAAC,KAAK,KAAK,UAAU,IAAI,GAAG,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/D,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,CAAC;IAC3D,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC;QAC9D,MAAM,IAAI,SAAS,CAAC,yBAAyB,CAAC,CAAC;IACjD,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5B,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IACE,GAAG,CAAC,KAAK,KAAK,SAAS;YACvB,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ;YACnC,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS;YACzC,GAAG,CAAC,KAAK,CAAC,eAAe,KAAK,GAAG,CAAC,eAAe;YACjD,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC;gBACrC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;YAEvC,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5B,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IACE,GAAG,CAAC,KAAK,KAAK,QAAQ;YACtB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,kBAAkB,CAAC;gBACjD,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;YAEvC,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;IACzD,CAAC;IACD,IACE,GAAG,CAAC,KAAK,KAAK,SAAS;QACvB,GAAG,CAAC,KAAK,KAAK,QAAQ;QACtB,GAAG,CAAC,KAAK,KAAK,SAAS;QAEvB,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACxD,IAAI,YAAY,CAAC,KAAK,CAAC,GAAG,MAAM;QAC9B,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;AACnE,CAAC;AACD,+EAA+E;AAC/E,MAAM,UAAU,2CAA2C,CACzD,GAA0C;IAE1C,OAAO,YAAY,CAAC;QAClB,GAAG,GAAG;QACN,KAAK,EAAE,SAAS;QAChB,KAAK,EAAE,QAAQ;QACf,cAAc,EAAE,CAAC;QACjB,eAAe,EAAE,MAAM,CAAC,gBAAgB;QACxC,KAAK,EAAE;YACL,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,SAAS;YAChC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;YAC9B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;YAC7B,eAAe,EAAE,MAAM,CAAC,gBAAgB;SACzC;QACD,UAAU,EAAE,0BAA0B;QACtC,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,0BAA0B,EAAE;KAC3E,CAAC,CAAC;AACL,CAAC;AAaD,MAAM,UAAU,yCAAyC,CACvD,KAAc,EACd,GAAc;IAEd,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,oBAAoB,EAAE;QAC9C,MAAM;QACN,WAAW;QACX,IAAI;QACJ,UAAU;QACV,WAAW;QACX,YAAY;QACZ,aAAa;QACb,WAAW;KACZ,CAAC,CAAC;IACH,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,YAAY,CAAC;QACxD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACrC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACtC,IACE,GAAG,CAAC,IAAI,KAAK,wCAAwC;QACrD,GAAG,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS;QAC/B,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,SAAS;QAC9B,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE;QACjB,GAAG,CAAC,EAAE,KAAK,oBAAoB,GAAG,CAAC,SAAmB,EAAE;QAExD,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;AAChE,CAAC"}

package/dist/resolution-learning-staged-types.d.ts

@@ -0,0 +1,88 @@
+import type { AccessContext } from "@pegma/authorization-core";
+import type { IsoTimestamp, PrincipalId } from "@pegma/spine";
+import type { ResolutionLearningReviewReceipt, ResolutionLearningTarget, ReviewResolutionLearningProposalCommand } from "./resolution-learning-types.js";
+/** Immutable checked intent. These observations never replace fresh authority. */
+export interface ResolutionLearningStagedReviewIntent {
+    readonly reviewerId: PrincipalId;
+    readonly ticketId: string;
+    readonly sourceGeneration: number;
+    readonly expectedWorkGeneration: number;
+    readonly target: ResolutionLearningTarget;
+    readonly policy: {
+        readonly version: string;
+        readonly binding: string;
+        readonly verifiedAt: IsoTimestamp;
+        readonly validUntil: IsoTimestamp;
+    };
+}
+export interface ResolutionLearningStagedReviewKey {
+    readonly ticketId: string;
+    readonly commandId: string;
+}
+export interface ResolutionLearningStagedReviewFence extends ResolutionLearningStagedReviewKey {
+    readonly workerId: string;
+    readonly claimId: string;
+    readonly claimGeneration: number;
+}
+export interface ResolutionLearningStagedReviewProof {
+    /** Digest of the complete P1 observation, never an authorization capability. */
+    readonly binding: string;
+    readonly validUntil: IsoTimestamp;
+}
+export interface ResolutionLearningStagedReviewHint extends ResolutionLearningStagedReviewKey {
+    readonly reviewerId: PrincipalId;
+    readonly phase: "proof" | "commit";
+    readonly expiresAt: IsoTimestamp;
+    readonly leaseUntil?: IsoTimestamp;
+    readonly held: boolean;
+}
+export interface ResolutionLearningStagedReviewClaim {
+    readonly fence: ResolutionLearningStagedReviewFence;
+    readonly reviewerId: PrincipalId;
+    readonly command: ReviewResolutionLearningProposalCommand;
+    readonly intent: ResolutionLearningStagedReviewIntent;
+    readonly phase: "proof" | "commit";
+    readonly leaseUntil: IsoTimestamp;
+    readonly expiresAt: IsoTimestamp;
+    readonly proof?: ResolutionLearningStagedReviewProof;
+}
+export type ResolutionLearningStagedReviewStatus = ResolutionLearningReviewReceipt | {
+    readonly outcome: "pending";
+    readonly ticketId: string;
+    readonly commandId: string;
+    readonly phase: "proof" | "commit";
+    readonly claimed: boolean;
+    readonly held: boolean;
+    readonly expiresAt: IsoTimestamp;
+};
+/** Fresh host proof, with an optional synchronous assertion after the last await. */
+export type ResolutionLearningStagedReviewGuard = () => void | (() => true) | Promise<void | (() => true)>;
+/** Additive opt-in capability. Existing inline application implementations need no changes. */
+export interface ResolutionLearningStagedReviewApplication {
+    admit(access: AccessContext, command: ReviewResolutionLearningProposalCommand, intent: ResolutionLearningStagedReviewIntent, verifyBeforeCommit: ResolutionLearningStagedReviewGuard): Promise<ResolutionLearningStagedReviewStatus>;
+    readStatus(access: AccessContext, command: ReviewResolutionLearningProposalCommand): Promise<ResolutionLearningStagedReviewStatus | null>;
+    /** Opaque dispatch metadata only, authorized by learningProcess. */
+    readPending(access: AccessContext, key: ResolutionLearningStagedReviewKey): Promise<ResolutionLearningStagedReviewHint | null>;
+    scanPending(access: AccessContext, bounds: {
+        readonly cursor?: string;
+        readonly limit: number;
+    }): Promise<{
+        readonly candidates: readonly ResolutionLearningStagedReviewHint[];
+        readonly nextCursor: string | null;
+        readonly physicalRows: number;
+        readonly pages: 1;
+    }>;
+    /** Caller supplies freshly resolved original human authority, never the scanning service's access. */
+    claim(access: AccessContext, command: ResolutionLearningStagedReviewKey & {
+        readonly workerId: string;
+        readonly claimId: string;
+        readonly leaseMilliseconds: number;
+    }): Promise<ResolutionLearningStagedReviewClaim | null>;
+    prepare(access: AccessContext, command: {
+        readonly fence: ResolutionLearningStagedReviewFence;
+        readonly proof: ResolutionLearningStagedReviewProof;
+    }, verifyBeforeCommit: ResolutionLearningStagedReviewGuard): Promise<ResolutionLearningStagedReviewStatus>;
+    complete(access: AccessContext, fence: ResolutionLearningStagedReviewFence, verifyBeforeCommit: ResolutionLearningStagedReviewGuard): Promise<ResolutionLearningReviewReceipt>;
+    cancel(access: AccessContext, command: ReviewResolutionLearningProposalCommand, verifyBeforeCommit: ResolutionLearningStagedReviewGuard): Promise<ResolutionLearningReviewReceipt>;
+}
+//# sourceMappingURL=resolution-learning-staged-types.d.ts.map

package/dist/resolution-learning-staged-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-learning-staged-types.d.ts","sourceRoot":"","sources":["../src/resolution-learning-staged-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,KAAK,EACV,+BAA+B,EAC/B,wBAAwB,EACxB,uCAAuC,EACxC,MAAM,gCAAgC,CAAC;AAExC,kFAAkF;AAClF,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;QAClC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;KACnC,CAAC;CACH;AACD,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,MAAM,WAAW,mCAAoC,SAAQ,iCAAiC;IAC5F,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AACD,MAAM,WAAW,mCAAmC;IAClD,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;CACnC;AACD,MAAM,WAAW,kCAAmC,SAAQ,iCAAiC;IAC3F,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AACD,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,KAAK,EAAE,mCAAmC,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,uCAAuC,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,oCAAoC,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC;CACtD;AACD,MAAM,MAAM,oCAAoC,GAC5C,+BAA+B,GAC/B;IACE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC,CAAC;AACN,qFAAqF;AACrF,MAAM,MAAM,mCAAmC,GAAG,MAChD,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;AAErD,+FAA+F;AAC/F,MAAM,WAAW,yCAAyC;IACxD,KAAK,CACH,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,uCAAuC,EAChD,MAAM,EAAE,oCAAoC,EAC5C,kBAAkB,EAAE,mCAAmC,GACtD,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACjD,UAAU,CACR,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,uCAAuC,GAC/C,OAAO,CAAC,oCAAoC,GAAG,IAAI,CAAC,CAAC;IACxD,oEAAoE;IACpE,WAAW,CACT,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,iCAAiC,GACrC,OAAO,CAAC,kCAAkC,GAAG,IAAI,CAAC,CAAC;IACtD,WAAW,CACT,MAAM,EAAE,aAAa,EACrB,MAAM,EAAE;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAC3D,OAAO,CAAC;QACT,QAAQ,CAAC,UAAU,EAAE,SAAS,kCAAkC,EAAE,CAAC;QACnE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;QACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;KACnB,CAAC,CAAC;IACH,sGAAsG;IACtG,KAAK,CACH,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,iCAAiC,GAAG;QAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;KACpC,GACA,OAAO,CAAC,mCAAmC,GAAG,IAAI,CAAC,CAAC;IACvD,OAAO,CACL,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE;QACP,QAAQ,CAAC,KAAK,EAAE,mCAAmC,CAAC;QACpD,QAAQ,CAAC,KAAK,EAAE,mCAAmC,CAAC;KACrD,EACD,kBAAkB,EAAE,mCAAmC,GACtD,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACjD,QAAQ,CACN,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,mCAAmC,EAC1C,kBAAkB,EAAE,mCAAmC,GACtD,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAC5C,MAAM,CACJ,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,uCAAuC,EAChD,kBAAkB,EAAE,mCAAmC,GACtD,OAAO,CAAC,+BAA+B,CAAC,CAAC;CAC7C"}

package/dist/resolution-learning-staged-types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=resolution-learning-staged-types.js.map

package/dist/resolution-learning-staged-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-learning-staged-types.js","sourceRoot":"","sources":["../src/resolution-learning-staged-types.ts"],"names":[],"mappings":""}

package/dist/resolution-learning-staged.d.ts

@@ -0,0 +1,12 @@
+import { type SupportRecord } from "./index.js";
+import type { ResolutionLearningDependencies, SourceVersion, TicketVersion } from "./resolution-learning.js";
+import type { ResolutionLearningStagedReviewApplication } from "./resolution-learning-staged-types.js";
+type Loaded = {
+    ticket: TicketVersion;
+    source: SourceVersion;
+    rows: readonly SupportRecord[];
+};
+/** Every mutation performs one conditional transaction; uncertain/conflict callers resume in another invocation. */
+export declare function createResolutionLearningStagedReviewServices(deps: ResolutionLearningDependencies, load: (ticketId: string) => Promise<Loaded>): ResolutionLearningStagedReviewApplication;
+export {};
+//# sourceMappingURL=resolution-learning-staged.d.ts.map

package/dist/resolution-learning-staged.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-learning-staged.d.ts","sourceRoot":"","sources":["../src/resolution-learning-staged.ts"],"names":[],"mappings":"AAEA,OAAO,EAOL,KAAK,aAAa,EACnB,MAAM,YAAY,CAAC;AAkCpB,OAAO,KAAK,EACV,8BAA8B,EAC9B,aAAa,EACb,aAAa,EACd,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,yCAAyC,EAK1C,MAAM,uCAAuC,CAAC;AAG/C,KAAK,MAAM,GAAG;IACZ,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,aAAa,CAAC;IACtB,IAAI,EAAE,SAAS,aAAa,EAAE,CAAC;CAChC,CAAC;AA0CF,oHAAoH;AACpH,wBAAgB,4CAA4C,CAC1D,IAAI,EAAE,8BAA8B,EACpC,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,GAC1C,yCAAyC,CAksB3C"}