@agenticprimitives/intent-engagement 0.0.0-alpha.1

package/dist/index.d.ts

@@ -0,0 +1,13 @@
+export declare const PACKAGE_NAME = "@agenticprimitives/intent-engagement";
+export declare const PACKAGE_STATUS: "e1-protocol-core";
+export declare const SPEC_REF = "specs/336-intent-engagement-profile.md";
+export type { Address, IsoTime, ProjectionKind, IntentProjectionV1, EngagementObjective, ClarificationMode, HumanChannel, ProbeProcessingModel, InteractionPolicyV1, EngagementProbeV1, EngagementAcknowledgementV1, EngagementResponseKind, QuestionV1, QuestionSetV1, HumanInteractionRequestV1, EngagementResponseContentV1, EngagementResponseV1, MandateRequirementV1, OfferTermsV1, IndicativeFulfillmentProposalV1, FulfillmentOfferV1, OfferAcceptanceV1, OfferSelectionV1, ExecuteAcceptedOfferV1, FulfillmentReceiptV1, RemoteA2AContextV1, EngagementState, OfferState, EngagementSituationV1, EngagementCampaignV1, ConformanceProfile, } from './documents.js';
+export { RESPONSE_KIND_AXES } from './documents.js';
+export { digestOf, wireProjection, projectionDigest, probeDigest, offerDigest, acceptanceDigest, receiptDigest } from './digests.js';
+export type { EngagementRefusalCode, Refusal, Decision, EngagementCommandV1, EngagementEventV1 } from './reducer.js';
+export { initialEngagement, decideEngagement, evolveEngagement, replayEngagement, stepEngagement } from './reducer.js';
+export type { CandidateSource, CandidateV1, ReceiptSigner } from './ports.js';
+export type { CampaignBudgetV1, OfferEvaluationV1 } from './campaign.js';
+export { openCampaign, selectOffer } from './campaign.js';
+export { fulfillmentReceipt } from './fulfillment.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,YAAY,yCAAyC,CAAC;AACnE,eAAO,MAAM,cAAc,EAAG,kBAA2B,CAAC;AAC1D,eAAO,MAAM,QAAQ,2CAA2C,CAAC;AAEjE,YAAY,EACV,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,YAAY,EAAE,oBAAoB,EAChI,mBAAmB,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,UAAU,EAAE,aAAa,EACtH,yBAAyB,EAAE,2BAA2B,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,YAAY,EAChH,+BAA+B,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,sBAAsB,EAChH,oBAAoB,EAAE,kBAAkB,EAAE,eAAe,EAAE,UAAU,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,kBAAkB,GACvI,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACrI,YAAY,EAAE,qBAAqB,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACrH,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACvH,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC9E,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -0,0 +1,9 @@
+export const PACKAGE_NAME = '@agenticprimitives/intent-engagement';
+export const PACKAGE_STATUS = 'e1-protocol-core';
+export const SPEC_REF = 'specs/336-intent-engagement-profile.md';
+export { RESPONSE_KIND_AXES } from './documents.js';
+export { digestOf, wireProjection, projectionDigest, probeDigest, offerDigest, acceptanceDigest, receiptDigest } from './digests.js';
+export { initialEngagement, decideEngagement, evolveEngagement, replayEngagement, stepEngagement } from './reducer.js';
+export { openCampaign, selectOffer } from './campaign.js';
+export { fulfillmentReceipt } from './fulfillment.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,YAAY,GAAG,sCAAsC,CAAC;AACnE,MAAM,CAAC,MAAM,cAAc,GAAG,kBAA2B,CAAC;AAC1D,MAAM,CAAC,MAAM,QAAQ,GAAG,wCAAwC,CAAC;AASjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAErI,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGvH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/ports.d.ts

@@ -0,0 +1,36 @@
+import type { Address, FulfillmentReceiptV1 } from './documents.js';
+import type { Hex } from 'viem';
+/** A candidate as discovery ASSERTED it (spec 281 shape, as data): never objective truth, never a score. Each
+ *  dimension carries its own reasons; the order of qualification is fixed (eligibility → identity → capability
+ *  evidence → semantic relevance → dynamic utility → relationship/policy) and a description never outranks a
+ *  missing credential. */
+export interface CandidateV1 {
+    agent: Address;
+    name?: string;
+    cardUrl?: string;
+    capabilityEvidence: Array<{
+        capability: string;
+        source: string;
+        observedAt: string;
+    }>;
+    relationship?: {
+        kind: string;
+        source: string;
+    };
+    reasons: string[];
+}
+export interface CandidateSource {
+    /** Candidates that declare the capability, from the public tier — evidence, never authority. */
+    candidatesFor(input: {
+        capability: string;
+        limit: number;
+    }): Promise<CandidateV1[]>;
+}
+/** Signs a receipt's digest as the executing agent. The key stays with the caller. */
+export interface ReceiptSigner {
+    sign(digest: Hex): Promise<Hex>;
+    address: Address;
+    /** The receipt as signed. */
+    seal(receipt: Omit<FulfillmentReceiptV1, 'signature'>): Promise<FulfillmentReceiptV1>;
+}
+//# sourceMappingURL=ports.d.ts.map

