@affiant/core 0.1.0-alpha.0

package/dist/model/affidavit.js

@@ -0,0 +1,417 @@
+/**
+ * The Affidavit: the sworn evidence record for one proposed write, its fields, the
+ * three confidence numbers, and the mapping to and from the wire shape.
+ *
+ * **Rules served: AF-1** (`fields[]` carries only the proposed fields; unknown
+ * provenance is present and tagged `Empty`, a field the operation does not propose
+ * is absent), **AF-2** (three confidence numbers, `aggregateConfidence` the
+ * *minimum* over proposed fields with `Empty` counting as `0`), **AF-3**
+ * (`entityId` non-null ⇔ update; an update carries a `previousValue` key on every
+ * proposed field, `null` where the field had no stored value), **SR-2** (money is a
+ * decimal string plus an ISO 4217 code — the shape only; the validator is pull
+ * request C3).
+ *
+ * Why AF-2 is a minimum and not a mean: a mean that first discards every `Empty`
+ * field lets a mostly-empty Affidavit report high confidence, which is the exact
+ * hole once provenance authorises writes. The shipped .NET projection computes a
+ * mean over non-`Empty` fields; the parity manifest names it.
+ *
+ * Nothing here reads a clock or a database. `createdAt` is passed in and
+ * `previousValue` comes from the host's projection port.
+ *
+ * @packageDocumentation
+ */
+import { PROTOCOL_VERSION } from "@affiant/contract";
+import { chainOf, emptyTag, mintTag, } from "./provenance.js";
+/**
+ * Whether `value` is a {@link JsonValue}: no `undefined`, no function, no symbol, no
+ * `NaN` or infinity, no cycle.
+ *
+ * Checked deeply, because a field value is carried onto a record a person is asked
+ * to swear to and later hashed into a canonical form (SR-1); a value that
+ * serialises to something different from what the reviewer saw is the failure mode
+ * this closes.
+ */
+export function isJsonValue(value) {
+    return isJsonValueWithin(value, new WeakSet());
+}
+function isJsonValueWithin(value, seen) {
+    if (value === null)
+        return true;
+    switch (typeof value) {
+        case "string":
+        case "boolean":
+            return true;
+        case "number":
+            return Number.isFinite(value);
+        case "object":
+            break;
+        default:
+            return false;
+    }
+    const object = value;
+    if (seen.has(object))
+        return false;
+    seen.add(object);
+    try {
+        if (Array.isArray(object)) {
+            return object.every((element) => isJsonValueWithin(element, seen));
+        }
+        if (Object.getPrototypeOf(object) !== Object.prototype &&
+            Object.getPrototypeOf(object) !== null) {
+            return false;
+        }
+        return Object.values(object).every((element) => isJsonValueWithin(element, seen));
+    }
+    finally {
+        seen.delete(object);
+    }
+}
+/**
+ * {@link isJsonValue} as an assertion, for a boundary that must not carry the value
+ * through.
+ *
+ * The wire types already say a field value is a {@link JsonValue}; a value that
+ * arrived over a network makes that a claim rather than a fact, and this is the
+ * boundary where the claim is checked.
+ */
+function asJsonValue(value, where) {
+    if (!isJsonValue(value)) {
+        throw new RangeError(`${where} is not a JSON value`);
+    }
+    return value;
+}
+// ---------------------------------------------------------------------------
+// Money (SR-2)
+// ---------------------------------------------------------------------------
+/**
+ * Money is one definition, and it lives in `./money.ts` — the SR-2 module, which
+ * owns the {@link Money} shape, the decimal-string and ISO 4217 validators, and the
+ * scale check a host declares. Re-exported here because an Affidavit is where a
+ * caller meets a monetary field, and because the export path `@affiant/core` offers
+ * should not depend on which pull request wrote which half.
+ *
+ * Note that `isMoney` **validates**: it is `false` for `{ amount: "1e3" }` and for
+ * `{ currency: "usd" }`, not only for a missing property. A shape-only guard on a
+ * public surface would answer "yes, money" for values SR-2 refuses, which is the
+ * wrong answer to give a host that is about to swear to one.
+ */
+export { isMoney } from "./money.js";
+/** Every {@link AffidavitFieldKind}. */
+export const AFFIDAVIT_FIELD_KINDS = [
+    "text",
+    "number",
+    "date",
+    "enum",
+];
+/**
+ * The three confidence numbers over `fields` (AF-2).
+ *
+ * - `aggregateConfidence` is the **minimum** over every proposed field, with an
+ *   `Empty` field counting as `0` whatever its tag says — so it is `0` exactly when
+ *   some proposed field has unknown provenance.
+ * - `populatedConfidence` is the minimum over the non-`Empty` fields, and **`null`**
+ *   when there are none. `null` rather than `0`: "there is nothing populated to be
+ *   confident about" is a different statement from "the populated fields are
+ *   worthless", and a card that showed `0` would say the second.
+ * - `emptyFieldCount` counts the `Empty` fields.
+ *
+ * An Affidavit with no fields at all reports `0`, `null`, `0`. It has nothing to
+ * swear to, and the substance gate refuses it before it is ever filed (GT-3).
+ *
+ * Neither the protocol nor this package defines a threshold on any of the three.
+ */
+export function computeConfidence(fields) {
+    let aggregate = null;
+    let populated = null;
+    let emptyFieldCount = 0;
+    for (const field of fields) {
+        const tag = field.provenance.current;
+        const contribution = tag.source === "Empty" ? 0 : tag.confidence;
+        aggregate = aggregate === null ? contribution : Math.min(aggregate, contribution);
+        if (tag.source === "Empty") {
+            emptyFieldCount += 1;
+        }
+        else {
+            populated = populated === null ? tag.confidence : Math.min(populated, tag.confidence);
+        }
+    }
+    return {
+        aggregateConfidence: aggregate ?? 0,
+        populatedConfidence: populated,
+        emptyFieldCount,
+    };
+}
+/**
+ * Build an Affidavit for `op` from `fields`, enforcing AF-1 and AF-3 and computing
+ * the three numbers (AF-2).
+ *
+ * **AF-1.** `op.fields` is the authority on what is proposed, and the field list
+ * must cover it exactly. A field the operation does not propose is a `RangeError`
+ * rather than a silently `Empty`-tagged row (that is the "absent, never
+ * `Empty`-tagged" half of the rule, made unfakeable); a proposed field with no
+ * entry is also a `RangeError`, because the way to say "proposed, provenance
+ * unknown" is to pass the field with no `provenance` and get an `Empty` tag.
+ *
+ * **AF-3.** `op.kind` and `op.entityId` must agree — an update names its entity, a
+ * create names none — and on an update every field must carry the `previousValue`
+ * key, holding `null` where the entity had no stored value. On a create every
+ * `previousValue` is `null`.
+ *
+ * @throws RangeError on any AF-1 or AF-3 violation, naming the field.
+ */
+export function buildAffidavit(op, fields, meta) {
+    // AF-3, the shape half. `Operation` is a discriminated union, so a type-checked
+    // caller cannot get here wrong; a JavaScript one can.
+    if (op.kind === "update" && (op.entityId === null || op.entityId === undefined)) {
+        throw new RangeError("AF-3: an update-shaped operation must name the entity it updates");
+    }
+    if (op.kind === "create" && op.entityId !== null) {
+        throw new RangeError("AF-3: a create-shaped operation has no entityId");
+    }
+    const proposed = new Set(op.fields);
+    const seen = new Set();
+    const built = fields.map((input) => {
+        if (!proposed.has(input.name)) {
+            throw new RangeError(`AF-1: field ${JSON.stringify(input.name)} is not proposed by the operation; ` +
+                `a field the operation does not propose is absent from the Affidavit, never Empty-tagged`);
+        }
+        if (seen.has(input.name)) {
+            throw new RangeError(`AF-1: field ${JSON.stringify(input.name)} is proposed twice`);
+        }
+        seen.add(input.name);
+        const carriesPreviousValue = Object.hasOwn(input, "previousValue");
+        if (op.kind === "update" && !carriesPreviousValue) {
+            throw new RangeError(`AF-3: update field ${JSON.stringify(input.name)} must carry a previousValue key; ` +
+                `pass null where the entity had no stored value`);
+        }
+        if (op.kind === "create" && carriesPreviousValue && input.previousValue !== null) {
+            throw new RangeError(`AF-3: create field ${JSON.stringify(input.name)} must have previousValue null`);
+        }
+        return {
+            name: input.name,
+            kind: input.kind,
+            value: input.value,
+            previousValue: op.kind === "create" ? null : (input.previousValue ?? null),
+            // AF-1: unknown provenance is a recorded absence, not a missing tag.
+            provenance: input.provenance ?? chainOf(emptyTag(meta.createdAt, "Provenance unknown")),
+            isMandatory: input.isMandatory,
+        };
+    });
+    for (const name of op.fields) {
+        if (!seen.has(name)) {
+            throw new RangeError(`AF-1: proposed field ${JSON.stringify(name)} has no entry; ` +
+                `a proposed field with unknown provenance is present and Empty-tagged, never omitted`);
+        }
+    }
+    return withConfidence({
+        protocolVersion: meta.protocolVersion ?? PROTOCOL_VERSION,
+        operationType: op.kind,
+        entityType: op.entityType,
+        entityId: op.entityId,
+        conversationTurn: meta.conversationTurn ?? null,
+        createdAt: meta.createdAt,
+    }, built);
+}
+/**
+ * Assemble an Affidavit from its parts with the three numbers computed over
+ * `fields` (AF-2, and AF-4 when the fields have been amended).
+ *
+ * Exported because the amendment path needs exactly this: same identity, same
+ * order, recomputed numbers.
+ */
+export function withConfidence(core, fields) {
+    const numbers = computeConfidence(fields);
+    return {
+        protocolVersion: core.protocolVersion,
+        operationType: core.operationType,
+        entityType: core.entityType,
+        entityId: core.entityId,
+        fields,
+        aggregateConfidence: numbers.aggregateConfidence,
+        populatedConfidence: numbers.populatedConfidence,
+        emptyFieldCount: numbers.emptyFieldCount,
+        conversationTurn: core.conversationTurn,
+        createdAt: core.createdAt,
+    };
+}
+/**
+ * Lift the {@link WireCarry} off a card envelope, so a round trip can put it back.
+ *
+ * The two optional slots come back as empty arrays rather than `undefined`: a
+ * caller reading them wants something to iterate, and `toWire`'s companion,
+ * {@link presentationToWire}, turns an empty one back into an omitted property.
+ */
+export function wireCarryOf(card) {
+    return {
+        warnings: card.warnings ?? [],
+        requiresConfirmation: card.requiresConfirmation,
+        presentation: card.presentation ?? [],
+        hostOperation: card.hostOperation ?? null,
+    };
+}
+/**
+ * The card envelope's three optional presentation slots as the wire spells them:
+ * **absent** when there is nothing to say, never `null`.
+ *
+ * Nothing swears to any of them, so a producer with nothing to say says nothing —
+ * the distinction the schemas draw between a value that is sometimes missing
+ * (spelled `null`) and a property that is meaningful only sometimes (spelled by its
+ * absence).
+ */
+export function presentationToWire(carry) {
+    return {
+        ...(carry.presentation.length > 0 ? { presentation: carry.presentation } : {}),
+        ...(carry.warnings.length > 0 ? { warnings: carry.warnings } : {}),
+        ...(carry.hostOperation === null ? {} : { hostOperation: carry.hostOperation }),
+    };
+}
+/**
+ * Read a wire Affidavit into the core model.
+ *
+ * **A payload from another protocol version is refused, never guessed at.** The
+ * `0.0.1-seed` shape the shipped .NET framework still sends is a different
+ * document — the host's verb where the shape belongs, one confidence number rather
+ * than three, the warnings and the confirmation flag on the record, the
+ * presentation on each field — and reading it as though it were this one would
+ * produce a record that swore to things nobody said. SR-4 puts the version on the
+ * envelope precisely so a consumer can tell: a differing **major** is refused, and
+ * so is an older minor whose shape this version does not describe. A newer minor is
+ * accepted, because a minor only adds.
+ *
+ * Two mappings are worth stating. **The operation shape is derived, not trusted:**
+ * `entityId === null` is a create and anything else is an update (AF-3), so a
+ * record whose `operationType` disagrees with its own `entityId` still lands on the
+ * right side of the rule. **A grade is carried, never raised:** a binding read off
+ * the wire is recorded as it arrived, and whether a tag may be relied on is PV-4's
+ * call, not the reader's.
+ *
+ * @throws RangeError if the payload names another protocol version, if a field
+ *         value is not a JSON value, or if the wire shape violates AF-1 or AF-3.
+ */
+export function fromWire(wire, stamp) {
+    assertReadableVersion(wire.protocolVersion);
+    const entityId = wire.entityId;
+    const names = wire.fields.map((field) => field.name);
+    const op = entityId === null
+        ? { kind: "create", entityType: wire.entityType, entityId: null, fields: names }
+        : { kind: "update", entityType: wire.entityType, entityId, fields: names };
+    const fields = wire.fields.map((field) => ({
+        name: field.name,
+        kind: field.kind,
+        value: asJsonValue(field.value, `field ${JSON.stringify(field.name)} value`),
+        previousValue: asJsonValue(field.previousValue, `field ${JSON.stringify(field.name)} previousValue`),
+        provenance: chainFromWire(field.provenance, stamp.at),
+        isMandatory: field.isMandatory,
+    }));
+    return buildAffidavit(op, fields, {
+        createdAt: stamp.at,
+        conversationTurn: stamp.conversationTurn ?? wire.conversationTurn ?? null,
+        // SR-4: the version the record arrived under, not this package's own. A newer
+        // minor is readable (a minor only adds), and rewriting it to `PROTOCOL_VERSION`
+        // would make `toWire(fromWire(x))` a different document from `x` — and, since
+        // SR-1's form is over the record as the schema defines it, a different hash.
+        protocolVersion: wire.protocolVersion,
+    });
+}
+/**
+ * Refuse a payload this version cannot read (SR-4).
+ *
+ * A differing major is a different protocol. An older minor is a shape this
+ * version does not describe — `0.0.1-seed` is the one that exists, and it is not a
+ * subset of v0.1 but a different document. A newer minor is accepted and not
+ * warned about here: a minor only adds, and the caller who wants to know can
+ * compare `PROTOCOL_VERSION` itself.
+ */
+function assertReadableVersion(version) {
+    // A payload with no version at all is the seed, which predates the property.
+    // Checked as data rather than trusted from the type: this is a boundary, and the
+    // type is a claim about what arrived rather than a fact.
+    if (typeof version === "string") {
+        const [major, minor] = version.split(".");
+        const [targetMajor, targetMinor] = PROTOCOL_VERSION.split(".");
+        if (major === targetMajor && Number(minor) >= Number(targetMinor))
+            return;
+    }
+    throw new RangeError(`SR-4: this package reads protocol ${PROTOCOL_VERSION} and was handed ` +
+        `${version === undefined ? "a payload carrying no protocolVersion at all" : JSON.stringify(version)}. ` +
+        `The 0.0.1-seed wire is a different document — the host's verb where the operation shape belongs, ` +
+        `one confidence number rather than three, the warnings and the presentation on the record rather ` +
+        `than on the card envelope — and is deliberately not converted: reading it as this shape would ` +
+        `produce a record that swore to things nobody said. Translate it at the host boundary instead; ` +
+        `its schemas are exported from @affiant/contract/schemas as seedSchemas.`);
+}
+function tagFromWire(tag, at) {
+    return mintTag({
+        source: tag.source,
+        confidence: tag.confidence,
+        note: tag.note,
+        at: tag.at ?? at,
+        conversationTurn: tag.conversationTurn,
+        // PV-5: a binding is carried exactly as it arrived. Nothing here raises a
+        // grade; whether an unbound tag above `Conversation` may be relied on is
+        // PV-4's call.
+        binding: tag.binding,
+    });
+}
+function chainFromWire(chain, at) {
+    return {
+        current: tagFromWire(chain.current, at),
+        prior: chain.prior.map((tag) => tagFromWire(tag, at)),
+    };
+}
+/**
+ * Write a core Affidavit back out in the wire shape.
+ *
+ * Everything on the wire record is the record: the operation's **shape** rather
+ * than the host's verb (AF-3), the three confidence numbers (AF-2), the version
+ * the envelope conforms to (SR-4), and each field's value, previous value and
+ * whole provenance chain. The presentation a surface needs goes on the card
+ * envelope instead — see {@link WireCarry}.
+ *
+ * `aggregateConfidence` is **the computed value** (AF-2). An implementation that
+ * wrote back whatever number it was handed would let a mean computed elsewhere
+ * travel under a name the rule defines as a minimum.
+ *
+ * `protocolVersion` is **the record's own** (SR-4), no longer stamped here. It used
+ * to be invented on the way out, which made the wire document and the runtime model
+ * two different records — the wire one carrying a property the model did not have —
+ * and SR-1's canonical form is over the record as the schema defines it, so the two
+ * hashed differently. The parameter is kept for a caller re-emitting a record under
+ * an explicit version, and defaults to the version the record carries.
+ */
+export function toWire(affidavit, protocolVersion = affidavit.protocolVersion) {
+    return {
+        protocolVersion,
+        operationType: affidavit.operationType,
+        entityType: affidavit.entityType,
+        entityId: affidavit.entityId,
+        fields: affidavit.fields.map((field) => ({
+            name: field.name,
+            kind: field.kind,
+            value: field.value,
+            previousValue: field.previousValue,
+            provenance: {
+                current: tagToWire(field.provenance.current),
+                prior: field.provenance.prior.map(tagToWire),
+            },
+            isMandatory: field.isMandatory,
+        })),
+        aggregateConfidence: affidavit.aggregateConfidence,
+        populatedConfidence: affidavit.populatedConfidence,
+        emptyFieldCount: affidavit.emptyFieldCount,
+        conversationTurn: affidavit.conversationTurn,
+        createdAt: affidavit.createdAt,
+    };
+}
+function tagToWire(tag) {
+    return {
+        source: tag.source,
+        confidence: tag.confidence,
+        note: tag.note,
+        at: tag.at,
+        conversationTurn: tag.conversationTurn,
+        binding: tag.binding ?? null,
+    };
+}
+//# sourceMappingURL=affidavit.js.map

