keri-ts 0.11.0 → 2.0.0

package/types/core/errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/core/errors.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,qBAAa,QAAS,SAAQ,KAAK;aAGf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;gBADjD,OAAO,EAAE,MAAM,EACC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,YAAA;CAKpD;AAED,2EAA2E;AAC3E,qBAAa,eAAgB,SAAQ,QAAQ;CAAG;AAEhD,yEAAyE;AACzE,qBAAa,SAAU,SAAQ,QAAQ;CAAG;AAE1C,wEAAwE;AACxE,qBAAa,oBAAqB,SAAQ,eAAe;CAAG;AAE5D,+DAA+D;AAC/D,qBAAa,aAAc,SAAQ,QAAQ;CAAG;AAE9C,6EAA6E;AAC7E,qBAAa,oBAAqB,SAAQ,aAAa;CAAG;AAE1D,0EAA0E;AAC1E,qBAAa,gBAAiB,SAAQ,aAAa;CAAG;AAEtD,sEAAsE;AACtE,qBAAa,sBAAuB,SAAQ,aAAa;CAAG"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/core/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,qBAAa,QAAS,SAAQ,KAAK;gBAE/B,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,YAAY;CAKzB;AAED,2EAA2E;AAC3E,qBAAa,eAAgB,SAAQ,QAAQ;CAAG;AAEhD,yEAAyE;AACzE,qBAAa,SAAU,SAAQ,QAAQ;CAAG;AAE1C,wEAAwE;AACxE,qBAAa,oBAAqB,SAAQ,eAAe;CAAG;AAE5D,+DAA+D;AAC/D,qBAAa,aAAc,SAAQ,QAAQ;CAAG;AAE9C,6EAA6E;AAC7E,qBAAa,oBAAqB,SAAQ,aAAa;CAAG;AAE1D,0EAA0E;AAC1E,qBAAa,gBAAiB,SAAQ,aAAa;CAAG;AAEtD,sEAAsE;AACtE,qBAAa,sBAAuB,SAAQ,aAAa;CAAG"}

package/types/core/{exchange-proofing.d.ts → exchange/exchange-proofing.d.ts}

@@ -1,7 +1,7 @@
 /** Independently verify EXN or disclosed-node proofs against already accepted KEL state. */
 import { type Cigar, type SealEvent, type SerderACDC, type SerderKERI } from "cesr-ts";
