pi-daddy 0.22.0 → 0.24.0

package/dist/work-ledger-projection.d.ts

@@ -0,0 +1,295 @@
+import type { EventRef, RevisionRef, WorkFrozen, WorkIngestion, WorkLedgerEvent, WorkProjectionContext, WorkAvailability } from "./work-ledger-types.ts";
+import type { resolveWorkSnapshotText } from "./work-ledger-snapshot.ts";
+import type { foldWorkOccurrences } from "./work-ledger-occurrences.ts";
+type IndexedEvent = WorkFrozen<WorkLedgerEvent>;
+/**
+ * Internal first-pass evidence index, NOT the public WorkProjection result.
+ * No selector, graph resolution, runtime counts or authority decisions are inferred here.
+ * Keep every candidate plus the exact conflicting event references: later reachability must
+ * inspect all alternatives, including nonselected associations and redelivered revision bodies.
+ */
+interface WorkReplayIndex {
+    readonly ingestion: WorkFrozen<WorkIngestion>;
+    /** One body per validated (eventId,digest); includes quarantined evidence. */
+    readonly candidates: readonly IndexedEvent[];
+    /** Every alternative of every ID with multiple digests; not a chosen winner or receipt conflict. */
+    readonly conflictingEvents: ReadonlyArray<WorkFrozen<EventRef>>;
+    /** Exact revision bodies appearing in those conflicts, independent of delivery ID/timestamp. */
+    readonly quarantinedRevisions: ReadonlyArray<WorkFrozen<RevisionRef>>;
+    /** Central, frozen source index. Body keys point to IDs, not duplicated Cartesian candidate lists. */
+    readonly conflictSources: {
+        readonly bodies: Readonly<Record<string, readonly string[]>>;
+        readonly events: Readonly<Record<string, readonly WorkFrozen<EventRef>[]>>;
+    };
+    /** Clean delivery identities only; these are evidence, never proof of acceptance or a current head. */
+    readonly effectiveEvents: readonly IndexedEvent[];
+}
+type Sources = Pick<WorkReplayIndex, "conflictSources">;
+/** @internal Only index-derived validated events/references. Raw alternatives remain diagnostic input. */
+export declare function workEventConflictSources(index: Sources, event: IndexedEvent | WorkFrozen<EventRef>): WorkFrozen<EventRef>[];
+/** @internal Exact revision references need not have a clean delivery to be quarantined. */
+export declare function workRevisionConflictSources(index: Sources, ref: WorkFrozen<RevisionRef>): readonly WorkFrozen<EventRef>[];
+/**
+ * @internal Strict text -> complete delivery grouping -> quarantine -> effective evidence.
+ * Deliberately not re-exported by work-ledger.ts: this is not an unchecked public projector.
+ * Raw serialized/archival byte hashes play no role in semantic delivery identity.
+ */
+export declare function indexWorkLedgerText(text: string): WorkReplayIndex;
+/** @internal Global receipt identity diagnostics exist even without a resolved work selector. */
+export declare function indexWorkReceipts(authority: WorkFrozen<WorkProjectionContext>["authority"]): {
+    receipts: Map<string, Map<string, {
+        readonly receiptId: string;
+        readonly authorityId: string;
+        readonly claim: {
+            readonly eventId: string;
+            readonly digest: string;
+        };
+        readonly binding: {
+            readonly snapshot: {
+                readonly id: string;
+                readonly digest: string;
+            };
+            readonly scope: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+            readonly intent: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+            readonly obligation: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+            readonly artifact: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+            readonly artifactDigest: string;
+            readonly policy: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+            readonly evidence: readonly {
+                readonly id: string;
+                readonly digest: string;
+                readonly event: {
+                    readonly eventId: string;
+                    readonly digest: string;
+                } | null;
+            }[];
+        };
+        readonly decision: "accept" | "reject";
+    }>>;
+    conflicts: {
+        readonly kind: "event" | "receipt";
+        readonly id: string;
+        readonly digests: readonly string[];
+        readonly affectedObligations: readonly {
+            readonly kind: import("./work-ledger-types.ts").RevisionKind;
+            readonly id: string;
+            readonly revision: number;
+            readonly digest: string;
+        }[];
+    }[];
+};
+/** @internal Conditional binding proof, not authentication. Only the separately supplied, validated
+ * host authority is a TCB input. No wire label, event, receipt-shaped payload or environment is trust. */
+export declare function projectWorkAcceptance(index: WorkReplayIndex, structure: ReturnType<typeof resolveWorkSnapshotText>, authority: WorkFrozen<WorkProjectionContext>["authority"], runtime: ReturnType<typeof foldWorkOccurrences>): {
+    obligations: {
+        readonly binding: {
+            readonly intent: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+            readonly obligation: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+            readonly artifact: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            } | null;
+            readonly policy: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+        };
+        readonly acceptance: import("./work-ledger-types.ts").WorkAcceptanceState;
+        readonly artifactCoverage: {
+            readonly state: WorkAvailability | "unselected";
+            readonly items: readonly {
+                readonly kind: "artifact" | "evidence";
+                readonly identity: {
+                    readonly id: string;
+                    readonly digest: string;
+                };
+                readonly state: WorkAvailability;
+            }[];
+        };
+        readonly evidenceCoverage: {
+            readonly state: WorkAvailability | "unselected";
+            readonly items: readonly {
+                readonly kind: "artifact" | "evidence";
+                readonly identity: {
+                    readonly id: string;
+                    readonly digest: string;
+                };
+                readonly state: WorkAvailability;
+            }[];
+        };
+        readonly claims: readonly {
+            readonly eventId: string;
+            readonly digest: string;
+        }[];
+        readonly problems: readonly {
+            readonly code: import("./work-ledger-types.ts").WorkResolutionCode;
+            readonly reference: {
+                readonly type: "revision";
+                readonly ref: {
+                    readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                    readonly id: string;
+                    readonly revision: number;
+                    readonly digest: string;
+                };
+            } | {
+                readonly type: "event";
+                readonly ref: {
+                    readonly eventId: string;
+                    readonly digest: string;
+                };
+            } | {
+                readonly type: "snapshot" | "authority" | "artifact-bytes" | "evidence-bytes";
+                readonly ref: {
+                    readonly id: string;
+                    readonly digest: string;
+                };
+            } | {
+                readonly type: "execution";
+                readonly id: string;
+            } | null;
+            readonly affectedObligations: readonly {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            }[];
+        }[];
+    }[];
+    claims: {
+        readonly claim: {
+            readonly eventId: string;
+            readonly digest: string;
+        };
+        readonly obligation: {
+            readonly kind: import("./work-ledger-types.ts").RevisionKind;
+            readonly id: string;
+            readonly revision: number;
+            readonly digest: string;
+        };
+        readonly applicability: import("./work-ledger-types.ts").WorkAcceptanceState | "superseded";
+        readonly matchedReceiptIds: readonly string[];
+        readonly problems: readonly {
+            readonly code: import("./work-ledger-types.ts").WorkResolutionCode;
+            readonly reference: {
+                readonly type: "revision";
+                readonly ref: {
+                    readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                    readonly id: string;
+                    readonly revision: number;
+                    readonly digest: string;
+                };
+            } | {
+                readonly type: "event";
+                readonly ref: {
+                    readonly eventId: string;
+                    readonly digest: string;
+                };
+            } | {
+                readonly type: "snapshot" | "authority" | "artifact-bytes" | "evidence-bytes";
+                readonly ref: {
+                    readonly id: string;
+                    readonly digest: string;
+                };
+            } | {
+                readonly type: "execution";
+                readonly id: string;
+            } | null;
+            readonly affectedObligations: readonly {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            }[];
+        }[];
+    }[];
+    supersededClaims: number;
+    conflicts: {
+        readonly kind: "event" | "receipt";
+        readonly id: string;
+        readonly digests: readonly string[];
+        readonly affectedObligations: readonly {
+            readonly kind: import("./work-ledger-types.ts").RevisionKind;
+            readonly id: string;
+            readonly revision: number;
+            readonly digest: string;
+        }[];
+    }[];
+    problems: {
+        readonly code: import("./work-ledger-types.ts").WorkResolutionCode;
+        readonly reference: {
+            readonly type: "revision";
+            readonly ref: {
+                readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                readonly id: string;
+                readonly revision: number;
+                readonly digest: string;
+            };
+        } | {
+            readonly type: "event";
+            readonly ref: {
+                readonly eventId: string;
+                readonly digest: string;
+            };
+        } | {
+            readonly type: "snapshot" | "authority" | "artifact-bytes" | "evidence-bytes";
+            readonly ref: {
+                readonly id: string;
+                readonly digest: string;
+            };
+        } | {
+            readonly type: "execution";
+            readonly id: string;
+        } | null;
+        readonly affectedObligations: readonly {
+            readonly kind: import("./work-ledger-types.ts").RevisionKind;
+            readonly id: string;
+            readonly revision: number;
+            readonly digest: string;
+        }[];
+    }[];
+    progress: {
+        accepted: number;
+        total: number;
+    };
+};
+export {};
+//# sourceMappingURL=work-ledger-projection.d.ts.map

