pi-daddy 0.22.0 → 0.24.0

package/dist/work-ledger-json.js

@@ -0,0 +1,267 @@
+import { createHash } from "node:crypto";
+import { WorkInputError } from "./work-ledger-types.js";
+export const WORK_EVENT_BYTES = 64 * 1024;
+export const WORK_TEXT_BYTES = 16 * 1024 * 1024;
+export const WORK_RECORDS = 10_000;
+const MAX_DEPTH = 16;
+const MAX_ARRAY = 256;
+const invalid = () => { throw new WorkInputError("WORK_SCHEMA_INVALID"); };
+const limit = () => { throw new WorkInputError("WORK_LIMIT_EXCEEDED"); };
+function unicode(value) {
+    // RFC 8785 refuses lone UTF-16 surrogates, including ones decoded from escapes.
+    for (let i = 0; i < value.length; i++) {
+        const code = value.charCodeAt(i);
+        if (code >= 0xd800 && code <= 0xdbff) {
+            const next = value.charCodeAt(++i);
+            if (!(next >= 0xdc00 && next <= 0xdfff))
+                invalid();
+        }
+        else if (code >= 0xdc00 && code <= 0xdfff)
+            invalid();
+    }
+    return value;
+}
+/** Inspect descriptors rather than serializing: no getters/toJSON or lossy JSON coercion. */
+export function ownWorkFields(value) {
+    if (value === null || typeof value !== "object" || Array.isArray(value))
+        invalid();
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null)
+        invalid();
+    const descriptors = Object.getOwnPropertyDescriptors(value);
+    for (const key of Reflect.ownKeys(descriptors)) {
+        if (typeof key !== "string")
+            return invalid();
+        const descriptor = descriptors[key];
+        if (!Object.hasOwn(descriptor, "value") || !descriptor.enumerable)
+            invalid();
+        unicode(key);
+    }
+    return descriptors;
+}
+/** Detach only the approved JSON value profile, before any serialization or validation use. */
+export function copyWorkJson(value) {
+    const ancestors = new Set();
+    function copy(v, depth) {
+        if (v === null || typeof v === "boolean")
+            return v;
+        if (typeof v === "string")
+            return unicode(v);
+        if (typeof v === "number")
+            return Number.isSafeInteger(v) ? v : invalid();
+        if (typeof v !== "object")
+            return invalid();
+        if (depth > MAX_DEPTH)
+            limit();
+        if (ancestors.has(v))
+            invalid();
+        ancestors.add(v);
+        let result;
+        if (Array.isArray(v)) {
+            if (Object.getPrototypeOf(v) !== Array.prototype)
+                invalid();
+            if (v.length > MAX_ARRAY)
+                limit();
+            const fields = Object.getOwnPropertyDescriptors(v);
+            if (Reflect.ownKeys(fields).length !== v.length + 1)
+                invalid();
+            result = [];
+            for (let i = 0; i < v.length; i++) {
+                const d = fields[String(i)];
+                if (!d || !Object.hasOwn(d, "value") || !d.enumerable)
+                    invalid();
+                result.push(copy(d.value, depth + 1));
+            }
+        }
+        else {
+            const fields = ownWorkFields(v);
+            result = {};
+            for (const key of Object.keys(fields)) {
+                Object.defineProperty(result, key, { value: copy(fields[key].value, depth + 1), enumerable: true, writable: true, configurable: true });
+            }
+        }
+        ancestors.delete(v);
+        return result;
+    }
+    return copy(value, 1);
+}
+/** Exact decimal arithmetic BEFORE Number conversion, without unbounded exponent allocation. */
+function integerToken(token) {
+    const match = /^(-?)(\d+)(?:\.(\d+))?(?:[eE]([+-]?\d+))?$/.exec(token);
+    let digits = (match[2] + (match[3] ?? "")).replace(/^0+/, "");
+    if (!digits)
+        return 0;
+    let shift = BigInt(match[4] ?? "0") - BigInt((match[3] ?? "").length);
+    const trailing = /0*$/.exec(digits)[0].length;
+    digits = digits.slice(0, digits.length - trailing);
+    shift += BigInt(trailing);
+    if (shift < 0n || BigInt(digits.length) + shift > 16n)
+        invalid();
+    const exact = BigInt(digits) * (10n ** shift);
+    if (exact > BigInt(Number.MAX_SAFE_INTEGER))
+        invalid();
+    return Number(match[1] === "-" ? -exact : exact);
+}
+function checkMembers(node) {
+    if (node.type === "object") {
+        const names = new Set();
+        for (const [key, child] of node.entries) {
+            if (names.has(key))
+                throw new WorkInputError("WORK_DUPLICATE_MEMBER");
+            names.add(key);
+            checkMembers(child);
+        }
+    }
+    else if (node.type === "array")
+        node.items.forEach(checkMembers);
+}
+function materialize(node) {
+    if (node.type === "number")
+        return integerToken(node.token);
+    if (node.type === "literal")
+        return typeof node.value === "string" ? unicode(node.value) : node.value;
+    if (node.type === "array")
+        return node.items.map(materialize);
+    return Object.fromEntries(node.entries.map(([key, child]) => [unicode(key), materialize(child)]));
+}
+/** Bounded syntax tree: syntax, decoded duplicates, then exact numeric/string profile. */
+export function parseWorkJson(text) {
+    if (typeof text !== "string")
+        invalid();
+    if (Buffer.byteLength(text, "utf8") > WORK_EVENT_BYTES)
+        limit();
+    let at = 0;
+    const syntax = () => { throw new WorkInputError("WORK_JSON_INVALID"); };
+    const whitespace = () => { while (at < text.length && /[ \t\r\n]/.test(text[at]))
+        at++; };
+    function string() {
+        const start = at++;
+        while (at < text.length) {
+            const char = text[at++];
+            if (char === '"') {
+                // JSON.parse is used ONLY for one lexically delimited string token, never an object.
+                return JSON.parse(text.slice(start, at));
+            }
+            if (char.charCodeAt(0) < 0x20)
+                syntax();
+            if (char === "\\") {
+                const escape = text[at++];
+                if (escape === "u") {
+                    if (!/^[0-9a-fA-F]{4}$/.test(text.slice(at, at + 4)))
+                        syntax();
+                    at += 4;
+                }
+                else if (!escape || !'"\\/bfnrt'.includes(escape))
+                    syntax();
+            }
+        }
+        return syntax();
+    }
+    function value(depth) {
+        whitespace();
+        const char = text[at];
+        if (char === '"')
+            return { type: "literal", value: string() };
+        if (char === "{" || char === "[") {
+            if (depth > MAX_DEPTH)
+                limit();
+            at++;
+            whitespace();
+            const object = char === "{";
+            const end = object ? "}" : "]";
+            const entries = [];
+            const items = [];
+            if (text[at] !== end)
+                for (;;) {
+                    whitespace();
+                    let key = "";
+                    if (object) {
+                        if (text[at] !== '"')
+                            syntax();
+                        key = string();
+                        whitespace();
+                        if (text[at++] !== ":")
+                            syntax();
+                    }
+                    else if (items.length >= MAX_ARRAY)
+                        limit();
+                    const child = value(depth + 1);
+                    if (object)
+                        entries.push([key, child]);
+                    else
+                        items.push(child);
+                    whitespace();
+                    if (text[at] === end)
+                        break;
+                    if (text[at++] !== ",")
+                        syntax();
+                }
+            at++;
+            return object ? { type: "object", entries } : { type: "array", items };
+        }
+        for (const [token, literal] of [["null", null], ["true", true], ["false", false]]) {
+            if (text.startsWith(token, at)) {
+                at += token.length;
+                return { type: "literal", value: literal };
+            }
+        }
+        const token = /^-?(?:0|[1-9]\d*)(?:\.\d+)?(?:[eE][+-]?\d+)?/.exec(text.slice(at));
+        if (!token)
+            return syntax();
+        at += token[0].length;
+        return { type: "number", token: token[0] };
+    }
+    const result = value(1);
+    whitespace();
+    if (at !== text.length)
+        syntax();
+    checkMembers(result);
+    return materialize(result);
+}
+function emit(value) {
+    if (value === null || typeof value !== "object")
+        return JSON.stringify(value);
+    if (Array.isArray(value))
+        return `[${value.map(emit).join(",")}]`;
+    // Emit keys directly: reconstructing a JS object would reorder numeric-looking keys.
+    return `{${Object.keys(value).sort().map(key => `${JSON.stringify(key)}:${emit(value[key])}`).join(",")}}`;
+}
+/** RFC 8785 emission restricted to our validated JSON profile; not an archival-byte identity. */
+export function canonicalWorkJson(value) { return emit(copyWorkJson(value)); }
+export function workDigest(value) {
+    return createHash("sha256").update(canonicalWorkJson(value), "utf8").digest("hex");
+}
+/** @internal ONLY validated constituents / internally constructed plain results. Output collections
+ * are not wire records: they may contain >256 claims, problems, labels, or conflict alternatives.
+ * Never use this emitter in place of copyWorkJson/strict ingestion at an input boundary. */
+export function workResultKey(value) { return emit(value); }
+export function sortWorkResults(values) {
+    const rows = new Map([...values].map(value => [workResultKey(value), value]));
+    return [...rows].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0).map(([, value]) => value);
+}
+export function mergeWorkProblems(values) {
+    const rows = new Map();
+    for (const row of values) {
+        const id = workResultKey([row.code, row.reference]), prior = rows.get(id);
+        rows.set(id, { ...row, affectedObligations: sortWorkResults([...(prior?.affectedObligations ?? []), ...row.affectedObligations]) });
+    }
+    return sortWorkResults(rows.values());
+}
+export function mergeWorkConflicts(values) {
+    const rows = new Map();
+    for (const row of values) {
+        const id = workResultKey([row.kind, row.id]), prior = rows.get(id);
+        rows.set(id, { ...row, digests: sortWorkResults([...(prior?.digests ?? []), ...row.digests]),
+            affectedObligations: sortWorkResults([...(prior?.affectedObligations ?? []), ...row.affectedObligations]) });
+    }
+    return sortWorkResults(rows.values());
+}
+export function freezeWork(value) {
+    if (value !== null && typeof value === "object") {
+        for (const child of Object.values(value))
+            freezeWork(child);
+        Object.freeze(value);
+    }
+    return value;
+}
+//# sourceMappingURL=work-ledger-json.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-json.js","sourceRoot":"","sources":["../src/work-ledger-json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,cAAc,EAAwD,MAAM,wBAAwB,CAAC;AAE9G,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,GAAG,IAAI,CAAC;AAC1C,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAChD,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC;AACnC,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,MAAM,SAAS,GAAG,GAAG,CAAC;AAEtB,MAAM,OAAO,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAClF,MAAM,KAAK,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhF,SAAS,OAAO,CAAC,KAAa;IAC5B,gFAAgF;IAChF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC;gBAAE,OAAO,EAAE,CAAC;QACrD,CAAC;aAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM;YAAE,OAAO,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnF,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACpE,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC5D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/C,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,OAAO,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU;YAAE,OAAO,EAAE,CAAC;QAC7E,OAAO,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,SAAS,IAAI,CAAC,CAAU,EAAE,KAAa;QACrC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC1E,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAO,EAAE,CAAC;QAC5C,IAAI,KAAK,GAAG,SAAS;YAAE,KAAK,EAAE,CAAC;QAC/B,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QAChC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,MAAgB,CAAC;QACrB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,SAAS;gBAAE,OAAO,EAAE,CAAC;YAC5D,IAAI,CAAC,CAAC,MAAM,GAAG,SAAS;gBAAE,KAAK,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;YACnD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC/D,MAAM,GAAG,EAAE,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU;oBAAE,OAAO,EAAE,CAAC;gBACjE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,GAAG,EAAE,CAAC;YACZ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1I,CAAC;QACH,CAAC;QACD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACxB,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,KAAK,GAAG,4CAA4C,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;IACxE,IAAI,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC;IACnD,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1B,IAAI,KAAK,GAAG,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,GAAG,GAAG;QAAE,OAAO,EAAE,CAAC;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAAE,OAAO,EAAE,CAAC;IACvD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC;AAQD,SAAS,YAAY,CAAC,IAAc;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,uBAAuB,CAAC,CAAC;YACtE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,YAAY,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;AACrE,CAAC;AACD,SAAS,WAAW,CAAC,IAAc;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IACtG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,gBAAgB;QAAE,KAAK,EAAE,CAAC;IAChE,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,MAAM,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,cAAc,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,GAAG,EAAE,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,SAAS,MAAM;QACb,MAAM,KAAK,GAAG,EAAE,EAAE,CAAC;QACnB,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,qFAAqF;gBACrF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAW,CAAC;YACrD,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI;gBAAE,MAAM,EAAE,CAAC;YACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC1B,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;oBACnB,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;wBAAE,MAAM,EAAE,CAAC;oBAC/D,EAAE,IAAI,CAAC,CAAC;gBACV,CAAC;qBAAM,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,MAAM,EAAE,CAAC;YAChE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,EAAE,CAAC;IAClB,CAAC;IACD,SAAS,KAAK,CAAC,KAAa;QAC1B,UAAU,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;QAC9D,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,KAAK,GAAG,SAAS;gBAAE,KAAK,EAAE,CAAC;YAC/B,EAAE,EAAE,CAAC;YACL,UAAU,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,IAAI,KAAK,GAAG,CAAC;YAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/B,MAAM,OAAO,GAA8B,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAe,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,GAAG;gBAAE,SAAS,CAAC;oBAC9B,UAAU,EAAE,CAAC;oBACb,IAAI,GAAG,GAAG,EAAE,CAAC;oBACb,IAAI,MAAM,EAAE,CAAC;wBACX,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,GAAG;4BAAE,MAAM,EAAE,CAAC;wBAC/B,GAAG,GAAG,MAAM,EAAE,CAAC;wBACf,UAAU,EAAE,CAAC;wBACb,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG;4BAAE,MAAM,EAAE,CAAC;oBACnC,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,IAAI,SAAS;wBAAE,KAAK,EAAE,CAAC;oBAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;oBAC/B,IAAI,MAAM;wBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;;wBAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC/D,UAAU,EAAE,CAAC;oBACb,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,GAAG;wBAAE,MAAM;oBAC5B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG;wBAAE,MAAM,EAAE,CAAC;gBACnC,CAAC;YACD,EAAE,EAAE,CAAC;YACL,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAU,EAAE,CAAC;YAC3F,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;gBAAC,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC;gBAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YAAC,CAAC;QACrG,CAAC;QACD,MAAM,KAAK,GAAG,8CAA8C,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAClF,IAAI,CAAC,KAAK;YAAE,OAAO,MAAM,EAAE,CAAC;QAC5B,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACxB,UAAU,EAAE,CAAC;IACb,IAAI,EAAE,KAAK,IAAI,CAAC,MAAM;QAAE,MAAM,EAAE,CAAC;IACjC,YAAY,CAAC,MAAM,CAAC,CAAC;IACrB,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,IAAI,CAAC,KAAe;IAC3B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClE,qFAAqF;IACrF,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC7G,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAAC,KAAc,IAAY,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/F,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrF,CAAC;AACD;;4FAE4F;AAC5F,MAAM,UAAU,aAAa,CAAI,KAAQ,IAAY,OAAO,IAAI,CAAC,KAA4B,CAAC,CAAC,CAAC,CAAC;AACjG,MAAM,UAAU,eAAe,CAAI,MAAmB;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,IAAI,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,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAC5F,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,MAA0C;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmC,CAAC;IACxD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1E,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,GAAG,EAAE,mBAAmB,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,mBAAmB,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC;IACtI,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,MAA2C;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoC,CAAC;IACzD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;YAC1F,mBAAmB,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,mBAAmB,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAsB,CAAC;AAChC,CAAC"}

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