-import type { Baser } from "../db/basing.js";
-import { TransIdxSigGroup } from "./dispatch.js";
+import type { Baser } from "../../db/basing.js";
+import { type KeriDispatchEnvelope, TransIdxSigGroup } from "../dispatch.js";
 /** Explicit proof factors; no parent or neighboring node can supply implicit evidence here. */
 export interface ExchangeFactors {
     tsgs?: readonly TransIdxSigGroup[];
@@ -21,6 +21,13 @@ export interface ExchangeProofVerification {
     invalid: boolean;
     missing: MissingExchangeState[];
 }
+/**
+ * Authenticate a named query sender independently of optional KRAM admission.
+ * Explicit sender TSGs take precedence; only their absence allows raw/last
+ * factors to resolve against current accepted establishment state. A valid
+ * alternative suffices, but missing claimed coordinates refuse, as in Python.
+ */
+export declare function verifyQueryAttachments(db: Baser, envelope: KeriDispatchEnvelope): boolean;
 /**
  * Match frozen KERIpy peer.exchanging.verifyAttachments without fetching or publishing.
  * Source seals select an accepted key event containing this body's SAID.

package/types/core/exchange/exchange-proofing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exchange-proofing.d.ts","sourceRoot":"","sources":["../../../src/core/exchange/exchange-proofing.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,OAAO,EAAE,KAAK,KAAK,EAA0B,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,KAAK,UAAU,EAAE,MAAM,SAAS,CAAC;AAC/G,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,KAAK,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG7E,+FAA+F;AAC/F,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,SAAS,KAAK,EAAE,CAAC;IAC1B,WAAW,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CACpC;AAED,2FAA2F;AAC3F,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;CACnB;AAED,gGAAgG;AAChG,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,oBAAoB,GAAG,OAAO,CA0BzF;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,KAAK,EACT,MAAM,EAAE,UAAU,GAAG,UAAU,EAC/B,OAAO,EAAE,eAAe,GACvB,yBAAyB,CAmD3B"}

package/types/core/{protocol-exchanging.d.ts → exchange/protocol-exchanging.d.ts}

@@ -1,6 +1,12 @@
 import { type Diger, type Kind, SerderKERI, type Versionage } from "cesr-ts";
 import { type Cigar } from "cesr-ts";
-import { type TransIdxSigGroup } from "./dispatch.js";
+import { type TransIdxSigGroup } from "../dispatch.js";
+/** Closed IPEX verb vocabulary shared by protocol versions. */
+export type IpexVerb = "apply" | "offer" | "agree" | "grant" | "admit" | "spurn";
+/** Narrow a wire route component before consulting version-specific policy. */
+export declare function isIpexVerb(value: string): value is IpexVerb;
+/** KERIpy acdc.ipexing PreviousRoutes, shared by v2 construction and accepted-conversation verification. */
+export declare const IPEX_V2_PREDECESSORS: Readonly<Record<Exclude<IpexVerb, "apply">, readonly IpexVerb[]>>;
 export declare function exincept(route?: string, { sender, receiver, modifiers, attributes, nonce, stamp, pvrsn, gvrsn, kind, }?: {
     sender?: string;
     receiver?: string;
@@ -34,8 +40,18 @@ export declare function serializeMessage(serder: SerderKERI, { tsgs, cigars, pat
     pipelined?: boolean;
     gvrsn?: Versionage;
 }): Uint8Array;
-/** Exact v2 multisig route/child-ilk contract at frozen KERIpy 927c0cb8 grouping.py:validate. */
+/** V2 TEL proposal routes share exact registry/anchor consent, not an arbitrary anchor bucket. */
+export declare function isV2RegistryRoute(route: string): route is "/multisig/rip" | "/multisig/bup";
+/** Selected ACDC v2 multisig routes; exact child relationships remain the coordinator's obligation. */
 export declare function nestedMultisigIlks(route: string): readonly string[] | null;
+/**
+ * Payload field carrying a v2 wrapper's signed child SAID: the route's last
+ * segment, except `/multisig/ipex-proof`, which commits its Grant as `grant`
+ * (KERIpy `Multiplexor.V2Fields`).
+ */
+export declare function multisigChildField(route: string): string;
 /** V2 routes whose handlers own direct disclosed ACDC children. */
 export declare function nestedIpexRoute(route: string): boolean;
+/** Structural v2 nested-route support; handler child validation and independent proofs remain separate obligations. */
+export declare function supportsNestedExchange(route: string, protocolMajor: number): boolean;
 //# sourceMappingURL=protocol-exchanging.d.ts.map

package/types/core/exchange/protocol-exchanging.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol-exchanging.d.ts","sourceRoot":"","sources":["../../../src/core/exchange/protocol-exchanging.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,KAAK,EAEV,KAAK,IAAI,EAOT,UAAU,EACV,KAAK,UAAU,EAGhB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,SAAS,CAAC;AAGrC,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGvD,+DAA+D;AAC/D,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;AAEjF,+EAA+E;AAC/E,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,QAAQ,CAO3D;AAED,4GAA4G;AAC5G,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC,CAMlG,CAAC;AA6DF,wBAAgB,QAAQ,CACtB,KAAK,SAAK,EACV,EACE,MAAW,EACX,QAAa,EACb,SAAS,EACT,UAAU,EACV,KAAK,EACL,KAAK,EACL,KAAgB,EAChB,KAAK,EACL,IAAiB,GAClB,GAAE;IACD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,KAAK,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC,EAAE,IAAI,CAAC;CACR,GACL,UAAU,CAqBZ;AAED,wBAAgB,QAAQ,CACtB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,YAAK,EACrC,EACE,MAAM,EACN,KAAK,EACL,SAAS,EACT,IAAI,EACJ,KAAK,EACL,GAAQ,EACR,GAAQ,EACR,SAAS,EACT,MAAM,EACN,OAAO,EACP,KAAK,EACL,KAAK,EACL,IAAI,GACL,EAAE;IACD,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACpC,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,KAAK,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC,EAAE,IAAI,CAAC;CACb,GACA,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CA4DnC;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,UAAU,EAClB,EACE,IAAI,EACJ,MAAM,EACN,MAAM,EACN,SAAiB,EACjB,KAAgB,GACjB,GAAE;IACD,IAAI,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,SAAS,KAAK,EAAE,CAAC;IAC1B,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC;IAC1C,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,UAAU,CAAC;CACf,GACL,UAAU,CAQZ;AAED,kGAAkG;AAClG,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,GAAG,eAAe,CAE3F;AAED,uGAAuG;AACvG,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,IAAI,CAuB1E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAExD;AAED,mEAAmE;AACnE,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED,uHAAuH;AACvH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAEpF"}

package/types/core/genus-framing.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Prefix a genus-version counter wherever consecutive messages change attachment genus.
+ *
+ * Receivers keep a stream's genus across messages and change it only at a top-level
+ * genus-version counter: KERIpy starts every stream at 2.0, and keri-ts infers the
+ * first unselected body and then keeps any selection. The first message sets the
+ * stream's genus without a counter, so single-genus streams stay byte-identical; each
+ * later change carries its counter in the same chunk as the message it selects.
+ * Messages that already begin with a selector set the current genus unchanged.
+ */
+export declare function genusFramed(messages: Iterable<Uint8Array>): Generator<Uint8Array>;
+//# sourceMappingURL=genus-framing.d.ts.map

package/types/core/genus-framing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"genus-framing.d.ts","sourceRoot":"","sources":["../../src/core/genus-framing.ts"],"names":[],"mappings":"AAuBA;;;;;;;;;GASG;AACH,wBAAiB,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAYlF"}

package/types/core/{eventing.d.ts → kel/eventing.d.ts}

@@ -1,12 +1,12 @@
-import { Cigar, Diger, NumberPrimitive, Prefixer, SerderKERI, Siger } from "cesr-ts";
-import { Baser } from "../db/basing.js";
-import type { AgentCue } from "./cues.js";
-import { Deck } from "./deck.js";
-import { type KeriDispatchEnvelope, type TransIdxSigGroup, type TransReceiptQuadruple } from "./dispatch.js";
+import { Cigar, Diger, NumberPrimitive, Prefixer, SerderKERI, Siger, type Versionage } from "cesr-ts";
+import { Baser } from "../../db/basing.js";
+import type { AgentCue } from "../cues.js";
+import { Deck } from "../deck.js";
+import { type KeriDispatchEnvelope, type TransIdxSigGroup, type TransReceiptQuadruple } from "../dispatch.js";
+import type { Kramer } from "../mailbox/kraming.js";
+import { type ReplyProcessDecision, Revery, Router } from "../routing.js";
 import { type EscrowDrop, type EscrowKeep, type EscrowProcessDecision, type KeverDecision, type QueryProcessDecision } from "./kever-decisions.js";
 import { Kever } from "./kever.js";
-import type { Kramer } from "./kraming.js";
-import { type ReplyProcessDecision, Revery, Router } from "./routing.js";
 type AcceptedReceiptedEventLookupDecision = {
     kind: "accept";
     event: {
@@ -40,6 +40,8 @@ export type KeverEventEnvelope = Pick<KeriDispatchEnvelope, "serder" | "sigers"
  * - `q.src` still lives in the query body and must be explicit
  */
 export interface QueryEnvelope {
+    /** Parsed attachment genus, independent of the signed body version and HTTP media type. */
+    gvrsn?: Versionage;
     serder: SerderKERI;
     source?: Prefixer;
     sigers?: Siger[];
@@ -110,11 +112,12 @@ export declare class Kevery {
      * The returned decision is the normal typed outcome for remote processing.
      * The owning native writer covers decision, admission and durable effects;
      * accepted live state and cues publish only after that commit returns.
-     * An already active writer remains caller-owned, including its publication boundary.
+     * Caller-owned native writers are refused before evaluation or effects: this
+     * processor must own the commit that precedes live state/cue publication.
      * Exceptions are reserved for invariant/corruption cases during application.
      */
     processEvent(envelope: KeverEventEnvelope): KeverDecision;
-    /** Commit event effects and any replay bucket change before publishing admitted state/cues. */
+    /** Commit event effects and any replay bucket change before publishing live state and cues. */
     private settleEventDecision;
     /**
      * Process one query message through the KEL-owned query/reply path.
@@ -147,6 +150,8 @@ export declare class Kevery {
      *   state or route criteria
      * - `drop` means the query is malformed or unsupported and should not become
      *   query-not-found escrow
+     *
+     * @param envelope Parsed signed query and its attached authentication evidence.
      */
     private decideQuery;
     /**
@@ -290,18 +295,16 @@ export declare class Kevery {
      * - delegation to `Kever` for state-machine validation
      */
     decideEvent(envelope: KeverEventEnvelope): KeverDecision;
-    /**
-     * Apply one previously decided outcome to the durable DB/runtime state.
-     *
-     * Ownership rule:
-     * - `Kever` decides acceptance/rejection criteria
-     * - `Kevery` owns durable mutation, escrow routing, duplicate logging, and
-     *   post-acceptance cue emission
-     * - explicit decide/apply callers own synchronous writer and commit/publication ordering
-     */
-    applyDecision(decision: KeverDecision): void;
-    /** Admit concrete cues and fix FEL metadata under the caller's synchronous writer ownership. */
-    private prepareDecision;
+    /** Describe finalized log coordinates, clone notices and accepted state without executable effects. */
+    private eventMetadata;
+    /** Persist the decision and its concrete log metadata before publication. */
+    private writeEventDecision;
+    /** Publish accepted cache state; cue publication remains explicit at the processing owner. */
+    private publishEventState;
+    /** Apply concrete delegation-hint discoveries only under the processing owner's write phase. */
+    private writeSourceSealRepairs;
+    /** Describe a clone-order anomaly; storage metadata does not publish protocol work. */
+    private logNoticeCues;
     /** Reprocess one pass of out-of-order escrowed events. */
     processEscrowOutOfOrders(): void;
     /**
@@ -375,8 +378,9 @@ export declare class Kevery {
      * Why `Kevery` owns this route:
      * - trust-source policy depends on KEL state and configured watchers
      * - accepted replies must stay consistent with the accepted event log at `sn`
-     * - successful acceptance emits `keyStateSaved`, which drives follow-on query
-     *   continuation work
+     * - successful validation/persistence emits `keyStateSaved`, supplying the
+     *   remote notice target for query workflows; ordinary KEL acceptance does not
+     *   imply receipt of such a notice
      */
     processReplyKeyStateNotice(args: {
         serder: SerderKERI;
@@ -410,9 +414,7 @@ export declare class Kevery {
     }): ReplyProcessDecision;
     /** Construct post-acceptance policy cues from prospective state without mutating group indexes. */
     private acceptanceCues;
-    /** Forward decision-carried cues into the shared runtime cue deck. */
-    private emitDecisionCues;
-    /** Admit concrete query output before repairing replay source seals or publishing its cues. */
+    /** Repair replay source seals before publishing query output. */
     private publishQueryCues;
     /**
      * Persist one missing-state query so later runtime turns can retry it.
@@ -594,26 +596,6 @@ export declare class Kevery {
      *   receipt is stale and should be ignored
      */
     lookupAcceptedReceiptedEvent(scope: "URE" | "VRE", pre: string, sn: number, said: string): AcceptedReceiptedEventLookupDecision;
-    /**
-     * Resolve the witness list used for accepted-event receipt processing.
-     *
-     * Order of preference:
-     * - witness state already logged with the accepted event in `wits.`
-     * - backers carried directly on inception/delegated inception events
-     * - current live key state for later event types
-     *
-     * KERIpy note:
-     * - accepted-event receipt handling is a different seam from
-     *   `_processEscrowFindUnver()`
-     * - partial-witness replay deliberately recomputes the witness list from the
-     *   escrowed event and current state instead of trusting this projection
-     *
-     * Translation note:
-     * - this helper is intentionally about accepted-event receipt handling only
-     * - if a maintainer is looking for the partial-witness replay logic, the
-     *   right seam is `resolvePartialWitnessEscrowWitnesses()`
-     */
-    private resolveAcceptedEventWitnesses;
     /**
      * Rebuild one partial-witness escrow event's witness list for receipt replay.
      *
@@ -752,7 +734,9 @@ export declare class Kevery {
      *
      * Stored artifacts mirror the KERIpy event escrow model:
      * - `dtss.` for local escrow insertion time
-     * - `sigs.` / `wigs.` / `wits.` for verified attachment state
+     * - `sigs.` / `wigs.` for retained attachment candidates; early escrows may
+     *   precede their verification
+     * - `wits.` for the derived witness cohort when available
      * - `evts.` for the escrowed event body
      * - `udes.` for delegation or source-seal context when present
      * - `esrs.` for local/remote source provenance
@@ -781,8 +765,13 @@ export declare class Kevery {
      *
      * Event-escrow replay differs from receipt/query/reply replay:
      * - the escrowed event is reconstructed back into a normal event envelope
-     * - the same native writer and prepared decision path as live intake is reused
+     * - the same native writer and explicit processing path as live intake is reused
      * - escrow movement/removal commits with event effects before state/cue publication
+     *
+     * @param currentEscrow Family currently retaining the event.
+     * @param pre Event AID in qualified Base64 form.
+     * @param on Event sequence number, or null for a set-keyed family.
+     * @param said Event digest identifying its stored body and detached proofs.
      */
     private replayEscrowEntry;
     /** Remove one stored escrow pointer from its current bucket. */

package/types/core/kel/eventing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eventing.d.ts","sourceRoot":"","sources":["../../../src/core/kel/eventing.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EAEL,KAAK,EAEL,eAAe,EACf,QAAQ,EAER,UAAU,EACV,KAAK,EAEL,KAAK,UAAU,EAChB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAG3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,qBAAqB,EAC3B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAIpD,OAAO,EAAuB,KAAK,oBAAoB,EAAE,MAAM,EAAE,MAAM,EAA2B,MAAM,eAAe,CAAC;AACxH,OAAO,EAQL,KAAK,UAAU,EAGf,KAAK,UAAU,EAGf,KAAK,qBAAqB,EAM1B,KAAK,aAAa,EAGlB,KAAK,oBAAoB,EAI1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAuB,MAAM,YAAY,CAAC;AA0BxD,KAAK,oCAAoC,GACrC;IACA,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,UAAU,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAC1E,GACC,UAAU,GACV,UAAU,CAAC;AAMf;;;;;;;;;;GAUG;AACH,MAAM,MAAM,kBAAkB,GAC1B,IAAI,CACJ,oBAAoB,EACpB,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CACpE,GACC;IACA,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC;AAEJ;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa;IAC5B,2FAA2F;IAC3F,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;CAClB;AAED,oFAAoF;AACpF,MAAM,WAAW,aAAa;IAC5B,gEAAgE;IAChE,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChC,mFAAmF;IACnF,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChC;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GAAG,IAAI,CAChC,oBAAoB,EACpB,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAClD,CAAC;AA6BF;;;;;;GAMG;AACH,qBAAa,MAAM;IACjB,MAAM,CAAC,QAAQ,CAAC,UAAU,WAAY;IACtC,MAAM,CAAC,QAAQ,CAAC,UAAU,WAAY;IACtC,MAAM,CAAC,QAAQ,CAAC,UAAU,WAAY;IACtC,MAAM,CAAC,QAAQ,CAAC,UAAU,UAAW;IAErC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,uFAAuF;IACvF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,8EAA8E;IAC9E,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBAG7B,EAAE,EAAE,KAAK,EACT,EACE,IAAI,EACJ,GAAU,EACV,KAAa,EACb,GAAG,EACH,aAAkB,EAClB,MAAM,GACP,GAAE;QACD,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtB,GAAG,CAAC,EAAE,OAAO,CAAC;QACd,KAAK,CAAC,EAAE,OAAO,CAAC;QAChB,GAAG,CAAC,EAAE,MAAM,CAAC;QACb,aAAa,CAAC,EAAE,aAAa,CAAC;QAC9B,MAAM,CAAC,EAAE,MAAM,CAAC;KACZ;IAYR,oEAAoE;IACpE,IAAI,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAE/B;IAED,+DAA+D;IAC/D,IAAI,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,CAE1B;IAED;;;;;;;OAOG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAKzC;;;;;;;;;OASG;IACH,YAAY,CAAC,QAAQ,EAAE,kBAAkB,GAAG,aAAa;IAIzD,+FAA+F;IAC/F,OAAO,CAAC,mBAAmB;IAoC3B;;;;;;;OAOG;IACH,YAAY,CAAC,QAAQ,EAAE,aAAa,GAAG,oBAAoB;IAM3D,2FAA2F;IAC3F,wBAAwB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO;IAS1D;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,OAAO,CAAC,WAAW;IA0GnB;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,sBAAsB;IAuB9B;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,cAAc,CAAC,QAAQ,EAAE,eAAe,GAAG,IAAI;IAwD/C;;;;;;;;;;;;OAYG;IACH,6BAA6B,CAAC,IAAI,EAAE;QAClC,MAAM,EAAE,UAAU,CAAC;QACnB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,EAAE,eAAe,CAAC;QACzB,KAAK,CAAC,EAAE,OAAO,CAAC;KACjB,GAAG,IAAI;IAkCR;;;;;OAKG;IACH,4BAA4B,CAAC,IAAI,EAAE;QACjC,MAAM,EAAE,UAAU,CAAC;QACnB,IAAI,EAAE,SAAS,gBAAgB,EAAE,CAAC;QAClC,MAAM,CAAC,EAAE,eAAe,CAAC;QACzB,KAAK,CAAC,EAAE,OAAO,CAAC;KACjB,GAAG,IAAI;IAqBR;;;;;;;;;;;OAWG;IACH,gCAAgC,CAAC,IAAI,EAAE;QACrC,MAAM,EAAE,UAAU,CAAC;QACnB,IAAI,EAAE,SAAS,qBAAqB,EAAE,CAAC;QACvC,MAAM,CAAC,EAAE,eAAe,CAAC;QACzB,KAAK,CAAC,EAAE,OAAO,CAAC;KACjB,GAAG,IAAI;IAmDR;;;;;;;;OAQG;IACH,OAAO,CAAC,kBAAkB;IAsB1B;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,2BAA2B;IAkCnC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,2BAA2B;IAgBnC;;;;;;;;OAQG;IACH,WAAW,CAAC,QAAQ,EAAE,kBAAkB,GAAG,aAAa;IAiFxD,uGAAuG;IACvG,OAAO,CAAC,aAAa;IA8BrB,6EAA6E;IAC7E,OAAO,CAAC,kBAAkB;IAc1B,8FAA8F;IAC9F,OAAO,CAAC,iBAAiB;IAWzB,gGAAgG;IAChG,OAAO,CAAC,sBAAsB;IAQ9B,uFAAuF;IACvF,OAAO,CAAC,aAAa;IAQrB,0DAA0D;IAC1D,wBAAwB,IAAI,IAAI;IAIhC;;;;;;;;OAQG;IACH,yBAAyB,IAAI,IAAI;IAgCjC;;;;;;;;;;OAUG;IACH,0BAA0B,IAAI,IAAI;IA8BlC;;;;;;;;;;;;OAYG;IACH,uBAAuB,IAAI,IAAI;IA2B/B,wDAAwD;IACxD,wBAAwB,IAAI,IAAI;IAIhC,wDAAwD;IACxD,wBAAwB,IAAI,IAAI;IAIhC,qDAAqD;IACrD,wBAAwB,IAAI,IAAI;IAIhC,uDAAuD;IACvD,wBAAwB,IAAI,IAAI;IAIhC,8DAA8D;IAC9D,uBAAuB,IAAI,IAAI;IAI/B;;;;;;;;OAQG;IACH,oBAAoB,IAAI,IAAI;IA0B5B,2CAA2C;IAC3C,oBAAoB,IAAI,IAAI;IAI5B;;;;;OAKG;IACH,cAAc,IAAI,IAAI;IAatB;;;;;;;;;OASG;IACH,0BAA0B,CAAC,IAAI,EAAE;QAC/B,MAAM,EAAE,UAAU,CAAC;QACnB,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;QACZ,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;QACjB,IAAI,CAAC,EAAE,gBAAgB,EAAE,CAAC;KAC3B,GAAG,oBAAoB;IAmFxB;;;;;;;;;;;;OAYG;IACH,sBAAsB,CAAC,IAAI,EAAE;QAC3B,MAAM,EAAE,UAAU,CAAC;QACnB,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;QACZ,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;QACjB,IAAI,CAAC,EAAE,gBAAgB,EAAE,CAAC;KAC3B,GAAG,oBAAoB;IAsExB,mGAAmG;IACnG,OAAO,CAAC,cAAc;IAStB,iEAAiE;IACjE,OAAO,CAAC,gBAAgB;IASxB;;;;;;;;;OASG;IACH,OAAO,CAAC,wBAAwB;IAgDhC,wFAAwF;IACxF,OAAO,CAAC,0BAA0B;IAQlC;;;;;;;;;;;;;;;;;;OAkBG;IACI,sBAAsB,CAC3B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,qBAAqB;IAmExB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,OAAO,CAAC,eAAe;IAsBvB;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CAAC,cAAc;IA8BtB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,OAAO,CAAC,cAAc;IAiCtB;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,eAAe;IAmCvB;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IA6BzB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,oCAAoC;IAuE5C;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IAc1B;;;;;;;;OAQG;IACH,OAAO,CAAC,uCAAuC;IA+B/C;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,2CAA2C;IA6DnD;;;;;;;OAOG;IACI,4BAA4B,CACjC,KAAK,EAAE,KAAK,GAAG,KAAK,EACpB,GAAG,EAAE,MAAM,EACX,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,GACX,oCAAoC;IA0BvC;;;;;;;;;;;;;;;OAeG;IACI,oCAAoC,CACzC,MAAM,EAAE,UAAU,GACjB;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,UAAU,CAAA;KAAE,GAAG,UAAU;IAwCzE;;;;;;;;;;;;;;;;;OAiBG;IACH,OAAO,CAAC,sBAAsB;IAwF9B;;;;;;;;;;;OAWG;IACI,+BAA+B,CACpC,GAAG,EAAE,MAAM,EACX,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,qBAAqB;IAWxB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,gCAAgC;IAuDxC;;;;;;;;;;;;OAYG;IACI,oCAAoC,CACzC,GAAG,EAAE,MAAM,EACX,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,GAC1D,qBAAqB;IAyExB,6FAA6F;IAC7F,OAAO,CAAC,kBAAkB;IAe1B,sEAAsE;IACtE,OAAO,CAAC,kBAAkB;IAiB1B,iFAAiF;IACjF,OAAO,CAAC,kBAAkB;IA2B1B,8EAA8E;IAC9E,OAAO,CAAC,sBAAsB;IAyD9B;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAsBhC;;;;;;;OAOG;IACH,OAAO,CAAC,sBAAsB;IA4B9B;;;;;;;OAOG;IACH,OAAO,CAAC,mCAAmC;IAkC3C;;;;;;OAMG;IACH,OAAO,CAAC,gCAAgC;IAgCxC,wFAAwF;IACxF,OAAO,CAAC,mBAAmB;IAY3B;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IA8BhC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,0BAA0B;IA6ClC,4EAA4E;IAC5E,OAAO,CAAC,uBAAuB;IAiC/B,OAAO,CAAC,0BAA0B;IAYlC;;;;;;OAMG;IACH,OAAO,CAAC,oBAAoB;IAqC5B;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAuBxB;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,iBAAiB;IAwBzB,gEAAgE;IAChE,OAAO,CAAC,YAAY;IAkCpB;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAatB;;;;;OAKG;IACH,OAAO,CAAC,aAAa;IAYrB;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;CAS3B"}

package/types/core/{kever-decisions.d.ts → kel/kever-decisions.d.ts}

@@ -1,7 +1,7 @@
 import type { Dater, FirstSeen, SealEvent, SealSource, SerderKERI, Siger } from "cesr-ts";
-import type { AgentCue } from "./cues.js";
-import { type Logger } from "./logger.js";
-import type { KeyStateRecord } from "./records.js";
+import type { AgentCue } from "../cues.js";
+import { type Logger } from "../logger.js";
+import type { KeyStateRecord } from "../records.js";
 /** Escrow bucket names used by typed KEL validation decisions. */
 export type EscrowKind = "ooo" | "partialSigs" | "partialWigs" | "partialDels" | "delegables" | "duplicitous" | "misfit" | "queryNotFound";
 /** Duplicate acceptance categories that remain non-fatal to processing. */
@@ -62,17 +62,24 @@ export interface AttachmentEscrow {
     message: string;
     instruction: EscrowInstruction;
     cues?: readonly AgentCue[];
-    context?: Record<string, unknown>;
 }
 /** Attachment validation variant for terminal rejection outcomes. */
 export interface AttachmentReject {
     kind: "reject";
     code: RejectKind;
     message: string;
-    context?: Record<string, unknown>;
+}
+/** Repair of one accepted delegation hint discovered during validation, applied by Kevery. */
+export interface DelegationSourceRepair {
+    pre: string;
+    said: string;
+    /** Null removes a broken hint; otherwise retain the discovered authorizing event. */
+    sourceSeal: SealSource | null;
 }
 /** Result of attachment validation prior to full event-state acceptance. */
-export type AttachmentDecision = AttachmentVerified | AttachmentEscrow | AttachmentReject;
+export type AttachmentDecision = (AttachmentVerified | AttachmentEscrow | AttachmentReject) & {
+    sourceSealRepairs?: readonly DelegationSourceRepair[];
+};
 /** Top-level kever decision variant for accepted transitions. */
 export interface KeverAccept {
     kind: "accept";
@@ -93,17 +100,17 @@ export interface KeverEscrow {
     message: string;
     instruction: EscrowInstruction;
     cues?: readonly AgentCue[];
-    context?: Record<string, unknown>;
 }
 /** Top-level kever decision variant for terminal rejection outcomes. */
 export interface KeverReject {
     kind: "reject";
     code: RejectKind;
     message: string;
-    context?: Record<string, unknown>;
 }
 /** Top-level typed outcome returned by `Kevery.processEvent()`. */
-export type KeverDecision = KeverAccept | KeverDuplicate | KeverEscrow | KeverReject;
+export type KeverDecision = (KeverAccept | KeverDuplicate | KeverEscrow | KeverReject) & {
+    sourceSealRepairs?: readonly DelegationSourceRepair[];
+};
 /**
  * Recoverable escrow-processing reasons that keep one escrow row in place for a
  * later pass.
@@ -118,28 +125,24 @@ export type EscrowKeepReason = "missingReceiptedEvent" | "missingReceiptorEstabl
  * These typed reasons replace KERIpy replay paths that would log and remove an
  * escrow row after a non-recoverable validation or artifact failure.
  */
-export type EscrowDropReason = "missingDater" | "stale" | "invalidWitnessSet" | "duplicateWitnesses" | "duplicateCuts" | "cutsNotSubsetOfWitnesses" | "duplicateAdds" | "intersectingCutsAndAdds" | "intersectingWitnessesAndAdds" | "invalidWitnessIndex" | "invalidReceiptSignature" | "invalidReceiptDigest" | "invalidReceiptedEventReference" | "invalidReceiptorSeal" | "missingReceiptorKeys" | "receiptorIndexOutOfRange" | "invalidReceiptorEstablishment" | "missingEscrowArtifact" | "missingEscrowedEvent" | "missingEscrowedEndorsements" | "malformedEscrowedQuery" | "malformedEscrowedReply" | "processingError" | "outerCorruption";
+export type EscrowDropReason = "missingDater" | "stale" | "invalidWitnessSet" | "duplicateWitnesses" | "duplicateCuts" | "cutsNotSubsetOfWitnesses" | "duplicateAdds" | "intersectingCutsAndAdds" | "intersectingWitnessesAndAdds" | "invalidWitnessIndex" | "invalidReceiptSignature" | "invalidReceiptDigest" | "invalidReceiptedEventReference" | "invalidReceiptorSeal" | "missingReceiptorKeys" | "receiptorIndexOutOfRange" | "invalidReceiptorEstablishment" | "missingEscrowArtifact" | "missingEscrowedEvent" | "missingEscrowedEndorsements" | "malformedEscrowedQuery" | "processingError";
 /** Escrow-processing variant for one escrow row that has now been successfully applied. */
 export interface EscrowAccept {
     kind: "accept";
 }
-export interface EscrowDecisionMeta {
-    message?: string;
-    context?: Record<string, unknown>;
-}
 /** Escrow-processing variant for one escrow row that should remain in escrow. */
 export interface EscrowKeep {
     kind: "keep";
     reason: EscrowKeepReason;
     message?: string;
-    context?: Record<string, unknown>;
 }
 /** Escrow-processing variant for one escrow row that should be removed. */
 export interface EscrowDrop {
     kind: "drop";
     reason: EscrowDropReason;
     message?: string;
-    context?: Record<string, unknown>;
+    /** Original validation failure, when removal follows a caught exception. */
+    cause?: unknown;
 }
 /**
  * Typed result of processing one escrow row on one pass.
@@ -153,14 +156,25 @@ export type EscrowProcessDecision = EscrowAccept | EscrowKeep | EscrowDrop;
 /** Builder for one successfully applied escrow row. */
 export declare function acceptEscrow(): EscrowAccept;
 /** Builder for one recoverable miss that should remain escrowed. */
-export declare function keepEscrow(reason: EscrowKeepReason, meta?: EscrowDecisionMeta): EscrowKeep;
-/** Builder for one terminal outcome that should remove the escrow row. */
-export declare function dropEscrow(reason: EscrowDropReason, meta?: EscrowDecisionMeta): EscrowDrop;
+export declare function keepEscrow(reason: EscrowKeepReason, message?: string): EscrowKeep;
 /**
- * Emit one consistent log line for escrow keep/drop outcomes.
+ * Describe a terminal outcome without removing its escrow row.
+ *
+ * @param reason Existing protocol or stored-artifact reason for removal.
+ * @param message Specific validation detail, when available.
+ * @param cause Original caught validation failure; omitted for ordinary decisions.
+ * @returns The decision for the owner to apply and report after removal.
+ */
+export declare function dropEscrow(reason: EscrowDropReason, message?: string, cause?: unknown): EscrowDrop;
+/**
+ * Report a terminal escrow removal after its owning write has succeeded.
+ *
+ * Accepted work and recoverable misses are silent. An original validation error
+ * remains available to the logger with its stack and cause.
  *
- * This preserves the diagnostic role KERIpy gets from exception logging while
- * keeping the runtime on explicit decisions instead of exception control flow.
+ * @param scope Owner, escrow family and identifying coordinates of the removed row.
+ * @param decision Replay outcome whose removal has already completed.
+ * @param logger Existing diagnostic sink; defaults to the process console logger.
  */
 export declare function logEscrowDecision(scope: string, decision: EscrowProcessDecision, logger?: Logger): void;
 /** Recoverable live-receipt outcomes that require escrowing attached material. */

package/types/core/kel/kever-decisions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kever-decisions.d.ts","sourceRoot":"","sources":["../../../src/core/kel/kever-decisions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAS,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAiB,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEpD,kEAAkE;AAClE,MAAM,MAAM,UAAU,GAClB,KAAK,GACL,aAAa,GACb,aAAa,GACb,aAAa,GACb,YAAY,GACZ,aAAa,GACb,QAAQ,GACR,eAAe,CAAC;AAEpB,2EAA2E;AAC3E,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,iBAAiB,CAAC;AAE3D,+EAA+E;AAC/E,MAAM,MAAM,UAAU,GAClB,YAAY,GACZ,YAAY,GACZ,WAAW,GACX,oBAAoB,GACpB,kBAAkB,GAClB,mBAAmB,GACnB,yBAAyB,GACzB,0BAA0B,GAC1B,kBAAkB,GAClB,iBAAiB,GACjB,2BAA2B,GAC3B,mBAAmB,GACnB,aAAa,GACb,OAAO,CAAC;AAEZ,gFAAgF;AAChF,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,UAAU,CAAC;IACnB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,GAAG,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IACvB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI,CAAC;IAC3C,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,oEAAoE;AACpE,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI,CAAC;IAC3C,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC5B;AAED,gFAAgF;AAChF,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC1B,UAAU,EAAE,WAAW,GAAG,QAAQ,GAAG,UAAU,CAAC;IAChD,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,cAAc,CAAC;IACtB,GAAG,EAAE,aAAa,CAAC;CACpB;AAED,iFAAiF;AACjF,MAAM,WAAW,gBAAiB,SAAQ,aAAa;CAAG;AAE1D,iEAAiE;AACjE,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,UAAU,CAAC;IACnB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,aAAa,CAAC;IACnB,cAAc,CAAC,EAAE,UAAU,CAAC;CAC7B;AAED,2DAA2D;AAC3D,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,mBAAmB,CAAC;CAClC;AAED,oEAAoE;AACpE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,iBAAiB,CAAC;IAC/B,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC5B;AAED,qEAAqE;AACrE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,8FAA8F;AAC9F,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,qFAAqF;IACrF,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;CAC/B;AAED,4EAA4E;AAC5E,MAAM,MAAM,kBAAkB,GAAG,CAAC,kBAAkB,GAAG,gBAAgB,GAAG,gBAAgB,CAAC,GAAG;IAC5F,iBAAiB,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACvD,CAAC;AAEF,iEAAiE;AACjE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,eAAe,CAAC;IAC5B,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC5B;AAED,6DAA6D;AAC7D,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,WAAW,CAAC;IAClB,SAAS,EAAE,aAAa,CAAC;IACzB,GAAG,CAAC,EAAE,gBAAgB,CAAC;IACvB,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC5B;AAED,4DAA4D;AAC5D,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,iBAAiB,CAAC;IAC/B,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC5B;AAED,wEAAwE;AACxE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,mEAAmE;AACnE,MAAM,MAAM,aAAa,GAAG,CAAC,WAAW,GAAG,cAAc,GAAG,WAAW,GAAG,WAAW,CAAC,GAAG;IACvF,iBAAiB,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACvD,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GACxB,uBAAuB,GACvB,+BAA+B,GAC/B,eAAe,GACf,iBAAiB,GACjB,kBAAkB,CAAC;AAEvB;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GACxB,cAAc,GACd,OAAO,GACP,mBAAmB,GACnB,oBAAoB,GACpB,eAAe,GACf,0BAA0B,GAC1B,eAAe,GACf,yBAAyB,GACzB,8BAA8B,GAC9B,qBAAqB,GACrB,yBAAyB,GACzB,sBAAsB,GACtB,gCAAgC,GAChC,sBAAsB,GACtB,sBAAsB,GACtB,0BAA0B,GAC1B,+BAA+B,GAC/B,uBAAuB,GACvB,sBAAsB,GACtB,6BAA6B,GAC7B,wBAAwB,GACxB,iBAAiB,CAAC;AAEtB,2FAA2F;AAC3F,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,iFAAiF;AACjF,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,gBAAgB,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,2EAA2E;AAC3E,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,gBAAgB,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,GAC7B,YAAY,GACZ,UAAU,GACV,UAAU,CAAC;AAEf,uDAAuD;AACvD,wBAAgB,YAAY,IAAI,YAAY,CAE3C;AAED,oEAAoE;AACpE,wBAAgB,UAAU,CACxB,MAAM,EAAE,gBAAgB,EACxB,OAAO,CAAC,EAAE,MAAM,GACf,UAAU,CAEZ;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACxB,MAAM,EAAE,gBAAgB,EACxB,OAAO,CAAC,EAAE,MAAM,EAChB,KAAK,CAAC,EAAE,OAAO,GACd,UAAU,CAEZ;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,qBAAqB,EAC/B,MAAM,GAAE,MAAsB,GAC7B,IAAI,CAQN;AAED,kFAAkF;AAClF,MAAM,MAAM,mBAAmB,GAC3B,uBAAuB,GACvB,+BAA+B,CAAC;AAEpC,2FAA2F;AAC3F,MAAM,MAAM,iBAAiB,GACzB,cAAc,GACd,uBAAuB,GACvB,kCAAkC,GAClC,sBAAsB,GACtB,+BAA+B,GAC/B,uBAAuB,GACvB,yBAAyB,CAAC;AAE9B,sEAAsE;AACtE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,oGAAoG;AACpG,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,kFAAkF;AAClF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,mBAAmB,CAAC;CAC7B;AAED,kEAAkE;AAClE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,iBAAiB,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,MAAM,MAAM,sBAAsB,GAC9B,aAAa,GACb,aAAa,GACb,aAAa,GACb,WAAW,CAAC;AAEhB,uEAAuE;AACvE,wBAAgB,aAAa,IAAI,aAAa,CAE7C;AAED,kEAAkE;AAClE,wBAAgB,aAAa,IAAI,aAAa,CAE7C;AAED,iEAAiE;AACjE,wBAAgB,aAAa,CAC3B,MAAM,EAAE,mBAAmB,GAC1B,aAAa,CAEf;AAED,4EAA4E;AAC5E,wBAAgB,WAAW,CACzB,MAAM,EAAE,iBAAiB,GACxB,WAAW,CAEb;AAED,2EAA2E;AAC3E,MAAM,MAAM,iBAAiB,GACzB,cAAc,GACd,eAAe,GACf,mBAAmB,GACnB,mBAAmB,CAAC;AAExB,6GAA6G;AAC7G,MAAM,MAAM,eAAe,GACvB,gBAAgB,GAChB,mCAAmC,GACnC,8BAA8B,GAC9B,iBAAiB,GACjB,kBAAkB,CAAC;AAEvB,kEAAkE;AAClE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC5B;AAED,gFAAgF;AAChF,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,iBAAiB,CAAC;CAC3B;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,eAAe,CAAC;CACzB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAC5B,WAAW,GACX,WAAW,GACX,SAAS,CAAC;AAEd,uDAAuD;AACvD,wBAAgB,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,GAAG,WAAW,CAInE;AAED,0DAA0D;AAC1D,wBAAgB,WAAW,CAAC,MAAM,EAAE,iBAAiB,GAAG,WAAW,CAElE;AAED,yDAAyD;AACzD,wBAAgB,SAAS,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,CAE5D;AAED,sEAAsE;AACtE,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,KAAK,EAAE,KAAK,CAAC;CACd"}

package/types/core/{kever.d.ts → kel/kever.d.ts}

@@ -1,9 +1,7 @@
 import { Dater, Diger, type FirstSeen, NumberPrimitive, Prefixer, SealEvent, SealSource, SerderKERI, Siger, Tholder, Verfer } from "cesr-ts";
-import type { Baser } from "../db/basing.js";
-import type { AgentCue } from "./cues.js";
-import { Deck } from "./deck.js";
-import type { AttachmentDecision, KELEventState, KeverDecision, KeverTransition } from "./kever-decisions.js";
-import { KeyStateRecord } from "./records.js";
+import type { Baser } from "../../db/basing.js";
+import { KeyStateRecord } from "../records.js";
+import type { AttachmentDecision, KeverDecision, KeverTransition } from "./kever-decisions.js";
 type DelegationSourceSeal = SealSource | SealEvent;
 /** Small latest-establishment pointer carried in a live `Kever`. */
 export interface LastEstLoc {
@@ -13,7 +11,6 @@ export interface LastEstLoc {
 /** Shared constructor options for live or reloaded `Kever` instances. */
 interface KeverBaseInit {
     db: Baser;
-    cues?: Deck<AgentCue>;
     local?: boolean;
     check?: boolean;
 }
@@ -50,11 +47,6 @@ interface AttachmentValidationInput {
     check?: boolean;
     isEstablishment?: boolean;
 }
-interface DelegatingEventLookup {
-    serder: SerderKERI;
-    sourceSeal: SealSource;
-    sealIndex: number;
-}
 /**
  * One live current-state machine for an accepted identifier KEL.
  *
@@ -66,10 +58,11 @@ interface DelegatingEventLookup {
  *   instead of using exceptions as regular control flow
  * - exceptions remain for invariant failures, corrupt durable state, and misuse
  *   of accepted-state-only helpers
+ * - decisions describe follow-up cues; this state machine neither owns a queue
+ *   nor admits, publishes, or retires runtime work
  */
 export declare class Kever {
     readonly db: Baser;
-    readonly cues: Deck<AgentCue>;
     version: readonly [number, number];
     prefixer: Prefixer;
     sner: NumberPrimitive;
@@ -103,12 +96,11 @@ export declare class Kever {
     /**
      * Materialize one live `Kever` from an already accepted transition.
      *
-     * This constructor bypasses durable-event reload because `applyDecision()`
+     * This constructor bypasses durable-event reload because Kevery
      * may need a working `Kever` instance before the event state has been persisted.
      */
-    static fromTransition(transition: KeverTransition, { db, cues }: {
+    static fromTransition(transition: KeverTransition, { db }: {
         db: Baser;
-        cues?: Deck<AgentCue>;
     }): Kever;
     /** Apply one previously accepted transition onto this live kever. */
     applyTransition(transition: KeverTransition): void;
@@ -202,28 +194,6 @@ export declare class Kever {
     reload(state: KeyStateRecord): void;
     /** Serialize the current accepted state into durable `states.` form. */
     state(): KeyStateRecord;
-    /** Fix log metadata and clone cues before any accepted-event writes. */
-    prepareLogEvent(args: KELEventState): {
-        fn: number | null;
-        dater: Dater;
-        cues: AgentCue[];
-    };
-    /**
-     * Idempotently log one verified accepted event into the durable KEL surface.
-     *
-     * This is the shared logging seam used by fresh acceptance, late signatures,
-     * and future replay/recovery flows.
-     *
-     * Logging rules are intentionally split:
-     * - accepted-event material (`dtss.`, `sigs.`, `wigs.`, `wits.`, `evts.`) is
-     *   always safe to write idempotently
-     * - delegator source seals are only persisted for accepted delegated
-     *   non-`ixn` events so provisional or malicious source-seal attachments do
-     *   not become accepted state
-     * - first-seen effects (`fels.`/`fons.`) use prepared metadata; Kevery
-     *   admits and publishes replay-fn anomaly cues outside this write seam
-     */
-    logEvent(args: KELEventState, prepared: ReturnType<Kever["prepareLogEvent"]>): void;
     /**
      * Return the exposed prior-next digest indices satisfied by `sigers`.
      *
@@ -255,15 +225,11 @@ export declare class Kever {
      *
      * This is the TypeScript equivalent of KERIpy's
      * `fetchDelegatingEvent(... original=...)`. When an accepted delegated event
-     * is rediscovered via the KEL walk, the `.aess` hint is repaired so later
-     * recursive delegation-recovery checks can start from durable source-seal
-     * state instead of re-walking the KEL every time.
+     * is rediscovered via the KEL walk, return its `.aess` repair in the decision.
+     * Kevery persists repairs after queue admission under the processing writer;
+     * later lookups within this validation see the pending repair immediately.
      */
-    fetchDelegatingEvent(delpre: string, serder: SerderKERI, { sourceSeal, original, eager, }?: {
-        sourceSeal?: DelegationSourceSeal | null;
-        original?: boolean;
-        eager?: boolean;
-    }): DelegatingEventLookup | null;
+    private fetchDelegatingEvent;
     /**
      * Load one state record and its corresponding serder into the live kever.
      *
@@ -345,9 +311,9 @@ export declare class Kever {
     private latestAcceptedDelegatedEventAtSn;
     /** Read the stored accepted source-seal hint for one already accepted event. */
     private acceptedSourceSealForEvent;
-    /** Remove one broken accepted source-seal hint so a later eager pass can repair it. */
+    /** Describe removal of one broken hint so a later eager pass can repair it. */
     private dropAcceptedSourceSeal;
-    /** Repair `.aess` for accepted delegated events after re-discovering the real boss. */
+    /** Describe an accepted event hint repair after rediscovering the authorizing event. */
     private repairAcceptedSourceSeal;
     /** Resolve one stored source seal to the exact accepted delegating event it names. */
     private lookupAcceptedDelegatingEvent;

package/types/core/kel/kever.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kever.d.ts","sourceRoot":"","sources":["../../../src/core/kel/kever.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,KAAK,EACL,KAAK,SAAS,EAEd,eAAe,EACf,QAAQ,EACR,SAAS,EACT,UAAU,EACV,UAAU,EACV,KAAK,EACL,OAAO,EACP,MAAM,EACP,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAMhD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,EACV,kBAAkB,EAMlB,aAAa,EAGb,eAAe,EAEhB,MAAM,sBAAsB,CAAC;AAoD9B,KAAK,oBAAoB,GAAG,UAAU,GAAG,SAAS,CAAC;AA0BnD,oEAAoE;AACpE,MAAM,WAAW,UAAU;IACzB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX;AAED,yEAAyE;AACzE,UAAU,aAAa;IACrB,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,uEAAuE;AACvE,MAAM,WAAW,cAAe,SAAQ,aAAa;IACnD,KAAK,EAAE,cAAc,CAAC;CACvB;AAED,qEAAqE;AACrE,MAAM,WAAW,cAAe,SAAQ,aAAa;IACnD,MAAM,EAAE,UAAU,CAAC;IACnB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,MAAM,CAAC,EAAE,SAAS,KAAK,EAAE,CAAC;IAC1B,IAAI,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAC5B,IAAI,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7B,IAAI,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAC5B,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,UAAU,wBAAwB;IAChC,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AASD,UAAU,yBAAyB;IACjC,MAAM,EAAE,UAAU,CAAC;IACnB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACxB,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,MAAM,EAAE,eAAe,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAQD;;;;;;;;;;;;;GAaG;AACH,qBAAa,KAAK;IAChB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAEnB,OAAO,EAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,QAAQ,EAAG,QAAQ,CAAC;IACpB,IAAI,EAAG,eAAe,CAAC;IACvB,IAAI,EAAG,eAAe,CAAC;IACvB,KAAK,EAAG,KAAK,CAAC;IACd,MAAM,EAAG,UAAU,CAAC;IACpB,GAAG,EAAG,MAAM,CAAC;IACb,OAAO,EAAG,OAAO,GAAG,IAAI,CAAC;IACzB,OAAO,EAAG,MAAM,EAAE,CAAC;IACnB,OAAO,EAAG,KAAK,EAAE,CAAC;IAClB,QAAQ,EAAG,OAAO,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAG,eAAe,CAAC;IACzB,IAAI,EAAG,MAAM,EAAE,CAAC;IAChB,IAAI,EAAG,MAAM,EAAE,CAAC;IAChB,IAAI,EAAG,MAAM,EAAE,CAAC;IAChB,OAAO,UAAS;IAChB,aAAa,UAAS;IACtB,OAAO,EAAG,UAAU,CAAC;IACrB,SAAS,UAAS;IAClB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAQ;IAE7B;;;;;;OAMG;IACH,OAAO;IAIP,+DAA+D;IAC/D,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,GAAG,KAAK;IAM7C;;;;;OAKG;IACH,MAAM,CAAC,cAAc,CACnB,UAAU,EAAE,eAAe,EAC3B,EAAE,EAAE,EAAE,EAAE;QAAE,EAAE,EAAE,KAAK,CAAA;KAAE,GACpB,KAAK;IAMR,qEAAqE;IACrE,eAAe,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI;IAIlD,iCAAiC;IACjC,IAAI,GAAG,IAAI,MAAM,CAEhB;IAED,wCAAwC;IACxC,IAAI,EAAE,IAAI,MAAM,CAEf;IAED,yCAAyC;IACzC,IAAI,EAAE,IAAI,MAAM,CAEf;IAED,0BAA0B;IAC1B,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,gDAAgD;IAChD,IAAI,KAAK,IAAI,MAAM,EAAE,CAEpB;IAED,+DAA+D;IAC/D,IAAI,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAE/B;IAED,wEAAwE;IACxE,IAAI,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,CAE1B;IAED,mDAAmD;IACnD,IAAI,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAExB;IAED,sDAAsD;IACtD,IAAI,YAAY,IAAI,OAAO,CAE1B;IAED;;;OAGG;IACH,YAAY,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO;IAO1C;;;;;;;OAOG;IACH,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO;IAIzD;;;;;;;;OAQG;IACH,eAAe,IAAI,OAAO;IAI1B;;;;;;;;;OASG;IACH,gBAAgB,CACd,IAAI,GAAE;QAAE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,CAAC,EAAE,UAAU,CAAA;KAAO,GAClD,OAAO;IAmBV;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,aAAa;IAqG7D,2EAA2E;IAC3E,cAAc,CAAC,IAAI,EAAE,cAAc,GAAG,aAAa;IAuCnD;;;OAGG;IACH,MAAM,CAAC,mBAAmB,CACxB,KAAK,EAAE,yBAAyB,GAAG;QAAE,KAAK,EAAE,KAAK,CAAA;KAAE,GAClD,kBAAkB;IAMrB;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI;IAiBnC,wEAAwE;IACxE,KAAK,IAAI,cAAc;IA8BvB;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,MAAM,EAAE;IAiB5C;;;;;;OAMG;IACH,yBAAyB,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE;IAoB/D;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,OAAO,CAAC,oBAAoB;IA6E5B;;;;OAIG;IACH,OAAO,CAAC,SAAS;IAuCjB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,gBAAgB;IAoKxB;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;IAqG3B;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,2BAA2B;IA2LnC;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,OAAO,CAAC,kBAAkB;IAuM1B;;;;;;OAMG;IACH,OAAO,CAAC,yBAAyB;IAqJjC,6EAA6E;IAC7E,OAAO,CAAC,gCAAgC;IAOxC,gFAAgF;IAChF,OAAO,CAAC,0BAA0B;IAmBlC,+EAA+E;IAC/E,OAAO,CAAC,sBAAsB;IAS9B,wFAAwF;IACxF,OAAO,CAAC,wBAAwB;IAqBhC,sFAAsF;IACtF,OAAO,CAAC,6BAA6B;IAqBrC;;;OAGG;IACH,OAAO,CAAC,kCAAkC;IAe1C;;;;;;;OAOG;IACH,OAAO,CAAC,qBAAqB;IAyC7B,4EAA4E;IAC5E,OAAO,CAAC,gBAAgB;IAqBxB,oEAAoE;IACpE,OAAO,CAAC,oBAAoB;IAW5B,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAgB5B;;;;;OAKG;IACH,MAAM,CAAC,uBAAuB,CAC5B,GAAG,EAAE,UAAU,EACf,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,wBAAwB;IA+B3B;;;;;;;;;OASG;IACH,OAAO,CAAC,MAAM,CAAC,YAAY;IAkG3B,iFAAiF;IACjF,OAAO,CAAC,MAAM,CAAC,eAAe;IA4C9B;;;;;;;;;OASG;IACH,OAAO,CAAC,mBAAmB;IAqC3B,6EAA6E;IAC7E,OAAO,CAAC,mBAAmB;IAO3B,sFAAsF;IACtF,OAAO,CAAC,gBAAgB;IAIxB,6EAA6E;IAC7E,OAAO,CAAC,MAAM,CAAC,sBAAsB;IASrC,6CAA6C;IAC7C,OAAO,CAAC,MAAM,CAAC,MAAM;IAOrB,wDAAwD;IACxD,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAO/B,+DAA+D;IAC/D,OAAO,CAAC,kBAAkB;IA8B1B,kDAAkD;IAClD,OAAO,CAAC,4BAA4B;CA4BrC"}

package/types/core/kel/witnesses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witnesses.d.ts","sourceRoot":"","sources":["../../../src/core/kel/witnesses.ts"],"names":[],"mappings":"AAIA,8EAA8E;AAC9E,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAEnE;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,MAAM,0BAA0B,GAClC,eAAe,GACf,0BAA0B,GAC1B,eAAe,GACf,yBAAyB,GACzB,8BAA8B,GAC9B,mBAAmB,CAAC;AAExB,MAAM,MAAM,yBAAyB,GACjC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,0BAA0B,CAAA;CAAE,CAAC;AAE3D;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,yBAAyB,CA2C3B"}

package/types/core/logger.d.ts

@@ -13,7 +13,7 @@ export interface Logger {
 export declare function setLogLevel(level: LogLevel): void;
 /** Read the current process-local minimum log level. */
 export declare function getLogLevel(): LogLevel;
-/** Default logger that forwards to `console.*` with level gating. */
+/** Level-gated diagnostics on stderr; stdout belongs to command data. */
 export declare const consoleLogger: Logger;
 /** Logger implementation that discards all messages. */
 export declare const noopLogger: Logger;

package/types/core/logger.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"logger.d.ts","sourceRoot":"","sources":["../../src/core/logger.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,eAAO,MAAM,UAAU,6CAA8C,CAAC;AACtE,gDAAgD;AAChD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,iEAAiE;AACjE,MAAM,WAAW,MAAM;IACrB,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IACjD,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAChD,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAChD,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;CAClD;AAeD,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAEjD;AAED,wDAAwD;AACxD,wBAAgB,WAAW,IAAI,QAAQ,CAEtC;AAED,qEAAqE;AACrE,eAAO,MAAM,aAAa,EAAE,MAqB3B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,UAAU,EAAE,MAKxB,CAAC"}
+{"version":3,"file":"logger.d.ts","sourceRoot":"","sources":["../../src/core/logger.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,eAAO,MAAM,UAAU,6CAA8C,CAAC;AACtE,gDAAgD;AAChD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,iEAAiE;AACjE,MAAM,WAAW,MAAM;IACrB,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IACjD,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAChD,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAChD,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;CAClD;AAeD,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAEjD;AAED,wDAAwD;AACxD,wBAAgB,WAAW,IAAI,QAAQ,CAEtC;AAED,yEAAyE;AACzE,eAAO,MAAM,aAAa,EAAE,MAqB3B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,UAAU,EAAE,MAKxB,CAAC"}

package/types/core/{kram-auth.d.ts → mailbox/kram-auth.d.ts}

@@ -1,5 +1,5 @@
-import type { Baser } from "../db/basing.js";
-import type { KeriDispatchEnvelope } from "./dispatch.js";
+import type { Baser } from "../../db/basing.js";
+import type { KeriDispatchEnvelope } from "../dispatch.js";
 /** Known invalid sources may permit signature fallback; missing state must block it. */
 export type KramSourceDecision = {
     kind: "valid";

package/types/core/mailbox/kram-auth.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kram-auth.d.ts","sourceRoot":"","sources":["../../../src/core/mailbox/kram-auth.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE3D,wFAAwF;AACxF,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,GAAG,UAAU,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,oBAAoB,GAAG,kBAAkB,CAiBpG"}

package/types/core/{kram-policy.d.ts → mailbox/kram-policy.d.ts}

@@ -1,7 +1,7 @@
 /** KRAM cache selection and safe, receiver-clocked configuration transitions. */
 import { SerderKERI } from "cesr-ts";
-import type { Baser } from "../db/basing.js";
-import { type CacheTypeRecordShape } from "./records.js";
+import type { Baser } from "../../db/basing.js";
+import { type CacheTypeRecordShape } from "../records.js";
 /** Millisecond drift, acceptance and pruning windows in frozen-reference order. */
 export type KramWindows = readonly [number, number, number, number, number, number, number];
 /** Version, optional message type and optional route prefix exempted from KRAM. */

package/types/core/mailbox/kram-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kram-policy.d.ts","sourceRoot":"","sources":["../../../src/core/mailbox/kram-policy.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,OAAO,EAAY,UAAU,EAAE,MAAM,SAAS,CAAC;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAmB,KAAK,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE3E,mFAAmF;AACnF,MAAM,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAC5F,mFAAmF;AACnF,MAAM,MAAM,aAAa,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACjF,wFAAwF;AACxF,MAAM,WAAW,UAAU;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;CAChD;AACD,qFAAqF;AACrF,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;AAuG3D;;;;GAIG;AACH,qBAAa,UAAU;IACrB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAoB;IAC/C,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,WAAW,CAAgB;IACnC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAe;gBAEvB,EAAE,EAAE,KAAK,EAAE,MAAM,GAAE,UAAe,EAAE,GAAG,GAAE,MAAM,MAAiB;IAgC5E,0FAA0F;IAC1F,OAAO,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO;IAKpC,2FAA2F;IAC3F,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,aAAa;IAQ3D,qFAAqF;IACrF,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI;IA0E7D,qFAAqF;IACrF,SAAS,IAAI,IAAI;IAyBjB,0EAA0E;IAC1E,OAAO,CAAC,OAAO;IAQf,iFAAiF;IACjF,OAAO,CAAC,MAAM;CAWf"}

package/types/core/{kram-pruning.d.ts → mailbox/kram-pruning.d.ts}

@@ -1,8 +1,8 @@
-import type { Baser } from "../db/basing.js";
+import type { Baser } from "../../db/basing.js";
 import type { KramPolicy } from "./kram-policy.js";
 /** Counts scan steps across all families; tail/empty family probes use constant additional work. */
 export interface KramPruneResult {
-    kind: "pruned" | "busy";
+    kind: "pruned";
     visited: number;
     removed: number;
     openers: number;
@@ -29,7 +29,7 @@ export declare class KramPruner {
     private expired;
     /**
      * Advance one finite pass without yielding or holding read cursors across writes.
-     * Cached TTLs own expiry; idle ready state expires with its cache. Orphan scans
+     * Cached TTLs own expiry; incomplete state expires with its cache. Orphan scans
      * restart on any committed change, so unrelated writes can postpone cleanup.
      * Reopen restarts all checkpoints; insertion behind a cache cursor is seen next pass.
      */