@dsh-enhanced/assistant-work-items 0.0.0-stage → 0.1.66

package/lib/mandate.js

@@ -0,0 +1,168 @@
+import { createHash } from 'node:crypto';
+import { ACCEPTANCE_CONTRACT_ID, acceptanceBindingIsUsable } from "./acceptance-binding.js";
+import { WorkItemError } from "./types.js";
+const DECISION_PROTOCOL = 'work-items/execute-decision/v1';
+const MANDATE_PROTOCOL = 'work-items/mandate/v1';
+/** Printable, no spaces; `decision:` + id must stay inside the 256-byte externalId cap. */
+const DECISION_ID = /^[\x21-\x7e]{1,200}$/;
+const RULE_ID = /^[\x21-\x7e]{1,256}$/;
+const DIGEST = /^[0-9a-f]{64}$/;
+const MAX_BUDGET = 1_000_000_000;
+function fail(message) {
+    throw new WorkItemError('invalid-input', message);
+}
+function exactKeys(value, allowed, field) {
+    for (const key of Object.keys(value)) {
+        if (!allowed.includes(key))
+            fail(`${field} contains unknown field ${key}`);
+    }
+}
+function plainObject(value, field) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        fail(`${field} must be an object`);
+    return value;
+}
+/**
+ * Structural validation of one execute decision. Pure and deterministic.
+ *
+ * Only the shape is checked here; kind/title/brief/binding normalization stays
+ * with `WorkItemAdmission` so the two admission paths cannot drift.
+ */
+export function normalizeExecuteDecision(value) {
+    const decision = plainObject(value, 'decision');
+    exactKeys(decision, ['protocol', 'decisionId', 'verdict', 'origin', 'mode', 'policyRuleId', 'budgetRemaining', 'mandate', 'acceptance'], 'decision');
+    if (decision['protocol'] !== DECISION_PROTOCOL)
+        fail('decision.protocol is not supported');
+    if (decision['verdict'] !== 'execute')
+        fail('decision.verdict must be execute');
+    const decisionId = decision['decisionId'];
+    if (typeof decisionId !== 'string' || !DECISION_ID.test(decisionId))
+        fail('decision.decisionId has an invalid shape');
+    const origin = decision['origin'];
+    if (origin !== 'explicit' && origin !== 'inferred')
+        fail('decision.origin must be explicit or inferred');
+    const mode = decision['mode'];
+    if (mode !== 'observe' && mode !== 'auto')
+        fail('decision.mode must be observe or auto');
+    const rule = decision['policyRuleId'];
+    if (rule !== undefined && (typeof rule !== 'string' || !RULE_ID.test(rule)))
+        fail('decision.policyRuleId has an invalid shape');
+    const budget = decision['budgetRemaining'];
+    if (typeof budget !== 'number' || !Number.isSafeInteger(budget) || budget < 0 || budget > MAX_BUDGET) {
+        fail('decision.budgetRemaining must be a non-negative integer');
+    }
+    const mandate = plainObject(decision['mandate'], 'decision.mandate');
+    exactKeys(mandate, ['kind', 'title', 'brief', 'originBindingId', 'acceptanceRef'], 'decision.mandate');
+    for (const key of ['kind', 'title', 'brief', 'originBindingId', 'acceptanceRef']) {
+        if (typeof mandate[key] !== 'string')
+            fail(`decision.mandate.${key} must be a string`);
+    }
+    let acceptance;
+    if (decision['acceptance'] !== undefined) {
+        const handle = plainObject(decision['acceptance'], 'decision.acceptance');
+        exactKeys(handle, ['contractId', 'contractDigest'], 'decision.acceptance');
+        const contractId = handle['contractId'];
+        if (typeof contractId !== 'string' || !ACCEPTANCE_CONTRACT_ID.test(contractId))
+            fail('decision.acceptance.contractId has an invalid shape');
+        const contractDigest = handle['contractDigest'];
+        if (typeof contractDigest !== 'string' || !DIGEST.test(contractDigest))
+            fail('decision.acceptance.contractDigest must be a sha256 hex digest');
+        acceptance = Object.freeze({ contractId, contractDigest });
+    }
+    return Object.freeze({
+        decisionId,
+        origin,
+        mode,
+        policyRuleId: rule,
+        budgetRemaining: budget,
+        acceptance,
+        input: Object.freeze({
+            kind: mandate['kind'],
+            externalId: decisionExternalId(decisionId),
+            title: mandate['title'],
+            brief: mandate['brief'],
+            originBindingId: mandate['originBindingId'],
+            acceptanceRef: mandate['acceptanceRef'],
+        }),
+    });
+}
+/** Stable external identity: the decision id alone decides the dedup key. */
+export function decisionExternalId(decisionId) {
+    return `decision:${decisionId}`;
+}
+/**
+ * The inferred-execution gate. All three conditions must hold at once; an
+ * explicit decision is not gated here (Policy and ordinary admission gates
+ * still apply to it).
+ */
+export function decisionRefusal(decision) {
+    if (decision.origin !== 'inferred')
+        return undefined;
+    if (decision.mode !== 'auto')
+        return 'inferred-requires-auto';
+    if (decision.policyRuleId === undefined)
+        return 'inferred-requires-rule';
+    if (decision.budgetRemaining < 1)
+        return 'budget-exhausted';
+    return undefined;
+}
+/**
+ * Digest over the decision identity after admission normalized the mandate.
+ *
+ * Mode and remaining budget are admission-time facts, not identity: a replay
+ * of the same decision after the budget moved must resolve to the same item,
+ * while a different scope under the same id must not.
+ */
+export function mandateDigest(decision, normalized) {
+    const canonical = JSON.stringify([
+        MANDATE_PROTOCOL,
+        decision.decisionId,
+        decision.origin,
+        decision.policyRuleId ?? null,
+        normalized.kind,
+        normalized.title,
+        normalized.brief,
+        normalized.originBindingId,
+        normalized.acceptanceRef,
+        // Appended only when bound, so every digest admitted before slice 4 is unchanged.
+        ...(decision.acceptance === undefined ? [] : [['acceptance', decision.acceptance.contractId, decision.acceptance.contractDigest]]),
+    ]);
+    return createHash('sha256').update(canonical, 'utf8').digest('hex');
+}
+export function buildMandateBasis(decision, digest, acceptance) {
+    return Object.freeze({
+        protocol: MANDATE_PROTOCOL,
+        decisionId: decision.decisionId,
+        origin: decision.origin,
+        mode: decision.mode,
+        ...(decision.policyRuleId === undefined ? {} : { ruleId: decision.policyRuleId }),
+        budgetRemaining: decision.budgetRemaining,
+        digest,
+        ...(acceptance === undefined ? {} : { acceptance }),
+    });
+}
+/** Structural check of a stored mandate; anything else is a malformed basis. */
+export function mandateIsUsable(value) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        return false;
+    const mandate = value;
+    for (const key of Object.keys(mandate)) {
+        if (!['protocol', 'decisionId', 'origin', 'mode', 'ruleId', 'budgetRemaining', 'digest', 'acceptance'].includes(key))
+            return false;
+    }
+    const budget = mandate['budgetRemaining'];
+    const rule = mandate['ruleId'];
+    const usable = mandate['protocol'] === MANDATE_PROTOCOL
+        && typeof mandate['decisionId'] === 'string' && DECISION_ID.test(mandate['decisionId'])
+        && (mandate['origin'] === 'explicit' || mandate['origin'] === 'inferred')
+        && (mandate['mode'] === 'observe' || mandate['mode'] === 'auto')
+        && (rule === undefined || typeof rule === 'string' && RULE_ID.test(rule))
+        && typeof budget === 'number' && Number.isSafeInteger(budget) && budget >= 0 && budget <= MAX_BUDGET
+        && typeof mandate['digest'] === 'string' && DIGEST.test(mandate['digest'])
+        && (mandate['acceptance'] === undefined || acceptanceBindingIsUsable(mandate['acceptance']));
+    if (!usable)
+        return false;
+    // An inferred mandate that could never have passed the gate is corrupt.
+    return mandate['origin'] !== 'inferred' || mandate['mode'] === 'auto' && rule !== undefined && budget >= 1;
+}
+//# sourceMappingURL=mandate.js.map