package/dist/work-ledger-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-projection.d.ts","sourceRoot":"","sources":["../src/work-ledger-projection.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,qBAAqB,EAEhE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACvF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAExE,KAAK,YAAY,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;AAEhD;;;;;GAKG;AACH,UAAU,eAAe;IACvB,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;IAC9C,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAC;IAC7C,oGAAoG;IACpG,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChE,gGAAgG;IAChG,QAAQ,CAAC,oBAAoB,EAAE,aAAa,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IACtE,sGAAsG;IACtG,QAAQ,CAAC,eAAe,EAAE;QACxB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7D,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;KAC5E,CAAC;IACF,uGAAuG;IACvG,QAAQ,CAAC,eAAe,EAAE,SAAS,YAAY,EAAE,CAAC;CACnD;AAYD,KAAK,OAAO,GAAG,IAAI,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;AAMxD,0GAA0G;AAC1G,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,EAAE,CAE3H;AACD,4FAA4F;AAC5F,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,WAAW,CAAC,GAAG,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,CAEzH;AAUD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAiDjE;AAYD,iGAAiG;AACjG,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,UAAU,CAAC,qBAAqB,CAAC,CAAC,WAAW,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa1F;AAED;0GAC0G;AAC1G,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,CAAC,OAAO,uBAAuB,CAAC,EACjH,SAAS,EAAE,UAAU,CAAC,qBAAqB,CAAC,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,mBAAmB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6G3G"}

