@real-life/trust-protocol 0.3.2 → 0.4.0

package/dist/views.js

@@ -0,0 +1,268 @@
+// views — what an app reads: pure projections of the holder's state
+// (lib Stage 2, note §4.5).
+//
+// `state → View`, synchronous, without the engine: every function here
+// reads one state and returns fresh, deep-frozen objects that share no
+// reference with it, so a UI can keep them and the state stays untouched.
+// Each view carries the commitSeq of the state it was read from; views of
+// one snapshot belong together. The holder hands them out over its
+// snapshot (holder-api.ts); after a `subscribe` announcement the app
+// re-reads them. Views never write: whatever ages state (expiry, the
+// encounter's aging latch) is an act, never a read.
+//
+// Rule numbers: bare four-digit numbers are RLTP-TRU (trust-layer.md).
+//
+// Choices this file makes where the note leaves them open:
+//   - contacts are listed in entry-commit order (2120); entries without a
+//     position (2060) follow, by id. A contact is found by its entry id or
+//     by any of its aliases (2140)
+//   - provenance and via come from the contact's oldest relationship (by
+//     its provenance time, then id): how the person came, not how often
+//   - tuples belong to the entry their entryId names (2145): an entry's
+//     tuples are those whose entryId is its id or one of its aliases, over
+//     its own relationships and any relationship that stands behind two
+//     entries. Its heads are the active-head tuples among them of live
+//     relationships (not chained into another), not deactivated; under
+//     2146 the appended tuple's entry takes the chain's active head
+//   - verification is the edge of Encounter 4.2 over all of the entry's
+//     tuples, deactivated and older ones included (historical evidence;
+//     one edge per relationship, carried along its chain): `outgoing` an
+//     own step credential was issued, `incoming` the counterparty's was
+//     accepted (5.6), `mutual` both, `met` neither — read from the
+//     enactment records of those tuples (encounter/ceremony.ts). An entry
+//     with no record at all (built without a ceremony: introduced, or a
+//     test state) reads the anchor mappings instead: `outgoing` one was
+//     issued (mappingOut), `incoming` one was verified (mappingIn)
+//   - displayName: the profile's name (6425), else the self-declared name
+//     on the counterparty card of the entry's newest record (Encounter
+//     6120: the app binds its own local name to the anchor)
+//   - trust.given is the anchor mapping class on (the Trust act, 2770);
+//     trust.received a verified anchor mapping from the contact, whose
+//     class has no default recipient (2760); trust.paused the pause of 5.4,
+//     star and blinded group star both `off` (2780); trust.pending: given,
+//     but not yet out on every head (no mapping issued on it, or its
+//     relationship lags (6595)), or a re-issue or class-on duty for the
+//     anchor mapping is open at a version this library handles (a duty of
+//     an unhandled version is opaque, note §2.1). Delivery of the documents is not part of
+//     it; deliveryStatus answers that
+//   - classes give the setting and whether the class is on toward the
+//     contact (2760, 2840); the sealed group star also per group (2830):
+//     every group of the holder and every group the contact holds a
+//     per-group setting for, by id, with the setting (`default` where none
+//     is held) and whether it is on for (group, contact) — the per-group
+//     setting first, else the class (trust/group-star.ts sealedOn)
+//   - sharedGroups: the union of the groups the last accepted group star
+//     on each of the entry's heads hit (5520, trust/group-star.ts), lagging
+//     heads included (the group star travels on them, 6595); undefined
+//     where no head ever accepted one
+//   - a contact's profile (6425): among the verified profile@1 bodies
+//     (6b.2) on its heads whose relationship does not lag (6461, 6595),
+//     the highest revision, among equal ones the one verified last
+//     (highest verifiedSeq); displayName is that profile's name
+//   - deliveryStatus(x) lists the outbox items whose digest or threadId is
+//     x, by first submission, then digest; an unknown x lists none
+//   - relationships: the entry's own (relIds), in that order; chainedFrom
+//     the husks chained into each (chainedInto), by id
+//   - a contact without a relationship breaks an invariant and throws
+import { freezeDeep } from './util-freeze.js';
+import { triasOf } from './state.js';
+import { CLASSES, activeTuple, classOn, findContact, lags, trusted as isTrusted } from './trust/state.js';
+import { sealedOn } from './trust/group-star.js';
+import { classOfDuty } from './trust/duties.js';
+// ── helpers ────────────────────────────────────────────────────────────
+const cmp = (a, b) => (a < b ? -1 : a > b ? 1 : 0);
+const cmpDec = (a, b) => { const x = BigInt(a), y = BigInt(b); return x < y ? -1 : x > y ? 1 : 0; };
+const isObj = (x) => x !== null && typeof x === 'object' && !Array.isArray(x);
+/** The string fields of a profile body that a view shows. */
+const profileFields = (body) => {
+    const out = {};
+    if (!isObj(body))
+        return out;
+    for (const k of ['name', 'image', 'text'])
+        if (typeof body[k] === 'string')
+            out[k] = body[k];
+    return out;
+};
+const recordIndex = (state) => {
+    const ix = new Map();
+    for (const r of Object.values(state.encounter.records))
+        ix.set(r.label, r);
+    return ix;
+};
+const entryIndex = (state) => {
+    const ix = new Map();
+    for (const r of Object.values(state.relationships)) {
+        for (const t of r.tuples) {
+            let s = ix.get(t.entryId);
+            if (!s)
+                ix.set(t.entryId, (s = new Set()));
+            s.add(r.id);
+        }
+    }
+    return ix;
+};
+/** The contact's own relationships, then those holding a tuple of its entry. */
+const relationshipsOf = (state, c, ids, ix) => {
+    const own = c.relIds.filter((id) => Object.hasOwn(state.relationships, id)).map((id) => state.relationships[id]);
+    if (!own.length)
+        throw new Error(`views: contact ${c.id} has no relationship`);
+    const seen = new Set(own.map((r) => r.id));
+    const all = [...own];
+    for (const id of ids) {
+        for (const rid of ix.get(id) ?? []) {
+            if (!seen.has(rid)) {
+                seen.add(rid);
+                all.push(state.relationships[rid]);
+            }
+        }
+    }
+    return { own, all };
+};
+const project = (state, c, ix, rix) => {
+    const ids = new Set([c.id, ...c.aliases]);
+    const { own, all: rels } = relationshipsOf(state, c, ids, ix);
+    const mine = (t) => ids.has(t.entryId);
+    const tuples = rels.flatMap((r) => r.tuples.filter(mine));
+    const origin = [...own].sort((a, b) => (a.provenance.at - b.provenance.at) || cmp(a.id, b.id))[0];
+    const records = tuples.map((t) => rix.get(t.ownPairLabel)).filter((r) => r !== undefined);
+    const out = records.length ? records.some((r) => r.out !== null) : tuples.some((t) => t.mappingOut.body !== null);
+    const inn = records.length ? records.some((r) => r.in !== null) : tuples.some((t) => t.mappingIn.body !== null);
+    const newest = [...records].sort((a, b) => b.at - a.at)[0];
+    const introduced = own.map((r) => r.memory.introducedName).find((n) => typeof n === 'string');
+    const cardName = typeof newest?.card?.name === 'string' ? newest.card.name : introduced;
+    const trusted = isTrusted(c);
+    const classes = {};
+    for (const cls of CLASSES)
+        classes[cls] = { setting: c.settings[cls], on: classOn(cls, c.settings[cls], trusted) };
+    const groups = {};
+    for (const g of [...new Set([...Object.keys(state.groups), ...Object.keys(c.groupSettings)])].sort(cmp)) {
+        groups[g] = { setting: Object.hasOwn(c.groupSettings, g) ? c.groupSettings[g] : 'default', on: sealedOn(c, g) };
+    }
+    const heads = [];
+    for (const r of rels) {
+        if (r.chainedInto !== null)
+            continue;
+        const t = activeTuple(r);
+        if (t && !t.deactivated && mine(t))
+            heads.push({ r, t, lagging: lags(r, rels) });
+    }
+    // a class-on or re-issue of the anchor mapping, at a version this library
+    // handles (classOfDuty: an unhandled version is opaque and owes nothing here)
+    const owed = Object.values(state.duties).some((d) => classOfDuty(d) === 'anchorMapping' && d.contactId === c.id);
+    const pending = trusted && (owed || heads.some((h) => h.t.mappingOut.body === null || h.lagging));
+    let best;
+    for (const { t, lagging } of heads) {
+        if (lagging || t.profileIn.body === null)
+            continue;
+        if (!best || cmpDec(t.profileIn.rev, best.profileIn.rev) > 0 ||
+            (cmpDec(t.profileIn.rev, best.profileIn.rev) === 0 && cmpDec(t.profileIn.verifiedSeq, best.profileIn.verifiedSeq) > 0))
+            best = t;
+    }
+    const profile = best ? { revision: best.profileIn.rev, ...profileFields(best.profileIn.body) } : undefined;
+    const received = heads.map((h) => h.t.groupStarIn.accepted).filter((a) => a !== null);
+    const sharedGroups = received.length ? [...new Set(received.flatMap((a) => a.groups))].sort(cmp) : undefined;
+    return {
+        commitSeq: state.commitSeq,
+        id: c.id,
+        aliases: [...c.aliases],
+        relationships: own.map((r) => ({
+            id: r.id, tuples: r.tuples.length,
+            chainedFrom: Object.values(state.relationships).filter((x) => x.chainedInto === r.id).map((x) => x.id).sort(cmp),
+        })),
+        ...(profile?.name !== undefined ? { displayName: profile.name } : cardName !== undefined ? { displayName: cardName } : {}),
+        provenance: origin.provenance.kind,
+        ...(origin.provenance.kind === 'introduced' && origin.provenance.via !== undefined ? { via: origin.provenance.via } : {}),
+        verification: out && inn ? 'mutual' : out ? 'outgoing' : inn ? 'incoming' : 'met',
+        trust: {
+            given: trusted,
+            received: tuples.some((t) => t.mappingIn.body !== null),
+            paused: c.settings.star === 'off' && c.settings.groupStar === 'off',
+            pending,
+        },
+        classes: { ...classes, sealedGroupStar: { ...classes.sealedGroupStar, groups } },
+        ...(sharedGroups ? { sharedGroups } : {}),
+        ...(profile ? { profile } : {}),
+    };
+};
+const itemView = (digest, it) => {
+    const status = triasOf(it);
+    const last = it.history[it.history.length - 1];
+    let decisive;
+    for (let i = it.history.length - 1; i >= 0 && !decisive; i--)
+        if (it.history[i].status !== 'awaiting-transport')
+            decisive = it.history[i];
+    const v = {
+        digest, type: it.type, threadId: it.threadId, contactId: it.recipient.contactId, status,
+        attempt: it.attempt, submittedAt: it.history[0]?.at ?? 0, updatedAt: last?.at ?? 0,
+    };
+    if (last?.status === 'awaiting-transport')
+        v.awaiting = last.reason;
+    if (decisive?.status === 'delivered')
+        v.late = decisive.late;
+    if (decisive?.status === 'failed') {
+        v.reason = decisive.reason;
+        if (decisive.reason === 'rejected-by-receiver')
+            v.code = decisive.code;
+    }
+    if (it.nextAttemptAt !== undefined)
+        v.nextAttemptAt = it.nextAttemptAt;
+    return v;
+};
+// ── the views ──────────────────────────────────────────────────────────
+/** Every contact, in entry-commit order (2120), then by id. */
+export function contactsView(state) {
+    const order = Object.values(state.contacts).sort((a, b) => {
+        if (a.pos !== null && b.pos !== null)
+            return cmpDec(a.pos, b.pos) || cmp(a.id, b.id);
+        if (a.pos !== null)
+            return -1;
+        if (b.pos !== null)
+            return 1;
+        return cmp(a.id, b.id);
+    });
+    const ix = entryIndex(state);
+    const rix = recordIndex(state);
+    return freezeDeep(order.map((c) => project(state, c, ix, rix)));
+}
+/** One contact by entry id or alias; undefined if there is none. */
+export function contactView(state, id) {
+    const c = findContact(state, id);
+    return c ? freezeDeep(project(state, c, entryIndex(state), recordIndex(state))) : undefined;
+}
+/** The holder's groups, by genesis digest. */
+export function groupsView(state) {
+    return freezeDeep(Object.values(state.groups).sort((a, b) => cmp(a.id, b.id)).map((g) => ({
+        commitSeq: state.commitSeq, id: g.id, name: g.name, listed: g.listed, vouchThreshold: g.rules.vouchThreshold,
+        members: Object.values(g.roster).sort((a, b) => cmp(a.anchor, b.anchor)).map((m) => ({
+            anchor: m.anchor, ...(m.name !== undefined ? { name: m.name } : {}), ...(m.contactId !== undefined ? { contactId: m.contactId } : {}), self: m.anchor === g.memberAnchor,
+        })),
+        pending: Object.values(g.evidence).map((e) => {
+            const acc = e.accept.payload?.accept;
+            return { member: acc?.subject ?? '', ...(typeof acc?.card?.name === 'string' ? { name: acc.card.name } : {}), vouches: e.vouches.length };
+        }).sort((a, b) => cmp(a.member, b.member)),
+    })));
+}
+/** The holder's own profile. */
+export function profileView(state) {
+    return freezeDeep({ commitSeq: state.commitSeq, revision: state.profile.revision, ...profileFields(state.profile.body) });
+}
+/** The open prompts, by opening time, then id. Expired prompts stay
+ *  listed until tick removes them; deciding one is refused. */
+export function promptsView(state) {
+    return freezeDeep(Object.values(state.prompts).sort((a, b) => (a.openedAt - b.openedAt) || cmp(a.id, b.id)).map((p) => ({
+        commitSeq: state.commitSeq, id: p.id, kind: p.kind,
+        ...(p.contactId !== undefined ? { contactId: p.contactId } : {}),
+        ...(p.groupId !== undefined ? { groupId: p.groupId } : {}),
+        openedAt: p.openedAt,
+        ...(p.expiresAt !== undefined ? { expiresAt: p.expiresAt } : {}),
+    })));
+}
+/** The sender status of the documents whose digest or threadId is `x`. */
+export function deliveryStatusView(state, x) {
+    const items = Object.entries(state.outbox)
+        .filter(([digest, it]) => digest === x || it.threadId === x)
+        .map(([digest, it]) => itemView(digest, it))
+        .sort((a, b) => (a.submittedAt - b.submittedAt) || cmp(a.digest, b.digest));
+    return freezeDeep({ commitSeq: state.commitSeq, items });
+}
+//# sourceMappingURL=views.js.map

