@software-dlc/cli 0.157.2

package/dist/local/workspace-built-content.js

@@ -0,0 +1,393 @@
+import { canonicalizePortableGraph, stringifyCanonicalJson } from './canonical.js';
+import { validateProjectionGraph } from './projection.js';
+const PENDING_CLAIM_COLUMNS = `coordinator_workspace_id, entity_kind, entity_id,
+  work_stream_workspace_id, gate, change, built_commit_id, gate_commit_id,
+  recorded_at`;
+const CURRENT_CONTENT = `case when built_content_commit_id = built_commit_id
+    then built_content end as built_content,
+  case when gate_content_commit_id = gate_commit_id
+    then gate_content end as gate_content`;
+const GRAPH_KEYS = {
+    node: 'nodes',
+    edge: 'edges',
+    path: 'paths',
+    path_relation: 'path_relations'
+};
+const ENTITY_KINDS = Object.keys(GRAPH_KEYS);
+function entities(graph, kind) {
+    return new Map((graph[GRAPH_KEYS[kind]] ?? []).map((entity) => [
+        entity.id,
+        entity
+    ]));
+}
+/** Each entity's canonical JSON in one graph, `null` JSON when it lacks it. */
+function contentOf(graph) {
+    const canonical = canonicalizePortableGraph(graph);
+    const collections = new Map();
+    return (kind, entity_id) => {
+        let collection = collections.get(kind);
+        if (!collection) {
+            collection = entities(canonical, kind);
+            collections.set(kind, collection);
+        }
+        return stringifyCanonicalJson(collection.get(entity_id) ?? null);
+    };
+}
+/**
+ * Leaves out a node whose parent the view left out (a parent never built),
+ * with its descendants, the edges naming any of them, the paths anchored on
+ * one with their child paths, and the path relations naming those paths, so
+ * the view holds no orphan a hosted apply would refuse. A path the view left
+ * out takes its child paths and relations the same way. Only what a left-out
+ * node or path brings is dropped; anything else wrong stays for validation to
+ * report. Returns what it dropped.
+ */
+function dropOrphans(collections, left_out) {
+    const orphans = [];
+    const nodes = collections.get('node');
+    const paths = collections.get('path');
+    const dropped_nodes = new Set([...left_out.node_ids].filter((id) => !nodes.has(id)));
+    const dropped_paths = new Set([...left_out.path_ids].filter((id) => !paths.has(id)));
+    if (dropped_nodes.size === 0 && dropped_paths.size === 0)
+        return orphans;
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const node of [...nodes.values()]) {
+            if (node.parentId && dropped_nodes.has(node.parentId)) {
+                nodes.delete(node.id);
+                dropped_nodes.add(node.id);
+                orphans.push({ entity_kind: 'node', entity_id: node.id });
+                changed = true;
+            }
+        }
+    }
+    const edges = collections.get('edge');
+    for (const edge of [...edges.values()]) {
+        if (dropped_nodes.has(edge.source) || dropped_nodes.has(edge.target)) {
+            edges.delete(edge.id);
+            orphans.push({ entity_kind: 'edge', entity_id: edge.id });
+        }
+    }
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const path of [...paths.values()]) {
+            if ((path.anchors ?? []).some((anchor) => dropped_nodes.has(anchor.node_id)) ||
+                (path.parent_id !== undefined && dropped_paths.has(path.parent_id))) {
+                paths.delete(path.id);
+                dropped_paths.add(path.id);
+                orphans.push({ entity_kind: 'path', entity_id: path.id });
+                changed = true;
+            }
+        }
+    }
+    const relations = collections.get('path_relation');
+    for (const relation of [...relations.values()]) {
+        if (dropped_paths.has(relation.left_path_id) ||
+            dropped_paths.has(relation.right_path_id)) {
+            relations.delete(relation.id);
+            orphans.push({ entity_kind: 'path_relation', entity_id: relation.id });
+        }
+    }
+    return orphans;
+}
+/** The claims one merge added, changed, or removed, in a stable order. */
+export function graphClaimChanges(input) {
+    const changes = [];
+    for (const entity_kind of ENTITY_KINDS) {
+        const before = entities(input.before_graph, entity_kind);
+        const after = entities(input.after_graph, entity_kind);
+        for (const entity_id of [
+            ...new Set([...before.keys(), ...after.keys()])
+        ].sort()) {
+            const was = before.get(entity_id);
+            const is = after.get(entity_id);
+            if (!was)
+                changes.push({ entity_kind, entity_id, change: 'added' });
+            else if (!is)
+                changes.push({ entity_kind, entity_id, change: 'removal' });
+            else if (stringifyCanonicalJson(was) !== stringifyCanonicalJson(is)) {
+                changes.push({ entity_kind, entity_id, change: 'changed' });
+            }
+        }
+    }
+    return changes;
+}
+/**
+ * The graph as built: each pending claim at its built content, without the
+ * claims that were never built. A claim's stored built content is used when
+ * it has one; only a claim recorded before the store kept content reads its
+ * built commit's graph.
+ */
+export async function readBuiltView(input) {
+    const collections = new Map(ENTITY_KINDS.map((kind) => [kind, entities(input.graph, kind)]));
+    const built_graphs = new Map();
+    const claims = new Map();
+    for (const claim of input.pending) {
+        const key = `${claim.entity_kind}\u0000${claim.entity_id}`;
+        claims.set(key, [...(claims.get(key) ?? []), claim]);
+    }
+    const marked_for_removal = [];
+    for (const rows of claims.values()) {
+        const { entity_kind, entity_id, built_commit_id, built_content } = rows[0];
+        const collection = collections.get(entity_kind);
+        collection.delete(entity_id);
+        if (built_commit_id === null)
+            continue;
+        let built;
+        if (built_content != null) {
+            built = JSON.parse(built_content);
+        }
+        else {
+            if (!built_graphs.has(built_commit_id)) {
+                built_graphs.set(built_commit_id, await input.readGraph(built_commit_id));
+            }
+            built = entities(built_graphs.get(built_commit_id), entity_kind).get(entity_id);
+        }
+        if (!built)
+            continue;
+        collection.set(entity_id, built);
+        const removing = rows.filter((row) => row.change === 'removal');
+        if (removing.length > 0) {
+            marked_for_removal.push({
+                entity_kind,
+                entity_id,
+                work_stream_workspace_ids: removing
+                    .map((row) => row.work_stream_workspace_id)
+                    .sort()
+            });
+        }
+    }
+    const pending_ids = (kind) => new Set(input.pending
+        .filter((claim) => claim.entity_kind === kind)
+        .map((claim) => claim.entity_id));
+    const left_out_orphans = dropOrphans(collections, {
+        node_ids: pending_ids('node'),
+        path_ids: pending_ids('path')
+    });
+    const sorted = (kind) => [...collections.get(kind).values()].sort((left, right) => left.id < right.id ? -1 : left.id > right.id ? 1 : 0);
+    const graph = {
+        ...input.graph,
+        nodes: sorted('node'),
+        edges: sorted('edge'),
+        paths: sorted('path'),
+        path_relations: sorted('path_relation')
+    };
+    const validation = validateProjectionGraph(graph, { node_parents: true });
+    return {
+        graph,
+        marked_for_removal: marked_for_removal.sort((left, right) => `${left.entity_kind}/${left.entity_id}` <
+            `${right.entity_kind}/${right.entity_id}`
+            ? -1
+            : 1),
+        left_out_orphans: left_out_orphans.sort((left, right) => `${left.entity_kind}/${left.entity_id}` <
+            `${right.entity_kind}/${right.entity_id}`
+            ? -1
+            : 1),
+        validation: {
+            is_valid: validation.is_valid,
+            issues: validation.is_valid
+                ? []
+                : validation.issues.map((issue) => `${issue.code}: ${issue.message}`)
+        }
+    };
+}
+export class LocalBuiltContentStore {
+    database;
+    constructor(database) {
+        this.database = database;
+    }
+    /** Declares the gate a queued child commit merges under. */
+    setQueueGate(queue_entry_id, gate) {
+        const existing = this.queueGate(queue_entry_id);
+        if (existing && existing !== gate) {
+            throw new Error(`Queue entry ${queue_entry_id} is already queued under the ${existing} gate.`);
+        }
+        this.database
+            .prepare(`insert into local_integration_queue_gate (queue_entry_id, gate)
+         values (?, ?) on conflict (queue_entry_id) do nothing`)
+            .run(queue_entry_id, gate);
+    }
+    /** The gate a queue entry merges under; null for a landing. */
+    queueGate(queue_entry_id) {
+        const row = this.database
+            .prepare('select gate from local_integration_queue_gate where queue_entry_id = ?')
+            .get(queue_entry_id);
+        return row?.gate ?? null;
+    }
+    /**
+     * Queues a commit that merged under a gate again, as a landing. The gate
+     * merge already put it in the coordinator, so the landing merges nothing:
+     * it gives the work stream its landing commit and clears its claims.
+     */
+    requeueAsLanding(queue_entry_id) {
+        this.database.exec('begin immediate');
+        try {
+            this.database
+                .prepare(`update local_integration_queue set status = 'queued', updated_at = ?
+           where id = ? and status = 'integrated'`)
+                .run(new Date().toISOString(), queue_entry_id);
+            this.database
+                .prepare('delete from local_integration_queue_gate where queue_entry_id = ?')
+                .run(queue_entry_id);
+            this.database.exec('commit');
+        }
+        catch (error) {
+            this.database.exec('rollback');
+            throw error;
+        }
+    }
+    listPendingClaims(coordinator_workspace_id) {
+        return this.database
+            .prepare(`select ${PENDING_CLAIM_COLUMNS} from local_workspace_pending_claim
+         where coordinator_workspace_id = ?
+         order by entity_kind, entity_id, recorded_at, work_stream_workspace_id`)
+            .all(coordinator_workspace_id);
+    }
+    listPendingClaimContent(coordinator_workspace_id) {
+        return this.database
+            .prepare(`select ${PENDING_CLAIM_COLUMNS}, ${CURRENT_CONTENT}
+         from local_workspace_pending_claim
+         where coordinator_workspace_id = ?
+         order by entity_kind, entity_id, recorded_at, work_stream_workspace_id`)
+            .all(coordinator_workspace_id);
+    }
+    /**
+     * Fills the content of claims that have none for their current commits,
+     * reading each commit's graph once and one at a time. Each write names the
+     * commit it read, so a claim that moved meanwhile is left for the next fill.
+     * A graph that cannot be read leaves its claims unfilled, read from their
+     * commits as before. Returns how many claims it filled.
+     */
+    async fillPendingClaimContent(input) {
+        const by_commit = new Map();
+        const want = (commit_id, claim, column) => by_commit.set(commit_id, [
+            ...(by_commit.get(commit_id) ?? []),
+            { claim, column }
+        ]);
+        for (const claim of this.listPendingClaimContent(input.coordinator_workspace_id)) {
+            if (claim.built_commit_id !== null && claim.built_content === null) {
+                want(claim.built_commit_id, claim, 'built');
+            }
+            if (claim.gate_content === null)
+                want(claim.gate_commit_id, claim, 'gate');
+        }
+        const filled = new Set();
+        for (const [commit_id, wanted] of by_commit) {
+            let content;
+            try {
+                content = contentOf(await input.readGraph(commit_id));
+            }
+            catch {
+                continue;
+            }
+            this.database.exec('begin immediate');
+            try {
+                for (const { claim, column } of wanted) {
+                    const changed = this.database
+                        .prepare(`update local_workspace_pending_claim
+               set ${column}_content = ?, ${column}_content_commit_id = ?
+               where coordinator_workspace_id = ? and entity_kind = ?
+                 and entity_id = ? and work_stream_workspace_id = ?
+                 and ${column}_commit_id = ?
+                 and (${column}_content is null
+                   or ${column}_content_commit_id is not ${column}_commit_id)`)
+                        .run(content(claim.entity_kind, claim.entity_id), commit_id, claim.coordinator_workspace_id, claim.entity_kind, claim.entity_id, claim.work_stream_workspace_id, commit_id);
+                    if (Number(changed.changes) > 0) {
+                        filled.add(`${claim.entity_kind}\u0000${claim.entity_id}\u0000${claim.work_stream_workspace_id}`);
+                    }
+                }
+                this.database.exec('commit');
+            }
+            catch (error) {
+                this.database.exec('rollback');
+                throw error;
+            }
+        }
+        return filled.size;
+    }
+    /**
+     * Call inside the transaction that advances the coordinator from
+     * `before_graph` to `gate_graph`, committed as `gate_commit_id`. A claim
+     * keeps the built content its first pending claim recorded, whichever work
+     * stream changes it next.
+     */
+    recordGateMerge(input) {
+        const recorded_at = new Date().toISOString();
+        const before_content = contentOf(input.before_graph);
+        const gate_content = contentOf(input.gate_graph);
+        for (const change of input.changes) {
+            const known = this.database
+                .prepare(`select built_commit_id, ${CURRENT_CONTENT}
+           from local_workspace_pending_claim
+           where coordinator_workspace_id = ? and entity_kind = ?
+             and entity_id = ?
+           order by recorded_at, work_stream_workspace_id limit 1`)
+                .get(input.coordinator_workspace_id, change.entity_kind, change.entity_id);
+            const built_commit_id = known
+                ? known.built_commit_id
+                : change.change === 'added'
+                    ? null
+                    : input.before_commit_id;
+            const built_content = known
+                ? known.built_content
+                : built_commit_id === null
+                    ? null
+                    : before_content(change.entity_kind, change.entity_id);
+            if (built_commit_id === null && change.change === 'removal') {
+                // Never built: the gate deletes it, and this stream has nothing left
+                // to land for it.
+                this.database
+                    .prepare(`delete from local_workspace_pending_claim
+             where coordinator_workspace_id = ? and entity_kind = ?
+               and entity_id = ? and work_stream_workspace_id = ?`)
+                    .run(input.coordinator_workspace_id, change.entity_kind, change.entity_id, input.work_stream_workspace_id);
+                continue;
+            }
+            this.database
+                .prepare(`insert into local_workspace_pending_claim (
+             ${PENDING_CLAIM_COLUMNS}, built_content, built_content_commit_id,
+             gate_content, gate_content_commit_id
+           ) values (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)
+           on conflict (
+             coordinator_workspace_id, entity_kind, entity_id,
+             work_stream_workspace_id
+           ) do update set
+             gate = excluded.gate, change = excluded.change,
+             gate_commit_id = excluded.gate_commit_id,
+             gate_content = excluded.gate_content,
+             gate_content_commit_id = excluded.gate_content_commit_id`)
+                .run(input.coordinator_workspace_id, change.entity_kind, change.entity_id, input.work_stream_workspace_id, input.gate, 
+            // Putting back a built claim that another stream removed changes it.
+            built_commit_id !== null && change.change === 'added'
+                ? 'changed'
+                : change.change, built_commit_id, input.gate_commit_id, recorded_at, built_content, built_content === null ? null : built_commit_id, gate_content(change.entity_kind, change.entity_id), input.gate_commit_id);
+        }
+    }
+    /**
+     * Call inside the transaction that lands the work stream. Its pending
+     * claims are built now. Another stream's pending claim on the same entity
+     * keeps the built content it recorded, so nothing unbuilt reads as built;
+     * one recorded as never built takes this stream's gate commit, the first
+     * content of that entity that was built.
+     */
+    completeLanding(input) {
+        const completed = this.listPendingClaimContent(input.coordinator_workspace_id).filter((claim) => claim.work_stream_workspace_id === input.work_stream_workspace_id);
+        this.database
+            .prepare(`delete from local_workspace_pending_claim
+         where coordinator_workspace_id = ? and work_stream_workspace_id = ?`)
+            .run(input.coordinator_workspace_id, input.work_stream_workspace_id);
+        for (const claim of completed) {
+            // A gate content not current for its commit stays unfilled here, for
+            // the next fill.
+            this.database
+                .prepare(`update local_workspace_pending_claim
+           set built_commit_id = ?, built_content = ?,
+             built_content_commit_id = ?
+           where coordinator_workspace_id = ? and entity_kind = ?
+             and entity_id = ? and built_commit_id is null`)
+                .run(claim.gate_commit_id, claim.gate_content, claim.gate_content === null ? null : claim.gate_commit_id, input.coordinator_workspace_id, claim.entity_kind, claim.entity_id);
+        }
+        return completed;
+    }
+}
+//# sourceMappingURL=workspace-built-content.js.map

