pi-daddy 0.22.0 → 0.24.0

package/dist/work-ledger-snapshot.js

@@ -0,0 +1,267 @@
+import { indexWorkLedgerText, workEventConflictSources, workRevisionConflictSources } from "./work-ledger-projection.js";
+import { canonicalWorkJson, copyWorkJson, freezeWork } from "./work-ledger-json.js";
+import { validateWorkSelection } from "./work-ledger-validation.js";
+import { WorkInputError, } from "./work-ledger-types.js";
+const key = canonicalWorkJson;
+const entity = (ref) => `${ref.kind}:${ref.id}`;
+const reference = (ref) => ({ type: "revision", ref });
+function unique(values) {
+    const rows = new Map(values.map(value => [key(value), value]));
+    return [...rows].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0).map(([, value]) => value);
+}
+function diagnosticKey(row) {
+    // Internally built output collections may exceed the wire array bound (e.g. 300 conflicting
+    // deliveries). Only their validated scalar/reference constituents use the wire canonicalizer.
+    const affected = key(row.affectedObligations);
+    return "code" in row
+        ? `{"affectedObligations":${affected},"code":${JSON.stringify(row.code)},"reference":${key(row.reference)}}`
+        : `{"affectedObligations":${affected},"digests":${JSON.stringify(row.digests)},"id":${JSON.stringify(row.id)},"kind":${JSON.stringify(row.kind)}}`;
+}
+function sortedDiagnostics(rows) {
+    return rows.map(value => ({ value, key: diagnosticKey(value) }))
+        .sort((a, b) => a.key < b.key ? -1 : a.key > b.key ? 1 : 0).map(row => row.value);
+}
+/** @internal Real builder/text/index/selector path. No unchecked parsed-object projection entry. */
+export function resolveWorkSnapshotText(text, requested = null) {
+    const index = indexWorkLedgerText(text);
+    const errors = [...index.ingestion.errors];
+    let selection = null;
+    try {
+        const copied = copyWorkJson(requested);
+        validateWorkSelection(copied);
+        selection = copied;
+    }
+    catch (error) {
+        if (!(error instanceof WorkInputError))
+            throw error;
+        errors.push({ line: null, code: "WORK_CONTEXT_INVALID" });
+    }
+    const problems = new Map();
+    const conflicts = new Map();
+    for (const ref of index.conflictingEvents) {
+        const row = conflicts.get(ref.eventId) ?? { digests: [], affected: [] };
+        row.digests.push(ref.digest);
+        conflicts.set(ref.eventId, row);
+    }
+    function problem(code, ref, affected = []) {
+        const id = `${code}:${key(ref)}`;
+        const old = problems.get(id);
+        problems.set(id, { code, reference: ref, affectedObligations: unique([...(old?.affectedObligations ?? []), ...affected]) });
+    }
+    function conflict(id, affected) {
+        const row = conflicts.get(id);
+        if (!row)
+            return;
+        row.affected = unique([...row.affected, ...affected]);
+        for (const digest of row.digests)
+            problem("EVENT_CONFLICT", { type: "event", ref: { eventId: id, digest } }, affected);
+    }
+    function reports() {
+        return {
+            problems: sortedDiagnostics([...problems.values()]),
+            conflicts: sortedDiagnostics([...conflicts].map(([id, row]) => ({
+                kind: "event", id, digests: [...row.digests].sort(), affectedObligations: unique(row.affected),
+            }))), errors,
+        };
+    }
+    function empty(scopeState) {
+        return freezeWork({ scopeState, selectedSnapshot: selection?.snapshot ?? null,
+            snapshot: null, scope: null, revisions: [], obligations: [], ...reports() });
+    }
+    if (errors.length) {
+        problem("INPUT_INCOMPLETE", null);
+        return empty("unresolved");
+    }
+    if (!selection) {
+        problem("NO_SELECTION", null);
+        return empty("unselected");
+    }
+    // Exact event AND nested snapshot identity: never elect a head from candidate order or time.
+    const nominated = index.candidates.find(event => event.eventId === selection.event.eventId && event.digest === selection.event.digest);
+    const exactSnapshot = nominated?.event === "work_snapshot" &&
+        nominated.payload.snapshot.snapshotId === selection.snapshot.id && nominated.payload.snapshot.digest === selection.snapshot.digest
+        ? nominated.payload.snapshot : null;
+    // A nominated inventory is diagnostic evidence only until ALL conflicting source IDs have been
+    // checked. Nested identity, not delivery ID/time, connects an alias to the selected closure.
+    const affected = exactSnapshot?.revisions.filter(ref => ref.kind === "obligation") ?? [];
+    const snapshotSources = workEventConflictSources(index, exactSnapshot ? nominated : selection.event);
+    for (const source of snapshotSources)
+        conflict(source.eventId, affected);
+    // An empty selected inventory is still quarantined: affected.length is not a validity test.
+    if (snapshotSources.length)
+        return empty("unresolved");
+    if (!nominated) {
+        problem("REFERENCE_MISSING", { type: "event", ref: selection.event });
+        return empty("unresolved");
+    }
+    if (!exactSnapshot) {
+        problem("SCOPE_INVALID", { type: "snapshot", ref: selection.snapshot });
+        return empty("invalid");
+    }
+    const snapshot = exactSnapshot;
+    const selected = new Map();
+    let invalid = false, missing = false;
+    function reject(code, ref, affected = []) {
+        invalid = true;
+        problem(code, reference(ref), affected);
+    }
+    for (const ref of [snapshot.scope, ...snapshot.revisions]) {
+        if (selected.has(entity(ref)))
+            reject("REVISION_INVALID", ref);
+        selected.set(entity(ref), ref); // Diagnostic lookup only if invalid; no rows will be exposed.
+    }
+    const obligationRefs = snapshot.revisions.filter(ref => ref.kind === "obligation");
+    const allAffected = unique(obligationRefs);
+    const records = new Map();
+    const quarantineSources = new Map();
+    for (const event of index.candidates)
+        if (event.event === "work_revision") {
+            const r = event.payload.revision;
+            const ref = { kind: r.kind, id: r.id, revision: r.revision, digest: r.digest };
+            if (!records.has(key(ref))) {
+                const sources = workRevisionConflictSources(index, ref);
+                if (sources.length)
+                    quarantineSources.set(key(ref), sources);
+            }
+            records.set(key(ref), r);
+        }
+    const isSelected = (ref) => key(selected.get(entity(ref)) ?? null) === key(ref);
+    function lookup(ref, affected, localArtifact = false) {
+        // A scope revision's ID is its scopeId by the validated wire contract. This contradiction
+        // is already known from the reference; absent bytes must not downgrade it to a mere gap.
+        if (ref.kind === "scope" && ref.id !== snapshot.scope.id)
+            reject("SCOPE_INVALID", ref, affected);
+        const sources = quarantineSources.get(key(ref));
+        if (sources) {
+            for (const source of sources)
+                conflict(source.eventId, affected);
+            if (!localArtifact)
+                missing = true;
+            return null;
+        }
+        const r = records.get(key(ref));
+        if (!r) {
+            problem("REFERENCE_MISSING", reference(ref), affected);
+            if (!localArtifact)
+                missing = true;
+            return null;
+        }
+        if (r.scopeId !== snapshot.scope.id)
+            reject("REVISION_INVALID", ref, affected);
+        return r;
+    }
+    function walk(root, affected, localArtifact = false) {
+        const stack = [{ ref: root, current: true, local: localArtifact }];
+        const done = new Set(), active = new Set();
+        while (stack.length) {
+            const frame = stack.pop(), id = `${frame.current}:${key(frame.ref)}`;
+            if (frame.exit) {
+                active.delete(id);
+                done.add(id);
+                continue;
+            }
+            if (active.has(id)) {
+                reject("CYCLE", frame.ref, affected);
+                continue;
+            }
+            if (done.has(id))
+                continue;
+            if (frame.current && selected.has(entity(frame.ref)) && !isSelected(frame.ref))
+                reject("REVISION_INVALID", frame.ref, affected);
+            if (frame.current && frame.ref.kind === "scope" && key(frame.ref) !== key(snapshot.scope))
+                reject("SCOPE_INVALID", frame.ref, affected);
+            const r = lookup(frame.ref, affected, frame.local);
+            if (!r)
+                continue;
+            active.add(id);
+            stack.push({ ...frame, exit: true });
+            if (r.predecessor) {
+                const prior = lookup(r.predecessor, affected);
+                if (prior && (prior.kind !== r.kind || prior.id !== r.id || prior.scopeId !== r.scopeId || prior.revision + 1 !== r.revision)) {
+                    reject("REVISION_INVALID", frame.ref, affected);
+                }
+                stack.push({ ref: r.predecessor, current: false });
+            }
+            if (r.parent) {
+                if (entity(r.parent) === entity(frame.ref))
+                    reject("CYCLE", frame.ref, affected);
+                stack.push({ ref: r.parent, current: frame.current });
+            }
+            if (r.policy) {
+                if (frame.current && !isSelected(r.policy))
+                    reject("REVISION_INVALID", r.policy, affected);
+                stack.push({ ref: r.policy, current: frame.current });
+            }
+            for (const dep of r.dependencies) {
+                if (entity(dep) === entity(frame.ref))
+                    reject("CYCLE", frame.ref, affected);
+                if (frame.current && !isSelected(dep))
+                    reject("DEPENDENCY_INVALID", dep, affected);
+                stack.push({ ref: dep, current: frame.current });
+            }
+        }
+    }
+    // Structural roots must be checked even when no obligation names them. Then walk each obligation
+    // independently to accumulate exact affected-obligation reachability, including shared ancestors.
+    walk(snapshot.scope, allAffected);
+    for (const ref of snapshot.revisions) {
+        const affected = ref.kind === "obligation" ? [ref] : snapshot.bindings.filter(binding => [binding.intent, binding.policy, binding.artifact].some(value => value && key(value) === key(ref))).map(binding => binding.obligation).filter(isSelected);
+        walk(ref, affected, ref.kind === "artifact");
+    }
+    function ancestor(obligation, intent) {
+        const seen = new Set();
+        let cursor = obligation;
+        while (cursor) {
+            const id = key(cursor);
+            if (seen.has(id) || quarantineSources.has(id))
+                return null;
+            seen.add(id);
+            const r = records.get(id);
+            if (!r)
+                return null;
+            cursor = r.parent;
+            if (cursor && key(cursor) === key(intent))
+                return true;
+        }
+        return false;
+    }
+    for (const ref of obligationRefs) {
+        if (snapshot.bindings.filter(binding => key(binding.obligation) === key(ref)).length !== 1)
+            reject("SCOPE_INVALID", ref, [ref]);
+    }
+    for (const binding of snapshot.bindings) {
+        const affected = isSelected(binding.obligation) ? [binding.obligation] : [];
+        if (!isSelected(binding.obligation))
+            reject("SCOPE_INVALID", binding.obligation);
+        if (!isSelected(binding.intent))
+            reject("SCOPE_INVALID", binding.intent, affected);
+        if (!isSelected(binding.policy))
+            reject("REVISION_INVALID", binding.policy, affected);
+        const r = lookup(binding.obligation, affected);
+        if (r && key(r.policy) !== key(binding.policy))
+            reject("REVISION_INVALID", binding.policy, affected);
+        if (r && ancestor(binding.obligation, binding.intent) === false)
+            reject("SCOPE_INVALID", binding.intent, affected);
+        if (binding.artifact && !isSelected(binding.artifact))
+            reject("ARTIFACT_UNSELECTED", binding.artifact, affected);
+    }
+    if (invalid)
+        return empty("invalid");
+    if (missing)
+        return empty("unresolved");
+    const diagnostics = reports();
+    return freezeWork({
+        scopeState: "valid", selectedSnapshot: selection.snapshot, snapshot,
+        scope: records.get(key(snapshot.scope)),
+        revisions: unique(snapshot.revisions.flatMap(ref => {
+            const r = quarantineSources.has(key(ref)) ? undefined : records.get(key(ref));
+            return r ? [r] : [];
+        })),
+        obligations: snapshot.bindings.map(binding => ({
+            binding, revision: records.get(key(binding.obligation)),
+            artifact: binding.artifact && !quarantineSources.has(key(binding.artifact)) ? records.get(key(binding.artifact)) ?? null : null,
+            problems: diagnostics.problems.filter(p => p.affectedObligations.some(ref => key(ref) === key(binding.obligation))),
+        })), ...diagnostics,
+    });
+}
+//# sourceMappingURL=work-ledger-snapshot.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-snapshot.js","sourceRoot":"","sources":["../src/work-ledger-snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AACzH,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACpF,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EACL,cAAc,GAGf,MAAM,wBAAwB,CAAC;AAwBhC,MAAM,GAAG,GAAG,iBAAiB,CAAC;AAC9B,MAAM,MAAM,GAAG,CAAC,GAAQ,EAAU,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;AAC7D,MAAM,SAAS,GAAG,CAAC,GAAQ,EAA6B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,SAAS,MAAM,CAAI,MAAoB;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/D,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,SAAS,aAAa,CAAC,GAAuC;IAC5D,4FAA4F;IAC5F,8FAA8F;IAC9F,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IAC9C,OAAO,MAAM,IAAI,GAAG;QAClB,CAAC,CAAC,0BAA0B,QAAQ,WAAW,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG;QAC5G,CAAC,CAAC,0BAA0B,QAAQ,cAAc,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;AACvJ,CAAC;AACD,SAAS,iBAAiB,CAA+C,IAAS;IAChF,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;SAC7D,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,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACtF,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,uBAAuB,CAAC,IAAY,EAAE,YAA0C,IAAI;IAClG,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,MAAM,GAAiC,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACzE,IAAI,SAAS,GAAiC,IAAI,CAAC;IACnD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACvC,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC9B,SAAS,GAAG,MAAiD,CAAC;IAChE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,cAAc,CAAC;YAAE,MAAM,KAAK,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkD,CAAC;IAC5E,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACxE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,SAAS,OAAO,CAAC,IAAwB,EAAE,GAAqC,EAAE,WAA2B,EAAE;QAC7G,MAAM,EAAE,GAAG,GAAG,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,mBAAmB,IAAI,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9H,CAAC;IACD,SAAS,QAAQ,CAAC,EAAU,EAAE,QAAwB;QACpD,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,GAAG,CAAC,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;QACtD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO;YAAE,OAAO,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IACzH,CAAC;IACD,SAAS,OAAO;QACd,OAAO;YACL,QAAQ,EAAE,iBAAiB,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACnD,SAAS,EAAE,iBAAiB,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC9D,IAAI,EAAE,OAAgB,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,mBAAmB,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;aACxG,CAAC,CAAC,CAAC,EAAE,MAAM;SACb,CAAC;IACJ,CAAC;IACD,SAAS,KAAK,CAAC,UAA4C;QACzD,OAAO,UAAU,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,SAAS,EAAE,QAAQ,IAAI,IAAI;YAC3E,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAAC,OAAO,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;QAAC,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC;IAAC,CAAC;IACrF,IAAI,CAAC,SAAS,EAAE,CAAC;QAAC,OAAO,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QAAC,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC;IAAC,CAAC;IAE9E,6FAA6F;IAC7F,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,SAAU,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,KAAK,SAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzI,MAAM,aAAa,GAAG,SAAS,EAAE,KAAK,KAAK,eAAe;QACxD,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM;QAClI,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IACtC,+FAA+F;IAC/F,6FAA6F;IAC7F,MAAM,QAAQ,GAAG,aAAa,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC;IACzF,MAAM,eAAe,GAAG,wBAAwB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,SAAU,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtG,KAAK,MAAM,MAAM,IAAI,eAAe;QAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzE,4FAA4F;IAC5F,IAAI,eAAe,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC;IACvD,IAAI,CAAC,SAAS,EAAE,CAAC;QAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;QAAC,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC;IAAC,CAAC;IACtH,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;QAAC,OAAO,KAAK,CAAC,SAAS,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAe,CAAC;IACxC,IAAI,OAAO,GAAG,KAAK,EAAE,OAAO,GAAG,KAAK,CAAC;IACrC,SAAS,MAAM,CAAC,IAAwB,EAAE,GAAQ,EAAE,WAA2B,EAAE;QAC/E,OAAO,GAAG,IAAI,CAAC;QAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1D,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAAE,MAAM,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;QAC/D,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,8DAA8D;IAChG,CAAC;IACD,MAAM,cAAc,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA2C,CAAC;IAC7E,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,UAAU;QAAE,IAAI,KAAK,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;YAC1E,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACjC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;YAC/E,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC3B,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACxD,IAAI,OAAO,CAAC,MAAM;oBAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,GAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;IACrF,SAAS,MAAM,CAAC,GAAQ,EAAE,QAAwB,EAAE,aAAa,GAAG,KAAK;QACvE,0FAA0F;QAC1F,yFAAyF;QACzF,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,KAAK,CAAC,EAAE;YAAE,MAAM,CAAC,eAAe,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACjG,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,MAAM,MAAM,IAAI,OAAO;gBAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YACjE,IAAI,CAAC,aAAa;gBAAE,OAAO,GAAG,IAAI,CAAC;YACnC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,OAAO,CAAC,mBAAmB,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,CAAC,aAAa;gBAAE,OAAO,GAAG,IAAI,CAAC;YACnC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,KAAK,CAAC,EAAE;YAAE,MAAM,CAAC,kBAAkB,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC/E,OAAO,CAAC,CAAC;IACX,CAAC;IAED,SAAS,IAAI,CAAC,IAAS,EAAE,QAAwB,EAAE,aAAa,GAAG,KAAK;QAGtE,MAAM,KAAK,GAAY,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC;QAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,EAAE,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QAC3D,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAG,EAAE,EAAE,GAAG,GAAG,KAAK,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACtE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC9D,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACvE,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC3B,IAAI,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,kBAAkB,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAChI,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACxI,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACnD,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACrD,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBAClB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;gBAC9C,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC9H,MAAM,CAAC,kBAAkB,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAClD,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YACrD,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;oBAAE,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACjF,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;oBAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAC3F,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;gBACjC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;oBAAE,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAC5E,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;oBAAE,MAAM,CAAC,oBAAoB,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACnF,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;IACD,iGAAiG;IACjG,kGAAkG;IAClG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CACtF,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CACnG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACxD,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAC/C,CAAC;IACD,SAAS,QAAQ,CAAC,UAAe,EAAE,MAAW;QAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,IAAI,MAAM,GAAe,UAAU,CAAC;QACpC,OAAO,MAAM,EAAE,CAAC;YACd,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC3D,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpB,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YAClB,IAAI,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;QACzD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClI,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACjF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,kBAAkB,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,kBAAkB,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACrG,IAAI,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK;YAAE,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnH,IAAI,OAAO,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,MAAM,CAAC,qBAAqB,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,OAAO;QAAE,OAAO,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,IAAI,OAAO;QAAE,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,OAAO,EAAE,CAAC;IAC9B,OAAO,UAAU,CAAC;QAChB,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ;QACnE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAE;QACxC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACjD,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,CAAC,CAAC,CAAC;QACH,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC7C,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAE;YACxD,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI;YAC/H,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;SACpH,CAAC,CAAC,EAAE,GAAG,WAAW;KACpB,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,261 @@
+/** Opt-in work-v4 wire identities; none of these declarations grants authority. */
+export type WorkFrozen<T> = T extends ReadonlyArray<infer E> ? ReadonlyArray<WorkFrozen<E>> : T extends object ? {
+    readonly [K in keyof T]: WorkFrozen<T[K]>;
+} : T;
+export type WorkInputCode = "WORK_JSON_INVALID" | "WORK_DUPLICATE_MEMBER" | "WORK_LIMIT_EXCEEDED" | "WORK_VERSION_UNSUPPORTED" | "WORK_SCHEMA_INVALID" | "WORK_DIGEST_MISMATCH" | "WORK_CONTEXT_INVALID";
+export declare class WorkInputError extends TypeError {
+    readonly code: WorkInputCode;
+    constructor(code: WorkInputCode);
+}
+export type WorkWriteCode = "WORK_DESTINATION_INVALID" | "WORK_DESTINATION_ALIAS" | "WORK_LEDGER_WRITE_FAILED";
+export declare class WorkLedgerWriteError extends Error {
+    readonly code: WorkWriteCode;
+    constructor(code: WorkWriteCode);
+}
+export type WorkInspectionCode = "WORK_INSPECTION_PATH_INVALID" | "WORK_INSPECTION_NOT_REGULAR" | "WORK_INSPECTION_READ_FAILED";
+export interface WorkInspectionDiagnostic {
+    readonly line: null;
+    readonly code: WorkInputCode | WorkInspectionCode;
+}
+export interface WorkLedgerInspection {
+    readonly version: 4;
+    readonly status: "read" | "missing" | "error";
+    readonly exists: boolean | null;
+    readonly ingestion: WorkIngestion | null;
+    readonly projection: WorkProjection | null;
+    readonly errors: ReadonlyArray<WorkInspectionDiagnostic>;
+}
+export type RevisionKind = "scope" | "goal" | "node" | "obligation" | "artifact" | "policy";
+export type WorkEventKind = "work_revision" | "work_snapshot" | "work_occurrence" | "work_acceptance";
+export interface RevisionRef {
+    kind: RevisionKind;
+    id: string;
+    revision: number;
+    digest: string;
+}
+export interface EventRef {
+    eventId: string;
+    digest: string;
+}
+export interface Identity {
+    id: string;
+    digest: string;
+}
+export interface WorkRevision {
+    kind: RevisionKind;
+    id: string;
+    revision: number;
+    scopeId: string;
+    predecessor: RevisionRef | null;
+    contentDigest: string;
+    parent: RevisionRef | null;
+    dependencies: RevisionRef[];
+    ownerId: string;
+    permittedEffects: string[];
+    policy: RevisionRef | null;
+    digest: string;
+}
+export interface ObligationBinding {
+    intent: RevisionRef;
+    obligation: RevisionRef;
+    artifact: RevisionRef | null;
+    policy: RevisionRef;
+}
+export interface WorkSnapshot {
+    snapshotId: string;
+    scope: RevisionRef;
+    revisions: RevisionRef[];
+    bindings: ObligationBinding[];
+    digest: string;
+}
+export interface WorkOccurrencePayload {
+    scope: RevisionRef;
+    obligation: RevisionRef;
+    executionId: string;
+    parentExecutionId: string | null;
+    childId: string | null;
+    variantId: string | null;
+    artifact: RevisionRef | null;
+    provenance: "declared" | "observed";
+    state: "unknown" | "starting" | "running" | "completed" | "failed";
+    labels: {
+        sessionId: string | null;
+        branchLeafId: string | null;
+        toolCallId: string | null;
+        taskId: string | null;
+        workspaceId: string | null;
+        definitionDigest: string | null;
+        configurationDigest: string | null;
+        modelId: string | null;
+        effortId: string | null;
+    };
+}
+export interface EvidenceRef {
+    id: string;
+    digest: string;
+    event: EventRef | null;
+}
+export interface AcceptanceBinding {
+    snapshot: Identity;
+    scope: RevisionRef;
+    intent: RevisionRef;
+    obligation: RevisionRef;
+    artifact: RevisionRef;
+    artifactDigest: string;
+    policy: RevisionRef;
+    evidence: EvidenceRef[];
+}
+export interface WorkAcceptancePayload {
+    authorityId: string;
+    binding: AcceptanceBinding;
+}
+interface WorkEvent<K extends WorkEventKind, P> {
+    ledgerVersion: 4;
+    event: K;
+    eventId: string;
+    ts: string;
+    payload: P;
+    digest: string;
+}
+export type WorkRevisionEvent = WorkEvent<"work_revision", {
+    revision: WorkRevision;
+}>;
+export type WorkSnapshotEvent = WorkEvent<"work_snapshot", {
+    snapshot: WorkSnapshot;
+}>;
+export type WorkOccurrenceEvent = WorkEvent<"work_occurrence", WorkOccurrencePayload>;
+export type WorkAcceptanceEvent = WorkEvent<"work_acceptance", WorkAcceptancePayload>;
+export type WorkLedgerEvent = WorkRevisionEvent | WorkSnapshotEvent | WorkOccurrenceEvent | WorkAcceptanceEvent;
+export interface WorkDiagnostic {
+    readonly line: number | null;
+    readonly code: WorkInputCode;
+}
+export interface WorkIngestion {
+    readonly events: ReadonlyArray<WorkLedgerEvent>;
+    readonly errors: ReadonlyArray<WorkDiagnostic>;
+    readonly complete: boolean;
+}
+export type WorkResolutionCode = "INPUT_INCOMPLETE" | "NO_SELECTION" | "REFERENCE_MISSING" | "SCOPE_INVALID" | "REVISION_INVALID" | "CYCLE" | "DEPENDENCY_INVALID" | "EVENT_CONFLICT" | "ARTIFACT_UNSELECTED" | "ARTIFACT_DIGEST_MISMATCH" | "NO_CLAIM" | "SUPERSEDED_BINDING" | "AUTHORITY_MISSING" | "RECEIPT_MISSING" | "RECEIPT_MISMATCH" | "RECEIPT_CONFLICT" | "DECISION_CONFLICT" | "TRUSTED_REJECTION" | "AVAILABILITY_MISSING" | "BYTES_UNAVAILABLE" | "AVAILABILITY_CONFLICT" | "OCCURRENCE_CONFLICT" | "PARENT_MISSING" | "PARENT_CYCLE" | "OBSERVATION_CONFLICT" | "BRANCH_UNKNOWN";
+export type WorkReference = {
+    readonly type: "revision";
+    readonly ref: RevisionRef;
+} | {
+    readonly type: "event";
+    readonly ref: EventRef;
+} | {
+    readonly type: "snapshot" | "authority" | "artifact-bytes" | "evidence-bytes";
+    readonly ref: Identity;
+} | {
+    readonly type: "execution";
+    readonly id: string;
+};
+export interface WorkProblem {
+    readonly code: WorkResolutionCode;
+    readonly reference: WorkReference | null;
+    readonly affectedObligations: ReadonlyArray<RevisionRef>;
+}
+export interface WorkConflict {
+    readonly kind: "event" | "receipt";
+    readonly id: string;
+    readonly digests: ReadonlyArray<string>;
+    readonly affectedObligations: ReadonlyArray<RevisionRef>;
+}
+/** Explicit trusted-host declarations, never constructed from wire evidence by production code. */
+export interface WorkProjectionContext {
+    selectedSnapshot: {
+        snapshot: Identity;
+        event: EventRef;
+    } | null;
+    authority: {
+        snapshot: Identity;
+        decisions: Array<{
+            receiptId: string;
+            authorityId: string;
+            claim: EventRef;
+            binding: AcceptanceBinding;
+            decision: "accept" | "reject";
+        }>;
+        availability: Array<{
+            kind: "artifact" | "evidence";
+            id: string;
+            digest: string;
+            available: boolean;
+        }>;
+    } | null;
+}
+export type WorkAvailability = "available" | "unavailable" | "unknown" | "conflicted";
+export interface WorkCoverageItem {
+    readonly kind: "artifact" | "evidence";
+    readonly identity: Identity;
+    readonly state: WorkAvailability;
+}
+export interface WorkCoverage {
+    readonly state: WorkAvailability | "unselected";
+    readonly items: ReadonlyArray<WorkCoverageItem>;
+}
+export type WorkAcceptanceState = "accepted-under-supplied-authority" | "unaccepted" | "unresolved";
+export interface WorkClaimResult {
+    readonly claim: EventRef;
+    readonly obligation: RevisionRef;
+    readonly applicability: WorkAcceptanceState | "superseded";
+    readonly matchedReceiptIds: ReadonlyArray<string>;
+    readonly problems: ReadonlyArray<WorkProblem>;
+}
+export interface WorkObligationResult {
+    readonly binding: ObligationBinding;
+    readonly acceptance: WorkAcceptanceState;
+    readonly artifactCoverage: WorkCoverage;
+    readonly evidenceCoverage: WorkCoverage;
+    readonly claims: ReadonlyArray<EventRef>;
+    readonly problems: ReadonlyArray<WorkProblem>;
+}
+export interface WorkOccurrenceView {
+    readonly event: EventRef;
+    readonly payload: WorkOccurrencePayload;
+}
+export interface WorkAttemptBinding {
+    readonly scope: RevisionRef;
+    readonly obligation: RevisionRef;
+    readonly variantIds: ReadonlyArray<string>;
+    readonly artifacts: ReadonlyArray<RevisionRef>;
+}
+export interface WorkAttempt {
+    readonly executionId: string;
+    readonly bindings: ReadonlyArray<WorkAttemptBinding>;
+    readonly parentExecutionId: string | null;
+    readonly childId: string | null;
+    readonly declaredLabels: ReadonlyArray<WorkOccurrencePayload["labels"]>;
+    readonly observedLabels: ReadonlyArray<WorkOccurrencePayload["labels"]>;
+    readonly effectiveLabels: WorkOccurrencePayload["labels"];
+    readonly state: WorkOccurrencePayload["state"] | "conflicted";
+    readonly resolution: "resolved" | "unresolved";
+    readonly problems: ReadonlyArray<WorkProblem>;
+}
+export interface WorkRuntimeCounts {
+    readonly attempts: number;
+    readonly variants: number;
+    readonly observedCompletedAttempts: number;
+}
+export interface WorkRuntime {
+    readonly counts: WorkRuntimeCounts;
+    readonly occurrences: ReadonlyArray<WorkOccurrenceView>;
+    readonly attempts: ReadonlyArray<WorkAttempt>;
+}
+export interface WorkProjection {
+    readonly selectedSnapshot: Identity | null;
+    readonly authoritySnapshot: Identity | null;
+    readonly scopeState: "unselected" | "valid" | "unresolved" | "invalid";
+    readonly progress: Readonly<{
+        accepted: number;
+        total: number;
+    }> | null;
+    readonly obligations: ReadonlyArray<WorkObligationResult>;
+    readonly claims: ReadonlyArray<WorkClaimResult>;
+    readonly supersededClaims: number;
+    readonly conflicts: ReadonlyArray<WorkConflict>;
+    readonly problems: ReadonlyArray<WorkProblem>;
+    readonly errors: ReadonlyArray<WorkDiagnostic>;
+    readonly runtime: WorkRuntime | null;
+}
+export {};
+//# sourceMappingURL=work-ledger-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-types.d.ts","sourceRoot":"","sources":["../src/work-ledger-types.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GACxD,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,SAAS,MAAM,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,CAAC,CAAC;AACzE,MAAM,MAAM,aAAa,GACrB,mBAAmB,GAAG,uBAAuB,GAAG,qBAAqB,GACrE,0BAA0B,GAAG,qBAAqB,GAClD,sBAAsB,GAAG,sBAAsB,CAAC;AAEpD,qBAAa,cAAe,SAAQ,SAAS;IAC3C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;gBACjB,IAAI,EAAE,aAAa;CAKhC;AAED,MAAM,MAAM,aAAa,GAAG,0BAA0B,GAAG,wBAAwB,GAAG,0BAA0B,CAAC;AAC/G,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;gBACjB,IAAI,EAAE,aAAa;CAChC;AACD,MAAM,MAAM,kBAAkB,GAAG,8BAA8B,GAAG,6BAA6B,GAAG,6BAA6B,CAAC;AAChI,MAAM,WAAW,wBAAwB;IAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,kBAAkB,CAAA;CAAE;AACpH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,wBAAwB,CAAC,CAAC;CAC1D;AAED,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,GAAG,UAAU,GAAG,QAAQ,CAAC;AAC5F,MAAM,MAAM,aAAa,GAAG,eAAe,GAAG,eAAe,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;AACtG,MAAM,WAAW,WAAW;IAAG,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACjG,MAAM,WAAW,QAAQ;IAAG,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAC7D,MAAM,WAAW,QAAQ;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACxD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,YAAY,CAAC;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3B,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,WAAW,CAAC;IACpB,UAAU,EAAE,WAAW,CAAC;IACxB,QAAQ,EAAE,WAAW,GAAG,IAAI,CAAC;IAC7B,MAAM,EAAE,WAAW,CAAC;CACrB;AACD,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,WAAW,CAAC;IACnB,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,WAAW,CAAC;IACnB,UAAU,EAAE,WAAW,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,WAAW,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;IACpC,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IACnE,MAAM,EAAE;QACN,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QACzB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAC5B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;QAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;QAC3B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QAChC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;QACnC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;KACzB,CAAC;CACH;AACD,MAAM,WAAW,WAAW;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;CAAE;AACnF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,WAAW,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;IACpB,UAAU,EAAE,WAAW,CAAC;IACxB,QAAQ,EAAE,WAAW,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,WAAW,EAAE,CAAC;CACzB;AACD,MAAM,WAAW,qBAAqB;IAAG,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE;AAC1F,UAAU,SAAS,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC;IAC5C,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,CAAC,CAAC;IACT,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,CAAC,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,MAAM,iBAAiB,GAAG,SAAS,CAAC,eAAe,EAAE;IAAE,QAAQ,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AACvF,MAAM,MAAM,iBAAiB,GAAG,SAAS,CAAC,eAAe,EAAE;IAAE,QAAQ,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AACvF,MAAM,MAAM,mBAAmB,GAAG,SAAS,CAAC,iBAAiB,EAAE,qBAAqB,CAAC,CAAC;AACtF,MAAM,MAAM,mBAAmB,GAAG,SAAS,CAAC,iBAAiB,EAAE,qBAAqB,CAAC,CAAC;AACtF,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAChH,MAAM,WAAW,cAAc;IAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE;AAC9F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,kBAAkB,GAC1B,kBAAkB,GAAG,cAAc,GAAG,mBAAmB,GACzD,eAAe,GAAG,kBAAkB,GAAG,OAAO,GAAG,oBAAoB,GACrE,gBAAgB,GAAG,qBAAqB,GAAG,0BAA0B,GACrE,UAAU,GAAG,oBAAoB,GAAG,mBAAmB,GACvD,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,mBAAmB,GACjF,mBAAmB,GAAG,sBAAsB,GAAG,mBAAmB,GAClE,uBAAuB,GAAG,qBAAqB,GAC/C,gBAAgB,GAAG,cAAc,GAAG,sBAAsB,GAAG,gBAAgB,CAAC;AAClF,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACzG;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AACxD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC1D;AACD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC1D;AAED,mGAAmG;AACnG,MAAM,WAAW,qBAAqB;IACpC,gBAAgB,EAAE;QAAE,QAAQ,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,QAAQ,CAAA;KAAE,GAAG,IAAI,CAAC;IACjE,SAAS,EAAE;QACT,QAAQ,EAAE,QAAQ,CAAC;QACnB,SAAS,EAAE,KAAK,CAAC;YACf,SAAS,EAAE,MAAM,CAAC;YAClB,WAAW,EAAE,MAAM,CAAC;YACpB,KAAK,EAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,iBAAiB,CAAC;YAC3B,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC;SAC/B,CAAC,CAAC;QACH,YAAY,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;YAAC,EAAE,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;KACxG,GAAG,IAAI,CAAC;CACV;AACD,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,YAAY,CAAC;AACtF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AACD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,YAAY,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CACjD;AACD,MAAM,MAAM,mBAAmB,GAAG,mCAAmC,GAAG,YAAY,GAAG,YAAY,CAAC;AACpG,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,mBAAmB,GAAG,YAAY,CAAC;IAC3D,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,kBAAkB;IAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAA;CAAE;AACzG,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAChD;AACD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACrD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC;IAC9D,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,YAAY,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;CAC5C;AACD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,YAAY,GAAG,OAAO,GAAG,YAAY,GAAG,SAAS,CAAC;IACvE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAAC;IACxE,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAChD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;CACtC"}

