cesr-ts 0.4.0 → 0.6.0

package/types/src/primitives/decrypter.d.ts

@@ -1,11 +1,72 @@
+import { type ByteLike } from "./byte-like.js";
+import { Cipher } from "./cipher.js";
 import { Matter, type MatterInit } from "./matter.js";
+import type { CipherHydratable, CipherHydratableCtor } from "./primitive.js";
+/**
+ * Supported constructor inputs for one private-key decrypter.
+ *
+ * Accepted forms mirror KERIpy's two entry points:
+ * - provide already-qualified X25519 private box material directly
+ * - provide an Ed25519 signer seed through `seed` and derive the matching
+ *   X25519 private box key during construction
+ */
+export interface DecrypterInit extends Omit<MatterInit, "raw" | "qb64b" | "qb64" | "qb2"> {
+    raw?: Uint8Array | ArrayBufferView;
+    qb64b?: Uint8Array | ArrayBufferView;
+    qb64?: ByteLike;
+    qb2?: Uint8Array | ArrayBufferView;
+    code?: string;
+    seed?: ByteLike;
+}
+/**
+ * Cipher inputs and hydration controls for `Decrypter.decrypt(...)`.
+ *
+ * Precedence mirrors KERIpy:
+ * - explicit `cipher`
+ * - otherwise parse `qb64`
+ * - otherwise parse `qb2`
+ *
+ * `ctor` controls semantic plaintext rehydration; `bare` bypasses that and
+ * returns plaintext bytes directly.
+ */
+export interface DecrypterDecryptOptions<T extends CipherHydratable = CipherHydratable> {
+    cipher?: Cipher;
+    qb64?: ByteLike;
+    qb2?: Uint8Array | ArrayBufferView;
+    ctor?: CipherHydratableCtor<T>;
+    transferable?: boolean;
+    bare?: boolean;
+}
 /**
  * Private-key decryption primitive for asymmetric envelope payloads.
  *
- * KERIpy substance: decrypter material is private X25519 key material used to
- * recover plaintext from cipher envelopes (often derived from signing seeds).
+ * KERIpy substance: `Decrypter` owns the private X25519 material used to
+ * recover CESR payloads from sealed-box ciphers, optionally deriving it from
+ * an Ed25519 signing seed.
  */
 export declare class Decrypter extends Matter {
-    constructor(init: Matter | MatterInit);
+    /**
+     * Construct one X25519 private-key decrypter.
+     *
+     * Default code remains the KERIpy private-box family
+     * `MtrDex.X25519_Private`.
+     */
+    constructor(init?: Matter | DecrypterInit);
+    /**
+     * Decrypt one cipher and rehydrate the plaintext with the requested
+     * constructor.
+     *
+     * Resolution rules:
+     * - `cipher` wins when supplied
+     * - otherwise `qb64` is parsed before `qb2`
+     * - omitted `ctor` is only inferred for the KERIpy families that already
+     *   name their semantic plaintext shape
+     *
+     * Output rules:
+     * - `bare=true` returns plaintext bytes directly
+     * - otherwise `transferable` is forwarded only to qb64-family primitive
+     *   constructors such as `Signer`, matching the KERIpy init seam
+     */
+    decrypt<T extends CipherHydratable = CipherHydratable>({ cipher, qb64, qb2, ctor, transferable, bare, }?: DecrypterDecryptOptions<T>): T | Uint8Array;
 }
 //# sourceMappingURL=decrypter.d.ts.map

package/types/src/primitives/decrypter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"decrypter.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/decrypter.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAE,MAAM,aAAa,CAAC;AAEtD;;;;;GAKG;AACH,qBAAa,SAAU,SAAQ,MAAM;gBACvB,IAAI,EAAE,MAAM,GAAG,UAAU;CAStC"}
+{"version":3,"file":"decrypter.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/decrypter.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,QAAQ,EAAqB,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AASrC,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAM7E;;;;;;;GAOG;AACH,MAAM,WAAW,aAAc,SAAQ,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC;IACvF,GAAG,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACnC,KAAK,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACrC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,GAAG,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,QAAQ,CAAC;CACjB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,uBAAuB,CACtC,CAAC,SAAS,gBAAgB,GAAG,gBAAgB;IAE7C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,GAAG,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACnC,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAC/B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAoGD;;;;;;GAMG;AACH,qBAAa,SAAU,SAAQ,MAAM;IACnC;;;;;OAKG;gBACS,IAAI,GAAE,MAAM,GAAG,aAAkB;IAS7C;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,CAAC,SAAS,gBAAgB,GAAG,gBAAgB,EACnD,EACE,MAAM,EACN,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,YAAoB,EACpB,IAAY,GACb,GAAE,uBAAuB,CAAC,CAAC,CAAM,GACjC,CAAC,GAAG,UAAU;CA8BlB"}

package/types/src/primitives/diger.d.ts

@@ -3,16 +3,32 @@ import { Matter, type MatterInit } from "./matter.js";
 interface DigerOptions {
     strict?: boolean;
 }