package/dist/work-ledger-projection.js

@@ -0,0 +1,237 @@
+import { parseWorkLedgerText } from "./work-ledger.js";
+import { canonicalWorkJson, freezeWork, workDigest, workResultKey as key, sortWorkResults as unique, mergeWorkProblems, mergeWorkConflicts } from "./work-ledger-json.js";
+const revisionIdentity = ({ kind, id, revision, digest }) => key(["revision", kind, id, revision, digest]);
+/** The ONLY nested identity definition. Claims deliberately have no nested quarantine identity. */
+function nestedIdentity(event) {
+    switch (event.event) {
+        case "work_revision": return revisionIdentity(event.payload.revision);
+        case "work_snapshot": return key(["snapshot", event.payload.snapshot.snapshotId, event.payload.snapshot.digest]);
+        case "work_occurrence": return key(["occurrence", event.payload]);
+        case "work_acceptance": return null;
+    }
+}
+function sourceIds(index, event) {
+    const nested = "event" in event ? nestedIdentity(event) : null;
+    return [...(index.conflictSources.events[key(event.eventId)] ? [event.eventId] : []),
+        ...(nested === null ? [] : index.conflictSources.bodies[nested] ?? [])];
+}
+/** @internal Only index-derived validated events/references. Raw alternatives remain diagnostic input. */
+export function workEventConflictSources(index, event) {
+    return unique(unique(sourceIds(index, event)).flatMap(id => index.conflictSources.events[key(id)]));
+}
+/** @internal Exact revision references need not have a clean delivery to be quarantined. */
+export function workRevisionConflictSources(index, ref) {
+    return unique((index.conflictSources.bodies[revisionIdentity(ref)] ?? []).flatMap(id => index.conflictSources.events[key(id)]));
+}
+function sorted(values) {
+    // Canonicalize individual rows, not the aggregate. A valid 10,000-record input can have
+    // more than 256 candidates/conflicts; the per-wire-array bound must not truncate replay.
+    return [...values].map(value => ({ value, key: canonicalWorkJson(value) }))
+        .sort((a, b) => a.key < b.key ? -1 : a.key > b.key ? 1 : 0)
+        .map(entry => entry.value);
+}
+/**
+ * @internal Strict text -> complete delivery grouping -> quarantine -> effective evidence.
+ * Deliberately not re-exported by work-ledger.ts: this is not an unchecked public projector.
+ * Raw serialized/archival byte hashes play no role in semantic delivery identity.
+ */
+export function indexWorkLedgerText(text) {
+    const ingestion = parseWorkLedgerText(text);
+    const groups = new Map();
+    for (const event of ingestion.events) {
+        let group = groups.get(event.eventId);
+        if (!group) {
+            group = new Map();
+            groups.set(event.eventId, group);
+        }
+        if (!group.has(event.digest)) {
+            // Equal canonical digests can arrive with different property insertion orders. Normalize
+            // the validated body so even serialized index output does not choose an arrival's key order.
+            // Parse ONLY our own canonical emission, never raw input. Strict ingestion already checked
+            // duplicates, domains and digests. JCS can expand exact exponent tokens beyond the delivered
+            // text size, so applying the raw-line byte bound again here would reject valid evidence.
+            const normalized = JSON.parse(canonicalWorkJson(event));
+            group.set(event.digest, freezeWork(normalized));
+        }
+    }
+    const conflictingEvents = [];
+    const quarantined = new Map(); // Retained diagnostic view, not a second quarantine policy.
+    const bodies = new Map(), eventGroups = new Map();
+    for (const [eventId, group] of groups) {
+        if (group.size < 2)
+            continue;
+        eventGroups.set(key(eventId), sorted([...group.values()].map(event => ({ eventId, digest: event.digest }))));
+        for (const event of group.values()) {
+            conflictingEvents.push({ eventId, digest: event.digest });
+            const identity = nestedIdentity(event);
+            if (identity !== null) {
+                const ids = bodies.get(identity) ?? new Set();
+                ids.add(eventId);
+                bodies.set(identity, ids);
+            }
+            if (event.event === "work_revision") {
+                const { kind, id, revision, digest } = event.payload.revision;
+                // Ingestion verified that this digest covers the entire revision, including kind/ID/scope.
+                // Quarantine exact bodies, not every fork or successor sharing a stable entity ID.
+                quarantined.set(digest, { kind, id, revision, digest });
+            }
+        }
+    }
+    const candidates = sorted([...groups.values()].flatMap(group => [...group.values()]));
+    const byKey = (map) => [...map].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0);
+    const conflictSources = { bodies: Object.fromEntries(byKey(bodies).map(([identity, ids]) => [identity, [...ids].sort()])),
+        events: Object.fromEntries(byKey(eventGroups)) };
+    // All existing nested identities use the same source index before any effective evidence is exposed.
+    const effectiveEvents = ingestion.complete ? candidates.filter(event => !sourceIds({ conflictSources }, event).length) : [];
+    return freezeWork({
+        ingestion, candidates, conflictingEvents: sorted(conflictingEvents), conflictSources,
+        quarantinedRevisions: sorted(quarantined.values()), effectiveEvents,
+    });
+}
+const eventRef = (event) => ({ eventId: event.eventId, digest: event.digest });
+const eventReference = (event) => ({ type: "event", ref: eventRef(event) });
+const isConflict = (p) => p.code.endsWith("CONFLICT");
+function coverage(items) {
+    const state = ["conflicted", "unavailable", "unknown"].find(s => items.some(item => item.state === s));
+    return { state: state ?? (items.length ? "available" : "unknown"), items: unique(items) };
+}
+/** @internal Global receipt identity diagnostics exist even without a resolved work selector. */
+export function indexWorkReceipts(authority) {
+    const receipts = new Map();
+    const conflicts = [];
+    for (const d of authority?.decisions ?? []) {
+        const group = receipts.get(d.receiptId) ?? new Map();
+        // Complete decision + enclosing authority snapshot; diagnostic identity, NOT authentication.
+        group.set(workDigest({ authoritySnapshot: authority.snapshot, ...d }), d);
+        receipts.set(d.receiptId, group);
+    }
+    for (const [id, group] of receipts)
+        if (group.size > 1) {
+            conflicts.push({ kind: "receipt", id, digests: unique(group.keys()), affectedObligations: [] });
+        }
+    return { receipts, conflicts: unique(conflicts) };
+}
+/** @internal Conditional binding proof, not authentication. Only the separately supplied, validated
+ * host authority is a TCB input. No wire label, event, receipt-shaped payload or environment is trust. */
+export function projectWorkAcceptance(index, structure, authority, runtime) {
+    const snapshot = structure.snapshot;
+    const claims = [], obligations = [];
+    const problems = [...structure.problems];
+    const conflicts = [...structure.conflicts, ...runtime.conflicts];
+    const eventConflicts = new Set(index.conflictingEvents.map(e => e.eventId));
+    const events = new Map(index.candidates.map(e => [key(eventRef(e)), e]));
+    const receiptIndex = indexWorkReceipts(authority), { receipts } = receiptIndex;
+    conflicts.push(...receiptIndex.conflicts);
+    const decisions = [...receipts.values()].filter(g => g.size === 1).flatMap(g => [...g.values()]);
+    function available(kind, id, digest) {
+        const values = unique((authority?.availability ?? []).filter(row => row.kind === kind && row.id === id && row.digest === digest).map(row => row.available));
+        const state = values.length > 1 ? "conflicted" : values.length === 0 ? "unknown" : values[0] ? "available" : "unavailable";
+        return { kind, identity: { id, digest }, state };
+    }
+    const allClaims = index.candidates.filter((e) => e.event === "work_acceptance");
+    function sourceProblems(ref, affected) {
+        const result = [];
+        const found = events.get(key(ref));
+        for (const event of workEventConflictSources(index, found ?? ref)) {
+            result.push({ code: "EVENT_CONFLICT", reference: { type: "event", ref: event }, affectedObligations: affected });
+        }
+        if (!found)
+            result.push({ code: "REFERENCE_MISSING", reference: { type: "event", ref }, affectedObligations: affected });
+        for (const p of runtime.eventProblems.get(key(ref)) ?? [])
+            result.push({ ...p, affectedObligations: affected });
+        return mergeWorkProblems(result);
+    }
+    for (const row of structure.obligations) {
+        const binding = row.binding, affected = [binding.obligation];
+        const problem = (code, reference) => ({ code, reference, affectedObligations: affected });
+        const inventoryProblem = problem("ARTIFACT_UNSELECTED", { type: "revision", ref: binding.obligation });
+        const blockers = [...row.problems, ...(binding.artifact === null ? [inventoryProblem] : [])];
+        const selectedClaims = allClaims.filter(e => e.payload.binding.scope.id === snapshot.scope.id && e.payload.binding.obligation.id === binding.obligation.id);
+        const applicable = (claim) => {
+            const b = claim.payload.binding;
+            return key(b.snapshot) === key(structure.selectedSnapshot) && key(b.scope) === key(snapshot.scope) &&
+                key(b.intent) === key(binding.intent) && key(b.obligation) === key(binding.obligation) &&
+                key(b.artifact) === key(binding.artifact) && key(b.policy) === key(binding.policy);
+        };
+        const current = selectedClaims.filter(applicable);
+        const currentRefs = new Set(current.map(e => key(eventRef(e))));
+        for (const e of current)
+            if (eventConflicts.has(e.eventId)) {
+                blockers.push(...index.conflictingEvents.filter(ref => ref.eventId === e.eventId).map(ref => problem("EVENT_CONFLICT", { type: "event", ref })));
+            }
+        for (const [id, group] of receipts)
+            if (group.size > 1 && [...group.values()].some(d => currentRefs.has(key(d.claim)))) {
+                conflicts.push({ kind: "receipt", id, digests: unique(group.keys()), affectedObligations: affected });
+                blockers.push(problem("RECEIPT_CONFLICT", { type: "authority", ref: authority.snapshot }));
+            }
+        const artifactItems = row.artifact ? [available("artifact", row.artifact.id, row.artifact.contentDigest)] : [];
+        const artifactCoverage = binding.artifact === null ? { state: "unselected", items: [] } : coverage(artifactItems);
+        const evidenceCoverage = coverage(unique(current.flatMap(e => e.payload.binding.evidence.map(ref => available("evidence", ref.id, ref.digest)))));
+        function coverageProblems(items) {
+            return items.filter(item => item.state !== "available").map(item => problem(item.state === "conflicted" ? "AVAILABILITY_CONFLICT" : item.state === "unavailable" ? "BYTES_UNAVAILABLE" : "AVAILABILITY_MISSING", { type: item.kind === "artifact" ? "artifact-bytes" : "evidence-bytes", ref: item.identity }));
+        }
+        const rowClaims = [];
+        const trustedDecisions = new Set();
+        for (const claim of selectedClaims) {
+            if (eventConflicts.has(claim.eventId))
+                continue; // No first/last winner row, even for a favorable exact alternative.
+            if (!applicable(claim)) {
+                rowClaims.push({ claim: eventRef(claim), obligation: claim.payload.binding.obligation, applicability: "superseded",
+                    matchedReceiptIds: [], problems: [problem("SUPERSEDED_BINDING", eventReference(claim))] });
+                continue;
+            }
+            const b = claim.payload.binding;
+            const local = [];
+            const bytesMatch = row.artifact !== null && b.artifactDigest === row.artifact.contentDigest;
+            if (row.artifact && !bytesMatch)
+                local.push(problem("ARTIFACT_DIGEST_MISMATCH", { type: "artifact-bytes", ref: { id: row.artifact.id, digest: b.artifactDigest } }));
+            if (!row.artifact && binding.artifact)
+                local.push(problem("REFERENCE_MISSING", { type: "revision", ref: binding.artifact }));
+            const matching = decisions.filter(d => bytesMatch && key(d.claim) === key(eventRef(claim)) &&
+                d.authorityId === claim.payload.authorityId && key(d.binding) === key(b));
+            for (const d of matching)
+                trustedDecisions.add(d.decision);
+            if (!authority)
+                local.push(problem("AUTHORITY_MISSING", null));
+            else if (!matching.length)
+                local.push(problem(decisions.some(d => d.claim.eventId === claim.eventId) ? "RECEIPT_MISMATCH" : "RECEIPT_MISSING", eventReference(claim)));
+            const support = b.evidence.flatMap(ref => ref.event ? sourceProblems(ref.event, affected) : []);
+            const availabilityProblems = coverageProblems([...artifactItems, ...b.evidence.map(ref => available("evidence", ref.id, ref.digest))]);
+            local.push(...support, ...availabilityProblems);
+            // Only EXACT matching current trusted decisions root global support conflicts. Missing trust,
+            // wrong bytes and superseded/mismatched receipts cannot turn an unsupported sibling into a veto.
+            if (matching.length)
+                blockers.push(...support.filter(isConflict), ...availabilityProblems.filter(isConflict));
+            const rejection = matching.some(d => d.decision === "reject");
+            rowClaims.push({ claim: eventRef(claim), obligation: b.obligation,
+                applicability: rejection ? "unaccepted" : matching.some(d => d.decision === "accept") && local.length === 0 ? "accepted-under-supplied-authority" : "unresolved",
+                matchedReceiptIds: unique(matching.map(d => d.receiptId)),
+                problems: rejection ? [problem("TRUSTED_REJECTION", eventReference(claim))] : mergeWorkProblems(local),
+            });
+        }
+        if (trustedDecisions.size > 1)
+            blockers.push(problem("DECISION_CONFLICT", { type: "revision", ref: binding.obligation }));
+        const blocked = mergeWorkProblems(blockers);
+        for (const p of blocked)
+            if (p.code === "EVENT_CONFLICT" && p.reference?.type === "event") {
+                const id = p.reference.ref.eventId;
+                conflicts.push({ kind: "event", id, digests: index.conflictingEvents.filter(e => e.eventId === id).map(e => e.digest), affectedObligations: affected });
+            }
+        const finalClaims = rowClaims.map(c => blocked.length && c.applicability !== "superseded" ? { ...c, applicability: "unresolved", problems: blocked } : c);
+        const accepted = finalClaims.some(c => c.applicability === "accepted-under-supplied-authority");
+        const rejected = finalClaims.some(c => c.applicability === "unaccepted");
+        const unresolved = finalClaims.filter(c => c.applicability === "unresolved");
+        const acceptance = blocked.length ? "unresolved" : accepted ? "accepted-under-supplied-authority" : rejected ? "unaccepted" : unresolved.length ? "unresolved" : "unaccepted";
+        const obligationProblems = blocked.length ? blocked : accepted ? [] : rejected ?
+            finalClaims.filter(c => c.applicability === "unaccepted").flatMap(c => c.problems) : unresolved.length ? unresolved.flatMap(c => c.problems) :
+            [problem("NO_CLAIM", { type: "revision", ref: binding.obligation })];
+        obligations.push({ binding, acceptance, artifactCoverage, evidenceCoverage, claims: unique(finalClaims.map(c => c.claim)), problems: mergeWorkProblems(obligationProblems) });
+        claims.push(...finalClaims);
+        problems.push(...obligationProblems, ...finalClaims.flatMap(c => c.problems));
+    }
+    return { obligations: unique(obligations), claims: unique(claims), supersededClaims: claims.filter(c => c.applicability === "superseded").length,
+        conflicts: mergeWorkConflicts(conflicts), problems: mergeWorkProblems([...problems, ...runtime.problems]),
+        progress: { accepted: obligations.filter(o => o.acceptance === "accepted-under-supplied-authority").length, total: obligations.length },
+    };
+}
+//# sourceMappingURL=work-ledger-projection.js.map