package/dist/work-ledger-types.js

@@ -0,0 +1,13 @@
+export class WorkInputError extends TypeError {
+    code;
+    constructor(code) {
+        super(code);
+        this.name = "WorkInputError";
+        this.code = code;
+    }
+}
+export class WorkLedgerWriteError extends Error {
+    code;
+    constructor(code) { super(code); this.name = "WorkLedgerWriteError"; this.code = code; }
+}
+//# sourceMappingURL=work-ledger-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-types.js","sourceRoot":"","sources":["../src/work-ledger-types.ts"],"names":[],"mappings":"AASA,MAAM,OAAO,cAAe,SAAQ,SAAS;IAClC,IAAI,CAAgB;IAC7B,YAAY,IAAmB;QAC7B,KAAK,CAAC,IAAI,CAAC,CAAC;QACZ,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAGD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACpC,IAAI,CAAgB;IAC7B,YAAY,IAAmB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC;CACxG"}

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

@@ -0,0 +1,14 @@
+import { type WorkJson } from "./work-ledger-json.ts";
+import { type WorkLedgerEvent } from "./work-ledger-types.ts";
+type ObjectValue = {
+    [key: string]: WorkJson;
+};
+export declare function workObject(value: WorkJson): ObjectValue;
+/** Internal validation for the exact out-of-band selectedSnapshot shape; no authority is constructed. */
+export declare function validateWorkSelection(value: WorkJson): void;
+/** Validate a detached host context. Receipt/availability order and duplicate deliveries have no priority. */
+export declare function validateWorkContext(value: WorkJson): void;
+/** All closed shapes/domain checks finish before any own digest is computed or verified. */
+export declare function validateWorkEvent(value: WorkJson, building?: boolean): WorkLedgerEvent;
+export {};
+//# sourceMappingURL=work-ledger-validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"work-ledger-validation.d.ts","sourceRoot":"","sources":["../src/work-ledger-validation.ts"],"names":[],"mappings":"AACA,OAAO,EAAiC,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9E,KAAK,WAAW,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAAA;CAAE,CAAC;AAI/C,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,GAAG,WAAW,CAGvD;AAqBD,yGAAyG;AACzG,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAI3D;AA2FD,8GAA8G;AAC9G,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAiBzD;AASD,4FAA4F;AAC5F,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,UAAQ,GAAG,eAAe,CAiBpF"}