@@ -0,0 +1,227 @@
+import { type indexWorkLedgerText } from "./work-ledger-projection.ts";
+import type { WorkFrozen, WorkSnapshot, WorkOccurrencePayload } from "./work-ledger-types.ts";
+/** @internal One governed execution identity, many explicit work associations. No acceptance inferred. */
+export declare function foldWorkOccurrences(index: ReturnType<typeof indexWorkLedgerText>, snapshot: WorkFrozen<WorkSnapshot>): {
+    runtime: {
+        readonly counts: {
+            readonly attempts: number;
+            readonly variants: number;
+            readonly observedCompletedAttempts: number;
+        };
+        readonly occurrences: readonly {
+            readonly event: {
+                readonly eventId: string;
+                readonly digest: string;
+            };
+            readonly payload: {
+                readonly scope: {
+                    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 executionId: string;
+                readonly parentExecutionId: string | null;
+                readonly childId: string | null;
+                readonly variantId: string | null;
+                readonly artifact: {
+                    readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                    readonly id: string;
+                    readonly revision: number;
+                    readonly digest: string;
+                } | null;
+                readonly provenance: "declared" | "observed";
+                readonly state: "unknown" | "starting" | "running" | "completed" | "failed";
+                readonly labels: {
+                    readonly sessionId: string | null;
+                    readonly branchLeafId: string | null;
+                    readonly toolCallId: string | null;
+                    readonly taskId: string | null;
+                    readonly workspaceId: string | null;
+                    readonly definitionDigest: string | null;
+                    readonly configurationDigest: string | null;
+                    readonly modelId: string | null;
+                    readonly effortId: string | null;
+                };
+            };
+        }[];
+        readonly attempts: readonly {
+            readonly executionId: string;
+            readonly bindings: readonly {
+                readonly scope: {
+                    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 variantIds: readonly string[];
+                readonly artifacts: readonly {
+                    readonly kind: import("./work-ledger-types.ts").RevisionKind;
+                    readonly id: string;
+                    readonly revision: number;
+                    readonly digest: string;
+                }[];
+            }[];
+            readonly parentExecutionId: string | null;
+            readonly childId: string | null;
+            readonly declaredLabels: readonly {
+                readonly sessionId: string | null;
+                readonly branchLeafId: string | null;
+                readonly toolCallId: string | null;
+                readonly taskId: string | null;
+                readonly workspaceId: string | null;
+                readonly definitionDigest: string | null;
+                readonly configurationDigest: string | null;
+                readonly modelId: string | null;
+                readonly effortId: string | null;
+            }[];
+            readonly observedLabels: readonly {
+                readonly sessionId: string | null;
+                readonly branchLeafId: string | null;
+                readonly toolCallId: string | null;
+                readonly taskId: string | null;
+                readonly workspaceId: string | null;
+                readonly definitionDigest: string | null;
+                readonly configurationDigest: string | null;
+                readonly modelId: string | null;
+                readonly effortId: string | null;
+            }[];
+            readonly effectiveLabels: {
+                readonly sessionId: string | null;
+                readonly branchLeafId: string | null;
+                readonly toolCallId: string | null;
+                readonly taskId: string | null;
+                readonly workspaceId: string | null;
+                readonly definitionDigest: string | null;
+                readonly configurationDigest: string | null;
+                readonly modelId: string | null;
+                readonly effortId: string | null;
+            };
+            readonly state: WorkOccurrencePayload["state"] | "conflicted";
+            readonly resolution: "resolved" | "unresolved";
+            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;
+                }[];
+            }[];
+        }[];
+    };
+    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;
+        }[];
+    }[];
+    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;
+        }[];
+    }[];
+    eventProblems: Map<string, 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;
+        }[];
+    }[]>;
+};
+//# sourceMappingURL=work-ledger-occurrences.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-occurrences.d.ts","sourceRoot":"","sources":["../src/work-ledger-occurrences.ts"],"names":[],"mappings":"AACA,OAAO,EAA4B,KAAK,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACjG,OAAO,KAAK,EACV,UAAU,EAAE,YAAY,EAAuB,qBAAqB,EAErE,MAAM,wBAAwB,CAAC;AAQhC,0GAA0G;AAC1G,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,mBAAmB,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,YAAY,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoFpH"}

