@cello-protocol/protocol-types 0.0.54 → 0.0.55

package/dist/document-amendment.d.ts

@@ -14,7 +14,7 @@
  * Signed, chained to its predecessor, epoch-incrementing, and carrying `state_hash` — the
  * canonical-hash-at-boundary slot — as DEFINED-ABSENT (`null`) while the tier is `authenticated`.
  * Tier 2 fills the slot; it does not migrate the frame. Dropping the slot "because Tier 1 doesn't
- * use it" is the exact seam violation M14 forbade for `epoch_id`.
+ * use it" is the exact seam violation M14 forbade.
  *
  * ── WHO MUST SIGN IS INJECTED ─────────────────────────────────────────────────────────────────
  *
@@ -25,13 +25,23 @@
  * promotion.
  */
 import { type MultisigCollection } from "./document-multisig.js";
-/** Domain tag in slot 0 of the to-be-signed array. Sibling of the other CELLO-DOCUMENT-* tags. */
-export declare const DOCUMENT_AMENDMENT_DOMAIN = "CELLO-DOCUMENT-AMENDMENT-v1";
+/**
+ * Domain tag in slot 0 of the to-be-signed array. Sibling of the other CELLO-DOCUMENT-* tags.
+ * v2 (SYNC-P1): the preimage gained the causal fields — author, sequence, parents. A v1 frame is
+ * refused by the mandatory-field discipline below; no compatibility is owed (all holders upgrade
+ * together).
+ */
+export declare const DOCUMENT_AMENDMENT_DOMAIN = "CELLO-DOCUMENT-AMENDMENT-v3";
+/**
+ * Ceiling on an entry's parent list. The honest frontier is bounded by the holder cap (D5: 20);
+ * the ceiling exists so a hostile daemon cannot make every ancestry walk unbounded.
+ */
+export declare const MAX_ENTRY_PARENTS = 64;
 /** The `subject_kind` an amendment's multisig collection must carry. */
 export declare const AMENDMENT_SUBJECT_KIND = "document_amendment";
 /** D5 (ruled 2026-08-11): documents inherit the group-room cap. Enforced at amendment validation. */
 export declare const MAX_DOCUMENT_HOLDERS = 20;
-export declare const AMENDMENT_KINDS: readonly ["add_holder", "remove_holder", "promote_admin", "remove_admin", "change_property"];
+export declare const AMENDMENT_KINDS: readonly ["add_holder", "remove_holder", "promote_admin", "remove_admin", "change_property", "consent", "refuse_join", "close", "kill"];
 export type AmendmentKind = (typeof AMENDMENT_KINDS)[number];
 /**
  * Properties an amendment may change. Deliberately NARROW to start: the seam properties are owned
@@ -43,10 +53,6 @@ export type AmendmentKind = (typeof AMENDMENT_KINDS)[number];
 export declare const AMENDABLE_PROPERTIES: Set<string>;
 export interface DocumentAmendmentBody {
     document_id: string;
-    /** The epoch this amendment MINTS: previous epoch + 1. Genesis is epoch 0 and is not an amendment. */
-    epoch_id: number;
-    /** Hex hash of the predecessor amendment's TBS; null for the first (anchored to genesis via document_id). */
-    prev_amendment_hash: string | null;
     kind: AmendmentKind;
     /** The holder the amendment is about (pubkey hex). Null exactly for `change_property`. */
     subject_agent_id: string | null;