package/dist/work-ledger-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-projection.js","sourceRoot":"","sources":["../src/work-ledger-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,IAAI,GAAG,EAAE,eAAe,IAAI,MAAM,EACjG,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAgCvE,MAAM,gBAAgB,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAA2B,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AACpI,mGAAmG;AACnG,SAAS,cAAc,CAAC,KAAmB;IACzC,QAAQ,KAAK,CAAC,KAAK,EAAE,CAAC;QACpB,KAAK,eAAe,CAAC,CAAC,OAAO,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtE,KAAK,eAAe,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACjH,KAAK,iBAAiB,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,KAAK,iBAAiB,CAAC,CAAC,OAAO,IAAI,CAAC;IACtC,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAA0C;IAC3E,MAAM,MAAM,GAAG,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAC5E,CAAC;AACD,0GAA0G;AAC1G,MAAM,UAAU,wBAAwB,CAAC,KAAc,EAAE,KAA0C;IACjG,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACtG,CAAC;AACD,4FAA4F;AAC5F,MAAM,UAAU,2BAA2B,CAAC,KAAc,EAAE,GAA4B;IACtF,OAAO,MAAM,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAClI,CAAC;AAED,SAAS,MAAM,CAAI,MAAmB;IACpC,wFAAwF;IACxF,yFAAyF;IACzF,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;SACxE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC1D,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrC,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,EAAE,CAAC;YAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAAC,CAAC;QACpE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,yFAAyF;YACzF,6FAA6F;YAC7F,2FAA2F;YAC3F,6FAA6F;YAC7F,yFAAyF;YACzF,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAoB,CAAC;YAC3E,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAe,EAAE,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC,CAAC,4DAA4D;IAChH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,EAAE,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC3F,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;YAAE,SAAS;QAC7B,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7G,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACnC,iBAAiB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACtB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;gBACtD,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC9C,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;gBACpC,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAC9D,2FAA2F;gBAC3F,mFAAmF;gBACnF,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,CAAI,GAAmB,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,eAAe,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvH,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;IACnD,qGAAqG;IACrG,MAAM,eAAe,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5H,OAAO,UAAU,CAAC;QAChB,SAAS,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,eAAe;QACpF,oBAAoB,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,eAAe;KACpE,CAAC,CAAC;AACL,CAAC;AAID,MAAM,QAAQ,GAAG,CAAC,KAAmB,EAAY,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AACvG,MAAM,cAAc,GAAG,CAAC,KAAmB,EAA6B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACrH,MAAM,UAAU,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC/D,SAAS,QAAQ,CAAC,KAA8C;IAC9D,MAAM,KAAK,GAAI,CAAC,YAAY,EAAE,aAAa,EAAE,SAAS,CAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IAClH,OAAO,EAAE,KAAK,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAAC,SAAyD;IAEzF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC1D,MAAM,SAAS,GAA+B,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,SAAS,IAAI,EAAE,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAoB,CAAC;QACvE,6FAA6F;QAC7F,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,iBAAiB,EAAE,SAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC/G,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,QAAQ;QAAE,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvD,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,CAAC;QAClG,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;AACpD,CAAC;AAED;0GAC0G;AAC1G,MAAM,UAAU,qBAAqB,CAAC,KAAsB,EAAE,SAAqD,EACjH,SAAyD,EAAE,OAA+C;IAC1G,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAS,CAAC;IACrC,MAAM,MAAM,GAAkC,EAAE,EAAE,WAAW,GAAuC,EAAE,CAAC;IACvG,MAAM,QAAQ,GAAc,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,SAAS,GAA+B,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAC7F,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,YAAY,GAAG,iBAAiB,CAAC,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC;IAC/E,SAAS,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjG,SAAS,SAAS,CAAC,IAA6B,EAAE,EAAU,EAAE,MAAc;QAC1E,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,SAAS,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5J,MAAM,KAAK,GAAqB,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC;QAC7I,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC;IACnD,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAc,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,iBAAiB,CAAC,CAAC;IAC5F,SAAS,cAAc,CAAC,GAAyB,EAAE,QAA4C;QAC7F,MAAM,MAAM,GAAc,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,wBAAwB,CAAC,KAAK,EAAE,KAAK,IAAI,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;QACnH,CAAC;QACD,IAAI,CAAC,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzH,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChH,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,EAAE,QAAQ,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,CAAC,IAAyB,EAAE,SAA2C,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1J,MAAM,gBAAgB,GAAG,OAAO,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;QACvG,MAAM,QAAQ,GAAc,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxG,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC5J,MAAM,UAAU,GAAG,CAAC,KAAY,EAAE,EAAE;YAClC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAChC,OAAO,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAChG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;gBACtF,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvF,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3D,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACnJ,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,QAAQ;YAAE,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvH,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACtG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,SAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC9F,CAAC;QACD,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/G,MAAM,gBAAgB,GAA6B,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC5I,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClJ,SAAS,gBAAgB,CAAC,KAA8C;YACtE,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CACzE,IAAI,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,sBAAsB,EACnI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,CAC7F,CAAC,CAAC;QACL,CAAC;QACD,MAAM,SAAS,GAAkC,EAAE,CAAC;QACpD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACnC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;gBAAE,SAAS,CAAC,oEAAoE;YACrH,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,aAAa,EAAE,YAAY;oBAChH,iBAAiB,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC7F,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAChC,MAAM,KAAK,GAAc,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,cAAc,KAAK,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC;YAC5F,IAAI,GAAG,CAAC,QAAQ,IAAI,CAAC,UAAU;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,0BAA0B,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC;YACrK,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC7H,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACxF,CAAC,CAAC,WAAW,KAAK,KAAK,CAAC,OAAO,CAAC,WAAW,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5E,KAAK,MAAM,CAAC,IAAI,QAAQ;gBAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC3D,IAAI,CAAC,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC1D,IAAI,CAAC,QAAQ,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,iBAAiB,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACvK,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAChG,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACvI,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,oBAAoB,CAAC,CAAC;YAChD,8FAA8F;YAC9F,iGAAiG;YACjG,IAAI,QAAQ,CAAC,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;YAC9G,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;YAC9D,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU;gBAC/D,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,YAAY;gBAChK,iBAAiB,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBACzD,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC;aACvG,CAAC,CAAC;QACL,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1H,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1F,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;gBACnC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC1J,CAAC;QACD,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,aAAa,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,aAAa,EAAE,YAAqB,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnK,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,mCAAmC,CAAC,CAAC;QAChG,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,YAAY,CAAC,CAAC;QACzE,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,YAAY,CAAC,CAAC;QAC7E,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC;QAC9K,MAAM,kBAAkB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC9E,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC5I,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACzE,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;QAC9K,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,kBAAkB,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7G,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,YAAY,CAAC,CAAC,MAAM;QAC9I,SAAS,EAAE,kBAAkB,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzG,QAAQ,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,mCAAmC,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE;KACxI,CAAC;AACJ,CAAC"}