+type DigestFn = (ser: Uint8Array) => Uint8Array;
 /**
  * Digest primitive family.
  *
  * KERIpy substance: `Diger` encapsulates self-addressing digest material and
  * optionally constrains codes to digest codex membership (`strict=true`).
+ *
+ * Maintainer note:
+ * `DigDex` remains the canonical namespace of supported digest codes, but this
+ * class is the runtime authority for "code -> hash implementation" dispatch.
+ * Keep new digest algorithms centralized here so `Saider`, `Serder`, and app
+ * flows do not grow their own private digest switches.
  */
 export declare class Diger extends Matter {
+    /** Shared KERIpy-style digest registry keyed by canonical `DigDex` values. */
+    static readonly Digests: Map<string, DigestFn>;
     constructor(init: Matter | MatterInit, options?: DigerOptions);
     get digest(): Uint8Array;
     get algorithm(): string;
+    /** Compute raw digest bytes for `ser` using the digest family selected by `code`. */
+    static digest(ser: Uint8Array, code: string): Uint8Array;
+    verify(ser: Uint8Array): boolean;
+    /** Compare `ser` against either the instance digest or an override digest. */
+    compare(ser: Uint8Array, dig?: Uint8Array): boolean;
+    /** Constant-shape byte comparison helper used by higher-level SAID/serder verification. */
+    static compare(ser: Uint8Array, code: string, dig: Uint8Array): boolean;
 }
 /** Parse and hydrate `Diger` from txt/qb2 bytes. */
 export declare function parseDiger(input: Uint8Array, cold: Extract<ColdCode, "txt" | "bny">): Diger;

package/types/src/primitives/diger.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diger.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/diger.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAe,MAAM,aAAa,CAAC;AAEnE,UAAU,YAAY;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED;;;;;GAKG;AACH,qBAAa,KAAM,SAAQ,MAAM;gBACnB,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,OAAO,GAAE,YAAiB;IAQjE,IAAI,MAAM,IAAI,UAAU,CAEvB;IAED,IAAI,SAAS,IAAI,MAAM,CAEtB;CACF;AAED,oDAAoD;AACpD,wBAAgB,UAAU,CACxB,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,KAAK,CAEP"}
+{"version":3,"file":"diger.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/diger.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAe,MAAM,aAAa,CAAC;AAEnE,UAAU,YAAY;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,KAAK,QAAQ,GAAG,CAAC,GAAG,EAAE,UAAU,KAAK,UAAU,CAAC;AAEhD;;;;;;;;;;;GAWG;AACH,qBAAa,KAAM,SAAQ,MAAM;IAC/B,8EAA8E;IAC9E,MAAM,CAAC,QAAQ,CAAC,OAAO,wBAUpB;gBAES,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,OAAO,GAAE,YAAiB;IAOjE,IAAI,MAAM,IAAI,UAAU,CAEvB;IAED,IAAI,SAAS,IAAI,MAAM,CAEtB;IAED,qFAAqF;IACrF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU;IAQxD,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO;IAIhC,8EAA8E;IAC9E,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,UAAU,GAAG,OAAO;IAInD,2FAA2F;IAC3F,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,GAAG,OAAO;CAYxE;AAED,oDAAoD;AACpD,wBAAgB,UAAU,CACxB,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,KAAK,CAEP"}

package/types/src/primitives/disclosure.d.ts