package/dist/model/affidavit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"affidavit.js","sourceRoot":"","sources":["../../src/model/affidavit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAUH,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAIrD,OAAO,EACL,OAAO,EACP,QAAQ,EACR,OAAO,GAGR,MAAM,iBAAiB,CAAC;AAazB;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,OAAO,iBAAiB,CAAC,KAAK,EAAE,IAAI,OAAO,EAAU,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc,EAAE,IAAqB;IAC9D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,KAAK,QAAQ;YACX,MAAM;QACR;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,KAAe,CAAC;IAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,IACE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,SAAS;YAClD,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,IAAI,EACtC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAiC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CACxE,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CACjC,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa;IAChD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,sBAAsB,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAUrC,wCAAwC;AACxC,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,MAAM;IACN,QAAQ;IACR,MAAM;IACN,MAAM;CAC0C,CAAC;AA8FnD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAiC;IACjE,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;QACrC,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC;QACjE,SAAS,GAAG,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAClF,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC3B,eAAe,IAAI,CAAC,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IAED,OAAO;QACL,mBAAmB,EAAE,SAAS,IAAI,CAAC;QACnC,mBAAmB,EAAE,SAAS;QAC9B,eAAe;KAChB,CAAC;AACJ,CAAC;AAiDD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,cAAc,CAC5B,EAAa,EACb,MAAsC,EACtC,IAAmB;IAEnB,gFAAgF;IAChF,sDAAsD;IACtD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,QAAQ,KAAK,IAAI,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,UAAU,CAAC,kEAAkE,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACjD,MAAM,IAAI,UAAU,CAAC,iDAAiD,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAkB,EAAE;QACjD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,UAAU,CAClB,eAAe,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,qCAAqC;gBAC5E,yFAAyF,CAC5F,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,UAAU,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAErB,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACnE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAClD,MAAM,IAAI,UAAU,CAClB,sBAAsB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,mCAAmC;gBACjF,gDAAgD,CACnD,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,oBAAoB,IAAI,KAAK,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;YACjF,MAAM,IAAI,UAAU,CAClB,sBAAsB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAChF,CAAC;QACJ,CAAC;QAED,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,aAAa,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC;YAC1E,qEAAqE;YACrE,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;YACvF,WAAW,EAAE,KAAK,CAAC,WAAW;SAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAClB,wBAAwB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB;gBAC3D,qFAAqF,CACxF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CACnB;QACE,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,gBAAgB;QACzD,aAAa,EAAE,EAAE,CAAC,IAAI;QACtB,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,QAAQ,EAAE,EAAE,CAAC,QAAQ;QACrB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,IAAI,IAAI;QAC/C,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,EACD,KAAK,CACN,CAAC;AACJ,CAAC;AAQD;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAmB,EAAE,MAAiC;IACnF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO;QACL,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,MAAM;QACN,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;QACvC,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,CAAC;AACJ,CAAC;AAiDD;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,IAA6B;IACvD,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;QAC7B,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;QAC/C,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,EAAE;QACrC,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,IAAI;KAC1C,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAgB;IAKjD,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;KAChF,CAAC;AACJ,CAAC;AAcD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAmB,EAAE,KAAoB;IAChE,qBAAqB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE5C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAErD,MAAM,EAAE,GACN,QAAQ,KAAK,IAAI;QACf,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;QAChF,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAE/E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAuB,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC5E,aAAa,EAAE,WAAW,CACxB,KAAK,CAAC,aAAa,EACnB,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CACpD;QACD,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;QACrD,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAC,CAAC,CAAC;IAEJ,OAAO,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE;QAChC,SAAS,EAAE,KAAK,CAAC,EAAE;QACnB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI;QACzE,8EAA8E;QAC9E,gFAAgF;QAChF,8EAA8E;QAC9E,6EAA6E;QAC7E,eAAe,EAAE,IAAI,CAAC,eAAe;KACtC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,qBAAqB,CAAC,OAAe;IAC5C,6EAA6E;IAC7E,iFAAiF;IACjF,yDAAyD;IACzD,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/D,IAAI,KAAK,KAAK,WAAW,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC;YAAE,OAAO;IAC5E,CAAC;IACD,MAAM,IAAI,UAAU,CAClB,qCAAqC,gBAAgB,kBAAkB;QACrE,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI;QACvG,mGAAmG;QACnG,kGAAkG;QAClG,gGAAgG;QAChG,gGAAgG;QAChG,yEAAyE,CAC5E,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,GAAsB,EAAE,EAAU;IACrD,OAAO,OAAO,CAAC;QACb,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE;QAChB,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;QACtC,0EAA0E;QAC1E,yEAAyE;QACzE,eAAe;QACf,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,KAAuC,EAAE,EAAU;IACxE,OAAO;QACL,OAAO,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACvC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,MAAM,CACpB,SAAoB,EACpB,kBAA0B,SAAS,CAAC,eAAe;IAEnD,OAAO;QACL,eAAe;QACf,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAsB,EAAE,CAAC,CAAC;YAC3D,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,UAAU,EAAE;gBACV,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC5C,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;aAC7C;YACD,WAAW,EAAE,KAAK,CAAC,WAAW;SAC/B,CAAC,CAAC;QACH,mBAAmB,EAAE,SAAS,CAAC,mBAAmB;QAClD,mBAAmB,EAAE,SAAS,CAAC,mBAAmB;QAClD,eAAe,EAAE,SAAS,CAAC,eAAe;QAC1C,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;QAC5C,SAAS,EAAE,SAAS,CAAC,SAAS;KAC/B,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,GAAkB;IACnC,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;QACtC,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,IAAI;KAC7B,CAAC;AACJ,CAAC"}