package/dist/work-ledger-occurrences.js

@@ -0,0 +1,115 @@
+import { workResultKey as key, sortWorkResults as sorted, mergeWorkProblems } from "./work-ledger-json.js";
+import { workEventConflictSources } from "./work-ledger-projection.js";
+const eventRef = (e) => ({ eventId: e.eventId, digest: e.digest });
+const emptyLabels = () => ({ sessionId: null, branchLeafId: null,
+    toolCallId: null, taskId: null, workspaceId: null, definitionDigest: null, configurationDigest: null, modelId: null, effortId: null });
+/** @internal One governed execution identity, many explicit work associations. No acceptance inferred. */
+export function foldWorkOccurrences(index, snapshot) {
+    const groups = new Map();
+    const effectiveRefs = new Set(index.effectiveEvents.map(e => key({ eventId: e.eventId, digest: e.digest })));
+    for (const event of index.candidates)
+        if (event.event === "work_occurrence") {
+            const group = groups.get(event.payload.executionId) ?? [];
+            group.push(event);
+            groups.set(event.payload.executionId, group);
+        }
+    const effective = new Map([...groups].map(([id, group]) => [id, group.filter(e => effectiveRefs.has(key(eventRef(e))))]));
+    const selectedObligations = new Set(snapshot.bindings.map(b => key(b.obligation)));
+    const selectedJoin = (e) => key(e.payload.scope) === key(snapshot.scope) && selectedObligations.has(key(e.payload.obligation));
+    const attempts = [], occurrences = [];
+    const allProblems = [], conflicts = [];
+    const eventProblems = new Map();
+    for (const [executionId, candidates] of groups) {
+        const clean = effective.get(executionId);
+        const bindings = new Map();
+        for (const event of clean.filter(selectedJoin)) {
+            const p = event.payload, id = key([p.scope, p.obligation]), prior = bindings.get(id);
+            bindings.set(id, { scope: p.scope, obligation: p.obligation,
+                variantIds: sorted([...(prior?.variantIds ?? []), ...(p.variantId ? [p.variantId] : [])]),
+                artifacts: sorted([...(prior?.artifacts ?? []), ...(p.artifact ? [p.artifact] : [])]),
+            });
+        }
+        const affected = sorted([...bindings.values()].map(b => b.obligation));
+        const problems = [];
+        const problem = (code, id = executionId) => problems.push({ code, reference: { type: "execution", id }, affectedObligations: affected });
+        const badSources = sorted(candidates.flatMap(e => workEventConflictSources(index, e)));
+        for (const ref of badSources)
+            problems.push({ code: "EVENT_CONFLICT", reference: { type: "event", ref }, affectedObligations: affected });
+        if (bindings.size)
+            for (const id of sorted(badSources.map(ref => ref.eventId))) {
+                conflicts.push({ kind: "event", id, digests: index.conflictingEvents.filter(ref => ref.eventId === id).map(ref => ref.digest), affectedObligations: affected });
+            }
+        const parents = sorted(clean.map(e => e.payload.parentExecutionId));
+        const children = sorted(clean.flatMap(e => e.payload.childId ? [e.payload.childId] : []));
+        const identityConflict = parents.length > 1 || children.length > 1;
+        if (identityConflict)
+            problem("OCCURRENCE_CONFLICT");
+        let parentExecutionId = parents.length === 1 ? parents[0] : null;
+        let childId = children.length === 1 ? children[0] : null;
+        const observed = clean.filter(e => e.payload.provenance === "observed");
+        const declaredLabels = sorted(clean.filter(e => e.payload.provenance === "declared").map(e => e.payload.labels));
+        const observedLabels = sorted(observed.map(e => e.payload.labels));
+        const effectiveLabels = emptyLabels();
+        for (const label of Object.keys(effectiveLabels)) {
+            const values = sorted(observed.flatMap(e => e.payload.labels[label] === null ? [] : [e.payload.labels[label]]));
+            if (values.length > 1)
+                problem("OBSERVATION_CONFLICT");
+            else
+                effectiveLabels[label] = values[0] ?? null;
+        }
+        const states = new Set(observed.map(e => e.payload.state));
+        const terminalConflict = states.has("completed") && states.has("failed");
+        if (terminalConflict)
+            problem("OBSERVATION_CONFLICT");
+        let state = terminalConflict ? "conflicted" : states.has("completed") ? "completed" :
+            states.has("failed") ? "failed" : states.has("running") ? "running" : states.has("starting") ? "starting" : "unknown";
+        if (identityConflict || badSources.length) {
+            state = "conflicted";
+            parentExecutionId = null;
+            childId = null;
+            Object.assign(effectiveLabels, emptyLabels());
+        }
+        else {
+            const seen = new Set([executionId]);
+            let parent = parentExecutionId;
+            while (parent !== null) {
+                if (seen.has(parent)) {
+                    problem("PARENT_CYCLE", parent);
+                    break;
+                }
+                seen.add(parent);
+                const bodies = effective.get(parent);
+                if (!bodies?.length) {
+                    problem("PARENT_MISSING", parent);
+                    break;
+                }
+                const alternatives = sorted(bodies.map(e => e.payload.parentExecutionId));
+                if (alternatives.length !== 1) {
+                    problem("OCCURRENCE_CONFLICT", parent);
+                    break;
+                }
+                parent = alternatives[0];
+            }
+            if (effectiveLabels.branchLeafId === null)
+                problem("BRANCH_UNKNOWN");
+        }
+        const rowProblems = mergeWorkProblems(problems);
+        // Support closure can name an occurrence even when its association is not selected. Keep its
+        // global identity diagnostics available internally; only selected joins become public attempts.
+        for (const candidate of candidates)
+            eventProblems.set(key(eventRef(candidate)), rowProblems);
+        if (!bindings.size)
+            continue;
+        allProblems.push(...rowProblems);
+        occurrences.push(...candidates.map(e => ({ event: eventRef(e), payload: e.payload })));
+        attempts.push({ executionId, bindings: sorted(bindings.values()), parentExecutionId, childId, declaredLabels,
+            observedLabels, effectiveLabels, state, resolution: rowProblems.length ? "unresolved" : "resolved", problems: rowProblems });
+    }
+    const runtime = { attempts: sorted(attempts), occurrences: sorted(occurrences), counts: {
+            attempts: attempts.length,
+            variants: new Set(attempts.flatMap(a => a.bindings.flatMap(b => b.variantIds))).size,
+            observedCompletedAttempts: attempts.filter(a => a.resolution === "resolved" && a.state === "completed").length,
+        } };
+    return { runtime, problems: mergeWorkProblems(allProblems), conflicts, eventProblems };
+}
+//# sourceMappingURL=work-ledger-occurrences.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-occurrences.js","sourceRoot":"","sources":["../src/work-ledger-occurrences.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,IAAI,GAAG,EAAE,eAAe,IAAI,MAAM,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC3G,OAAO,EAAE,wBAAwB,EAA4B,MAAM,6BAA6B,CAAC;AAQjG,MAAM,QAAQ,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AAC/E,MAAM,WAAW,GAAG,GAAoC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI;IAC/F,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAEzI,0GAA0G;AAC1G,MAAM,UAAU,mBAAmB,CAAC,KAA6C,EAAE,QAAkC;IACnH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7G,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,UAAU;QAAE,IAAI,KAAK,CAAC,KAAK,KAAK,iBAAiB,EAAE,CAAC;YAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YAC1D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAClE,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1H,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,YAAY,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3I,MAAM,QAAQ,GAA8B,EAAE,EAAE,WAAW,GAAqD,EAAE,CAAC;IACnH,MAAM,WAAW,GAAc,EAAE,EAAE,SAAS,GAA+B,EAAE,CAAC;IAC9E,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC5D,KAAK,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,IAAI,MAAM,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0C,CAAC;QACnE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACrF,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU;gBACzD,UAAU,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACzF,SAAS,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aACtF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,CAAC,IAAyB,EAAE,EAAE,GAAG,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9J,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,KAAK,MAAM,GAAG,IAAI,UAAU;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1I,IAAI,QAAQ,CAAC,IAAI;YAAE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBAC/E,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClK,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1F,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACnE,IAAI,gBAAgB;YAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACrD,IAAI,iBAAiB,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjE,IAAI,OAAO,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QACxE,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QACjH,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QACnE,MAAM,eAAe,GAAG,WAAW,EAAE,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAiD,EAAE,CAAC;YACjG,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,CAAC;YACjH,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;;gBAClD,eAAe,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QAClD,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3D,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzE,IAAI,gBAAgB;YAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;QACtD,IAAI,KAAK,GAAyB,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACzG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACxH,IAAI,gBAAgB,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YAC1C,KAAK,GAAG,YAAY,CAAC;YAAC,iBAAiB,GAAG,IAAI,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,WAAW,EAAE,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YACpC,IAAI,MAAM,GAAG,iBAAiB,CAAC;YAC/B,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAAC,OAAO,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBACjE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACrC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;oBAAC,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBAClE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC;gBAC1E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBACjF,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC3B,CAAC;YACD,IAAI,eAAe,CAAC,YAAY,KAAK,IAAI;gBAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAChD,6FAA6F;QAC7F,gGAAgG;QAChG,KAAK,MAAM,SAAS,IAAI,UAAU;YAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAC7F,IAAI,CAAC,QAAQ,CAAC,IAAI;YAAE,SAAS;QAC7B,WAAW,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QACjC,WAAW,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACvF,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,iBAAiB,EAAE,OAAO,EAAE,cAAc;YAC1G,cAAc,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;IACjI,CAAC;IACD,MAAM,OAAO,GAA4B,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE;YAC/G,QAAQ,EAAE,QAAQ,CAAC,MAAM;YACzB,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;YACpF,yBAAyB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,MAAM;SAC/G,EAAE,CAAC;IACJ,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;AACzF,CAAC"}