@@ -0,0 +1,201 @@
+import type { Tier } from "../core/vocabulary.js";
+import { Labeler } from "./labeler.js";
+import { Noncer } from "./noncer.js";
+import { NumberPrimitive } from "./number.js";
+import { type BlindState as BlindStateRecord, type BoundState as BoundStateRecord, type TypeMedia as TypeMediaRecord } from "./structing.js";
+import { Texter } from "./texter.js";
+/**
+ * Disclosure-workflow input accepted for sequence-number slots.
+ *
+ * TypeScript-specific convenience:
+ * - KERIpy takes flexible Python values through keyword arguments; this union
+ *   keeps the same ergonomic range while staying explicit in TS.
+ */
+export type NumberLike = NumberPrimitive | number | bigint | string;
+/**
+ * Disclosure-workflow input accepted for nonce-like slots.
+ *
+ * Empty string / null / undefined preserve KERIpy placeholder semantics.
+ */
+export type NoncerLike = Noncer | string | null | undefined;
+/** Disclosure-workflow input accepted for label-text slots. */
+export type LabelerLike = Labeler | string | null | undefined;
+/** Disclosure-workflow input accepted for text-payload slots. */
+export type TexterLike = Texter | string | null | undefined;
+/**
+ * Inputs used to derive the deterministic disclosure UUID.
+ *
+ * KERIpy correspondence:
+ * - mirrors the keyword-argument surface accepted by `Blinder.makeUUID(...)`
+ *
+ * Defaults:
+ * - `sn=1`
+ * - if `raw`, `salt`, and `tier` are omitted, a fresh `Salter` is generated
+ */
+export interface MakeBlindUuidOptions {
+    /** Raw salt bytes fed into `Salter` when the caller already has them. */
+    raw?: Uint8Array;
+    /** Qualified CESR salt (`Salter.qb64`) used instead of `raw`. */
+    salt?: string;
+    /** Sequence number projected through `numh` before entering the salty path. */
+    sn?: NumberLike;
+    /** Salty derivation tier forwarded into `Salter.stretch(...)`. */
+    tier?: Tier;
+}
+/**
+ * Inputs for building one `BlindState`.
+ *
+ * Placeholder semantics intentionally match KERIpy:
+ * - omitted `uuid` means "derive it deterministically"
+ * - omitted `acdc` / `state` mean "use empty disclosure placeholders"
+ * - omitted `code` means "reuse an existing digest-capable code or default to
+ *   Blake3-256"
+ */
+export interface MakeBlindStateOptions extends MakeBlindUuidOptions {
+    /** Disclosure UUID. Omit to derive via `makeBlindUuid(...)`. */
+    uuid?: NoncerLike;
+    /** Disclosed ACDC/TEL SAID, or empty placeholder. */
+    acdc?: NoncerLike;
+    /** Disclosed state label, or empty placeholder. */
+    state?: LabelerLike;
+    /** Optional digest/noncer code for the committed `d` field. */
+    code?: string;
+}
+/**
+ * Inputs for building one `BoundState`.
+ *
+ * Adds the issuee key-state cross-anchor pair used by bound-state sextuples.
+ */
+export interface MakeBoundStateOptions extends MakeBlindStateOptions {
+    /** Bound issuee key-state sequence number. Defaults to placeholder `0`. */
+    bsn?: NumberLike;
+    /** Bound issuee key-state digest/nonce. Defaults to empty placeholder. */
+    bd?: NoncerLike;
+}
+/**
+ * Inputs for building one `TypeMedia`.
+ *
+ * This is the typed-media sibling to blind/bound state disclosure helpers.
+ */
+export interface MakeTypeMediaOptions extends MakeBlindUuidOptions {
+    /** Disclosure UUID. Omit to derive via `makeBlindUuid(...)`. */
+    uuid?: NoncerLike;
+    /** Media type label, such as `application/json`. */
+    mt?: LabelerLike;
+    /** Media value/payload text. */
+    mv?: TexterLike;
+    /** Optional digest/noncer code for the committed `d` field. */
+    code?: string;
+}
+/**
+ * Inputs for rebuilding one matching `BlindState` from a disclosed commitment.
+ *
+ * Search semantics:
+ * - `said` is the commitment being matched
+ * - `states` is the candidate state-label search space
+ * - the helper automatically includes the empty placeholder state and empty
+ *   placeholder ACDC value so callers do not need to remember those cases
+ */
+export interface UnblindBlindStateOptions extends MakeBlindUuidOptions {
+    /** Target commitment nonce (`BlindState.d.nonce`) to match. */
+    said: string;
+    /** Disclosure UUID. Omit to deterministically reconstruct it. */
+    uuid?: NoncerLike;
+    /** Candidate disclosed ACDC/TEL SAID. Empty placeholder is auto-included. */
+    acdc?: NoncerLike;
+    /** Candidate state labels to try while searching for the matching record. */
+    states?: readonly LabelerLike[];
+    /** Optional digest/noncer code for recomputed candidates. */
+    code?: string;
+}
+/**
+ * Inputs for rebuilding one matching `BoundState` from a disclosed commitment.
+ *
+ * Search semantics:
+ * - `bounds` is the candidate `(bn, bd)` cross-anchor search space
+ * - the helper automatically includes placeholder `(0, "")`
+ */
+export interface UnblindBoundStateOptions extends UnblindBlindStateOptions {
+    /** Candidate issuee key-state cross-anchor pairs to try. */
+    bounds?: readonly (readonly [NumberLike, NoncerLike])[];
+}
+/**
+ * Derive the deterministic disclosure UUID used by blinded/bound/media
+ * commitment records.
+ *
+ * KERIpy correspondence:
+ * - mirrors `Blinder.makeUUID(...)`
+ * - sequence numbers feed the salty path through `numh`, not decimal text
+ */
+export declare function makeBlindUuid({ raw, salt, sn, tier, }?: MakeBlindUuidOptions): Noncer;
+/**
+ * Recompute the committed `d` field for one `BlindState`.
+ *
+ * KERIpy correspondence:
+ * - same semantic role as building `Blinder(..., makify=True)` for the
+ *   blind-state quadruple without instantiating a transport wrapper
+ */
+export declare function commitBlindState(value: BlindStateRecord, code?: string): BlindStateRecord;
+/**
+ * Recompute the committed `d` field for one `BoundState`.
+ *
+ * KERIpy correspondence:
+ * - same semantic role as the bound-state branch of `Blinder.blind(...)`
+ */
+export declare function commitBoundState(value: BoundStateRecord, code?: string): BoundStateRecord;
+/**
+ * Recompute the committed `d` field for one `TypeMedia`.
+ *
+ * KERIpy correspondence:
+ * - same semantic role as `Mediar(..., makify=True)` for typed-media records
+ */
+export declare function commitTypeMedia(value: TypeMediaRecord, code?: string): TypeMediaRecord;
+/**
+ * Build one blinded disclosure-state record and compute its `d` commitment.
+ *
+ * KERIpy correspondence:
+ * - mirrors `Blinder.blind(..., bound=False)`
+ */
+export declare function makeBlindState({ uuid, raw, salt, sn, tier, acdc, state, code, }?: MakeBlindStateOptions): BlindStateRecord;
+/**
+ * Build one bound blinded-state record and compute its `d` commitment.
+ *
+ * KERIpy correspondence:
+ * - mirrors `Blinder.blind(..., bound=True)`
+ */
+export declare function makeBoundState({ uuid, raw, salt, sn, tier, acdc, state, bsn, bd, code, }?: MakeBoundStateOptions): BoundStateRecord;
+/**
+ * Build one typed-media disclosure record and compute its `d` commitment.
+ *
+ * KERIpy correspondence:
+ * - matches `Mediar(..., makify=True)` without recreating a wrapper object
+ */
+export declare function makeTypeMedia({ uuid, raw, salt, sn, tier, mt, mv, code, }?: MakeTypeMediaOptions): TypeMediaRecord;
+/**
+ * Rebuild the matching blinded-state candidate if one exists.
+ *
+ * KERIpy correspondence:
+ * - mirrors `Blinder.unblind(..., bound=False)`
+ * - tries the placeholder combinations too, so callers do not need to add the
+ *   empty `acdc` / empty `state` cases themselves
+ *
+ * Search strategy:
+ * - derive or validate the UUID
+ * - try the candidate `acdc` plus empty placeholder
+ * - try each caller-supplied state plus empty placeholder
+ * - return the first candidate whose recomputed `d` matches `said`
+ */
+export declare function unblindBlindState({ said, uuid, raw, salt, sn, tier, acdc, states, code, }: UnblindBlindStateOptions): BlindStateRecord | null;
+/**
+ * Rebuild the matching bound blinded-state candidate if one exists.
+ *
+ * KERIpy correspondence:
+ * - mirrors `Blinder.unblind(..., bound=True)`
+ * - tries placeholder bound pairs automatically by including `(0, "")`
+ *
+ * Search strategy:
+ * - same placeholder search as `unblindBlindState(...)`
+ * - plus candidate `(bn, bd)` pairs, with placeholder `(0, "")` always added
+ */
+export declare function unblindBoundState({ said, uuid, raw, salt, sn, tier, acdc, states, bounds, code, }: UnblindBoundStateOptions): BoundStateRecord | null;
+//# sourceMappingURL=disclosure.d.ts.map