package/dist/work-ledger-snapshot.d.ts

@@ -0,0 +1,29 @@
+import { type EventRef, type Identity, type ObligationBinding, type WorkConflict, type WorkDiagnostic, type WorkFrozen, type WorkProblem, type WorkRevision, type WorkSnapshot } from "./work-ledger-types.ts";
+type Revision = WorkFrozen<WorkRevision>;
+type Problem = WorkFrozen<WorkProblem>;
+/** Internal shape of WorkProjectionContext.selectedSnapshot, not an authority context. */
+interface Selection {
+    snapshot: Identity;
+    event: EventRef;
+}
+/** Internal structural result only. Never a substitute for WorkProjection/acceptance/runtime. */
+interface SnapshotResolution {
+    readonly scopeState: "unselected" | "valid" | "unresolved" | "invalid";
+    readonly selectedSnapshot: WorkFrozen<Identity> | null;
+    readonly snapshot: WorkFrozen<WorkSnapshot> | null;
+    readonly scope: Revision | null;
+    readonly revisions: readonly Revision[];
+    readonly obligations: ReadonlyArray<{
+        readonly binding: WorkFrozen<ObligationBinding>;
+        readonly revision: Revision;
+        readonly artifact: Revision | null;
+        readonly problems: readonly Problem[];
+    }>;
+    readonly problems: readonly Problem[];
+    readonly conflicts: ReadonlyArray<WorkFrozen<WorkConflict>>;
+    readonly errors: ReadonlyArray<WorkFrozen<WorkDiagnostic>>;
+}
+/** @internal Real builder/text/index/selector path. No unchecked parsed-object projection entry. */
+export declare function resolveWorkSnapshotText(text: string, requested?: WorkFrozen<Selection> | null): SnapshotResolution;
+export {};
+//# sourceMappingURL=work-ledger-snapshot.d.ts.map

package/dist/work-ledger-snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-snapshot.d.ts","sourceRoot":"","sources":["../src/work-ledger-snapshot.ts"],"names":[],"mappings":"AAGA,OAAO,EACW,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAE,KAAK,iBAAiB,EACpE,KAAK,YAAY,EAAE,KAAK,cAAc,EAAE,KAAK,UAAU,EAAE,KAAK,WAAW,EAChD,KAAK,YAAY,EAAE,KAAK,YAAY,EAC9D,MAAM,wBAAwB,CAAC;AAGhC,KAAK,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;AACzC,KAAK,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;AACvC,0FAA0F;AAC1F,UAAU,SAAS;IAAG,QAAQ,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE;AAC3D,iGAAiG;AACjG,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,UAAU,EAAE,YAAY,GAAG,OAAO,GAAG,YAAY,GAAG,SAAS,CAAC;IACvE,QAAQ,CAAC,gBAAgB,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAChD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;QACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;KACvC,CAAC,CAAC;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;CAC5D;AAqBD,oGAAoG;AACpG,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,GAAE,UAAU,CAAC,SAAS,CAAC,GAAG,IAAW,GAAG,kBAAkB,CAiMxH"}