@@ -61,6 +67,17 @@ export interface DocumentAmendmentBody {
      */
     state_hash: Uint8Array | null;
     authored_at_ms: number;
+    /**
+     * SYNC-P1 — the causal fields. The accountable initiator (MUST appear in the collection's
+     * required set), their own-chain counter, and the frontier heads applied when authoring. For
+     * `author_seq > 1` the author's previous entry MUST be among the ancestors the parents reach —
+     * a direct parent is the common case, not the requirement. Signed: a forwarder cannot
+     * re-attribute, re-sequence, or re-parent without every signature failing (SYNC-R2).
+     */
+    author_agent_id: string;
+    author_seq: number;
+    /** Entry hashes (64-hex), CANONICAL: strictly ascending, no duplicates. Empty anchors to genesis. */
+    parents: readonly string[];
 }
 export interface DocumentAmendmentEnvelope {
     body: DocumentAmendmentBody;
@@ -91,6 +108,8 @@ export interface ArrangementGenesis {
 export interface Arrangement {
     epoch: number;
     participants: ReadonlySet<string>;
+    /** SYNC-P2: admitted-not-yet-answered (R22). Optional while the interim join surface lives. */
+    invited?: ReadonlySet<string>;
     admins: ReadonlySet<string>;
     /** The DERIVED view — genesis properties + applied change_property amendments. */
     properties: Record<string, string | number | boolean | undefined>;
@@ -111,18 +130,4 @@ export type SignerPolicy = (kind: AmendmentKind, subjectAgentId: string | null,
     ok: false;
     reason: string;
 };
-export type DeriveResult = {
-    ok: true;
-    arrangement: Arrangement;
-} | {
-    ok: false;
-    reason: string;
-    epoch: number;
-};
-/**
- * Replay: genesis + the ordered amendment chain → the current arrangement, or a loud refusal
- * naming the epoch and the cause. NEVER a partial arrangement — a holder that cannot derive the
- * whole chain has no arrangement, which is what makes "invalid everywhere" computable.
- */
-export declare function deriveArrangement(genesis: ArrangementGenesis, amendments: readonly DocumentAmendmentEnvelope[], policy: SignerPolicy, verify: (agentId: string, tbs: Uint8Array, signature: Uint8Array) => boolean): DeriveResult;
 //# sourceMappingURL=document-amendment.d.ts.map

package/dist/document-amendment.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"document-amendment.d.ts","sourceRoot":"","sources":["../src/document-amendment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,OAAO,EAIL,KAAK,kBAAkB,EACxB,MAAM,wBAAwB,CAAC;AAEhC,kGAAkG;AAClG,eAAO,MAAM,yBAAyB,gCAAgC,CAAC;AAEvE,wEAAwE;AACxE,eAAO,MAAM,sBAAsB,uBAAuB,CAAC;AAE3D,qGAAqG;AACrG,eAAO,MAAM,oBAAoB,KAAK,CAAC;AAEvC,eAAO,MAAM,eAAe,8FAMlB,CAAC;AACX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,aAA2B,CAAC;AAE7D,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,sGAAsG;IACtG,QAAQ,EAAE,MAAM,CAAC;IACjB,6GAA6G;IAC7G,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,IAAI,EAAE,aAAa,CAAC;IACpB,0FAA0F;IAC1F,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,8CAA8C;IAC9C,eAAe,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;IAC1E;;;OAGG;IACH,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,qGAAqG;IACrG,UAAU,EAAE,kBAAkB,CAAC;CAChC;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,qBAAqB,EAC3B,IAAI,GAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,GAC/B,UAAU,CAkBZ;AAED,2GAA2G;AAC3G,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,GAAG,UAAU,CAI7E;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,yBAAyB,GAAG,UAAU,CAkBlF;AAiBD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,UAAU,GAAG,yBAAyB,CAgGpF;AAED,uGAAuG;AACvG,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,oGAAoG;IACpG,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,CAAC;CACnE;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B,kFAAkF;IAClF,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,CAAC;IAClE,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,CACzB,IAAI,EAAE,aAAa,EACnB,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,KAAK,EAAE;IAAE,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,EACzE,kBAAkB,EAAE,SAAS,MAAM,EAAE,KAClC;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAElD,MAAM,MAAM,YAAY,GACpB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,WAAW,EAAE,WAAW,CAAA;CAAE,GACtC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAMjD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,kBAAkB,EAC3B,UAAU,EAAE,SAAS,yBAAyB,EAAE,EAChD,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,KAAK,OAAO,GAC3E,YAAY,CAkMd"}
+{"version":3,"file":"document-amendment.d.ts","sourceRoot":"","sources":["../src/document-amendment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,wBAAwB,CAAC;AAEhC;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,gCAAgC,CAAC;AAEvE;;;GAGG;AACH,eAAO,MAAM,iBAAiB,KAAK,CAAC;AAEpC,wEAAwE;AACxE,eAAO,MAAM,sBAAsB,uBAAuB,CAAC;AAE3D,qGAAqG;AACrG,eAAO,MAAM,oBAAoB,KAAK,CAAC;AAEvC,eAAO,MAAM,eAAe,yIAiBlB,CAAC;AACX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,aAA2B,CAAC;AAE7D,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,aAAa,CAAC;IACpB,0FAA0F;IAC1F,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,8CAA8C;IAC9C,eAAe,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;IAC1E;;;OAGG;IACH,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,qGAAqG;IACrG,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,qGAAqG;IACrG,UAAU,EAAE,kBAAkB,CAAC;CAChC;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,qBAAqB,EAC3B,IAAI,GAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,GAC/B,UAAU,CAmBZ;AAED,2GAA2G;AAC3G,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,GAAG,UAAU,CAI7E;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,yBAAyB,GAAG,UAAU,CAmBlF;AAiBD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,UAAU,GAAG,yBAAyB,CA0HpF;AAED,uGAAuG;AACvG,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,oGAAoG;IACpG,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,CAAC;CACnE;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,+FAA+F;IAC/F,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B,kFAAkF;IAClF,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,CAAC;IAClE,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,CACzB,IAAI,EAAE,aAAa,EACnB,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,KAAK,EAAE;IAAE,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,EACzE,kBAAkB,EAAE,SAAS,MAAM,EAAE,KAClC;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC"}

package/dist/document-amendment.js

@@ -14,7 +14,7 @@
  * Signed, chained to its predecessor, epoch-incrementing, and carrying `state_hash` — the
  * canonical-hash-at-boundary slot — as DEFINED-ABSENT (`null`) while the tier is `authenticated`.
  * Tier 2 fills the slot; it does not migrate the frame. Dropping the slot "because Tier 1 doesn't
- * use it" is the exact seam violation M14 forbade for `epoch_id`.
+ * use it" is the exact seam violation M14 forbade.
  *
  * ── WHO MUST SIGN IS INJECTED ─────────────────────────────────────────────────────────────────
  *
@@ -26,9 +26,19 @@
  */
 import { createHash } from "node:crypto";
 import { encodeCbor, decodeCbor } from "./cbor.js";
-import { collectionStatus, encodeMultisigCollection, decodeMultisigCollection, } from "./document-multisig.js";
-/** Domain tag in slot 0 of the to-be-signed array. Sibling of the other CELLO-DOCUMENT-* tags. */
-export const DOCUMENT_AMENDMENT_DOMAIN = "CELLO-DOCUMENT-AMENDMENT-v1";
+import { encodeMultisigCollection, decodeMultisigCollection, } from "./document-multisig.js";
+/**
+ * Domain tag in slot 0 of the to-be-signed array. Sibling of the other CELLO-DOCUMENT-* tags.
+ * v2 (SYNC-P1): the preimage gained the causal fields — author, sequence, parents. A v1 frame is
+ * refused by the mandatory-field discipline below; no compatibility is owed (all holders upgrade
+ * together).
+ */
+export const DOCUMENT_AMENDMENT_DOMAIN = "CELLO-DOCUMENT-AMENDMENT-v3";
+/**
+ * Ceiling on an entry's parent list. The honest frontier is bounded by the holder cap (D5: 20);
+ * the ceiling exists so a hostile daemon cannot make every ancestry walk unbounded.
+ */
+export const MAX_ENTRY_PARENTS = 64;
 /** The `subject_kind` an amendment's multisig collection must carry. */
 export const AMENDMENT_SUBJECT_KIND = "document_amendment";
 /** D5 (ruled 2026-08-11): documents inherit the group-room cap. Enforced at amendment validation. */
@@ -39,6 +49,17 @@ export const AMENDMENT_KINDS = [
     "promote_admin",
     "remove_admin",
     "change_property",
+    // SYNC-P2 (R21/R24): the subject's own acts. A `consent` answers an admission and names what
+    // it agrees to in the signed property slots ({ key: "consents_to", value: "<tier>/<version>" });
+    // a `refuse_join` ends the invitation. Both are authored, subject-ed, and signed by the same
+    // party — nobody consents for you.
+    "consent",
+    "refuse_join",
+    // SYNC-P4 (R26-R28): endings are governance entries like everything else. A `close` is the
+    // closer's own signed agreement to end; the document is CLOSED when every current participant
+    // holds one (derived, never tracked). A `kill` is any single admin's immediate one-sided end.
+    "close",
+    "kill",
 ];
 /**
  * Properties an amendment may change. Deliberately NARROW to start: the seam properties are owned
@@ -57,8 +78,6 @@ export function buildDocumentAmendmentTbs(body, opts = {}) {
     const preimage = encodeCbor([
         DOCUMENT_AMENDMENT_DOMAIN,
         body.document_id,
-        body.epoch_id,
-        body.prev_amendment_hash,
         body.kind,
         body.subject_agent_id,
         body.property_change?.key ?? null,
@@ -68,6 +87,9 @@ export function buildDocumentAmendmentTbs(body, opts = {}) {
         typeof body.authored_at_ms === "number" && body.authored_at_ms > 0xffffffff
             ? BigInt(body.authored_at_ms)
             : body.authored_at_ms,
+        body.author_agent_id,
+        body.author_seq,
+        [...body.parents],
     ]);
     if (opts.preHash === false)
         return preimage;
@@ -85,13 +107,14 @@ export function encodeDocumentAmendment(env) {
         type: "document_amendment",
         body: {
             document_id: env.body.document_id,
-            epoch_id: env.body.epoch_id,
-            prev_amendment_hash: env.body.prev_amendment_hash,
             kind: env.body.kind,
             subject_agent_id: env.body.subject_agent_id,
             property_change: env.body.property_change,
             state_hash: env.body.state_hash,
             authored_at_ms: env.body.authored_at_ms,
+            author_agent_id: env.body.author_agent_id,
+            author_seq: env.body.author_seq,
+            parents: [...env.body.parents],
         },
         collection: encodeMultisigCollection(env.collection),
     });
@@ -124,20 +147,11 @@ export function decodeDocumentAmendment(input) {
         throw new Error("document_amendment_field_type: body must be a CBOR map");
     }
     const b = rawBody;
-    const epochId = present(b, "epoch_id");
-    if (typeof epochId !== "number" || !Number.isInteger(epochId) || epochId < 1) {
-        throw new Error(`document_amendment_epoch: must be a positive integer (genesis is epoch 0 and is not an ` +
-            `amendment), got ${String(epochId)}`);
-    }
     const kind = str(b, "kind");
     if (!AMENDMENT_KINDS.includes(kind)) {
         throw new Error(`document_amendment_kind: "${kind}" is not an amendment kind this build knows ` +
             `(${AMENDMENT_KINDS.join(", ")})`);
     }
-    const prevHash = present(b, "prev_amendment_hash");
-    if (prevHash !== null && (typeof prevHash !== "string" || !/^[0-9a-f]{64}$/.test(prevHash))) {
-        throw new Error("document_amendment_field_type: prev_amendment_hash must be 64-hex or explicit null");
-    }
     const subject = present(b, "subject_agent_id");
     if (subject !== null && (typeof subject !== "string" || subject.length === 0)) {
         throw new Error("document_amendment_field_type: subject_agent_id must be a non-empty string or explicit null");
@@ -164,6 +178,35 @@ export function decodeDocumentAmendment(input) {
     if (typeof authoredAt !== "number" || !Number.isInteger(authoredAt)) {
         throw new Error("document_amendment_field_type: authored_at_ms must be an integer");
     }
+    const author = present(b, "author_agent_id");
+    if (typeof author !== "string" || !/^[0-9a-f]{64}$/.test(author)) {
+        throw new Error("document_amendment_field_type: author_agent_id must be a 64-hex agent pubkey");
+    }
+    const authorSeq = present(b, "author_seq");
+    if (typeof authorSeq !== "number" || !Number.isInteger(authorSeq) || authorSeq < 1) {
+        throw new Error(`document_amendment_author_seq: must be a positive integer (an author's own chain starts ` +
+            `at 1), got ${String(authorSeq)}`);
+    }
+    const rawParents = present(b, "parents");
+    if (!Array.isArray(rawParents)) {
+        throw new Error("document_amendment_field_type: parents must be an array of entry hashes");
+    }
+    if (rawParents.length > MAX_ENTRY_PARENTS) {
+        throw new Error(`document_amendment_parents_cap: ${rawParents.length} parents exceeds the ceiling of ` +
+            `${MAX_ENTRY_PARENTS} — an honest frontier is bounded by the holder cap`);
+    }
+    for (const p of rawParents) {
+        if (typeof p !== "string" || !/^[0-9a-f]{64}$/.test(p)) {
+            throw new Error("document_amendment_field_type: parents must be 64-hex entry hashes");
+        }
+    }
+    const parents = rawParents;
+    for (let i = 1; i < parents.length; i++) {
+        if (parents[i] <= parents[i - 1]) {
+            throw new Error("document_amendment_parents_canonical: parents must be strictly ascending with no " +
+                "duplicates — one entry, one identity");
+        }
+    }
     const rawCollection = present(map, "collection");
     if (!(rawCollection instanceof Uint8Array)) {
         throw new Error("document_amendment_field_type: collection must be a CBOR byte string");
@@ -171,177 +214,16 @@ export function decodeDocumentAmendment(input) {
     return {
         body: {
             document_id: str(b, "document_id"),
-            epoch_id: epochId,
-            prev_amendment_hash: prevHash,
             kind: kind,
             subject_agent_id: subject,
             property_change: propertyChange,
             state_hash: stateHash === null ? null : new Uint8Array(stateHash),
             authored_at_ms: authoredAt,
+            author_agent_id: author,
+            author_seq: authorSeq,
+            parents,
         },
         collection: decodeMultisigCollection(new Uint8Array(rawCollection)),
     };
 }
-function refuse(reason, epoch) {
-    return { ok: false, reason, epoch };
-}
-/**
- * Replay: genesis + the ordered amendment chain → the current arrangement, or a loud refusal
- * naming the epoch and the cause. NEVER a partial arrangement — a holder that cannot derive the
- * whole chain has no arrangement, which is what makes "invalid everywhere" computable.
- */
-export function deriveArrangement(genesis, amendments, policy, verify) {
-    const participants = new Set([genesis.proposerAgentId, genesis.peerAgentId]);
-    const admins = new Set(genesis.adminSet);
-    if (admins.size === 0) {
-        return refuse("arrangement_admin_set_empty: a document with no admins can never be amended — the " +
-            "creation flow must name at least one", 0);
-    }
-    for (const admin of admins) {
-        if (!participants.has(admin)) {
-            return refuse(`arrangement_admin_not_participant: ${admin} holds admin power but is not a holder — ` +
-                `admins are always holders`, 0);
-        }
-    }
-    const properties = { ...genesis.properties };
-    let epoch = 0;
-    let lastHash = null;
-    for (const env of amendments) {
-        const body = env.body;
-        const at = body.epoch_id;
-        if (body.document_id !== genesis.documentId) {
-            return refuse(`amendment_wrong_document: names ${body.document_id}, replaying ${genesis.documentId}`, at);
-        }
-        if (body.epoch_id !== epoch + 1) {
-            return refuse(`amendment_chain_gap: expected epoch ${epoch + 1} next, got ${body.epoch_id} — a missing ` +
-                `amendment is a gap to resolve, never to skip`, at);
-        }
-        if (body.prev_amendment_hash !== lastHash) {
-            return refuse(`amendment_chain_broken: epoch ${at} chains to ${body.prev_amendment_hash ?? "genesis"} ` +
-                `but the replayed predecessor is ${lastHash ?? "genesis"} — a fork, not a gap`, at);
-        }
-        // WHITELIST, not an equality on the benign value: only a tier that DEFINES the slot may fill
-        // it. An equality check on "authenticated" silently accepted a Tier 2 field whenever the
-        // genesis lacked the tier property — a mis-built genesis running degraded instead of refusing.
-        if (body.state_hash !== null && properties["assurance_tier"] !== "attested") {
-            return refuse(`amendment_state_hash_tier: epoch ${at} carries a canonical state hash but the document's ` +
-                `tier is ${JSON.stringify(properties["assurance_tier"] ?? null)} — only "attested" ` +
-                `(Tier 2) defines that slot`, at);
-        }
-        // Subject semantics against the CURRENT state — a no-op amendment is refused, not absorbed:
-        // silently absorbing "add someone who already holds" would let two amendments with one
-        // meaning carry different signatures.
-        const subject = body.subject_agent_id;
-        switch (body.kind) {
-            case "add_holder": {
-                if (subject === null)
-                    return refuse(`amendment_subject_required: add_holder names nobody`, at);
-                if (participants.has(subject)) {
-                    return refuse(`amendment_subject_already_holder: ${subject} already holds this document`, at);
-                }
-                if (participants.size + 1 > MAX_DOCUMENT_HOLDERS) {
-                    return refuse(`amendment_holder_cap: admitting ${subject} would make ${participants.size + 1} holders ` +
-                        `and the cap is ${MAX_DOCUMENT_HOLDERS} (D5)`, at);
-                }
-                break;
-            }
-            case "remove_holder": {
-                if (subject === null)
-                    return refuse(`amendment_subject_required: remove_holder names nobody`, at);
-                if (!participants.has(subject)) {
-                    return refuse(`amendment_subject_not_holder: ${subject} does not hold this document`, at);
-                }
-                if (admins.has(subject) && admins.size === 1) {
-                    return refuse(`amendment_last_admin: removing ${subject} would leave the document with no admins — ` +
-                        `it could never be amended again`, at);
-                }
-                break;
-            }
-            case "promote_admin": {
-                if (subject === null)
-                    return refuse(`amendment_subject_required: promote_admin names nobody`, at);
-                if (!participants.has(subject)) {
-                    return refuse(`amendment_subject_not_holder: ${subject} does not hold this document`, at);
-                }
-                if (admins.has(subject)) {
-                    return refuse(`amendment_subject_already_admin: ${subject} is already an admin`, at);
-                }
-                break;
-            }
-            case "remove_admin": {
-                if (subject === null)
-                    return refuse(`amendment_subject_required: remove_admin names nobody`, at);
-                if (!admins.has(subject)) {
-                    return refuse(`amendment_subject_not_admin: ${subject} holds no admin power to remove`, at);
-                }
-                if (admins.size === 1) {
-                    return refuse(`amendment_last_admin: demoting ${subject} would leave the document with no admins — ` +
-                        `it could never be amended again`, at);
-                }
-                break;
-            }
-            case "change_property": {
-                if (subject !== null) {
-                    return refuse(`amendment_subject_forbidden: change_property is about the document, not a holder`, at);
-                }
-                if (body.property_change === null) {
-                    return refuse(`amendment_property_missing: change_property carries no change`, at);
-                }
-                if (!AMENDABLE_PROPERTIES.has(body.property_change.key)) {
-                    return refuse(`amendment_property_not_amendable: "${body.property_change.key}" is not amendable — ` +
-                        `the amendable set is {${[...AMENDABLE_PROPERTIES].join(", ")}}; tier and schema ` +
-                        `changes are Tier 2 epoch events, topology and profile are a new agreement`, at);
-                }
-                break;
-            }
-        }
-        // The collection: bound to THIS amendment, its claimed required set ACCEPTABLE TO THE POLICY
-        // for the state BEFORE it, and complete. Order matters — a mismatch in what the collection claims is
-        // reported before whether it gathered enough names for the wrong claim.
-        const expectedHash = documentAmendmentHash(body);
-        if (env.collection.document_id !== body.document_id) {
-            return refuse(`amendment_collection_document_mismatch: collection names ${env.collection.document_id}`, at);
-        }
-        if (env.collection.subject_kind !== AMENDMENT_SUBJECT_KIND) {
-            return refuse(`amendment_collection_kind: collection signs "${env.collection.subject_kind}", not an amendment`, at);
-        }
-        if (Buffer.compare(env.collection.subject_hash, expectedHash) !== 0) {
-            return refuse(`amendment_collection_subject_mismatch: the collection signs a different amendment than ` +
-                `the one it rides with`, at);
-        }
-        const verdict = policy(body.kind, subject, { participants, admins }, env.collection.required_signers);
-        if (!verdict.ok) {
-            // The policy's reason IS the diagnosis — epoch context prepended, nothing substituted.
-            return refuse(`epoch ${at}: ${verdict.reason}`, at);
-        }
-        const status = collectionStatus(env.collection, verify);
-        if (!status.complete) {
-            return refuse(`amendment_collection_incomplete: epoch ${at} — missing [${status.missing.join(", ")}], ` +
-                `invalid [${status.invalidSigners.join(", ")}], unknown [${status.unknown.join(", ")}], ` +
-                `duplicate [${status.duplicates.join(", ")}]`, at);
-        }
-        // Apply.
-        switch (body.kind) {
-            case "add_holder":
-                participants.add(subject);
-                break;
-            case "remove_holder":
-                participants.delete(subject);
-                admins.delete(subject);
-                break;
-            case "promote_admin":
-                admins.add(subject);
-                break;
-            case "remove_admin":
-                admins.delete(subject);
-                break;
-            case "change_property":
-                properties[body.property_change.key] = body.property_change.value;
-                break;
-        }
-        epoch = body.epoch_id;
-        lastHash = Buffer.from(expectedHash).toString("hex");
-    }
-    return { ok: true, arrangement: { epoch, participants, admins, properties, lastAmendmentHash: lastHash } };
-}
 //# sourceMappingURL=document-amendment.js.map

package/dist/document-amendment.js.map

@@ -1 +1 @@
-{"version":3,"file":"document-amendment.js","sourceRoot":"","sources":["../src/document-amendment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,wBAAwB,GAEzB,MAAM,wBAAwB,CAAC;AAEhC,kGAAkG;AAClG,MAAM,CAAC,MAAM,yBAAyB,GAAG,6BAA6B,CAAC;AAEvE,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC;AAE3D,qGAAqG;AACrG,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEvC,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,YAAY;IACZ,eAAe;IACf,eAAe;IACf,cAAc;IACd,iBAAiB;CACT,CAAC;AAGX;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AA2B7D;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B,EAC3B,OAA8B,EAAE;IAEhC,MAAM,QAAQ,GAAG,UAAU,CAAC;QAC1B,yBAAyB;QACzB,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,QAAQ;QACb,IAAI,CAAC,mBAAmB;QACxB,IAAI,CAAC,IAAI;QACT,IAAI,CAAC,gBAAgB;QACrB,IAAI,CAAC,eAAe,EAAE,GAAG,IAAI,IAAI;QACjC,IAAI,CAAC,eAAe,EAAE,KAAK,IAAI,IAAI;QACnC,IAAI,CAAC,UAAU;QACf,8FAA8F;QAC9F,OAAO,IAAI,CAAC,cAAc,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,GAAG,UAAU;YACzE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;YAC7B,CAAC,CAAC,IAAI,CAAC,cAAc;KACxB,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC;IAC5C,OAAO,IAAI,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,qBAAqB,CAAC,IAA2B;IAC/D,OAAO,IAAI,UAAU,CACnB,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,yBAAyB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAC1F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAA8B;IACpE,OAAO,UAAU,CAAC;QAChB,yFAAyF;QACzF,0FAA0F;QAC1F,gEAAgE;QAChE,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE;YACJ,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW;YACjC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ;YAC3B,mBAAmB,EAAE,GAAG,CAAC,IAAI,CAAC,mBAAmB;YACjD,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI;YACnB,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB;YAC3C,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,eAAe;YACzC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU;YAC/B,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc;SACxC;QACD,UAAU,EAAE,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC;KACrD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,GAA4B,EAAE,KAAa;IAC1D,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,mCAAmC,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,GAAG,CAAC,GAA4B,EAAE,KAAa;IACtD,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,kCAAkC,KAAK,kCAAkC,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAiB;IACvD,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,GAAG,GAAG,OAAkC,CAAC;IAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,SAAS,KAAK,oBAAoB,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CACb,6DAA6D,MAAM,CAAC,SAAS,CAAC,EAAE,CACjF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,CAAC,GAAG,OAAkC,CAAC;IAE7C,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACvC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CACb,yFAAyF;YACvF,mBAAmB,MAAM,CAAC,OAAO,CAAC,EAAE,CACvC,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5B,IAAI,CAAE,eAAqC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CACb,6BAA6B,IAAI,8CAA8C;YAC7E,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpC,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACnD,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC5F,MAAM,IAAI,KAAK,CACb,oFAAoF,CACrF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CACb,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAChD,IAAI,cAAc,GAA6C,IAAI,CAAC;IACpE,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,CAAC,GAAG,SAAoC,CAAC;QAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YACzF,MAAM,IAAI,KAAK,CACb,2FAA2F,CAC5F,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAClC,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC3C,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,YAAY,UAAU,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,uFAAuF,CACxF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAChD,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,aAAa,YAAY,UAAU,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IAED,OAAO;QACL,IAAI,EAAE;YACJ,WAAW,EAAE,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC;YAClC,QAAQ,EAAE,OAAO;YACjB,mBAAmB,EAAE,QAAQ;YAC7B,IAAI,EAAE,IAAqB;YAC3B,gBAAgB,EAAE,OAAO;YACzB,eAAe,EAAE,cAAc;YAC/B,UAAU,EAAE,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC;YACjE,cAAc,EAAE,UAAU;SAC3B;QACD,UAAU,EAAE,wBAAwB,CAAC,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC;KACpE,CAAC;AACJ,CAAC;AAsCD,SAAS,MAAM,CAAC,MAAc,EAAE,KAAa;IAC3C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAA2B,EAC3B,UAAgD,EAChD,MAAoB,EACpB,MAA4E;IAE5E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,MAAM,CACX,oFAAoF;YAClF,sCAAsC,EACxC,CAAC,CACF,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,MAAM,CACX,sCAAsC,KAAK,2CAA2C;gBACpF,2BAA2B,EAC7B,CAAC,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAA8B,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;IACxE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAkB,IAAI,CAAC;IAEnC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;QAEzB,IAAI,IAAI,CAAC,WAAW,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YAC5C,OAAO,MAAM,CACX,mCAAmC,IAAI,CAAC,WAAW,eAAe,OAAO,CAAC,UAAU,EAAE,EACtF,EAAE,CACH,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,MAAM,CACX,uCAAuC,KAAK,GAAG,CAAC,cAAc,IAAI,CAAC,QAAQ,eAAe;gBACxF,8CAA8C,EAChD,EAAE,CACH,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,mBAAmB,KAAK,QAAQ,EAAE,CAAC;YAC1C,OAAO,MAAM,CACX,iCAAiC,EAAE,cAAc,IAAI,CAAC,mBAAmB,IAAI,SAAS,GAAG;gBACvF,mCAAmC,QAAQ,IAAI,SAAS,sBAAsB,EAChF,EAAE,CACH,CAAC;QACJ,CAAC;QACD,6FAA6F;QAC7F,yFAAyF;QACzF,+FAA+F;QAC/F,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,gBAAgB,CAAC,KAAK,UAAU,EAAE,CAAC;YAC5E,OAAO,MAAM,CACX,oCAAoC,EAAE,qDAAqD;gBACzF,WAAW,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,IAAI,CAAC,qBAAqB;gBACpF,4BAA4B,EAC9B,EAAE,CACH,CAAC;QACJ,CAAC;QAED,4FAA4F;QAC5F,uFAAuF;QACvF,sCAAsC;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAC,qDAAqD,EAAE,EAAE,CAAC,CAAC;gBAC/F,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC9B,OAAO,MAAM,CAAC,qCAAqC,OAAO,8BAA8B,EAAE,EAAE,CAAC,CAAC;gBAChG,CAAC;gBACD,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC,GAAG,oBAAoB,EAAE,CAAC;oBACjD,OAAO,MAAM,CACX,mCAAmC,OAAO,eAAe,YAAY,CAAC,IAAI,GAAG,CAAC,WAAW;wBACvF,kBAAkB,oBAAoB,OAAO,EAC/C,EAAE,CACH,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAC,wDAAwD,EAAE,EAAE,CAAC,CAAC;gBAClG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC/B,OAAO,MAAM,CAAC,iCAAiC,OAAO,8BAA8B,EAAE,EAAE,CAAC,CAAC;gBAC5F,CAAC;gBACD,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBAC7C,OAAO,MAAM,CACX,kCAAkC,OAAO,6CAA6C;wBACpF,iCAAiC,EACnC,EAAE,CACH,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAC,wDAAwD,EAAE,EAAE,CAAC,CAAC;gBAClG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC/B,OAAO,MAAM,CAAC,iCAAiC,OAAO,8BAA8B,EAAE,EAAE,CAAC,CAAC;gBAC5F,CAAC;gBACD,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBACxB,OAAO,MAAM,CAAC,oCAAoC,OAAO,sBAAsB,EAAE,EAAE,CAAC,CAAC;gBACvF,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAC,uDAAuD,EAAE,EAAE,CAAC,CAAC;gBACjG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBACzB,OAAO,MAAM,CAAC,gCAAgC,OAAO,iCAAiC,EAAE,EAAE,CAAC,CAAC;gBAC9F,CAAC;gBACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBACtB,OAAO,MAAM,CACX,kCAAkC,OAAO,6CAA6C;wBACpF,iCAAiC,EACnC,EAAE,CACH,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBACrB,OAAO,MAAM,CAAC,kFAAkF,EAAE,EAAE,CAAC,CAAC;gBACxG,CAAC;gBACD,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;oBAClC,OAAO,MAAM,CAAC,+DAA+D,EAAE,EAAE,CAAC,CAAC;gBACrF,CAAC;gBACD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxD,OAAO,MAAM,CACX,sCAAsC,IAAI,CAAC,eAAe,CAAC,GAAG,uBAAuB;wBACnF,yBAAyB,CAAC,GAAG,oBAAoB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB;wBAClF,2EAA2E,EAC7E,EAAE,CACH,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;QAED,6FAA6F;QAC7F,qGAAqG;QACrG,wEAAwE;QACxE,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;YACpD,OAAO,MAAM,CAAC,4DAA4D,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,YAAY,KAAK,sBAAsB,EAAE,CAAC;YAC3D,OAAO,MAAM,CACX,gDAAgD,GAAG,CAAC,UAAU,CAAC,YAAY,qBAAqB,EAChG,EAAE,CACH,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO,MAAM,CACX,yFAAyF;gBACvF,uBAAuB,EACzB,EAAE,CACH,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QACtG,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;YAChB,uFAAuF;YACvF,OAAO,MAAM,CAAC,SAAS,EAAE,KAAK,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACrB,OAAO,MAAM,CACX,0CAA0C,EAAE,eAAe,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACvF,YAAY,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACzF,cAAc,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAC/C,EAAE,CACH,CAAC;QACJ,CAAC;QAED,SAAS;QACT,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,YAAY,CAAC,GAAG,CAAC,OAAQ,CAAC,CAAC;gBAC3B,MAAM;YACR,KAAK,eAAe;gBAClB,YAAY,CAAC,MAAM,CAAC,OAAQ,CAAC,CAAC;gBAC9B,MAAM,CAAC,MAAM,CAAC,OAAQ,CAAC,CAAC;gBACxB,MAAM;YACR,KAAK,eAAe;gBAClB,MAAM,CAAC,GAAG,CAAC,OAAQ,CAAC,CAAC;gBACrB,MAAM;YACR,KAAK,cAAc;gBACjB,MAAM,CAAC,MAAM,CAAC,OAAQ,CAAC,CAAC;gBACxB,MAAM;YACR,KAAK,iBAAiB;gBACpB,UAAU,CAAC,IAAI,CAAC,eAAgB,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,eAAgB,CAAC,KAAK,CAAC;gBACpE,MAAM;QACV,CAAC;QACD,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC;QACtB,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,CAAC;AAC7G,CAAC"}
+{"version":3,"file":"document-amendment.js","sourceRoot":"","sources":["../src/document-amendment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EACL,wBAAwB,EACxB,wBAAwB,GAEzB,MAAM,wBAAwB,CAAC;AAEhC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,6BAA6B,CAAC;AAEvE;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAEpC,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC;AAE3D,qGAAqG;AACrG,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEvC,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,YAAY;IACZ,eAAe;IACf,eAAe;IACf,cAAc;IACd,iBAAiB;IACjB,6FAA6F;IAC7F,iGAAiG;IACjG,6FAA6F;IAC7F,mCAAmC;IACnC,SAAS;IACT,aAAa;IACb,2FAA2F;IAC3F,8FAA8F;IAC9F,8FAA8F;IAC9F,OAAO;IACP,MAAM;CACE,CAAC;AAGX;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAkC7D;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B,EAC3B,OAA8B,EAAE;IAEhC,MAAM,QAAQ,GAAG,UAAU,CAAC;QAC1B,yBAAyB;QACzB,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,IAAI;QACT,IAAI,CAAC,gBAAgB;QACrB,IAAI,CAAC,eAAe,EAAE,GAAG,IAAI,IAAI;QACjC,IAAI,CAAC,eAAe,EAAE,KAAK,IAAI,IAAI;QACnC,IAAI,CAAC,UAAU;QACf,8FAA8F;QAC9F,OAAO,IAAI,CAAC,cAAc,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,GAAG,UAAU;YACzE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;YAC7B,CAAC,CAAC,IAAI,CAAC,cAAc;QACvB,IAAI,CAAC,eAAe;QACpB,IAAI,CAAC,UAAU;QACf,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;KAClB,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC;IAC5C,OAAO,IAAI,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,qBAAqB,CAAC,IAA2B;IAC/D,OAAO,IAAI,UAAU,CACnB,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,yBAAyB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAC1F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAA8B;IACpE,OAAO,UAAU,CAAC;QAChB,yFAAyF;QACzF,0FAA0F;QAC1F,gEAAgE;QAChE,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE;YACJ,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW;YACjC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI;YACnB,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB;YAC3C,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,eAAe;YACzC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU;YAC/B,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc;YACvC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,eAAe;YACzC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU;YAC/B,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;SAC/B;QACD,UAAU,EAAE,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC;KACrD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,GAA4B,EAAE,KAAa;IAC1D,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,mCAAmC,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,GAAG,CAAC,GAA4B,EAAE,KAAa;IACtD,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,kCAAkC,KAAK,kCAAkC,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAiB;IACvD,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,GAAG,GAAG,OAAkC,CAAC;IAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,SAAS,KAAK,oBAAoB,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CACb,6DAA6D,MAAM,CAAC,SAAS,CAAC,EAAE,CACjF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,CAAC,GAAG,OAAkC,CAAC;IAE7C,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5B,IAAI,CAAE,eAAqC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CACb,6BAA6B,IAAI,8CAA8C;YAC7E,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpC,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CACb,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAChD,IAAI,cAAc,GAA6C,IAAI,CAAC;IACpE,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,CAAC,GAAG,SAAoC,CAAC;QAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YACzF,MAAM,IAAI,KAAK,CACb,2FAA2F,CAC5F,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAClC,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC3C,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,YAAY,UAAU,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,uFAAuF,CACxF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAChD,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC7C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CACb,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC3C,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CACb,0FAA0F;YACxF,cAAc,MAAM,CAAC,SAAS,CAAC,EAAE,CACpC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,mCAAmC,UAAU,CAAC,MAAM,kCAAkC;YACpF,GAAG,iBAAiB,oDAAoD,CAC3E,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,UAAsB,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,CAAC,CAAE,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CACb,mFAAmF;gBACjF,sCAAsC,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,aAAa,YAAY,UAAU,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IAED,OAAO;QACL,IAAI,EAAE;YACJ,WAAW,EAAE,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC;YAClC,IAAI,EAAE,IAAqB;YAC3B,gBAAgB,EAAE,OAAO;YACzB,eAAe,EAAE,cAAc;YAC/B,UAAU,EAAE,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC;YACjE,cAAc,EAAE,UAAU;YAC1B,eAAe,EAAE,MAAM;YACvB,UAAU,EAAE,SAAS;YACrB,OAAO;SACR;QACD,UAAU,EAAE,wBAAwB,CAAC,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC;KACpE,CAAC;AACJ,CAAC"}

package/dist/document-derive.d.ts

@@ -0,0 +1,96 @@
+/**
+ * SYNC-P1 — the causal derivation. ONE derivation of a document's state for every holder: the
+ * fold over the entry DAG in a deterministic total order. Same entry set → same state, everywhere,
+ * always. This file replaces the linear epoch replay; the fold rules are M14B Build Journal
+ * Entries 48–49 (SYNC-G2's finding plus its admin-floor addendum).
+ *
+ * The total order is Kahn's topological sort refined by ascending entry hash — a pure function of
+ * the entry SET. The hash tie-break resolves only what is semantically arbitrary (which property
+ * value wins). It never resolves authority: causal concurrency is author-claimable (a modified
+ * daemon backdates its parents at will), so any rule where a concurrent act could beat a removal
+ * would make removal defeatable. Hence the fold rules:
+ *
+ *  F1. A non-removal entry takes effect iff it validates against the folded state at its position
+ *      AND it is not concurrent with an ancestor-valid removal of its author.
+ *  F2. A removal is judged at its OWN ancestors (the state derived from its ancestor closure) and
+ *      is exempt from F1's concurrency void — the exemption is what keeps mutual removals from
+ *      being circular. At fold position it is void only by the admin floor: a removal that would
+ *      leave zero admins does not take effect.
+ *  F3. Content admissibility is R20's (ancestor-based) and is NOT this module's concern.
+ *  F4. A void entry stays in the linearization — history, not refusal — and contributes nothing.
+ */
+import { type DocumentAmendmentEnvelope, type ArrangementGenesis, type SignerPolicy } from "./document-amendment.js";
+export interface DocumentStateView {
+    participants: ReadonlySet<string>;
+    /** Admitted, not yet answered (R22) — a seat at the table, not a voice. Counts toward the cap. */
+    invited: ReadonlySet<string>;
+    admins: ReadonlySet<string>;
+    /** R27/R28 — DERIVED, never tracked: "closed" when every current participant has closed;
+     *  "killed" on any admin's kill; null while live. */
+    ended: "closed" | "killed" | null;
+    /** Who has agreed to close — the surface's "waiting on" list is its complement. */
+    closedBy: ReadonlySet<string>;
+    properties: Record<string, string | number | boolean | undefined>;
+    /** The total order actually folded (applied AND void entries — F4 keeps voids in history). */
+    order: readonly string[];
+    /** Heads: included entries no other included entry names as a parent. Ascending. */
+    frontier: readonly string[];
+    /** Fold-void entries, each with the reason it contributed nothing. */
+    voids: readonly {
+        hash: string;
+        reason: string;
+    }[];
+    /** Entries whose ancestry is not fully present — held out entirely, never guessed at (R14). */
+    excluded: readonly {
+        hash: string;
+        reason: string;
+    }[];
+    /** Highest seq per author among included entries — the watermark seed. */
+    authorSeqs: ReadonlyMap<string, number>;
+    /** Interim carrier fields until P4 deletes the epoch spine (D7, gated on SYNC-G1). */
+    interimLastHash: string | null;
+}
+export type DeriveDocumentStateResult = {
+    ok: true;
+    state: DocumentStateView;
+} | {
+    ok: false;
+    reason: string;
+};
+type VerifyFn = (agentId: string, tbs: Uint8Array, signature: Uint8Array) => boolean;
+/**
+ * SYNC-G1 — the derivation AT a named governance frontier: the fold restricted to the ancestor
+ * closure of `frontierHashes`. This is what content admissibility rules on (R20/R30): was the
+ * envelope's author a participant in the world its signed `governance_parents` name? Judged
+ * from the named ancestors alone — the same bounded backdating concession Entry 48 accepted
+ * for governance: a lying daemon admits exactly what an honest holder AT THAT POSITION could
+ * have authored, and the fold's removal dominance keeps it out of governance regardless.
+ *
+ * A frontier hash not present in `entries` is the caller's signal to reconcile first — this
+ * function reports it rather than guessing (`missing`).
+ */
+export declare function deriveDocumentStateAt(genesis: ArrangementGenesis, entries: readonly DocumentAmendmentEnvelope[], frontierHashes: readonly string[], policy: SignerPolicy, verify: VerifyFn): {
+    ok: true;
+    state: DocumentStateView;
+} | {
+    ok: false;
+    reason: string;
+    missing?: string[];
+};
+/**
+ * The STATE-INDEPENDENT admission check — what an inbound path may refuse outright, because no
+ * future entry can ever make it good: the collection must bind to this entry, the claimed author
+ * must be in the required set, and every claimed signature must verify. Everything else — subject
+ * semantics, policy, concurrency — is the fold's ruling, and a fold-void entry is still HISTORY
+ * (F4): it must be stored and shared, never bounced at the door, or two holders end up holding
+ * different sets.
+ */
+export declare function checkEntryAdmissible(env: DocumentAmendmentEnvelope, verify: VerifyFn): {
+    ok: true;
+} | {
+    ok: false;
+    reason: string;
+};
+export declare function deriveDocumentState(genesis: ArrangementGenesis, entries: readonly DocumentAmendmentEnvelope[], policy: SignerPolicy, verify: VerifyFn): DeriveDocumentStateResult;
+export {};
+//# sourceMappingURL=document-derive.d.ts.map

package/dist/document-derive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-derive.d.ts","sourceRoot":"","sources":["../src/document-derive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAKL,KAAK,yBAAyB,EAC9B,KAAK,kBAAkB,EACvB,KAAK,YAAY,EAClB,MAAM,yBAAyB,CAAC;AAIjC,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,kGAAkG;IAClG,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B;yDACqD;IACrD,KAAK,EAAE,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAAC;IAClC,mFAAmF;IACnF,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,CAAC;IAClE,8FAA8F;IAC9F,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,oFAAoF;IACpF,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,sEAAsE;IACtE,KAAK,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnD,+FAA+F;IAC/F,QAAQ,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACtD,0EAA0E;IAC1E,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,sFAAsF;IACtF,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,MAAM,yBAAyB,GACjC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GACtC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,KAAK,QAAQ,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,KAAK,OAAO,CAAC;AAErF;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,SAAS,yBAAyB,EAAE,EAC7C,cAAc,EAAE,SAAS,MAAM,EAAE,EACjC,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,QAAQ,GACf;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CA8B5F;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,yBAAyB,EAC9B,MAAM,EAAE,QAAQ,GACf;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CA0C9C;AAqBD,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,SAAS,yBAAyB,EAAE,EAC7C,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,QAAQ,GACf,yBAAyB,CAkhB3B"}