package/types/src/primitives/disclosure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"disclosure.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/disclosure.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAGlD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAEL,KAAK,UAAU,IAAI,gBAAgB,EAEnC,KAAK,UAAU,IAAI,gBAAgB,EAEnC,KAAK,SAAS,IAAI,eAAe,EAClC,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpE;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;AAE5D,+DAA+D;AAC/D,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;AAE9D,iEAAiE;AACjE,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;AAE5D;;;;;;;;;GASG;AACH,MAAM,WAAW,oBAAoB;IACnC,yEAAyE;IACzE,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,iEAAiE;IACjE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,+EAA+E;IAC/E,EAAE,CAAC,EAAE,UAAU,CAAC;IAChB,kEAAkE;IAClE,IAAI,CAAC,EAAE,IAAI,CAAC;CACb;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,qBAAsB,SAAQ,oBAAoB;IACjE,gEAAgE;IAChE,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,qDAAqD;IACrD,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,mDAAmD;IACnD,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAsB,SAAQ,qBAAqB;IAClE,2EAA2E;IAC3E,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,0EAA0E;IAC1E,EAAE,CAAC,EAAE,UAAU,CAAC;CACjB;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAqB,SAAQ,oBAAoB;IAChE,gEAAgE;IAChE,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,oDAAoD;IACpD,EAAE,CAAC,EAAE,WAAW,CAAC;IACjB,gCAAgC;IAChC,EAAE,CAAC,EAAE,UAAU,CAAC;IAChB,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,wBAAyB,SAAQ,oBAAoB;IACpE,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,6EAA6E;IAC7E,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,6EAA6E;IAC7E,MAAM,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IAChC,6DAA6D;IAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAyB,SAAQ,wBAAwB;IACxE,4DAA4D;IAC5D,MAAM,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;CACzD;AAoJD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,EACE,GAAG,EACH,IAAI,EACJ,EAAM,EACN,IAAI,GACL,GAAE,oBAAyB,GAC3B,MAAM,CAQR;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,gBAAgB,EACvB,IAAI,CAAC,EAAE,MAAM,GACZ,gBAAgB,CAElB;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,gBAAgB,EACvB,IAAI,CAAC,EAAE,MAAM,GACZ,gBAAgB,CAElB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,eAAe,EACtB,IAAI,CAAC,EAAE,MAAM,GACZ,eAAe,CAEjB;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,EACE,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,EAAM,EACN,IAAI,EACJ,IAAS,EACT,KAAU,EACV,IAAI,GACL,GAAE,qBAA0B,GAC5B,gBAAgB,CAUlB;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,EACE,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,EAAM,EACN,IAAI,EACJ,IAAS,EACT,KAAU,EACV,GAAO,EACP,EAAO,EACP,IAAI,GACL,GAAE,qBAA0B,GAC5B,gBAAgB,CAYlB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,EACE,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,EAAM,EACN,IAAI,EACJ,EAAO,EACP,EAAO,EACP,IAAI,GACL,GAAE,oBAAyB,GAC3B,eAAe,CAUjB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAC/B,EACE,IAAI,EACJ,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,EAAM,EACN,IAAI,EACJ,IAAS,EACT,MAAW,EACX,IAAI,GACL,EAAE,wBAAwB,GAC1B,gBAAgB,GAAG,IAAI,CAuBzB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAC/B,EACE,IAAI,EACJ,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,EAAM,EACN,IAAI,EACJ,IAAS,EACT,MAAW,EACX,MAAW,EACX,IAAI,GACL,EAAE,wBAAwB,GAC1B,gBAAgB,GAAG,IAAI,CAmCzB"}

package/types/src/primitives/encrypter.d.ts

@@ -1,12 +1,74 @@
+import { type ByteLike } from "./byte-like.js";
+import { Cipher } from "./cipher.js";
 import { Matter, type MatterInit } from "./matter.js";