package/lib/mandate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mandate.js","sourceRoot":"","sources":["../src/mandate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAA;AAS3F,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE1C,MAAM,iBAAiB,GAAG,gCAAgC,CAAA;AAC1D,MAAM,gBAAgB,GAAG,uBAAuB,CAAA;AAChD,2FAA2F;AAC3F,MAAM,WAAW,GAAG,sBAAsB,CAAA;AAC1C,MAAM,OAAO,GAAG,sBAAsB,CAAA;AACtC,MAAM,MAAM,GAAG,gBAAgB,CAAA;AAC/B,MAAM,UAAU,GAAG,aAAa,CAAA;AAEhC,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,OAAO,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,OAA0B,EAAE,KAAa;IACzE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,GAAG,KAAK,2BAA2B,GAAG,EAAE,CAAC,CAAA;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa;IAChD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAA;IAC3G,OAAO,KAAgC,CAAA;AACzC,CAAC;AAcD;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IAC/C,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,iBAAiB,EAAE,SAAS,EAAE,YAAY,CAAC,EAAE,UAAU,CAAC,CAAA;IACpJ,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,iBAAiB;QAAE,IAAI,CAAC,oCAAoC,CAAC,CAAA;IAC1F,IAAI,QAAQ,CAAC,SAAS,CAAC,KAAK,SAAS;QAAE,IAAI,CAAC,kCAAkC,CAAC,CAAA;IAC/E,MAAM,UAAU,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAA;IACzC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,IAAI,CAAC,0CAA0C,CAAC,CAAA;IACrH,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACjC,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,UAAU;QAAE,IAAI,CAAC,8CAA8C,CAAC,CAAA;IACxG,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,MAAM;QAAE,IAAI,CAAC,uCAAuC,CAAC,CAAA;IACxF,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,IAAI,CAAC,4CAA4C,CAAC,CAAA;IAC/H,MAAM,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAA;IAC1C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,UAAU,EAAE,CAAC;QACrG,IAAI,CAAC,yDAAyD,CAAC,CAAA;IACjE,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC,CAAA;IACpE,SAAS,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,eAAe,CAAC,EAAE,kBAAkB,CAAC,CAAA;IACtG,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,eAAe,CAAU,EAAE,CAAC;QAC1F,IAAI,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,QAAQ;YAAE,IAAI,CAAC,oBAAoB,GAAG,mBAAmB,CAAC,CAAA;IACxF,CAAC;IACD,IAAI,UAAgD,CAAA;IACpD,IAAI,QAAQ,CAAC,YAAY,CAAC,KAAK,SAAS,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC,CAAA;QACzE,SAAS,CAAC,MAAM,EAAE,CAAC,YAAY,EAAE,gBAAgB,CAAC,EAAE,qBAAqB,CAAC,CAAA;QAC1E,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,CAAA;QACvC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,IAAI,CAAC,qDAAqD,CAAC,CAAA;QAC3I,MAAM,cAAc,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAA;QAC/C,IAAI,OAAO,cAAc,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;YAAE,IAAI,CAAC,gEAAgE,CAAC,CAAA;QAC9I,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CAAA;IAC5D,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU;QACV,MAAM;QACN,IAAI;QACJ,YAAY,EAAE,IAA0B;QACxC,eAAe,EAAE,MAAM;QACvB,UAAU;QACV,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAW;YAC/B,UAAU,EAAE,kBAAkB,CAAC,UAAU,CAAC;YAC1C,KAAK,EAAE,OAAO,CAAC,OAAO,CAAW;YACjC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAW;YACjC,eAAe,EAAE,OAAO,CAAC,iBAAiB,CAAW;YACrD,aAAa,EAAE,OAAO,CAAC,eAAe,CAAW;SAClD,CAAC;KACH,CAAC,CAAA;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,OAAO,YAAY,UAAU,EAAE,CAAA;AACjC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAAmC;IACjE,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,SAAS,CAAA;IACpD,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,wBAAwB,CAAA;IAC7D,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,wBAAwB,CAAA;IACxE,IAAI,QAAQ,CAAC,eAAe,GAAG,CAAC;QAAE,OAAO,kBAAkB,CAAA;IAC3D,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,QAAmC,EAAE,UAMlE;IACC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,gBAAgB;QAChB,QAAQ,CAAC,UAAU;QACnB,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,YAAY,IAAI,IAAI;QAC7B,UAAU,CAAC,IAAI;QACf,UAAU,CAAC,KAAK;QAChB,UAAU,CAAC,KAAK;QAChB,UAAU,CAAC,eAAe;QAC1B,UAAU,CAAC,aAAa;QACxB,kFAAkF;QAClF,GAAG,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;KACnI,CAAC,CAAA;IACF,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,QAAmC,EACnC,MAAc,EACd,UAAsC;IAEtC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,gBAAgB;QAC1B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,GAAG,CAAC,QAAQ,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;QACjF,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,MAAM;QACN,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;KACpD,CAAC,CAAA;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACrF,MAAM,OAAO,GAAG,KAAgC,CAAA;IAChD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;IACpI,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAA;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;IAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,gBAAgB;WAClD,OAAO,OAAO,CAAC,YAAY,CAAC,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;WACpF,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,UAAU,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,UAAU,CAAC;WACtE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC;WAC7D,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACtE,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,IAAI,UAAU;WACjG,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;WACvE,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,SAAS,IAAI,yBAAyB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IAC9F,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACzB,wEAAwE;IACxE,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,MAAM,IAAI,IAAI,KAAK,SAAS,IAAK,MAAiB,IAAI,CAAC,CAAA;AACxH,CAAC"}