package/dist/ports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ports.d.ts","sourceRoot":"","sources":["../src/ports.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AAEhC;;;0BAG0B;AAC1B,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,kBAAkB,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACtF,YAAY,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,gGAAgG;IAChG,aAAa,CAAC,KAAK,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;CACrF;AAED,sFAAsF;AACtF,MAAM,WAAW,aAAa;IAC5B,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,6BAA6B;IAC7B,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,oBAAoB,EAAE,WAAW,CAAC,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;CACvF"}

package/dist/ports.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ports.js.map

package/dist/ports.js.map

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

package/dist/reducer.d.ts

@@ -0,0 +1,185 @@
+import type { Hex } from 'viem';
+import type { EngagementProbeV1, EngagementResponseV1, EngagementSituationV1, EngagementState, FulfillmentOfferV1, OfferAcceptanceV1, ExecuteAcceptedOfferV1, IsoTime, Address } from './documents.js';
+export type EngagementRefusalCode = 'duplicate' | 'wrong-state' | 'not-open' | 'unknown-probe' | 'nonce-mismatch' | 'probe-expired' | 'projection-mismatch' | 'intent-mismatch' | 'offer-expired' | 'offer-unsigned' | 'offer-not-firm' | 'offer-mismatch' | 'acceptance-mismatch' | 'acceptance-broadens' | 'offer-not-accepted' | 'mandate-missing' | 'mandate-mismatch' | 'not-the-provider' | 'not-the-requester' | 'campaign-deadline-passed';
+export type Refusal = {
+    ok: false;
+    code: EngagementRefusalCode;
+    reason: string;
+};
+export type Decision<E> = {
+    ok: true;
+    events: E[];
+} | Refusal;
+export type EngagementCommandV1 = {
+    kind: 'SendProbe';
+    probe: EngagementProbeV1;
+    intentDigest: Hex;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'ReceiveAcknowledgement';
+    probeId: string;
+    provider: Address;
+    responseExpectedBy: IsoTime;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'ReceiveResponse';
+    response: EngagementResponseV1;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'AnswerClarification';
+    probe: EngagementProbeV1;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'SelectOffer';
+    offerId: string;
+    offerDigest: Hex;
+    because: string[];
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'AcceptOffer';
+    acceptance: OfferAcceptanceV1;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'PresentMandate';
+    mandateRef: Hex;
+    requirementIntentDigest: Hex;
+    requirementOfferDigest?: Hex;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'Execute';
+    execute: ExecuteAcceptedOfferV1;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'NotSelected';
+    because: string;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'Expire';
+    because: string;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'Cancel';
+    because: string;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'WithdrawOffer';
+    offerId: string;
+    provider: Address;
+    idempotencyKey: string;
+    now: IsoTime;
+} | {
+    kind: 'SupersedeOffer';
+    offer: FulfillmentOfferV1;
+    idempotencyKey: string;
+    now: IsoTime;
+};
+export type EngagementEventV1 = {
+    kind: 'ProbeSent';
+    engagementId: string;
+    probe: EngagementProbeV1;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'Acknowledged';
+    engagementId: string;
+    probeId: string;
+    provider: Address;
+    responseExpectedBy: IsoTime;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'ResponseReceived';
+    engagementId: string;
+    response: EngagementResponseV1;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'OfferIssued';
+    engagementId: string;
+    offer: FulfillmentOfferV1;
+    offerDigest: Hex;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'OfferSuperseded';
+    engagementId: string;
+    offerId: string;
+    by: string;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'OfferWithdrawn';
+    engagementId: string;
+    offerId: string;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'ClarificationAnswered';
+    engagementId: string;
+    probe: EngagementProbeV1;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'OfferSelected';
+    engagementId: string;
+    offerId: string;
+    offerDigest: Hex;
+    because: string[];
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'OfferAccepted';
+    engagementId: string;
+    acceptance: OfferAcceptanceV1;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'MandatePresented';
+    engagementId: string;
+    mandateRef: Hex;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'FulfillmentLinked';
+    engagementId: string;
+    execute: ExecuteAcceptedOfferV1;
+    idempotencyKey: string;
+    at: IsoTime;
+} | {
+    kind: 'Closed';
+    engagementId: string;
+    state: Extract<EngagementState, `closed-${string}` | 'expired' | 'cancelled'>;
+    because: string;
+    idempotencyKey: string;
+    at: IsoTime;
+};
+export declare function initialEngagement(input: {
+    engagementId: string;
+    campaignId: string;
+    requester: Address;
+    candidate: Address;
+    now: IsoTime;
+}): EngagementSituationV1;
+export declare function decideEngagement(s: EngagementSituationV1, c: EngagementCommandV1): Decision<EngagementEventV1>;
+/** The state after an event. Total: an event the reducer emitted always applies. */
+export declare function evolveEngagement(s: EngagementSituationV1, e: EngagementEventV1): EngagementSituationV1;
+/** Replay a log. */
+export declare function replayEngagement(initial: EngagementSituationV1, events: readonly EngagementEventV1[]): EngagementSituationV1;
+/** Decide + evolve in one step — the shape a serving plane calls. */
+export declare function stepEngagement(s: EngagementSituationV1, c: EngagementCommandV1): {
+    ok: true;
+    state: EngagementSituationV1;
+    events: EngagementEventV1[];
+} | Refusal;
+//# sourceMappingURL=reducer.d.ts.map