package/dist/views.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"views.js","sourceRoot":"","sources":["../src/views.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,4BAA4B;AAC5B,EAAE;AACF,uEAAuE;AACvE,uEAAuE;AACvE,0EAA0E;AAC1E,0EAA0E;AAC1E,mEAAmE;AACnE,qEAAqE;AACrE,qEAAqE;AACrE,oDAAoD;AACpD,EAAE;AACF,uEAAuE;AACvE,EAAE;AACF,2DAA2D;AAC3D,0EAA0E;AAC1E,2EAA2E;AAC3E,mCAAmC;AACnC,yEAAyE;AACzE,wEAAwE;AACxE,wEAAwE;AACxE,2EAA2E;AAC3E,wEAAwE;AACxE,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,wEAAwE;AACxE,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AACxE,mEAAmE;AACnE,0EAA0E;AAC1E,wEAAwE;AACxE,wEAAwE;AACxE,mEAAmE;AACnE,0EAA0E;AAC1E,uEAAuE;AACvE,4DAA4D;AAC5D,wEAAwE;AACxE,uEAAuE;AACvE,4EAA4E;AAC5E,2EAA2E;AAC3E,qEAAqE;AACrE,wEAAwE;AACxE,0EAA0E;AAC1E,2FAA2F;AAC3F,sCAAsC;AACtC,sEAAsE;AACtE,yEAAyE;AACzE,oEAAoE;AACpE,2EAA2E;AAC3E,yEAAyE;AACzE,mEAAmE;AACnE,yEAAyE;AACzE,4EAA4E;AAC5E,uEAAuE;AACvE,sCAAsC;AACtC,sEAAsE;AACtE,wEAAwE;AACxE,mEAAmE;AACnE,gEAAgE;AAChE,2EAA2E;AAC3E,mEAAmE;AACnE,0EAA0E;AAC1E,uDAAuD;AACvD,sEAAsE;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACzG,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AA8G/C,0EAA0E;AAE1E,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC1E,MAAM,MAAM,GAAG,CAAC,CAAM,EAAE,CAAM,EAAU,EAAE,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA,CAAC,CAAC,CAAA;AACpH,MAAM,KAAK,GAAG,CAAC,CAAU,EAA6B,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAEjH,6DAA6D;AAC7D,MAAM,aAAa,GAAG,CAAC,IAAiB,EAAoD,EAAE;IAC5F,MAAM,GAAG,GAAqD,EAAE,CAAA;IAChE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAU;QAAE,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAW,CAAA;IAC/G,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAKD,MAAM,WAAW,GAAG,CAAC,KAA4B,EAAe,EAAE;IAChE,MAAM,EAAE,GAAgB,IAAI,GAAG,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IAC1E,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAKD,MAAM,UAAU,GAAG,CAAC,KAA4B,EAAc,EAAE;IAC9D,MAAM,EAAE,GAAe,IAAI,GAAG,EAAE,CAAA;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QACnD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACzB,IAAI,CAAC,CAAC;gBAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAA;YAC1C,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAED,gFAAgF;AAChF,MAAM,eAAe,GAAG,CAAC,KAA4B,EAAE,CAAoB,EAAE,GAAwB,EAAE,EAAc,EAAgD,EAAE;IACrK,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAA;IAChH,IAAI,CAAC,GAAG,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC,EAAE,sBAAsB,CAAC,CAAA;IAC9E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1C,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAA;IACpB,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAA;YAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;AACrB,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,KAA4B,EAAE,CAAoB,EAAE,EAAc,EAAE,GAAgB,EAAe,EAAE;IACpH,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;IACzC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;IAC7D,MAAM,IAAI,GAAG,CAAC,CAAQ,EAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;IACzD,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjG,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAC/G,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;IACjH,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;IAC/G,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1D,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAA;IAC1G,MAAM,QAAQ,GAAG,OAAQ,MAAM,EAAE,IAAuC,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,MAAM,CAAC,IAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAA;IACjJ,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IAC5B,MAAM,OAAO,GAAG,EAAmC,CAAA;IACnD,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,EAAE,CAAA;IAClH,MAAM,MAAM,GAA8B,EAAE,CAAA;IAC5C,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACxG,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;IACjH,CAAC;IACD,MAAM,KAAK,GAA2D,EAAE,CAAA;IACxE,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;YAAE,SAAQ;QACpC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;QACxB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;IAClF,CAAC;IACD,0EAA0E;IAC1E,8EAA8E;IAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAClD,WAAW,CAAC,CAAC,CAAC,KAAK,eAAe,IAAK,CAA6B,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC,CAAA;IAC1F,MAAM,OAAO,GAAG,OAAO,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;IACjG,IAAI,IAAuB,CAAA;IAC3B,KAAK,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;QACnC,IAAI,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI;YAAE,SAAQ;QAClD,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAC1D,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAAE,IAAI,GAAG,CAAC,CAAA;IACpI,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1G,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAA;IACrF,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5G,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;QACvB,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7B,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;YACjC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;SACjH,CAAC,CAAC;QACH,GAAG,CAAC,OAAO,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1H,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI;QAClC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzH,YAAY,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK;QACjF,KAAK,EAAE;YACL,KAAK,EAAE,OAAO;YACd,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC;YACvD,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,KAAK,KAAK;YACnE,OAAO;SACR;QACD,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC,eAAe,EAAE,MAAM,EAAE,EAAiB;QAC/F,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAE,EAAwB,EAAoB,EAAE;IAC9E,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAA;IAC1B,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC9C,IAAI,QAAmD,CAAA;IACvD,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE;QAAE,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,oBAAoB;YAAE,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACzI,MAAM,CAAC,GAAqB;QAC1B,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM;QACvF,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC;KACnF,CAAA;IACD,IAAI,IAAI,EAAE,MAAM,KAAK,oBAAoB;QAAE,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAA;IACnE,IAAI,QAAQ,EAAE,MAAM,KAAK,WAAW;QAAE,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAA;IAC5D,IAAI,QAAQ,EAAE,MAAM,KAAK,QAAQ,EAAE,CAAC;QAClC,CAAC,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAA;QAC1B,IAAI,QAAQ,CAAC,MAAM,KAAK,sBAAsB;YAAE,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAA;IACxE,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,KAAK,SAAS;QAAE,CAAC,CAAC,aAAa,GAAG,EAAE,CAAC,aAAa,CAAA;IACtE,OAAO,CAAC,CAAA;AACV,CAAC,CAAA;AAED,0EAA0E;AAE1E,+DAA+D;AAC/D,MAAM,UAAU,YAAY,CAAE,KAA4B;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxD,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;QACpF,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,CAAC,CAAA;QAC5B,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IACF,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC5B,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;IAC9B,OAAO,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;AACjE,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,WAAW,CAAE,KAA4B,EAAE,EAAU;IACnE,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAChC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAC7F,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,UAAU,CAAE,KAA4B;IACtD,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxF,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;QAC5G,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACnF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,YAAY;SACzK,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3C,MAAM,GAAG,GAAI,CAAC,CAAC,MAAoF,CAAC,OAAO,EAAE,MAAM,CAAA;YACnH,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,IAAI,EAAE,EAAE,GAAG,CAAC,OAAO,GAAG,EAAE,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAA;QAC3I,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;KAC3C,CAAC,CAAC,CAAC,CAAA;AACN,CAAC;AAED,gCAAgC;AAChC,MAAM,UAAU,WAAW,CAAE,KAA4B;IACvD,OAAO,UAAU,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAC3H,CAAC;AAED;+DAC+D;AAC/D,MAAM,UAAU,WAAW,CAAE,KAA4B;IACvD,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtH,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;QAClD,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjE,CAAC,CAAC,CAAC,CAAA;AACN,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,kBAAkB,CAAE,KAA4B,EAAE,CAAS;IACzE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,KAAK,CAAC,CAAC;SAC3D,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;SAC3C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAC7E,OAAO,UAAU,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;AAC1D,CAAC","sourcesContent":["// views — what an app reads: pure projections of the holder's state\n// (lib Stage 2, note §4.5).\n//\n// `state → View`, synchronous, without the engine: every function here\n// reads one state and returns fresh, deep-frozen objects that share no\n// reference with it, so a UI can keep them and the state stays untouched.\n// Each view carries the commitSeq of the state it was read from; views of\n// one snapshot belong together. The holder hands them out over its\n// snapshot (holder-api.ts); after a `subscribe` announcement the app\n// re-reads them. Views never write: whatever ages state (expiry, the\n// encounter's aging latch) is an act, never a read.\n//\n// Rule numbers: bare four-digit numbers are RLTP-TRU (trust-layer.md).\n//\n// Choices this file makes where the note leaves them open:\n//   - contacts are listed in entry-commit order (2120); entries without a\n//     position (2060) follow, by id. A contact is found by its entry id or\n//     by any of its aliases (2140)\n//   - provenance and via come from the contact's oldest relationship (by\n//     its provenance time, then id): how the person came, not how often\n//   - tuples belong to the entry their entryId names (2145): an entry's\n//     tuples are those whose entryId is its id or one of its aliases, over\n//     its own relationships and any relationship that stands behind two\n//     entries. Its heads are the active-head tuples among them of live\n//     relationships (not chained into another), not deactivated; under\n//     2146 the appended tuple's entry takes the chain's active head\n//   - verification is the edge of Encounter 4.2 over all of the entry's\n//     tuples, deactivated and older ones included (historical evidence;\n//     one edge per relationship, carried along its chain): `outgoing` an\n//     own step credential was issued, `incoming` the counterparty's was\n//     accepted (5.6), `mutual` both, `met` neither — read from the\n//     enactment records of those tuples (encounter/ceremony.ts). An entry\n//     with no record at all (built without a ceremony: introduced, or a\n//     test state) reads the anchor mappings instead: `outgoing` one was\n//     issued (mappingOut), `incoming` one was verified (mappingIn)\n//   - displayName: the profile's name (6425), else the self-declared name\n//     on the counterparty card of the entry's newest record (Encounter\n//     6120: the app binds its own local name to the anchor)\n//   - trust.given is the anchor mapping class on (the Trust act, 2770);\n//     trust.received a verified anchor mapping from the contact, whose\n//     class has no default recipient (2760); trust.paused the pause of 5.4,\n//     star and blinded group star both `off` (2780); trust.pending: given,\n//     but not yet out on every head (no mapping issued on it, or its\n//     relationship lags (6595)), or a re-issue or class-on duty for the\n//     anchor mapping is open at a version this library handles (a duty of\n//     an unhandled version is opaque, note §2.1). Delivery of the documents is not part of\n//     it; deliveryStatus answers that\n//   - classes give the setting and whether the class is on toward the\n//     contact (2760, 2840); the sealed group star also per group (2830):\n//     every group of the holder and every group the contact holds a\n//     per-group setting for, by id, with the setting (`default` where none\n//     is held) and whether it is on for (group, contact) — the per-group\n//     setting first, else the class (trust/group-star.ts sealedOn)\n//   - sharedGroups: the union of the groups the last accepted group star\n//     on each of the entry's heads hit (5520, trust/group-star.ts), lagging\n//     heads included (the group star travels on them, 6595); undefined\n//     where no head ever accepted one\n//   - a contact's profile (6425): among the verified profile@1 bodies\n//     (6b.2) on its heads whose relationship does not lag (6461, 6595),\n//     the highest revision, among equal ones the one verified last\n//     (highest verifiedSeq); displayName is that profile's name\n//   - deliveryStatus(x) lists the outbox items whose digest or threadId is\n//     x, by first submission, then digest; an unknown x lists none\n//   - relationships: the entry's own (relIds), in that order; chainedFrom\n//     the husks chained into each (chainedInto), by id\n//   - a contact without a relationship breaks an invariant and throws\nimport { freezeDeep } from './util-freeze.js'\nimport type { Json } from './core.js'\nimport { triasOf } from './state.js'\nimport { CLASSES, activeTuple, classOn, findContact, lags, trusted as isTrusted } from './trust/state.js'\nimport { sealedOn } from './trust/group-star.js'\nimport { classOfDuty } from './trust/duties.js'\nimport type {\n  EnactmentRecord,\n  Contact, Dec, HolderState, Millis, OutboxItem, OutboxStatus, PromptKind, Relationship, Setting, TrustClass, Tuple,\n} from './state.js'\nimport type { DeliveryFailure, PreTransportReason, ReceiverRefusalCode } from './ports.js'\n\n/** One trust class toward one contact: its setting (2810) and whether it is on (2760). */\nexport interface ClassView { setting: Setting, on: boolean }\n\n/** The sealed group star toward one contact: the class, and per group\n *  (2830) the per-group setting and whether it is on for (group, contact). */\nexport interface SealedClassView extends ClassView { groups: Record<string, ClassView> }\n\n/** Every class toward one contact (2720), the sealed group star per group too. */\nexport type ClassesView = Record<Exclude<TrustClass, 'sealedGroupStar'>, ClassView> & { sealedGroupStar: SealedClassView }\n\n/** A contact's verified profile (6b.2): string fields only. */\nexport interface ContactProfileView { revision: Dec, name?: string, image?: string, text?: string }\n\n/** One contact, i.e. one entry of the deliverable set (2120, 2140). */\nexport interface ContactView {\n  /** the commitSeq of the state this view was read from */\n  commitSeq: Dec\n  /** the entry id: stable across aliases (2140) and chains (6a.4) */\n  id: string\n  /** identities merged into this entry (2140) and the fresh contacts its\n   *  chains took in (6a.4); contact(alias) finds it too */\n  aliases: string[]\n  /** its relationships (Contact.relIds), each with the number of tuples\n   *  its chain holds (one per enactment that continued it, 6.4) and the\n   *  fresh relationships chained into it (6a.4); a relationship that\n   *  stands behind two entries (2145) is listed under both */\n  relationships: RelationshipView[]\n  /** the verified profile's name (6425); the ceremony card's name enters\n   *  the state only when Encounter graduates (PR 7), so without a profile\n   *  it is undefined */\n  displayName?: string\n  provenance: 'ceremony' | 'introduced'\n  /** the introducer, for an introduced contact */\n  via?: string\n  verification: 'mutual' | 'outgoing' | 'incoming' | 'met'\n  trust: { given: boolean, received: boolean, paused: boolean, pending: boolean }\n  classes: ClassesView\n  /** groups shared with the contact: the groups of the holder whose\n   *  digest hit in the contact's last completed group star (5520), over\n   *  its heads, sorted. A hit is the contact's claim (5.2, no veracity).\n   *  Undefined while no group star was ever accepted on a head, never a\n   *  claimed empty list. */\n  sharedGroups?: string[]\n  profile?: ContactProfileView\n}\n\n/** One relationship of a contact, as its chain stands. */\nexport interface RelationshipView { id: string, tuples: number, chainedFrom: string[] }\n\n/** One group the holder is a member of. */\nexport interface GroupView {\n  commitSeq: Dec\n  /** genesis digest */\n  id: string\n  /** the group's name, as its genesis names it */\n  name: string\n  /** listed in the blinded group star (5.2b per-group switch) */\n  listed: boolean\n  vouchThreshold: Dec\n  /** the members this holder knows of, by member anchor (its roster);\n   *  `self` marks the own one, `contactId` a member it knows as a contact */\n  members: Array<{ anchor: string, name?: string, contactId?: string, self: boolean }>\n  /** consent pairs held toward an admission (Membership 3.4), by subject */\n  pending: Array<{ member: string, name?: string, vouches: number }>\n}\n\n/** The holder's own profile (6450). */\nexport interface ProfileView { commitSeq: Dec, revision: Dec, name?: string, image?: string, text?: string }\n\n/** One open decision of the human. */\nexport interface PromptView {\n  commitSeq: Dec\n  id: string\n  kind: PromptKind\n  contactId?: string\n  groupId?: string\n  openedAt: Millis\n  expiresAt?: Millis\n}\n\n/** One issued document's sender status (Delivery §6.1). */\nexport interface DeliveryItemView {\n  digest: string\n  type: string\n  threadId: string\n  contactId: string\n  /** the trias position */\n  status: OutboxStatus\n  /** the adapter holds the item before the trias (last step awaiting-transport) */\n  awaiting?: PreTransportReason\n  /** for delivered: after a failure (the holder's own give-up included) */\n  late?: boolean\n  /** for failed */\n  reason?: DeliveryFailure\n  code?: ReceiverRefusalCode\n  attempt: number\n  submittedAt: Millis\n  updatedAt: Millis\n  nextAttemptAt?: Millis\n}\n\nexport interface DeliveryStatusView { commitSeq: Dec, items: DeliveryItemView[] }\n\n// ── helpers ────────────────────────────────────────────────────────────\n\nconst cmp = (a: string, b: string): number => (a < b ? -1 : a > b ? 1 : 0)\nconst cmpDec = (a: Dec, b: Dec): number => { const x = BigInt(a), y = BigInt(b); return x < y ? -1 : x > y ? 1 : 0 }\nconst isObj = (x: unknown): x is Record<string, Json> => x !== null && typeof x === 'object' && !Array.isArray(x)\n\n/** The string fields of a profile body that a view shows. */\nconst profileFields = (body: Json | null): { name?: string, image?: string, text?: string } => {\n  const out: { name?: string, image?: string, text?: string } = {}\n  if (!isObj(body)) return out\n  for (const k of ['name', 'image', 'text'] as const) if (typeof body[k] === 'string') out[k] = body[k] as string\n  return out\n}\n\n/** own pair label → its enactment record (encounter.records) */\ntype RecordIndex = Map<string, EnactmentRecord>\n\nconst recordIndex = (state: Readonly<HolderState>): RecordIndex => {\n  const ix: RecordIndex = new Map()\n  for (const r of Object.values(state.encounter.records)) ix.set(r.label, r)\n  return ix\n}\n\n/** entry id → the relationships holding a tuple of that entry (2145) */\ntype EntryIndex = Map<string, Set<string>>\n\nconst entryIndex = (state: Readonly<HolderState>): EntryIndex => {\n  const ix: EntryIndex = new Map()\n  for (const r of Object.values(state.relationships)) {\n    for (const t of r.tuples) {\n      let s = ix.get(t.entryId)\n      if (!s) ix.set(t.entryId, (s = new Set()))\n      s.add(r.id)\n    }\n  }\n  return ix\n}\n\n/** The contact's own relationships, then those holding a tuple of its entry. */\nconst relationshipsOf = (state: Readonly<HolderState>, c: Readonly<Contact>, ids: ReadonlySet<string>, ix: EntryIndex): { own: Relationship[], all: Relationship[] } => {\n  const own = c.relIds.filter((id) => Object.hasOwn(state.relationships, id)).map((id) => state.relationships[id])\n  if (!own.length) throw new Error(`views: contact ${c.id} has no relationship`)\n  const seen = new Set(own.map((r) => r.id))\n  const all = [...own]\n  for (const id of ids) {\n    for (const rid of ix.get(id) ?? []) {\n      if (!seen.has(rid)) { seen.add(rid); all.push(state.relationships[rid]) }\n    }\n  }\n  return { own, all }\n}\n\nconst project = (state: Readonly<HolderState>, c: Readonly<Contact>, ix: EntryIndex, rix: RecordIndex): ContactView => {\n  const ids = new Set([c.id, ...c.aliases])\n  const { own, all: rels } = relationshipsOf(state, c, ids, ix)\n  const mine = (t: Tuple): boolean => ids.has(t.entryId)\n  const tuples = rels.flatMap((r) => r.tuples.filter(mine))\n  const origin = [...own].sort((a, b) => (a.provenance.at - b.provenance.at) || cmp(a.id, b.id))[0]\n  const records = tuples.map((t) => rix.get(t.ownPairLabel)).filter((r): r is EnactmentRecord => r !== undefined)\n  const out = records.length ? records.some((r) => r.out !== null) : tuples.some((t) => t.mappingOut.body !== null)\n  const inn = records.length ? records.some((r) => r.in !== null) : tuples.some((t) => t.mappingIn.body !== null)\n  const newest = [...records].sort((a, b) => b.at - a.at)[0]\n  const introduced = own.map((r) => r.memory.introducedName).find((n): n is string => typeof n === 'string')\n  const cardName = typeof (newest?.card as { name?: unknown } | undefined)?.name === 'string' ? (newest.card as { name: string }).name : introduced\n  const trusted = isTrusted(c)\n  const classes = {} as Record<TrustClass, ClassView>\n  for (const cls of CLASSES) classes[cls] = { setting: c.settings[cls], on: classOn(cls, c.settings[cls], trusted) }\n  const groups: Record<string, ClassView> = {}\n  for (const g of [...new Set([...Object.keys(state.groups), ...Object.keys(c.groupSettings)])].sort(cmp)) {\n    groups[g] = { setting: Object.hasOwn(c.groupSettings, g) ? c.groupSettings[g] : 'default', on: sealedOn(c, g) }\n  }\n  const heads: Array<{ r: Relationship, t: Tuple, lagging: boolean }> = []\n  for (const r of rels) {\n    if (r.chainedInto !== null) continue\n    const t = activeTuple(r)\n    if (t && !t.deactivated && mine(t)) heads.push({ r, t, lagging: lags(r, rels) })\n  }\n  // a class-on or re-issue of the anchor mapping, at a version this library\n  // handles (classOfDuty: an unhandled version is opaque and owes nothing here)\n  const owed = Object.values(state.duties).some((d) =>\n    classOfDuty(d) === 'anchorMapping' && (d as { contactId?: unknown }).contactId === c.id)\n  const pending = trusted && (owed || heads.some((h) => h.t.mappingOut.body === null || h.lagging))\n  let best: Tuple | undefined\n  for (const { t, lagging } of heads) {\n    if (lagging || t.profileIn.body === null) continue\n    if (!best || cmpDec(t.profileIn.rev, best.profileIn.rev) > 0 ||\n      (cmpDec(t.profileIn.rev, best.profileIn.rev) === 0 && cmpDec(t.profileIn.verifiedSeq, best.profileIn.verifiedSeq) > 0)) best = t\n  }\n  const profile = best ? { revision: best.profileIn.rev, ...profileFields(best.profileIn.body) } : undefined\n  const received = heads.map((h) => h.t.groupStarIn.accepted).filter((a) => a !== null)\n  const sharedGroups = received.length ? [...new Set(received.flatMap((a) => a.groups))].sort(cmp) : undefined\n  return {\n    commitSeq: state.commitSeq,\n    id: c.id,\n    aliases: [...c.aliases],\n    relationships: own.map((r) => ({\n      id: r.id, tuples: r.tuples.length,\n      chainedFrom: Object.values(state.relationships).filter((x) => x.chainedInto === r.id).map((x) => x.id).sort(cmp),\n    })),\n    ...(profile?.name !== undefined ? { displayName: profile.name } : cardName !== undefined ? { displayName: cardName } : {}),\n    provenance: origin.provenance.kind,\n    ...(origin.provenance.kind === 'introduced' && origin.provenance.via !== undefined ? { via: origin.provenance.via } : {}),\n    verification: out && inn ? 'mutual' : out ? 'outgoing' : inn ? 'incoming' : 'met',\n    trust: {\n      given: trusted,\n      received: tuples.some((t) => t.mappingIn.body !== null),\n      paused: c.settings.star === 'off' && c.settings.groupStar === 'off',\n      pending,\n    },\n    classes: { ...classes, sealedGroupStar: { ...classes.sealedGroupStar, groups } } as ClassesView,\n    ...(sharedGroups ? { sharedGroups } : {}),\n    ...(profile ? { profile } : {}),\n  }\n}\n\nconst itemView = (digest: string, it: Readonly<OutboxItem>): DeliveryItemView => {\n  const status = triasOf(it)\n  const last = it.history[it.history.length - 1]\n  let decisive: OutboxItem['history'][number] | undefined\n  for (let i = it.history.length - 1; i >= 0 && !decisive; i--) if (it.history[i].status !== 'awaiting-transport') decisive = it.history[i]\n  const v: DeliveryItemView = {\n    digest, type: it.type, threadId: it.threadId, contactId: it.recipient.contactId, status,\n    attempt: it.attempt, submittedAt: it.history[0]?.at ?? 0, updatedAt: last?.at ?? 0,\n  }\n  if (last?.status === 'awaiting-transport') v.awaiting = last.reason\n  if (decisive?.status === 'delivered') v.late = decisive.late\n  if (decisive?.status === 'failed') {\n    v.reason = decisive.reason\n    if (decisive.reason === 'rejected-by-receiver') v.code = decisive.code\n  }\n  if (it.nextAttemptAt !== undefined) v.nextAttemptAt = it.nextAttemptAt\n  return v\n}\n\n// ── the views ──────────────────────────────────────────────────────────\n\n/** Every contact, in entry-commit order (2120), then by id. */\nexport function contactsView (state: Readonly<HolderState>): ContactView[] {\n  const order = Object.values(state.contacts).sort((a, b) => {\n    if (a.pos !== null && b.pos !== null) return cmpDec(a.pos, b.pos) || cmp(a.id, b.id)\n    if (a.pos !== null) return -1\n    if (b.pos !== null) return 1\n    return cmp(a.id, b.id)\n  })\n  const ix = entryIndex(state)\n  const rix = recordIndex(state)\n  return freezeDeep(order.map((c) => project(state, c, ix, rix)))\n}\n\n/** One contact by entry id or alias; undefined if there is none. */\nexport function contactView (state: Readonly<HolderState>, id: string): ContactView | undefined {\n  const c = findContact(state, id)\n  return c ? freezeDeep(project(state, c, entryIndex(state), recordIndex(state))) : undefined\n}\n\n/** The holder's groups, by genesis digest. */\nexport function groupsView (state: Readonly<HolderState>): GroupView[] {\n  return freezeDeep(Object.values(state.groups).sort((a, b) => cmp(a.id, b.id)).map((g) => ({\n    commitSeq: state.commitSeq, id: g.id, name: g.name, listed: g.listed, vouchThreshold: g.rules.vouchThreshold,\n    members: Object.values(g.roster).sort((a, b) => cmp(a.anchor, b.anchor)).map((m) => ({\n      anchor: m.anchor, ...(m.name !== undefined ? { name: m.name } : {}), ...(m.contactId !== undefined ? { contactId: m.contactId } : {}), self: m.anchor === g.memberAnchor,\n    })),\n    pending: Object.values(g.evidence).map((e) => {\n      const acc = (e.accept as { payload?: { accept?: { subject?: string, card?: { name?: string } } } }).payload?.accept\n      return { member: acc?.subject ?? '', ...(typeof acc?.card?.name === 'string' ? { name: acc.card.name } : {}), vouches: e.vouches.length }\n    }).sort((a, b) => cmp(a.member, b.member)),\n  })))\n}\n\n/** The holder's own profile. */\nexport function profileView (state: Readonly<HolderState>): ProfileView {\n  return freezeDeep({ commitSeq: state.commitSeq, revision: state.profile.revision, ...profileFields(state.profile.body) })\n}\n\n/** The open prompts, by opening time, then id. Expired prompts stay\n *  listed until tick removes them; deciding one is refused. */\nexport function promptsView (state: Readonly<HolderState>): PromptView[] {\n  return freezeDeep(Object.values(state.prompts).sort((a, b) => (a.openedAt - b.openedAt) || cmp(a.id, b.id)).map((p) => ({\n    commitSeq: state.commitSeq, id: p.id, kind: p.kind,\n    ...(p.contactId !== undefined ? { contactId: p.contactId } : {}),\n    ...(p.groupId !== undefined ? { groupId: p.groupId } : {}),\n    openedAt: p.openedAt,\n    ...(p.expiresAt !== undefined ? { expiresAt: p.expiresAt } : {}),\n  })))\n}\n\n/** The sender status of the documents whose digest or threadId is `x`. */\nexport function deliveryStatusView (state: Readonly<HolderState>, x: string): DeliveryStatusView {\n  const items = Object.entries(state.outbox)\n    .filter(([digest, it]) => digest === x || it.threadId === x)\n    .map(([digest, it]) => itemView(digest, it))\n    .sort((a, b) => (a.submittedAt - b.submittedAt) || cmp(a.digest, b.digest))\n  return freezeDeep({ commitSeq: state.commitSeq, items })\n}\n"]}