package/lib/outcome.d.ts

@@ -0,0 +1,137 @@
+/**
+ * Outcome derivation: the pure, deterministic rules that turn a durable
+ * lifecycle transition or an independently observed receipt into one
+ * append-only outcome revision.
+ *
+ * The central rule of this module is that a worker self-report is never proof.
+ * A `ready` report only *opens* a bounded window in which the delivery channel
+ * may still produce an authenticated execution receipt; until that receipt is
+ * observed, the objective stays `unknown`. No automatic path in this plugin can
+ * ever derive `achieved` or `partial`.
+ */
+import type { PeerOwnerForegroundTaskSource } from './peers.ts';
+import type { WorkItemExecutionStatus, WorkItemObjectiveStatus, WorkItemOutcomeEvidence, WorkItemOutcomeEvidenceReason, WorkItemOutcomeEvidenceState, WorkItemOutcomeRecord, WorkItemOutcomeSettledBy, WorkItemOutcomeTrust, WorkItemProvenance, WorkItemRecord, WorkItemReportStatus } from './types.ts';
+/** Source version whose receipts are authenticated execution evidence. */
+export declare const OUTCOME_EVIDENCE_SOURCE = "assistant-delivery/owner-foreground-source/v1";
+/**
+ * Signal source ids whose admitted items are tied to a guarded execution that
+ * `assistant-delivery` can later describe. Everything else has no independent
+ * channel and therefore settles as `not-applicable` immediately.
+ */
+export declare const SETTLEABLE_SOURCE_IDS: readonly string[];
+/** Hard cap on the canonical evidence payload; oversized evidence is dropped, never truncated. */
+export declare const MAX_OUTCOME_EVIDENCE_BYTES = 2048;
+/** Outcome fields a caller supplies; the store owns identity, revision and timestamps. */
+export interface WorkItemOutcomeDraft {
+    readonly settledBy: WorkItemOutcomeSettledBy;
+    readonly executionStatus: WorkItemExecutionStatus;
+    readonly objectiveStatus: WorkItemObjectiveStatus;
+    readonly trust: WorkItemOutcomeTrust;
+    readonly evidenceState: WorkItemOutcomeEvidenceState;
+    readonly evidenceReason: WorkItemOutcomeEvidenceReason | null;
+    readonly evidence: WorkItemOutcomeEvidence | null;
+    readonly baselineSequence: number | null;
+    readonly inboxId: string | null;
+    /**
+     * Authority hash of the receipt that *admitted* this execution.
+     *
+     * Persisted so a later receipt can be fenced against the admitted owner
+     * route rather than against a same-pass value, which would be tautological.
+     */
+    readonly authorityHash: string | null;
+    readonly deadlineAt: number | null;
+    readonly settledAt: number;
+}
+/** The admitted execution an outcome is fenced above. */
+export interface SettlementBaseline {
+    readonly inboxId: string;
+    readonly completionSequence: number;
+    /** Missing/invalid admitted hash still opens the window but can never match. */
+    readonly authorityHash: string | null;
+}
+/**
+ * Extract the execution baseline from an admission's provenance evidence.
+ *
+ * Only a settleable source carries one; a malformed or incomplete evidence
+ * object yields `null` rather than a guessed baseline, so the item settles as
+ * `not-applicable` instead of opening an unverifiable window.
+ */
+export declare function settlementBaseline(provenance: WorkItemProvenance | null): SettlementBaseline | null;
+/**
+ * Derive the outcome revision for a terminal report.
+ *
+ * `progress` and `waiting` are not terminal and produce nothing. `ready` is the
+ * only status that opens a settlement window, and only when the admitted signal
+ * has an independently observable execution.
+ */
+export declare function deriveReportOutcome(input: {
+    readonly status: WorkItemReportStatus;
+    readonly provenance: WorkItemProvenance | null;
+    readonly now: number;
+    readonly windowMs: number;
+}): WorkItemOutcomeDraft | null;
+/** Terminal report statuses whose settlement a followed thread can defer. */
+export type WorkItemDeferredReportStatus = Extract<WorkItemReportStatus, 'ready' | 'blocked' | 'failed'>;
+/**
+ * Derive the outcome revision for a terminal report that was deferred until its
+ * followed threads closed.
+ *
+ * The report's own honest mapping is reused (a `ready` report stays
+ * `objectiveStatus: unknown`, a `blocked`/`failed` report stays
+ * `not-achieved`), but the revision is marked as thread-settled: closure is not
+ * delivery evidence, so the revision is `unverified` with `closed-by-thread`
+ * and never opens another window. This path can never derive `achieved` or
+ * `partial`.
+ */
+export declare function threadClosureOutcome(input: {
+    readonly status: WorkItemDeferredReportStatus;
+    readonly provenance: WorkItemProvenance | null;
+    readonly now: number;
+}): WorkItemOutcomeDraft;
+/** Derive the outcome for a dropped (withdrawn) item. */
+export declare function deriveWithdrawalOutcome(now: number): WorkItemOutcomeDraft;
+/** Derive the outcome for an item whose attempt budget was exhausted. */
+export declare function deriveRetryExhaustedOutcome(now: number): WorkItemOutcomeDraft;
+/**
+ * Whether one delivery receipt is evidence for one pending outcome.
+ *
+ * Every clause is an authenticated identity check: same protocol, same inbox,
+ * same owner scope, same principal, same authority hash as the *admission* that
+ * opened the window, and a completion strictly newer than the admitted
+ * execution's sequence. A receipt for the *original* failed execution
+ * (sequence ≤ baseline) therefore never counts as evidence that the repair
+ * succeeded, and a receipt minted under a different owner route cannot settle
+ * an item admitted under this one.
+ */
+export declare function matchesOutcomeEvidence(input: {
+    readonly item: WorkItemRecord;
+    readonly outcome: WorkItemOutcomeRecord;
+    readonly source: PeerOwnerForegroundTaskSource;
+    readonly authorityHash: string;
+}): boolean;
+/**
+ * Build the allowlisted evidence payload for one matched receipt.
+ *
+ * The payload is canonical JSON (fixed key order) and is either stored whole or
+ * dropped whole: oversized evidence becomes `null` with
+ * `evidence-too-large`, because a truncated receipt would be a fabricated one.
+ */
+export declare function outcomeEvidenceFor(source: PeerOwnerForegroundTaskSource): {
+    readonly evidence: WorkItemOutcomeEvidence | null;
+    readonly reason: WorkItemOutcomeEvidenceReason | null;
+};
+/**
+ * Revision N+1 for a pending outcome whose window is still open but produced no
+ * matching receipt yet: the window expired with no evidence.
+ */
+export declare function expiredOutcome(outcome: WorkItemOutcomeRecord, now: number, degraded: boolean): WorkItemOutcomeDraft;
+/**
+ * Revision N+1 for a pending outcome that now has a matching receipt.
+ *
+ * Trust moves to `external-receipt` because an authenticated execution was
+ * observed, but the objective status is inherited unchanged: observed success
+ * of the guarded execution is still not proof that the owner's objective was
+ * achieved.
+ */
+export declare function observedOutcome(outcome: WorkItemOutcomeRecord, evidence: WorkItemOutcomeEvidence | null, reason: WorkItemOutcomeEvidenceReason | null, now: number): WorkItemOutcomeDraft;
+//# sourceMappingURL=outcome.d.ts.map