package/dist/local/workspace-built-content.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-built-content.js","sourceRoot":"","sources":["../../src/local/workspace-built-content.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAEL,uBAAuB,EACxB,MAAM,iBAAiB,CAAC;AA4CzB,MAAM,qBAAqB,GAAG;;cAEhB,CAAC;AAEf,MAAM,eAAe,GAAG;;;0CAGkB,CAAC;AAyB3C,MAAM,UAAU,GAAG;IACjB,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,aAAa,EAAE,gBAAgB;CACqC,CAAC;AAEvE,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAA2B,CAAC;AAEvE,SAAS,QAAQ,CACf,KAAoB,EACpB,IAA0B;IAE1B,OAAO,IAAI,GAAG,CACX,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAA2B,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACzE,MAAM,CAAC,EAAE;QACT,MAAM;KACP,CAAC,CACH,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAS,SAAS,CAChB,KAAoB;IAEpB,MAAM,SAAS,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,WAAW,GAAG,IAAI,GAAG,EAGxB,CAAC;IACJ,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QACzB,IAAI,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,UAAU,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACvC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,sBAAsB,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAClB,WAAmE,EACnE,QAA0D;IAE1D,MAAM,OAAO,GAAuC,EAAE,CAAC;IACvD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAGnC,CAAC;IACF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAGnC,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CACtD,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CACtD,CAAC;IACF,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACzE,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAI,CAAC;QACnC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,QAAQ,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC1D,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAGnC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QACvC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACrE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAI,CAAC;QACnC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YACvC,IACE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAClC;gBACD,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EACnE,CAAC;gBACD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC1D,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,eAAe,CAGhD,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAC/C,IACE,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC;YACxC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,EACzC,CAAC;YACD,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,KAGjC;IACC,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QACvD,KAAK,MAAM,SAAS,IAAI;YACtB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;SAChD,CAAC,IAAI,EAAE,EAAE,CAAC;YACT,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAClC,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChC,IAAI,CAAC,GAAG;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;iBAC/D,IAAI,CAAC,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;iBACrE,IAAI,sBAAsB,CAAC,GAAG,CAAC,KAAK,sBAAsB,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpE,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAInC;IACC,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAChE,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IACnE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,WAAW,SAAS,KAAK,CAAC,SAAS,EAAE,CAAC;QAC3D,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,kBAAkB,GAAyC,EAAE,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE,aAAa,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QAC5E,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC;QACjD,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7B,IAAI,eAAe,KAAK,IAAI;YAAE,SAAS;QACvC,IAAI,KAAwC,CAAC;QAC7C,IAAI,aAAa,IAAI,IAAI,EAAE,CAAC;YAC1B,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAA0B,CAAC;QAC7D,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;gBACvC,YAAY,CAAC,GAAG,CACd,eAAe,EACf,MAAM,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,CACvC,CAAC;YACJ,CAAC;YACD,KAAK,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,eAAe,CAAE,EAAE,WAAW,CAAC,CAAC,GAAG,CACnE,SAAS,CACV,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,kBAAkB,CAAC,IAAI,CAAC;gBACtB,WAAW;gBACX,SAAS;gBACT,yBAAyB,EAAE,QAAQ;qBAChC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,wBAAwB,CAAC;qBAC1C,IAAI,EAAE;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,IAA0B,EAAE,EAAE,CACjD,IAAI,GAAG,CACL,KAAK,CAAC,OAAO;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC;SAC7C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CACnC,CAAC;IACJ,MAAM,gBAAgB,GAAG,WAAW,CAAC,WAAW,EAAE;QAChD,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC;QAC7B,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,IAA0B,EAAE,EAAE,CAC5C,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACxD,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;IACJ,MAAM,KAAK,GAAG;QACZ,GAAG,KAAK,CAAC,KAAK;QACd,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;QACrB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;QACrB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;QACrB,cAAc,EAAE,MAAM,CAAC,eAAe,CAAC;KACvB,CAAC;IACnB,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1E,OAAO;QACL,KAAK;QACL,kBAAkB,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,SAAS,EAAE;YACvC,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,SAAS,EAAE;YACvC,CAAC,CAAC,CAAC,CAAC;YACJ,CAAC,CAAC,CAAC,CACN;QACD,gBAAgB,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtD,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,SAAS,EAAE;YACvC,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,SAAS,EAAE;YACvC,CAAC,CAAC,CAAC,CAAC;YACJ,CAAC,CAAC,CAAC,CACN;QACD,UAAU,EAAE;YACV,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EAAE,UAAU,CAAC,QAAQ;gBACzB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;SACxE;KACF,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,sBAAsB;IACJ;IAA7B,YAA6B,QAAqC;QAArC,aAAQ,GAAR,QAAQ,CAA6B;IAAG,CAAC;IAEtE,4DAA4D;IAC5D,YAAY,CAAC,cAAsB,EAAE,IAAe;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAChD,IAAI,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,eAAe,cAAc,gCAAgC,QAAQ,QAAQ,CAC9E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,QAAQ;aACV,OAAO,CACN;+DACuD,CACxD;aACA,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,+DAA+D;IAC/D,SAAS,CAAC,cAAsB;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ;aACtB,OAAO,CACN,wEAAwE,CACzE;aACA,GAAG,CAAC,cAAc,CAAoC,CAAC;QAC1D,OAAO,GAAG,EAAE,IAAI,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED;;;;OAIG;IACH,gBAAgB,CAAC,cAAsB;QACrC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACtC,IAAI,CAAC;YACH,IAAI,CAAC,QAAQ;iBACV,OAAO,CACN;kDACwC,CACzC;iBACA,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,cAAc,CAAC,CAAC;YACjD,IAAI,CAAC,QAAQ;iBACV,OAAO,CACN,mEAAmE,CACpE;iBACA,GAAG,CAAC,cAAc,CAAC,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/B,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,iBAAiB,CAAC,wBAAgC;QAChD,OAAO,IAAI,CAAC,QAAQ;aACjB,OAAO,CACN,UAAU,qBAAqB;;gFAEyC,CACzE;aACA,GAAG,CAAC,wBAAwB,CAAwB,CAAC;IAC1D,CAAC;IAED,uBAAuB,CACrB,wBAAgC;QAEhC,OAAO,IAAI,CAAC,QAAQ;aACjB,OAAO,CACN,UAAU,qBAAqB,KAAK,eAAe;;;gFAGqB,CACzE;aACA,GAAG,CAAC,wBAAwB,CAA+B,CAAC;IACjE,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,uBAAuB,CAAC,KAG7B;QACC,MAAM,SAAS,GAAG,IAAI,GAAG,EAGtB,CAAC;QACJ,MAAM,IAAI,GAAG,CACX,SAAiB,EACjB,KAA+B,EAC/B,MAAwB,EACxB,EAAE,CACF,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE;YACvB,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACnC,EAAE,KAAK,EAAE,MAAM,EAAE;SAClB,CAAC,CAAC;QACL,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,uBAAuB,CAC9C,KAAK,CAAC,wBAAwB,CAC/B,EAAE,CAAC;YACF,IAAI,KAAK,CAAC,eAAe,KAAK,IAAI,IAAI,KAAK,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;gBACnE,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC9C,CAAC;YACD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI;gBAC7B,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC5C,IAAI,OAAqC,CAAC;YAC1C,IAAI,CAAC;gBACH,OAAO,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;YACxD,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YACtC,IAAI,CAAC;gBACH,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;oBACvC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ;yBAC1B,OAAO,CACN;qBACO,MAAM,iBAAiB,MAAM;;;uBAG3B,MAAM;wBACL,MAAM;wBACN,MAAM,6BAA6B,MAAM,aAAa,CACjE;yBACA,GAAG,CACF,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC,EAC3C,SAAS,EACT,KAAK,CAAC,wBAAwB,EAC9B,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,wBAAwB,EAC9B,SAAS,CACV,CAAC;oBACJ,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;wBAChC,MAAM,CAAC,GAAG,CACR,GAAG,KAAK,CAAC,WAAW,SAAS,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,wBAAwB,EAAE,CACtF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/B,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IAED;;;;;OAKG;IACH,eAAe,CAAC,KASf;QACC,MAAM,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACjD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ;iBACxB,OAAO,CACN,2BAA2B,eAAe;;;;kEAIc,CACzD;iBACA,GAAG,CACF,KAAK,CAAC,wBAAwB,EAC9B,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,SAAS,CAGP,CAAC;YACd,MAAM,eAAe,GAAG,KAAK;gBAC3B,CAAC,CAAC,KAAK,CAAC,eAAe;gBACvB,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO;oBACzB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;YAC7B,MAAM,aAAa,GAAG,KAAK;gBACzB,CAAC,CAAC,KAAK,CAAC,aAAa;gBACrB,CAAC,CAAC,eAAe,KAAK,IAAI;oBACxB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YAC3D,IAAI,eAAe,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC5D,qEAAqE;gBACrE,kBAAkB;gBAClB,IAAI,CAAC,QAAQ;qBACV,OAAO,CACN;;kEAEsD,CACvD;qBACA,GAAG,CACF,KAAK,CAAC,wBAAwB,EAC9B,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,SAAS,EAChB,KAAK,CAAC,wBAAwB,CAC/B,CAAC;gBACJ,SAAS;YACX,CAAC;YACD,IAAI,CAAC,QAAQ;iBACV,OAAO,CACN;eACK,qBAAqB;;;;;;;;;;sEAUkC,CAC7D;iBACA,GAAG,CACF,KAAK,CAAC,wBAAwB,EAC9B,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,SAAS,EAChB,KAAK,CAAC,wBAAwB,EAC9B,KAAK,CAAC,IAAI;YACV,qEAAqE;YACrE,eAAe,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO;gBACnD,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,MAAM,CAAC,MAAM,EACjB,eAAe,EACf,KAAK,CAAC,cAAc,EACpB,WAAW,EACX,aAAa,EACb,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAC/C,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,EAClD,KAAK,CAAC,cAAc,CACrB,CAAC;QACN,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACH,eAAe,CAAC,KAGf;QACC,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,CAC5C,KAAK,CAAC,wBAAwB,CAC/B,CAAC,MAAM,CACN,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,wBAAwB,KAAK,KAAK,CAAC,wBAAwB,CACpE,CAAC;QACF,IAAI,CAAC,QAAQ;aACV,OAAO,CACN;6EACqE,CACtE;aACA,GAAG,CAAC,KAAK,CAAC,wBAAwB,EAAE,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACvE,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,qEAAqE;YACrE,iBAAiB;YACjB,IAAI,CAAC,QAAQ;iBACV,OAAO,CACN;;;;2DAIiD,CAClD;iBACA,GAAG,CACF,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,EACzD,KAAK,CAAC,wBAAwB,EAC9B,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,SAAS,CAChB,CAAC;QACN,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF"}