+import { type CipherHydratable } from "./primitive.js";
+/**
+ * Supported constructor inputs for one public-key encrypter.
+ *
+ * Accepted forms mirror KERIpy's two mental models:
+ * - provide already-qualified X25519 public box material directly
+ * - provide an Ed25519 verifier key through `verkey` and derive the matching
+ *   X25519 public box key during construction
+ */
+export interface EncrypterInit extends Omit<MatterInit, "raw" | "qb64b" | "qb64" | "qb2"> {
+    raw?: Uint8Array | ArrayBufferView;
+    qb64b?: Uint8Array | ArrayBufferView;
+    qb64?: ByteLike;
+    qb2?: Uint8Array | ArrayBufferView;
+    code?: string;
+    verkey?: ByteLike;
+}
+/**
+ * Plaintext inputs accepted by `Encrypter.encrypt(...)`.
+ *
+ * Precedence follows KERIpy:
+ * - explicit raw serialization through `ser`
+ * - otherwise one CESR primitive through `prim`
+ * - optional `code` names the plaintext family the resulting `Cipher` should
+ *   preserve for later decryption/hydration
+ */
+export interface EncrypterEncryptOptions {
+    ser?: ByteLike;
+    prim?: CipherHydratable;
+    code?: string;
+}
 /**
  * Public-key encryption primitive for asymmetric envelope encryption.
  *
- * KERIpy substance: Encrypter uses public key material (typically X25519,
- * optionally derived from verifier keys) to produce ciphertext envelopes.
- * This TS class validates material type; encryption ops live in crypto layers.
+ * KERIpy substance: `Encrypter` owns the public X25519 material and can derive
+ * it from Ed25519 verifier keys used by non-transferable/basic AIDs.
  */
 export declare class Encrypter extends Matter {
-    constructor(init: Matter | MatterInit);
+    /**
+     * Construct one X25519 public-key encrypter.
+     *
+     * Default code remains the KERIpy public-box family `MtrDex.X25519`.
+     */
+    constructor(init: Matter | EncrypterInit);
+    /**
+     * Confirm whether the supplied Ed25519 seed maps to this X25519 public key.
+     *
+     * Boundary contract:
+     * - only Ed25519 signer seeds are accepted here
+     * - the check proves that the seed belongs to the AEID/verkey that was used
+     *   to derive this encrypter's public box key
+     */
+    verifySeed(seed: ByteLike): boolean;
+    /**
+     * Encrypt raw or primitive plaintext into one CESR `Cipher`.
+     *
+     * KERIpy parity:
+     * - `ser` wins when supplied
+     * - otherwise one primitive is required
+     * - omitted `code` defaults to stream-family `L0` only for raw `ser` input
+     *
+     * Plaintext-family rules:
+     * - `Salter` and `Signer` may infer fixed qb64 cipher families when `code`
+     *   is omitted
+     * - other primitives require an explicit family so decrypt-time hydration
+     *   knows whether the plaintext was stored as qb64, qb2, or a sniffable
+     *   stream
+     */
+    encrypt({ ser, prim, code }?: EncrypterEncryptOptions): Cipher;
 }
 //# sourceMappingURL=encrypter.d.ts.map

package/types/src/primitives/encrypter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"encrypter.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/encrypter.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAE,MAAM,aAAa,CAAC;AAEtD;;;;;;GAMG;AACH,qBAAa,SAAU,SAAQ,MAAM;gBACvB,IAAI,EAAE,MAAM,GAAG,UAAU;CAStC"}
+{"version":3,"file":"encrypter.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/encrypter.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,QAAQ,EAAqB,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAQrC,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,KAAK,gBAAgB,EAAwB,MAAM,gBAAgB,CAAC;AAO7E;;;;;;;GAOG;AACH,MAAM,WAAW,aAAc,SAAQ,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC;IACvF,GAAG,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACnC,KAAK,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACrC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,GAAG,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,QAAQ,CAAC;CACnB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,uBAAuB;IACtC,GAAG,CAAC,EAAE,QAAQ,CAAC;IACf,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAuCD;;;;;GAKG;AACH,qBAAa,SAAU,SAAQ,MAAM;IACnC;;;;OAIG;gBACS,IAAI,EAAE,MAAM,GAAG,aAAa;IASxC;;;;;;;OAOG;IACH,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAWnC;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAE,uBAA4B,GAAG,MAAM;CAkEnE"}

package/types/src/primitives/hydrate.d.ts

@@ -0,0 +1,20 @@
+import type { ColdCode } from "../core/types.js";
+import { Indexer, type IndexerInit } from "./indexer.js";
+import { Matter, type MatterInit } from "./matter.js";
+/**
+ * Hydrate one low-level `Matter` into the narrowest safe primitive class.
+ *
+ * Maintainer rule:
+ * this is intentionally conservative, not aggressive. Many CESR codes are
+ * semantically overloaded across families (`0A`, `B`, `E`, tag/label codes,
+ * numeric threshold codes, etc.), so generic callers should only get an
+ * automatic narrowing when the code family is genuinely unambiguous.
+ */
+export declare function hydrateMatter(init: Matter | MatterInit): Matter;
+/** Parse one text/binary matter token and hydrate it through `hydrateMatter()`. */
+export declare function parseQualifiedMatter(input: Uint8Array, cold: Extract<ColdCode, "txt" | "bny">): Matter;
+/** Hydrate one low-level `Indexer` into the narrowest safe primitive class. */
+export declare function hydrateIndexer(init: Indexer | IndexerInit): Indexer;
+/** Parse one text/binary indexer token and hydrate it through `hydrateIndexer()`. */
+export declare function parseQualifiedIndexer(input: Uint8Array, cold: Extract<ColdCode, "txt" | "bny">): Indexer;
+//# sourceMappingURL=hydrate.d.ts.map