package/dist/reducer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer.d.ts","sourceRoot":"","sources":["../src/reducer.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AAChC,OAAO,KAAK,EACV,iBAAiB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,eAAe,EAAE,kBAAkB,EACnG,iBAAiB,EAAc,sBAAsB,EAAE,OAAO,EAAE,OAAO,EACxE,MAAM,gBAAgB,CAAC;AAIxB,MAAM,MAAM,qBAAqB,GAC7B,WAAW,GAAG,aAAa,GAAG,UAAU,GAAG,eAAe,GAAG,gBAAgB,GAAG,eAAe,GAAG,qBAAqB,GACvH,iBAAiB,GAAG,eAAe,GAAG,gBAAgB,GAAG,gBAAgB,GAAG,gBAAgB,GAAG,qBAAqB,GACpH,qBAAqB,GAAG,oBAAoB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,mBAAmB,GAChI,0BAA0B,CAAC;AAE/B,MAAM,MAAM,OAAO,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,qBAAqB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AACjF,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,CAAC,EAAE,CAAA;CAAE,GAAG,OAAO,CAAC;AAG9D,MAAM,MAAM,mBAAmB,GAC3B;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAC;IAAC,YAAY,EAAE,GAAG,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GACxG;IAAE,IAAI,EAAE,wBAAwB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,kBAAkB,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GACzI;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,EAAE,oBAAoB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GACjG;IAAE,IAAI,EAAE,qBAAqB,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAC/F;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,GAAG,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GACnH;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,UAAU,EAAE,iBAAiB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAC5F;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,UAAU,EAAE,GAAG,CAAC;IAAC,uBAAuB,EAAE,GAAG,CAAC;IAAC,sBAAsB,CAAC,EAAE,GAAG,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAC7I;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,sBAAsB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAC1F;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAC9E;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,KAAK,EAAE,kBAAkB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,CAAC;AAGhG,MAAM,MAAM,iBAAiB,GACzB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GAC1G;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,kBAAkB,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACpJ;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,oBAAoB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACvH;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,kBAAkB,CAAC;IAAC,WAAW,EAAE,GAAG,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GAC/H;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACnH;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACtG;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACtH;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,GAAG,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GAC1I;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,iBAAiB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACnH;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,GAAG,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACxG;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,sBAAsB,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACzH;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC,eAAe,EAAE,UAAU,MAAM,EAAE,GAAG,SAAS,GAAG,WAAW,CAAC,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,CAAC;AAMlL,wBAAgB,iBAAiB,CAAC,KAAK,EAAE;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAAG,qBAAqB,CAElK;AAOD,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,qBAAqB,EAAE,CAAC,EAAE,mBAAmB,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAwH9G;AAED,oFAAoF;AACpF,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,qBAAqB,EAAE,CAAC,EAAE,iBAAiB,GAAG,qBAAqB,CA+BtG;AAED,oBAAoB;AACpB,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,SAAS,iBAAiB,EAAE,GAAG,qBAAqB,CAE5H;AAED,qEAAqE;AACrE,wBAAgB,cAAc,CAAC,CAAC,EAAE,qBAAqB,EAAE,CAAC,EAAE,mBAAmB,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,qBAAqB,CAAC;IAAC,MAAM,EAAE,iBAAiB,EAAE,CAAA;CAAE,GAAG,OAAO,CAIlK"}

package/dist/reducer.js