package/dist/local/workspace-claim-status-read.d.ts

@@ -0,0 +1,53 @@
+import { z } from 'zod';
+import { type ClaimStatusResult } from './workspace-claim-status.js';
+/**
+ * The claim status read for agents (the `sdlc_claim_status` MCP tool): the
+ * local workspace at a checkout, its arguments checked strictly, and its
+ * answer bounded. Offline. It never creates a store: a checkout with none is
+ * answered without opening one. Opening an existing store changes no graph or
+ * workspace data; like any `sdlc` command it writes, then removes, a runtime
+ * lease file in the state directory.
+ */
+export declare const CLAIM_STATUS_MAX_CLAIMS = 500;
+export declare const claim_status_arguments_schema: z.ZodObject<{
+    view: z.ZodOptional<z.ZodEnum<{
+        planned: "planned";
+        released: "released";
+        built: "built";
+    }>>;
+    commit: z.ZodOptional<z.ZodString>;
+    environments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        ref: z.ZodString;
+    }, z.core.$strict>>>;
+    cites_code: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    status: z.ZodOptional<z.ZodEnum<{
+        planned: "planned";
+        released: "released";
+        unrecorded: "unrecorded";
+        designed: "designed";
+        implemented: "implemented";
+    }>>;
+    stale: z.ZodOptional<z.ZodBoolean>;
+    behind: z.ZodOptional<z.ZodBoolean>;
+    max_claims: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+export type ClaimStatusArguments = z.infer<typeof claim_status_arguments_schema>;
+export type ClaimStatusRead = (ClaimStatusResult & {
+    asked_workspace_id?: string;
+    truncated?: {
+        claims?: number;
+        marked_for_removal?: number;
+    };
+}) | {
+    version: 1;
+    error: string;
+};
+export declare function readClaimStatus(input: {
+    cwd: string;
+    arguments: unknown;
+    /** The repository state directory, when not the checkout's own. */
+    state_dir?: string;
+}): Promise<ClaimStatusRead>;
+//# sourceMappingURL=workspace-claim-status-read.d.ts.map