package/dist/visibility.d.ts

@@ -1,6 +1,6 @@
-export type { Person } from './probe/deps.js';
-export { COMMUNITY_GENESIS } from './probe/deps.js';
-export * as trust from './probe/trust.js';
-export * as continuity from './probe/continuity.js';
-export * as acks from './probe/acks.js';
+export * from './anchor.js';
+export * from './star.js';
+export * from './group-star.js';
+export * from './continuity.js';
+export * from './ack.js';
 //# sourceMappingURL=visibility.d.ts.map

package/dist/visibility.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"visibility.d.ts","sourceRoot":"","sources":["../src/visibility.ts"],"names":[],"mappings":"AA2BA,YAAY,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAA;AACzC,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA"}
+{"version":3,"file":"visibility.d.ts","sourceRoot":"","sources":["../src/visibility.ts"],"names":[],"mappings":"AAmBA,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,iBAAiB,CAAA;AAC/B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,CAAA"}

package/dist/visibility.js

@@ -1,31 +1,25 @@
-// @real-life/trust-protocol — visibility: the GRADUATED Network
-// Visibility layer.
+// @real-life/trust-protocol — visibility: the Trust Layer's wire forms
+// (Trust Layer 0.31 with Identity 0.54 §5.4, on Delivery 0.81), pure
+// builders and verifiers, no state. Byte-compatible with
+// vectors/visibility.json, vectors/anchor-rotation.json,
+// vectors/group-star.json and vectors/delivery-ack.json.
 //