@@ -0,0 +1,231 @@
+import { acceptanceDigest, offerDigest, projectionDigest } from './digests.js';
+const OPEN = new Set(['new', 'probe-sent', 'waiting-on-provider', 'waiting-on-requester', 'offer-open', 'offer-selected', 'awaiting-mandate']);
+const refuse = (code, reason) => ({ ok: false, code, reason });
+const lc = (s) => s.toLowerCase();
+export function initialEngagement(input) {
+    return { type: 'ap.engagement-situation.v1', engagementId: input.engagementId, campaignId: input.campaignId, requester: input.requester, candidate: input.candidate, state: 'new', probes: [], responses: [], offers: {}, seen: [], updatedAt: input.now };
+}
+/** The latest probe that is still open to be answered, or null. */
+function openProbe(s) {
+    return s.probes[s.probes.length - 1] ?? null;
+}
+export function decideEngagement(s, c) {
+    // IDEMPOTENCY FIRST (§6.2): at-least-once delivery is assumed; a repeat is one command, not two.
+    if (s.seen.includes(c.idempotencyKey))
+        return { ok: true, events: [] };
+    const id = s.engagementId;
+    switch (c.kind) {
+        case 'SendProbe': {
+            if (s.state !== 'new' && s.state !== 'waiting-on-requester')
+                return refuse('wrong-state', `a probe is sent from new or waiting-on-requester, not ${s.state}`);
+            const p = c.probe;
+            // §6.1 — every probe binds ONE intent version + ONE projection digest, and the projection is for THIS candidate.
+            if (lc(p.candidate) !== lc(s.candidate) || lc(p.requester) !== lc(s.requester))
+                return refuse('wrong-state', 'the probe names other parties than this engagement');
+            if (lc(p.intentDigest) !== lc(c.intentDigest))
+                return refuse('intent-mismatch', 'the probe does not bind the intent this campaign resolves');
+            if (lc(p.projection.intentDigest) !== lc(p.intentDigest))
+                return refuse('intent-mismatch', 'the projection is of another intent');
+            if (lc(projectionDigest(p.projection)) !== lc(p.projectionDigest))
+                return refuse('projection-mismatch', 'the probe\'s projection digest is not the digest of its projection');
+            if (p.projection.audience !== 'broadcast' && lc(p.projection.audience) !== lc(p.candidate))
+                return refuse('projection-mismatch', 'an engagement projection is audience-bound to the candidate it is sent to');
+            return { ok: true, events: [{ kind: 'ProbeSent', engagementId: id, probe: p, idempotencyKey: c.idempotencyKey, at: c.now }] };
+        }
+        case 'ReceiveAcknowledgement': {
+            const p = openProbe(s);
+            if (!p || p.probeId !== c.probeId)
+                return refuse('unknown-probe', 'the acknowledgement names no open probe');
+            if (lc(c.provider) !== lc(s.candidate))
+                return refuse('not-the-provider', 'acknowledged by somebody other than the candidate');
+            if (s.state !== 'probe-sent')
+                return refuse('wrong-state', `an acknowledgement follows a probe, not ${s.state}`);
+            return { ok: true, events: [{ kind: 'Acknowledged', engagementId: id, probeId: c.probeId, provider: c.provider, responseExpectedBy: c.responseExpectedBy, idempotencyKey: c.idempotencyKey, at: c.now }] };
+        }
+        case 'ReceiveResponse': {
+            const r = c.response;
+            if (!OPEN.has(s.state))
+                return refuse('not-open', `this engagement is ${s.state}`);
+            const p = s.probes.find((x) => x.probeId === r.inReplyTo);
+            if (!p)
+                return refuse('unknown-probe', 'the response names no probe of this engagement (§6.2: a valid inReplyTo is required)');
+            if (p !== openProbe(s))
+                return refuse('unknown-probe', 'the response answers a probe that a later one replaced');
+            if (lc(r.provider) !== lc(s.candidate))
+                return refuse('not-the-provider', 'the response is from somebody other than the candidate');
+            if (r.probeNonce !== p.probeNonce)
+                return refuse('nonce-mismatch', 'the response does not echo the probe\'s single-use nonce');
+            if (s.responses.some((x) => x.responseId === r.responseId || x.idempotencyKey === r.idempotencyKey))
+                return { ok: true, events: [] };
+            // §6.2 — an EXPIRED probe cannot produce an acceptable offer.
+            const expired = Date.parse(c.now) > Date.parse(p.replyBy);
+            const events = [{ kind: 'ResponseReceived', engagementId: id, response: r, idempotencyKey: c.idempotencyKey, at: c.now }];
+            if (r.content.kind === 'offer') {
+                if (expired)
+                    return refuse('probe-expired', `the probe's reply-by (${p.replyBy}) has passed — an expired probe cannot produce an acceptable offer`);
+                const o = r.content.offer;
+                if (o.type === 'ap.fulfillment-offer.v1') {
+                    // §6.3 — a FIRM offer is provider-signed, bound to the projection reviewed and the intent probed.
+                    if (!o.signature || o.signature === '0x')
+                        return refuse('offer-unsigned', 'a firm offer is signed by the provider');
+                    if (lc(o.provider) !== lc(s.candidate) || lc(o.requester) !== lc(s.requester))
+                        return refuse('not-the-provider', 'the offer names other parties');
+                    if (lc(o.basisOfOffer) !== lc(p.projectionDigest))
+                        return refuse('offer-mismatch', 'the offer\'s basis is not the projection this probe carried');
+                    if (lc(o.intentDigest) !== lc(p.intentDigest) || lc(o.requirement.intentDigest) !== lc(p.intentDigest))
+                        return refuse('offer-mismatch', 'the offer (or its requirement) binds another intent');
+                    if (Date.parse(o.expiresAt) <= Date.parse(c.now))
+                        return refuse('offer-expired', 'the offer has already expired');
+                    events.push({ kind: 'OfferIssued', engagementId: id, offer: o, offerDigest: offerDigest(o), idempotencyKey: `${c.idempotencyKey}:offer`, at: c.now });
+                }
+                // An indicative proposal is recorded as a response and moves the engagement to waiting-on-requester.
+            }
+            return { ok: true, events };
+        }
+        case 'AnswerClarification': {
+            if (s.state !== 'waiting-on-requester')
+                return refuse('wrong-state', 'nothing asked for clarification');
+            return decideEngagement({ ...s, state: 'new' }, { kind: 'SendProbe', probe: c.probe, intentDigest: c.probe.intentDigest, idempotencyKey: c.idempotencyKey, now: c.now });
+        }
+        case 'SelectOffer': {
+            if (s.state !== 'offer-open')
+                return refuse('wrong-state', `an offer is selected while offers are open, not ${s.state}`);
+            const entry = s.offers[c.offerId];
+            if (!entry || entry.state !== 'issued')
+                return refuse('offer-mismatch', 'no issued offer by that id');
+            if (lc(offerDigest(entry.offer)) !== lc(c.offerDigest))
+                return refuse('offer-mismatch', 'the selection pins a digest that is not this offer\'s');
+            if (Date.parse(entry.offer.expiresAt) <= Date.parse(c.now))
+                return refuse('offer-expired', 'the offer expired before it was selected');
+            return { ok: true, events: [{ kind: 'OfferSelected', engagementId: id, offerId: c.offerId, offerDigest: c.offerDigest, because: c.because, idempotencyKey: c.idempotencyKey, at: c.now }] };
+        }
+        case 'AcceptOffer': {
+            if (s.state !== 'offer-selected')
+                return refuse('wrong-state', `an offer is accepted after it is selected, not ${s.state}`);
+            const a = c.acceptance;
+            const entry = s.offers[a.offerId];
+            if (!entry || entry.state !== 'issued')
+                return refuse('offer-mismatch', 'no issued offer by that id');
+            // §6.3 — acceptance PINS the digest and cannot broaden: a differing acceptance is a counter-proposal.
+            if (lc(a.offerDigest) !== lc(offerDigest(entry.offer)))
+                return refuse('acceptance-broadens', 'the acceptance does not pin the offer as issued — a differing acceptance is a counter-proposal, not an acceptance');
+            if (lc(a.requester) !== lc(s.requester))
+                return refuse('not-the-requester', 'accepted by somebody other than the requester');
+            if (!a.signature || a.signature === '0x')
+                return refuse('acceptance-mismatch', 'an acceptance is signed by the requester');
+            if (Date.parse(entry.offer.expiresAt) <= Date.parse(c.now))
+                return refuse('offer-expired', 'the offer expired before acceptance');
+            return { ok: true, events: [{ kind: 'OfferAccepted', engagementId: id, acceptance: a, idempotencyKey: c.idempotencyKey, at: c.now }] };
+        }
+        case 'PresentMandate': {
+            if (s.state !== 'awaiting-mandate')
+                return refuse('wrong-state', `a mandate is presented after acceptance, not in ${s.state}`);
+            const acc = s.acceptance;
+            const entry = s.offers[acc.offerId];
+            // §6.6 — the mandate binds THIS intent and THIS offer; a mandate for another is not this engagement's.
+            if (lc(c.requirementIntentDigest) !== lc(entry.offer.intentDigest))
+                return refuse('mandate-mismatch', 'the mandate binds another intent');
+            if (c.requirementOfferDigest && lc(c.requirementOfferDigest) !== lc(acc.offerDigest))
+                return refuse('mandate-mismatch', 'the mandate authorizes another offer');
+            return { ok: true, events: [{ kind: 'MandatePresented', engagementId: id, mandateRef: c.mandateRef, idempotencyKey: c.idempotencyKey, at: c.now }] };
+        }
+        case 'Execute': {
+            // §3.9 — a fulfillment task is created only after: accepted offer + valid acceptance + mandate present.
+            if (s.state !== 'awaiting-mandate' || !s.mandateRef)
+                return refuse('mandate-missing', 'a fulfillment task cannot exist without its required mandate');
+            const e = c.execute;
+            const acc = s.acceptance;
+            const entry = s.offers[acc.offerId];
+            if (e.offerId !== acc.offerId || lc(e.offerDigest) !== lc(offerDigest(entry.offer)))
+                return refuse('offer-mismatch', 'execute names another offer');
+            if (e.acceptanceId !== acc.acceptanceId || lc(e.acceptanceDigest) !== lc(acceptanceDigest(acc)))
+                return refuse('acceptance-mismatch', 'execute names another acceptance');
+            if (lc(e.mandateRef) !== lc(s.mandateRef))
+                return refuse('mandate-mismatch', 'execute presents another mandate than the one presented');
+            return { ok: true, events: [{ kind: 'FulfillmentLinked', engagementId: id, execute: e, idempotencyKey: c.idempotencyKey, at: c.now }] };
+        }
+        case 'WithdrawOffer': {
+            const entry = s.offers[c.offerId];
+            if (!entry || entry.state !== 'issued')
+                return refuse('offer-mismatch', 'no issued offer to withdraw');
+            if (lc(c.provider) !== lc(entry.offer.provider))
+                return refuse('not-the-provider', 'only the provider withdraws its offer');
+            return { ok: true, events: [{ kind: 'OfferWithdrawn', engagementId: id, offerId: c.offerId, idempotencyKey: c.idempotencyKey, at: c.now }] };
+        }
+        case 'SupersedeOffer': {
+            const o = c.offer;
+            if (!o.supersedes)
+                return refuse('offer-mismatch', 'a superseding offer names what it supersedes');
+            const old = s.offers[o.supersedes];
+            if (!old || old.state !== 'issued')
+                return refuse('offer-mismatch', 'the superseded offer is not open');
+            if (lc(o.provider) !== lc(old.offer.provider))
+                return refuse('not-the-provider', 'only the provider revises its offer');
+            if (o.revision <= old.offer.revision)
+                return refuse('offer-mismatch', 'a revision supersedes with a higher revision number');
+            if (!o.signature || o.signature === '0x')
+                return refuse('offer-unsigned', 'a firm offer is signed by the provider');
+            return { ok: true, events: [
+                    { kind: 'OfferSuperseded', engagementId: id, offerId: o.supersedes, by: o.offerId, idempotencyKey: `${c.idempotencyKey}:old`, at: c.now },
+                    { kind: 'OfferIssued', engagementId: id, offer: o, offerDigest: offerDigest(o), idempotencyKey: c.idempotencyKey, at: c.now },
+                ] };
+        }
+        case 'NotSelected':
+        case 'Expire':
+        case 'Cancel': {
+            if (!OPEN.has(s.state))
+                return refuse('not-open', `this engagement is already ${s.state}`);
+            const state = c.kind === 'NotSelected' ? 'closed-not-selected' : c.kind === 'Expire' ? 'expired' : 'cancelled';
+            return { ok: true, events: [{ kind: 'Closed', engagementId: id, state, because: c.because, idempotencyKey: c.idempotencyKey, at: c.now }] };
+        }
+    }
+}
+/** The state after an event. Total: an event the reducer emitted always applies. */
+export function evolveEngagement(s, e) {
+    const seen = s.seen.includes(e.idempotencyKey) ? s.seen : [...s.seen, e.idempotencyKey];
+    const base = { ...s, seen, updatedAt: e.at };
+    switch (e.kind) {
+        case 'ProbeSent': return { ...base, state: 'probe-sent', probes: [...s.probes, e.probe] };
+        case 'Acknowledged': return { ...base, state: 'waiting-on-provider' };
+        case 'ResponseReceived': {
+            const k = e.response.content.kind;
+            const responses = [...s.responses, e.response];
+            // §3.5 — every kind is a legitimate, recordable outcome; the closing ones close with THEIR reason.
+            if (k === 'decline')
+                return { ...base, responses, lastResponseKind: k, state: 'closed-declined', closeReason: e.response.content.reason };
+            if (k === 'referral')
+                return { ...base, responses, lastResponseKind: k, state: 'closed-referred', closeReason: `referred to ${e.response.content.to}` };
+            if (k === 'temporarily-unavailable')
+                return { ...base, responses, lastResponseKind: k, state: 'closed-unavailable', closeReason: e.response.content.until ? `until ${e.response.content.until}` : 'temporarily unavailable' };
+            if (k === 'needs-clarification' || k === 'human-ux-required')
+                return { ...base, responses, lastResponseKind: k, state: 'waiting-on-requester' };
+            // an offer: the firm one is issued by its own event; an indicative proposal is an answer that waits on us.
+            return { ...base, responses, lastResponseKind: k, state: e.response.content.offer.type === 'ap.fulfillment-offer.v1' ? s.state : 'waiting-on-requester' };
+        }
+        case 'OfferIssued': return { ...base, state: 'offer-open', offers: { ...s.offers, [e.offer.offerId]: { offer: e.offer, state: 'issued' } } };
+        case 'OfferSuperseded': return { ...base, offers: { ...s.offers, [e.offerId]: { ...s.offers[e.offerId], state: 'superseded' } } };
+        case 'OfferWithdrawn': {
+            const offers = { ...s.offers, [e.offerId]: { ...s.offers[e.offerId], state: 'withdrawn' } };
+            const anyOpen = Object.values(offers).some((o) => o.state === 'issued');
+            return { ...base, offers, state: anyOpen ? s.state : (s.state === 'offer-open' ? 'waiting-on-provider' : s.state) };
+        }
+        case 'ClarificationAnswered': return { ...base, state: 'probe-sent', probes: [...s.probes, e.probe] };
+        case 'OfferSelected': return { ...base, state: 'offer-selected' };
+        case 'OfferAccepted': return { ...base, state: 'awaiting-mandate', acceptance: e.acceptance, offers: { ...s.offers, [e.acceptance.offerId]: { ...s.offers[e.acceptance.offerId], state: 'accepted' } } };
+        case 'MandatePresented': return { ...base, mandateRef: e.mandateRef };
+        case 'FulfillmentLinked': return { ...base, state: 'fulfillment-linked', taskRef: e.execute.idempotencyKey };
+        case 'Closed': return { ...base, state: e.state, closeReason: e.because };
+    }
+}
+/** Replay a log. */
+export function replayEngagement(initial, events) {
+    return events.reduce(evolveEngagement, initial);
+}
+/** Decide + evolve in one step — the shape a serving plane calls. */
+export function stepEngagement(s, c) {
+    const d = decideEngagement(s, c);
+    if (!d.ok)
+        return d;
+    return { ok: true, state: replayEngagement(s, d.events), events: d.events };
+}
+//# sourceMappingURL=reducer.js.map