package/types/src/primitives/hydrate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hydrate.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/hydrate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAKjD,OAAO,EAAE,OAAO,EAAE,KAAK,WAAW,EAAgB,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAe,MAAM,aAAa,CAAC;AAInE;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,CAiB/D;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,MAAM,CAER;AAED,+EAA+E;AAC/E,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,OAAO,CAQnE;AAED,qFAAqF;AACrF,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,OAAO,CAET"}

package/types/src/primitives/ilker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ilker.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/ilker.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAe,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;GAKG;AACH,qBAAa,KAAM,SAAQ,MAAM;gBACnB,IAAI,EAAE,MAAM,GAAG,UAAU;IAQrC,kEAAkE;IAClE,IAAI,GAAG,IAAI,MAAM,CAEhB;CACF;AAED,oDAAoD;AACpD,wBAAgB,UAAU,CACxB,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,KAAK,CAEP"}
+{"version":3,"file":"ilker.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/ilker.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAe,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;GAKG;AACH,qBAAa,KAAM,SAAQ,MAAM;gBACnB,IAAI,EAAE,MAAM,GAAG,UAAU;IAOrC,kEAAkE;IAClE,IAAI,GAAG,IAAI,MAAM,CAEhB;CACF;AAED,oDAAoD;AACpD,wBAAgB,UAAU,CACxB,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,KAAK,CAEP"}

package/types/src/primitives/indexer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"indexer.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/indexer.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGjD;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED,UAAU,WAAW;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,UAAU,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3B;AA8MD;;;;;GAKG;AACH,qBAAa,OAAO;IAClB,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACjC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IACpC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACjC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IACrC,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IACvC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAClC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;gBAElC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,WAAW;IAgBrD,SAAS,CAAC,aAAa,IAAI,WAAW;IAYtC,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,GAAG,IAAI,UAAU,CAEpB;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,KAAK,IAAI,UAAU,CAEtB;IAED,IAAI,GAAG,IAAI,UAAU,CAEpB;IAED,IAAI,QAAQ,IAAI,MAAM,CAErB;IAED,IAAI,UAAU,IAAI,MAAM,CAEvB;IAED,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,IAAI,KAAK,IAAI,MAAM,GAAG,SAAS,CAE9B;IAED,MAAM,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO;IAIxC,QAAQ,IAAI,MAAM;CAGnB;AAED,0DAA0D;AAC1D,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAE/D;AAED,4DAA4D;AAC5D,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAEjE;AAED,mFAAmF;AACnF,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,OAAO,CAIT"}
+{"version":3,"file":"indexer.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/indexer.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAIjD;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED,UAAU,WAAW;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,UAAU,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3B;AAkOD;;;;;GAKG;AACH,qBAAa,OAAO;IAClB,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACjC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IACpC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACjC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IACrC,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IACvC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAClC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;gBAElC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,WAAW;IAgBrD,SAAS,CAAC,aAAa,IAAI,WAAW;IAYtC,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,GAAG,IAAI,UAAU,CAEpB;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,KAAK,IAAI,UAAU,CAEtB;IAED,IAAI,GAAG,IAAI,UAAU,CAEpB;IAED,IAAI,QAAQ,IAAI,MAAM,CAErB;IAED,IAAI,UAAU,IAAI,MAAM,CAEvB;IAED,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,IAAI,KAAK,IAAI,MAAM,GAAG,SAAS,CAE9B;IAED,MAAM,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO;IAIxC,QAAQ,IAAI,MAAM;CAGnB;AAED,0DAA0D;AAC1D,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAE/D;AAED,4DAA4D;AAC5D,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAEjE;AAED,mFAAmF;AACnF,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,OAAO,CAIT"}

package/types/src/primitives/labeler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"labeler.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/labeler.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGjD,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAe,MAAM,aAAa,CAAC;AAKnE,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD;AAqBD;;;;;;GAMG;AACH,qBAAa,OAAQ,SAAQ,MAAM;gBACrB,IAAI,EAAE,MAAM,GAAG,UAAU;IAQrC,qDAAqD;IACrD,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,kEAAkE;IAClE,IAAI,KAAK,IAAI,MAAM,CAMlB;IAED,6DAA6D;IAC7D,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,2EAA2E;IAC3E,IAAI,KAAK,IAAI,MAAM,CAMlB;IAED,sDAAsD;IACtD,IAAI,KAAK,IAAI,UAAU,CAEtB;CACF;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,OAAO,CAET"}
+{"version":3,"file":"labeler.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/labeler.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGjD,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAe,MAAM,aAAa,CAAC;AAKnE,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD;AAqBD;;;;;;GAMG;AACH,qBAAa,OAAQ,SAAQ,MAAM;gBACrB,IAAI,EAAE,MAAM,GAAG,UAAU;IAOrC,qDAAqD;IACrD,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,kEAAkE;IAClE,IAAI,KAAK,IAAI,MAAM,CAMlB;IAED,6DAA6D;IAC7D,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,2EAA2E;IAC3E,IAAI,KAAK,IAAI,MAAM,CAMlB;IAED,sDAAsD;IACtD,IAAI,KAAK,IAAI,UAAU,CAEtB;CACF;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,GACrC,OAAO,CAET"}

package/types/src/primitives/mapper.d.ts

@@ -1,22 +1,50 @@
 import type { ColdCode } from "../core/types.js";
 import type { Versionage } from "../tables/table-types.js";