package/dist/local/workspace-claim-status-read.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-claim-status-read.d.ts","sourceRoot":"","sources":["../../src/local/workspace-claim-status-read.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,OAAO,EAGL,KAAK,iBAAiB,EACvB,MAAM,6BAA6B,CAAC;AAGrC;;;;;;;GAOG;AAEH,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;kBAsB/B,CAAC;AAEZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CACxC,OAAO,6BAA6B,CACrC,CAAC;AAEF,MAAM,MAAM,eAAe,GACvB,CAAC,iBAAiB,GAAG;IACnB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,SAAS,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,kBAAkB,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC9D,CAAC,GACF;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,wBAAsB,eAAe,CAAC,KAAK,EAAE;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,OAAO,CAAC;IACnB,mEAAmE;IACnE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG,OAAO,CAAC,eAAe,CAAC,CAkF3B"}

package/dist/local/workspace-claim-status-read.js

@@ -0,0 +1,118 @@
+import { stat } from 'node:fs/promises';
+import { join } from 'node:path';
+import { z } from 'zod';
+import { discoverGitWorktree } from './git.js';
+import { resolveLocalRepositoryStateDirectory } from './workspace-graph-store.js';
+import { readWorkspaceTopology } from './workspace-topology.js';
+import { CLAIM_STATUSES, CLAIM_STATUS_VIEWS } from './workspace-claim-status.js';
+import { LocalWorkspaceRuntime } from './workspace-runtime.js';
+/**
+ * The claim status read for agents (the `sdlc_claim_status` MCP tool): the
+ * local workspace at a checkout, its arguments checked strictly, and its
+ * answer bounded. Offline. It never creates a store: a checkout with none is
+ * answered without opening one. Opening an existing store changes no graph or
+ * workspace data; like any `sdlc` command it writes, then removes, a runtime
+ * lease file in the state directory.
+ */
+export const CLAIM_STATUS_MAX_CLAIMS = 500;
+export const claim_status_arguments_schema = z
+    .object({
+    view: z.enum(CLAIM_STATUS_VIEWS).optional(),
+    commit: z.string().trim().min(1).max(200).optional(),
+    environments: z
+        .array(z
+        .object({
+        key: z.string().trim().min(1).max(100),
+        ref: z.string().trim().min(1).max(200)
+    })
+        .strict())
+        .max(20)
+        .optional(),
+    cites_code: z.array(z.string().trim().min(1).max(100)).max(100).optional(),
+    nodes: z.array(z.string().trim().min(1).max(200)).max(200).optional(),
+    status: z.enum(CLAIM_STATUSES).optional(),
+    stale: z.boolean().optional(),
+    behind: z.boolean().optional(),
+    max_claims: z.number().int().min(1).max(CLAIM_STATUS_MAX_CLAIMS).optional()
+})
+    .strict();
+export async function readClaimStatus(input) {
+    const parsed = claim_status_arguments_schema.safeParse(input.arguments ?? {});
+    if (!parsed.success) {
+        return {
+            version: 1,
+            error: `Invalid arguments: ${parsed.error.issues
+                .map((issue) => `${issue.path.join('.') || '(arguments)'} ${issue.message}`)
+                .join('; ')}`
+        };
+    }
+    const args = parsed.data;
+    let runtime = null;
+    try {
+        const git = await discoverGitWorktree(input.cwd);
+        const topology = await readWorkspaceTopology(git.repository_root);
+        const state_dir = resolveLocalRepositoryStateDirectory({
+            git_common_dir: git.git_common_dir,
+            override: input.state_dir ?? topology?.state_dir
+        });
+        if (!(await stat(join(state_dir, 'repository.sqlite')).catch(() => null))) {
+            return {
+                version: 1,
+                error: 'This repository has no local workspace store, so it has no graph to read claim status from.'
+            };
+        }
+        runtime = await LocalWorkspaceRuntime.open({
+            cwd: input.cwd,
+            state_dir: input.state_dir
+        });
+        const workspace = runtime.store.getWorkspaceByGitWorktreePath(runtime.git.repository_root);
+        if (!workspace || workspace.status !== 'active') {
+            return {
+                version: 1,
+                error: 'This checkout is not an active local workspace, so it has no graph to read claim status from.'
+            };
+        }
+        const result = await runtime.workspaceClaimStatus({
+            workspace_id: workspace.id,
+            view: args.view,
+            commit: args.commit,
+            environments: args.environments,
+            cites_code: args.cites_code,
+            nodes: args.nodes,
+            status: args.status,
+            stale_only: args.stale,
+            behind_only: args.behind
+        });
+        const limit = args.max_claims ?? 100;
+        const removed = result.pending.marked_for_removal;
+        const truncated = {
+            ...(result.claims && result.claims.length > limit
+                ? { claims: result.claims.length }
+                : {}),
+            ...(removed.length > limit ? { marked_for_removal: removed.length } : {})
+        };
+        if (!Object.keys(truncated).length)
+            return result;
+        return {
+            ...result,
+            ...(result.claims ? { claims: result.claims.slice(0, limit) } : {}),
+            pending: {
+                ...result.pending,
+                marked_for_removal: removed.slice(0, limit)
+            },
+            truncated
+        };
+    }
+    catch (error) {
+        return {
+            version: 1,
+            error: error instanceof Error
+                ? error.message
+                : 'The claim status could not be read.'
+        };
+    }
+    finally {
+        runtime?.close();
+    }
+}
+//# sourceMappingURL=workspace-claim-status-read.js.map