package/lib/outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../src/outcome.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAA;AAC/D,OAAO,KAAK,EACV,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,6BAA6B,EAC7B,4BAA4B,EAC5B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,EACpB,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACrB,MAAM,YAAY,CAAA;AAEnB,0EAA0E;AAC1E,eAAO,MAAM,uBAAuB,kDAAkD,CAAA;AAEtF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,MAAM,EAAiD,CAAA;AAEpG,kGAAkG;AAClG,eAAO,MAAM,0BAA0B,OAAO,CAAA;AAE9C,0FAA0F;AAC1F,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,wBAAwB,CAAA;IAC5C,QAAQ,CAAC,eAAe,EAAE,uBAAuB,CAAA;IACjD,QAAQ,CAAC,eAAe,EAAE,uBAAuB,CAAA;IACjD,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAA;IACpC,QAAQ,CAAC,aAAa,EAAE,4BAA4B,CAAA;IACpD,QAAQ,CAAC,cAAc,EAAE,6BAA6B,GAAG,IAAI,CAAA;IAC7D,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,GAAG,IAAI,CAAA;IACjD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAA;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED,yDAAyD;AACzD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,gFAAgF;IAChF,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;CACtC;AAUD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,kBAAkB,GAAG,IAAI,GAAG,kBAAkB,GAAG,IAAI,CAUnG;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE;IACzC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAA;IACrC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAA;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B,GAAG,oBAAoB,GAAG,IAAI,CAmE9B;AAED,6EAA6E;AAC7E,MAAM,MAAM,4BAA4B,GAAG,OAAO,CAAC,oBAAoB,EAAE,OAAO,GAAG,SAAS,GAAG,QAAQ,CAAC,CAAA;AAExG;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,QAAQ,CAAC,MAAM,EAAE,4BAA4B,CAAA;IAC7C,QAAQ,CAAC,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAA;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB,GAAG,oBAAoB,CAYvB;AAED,yDAAyD;AACzD,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,MAAM,GAAG,oBAAoB,CAezE;AAED,yEAAyE;AACzE,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,MAAM,GAAG,oBAAoB,CAe7E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAA;IACvC,QAAQ,CAAC,MAAM,EAAE,6BAA6B,CAAA;IAC9C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAC/B,GAAG,OAAO,CAgBV;AAkBD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,6BAA6B,GAAG;IACzE,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,GAAG,IAAI,CAAA;IACjD,QAAQ,CAAC,MAAM,EAAE,6BAA6B,GAAG,IAAI,CAAA;CACtD,CAwBA;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,oBAAoB,CAenH;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,qBAAqB,EAC9B,QAAQ,EAAE,uBAAuB,GAAG,IAAI,EACxC,MAAM,EAAE,6BAA6B,GAAG,IAAI,EAC5C,GAAG,EAAE,MAAM,GACV,oBAAoB,CAetB"}