+import type { Kind } from "../tables/versions.js";
 import type { Primitive } from "./primitive.js";
 type ParseDomain = Extract<ColdCode, "txt" | "bny">;
+/** Scalar semantic values representable by CESR-native `Mapper` leaves. */
+export type MapperScalar = null | boolean | number | string;
+/** Recursive semantic map value representable by CESR-native `Mapper`. */
+export type MapperValue = MapperScalar | MapperValue[] | MapperMap;
+/** Semantic map form owned by `Mapper.mad`, aligned with KERIpy `dict` usage. */
+export type MapperMap = {
+    [key: string]: MapperValue;
+};
+/**
+ * `Mapper` is the base semantic primitive for CESR-native field maps.
+ *
+ * Read this file as three stacked layers:
+ * 1. syntax probing/tokenization helpers (`parse*Syntax`)
+ * 2. semantic value encode/decode helpers (`serializeValue`/`deserializeValue`)
+ * 3. the `Mapper` class that owns end-to-end map lifecycle
+ *
+ * Disclosure boundary:
+ * - `Mapper` / `Compactor` own arbitrary map disclosure
+ * - `Aggor` owns aggregate-list disclosure
+ * - fixed-field blinded disclosure lives separately in `structing.ts` +
+ *   `disclosure.ts`
+ */
+/**
+ * Semantic projection of one field in a native map body.
+ *
+ * Maintainer model:
+ * - `label` is the decoded field name from the map key token
+ * - `primitive` is the first token that represents the field value on the wire
+ * - `isCounter` distinguishes scalar primitives from grouped list/map values
+ * - `children` is only populated when the field value is itself a nested map
+ *
+ * This type intentionally sits between two worlds:
+ * syntax-oriented parser artifacts (`MapperBodySyntax`) and fully semantic
+ * `mad` values on `Mapper`. It is the readable middle layer used by tests,
+ * annotators, and maintainers inspecting native structure.
+ */
 export interface MapperField {
     label: string | null;
     primitive: Primitive;
     isCounter: boolean;
     children?: MapperField[];
 }