-// Graduated 04.09.2026 after a 39-round adversarial conformance loop
-// (design/probe-nachzug-konvergenz-2026-09.md): these modules implement
-// the NORMATIVE wire forms of Network Visibility 0.29 carried by the
-// Delivery Contract 0.79 —
+//   anchor       self-card@2, anchor-rotation@2 with the pre-rotation
+//                binding, the lineage (§6.5), anchor-mapping@4 (§6.1/§6.3,
+//                conditions 4a and 4b, condition 8 for a changed self)
+//   star         star@2 chunks (5.2, 5.2a): the key, blinding, chunking
+//   group-star   group-star@1 (§5.2b): keys, the sealed group-pair@1,
+//                build, assemble, open; entropy from the caller
+//   continuity   §6a: continuity-probe@1 chunks, continuity-mapping@1
+//                (both MACs), the record side
+//   ack          delivery-ack/0.1 in both classes (Delivery 4.2): the
+//                channel ack key, the MAC form, the signed form
 //
-//   trust        the explicit trust act (anchor-mapping@2 · grade-
-//                declaration@1), the blinded star (star@1 with 5.2a
-//                chunks), the admission layer (Section 2), the 5.4
-//                reconciliation automaton, issuance discipline
-//   continuity   §6a: continuity-probe@1 / continuity-mapping@1 — the
-//                re-recognition of a relationship after a fresh
-//                enactment; chains instead of duplicates
-//   acks         the deniable delivery-ack/0.1 under the channel ack
-//                key (Delivery 4.2 class rule)
-//
-// Wire forms and keys are byte-compatible with vectors/visibility.json
-// and vectors/delivery-ack.json. The modules operate on the probe WORLD
-// (a `Person` holding contexts, contacts, groups — DOM-free and storage-
-// free); the host decides where bytes live.
-//
-// Not in this module: transport adapters and their policies, storage,
-// the Encounter layer's ceremony flows (graduated separately as
-// `ceremony` on 05.09.2026).
-export { COMMUNITY_GENESIS } from './probe/deps.js';
-export * as trust from './probe/trust.js';
-export * as continuity from './probe/continuity.js';
-export * as acks from './probe/acks.js';
+// The stateful acts (the trust act, the reconciled star, the admission
+// layer, the chaining) are the holder's (createHolder).
+export * from './anchor.js';
+export * from './star.js';
+export * from './group-star.js';
+export * from './continuity.js';
+export * from './ack.js';
 //# sourceMappingURL=visibility.js.map