package/dist/model/amendments.d.ts

@@ -0,0 +1,160 @@
+/**
+ * Amendments: what a reviewer's correction means, and what it does to the record.
+ *
+ * **Rules served: DK-2** (in an amendment map `null` means *cleared* and an absent
+ * key means *untouched*, and an implementation never conflates them), **AF-1** (a
+ * field with unknown provenance is present and tagged `Empty`; a field the operation
+ * does not propose is absent), **AF-2** (the three numbers, with `Empty` counting as
+ * `0`), **AF-4** (an accepted amendment recomputes the three confidence numbers, and
+ * the amended field's provenance is the reviewer's act — never the machine's
+ * pre-correction tag), **PV-2** (that act carries a `reviewer-act` binding naming
+ * the Docket decision it was made on).
+ *
+ * ## What clearing a field does to the numbers
+ *
+ * A cleared field has no value, so it cannot have confidence in one. Writing the
+ * reviewer's `UserStated`/`1.0` tag over an emptied field would make the three
+ * numbers *rise* as a reviewer wiped the Affidavit — clear every field and the record
+ * reports perfect confidence over nothing, which is the arithmetic hole AF-2 exists
+ * to close, arriving through the amendment path. So a clear is resolved against the
+ * field rather than pasted onto it:
+ *
+ * - **A mandatory field stays and is tagged `Empty`** (confidence `0`, AF-1). The
+ *   entity still requires it, so it is still proposed and still on the card — now
+ *   visibly with nothing behind it, counted in `emptyFieldCount` and dragging
+ *   `aggregateConfidence` to `0`.
+ * - **An optional field is removed from `fields[]`** (AF-1). A reviewer clearing an
+ *   optional field is saying "do not write this one", which is a field the write no
+ *   longer proposes, and AF-1 says a field the operation does not propose is absent
+ *   rather than present-and-`Empty`.
+ *
+ * Either way the reviewer's act is not lost: the `Empty` tag carries the same
+ * `reviewer-act` binding and the same note a set would (PV-2), and the machine's
+ * displaced tag stays in the chain behind it.
+ *
+ * Why DK-2 needs saying at all: `undefined` and `null` are one keystroke apart in
+ * JavaScript and `{ Status: undefined }` reads to a careless consumer as "clear
+ * Status", when it is in fact "say nothing about Status". Conflating them silently
+ * either wipes a field nobody asked to wipe or ignores a correction a person made
+ * on purpose. So this module resolves a map into {@link Amendment} values — `set`
+ * or `clear`, both explicit — and a field nobody amended is simply not in the
+ * resolved list. `undefined` under a key is refused, loudly.
+ *
+ * Why AF-4 needs saying: the shipped demo hosts return an amended Affidavit still
+ * carrying the machine's pre-correction confidence, so a card can show a corrected
+ * value under a number that was never about that value.
+ *
+ * @packageDocumentation
+ */
+import { type ProvenanceTag } from "./provenance.js";
+import { type Affidavit, type JsonValue } from "./affidavit.js";
+/**
+ * A reviewer's corrections, keyed by {@link AffidavitField.name}.
+ *
+ * `null` under a key clears the field; a key that is not present leaves the field
+ * untouched (DK-2). `undefined` under a key means nothing and is refused by
+ * {@link resolveAmendments}.
+ */
+export type AmendmentMap = {
+    readonly [fieldName: string]: JsonValue | null;
+};
+/**
+ * One resolved correction. DK-2's two meanings, made into two shapes so no reader
+ * has to decide what a value means: `clear` carries no value because there is no
+ * value, and `set` always carries one.
+ *
+ * "Untouched" has no shape here on purpose — it is the absence of an entry.
+ */
+export type Amendment = {
+    readonly kind: "set";
+    readonly value: JsonValue;
+} | {
+    readonly kind: "clear";
+};
+/** One field's correction, as {@link resolveAmendments} returns it. */
+export interface ResolvedAmendment {
+    /** The field being amended. */
+    readonly name: string;
+    /** What the reviewer did to it. */
+    readonly amendment: Amendment;
+}
+/** Whether `map` says anything at all about `fieldName` (DK-2). */
+export declare function hasAmendment(map: AmendmentMap, fieldName: string): boolean;
+/**
+ * Resolve `map` into explicit {@link Amendment} values, in the map's own key order.
+ *
+ * @throws RangeError if a key is present holding `undefined` — the one thing an
+ *         amendment map may not say, because it is indistinguishable at a glance
+ *         from both of DK-2's meanings and is neither.
+ */
+export declare function resolveAmendments(map: AmendmentMap): readonly ResolvedAmendment[];
+/**
+ * The decision a set of amendments was made on: which Docket entry, when, and by
+ * whom.
+ *
+ * `entryId` and `decisionAt` become the `reviewer-act` binding (PV-2) — the pointer
+ * an auditor follows years later to the decision that changed the value. `by` is
+ * the person, carried in the tag's note for the card; the authoritative record of
+ * who approved is the attestation on the Docket entry (AZ-1, pull request C6), not
+ * a string on a tag.
+ */
+export interface ReviewerAct {
+    /** The Docket entry the decision was made on. */
+    readonly entryId: string;
+    /** When the decision was made, as an ISO 8601 instant. */
+    readonly decisionAt: string;
+    /** Who made it, as the host identifies them. */
+    readonly by: string;
+}
+/**
+ * The provenance tag an accepted amendment puts in force on the field it names
+ * (PV-2, AF-2).
+ *
+ * One function so there is one answer. The canonical form (SR-1) is defined over
+ * "the Affidavit and its accepted amendments", and an implementation that minted a
+ * *nearly* identical tag on the serialization path would produce different bytes
+ * from the same decision — which is the one thing a canonical form exists to make
+ * impossible. `model/canonical.ts` calls this, and so does {@link applyAmendments}.
+ *
+ * A set mints `UserStated` at confidence `1`: a reviewer typing a value is the
+ * person stating it, and PV-3 makes that the one place the grade is legitimate. A
+ * clear mints `Empty` at confidence `0`: an emptied field has no value to be
+ * confident in, so a clearing can never raise a confidence number.
+ *
+ * Either way the binding is `reviewer-act`, naming the decision *and the instant*,
+ * so an auditor can follow a clearing as readily as a correction.
+ *
+ * @param amendment        What the reviewer did to the field.
+ * @param act              The decision it arrived on.
+ * @param conversationTurn The turn the Affidavit belongs to, carried onto the tag.
+ */
+export declare function amendmentTag(amendment: Amendment, act: ReviewerAct, conversationTurn: number | null): ProvenanceTag;
+/**
+ * Apply `map` to `affidavit` as `act`, returning a new Affidavit.
+ *
+ * What happens to a field the reviewer **set**: its value becomes the amended value,
+ * and a `UserStated` tag carrying a `reviewer-act` binding goes **on top of** its
+ * chain (PV-2, AF-4). On top rather than merged: a reviewer's correction is not a
+ * confidence contest it might lose to the machine's own tag, and the displaced tag
+ * stays in `prior` so the card can still show what the machine had proposed.
+ *
+ * What happens to a field the reviewer **cleared** (`null`, DK-2): a mandatory field
+ * keeps its place with value `null` under an `Empty` tag at confidence `0`, and an
+ * optional field leaves `fields[]` entirely. See the module note above for why the
+ * reviewer's `1.0` is not written over an emptied field.
+ *
+ * What happens to everything else: nothing. A field the map does not name keeps its
+ * value, its `previousValue` and its whole chain, byte for byte (DK-2). And
+ * `previousValue` never moves — it is what the entity holds now, which an
+ * amendment does not change.
+ *
+ * The three numbers are recomputed over the amended fields (AF-4).
+ *
+ * @throws RangeError if `map` names a field the Affidavit does not propose. Not an
+ *         {@link AffiantError}: the error-code registry names refusals the gate
+ *         makes at runtime about a proposal's substance or a decider's identity,
+ *         and this is a caller passing a field name that is not there — a
+ *         programming error, in the same class as an out-of-range index.
+ */
+export declare function applyAmendments(affidavit: Affidavit, map: AmendmentMap, act: ReviewerAct): Affidavit;
+//# sourceMappingURL=amendments.d.ts.map

package/dist/model/amendments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"amendments.d.ts","sourceRoot":"","sources":["../../src/model/amendments.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,EAAsB,KAAK,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEzE,OAAO,EAEL,KAAK,SAAS,EAEd,KAAK,SAAS,EACf,MAAM,gBAAgB,CAAC;AAExB;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAA;CAAE,CAAC;AAE9E;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAEnF,uEAAuE;AACvE,MAAM,WAAW,iBAAiB;IAChC,+BAA+B;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B;AAED,mEAAmE;AACnE,wBAAgB,YAAY,CAAC,GAAG,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAE1E;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,YAAY,GAAG,SAAS,iBAAiB,EAAE,CAiBjF;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gDAAgD;IAChD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,SAAS,EACpB,GAAG,EAAE,WAAW,EAChB,gBAAgB,EAAE,MAAM,GAAG,IAAI,GAC9B,aAAa,CAYf;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,SAAS,EACpB,GAAG,EAAE,YAAY,EACjB,GAAG,EAAE,WAAW,GACf,SAAS,CAoDX"}