-export interface Mapper {
-    code: string;
-    count: number;
-    fullSize: number;
-    fullSizeB2: number;
-    totalSize: number;
-    totalSizeB2: number;
-    fields: MapperField[];
-}
 /** Label token artifact produced during map payload syntax parsing. */
 export interface MapperLabelTokenSyntax {
     kind: "label";
@@ -51,6 +79,29 @@ export interface MapperBodySyntax {
     /** Ordered token artifacts from payload tokenization. */
     entries: MapperSyntaxEntry[];
 }
+/**
+ * Supported constructor inputs for `Mapper`.
+ *
+ * The important split is semantic-vs-wire:
+ * - provide `mad` when you already have a semantic map and want mapper-owned
+ *   serialization / optional top-level saidification
+ * - provide `raw`/`qb64`/`qb64b`/`qb2` when you want mapper-owned inhale from
+ *   an existing wire representation
+ */
+export interface MapperInit {
+    mad?: MapperMap;
+    raw?: Uint8Array;
+    qb64?: string;
+    qb64b?: Uint8Array;
+    qb2?: Uint8Array;
+    version?: Versionage;
+    strict?: boolean;
+    saids?: Record<string, string>;
+    saidive?: boolean;
+    makify?: boolean;
+    verify?: boolean;
+    kind?: Kind;
+}
 /** Convert syntax entries into labeled semantic map fields. */
 export declare function interpretMapperBodySyntax(syntax: MapperBodySyntax): MapperField[];
 /**
@@ -59,8 +110,78 @@ export declare function interpretMapperBodySyntax(syntax: MapperBodySyntax): Map
  */
 export declare function parseMapperBodySyntax(input: Uint8Array, version: Versionage, domain: ParseDomain): MapperBodySyntax;
 /**
- * Parse map-style native bodies/counters into labeled semantic fields.
- * Compatibility wrapper over syntax parsing + semantic interpretation phases.
+ * Semantic CESR-native map primitive.
+ *
+ * KERIpy substance: `Mapper` is the reusable native field-map engine beneath
+ * compactable ACDC sections. It owns both the semantic map view (`mad`) and the
+ * exact enclosed native group serialization (`raw`, `qb64`, `qb2`).
+ *
+ * Cohesive mental model:
+ * 1. `parseMapperBodySyntax()` tokenizes raw native bytes into syntax artifacts.
+ * 2. `interpretMapperBodySyntax()` pairs those artifacts into readable fields.
+ * 3. `Mapper` owns the full semantic lifecycle: build from `mad`, or inhale
+ *    from raw, then expose both semantic (`mad`) and wire (`raw`, `qb64`,
+ *    `qb2`) views.
+ *
+ * Put differently:
+ * syntax helpers are for inspection and parser diagnostics;
+ * `Mapper` is for truth.
+ *
+ * Compare carefully:
+ * - use `Mapper` when the disclosed thing is a general map
+ * - do not use it for fixed-field blind/bound/media tuples, which have their
+ *   own explicit schema and workflow layer
+ */
+export declare class Mapper {
+    code: string;
+    count: number;
+    fullSize: number;
+    fullSizeB2: number;
+    totalSize: number;
+    totalSizeB2: number;
+    fields: MapperField[];
+    raw: Uint8Array;
+    strict: boolean;
+    saids: Record<string, string>;
+    saidive: boolean;
+    kind: Kind;
+    _mad: MapperMap;
+    /**
+     * Create one semantic mapper from either a field map (`mad`) or raw bytes.
+     *
+     * Constructor modes:
+     * - semantic mode: caller provides `mad`, optional `makify`, optional
+     *   `saidive`, and the constructor serializes deterministically
+     * - native inhale mode: caller provides `raw`/`qb64`/`qb64b`/`qb2` with
+     *   `kind="CESR"` and the constructor decodes grouped native content
+     * - non-native inhale mode: caller provides raw JSON/CBOR/MGPK with
+     *   `kind!="CESR"` and the constructor decodes via the corresponding codec
+     */
+    constructor(init?: MapperInit);
+    static fromSad(mad: MapperMap, options?: Omit<MapperInit, "mad">): Mapper;
+    /**
+     * Serialize one semantic map into an enclosed CESR native map-group.
+     *
+     * The result includes the leading group counter. Nested maps/lists are
+     * recursively enclosed in their own grouped payloads.
+     */
+    static serializeCesrMap(mad: MapperMap, strict?: boolean, dummy?: boolean, saids?: Record<string, string>): Uint8Array;
+    static serializeNonNativeMap(mad: MapperMap, kind: Exclude<Kind, "CESR">): Uint8Array;
+    static deserializeNonNativeMap(raw: Uint8Array, kind: Exclude<Kind, "CESR">): MapperMap;
+    get mad(): MapperMap;
+    get qb64b(): Uint8Array;
+    get qb64(): string;
+    get qb2(): Uint8Array;
+    get said(): string | null;
+    get size(): number;
+}
+/**
+ * Parse map-style native bodies/counters into a semantic `Mapper`.
+ *
+ * Compatibility wrapper: existing parser-oriented tests can keep calling this
+ * helper, while newer code can instantiate `Mapper` directly from `mad` or
+ * raw. This wrapper preserves the older parser-friendly feel while the class
+ * itself is the new semantic authority.
  */
 export declare function parseMapperBody(input: Uint8Array, version: Versionage, domain: ParseDomain): Mapper;
 /** True for counter codes that represent map/list-native aggregate primitives. */

package/types/src/primitives/mapper.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mapper.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/mapper.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAI3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,KAAK,WAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,CAAC;AAEpD,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED,uEAAuE;AACvE,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,uEAAuE;AACvE,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC7B;AAED,uDAAuD;AACvD,MAAM,MAAM,iBAAiB,GAAG,sBAAsB,GAAG,sBAAsB,CAAC;AAEhF,kEAAkE;AAClE,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,WAAW,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,OAAO,EAAE,iBAAiB,EAAE,CAAC;CAC9B;AAoJD,+DAA+D;AAC/D,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,gBAAgB,GACvB,WAAW,EAAE,CA0Bf;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,WAAW,GAClB,gBAAgB,CA+ClB;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,WAAW,GAClB,MAAM,CA4BR;AAED,kFAAkF;AAClF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEzD"}
+{"version":3,"file":"mapper.d.ts","sourceRoot":"","sources":["../../../src/src/primitives/mapper.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAKjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAQlD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGhD,KAAK,WAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,CAAC;AAEpD,2EAA2E;AAC3E,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAE5D,0EAA0E;AAC1E,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,WAAW,EAAE,GAAG,SAAS,CAAC;AAEnE,iFAAiF;AACjF,MAAM,MAAM,SAAS,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAEvD;;;;;;;;;;;;;GAaG;AAEH;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;CAC1B;AAED,uEAAuE;AACvE,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,uEAAuE;AACvE,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC7B;AAED,uDAAuD;AACvD,MAAM,MAAM,iBAAiB,GAAG,sBAAsB,GAAG,sBAAsB,CAAC;AAEhF,kEAAkE;AAClE,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,WAAW,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,OAAO,EAAE,iBAAiB,EAAE,CAAC;CAC9B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACzB,GAAG,CAAC,EAAE,SAAS,CAAC;IAChB,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,IAAI,CAAC;CACb;AAuKD,+DAA+D;AAC/D,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,gBAAgB,GACvB,WAAW,EAAE,CA0Bf;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,WAAW,GAClB,gBAAgB,CA+ClB;AAgQD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,MAAM;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,GAAG,EAAE,UAAU,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,SAAS,CAAC;IAEhB;;;;;;;;;;OAUG;gBACS,IAAI,GAAE,UAAe;IA2IjC,MAAM,CAAC,OAAO,CACZ,GAAG,EAAE,SAAS,EACd,OAAO,GAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAM,GACpC,MAAM;IAIT;;;;;OAKG;IACH,MAAM,CAAC,gBAAgB,CACrB,GAAG,EAAE,SAAS,EACd,MAAM,UAAO,EACb,KAAK,UAAQ,EACb,KAAK,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GACjC,UAAU;IAuBb,MAAM,CAAC,qBAAqB,CAC1B,GAAG,EAAE,SAAS,EACd,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,GAC1B,UAAU;IAab,MAAM,CAAC,uBAAuB,CAC5B,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,GAC1B,SAAS;IAeZ,IAAI,GAAG,IAAI,SAAS,CAInB;IAED,IAAI,KAAK,IAAI,UAAU,CAEtB;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,GAAG,IAAI,UAAU,CAOpB;IAED,IAAI,IAAI,IAAI,MAAM,GAAG,IAAI,CAIxB;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;CACF;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,WAAW,GAClB,MAAM,CAsCR;AAED,kFAAkF;AAClF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEzD"}