package/lib/outcome.js

@@ -0,0 +1,303 @@
+/** Source version whose receipts are authenticated execution evidence. */
+export const OUTCOME_EVIDENCE_SOURCE = 'assistant-delivery/owner-foreground-source/v1';
+/**
+ * Signal source ids whose admitted items are tied to a guarded execution that
+ * `assistant-delivery` can later describe. Everything else has no independent
+ * channel and therefore settles as `not-applicable` immediately.
+ */
+export const SETTLEABLE_SOURCE_IDS = Object.freeze(['owner-foreground-failures']);
+/** Hard cap on the canonical evidence payload; oversized evidence is dropped, never truncated. */
+export const MAX_OUTCOME_EVIDENCE_BYTES = 2048;
+function nonEmptyString(value) {
+    return typeof value === 'string' && value !== '' ? value : null;
+}
+function positiveInteger(value) {
+    return typeof value === 'number' && Number.isSafeInteger(value) && value > 0 ? value : null;
+}
+/**
+ * Extract the execution baseline from an admission's provenance evidence.
+ *
+ * Only a settleable source carries one; a malformed or incomplete evidence
+ * object yields `null` rather than a guessed baseline, so the item settles as
+ * `not-applicable` instead of opening an unverifiable window.
+ */
+export function settlementBaseline(provenance) {
+    if (provenance === null)
+        return null;
+    if (!SETTLEABLE_SOURCE_IDS.includes(provenance.source))
+        return null;
+    const evidence = provenance.evidence;
+    if (evidence === undefined)
+        return null;
+    const inboxId = nonEmptyString(evidence['inboxId']);
+    const completionSequence = positiveInteger(evidence['completionSequence']);
+    if (inboxId === null || completionSequence === null)
+        return null;
+    const authorityHash = nonEmptyString(evidence['authorityHash']);
+    return Object.freeze({ inboxId, completionSequence, authorityHash });
+}
+/**
+ * Derive the outcome revision for a terminal report.
+ *
+ * `progress` and `waiting` are not terminal and produce nothing. `ready` is the
+ * only status that opens a settlement window, and only when the admitted signal
+ * has an independently observable execution.
+ */
+export function deriveReportOutcome(input) {
+    const baseline = settlementBaseline(input.provenance);
+    switch (input.status) {
+        case 'ready':
+            return baseline === null
+                ? Object.freeze({
+                    settledBy: 'report-ready',
+                    executionStatus: 'succeeded',
+                    objectiveStatus: 'unknown',
+                    trust: 'agent-self-report',
+                    evidenceState: 'not-applicable',
+                    evidenceReason: 'no-independent-source',
+                    evidence: null,
+                    baselineSequence: null,
+                    inboxId: null,
+                    authorityHash: null,
+                    deadlineAt: null,
+                    settledAt: input.now,
+                })
+                : Object.freeze({
+                    settledBy: 'report-ready',
+                    executionStatus: 'succeeded',
+                    objectiveStatus: 'unknown',
+                    trust: 'agent-self-report',
+                    evidenceState: 'pending',
+                    evidenceReason: null,
+                    evidence: null,
+                    baselineSequence: baseline.completionSequence,
+                    inboxId: baseline.inboxId,
+                    authorityHash: baseline.authorityHash,
+                    deadlineAt: input.now + input.windowMs,
+                    settledAt: input.now,
+                });
+        case 'blocked':
+            return Object.freeze({
+                settledBy: 'report-blocked',
+                executionStatus: 'succeeded',
+                objectiveStatus: 'not-achieved',
+                trust: 'agent-self-report',
+                evidenceState: 'not-applicable',
+                evidenceReason: null,
+                evidence: null,
+                baselineSequence: null,
+                inboxId: null,
+                authorityHash: null,
+                deadlineAt: null,
+                settledAt: input.now,
+            });
+        case 'failed':
+            return Object.freeze({
+                settledBy: 'report-failed',
+                executionStatus: 'failed',
+                objectiveStatus: 'not-achieved',
+                trust: 'agent-self-report',
+                evidenceState: 'not-applicable',
+                evidenceReason: null,
+                evidence: null,
+                baselineSequence: null,
+                inboxId: null,
+                authorityHash: null,
+                deadlineAt: null,
+                settledAt: input.now,
+            });
+        case 'progress':
+        case 'waiting':
+            return null;
+    }
+}
+/**
+ * Derive the outcome revision for a terminal report that was deferred until its
+ * followed threads closed.
+ *
+ * The report's own honest mapping is reused (a `ready` report stays
+ * `objectiveStatus: unknown`, a `blocked`/`failed` report stays
+ * `not-achieved`), but the revision is marked as thread-settled: closure is not
+ * delivery evidence, so the revision is `unverified` with `closed-by-thread`
+ * and never opens another window. This path can never derive `achieved` or
+ * `partial`.
+ */
+export function threadClosureOutcome(input) {
+    const base = deriveReportOutcome({ ...input, windowMs: 0 });
+    if (base === null)
+        throw new Error('a terminal report status always derives an outcome');
+    return Object.freeze({
+        ...base,
+        settledBy: 'closed-by-thread',
+        evidenceState: 'unverified',
+        evidenceReason: 'closed-by-thread',
+        evidence: null,
+        deadlineAt: null,
+        settledAt: input.now,
+    });
+}
+/** Derive the outcome for a dropped (withdrawn) item. */
+export function deriveWithdrawalOutcome(now) {
+    return Object.freeze({
+        settledBy: 'withdrawn',
+        executionStatus: 'cancelled',
+        objectiveStatus: 'unknown',
+        trust: 'external-receipt',
+        evidenceState: 'not-applicable',
+        evidenceReason: null,
+        evidence: null,
+        baselineSequence: null,
+        inboxId: null,
+        authorityHash: null,
+        deadlineAt: null,
+        settledAt: now,
+    });
+}
+/** Derive the outcome for an item whose attempt budget was exhausted. */
+export function deriveRetryExhaustedOutcome(now) {
+    return Object.freeze({
+        settledBy: 'retry-exhausted',
+        executionStatus: 'unknown',
+        objectiveStatus: 'not-achieved',
+        trust: 'agent-self-report',
+        evidenceState: 'not-applicable',
+        evidenceReason: null,
+        evidence: null,
+        baselineSequence: null,
+        inboxId: null,
+        authorityHash: null,
+        deadlineAt: null,
+        settledAt: now,
+    });
+}
+/**
+ * Whether one delivery receipt is evidence for one pending outcome.
+ *
+ * Every clause is an authenticated identity check: same protocol, same inbox,
+ * same owner scope, same principal, same authority hash as the *admission* that
+ * opened the window, and a completion strictly newer than the admitted
+ * execution's sequence. A receipt for the *original* failed execution
+ * (sequence ≤ baseline) therefore never counts as evidence that the repair
+ * succeeded, and a receipt minted under a different owner route cannot settle
+ * an item admitted under this one.
+ */
+export function matchesOutcomeEvidence(input) {
+    const { item, outcome, source, authorityHash } = input;
+    if (source.protocol !== OUTCOME_EVIDENCE_SOURCE)
+        return false;
+    if (outcome.inboxId === null || outcome.baselineSequence === null)
+        return false;
+    // The fence is the *admitted* hash persisted on the outcome, not whatever the
+    // current receipt happens to claim.
+    if (outcome.authorityHash === null || source.authorityHash !== outcome.authorityHash)
+        return false;
+    if (source.inboxId !== outcome.inboxId)
+        return false;
+    if (source.completionSequence <= outcome.baselineSequence)
+        return false;
+    if (source.execution.status !== 'succeeded')
+        return false;
+    if (source.execution.quiescent !== true)
+        return false;
+    if (source.scope.workspace !== item.scope.workspace)
+        return false;
+    if (source.scope.preset !== item.scope.preset)
+        return false;
+    if (source.principalId !== item.scope.principalId)
+        return false;
+    if (source.authorityHash !== authorityHash)
+        return false;
+    return true;
+}
+/** Evidence keys in canonical serialization order; nothing else may reach the ledger. */
+const EVIDENCE_ORDER = [
+    'inboxId',
+    'completionSequence',
+    'completedAt',
+    'executionStatus',
+    'sourceDigest',
+    'bindingVersion',
+    'bindingGeneration',
+    'scope',
+];
+function scopeLabel(source) {
+    return `${source.scope.workspace}/${source.scope.preset}`;
+}
+/**
+ * Build the allowlisted evidence payload for one matched receipt.
+ *
+ * The payload is canonical JSON (fixed key order) and is either stored whole or
+ * dropped whole: oversized evidence becomes `null` with
+ * `evidence-too-large`, because a truncated receipt would be a fabricated one.
+ */
+export function outcomeEvidenceFor(source) {
+    const payload = {
+        inboxId: source.inboxId,
+        completionSequence: source.completionSequence,
+        completedAt: source.execution.completedAt,
+        executionStatus: source.execution.status,
+        sourceDigest: source.sourceDigest,
+        bindingVersion: source.binding.version,
+        bindingGeneration: source.binding.generation,
+        scope: scopeLabel(source),
+    };
+    // Re-serialize through the ordered key list so the stored JSON is canonical
+    // regardless of how the caller built the object.
+    const ordered = {};
+    for (const key of EVIDENCE_ORDER) {
+        const value = payload[key];
+        if (value !== undefined)
+            ordered[key] = value;
+    }
+    const evidence = Object.freeze(ordered);
+    const bytes = Buffer.byteLength(JSON.stringify(evidence), 'utf8');
+    if (bytes > MAX_OUTCOME_EVIDENCE_BYTES) {
+        return Object.freeze({ evidence: null, reason: 'evidence-too-large' });
+    }
+    return Object.freeze({ evidence, reason: null });
+}
+/**
+ * Revision N+1 for a pending outcome whose window is still open but produced no
+ * matching receipt yet: the window expired with no evidence.
+ */
+export function expiredOutcome(outcome, now, degraded) {
+    return Object.freeze({
+        settledBy: 'window-expired',
+        executionStatus: outcome.executionStatus,
+        objectiveStatus: outcome.objectiveStatus,
+        trust: outcome.trust,
+        evidenceState: 'unverified',
+        evidenceReason: (degraded ? 'channel-unavailable' : 'window-expired'),
+        evidence: null,
+        baselineSequence: outcome.baselineSequence,
+        inboxId: outcome.inboxId,
+        authorityHash: outcome.authorityHash,
+        deadlineAt: null,
+        settledAt: now,
+    });
+}
+/**
+ * Revision N+1 for a pending outcome that now has a matching receipt.
+ *
+ * Trust moves to `external-receipt` because an authenticated execution was
+ * observed, but the objective status is inherited unchanged: observed success
+ * of the guarded execution is still not proof that the owner's objective was
+ * achieved.
+ */
+export function observedOutcome(outcome, evidence, reason, now) {
+    return Object.freeze({
+        settledBy: 'observed-evidence',
+        executionStatus: outcome.executionStatus,
+        objectiveStatus: outcome.objectiveStatus,
+        trust: 'external-receipt',
+        evidenceState: evidence === null ? 'unverified' : 'observed',
+        evidenceReason: evidence === null ? reason : null,
+        evidence,
+        baselineSequence: outcome.baselineSequence,
+        inboxId: outcome.inboxId,
+        authorityHash: outcome.authorityHash,
+        deadlineAt: null,
+        settledAt: now,
+    });
+}
+//# sourceMappingURL=outcome.js.map