package/dist/local/workspace-claim-status-read.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-claim-status-read.js","sourceRoot":"","sources":["../../src/local/workspace-claim-status-read.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAC/C,OAAO,EAAE,oCAAoC,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EACL,cAAc,EACd,kBAAkB,EAEnB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D;;;;;;;GAOG;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAE3C,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,QAAQ,EAAE;IAC3C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IACpD,YAAY,EAAE,CAAC;SACZ,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QACtC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KACvC,CAAC;SACD,MAAM,EAAE,CACZ;SACA,GAAG,CAAC,EAAE,CAAC;SACP,QAAQ,EAAE;IACb,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IAC1E,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IACrE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE;IACzC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC,QAAQ,EAAE;CAC5E,CAAC;KACD,MAAM,EAAE,CAAC;AAaZ,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAKrC;IACC,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAC9E,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO;YACL,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,sBAAsB,MAAM,CAAC,KAAK,CAAC,MAAM;iBAC7C,GAAG,CACF,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,aAAa,IAAI,KAAK,CAAC,OAAO,EAAE,CACvE;iBACA,IAAI,CAAC,IAAI,CAAC,EAAE;SAChB,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,OAAO,GAAiC,IAAI,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,oCAAoC,CAAC;YACrD,cAAc,EAAE,GAAG,CAAC,cAAc;YAClC,QAAQ,EAAE,KAAK,CAAC,SAAS,IAAI,QAAQ,EAAE,SAAS;SACjD,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC1E,OAAO;gBACL,OAAO,EAAE,CAAC;gBACV,KAAK,EACH,6FAA6F;aAChG,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC;YACzC,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,SAAS,EAAE,KAAK,CAAC,SAAS;SAC3B,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAC3D,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5B,CAAC;QACF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,CAAC;gBACV,KAAK,EACH,+FAA+F;aAClG,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,oBAAoB,CAAC;YAChD,YAAY,EAAE,SAAS,CAAC,EAAE;YAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,UAAU,EAAE,IAAI,CAAC,KAAK;YACtB,WAAW,EAAE,IAAI,CAAC,MAAM;SACzB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,IAAI,GAAG,CAAC;QACrC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;QAClD,MAAM,SAAS,GAAG;YAChB,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK;gBAC/C,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE;gBAClC,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1E,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM;YAAE,OAAO,MAAM,CAAC;QAClD,OAAO;YACL,GAAG,MAAM;YACT,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,OAAO,EAAE;gBACP,GAAG,MAAM,CAAC,OAAO;gBACjB,kBAAkB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;aAC5C;YACD,SAAS;SACV,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,CAAC;YACV,KAAK,EACH,KAAK,YAAY,KAAK;gBACpB,CAAC,CAAC,KAAK,CAAC,OAAO;gBACf,CAAC,CAAC,qCAAqC;SAC5C,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC;AACH,CAAC"}