package/dist/visibility.js.map

@@ -1 +1 @@
-{"version":3,"file":"visibility.js","sourceRoot":"","sources":["../src/visibility.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,oBAAoB;AACpB,EAAE;AACF,qEAAqE;AACrE,wEAAwE;AACxE,qEAAqE;AACrE,2BAA2B;AAC3B,EAAE;AACF,mEAAmE;AACnE,oEAAoE;AACpE,mEAAmE;AACnE,+DAA+D;AAC/D,sEAAsE;AACtE,gEAAgE;AAChE,yDAAyD;AACzD,qEAAqE;AACrE,+CAA+C;AAC/C,EAAE;AACF,uEAAuE;AACvE,wEAAwE;AACxE,yEAAyE;AACzE,4CAA4C;AAC5C,EAAE;AACF,sEAAsE;AACtE,gEAAgE;AAChE,6BAA6B;AAG7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAA;AACzC,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA","sourcesContent":["// @real-life/trust-protocol — visibility: the GRADUATED Network\n// Visibility layer.\n//\n// Graduated 04.09.2026 after a 39-round adversarial conformance loop\n// (design/probe-nachzug-konvergenz-2026-09.md): these modules implement\n// the NORMATIVE wire forms of Network Visibility 0.29 carried by the\n// Delivery Contract 0.79 —\n//\n//   trust        the explicit trust act (anchor-mapping@2 · grade-\n//                declaration@1), the blinded star (star@1 with 5.2a\n//                chunks), the admission layer (Section 2), the 5.4\n//                reconciliation automaton, issuance discipline\n//   continuity   §6a: continuity-probe@1 / continuity-mapping@1 — the\n//                re-recognition of a relationship after a fresh\n//                enactment; chains instead of duplicates\n//   acks         the deniable delivery-ack/0.1 under the channel ack\n//                key (Delivery 4.2 class rule)\n//\n// Wire forms and keys are byte-compatible with vectors/visibility.json\n// and vectors/delivery-ack.json. The modules operate on the probe WORLD\n// (a `Person` holding contexts, contacts, groups — DOM-free and storage-\n// free); the host decides where bytes live.\n//\n// Not in this module: transport adapters and their policies, storage,\n// the Encounter layer's ceremony flows (graduated separately as\n// `ceremony` on 05.09.2026).\n\nexport type { Person } from './probe/deps.js'\nexport { COMMUNITY_GENESIS } from './probe/deps.js'\nexport * as trust from './probe/trust.js'\nexport * as continuity from './probe/continuity.js'\nexport * as acks from './probe/acks.js'\n"]}
+{"version":3,"file":"visibility.js","sourceRoot":"","sources":["../src/visibility.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,qEAAqE;AACrE,yDAAyD;AACzD,yDAAyD;AACzD,yDAAyD;AACzD,EAAE;AACF,sEAAsE;AACtE,2EAA2E;AAC3E,uEAAuE;AACvE,wEAAwE;AACxE,sEAAsE;AACtE,gEAAgE;AAChE,sEAAsE;AACtE,8CAA8C;AAC9C,sEAAsE;AACtE,gEAAgE;AAChE,EAAE;AACF,uEAAuE;AACvE,wDAAwD;AACxD,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,iBAAiB,CAAA;AAC/B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,CAAA","sourcesContent":["// @real-life/trust-protocol — visibility: the Trust Layer's wire forms\n// (Trust Layer 0.31 with Identity 0.54 §5.4, on Delivery 0.81), pure\n// builders and verifiers, no state. Byte-compatible with\n// vectors/visibility.json, vectors/anchor-rotation.json,\n// vectors/group-star.json and vectors/delivery-ack.json.\n//\n//   anchor       self-card@2, anchor-rotation@2 with the pre-rotation\n//                binding, the lineage (§6.5), anchor-mapping@4 (§6.1/§6.3,\n//                conditions 4a and 4b, condition 8 for a changed self)\n//   star         star@2 chunks (5.2, 5.2a): the key, blinding, chunking\n//   group-star   group-star@1 (§5.2b): keys, the sealed group-pair@1,\n//                build, assemble, open; entropy from the caller\n//   continuity   §6a: continuity-probe@1 chunks, continuity-mapping@1\n//                (both MACs), the record side\n//   ack          delivery-ack/0.1 in both classes (Delivery 4.2): the\n//                channel ack key, the MAC form, the signed form\n//\n// The stateful acts (the trust act, the reconciled star, the admission\n// layer, the chaining) are the holder's (createHolder).\nexport * from './anchor.js'\nexport * from './star.js'\nexport * from './group-star.js'\nexport * from './continuity.js'\nexport * from './ack.js'\n"]}