package/dist/reducer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer.js","sourceRoot":"","sources":["../src/reducer.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AA2C/E,MAAM,IAAI,GAAiC,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAC7K,MAAM,MAAM,GAAG,CAAC,IAA2B,EAAE,MAAc,EAAW,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AACvG,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AAE1C,MAAM,UAAU,iBAAiB,CAAC,KAAyG;IACzI,OAAO,EAAE,IAAI,EAAE,4BAA4B,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;AAC7P,CAAC;AAED,mEAAmE;AACnE,SAAS,SAAS,CAAC,CAAwB;IACzC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAwB,EAAE,CAAsB;IAC/E,iGAAiG;IACjG,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACvE,MAAM,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC;IAC1B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,sBAAsB;gBAAE,OAAO,MAAM,CAAC,aAAa,EAAE,yDAAyD,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC9J,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YAClB,iHAAiH;YACjH,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAE,OAAO,MAAM,CAAC,aAAa,EAAE,oDAAoD,CAAC,CAAC;YACnK,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;gBAAE,OAAO,MAAM,CAAC,iBAAiB,EAAE,2DAA2D,CAAC,CAAC;YAC7I,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;gBAAE,OAAO,MAAM,CAAC,iBAAiB,EAAE,qCAAqC,CAAC,CAAC;YAClI,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC;gBAAE,OAAO,MAAM,CAAC,qBAAqB,EAAE,oEAAoE,CAAC,CAAC;YAC9K,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAE,OAAO,MAAM,CAAC,qBAAqB,EAAE,2EAA2E,CAAC,CAAC;YAC9M,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAChI,CAAC;QACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;gBAAE,OAAO,MAAM,CAAC,eAAe,EAAE,yCAAyC,CAAC,CAAC;YAC7G,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAE,OAAO,MAAM,CAAC,kBAAkB,EAAE,mDAAmD,CAAC,CAAC;YAC/H,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY;gBAAE,OAAO,MAAM,CAAC,aAAa,EAAE,2CAA2C,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACjH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC7M,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACnF,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1D,IAAI,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC,eAAe,EAAE,sFAAsF,CAAC,CAAC;YAC/H,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC,eAAe,EAAE,wDAAwD,CAAC,CAAC;YACjH,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAE,OAAO,MAAM,CAAC,kBAAkB,EAAE,wDAAwD,CAAC,CAAC;YACpI,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,0DAA0D,CAAC,CAAC;YAC/H,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,cAAc,KAAK,CAAC,CAAC,cAAc,CAAC;gBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YACrI,8DAA8D;YAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1D,MAAM,MAAM,GAAwB,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAC/I,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,IAAI,OAAO;oBAAE,OAAO,MAAM,CAAC,eAAe,EAAE,yBAAyB,CAAC,CAAC,OAAO,oEAAoE,CAAC,CAAC;gBACpJ,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;oBACzC,kGAAkG;oBAClG,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI;wBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,wCAAwC,CAAC,CAAC;oBACpH,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;wBAAE,OAAO,MAAM,CAAC,kBAAkB,EAAE,+BAA+B,CAAC,CAAC;oBAClJ,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC;wBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,6DAA6D,CAAC,CAAC;oBAClJ,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;wBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,qDAAqD,CAAC,CAAC;oBAC/L,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;wBAAE,OAAO,MAAM,CAAC,eAAe,EAAE,+BAA+B,CAAC,CAAC;oBAClH,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC,cAAc,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBACxJ,CAAC;gBACD,qGAAqG;YACvG,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC9B,CAAC;QACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,CAAC,KAAK,KAAK,sBAAsB;gBAAE,OAAO,MAAM,CAAC,aAAa,EAAE,iCAAiC,CAAC,CAAC;YACxG,OAAO,gBAAgB,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAC3K,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY;gBAAE,OAAO,MAAM,CAAC,aAAa,EAAE,mDAAmD,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACzH,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,4BAA4B,CAAC,CAAC;YACtG,IAAI,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,uDAAuD,CAAC,CAAC;YACjJ,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;gBAAE,OAAO,MAAM,CAAC,eAAe,EAAE,0CAA0C,CAAC,CAAC;YACvI,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC9L,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,CAAC,KAAK,KAAK,gBAAgB;gBAAE,OAAO,MAAM,CAAC,aAAa,EAAE,kDAAkD,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5H,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;YACvB,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,4BAA4B,CAAC,CAAC;YACtG,sGAAsG;YACtG,IAAI,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC,qBAAqB,EAAE,mHAAmH,CAAC,CAAC;YAClN,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAE,OAAO,MAAM,CAAC,mBAAmB,EAAE,+CAA+C,CAAC,CAAC;YAC7H,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC,qBAAqB,EAAE,0CAA0C,CAAC,CAAC;YAC3H,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;gBAAE,OAAO,MAAM,CAAC,eAAe,EAAE,qCAAqC,CAAC,CAAC;YAClI,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QACzI,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,CAAC,KAAK,KAAK,kBAAkB;gBAAE,OAAO,MAAM,CAAC,aAAa,EAAE,mDAAmD,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC/H,MAAM,GAAG,GAAG,CAAC,CAAC,UAAW,CAAC;YAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;YACrC,uGAAuG;YACvG,IAAI,EAAE,CAAC,CAAC,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC;gBAAE,OAAO,MAAM,CAAC,kBAAkB,EAAE,kCAAkC,CAAC,CAAC;YAC1I,IAAI,CAAC,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC;gBAAE,OAAO,MAAM,CAAC,kBAAkB,EAAE,sCAAsC,CAAC,CAAC;YAChK,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QACvJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,wGAAwG;YACxG,IAAI,CAAC,CAAC,KAAK,KAAK,kBAAkB,IAAI,CAAC,CAAC,CAAC,UAAU;gBAAE,OAAO,MAAM,CAAC,iBAAiB,EAAE,8DAA8D,CAAC,CAAC;YACtJ,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;YACpB,MAAM,GAAG,GAAG,CAAC,CAAC,UAAW,CAAC;YAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;YACrC,IAAI,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,CAAC;YACpJ,IAAI,CAAC,CAAC,YAAY,KAAK,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC,qBAAqB,EAAE,kCAAkC,CAAC,CAAC;YAC1K,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;gBAAE,OAAO,MAAM,CAAC,kBAAkB,EAAE,yDAAyD,CAAC,CAAC;YACxI,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC1I,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,CAAC;YACvG,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;gBAAE,OAAO,MAAM,CAAC,kBAAkB,EAAE,uCAAuC,CAAC,CAAC;YAC5H,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC/I,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YAClB,IAAI,CAAC,CAAC,CAAC,UAAU;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,8CAA8C,CAAC,CAAC;YACnG,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACnC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,kCAAkC,CAAC,CAAC;YACxG,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;gBAAE,OAAO,MAAM,CAAC,kBAAkB,EAAE,qCAAqC,CAAC,CAAC;YACxH,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,qDAAqD,CAAC,CAAC;YAC7H,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,wCAAwC,CAAC,CAAC;YACpH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oBACzB,EAAE,IAAI,EAAE,iBAAiB,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC,cAAc,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE;oBACzI,EAAE,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE;iBAC9H,EAAE,CAAC;QACN,CAAC;QACD,KAAK,aAAa,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,UAAU,EAAE,8BAA8B,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3F,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC;YAC/G,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QAC9I,CAAC;IACH,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,gBAAgB,CAAC,CAAwB,EAAE,CAAoB;IAC7E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IAC7C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1F,KAAK,cAAc,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;QACtE,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;YAClC,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC/C,mGAAmG;YACnG,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC1I,IAAI,CAAC,KAAK,UAAU;gBAAE,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC;YACxJ,IAAI,CAAC,KAAK,yBAAyB;gBAAE,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC,EAAE,KAAK,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC;YAC9N,IAAI,CAAC,KAAK,qBAAqB,IAAI,CAAC,KAAK,mBAAmB;gBAAE,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;YAChJ,2GAA2G;YAC3G,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,yBAAyB,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC;QAC5J,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC7I,KAAK,iBAAiB,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAE,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;QACnI,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAE,EAAE,KAAK,EAAE,WAAyB,EAAE,EAAE,CAAC;YAC3G,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;YACxE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACtH,CAAC;QACD,KAAK,uBAAuB,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACtG,KAAK,eAAe,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;QAClE,KAAK,eAAe,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QAC1M,KAAK,kBAAkB,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;QACtE,KAAK,mBAAmB,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,oBAAoB,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;QAC7G,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,oBAAoB;AACpB,MAAM,UAAU,gBAAgB,CAAC,OAA8B,EAAE,MAAoC;IACnG,OAAO,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,cAAc,CAAC,CAAwB,EAAE,CAAsB;IAC7E,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,CAAC,EAAE;QAAE,OAAO,CAAC,CAAC;IACpB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAC9E,CAAC"}

