@real-life/trust-protocol 0.4.0 → 0.6.0

package/dist/{holder-state-v1.d.ts → holder-state-v3.d.ts}

@@ -1,15 +1,15 @@
 import type { Json } from './core.js';
-/** NON-NORMATIVE. The stored state of an @real-life/trust-protocol holder at codec 1 (lib/src/codec.ts): the library's storage format, not a protocol artifact. lib/src/holder-state-v1.ts is generated from it (scripts/build-holder-state-types.mjs). Not expressible here and checked by the codec alone: a record's id equals its key (contacts, relationships, groups, duties, rotations, prompts, acts, roster, invitations, records, introductions, offers, challenges), and an envelope's rkid equals its recipient's keyAgreement. */
-export type HolderStateV1 = {
-    codec: 1;
-    commitSeq: DecV1;
-    lastWhen: MillisV1;
+/** NON-NORMATIVE. The stored state of an @real-life/trust-protocol holder at codec 3 (lib/src/codec.ts): the library's storage format, not a protocol artifact. lib/src/holder-state-v3.ts is generated from it (scripts/build-holder-state-types.mjs). Not expressible here and checked by the codec alone: a record's id equals its key (contacts, relationships, groups, duties, rotations, prompts, acts, roster, invitations, records, introductions, offers, challenges, the inbox), an envelope's rkid equals its recipient's keyAgreement, and a set of strings (joining.surfaced, joining.declined, messages.blocked, messages.ready) is sorted. A stored acknowledgement counts as sent exactly when it names why (sentBy), and only an unsent one may be held by the adapter (held); the schema states both, and that a due answer (answerDue) comes with its number (answers). */
+export type HolderStateV3 = {
+    codec: 3;
+    commitSeq: DecV3;
+    lastWhen: MillisV3;
     register: {
         labels: string[];
         pairNonces: Record<string, string>;
         carriers: Record<string, {
             nonce: string;
-            generation: DecV1;
+            generation: DecV3;
         }[]>;
         devices: {
             names: string[];
@@ -17,7 +17,7 @@ export type HolderStateV1 = {
         };
         community: ({
             genesis: string;
-            head: DecV1;
+            head: DecV3;
         }) | (null);
         lineage: {
             [k: string]: Json;
@@ -26,57 +26,57 @@ export type HolderStateV1 = {
     addresses: {
         keys: Record<string, {
             label: string;
-            lastShown: MillisV1;
-            retiredAt?: MillisV1;
+            lastShown: MillisV3;
+            retiredAt?: MillisV3;
         }>;
         tombstones: string[];
     };
-    contacts: Record<string, ContactV1>;
-    relationships: Record<string, RelationshipV1>;
+    contacts: Record<string, ContactV3>;
+    relationships: Record<string, RelationshipV3>;
     entryOrder: {
-        nextPos: DecV1;
+        nextPos: DecV3;
         heads: string[];
     };
-    groups: Record<string, GroupV1>;
+    groups: Record<string, GroupV3>;
     profile: {
         body: Json;
-        revision: DecV1;
+        revision: DecV3;
     };
     effects: Record<string, {
-        ack: (StoredAckV1) | (null);
-        expiresAt: MillisV1;
+        ack: (StoredAckV3) | (null);
+        expiresAt: MillisV3;
     }>;
-    outbox: Record<string, OutboxItemV1>;
-    duties: Record<string, DutyV1>;
-    rotations: Record<string, RotationV1>;
-    prompts: Record<string, PromptV1>;
-    acts: Record<string, ActRecordV1>;
+    outbox: Record<string, OutboxItemV3>;
+    duties: Record<string, DutyV3>;
+    rotations: Record<string, RotationV3>;
+    prompts: Record<string, PromptV3>;
+    acts: Record<string, ActRecordV3>;
     encounter: {
         challenges: Record<string, {
             value: string;
-            tCh: MillisV1;
+            tCh: MillisV3;
             label: string;
             card: {
                 [k: string]: Json;
             };
         }>;
-        records: Record<string, EnactmentRecordV1>;
-        introductions: Record<string, IntroActV1>;
+        records: Record<string, EnactmentRecordV3>;
+        introductions: Record<string, IntroActV3>;
         offers: Record<string, {
             id: string;
             mediatorContactId: string;
             pin: string;
             target: string;
-            at: MillisV1;
+            at: MillisV3;
             label?: string;
         }>;
         designators: Record<string, string>;
         declarations: Record<string, {
             issuer: string;
             role: string;
-            revision: DecV1;
+            revision: DecV3;
             constants: Record<string, string>;
-            at: MillisV1;
+            at: MillisV3;
         }>;
     };
     joining: {
@@ -86,56 +86,89 @@ export type HolderStateV1 = {
             contactId: string;
             rkid: string;
             memberLabel: string;
-            at: MillisV1;
+            at: MillisV3;
         }>;
         invites: Record<string, {
             credDigest: string;
             group: string;
             name: string;
-            contactId: string;
-            rkid: string;
+            /** the contact of the relationship its prelude binding attributed it to (RLTP-MT-3100); absent for an invitation attributed to none */
+            contactId?: string;
+            rkid?: string;
             memberLabel: string;
             invite: {
                 [k: string]: Json;
             };
             promptId: string;
-            validUntil: MillisV1;
+            validUntil: MillisV3;
             status: "open" | "accepted" | "declined" | "joined";
-            at: MillisV1;
+            at: MillisV3;
             acceptDigest?: string;
         }>;
+        /** the credential digest of every invitation surfaced, for the life of the holder (RLTP-MT-3130); sorted */
+        surfaced: string[];
+        /** the register of declined invitations (Message Tasks 6.4): credential digests, holder-wide, for the life of the holder; sorted */
+        declined: string[];
+    };
+    /** Message Tasks 0.1 on the holder (message/holder.ts); the time mark of RLTP-MSG-4060 is lastWhen */
+    messages: {
+        /** the relationships under a block (Message Tasks 6.1), by relationship id; sorted */
+        blocked: string[];
+        /** per relationship id: acceptance times inside the last 24 hours (Message Tasks 4.2) */
+        rates: Record<string, {
+            invites: MillisV3[];
+            messages: MillisV3[];
+        }>;
+        /** the own pair labels of the ready tuples (Message Tasks 5.1); sorted */
+        ready: string[];
+        /** the completion record (Message Tasks 4.4), per own pair label: mid → bodyDigest and sentAt */
+        records: Record<string, Record<string, {
+            bodyDigest: string;
+            sentAt: MillisV3;
+        }>>;
+        /** the inbox (Message Tasks 4.5), by the accepted document digest */
+        inbox: Record<string, {
+            id: string;
+            tuple: string;
+            mid: string;
+            body: {
+                [k: string]: Json;
+            };
+            receivedAt: MillisV3;
+            displayAt: MillisV3;
+        }>;
     };
 };
 /** a counter as a canonical decimal string */
-export type DecV1 = string;
+export type DecV3 = string;
 /** milliseconds since the epoch, a safe non-negative integer */
-export type MillisV1 = number;
-export type SettingV1 = "default" | "on" | "off";
-export type TrustClassV1 = "star" | "groupStar" | "anchorMapping" | "sealedGroupStar" | "profile";
-export type RecipientV1 = {
+export type MillisV3 = number;
+export type SettingV3 = "default" | "on" | "off";
+export type TrustClassV3 = "star" | "groupStar" | "anchorMapping" | "sealedGroupStar" | "profile";
+export type RecipientV3 = {
     contactId: string;
     rkid: string;
     keyAgreement: string;
     anchor?: string;
     via?: string;
 };
-export type EnvelopeV1 = {
+export type EnvelopeV3 = {
     rkid: string;
     epk: string;
     nonce: string;
     ciphertext: string;
 };
-export type AssemblyV1 = {
-    salt: DecV1;
+export type AssemblyV3 = {
+    salt: DecV3;
     chunks: {
         [k: string]: Json;
     };
 };
-export type StarPairV1 = {
+export type StarPairV3 = {
     member: string;
     head: string;
 };
-export type GroupStarItemV1 = ({
+export type GroupStarItemV3 = ({
     group: string;
     mode: "digest";
 }) | ({
@@ -144,52 +177,52 @@ export type GroupStarItemV1 = ({
     member: string;
     memberOp: string;
 });
-export type StarOutInflightV1 = {
-    view: StarPairV1[];
+export type StarOutInflightV3 = {
+    view: StarPairV3[];
     viewDigest: string;
     digests: string[];
     acked: string[];
 };
 /** the sender side of one reconciled sequence (5.4); snapshot and snapshotDigest are null together */
-export type StarOutV1 = {
-    lastSalt: DecV1;
+export type StarOutV3 = {
+    lastSalt: DecV3;
     exhausted: boolean;
-    hwm: DecV1;
-    snapshot: (StarPairV1[]) | (null);
+    hwm: DecV3;
+    snapshot: (StarPairV3[]) | (null);
     snapshotDigest: (string) | (null);
-    inflight: Record<string, StarOutInflightV1>;
+    inflight: Record<string, StarOutInflightV3>;
 };
-export type StarInV1 = {
-    hwm: DecV1;
-    lowerBound: DecV1;
-    assembly: (AssemblyV1) | (null);
+export type StarInV3 = {
+    hwm: DecV3;
+    lowerBound: DecV3;
+    assembly: (AssemblyV3) | (null);
     accepted: ({
-        salt: DecV1;
+        salt: DecV3;
         blinded: string[];
         matches: string[];
     }) | (null);
 };
-export type GroupStarOutInflightV1 = {
-    view: GroupStarItemV1[];
+export type GroupStarOutInflightV3 = {
+    view: GroupStarItemV3[];
     viewDigest: string;
     digests: string[];
     acked: string[];
 };
 /** the sender side of one reconciled sequence (5.4); snapshot and snapshotDigest are null together */
-export type GroupStarOutV1 = {
-    lastSalt: DecV1;
+export type GroupStarOutV3 = {
+    lastSalt: DecV3;
     exhausted: boolean;
-    hwm: DecV1;
-    snapshot: (GroupStarItemV1[]) | (null);
+    hwm: DecV3;
+    snapshot: (GroupStarItemV3[]) | (null);
     snapshotDigest: (string) | (null);
-    inflight: Record<string, GroupStarOutInflightV1>;
+    inflight: Record<string, GroupStarOutInflightV3>;
 };
-export type GroupStarInV1 = {
-    hwm: DecV1;
-    lowerBound: DecV1;
-    assembly: (AssemblyV1) | (null);
+export type GroupStarInV3 = {
+    hwm: DecV3;
+    lowerBound: DecV3;
+    assembly: (AssemblyV3) | (null);
     accepted: ({
-        salt: DecV1;
+        salt: DecV3;
         entries: {
             d: string;
             c: string;
@@ -197,7 +230,7 @@ export type GroupStarInV1 = {
         groups: string[];
     }) | (null);
 };
-export type ContinuityDueV1 = ({
+export type ContinuityDueV3 = ({
     kind: "choice";
     prior: string;
     alts: string[];
@@ -205,7 +238,7 @@ export type ContinuityDueV1 = ({
     kind: "report" | "align";
     prior: string;
 });
-export type LogHeadV1 = ({
+export type LogHeadV3 = ({
     genesis: string;
     empty: true;
 }) | ({
@@ -216,7 +249,7 @@ export type LogHeadV1 = ({
     commit: string;
 });
 /** one enactment's tuple of a relationship (Trust 6.4) */
-export type TupleV1 = {
+export type TupleV3 = {
     ownPairLabel: string;
     counterpartAnchor: string;
     counterpartKeyAgreement: string;
@@ -227,12 +260,12 @@ export type TupleV1 = {
         counterpartAnchor: string;
         replaces?: string[];
     }[];
-    starOut: StarOutV1;
-    starIn: StarInV1;
-    groupStarOut: GroupStarOutV1;
-    groupStarIn: GroupStarInV1;
+    starOut: StarOutV3;
+    starIn: StarInV3;
+    groupStarOut: GroupStarOutV3;
+    groupStarIn: GroupStarInV3;
     probeOut: {
-        seq: DecV1;
+        seq: DecV3;
         inflight: Record<string, {
             digests: string[];
             acked: string[];
@@ -240,12 +273,12 @@ export type TupleV1 = {
         done: boolean;
     };
     probeIn: {
-        hwm: DecV1;
-        lowerBound: DecV1;
-        assembly: (AssemblyV1) | (null);
+        hwm: DecV3;
+        lowerBound: DecV3;
+        assembly: (AssemblyV3) | (null);
     };
     continuityOut: {
-        rev: DecV1;
+        rev: DecV3;
         body: Json;
         proof: Json;
         sent: string[];
@@ -253,38 +286,38 @@ export type TupleV1 = {
         chosen: (string) | (null);
         reported: (string) | (null);
         aligned: boolean;
-        due: (ContinuityDueV1) | (null);
+        due: (ContinuityDueV3) | (null);
     };
     continuityIn: {
-        rev: DecV1;
+        rev: DecV3;
         body: Json;
         recordPrior: (string) | (null);
     };
     mappingOut: {
-        rev: DecV1;
+        rev: DecV3;
         body: Json;
         underAnchor: (string) | (null);
     };
     mappingIn: {
-        rev: DecV1;
+        rev: DecV3;
         body: Json;
         self: (string) | (null);
         card: Json;
     };
     profileOut: {
-        rev: DecV1;
+        rev: DecV3;
     };
     profileIn: {
-        rev: DecV1;
+        rev: DecV3;
         body: Json;
-        verifiedSeq: DecV1;
+        verifiedSeq: DecV3;
     };
     deactivated: boolean;
 };
-export type RelationshipV1 = {
+export type RelationshipV3 = {
     id: string;
     contactId: string;
-    tuples: TupleV1[];
+    tuples: TupleV3[];
     activeHead: string;
     earliestAnchor: (string) | (null);
     links: {
@@ -298,115 +331,120 @@ export type RelationshipV1 = {
     };
     provenance: {
         kind: "ceremony" | "introduced";
-        at: MillisV1;
+        at: MillisV3;
         via?: string;
         viaPin?: string;
     };
     chainedInto: (string) | (null);
-    firstVerified: (DecV1) | (null);
+    firstVerified: (DecV3) | (null);
 };
 /** one entry of the deliverable set (Trust 2120, 2140); its id equals its key */
-export type ContactV1 = {
+export type ContactV3 = {
     id: string;
-    pos: (DecV1) | (null);
+    pos: (DecV3) | (null);
     status: "none" | "admitted" | "pending";
     aliases: string[];
     relIds: string[];
     anchorHead: (string) | (null);
     settings: {
-        star: SettingV1;
-        groupStar: SettingV1;
-        anchorMapping: SettingV1;
-        sealedGroupStar: SettingV1;
-        profile: SettingV1;
+        star: SettingV3;
+        groupStar: SettingV3;
+        anchorMapping: SettingV3;
+        sealedGroupStar: SettingV3;
+        profile: SettingV3;
     };
-    groupSettings: Record<string, SettingV1>;
+    groupSettings: Record<string, SettingV3>;
 };
-export type OutboxStepV1 = ({
+export type OutboxStepV3 = ({
     status: "submitted";
-    at: MillisV1;
+    at: MillisV3;
     attempt: number;
 }) | ({
     status: "awaiting-transport";
-    at: MillisV1;
+    at: MillisV3;
     reason: "offline" | "transport-unreachable" | "carrier-refused-retriable";
 }) | ({
     status: "accepted";
-    at: MillisV1;
+    at: MillisV3;
 }) | ({
     status: "delivered";
-    at: MillisV1;
+    at: MillisV3;
     late: boolean;
 }) | ({
     status: "failed";
-    at: MillisV1;
-    reason: "unroutable" | "oversize" | "expired-by-adapter-policy";
+    at: MillisV3;
+    reason: "unroutable" | "oversize" | "expired-by-adapter-policy" | "task-expired";
 }) | ({
     status: "failed";
-    at: MillisV1;
+    at: MillisV3;
     reason: "rejected-by-receiver";
     code: "malformedRequest" | "unsupportedType" | "proofRequired" | "proofInvalid" | "wrongRecipient" | "identityMismatch";
 });
 /** an issued document; its envelope's rkid equals recipient.keyAgreement (not expressible here, checked by the codec) */
-export type OutboxItemV1 = {
+export type OutboxItemV3 = {
     type: string;
     threadId: string;
-    recipient: RecipientV1;
-    envelope: EnvelopeV1;
+    recipient: RecipientV3;
+    envelope: EnvelopeV3;
     attempt: number;
-    history: OutboxStepV1[];
-    nextAttemptAt?: MillisV1;
+    history: OutboxStepV3[];
+    nextAttemptAt?: MillisV3;
+    /** the sender lifetime its type declares (Delivery RLTP-DEL-7020) */
+    expiresAt?: MillisV3;
 };
-export type StoredAckV1 = {
+export type StoredAckV3 = {
     digest: string;
-    envelope: EnvelopeV1;
+    envelope: EnvelopeV3;
     threadId: string;
-    recipient: RecipientV1;
-    at: MillisV1;
+    recipient: RecipientV3;
+    at: MillisV3;
     attempt: number;
     sent: boolean;
-    nextAttemptAt?: MillisV1;
-    sentBy?: "report" | "horizon";
+    nextAttemptAt?: MillisV3;
+    sentBy?: "accepted" | "failed" | "horizon";
+    held?: "offline" | "transport-unreachable" | "carrier-refused-retriable";
+    answers?: number;
+    answerDue?: true;
 };
-export type ReissueMappingDutyV1 = {
+export type ReissueMappingDutyV3 = {
     kind: "reissue-mapping";
     v: 1;
     id: string;
     contactId: string;
     relId: string;
     awaitHead: (string) | (null);
-    dueAt?: MillisV1;
+    dueAt?: MillisV3;
 };
-export type ClassOnDutyV1 = {
+export type ClassOnDutyV3 = {
     kind: "class-on";
     v: 1;
     id: string;
     contactId: string;
     relId: string;
-    cls: TrustClassV1;
-    dueAt?: MillisV1;
+    cls: TrustClassV3;
+    dueAt?: MillisV3;
 };
-export type ProfileDutyV1 = {
+export type ProfileDutyV3 = {
     kind: "profile";
     v: 1;
     id: string;
     contactId: string;
     relId: string;
-    rev: DecV1;
-    dueAt?: MillisV1;
+    rev: DecV3;
+    dueAt?: MillisV3;
 };
-export type ContinuityDutyV1 = {
+export type ContinuityDutyV3 = {
     kind: "continuity";
     v: 1;
     id: string;
     relId: string;
     tuple: string;
     step: "probe" | "mapping";
-    dueAt?: MillisV1;
+    dueAt?: MillisV3;
     attempt?: number;
-    lastAt?: MillisV1;
+    lastAt?: MillisV3;
 };
-export type MergeDutyV1 = {
+export type MergeDutyV3 = {
     kind: "merge";
     v: 1;
     id: string;
@@ -416,50 +454,50 @@ export type MergeDutyV1 = {
         heads: Record<string, string>;
         superseded: Record<string, string[]>;
     };
-    dueAt?: MillisV1;
+    dueAt?: MillisV3;
 };
-export type RotationDutyV1 = {
+export type RotationDutyV3 = {
     kind: "rotation";
     v: 1;
     id: string;
     rotationId: string;
-    dueAt?: MillisV1;
+    dueAt?: MillisV3;
     attempt?: number;
-    lastAt?: MillisV1;
+    lastAt?: MillisV3;
 };
-export type IntroAckDutyV1 = {
+export type IntroAckDutyV3 = {
     kind: "intro-ack";
     v: 1;
     id: string;
     act: string;
-    dueAt?: MillisV1;
+    dueAt?: MillisV3;
 };
 /** a duty of a kind or version this library does not handle: kept as it is */
-export type UnknownDutyV1 = {
+export type UnknownDutyV3 = {
     kind: string;
     v: number;
     id: string;
     [k: string]: Json;
 };
-export type DutyV1 = (ReissueMappingDutyV1) | (ClassOnDutyV1) | (ProfileDutyV1) | (ContinuityDutyV1) | (MergeDutyV1) | (RotationDutyV1) | (IntroAckDutyV1) | (UnknownDutyV1);
+export type DutyV3 = (ReissueMappingDutyV3) | (ClassOnDutyV3) | (ProfileDutyV3) | (ContinuityDutyV3) | (MergeDutyV3) | (RotationDutyV3) | (IntroAckDutyV3) | (UnknownDutyV3);
 /** a journaled event (events.ts) */
-export type EventV1 = ({
+export type EventV3 = ({
     type: "contact.added";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     actId?: string;
 }) | ({
     type: "contact.verified";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     relationshipId: string;
     actId?: string;
 }) | ({
     type: "contact.chained";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     from: string;
     into: string;
@@ -467,14 +505,14 @@ export type EventV1 = ({
 }) | ({
     type: "contact.merged";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     merged: string[];
     actId?: string;
 }) | ({
     type: "contact.split";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     leaver: string;
     relationshipId: string;
@@ -482,7 +520,7 @@ export type EventV1 = ({
 }) | ({
     type: "contact.departed";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     relationshipIds: string[];
     removed: boolean;
@@ -490,39 +528,39 @@ export type EventV1 = ({
 }) | ({
     type: "trust.given";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     actId?: string;
 }) | ({
     type: "trust.received";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     actId?: string;
 }) | ({
     type: "trust.paused";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     paused: boolean;
     actId?: string;
 }) | ({
     type: "group.joined";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     groupId: string;
     actId?: string;
 }) | ({
     type: "prompt.opened";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     promptId: string;
     kind: "encounter-confirm" | "group-invite" | "introduction";
     actId?: string;
 }) | ({
     type: "prompt.decided";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     promptId: string;
     kind: "encounter-confirm" | "group-invite" | "introduction";
     choice: "accept" | "decline";
@@ -530,7 +568,7 @@ export type EventV1 = ({
 }) | ({
     type: "delivery.status";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     digest: string;
     threadId: string;
     status: "submitted" | "accepted" | "delivered" | "failed";
@@ -539,31 +577,31 @@ export type EventV1 = ({
 }) | ({
     type: "profile.updated";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: (string) | (null);
     actId?: string;
 }) | ({
     type: "anchor.rotated";
     eventId: string;
-    commitSeq: DecV1;
-    generation: DecV1;
+    commitSeq: DecV3;
+    generation: DecV3;
     actId?: string;
 }) | ({
     type: "device.added";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     name: string;
     actId?: string;
 }) | ({
     type: "device.revoked";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     name: string;
     actId?: string;
 }) | ({
     type: "duty.unsupported";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     dutyId: string;
     kind: string;
     v: number;
@@ -571,23 +609,23 @@ export type EventV1 = ({
 }) | ({
     type: "star.accepted";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     relationshipId: string;
-    salt: DecV1;
+    salt: DecV3;
     actId?: string;
 }) | ({
     type: "groupStar.accepted";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     relationshipId: string;
-    salt: DecV1;
+    salt: DecV3;
     actId?: string;
 }) | ({
     type: "encounter.shown";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     challenge: string;
     card: {
         [k: string]: Json;
@@ -596,7 +634,7 @@ export type EventV1 = ({
 }) | ({
     type: "encounter.scanned";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     card: {
         [k: string]: Json;
@@ -605,7 +643,7 @@ export type EventV1 = ({
 }) | ({
     type: "encounter.recorded";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     relationshipId: string;
     role: "scanner" | "displayer";
@@ -613,7 +651,7 @@ export type EventV1 = ({
 }) | ({
     type: "encounter.accepted";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     contactId: string;
     relationshipId: string;
     mutual: boolean;
@@ -621,34 +659,56 @@ export type EventV1 = ({
 }) | ({
     type: "group.founded";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     groupId: string;
     actId?: string;
 }) | ({
     type: "group.admitted";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     groupId: string;
     member: string;
     actId?: string;
 }) | ({
     type: "group.vouched";
     eventId: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     groupId: string;
     member: string;
     actId?: string;
+}) | ({
+    type: "contact.blocked";
+    eventId: string;
+    commitSeq: DecV3;
+    contactId: string;
+    blocked: boolean;
+    actId?: string;
+}) | ({
+    type: "message.sent";
+    eventId: string;
+    commitSeq: DecV3;
+    contactId: string;
+    mid: string;
+    digest: string;
+    actId?: string;
+}) | ({
+    type: "message.received";
+    eventId: string;
+    commitSeq: DecV3;
+    contactId: string;
+    inboxId: string;
+    actId?: string;
 });
-export type RosterEntryV1 = {
+export type RosterEntryV3 = {
     anchor: string;
     op: string;
     keyAgreement: string;
-    addedAt: MillisV1;
+    addedAt: MillisV3;
     name?: string;
     contactId?: string;
     rkid?: string;
 };
-export type OpenInvitationV1 = {
+export type OpenInvitationV3 = {
     invitee: string;
     keyAgreement: string;
     contactId: string;
@@ -658,9 +718,9 @@ export type OpenInvitationV1 = {
     invite: {
         [k: string]: Json;
     };
-    validUntil: MillisV1;
+    validUntil: MillisV3;
 };
-export type EvidenceV1 = {
+export type EvidenceV3 = {
     invite: {
         [k: string]: Json;
     };
@@ -670,24 +730,24 @@ export type EvidenceV1 = {
     vouches: {
         [k: string]: Json;
     }[];
-    at: MillisV1;
+    at: MillisV3;
 };
 /** a group the holder is in; a listed group carries memberAnchor and memberOp (Trust 5400) */
-export type GroupV1 = {
+export type GroupV3 = {
     id: string;
     name: string;
     memberLabel: string;
     rules: {
-        vouchThreshold: DecV1;
+        vouchThreshold: DecV3;
     };
     listed: boolean;
-    roster: Record<string, RosterEntryV1>;
-    invitations: Record<string, OpenInvitationV1>;
-    evidence: Record<string, EvidenceV1>;
+    roster: Record<string, RosterEntryV3>;
+    invitations: Record<string, OpenInvitationV3>;
+    evidence: Record<string, EvidenceV3>;
     preludes: Record<string, {
         contactId: string;
         rkid: string;
-        at: MillisV1;
+        at: MillisV3;
     }>;
     did?: string;
     genesis?: {
@@ -697,28 +757,28 @@ export type GroupV1 = {
     memberOp?: string;
     acceptDigest?: string;
 };
-export type HeldCredentialV1 = {
+export type HeldCredentialV3 = {
     digest: string;
     credential: {
         [k: string]: Json;
     };
 };
-export type EnactmentRecordV1 = {
+export type EnactmentRecordV3 = {
     ceremony: string;
     own: string;
-    tCh: MillisV1;
+    tCh: MillisV3;
     peer: string;
     counterpart: string;
     card: {
         [k: string]: Json;
     };
     bind: string;
-    at: MillisV1;
+    at: MillisV3;
     label: string;
     relId: string;
     role: "scanner" | "displayer";
-    out: (HeldCredentialV1) | (null);
-    in: (HeldCredentialV1) | (null);
+    out: (HeldCredentialV3) | (null);
+    in: (HeldCredentialV3) | (null);
     thread: (string) | (null);
     bundleDigest: (string) | (null);
     threads: Record<string, string>;
@@ -727,12 +787,12 @@ export type EnactmentRecordV1 = {
     }) | (null);
     counterPending: boolean;
 };
-export type IntroActV1 = {
+export type IntroActV3 = {
     key: string;
     act: string;
     role: "requester" | "mediator" | "target";
     status: "sent" | "acked" | "completed" | "failed" | "received" | "forwarded" | "consented" | "refused";
-    issuedAt: MillisV1;
+    issuedAt: MillisV3;
     request: {
         [k: string]: Json;
     };
@@ -754,7 +814,7 @@ export type IntroActV1 = {
         request: string;
         forward?: string;
     };
-    at: MillisV1;
+    at: MillisV3;
     ackDelayMs: number;
     ownLabel: (string) | (null);
     ack: ({
@@ -772,30 +832,30 @@ export type IntroActV1 = {
     promptId: (string) | (null);
     peerName?: string;
 };
-export type RotationV1 = {
+export type RotationV3 = {
     id: string;
-    from: DecV1;
-    to: DecV1;
+    from: DecV3;
+    to: DecV3;
     step: "register" | "log" | "duties";
-    startedAt: MillisV1;
+    startedAt: MillisV3;
     entry: Json;
-    overHead: LogHeadV1;
+    overHead: LogHeadV3;
     awaitHead: Record<string, (string) | (null)>;
 };
-export type PromptV1 = {
+export type PromptV3 = {
     id: string;
     kind: "encounter-confirm" | "group-invite" | "introduction";
-    openedAt: MillisV1;
+    openedAt: MillisV3;
     contactId?: string;
     groupId?: string;
-    expiresAt?: MillisV1;
+    expiresAt?: MillisV3;
 };
-export type ActRecordV1 = {
+export type ActRecordV3 = {
     actId: string;
     inputHash: string;
-    commitSeq: DecV1;
+    commitSeq: DecV3;
     outboundDigests: string[];
-    events: EventV1[];
-    at: MillisV1;
+    events: EventV3[];
+    at: MillisV3;
 };
-//# sourceMappingURL=holder-state-v1.d.ts.map
+//# sourceMappingURL=holder-state-v3.d.ts.map