package/lib/outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.js","sourceRoot":"","sources":["../src/outcome.ts"],"names":[],"mappings":"AA0BA,0EAA0E;AAC1E,MAAM,CAAC,MAAM,uBAAuB,GAAG,+CAA+C,CAAA;AAEtF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAA;AAEpG,kGAAkG;AAClG,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAA;AAgC9C,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AACjE,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AAC7F,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAqC;IACtE,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACpC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAA;IACnE,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAA;IACpC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACvC,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAA;IACnD,MAAM,kBAAkB,GAAG,eAAe,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAA;IAC1E,IAAI,OAAO,KAAK,IAAI,IAAI,kBAAkB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IAChE,MAAM,aAAa,GAAG,cAAc,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAA;IAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,CAAC,CAAA;AACtE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAKnC;IACC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;IACrD,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,KAAK,OAAO;YACV,OAAO,QAAQ,KAAK,IAAI;gBACtB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;oBACd,SAAS,EAAE,cAAuB;oBAClC,eAAe,EAAE,WAAoB;oBACrC,eAAe,EAAE,SAAkB;oBACnC,KAAK,EAAE,mBAA4B;oBACnC,aAAa,EAAE,gBAAyB;oBACxC,cAAc,EAAE,uBAAgC;oBAChD,QAAQ,EAAE,IAAI;oBACd,gBAAgB,EAAE,IAAI;oBACtB,OAAO,EAAE,IAAI;oBACb,aAAa,EAAE,IAAI;oBACnB,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,KAAK,CAAC,GAAG;iBACrB,CAAC;gBACF,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;oBACd,SAAS,EAAE,cAAuB;oBAClC,eAAe,EAAE,WAAoB;oBACrC,eAAe,EAAE,SAAkB;oBACnC,KAAK,EAAE,mBAA4B;oBACnC,aAAa,EAAE,SAAkB;oBACjC,cAAc,EAAE,IAAI;oBACpB,QAAQ,EAAE,IAAI;oBACd,gBAAgB,EAAE,QAAQ,CAAC,kBAAkB;oBAC7C,OAAO,EAAE,QAAQ,CAAC,OAAO;oBACzB,aAAa,EAAE,QAAQ,CAAC,aAAa;oBACrC,UAAU,EAAE,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,QAAQ;oBACtC,SAAS,EAAE,KAAK,CAAC,GAAG;iBACrB,CAAC,CAAA;QACN,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,SAAS,EAAE,gBAAyB;gBACpC,eAAe,EAAE,WAAoB;gBACrC,eAAe,EAAE,cAAuB;gBACxC,KAAK,EAAE,mBAA4B;gBACnC,aAAa,EAAE,gBAAyB;gBACxC,cAAc,EAAE,IAAI;gBACpB,QAAQ,EAAE,IAAI;gBACd,gBAAgB,EAAE,IAAI;gBACtB,OAAO,EAAE,IAAI;gBACb,aAAa,EAAE,IAAI;gBACnB,UAAU,EAAE,IAAI;gBAChB,SAAS,EAAE,KAAK,CAAC,GAAG;aACrB,CAAC,CAAA;QACJ,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,SAAS,EAAE,eAAwB;gBACnC,eAAe,EAAE,QAAiB;gBAClC,eAAe,EAAE,cAAuB;gBACxC,KAAK,EAAE,mBAA4B;gBACnC,aAAa,EAAE,gBAAyB;gBACxC,cAAc,EAAE,IAAI;gBACpB,QAAQ,EAAE,IAAI;gBACd,gBAAgB,EAAE,IAAI;gBACtB,OAAO,EAAE,IAAI;gBACb,aAAa,EAAE,IAAI;gBACnB,UAAU,EAAE,IAAI;gBAChB,SAAS,EAAE,KAAK,CAAC,GAAG;aACrB,CAAC,CAAA;QACJ,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC;AAKD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAIpC;IACC,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAA;IAC3D,IAAI,IAAI,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAA;IACxF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,SAAS,EAAE,kBAA2B;QACtC,aAAa,EAAE,YAAqB;QACpC,cAAc,EAAE,kBAA2B;QAC3C,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,KAAK,CAAC,GAAG;KACrB,CAAC,CAAA;AACJ,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,uBAAuB,CAAC,GAAW;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,WAAoB;QAC/B,eAAe,EAAE,WAAoB;QACrC,eAAe,EAAE,SAAkB;QACnC,KAAK,EAAE,kBAA2B;QAClC,aAAa,EAAE,gBAAyB;QACxC,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE,IAAI;QACd,gBAAgB,EAAE,IAAI;QACtB,OAAO,EAAE,IAAI;QACb,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,GAAG;KACf,CAAC,CAAA;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,2BAA2B,CAAC,GAAW;IACrD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,iBAA0B;QACrC,eAAe,EAAE,SAAkB;QACnC,eAAe,EAAE,cAAuB;QACxC,KAAK,EAAE,mBAA4B;QACnC,aAAa,EAAE,gBAAyB;QACxC,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE,IAAI;QACd,gBAAgB,EAAE,IAAI;QACtB,OAAO,EAAE,IAAI;QACb,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,GAAG;KACf,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,KAAK,CAAA;IACtD,IAAI,MAAM,CAAC,QAAQ,KAAK,uBAAuB;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,gBAAgB,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC/E,8EAA8E;IAC9E,oCAAoC;IACpC,IAAI,OAAO,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa;QAAE,OAAO,KAAK,CAAA;IAClG,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO;QAAE,OAAO,KAAK,CAAA;IACpD,IAAI,MAAM,CAAC,kBAAkB,IAAI,OAAO,CAAC,gBAAgB;QAAE,OAAO,KAAK,CAAA;IACvE,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,KAAK,CAAA;IACzD,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IACrD,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS;QAAE,OAAO,KAAK,CAAA;IACjE,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IAC3D,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,CAAC,KAAK,CAAC,WAAW;QAAE,OAAO,KAAK,CAAA;IAC/D,IAAI,MAAM,CAAC,aAAa,KAAK,aAAa;QAAE,OAAO,KAAK,CAAA;IACxD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,yFAAyF;AACzF,MAAM,cAAc,GAAG;IACrB,SAAS;IACT,oBAAoB;IACpB,aAAa;IACb,iBAAiB;IACjB,cAAc;IACd,gBAAgB;IAChB,mBAAmB;IACnB,OAAO;CACC,CAAA;AAEV,SAAS,UAAU,CAAC,MAAqC;IACvD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAA;AAC3D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAqC;IAItE,MAAM,OAAO,GAA4B;QACvC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW;QACzC,eAAe,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;QACxC,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;QACtC,iBAAiB,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU;QAC5C,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC;KAC1B,CAAA;IACD,4EAA4E;IAC5E,iDAAiD;IACjD,MAAM,OAAO,GAA8C,EAAE,CAAA;IAC7D,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;QAC1B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IAC/C,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAA4B,CAAA;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAA;IACjE,IAAI,KAAK,GAAG,0BAA0B,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,oBAA6B,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;AAClD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,OAA8B,EAAE,GAAW,EAAE,QAAiB;IAC3F,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,gBAAyB;QACpC,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,aAAa,EAAE,YAAqB;QACpC,cAAc,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,gBAAgB,CAAkC;QACtG,QAAQ,EAAE,IAAI;QACd,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,GAAG;KACf,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,OAA8B,EAC9B,QAAwC,EACxC,MAA4C,EAC5C,GAAW;IAEX,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,mBAA4B;QACvC,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,KAAK,EAAE,kBAA2B;QAClC,aAAa,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAE,YAAsB,CAAC,CAAC,CAAE,UAAoB;QAClF,cAAc,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;QACjD,QAAQ;QACR,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,GAAG;KACf,CAAC,CAAA;AACJ,CAAC"}