package/package.json

@@ -0,0 +1,50 @@
+{
+  "name": "@agenticprimitives/intent-engagement",
+  "version": "0.0.0-alpha.1",
+  "description": "Intent engagement protocol core (spec 336 §8): probe → response → offer → acceptance → mandate requirement → execute → receipt as pure documents, JCS digests, and two deterministic reducers. Transport-free; grants nothing.",
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "LICENSE",
+    "dist",
+    "spec.md",
+    "README.md"
+  ],
+  "devDependencies": {
+    "vitest": "^4.1.8"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/agentictrustlabs/agenticprimitives.git",
+    "directory": "packages/intent-engagement"
+  },
+  "license": "MIT",
+  "keywords": [
+    "agentic",
+    "primitives",
+    "intent",
+    "engagement",
+    "offer",
+    "mandate"
+  ],
+  "dependencies": {
+    "viem": "^2.52.2",
+    "@agenticprimitives/types": "1.0.0-alpha.22"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run",
+    "test:unit": "vitest run test/unit --passWithNoTests",
+    "test:watch": "vitest",
+    "clean": "rm -rf dist"
+  }
+}

package/spec.md

@@ -0,0 +1,5 @@
+# @agenticprimitives/intent-engagement — spec pointer
+
+The architect-of-record is [spec 336 — Intent Engagement Profile](../../specs/336-intent-engagement-profile.md) (§8 names this package) and,
+for the harness wave that built it, [spec 384 — Engagement core](../../specs/384-engagement-core-probe-offer-mandate.md).
+This package is the transport-free protocol core: documents, digests, the engagement and offer reducers, reason codes, ports.