@sdd-method/sdd-cli 0.9.0

package/dist/lib/sdd-index/contracts.js

@@ -0,0 +1,216 @@
+/**
+ * Extract producer metadata from contract artefacts.
+ *
+ * Each adopter uses different conventions inside the raw artefact
+ * format (OpenAPI `x-*` extensions, proto options, Avro doc fields,
+ * SpiceDB comments). We try a few best-effort patterns and fall back
+ * to marking the node as metadata-incomplete — it's better to return
+ * a partial graph than to fail hard.
+ *
+ * The shape we care about:
+ *   - `producedAggregates` — aggregate names this contract describes
+ *   - `producedEvents` — event names this contract publishes
+ *
+ * Producer / consumer *service* linkage is derived later in graph.ts
+ * from repo-config declarations, not from the artefact itself.
+ */
+import { parse as parseYaml } from "yaml";
+/**
+ * Parse a single contract artefact and return its producer metadata.
+ * `relPath` is relative to the SDD root.
+ */
+export function readContract(reader, relPath, kind) {
+    const raw = reader.readFile(relPath);
+    if (raw === null) {
+        return {
+            path: relPath,
+            kind,
+            producedAggregates: [],
+            producedEvents: [],
+            producers: [],
+            consumers: [],
+            metadataIncomplete: true,
+        };
+    }
+    const result = parseByKind(raw, kind);
+    return {
+        path: relPath,
+        kind,
+        producedAggregates: result.aggregates,
+        producedEvents: result.events,
+        producers: [],
+        consumers: [],
+        metadataIncomplete: result.metadataIncomplete,
+    };
+}
+function parseByKind(raw, kind) {
+    switch (kind) {
+        case "openapi":
+            return parseOpenApi(raw);
+        case "avro":
+            return parseAvro(raw);
+        case "proto":
+            return parseProto(raw);
+        case "spicedb":
+            return parseSpiceDb(raw);
+    }
+}
+/**
+ * OpenAPI producer metadata via `x-sdd-aggregate` / `x-sdd-events`
+ * extensions at the document root. Falls back to deriving aggregates
+ * from the `tags` field.
+ */
+function parseOpenApi(raw) {
+    let doc;
+    try {
+        doc = parseYaml(raw);
+    }
+    catch {
+        return { aggregates: [], events: [], metadataIncomplete: true };
+    }
+    if (!doc || typeof doc !== "object" || Array.isArray(doc)) {
+        return { aggregates: [], events: [], metadataIncomplete: true };
+    }
+    const record = doc;
+    const aggregates = stringArray(record["x-sdd-aggregate"])
+        .concat(stringArray(record["x-sdd-aggregates"]));
+    const events = stringArray(record["x-sdd-events"]);
+    if (aggregates.length === 0 && events.length === 0) {
+        // Fallback: extract from `tags[].name`
+        const tags = record["tags"];
+        if (Array.isArray(tags)) {
+            for (const t of tags) {
+                if (t && typeof t === "object" && !Array.isArray(t)) {
+                    const name = t["name"];
+                    if (typeof name === "string")
+                        aggregates.push(name);
+                }
+            }
+        }
+    }
+    return {
+        aggregates: dedupe(aggregates),
+        events: dedupe(events),
+        metadataIncomplete: aggregates.length === 0 && events.length === 0,
+    };
+}
+/**
+ * Avro: treat top-level record names as events (by convention, event
+ * schemas are single-record files named after the event). Namespace is
+ * captured as the aggregate grouping.
+ */
+function parseAvro(raw) {
+    let doc;
+    try {
+        doc = JSON.parse(raw);
+    }
+    catch {
+        return { aggregates: [], events: [], metadataIncomplete: true };
+    }
+    const records = [];
+    if (doc && typeof doc === "object") {
+        if (Array.isArray(doc)) {
+            for (const d of doc) {
+                if (d && typeof d === "object" && !Array.isArray(d)) {
+                    records.push(d);
+                }
+            }
+        }
+        else {
+            records.push(doc);
+        }
+    }
+    const aggregates = [];
+    const events = [];
+    for (const r of records) {
+        if (r["type"] === "record") {
+            const name = r["name"];
+            if (typeof name === "string")
+                events.push(name);
+            const ns = r["namespace"];
+            if (typeof ns === "string")
+                aggregates.push(ns);
+            // x-extensions at record level
+            aggregates.push(...stringArray(r["x-sdd-aggregate"]));
+            events.push(...stringArray(r["x-sdd-events"]));
+        }
+    }
+    return {
+        aggregates: dedupe(aggregates),
+        events: dedupe(events),
+        metadataIncomplete: records.length === 0,
+    };
+}
+/**
+ * Proto: extract `service` / `message` names via regex. Proper
+ * proto parsing is overkill for metadata extraction; this matches the
+ * typical convention where the aggregate name is embedded in the
+ * service name (e.g. `PartyService`).
+ */
+function parseProto(raw) {
+    const aggregates = [];
+    const events = [];
+    const lines = raw.split("\n");
+    const serviceRe = /^\s*service\s+(\w+)/;
+    const messageRe = /^\s*message\s+(\w+)/;
+    const aggregateCommentRe = /\/\/\s*sdd:aggregate\s+(\w+)/i;
+    const eventCommentRe = /\/\/\s*sdd:event\s+(\w+)/i;
+    let matchedAny = false;
+    for (const line of lines) {
+        const svc = line.match(serviceRe);
+        if (svc && svc[1]) {
+            aggregates.push(svc[1]);
+            matchedAny = true;
+        }
+        const msg = line.match(messageRe);
+        if (msg && msg[1]) {
+            events.push(msg[1]);
+            matchedAny = true;
+        }
+        const aggC = line.match(aggregateCommentRe);
+        if (aggC && aggC[1]) {
+            aggregates.push(aggC[1]);
+            matchedAny = true;
+        }
+        const evC = line.match(eventCommentRe);
+        if (evC && evC[1]) {
+            events.push(evC[1]);
+            matchedAny = true;
+        }
+    }
+    return {
+        aggregates: dedupe(aggregates),
+        events: dedupe(events),
+        metadataIncomplete: !matchedAny,
+    };
+}
+/**
+ * SpiceDB schemas declare `definition` blocks; each definition is an
+ * aggregate. This is a coarse match — enough for dependency-graph
+ * reasoning.
+ */
+function parseSpiceDb(raw) {
+    const aggregates = [];
+    const defRe = /^\s*definition\s+([\w/]+)/gm;
+    let m;
+    while ((m = defRe.exec(raw)) !== null) {
+        if (m[1])
+            aggregates.push(m[1]);
+    }
+    return {
+        aggregates: dedupe(aggregates),
+        events: [],
+        metadataIncomplete: aggregates.length === 0,
+    };
+}
+function stringArray(v) {
+    if (typeof v === "string")
+        return [v];
+    if (!Array.isArray(v))
+        return [];
+    return v.filter((x) => typeof x === "string");
+}
+function dedupe(xs) {
+    return Array.from(new Set(xs));
+}
+//# sourceMappingURL=contracts.js.map

package/dist/lib/sdd-index/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../src/lib/sdd-index/contracts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAU1C;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAiB,EACjB,OAAe,EACf,IAAkB;IAElB,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,kBAAkB,EAAE,EAAE;YACtB,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE;YACb,SAAS,EAAE,EAAE;YACb,kBAAkB,EAAE,IAAI;SACzB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACtC,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,kBAAkB,EAAE,MAAM,CAAC,UAAU;QACrC,cAAc,EAAE,MAAM,CAAC,MAAM;QAC7B,SAAS,EAAE,EAAE;QACb,SAAS,EAAE,EAAE;QACb,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,GAAW,EAAE,IAAkB;IAClD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;QAC3B,KAAK,MAAM;YACT,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC;QACxB,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;QACzB,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,GAAW;IAC/B,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAClE,CAAC;IACD,MAAM,MAAM,GAAG,GAA8B,CAAC;IAC9C,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;SACtD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;IACnD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,uCAAuC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpD,MAAM,IAAI,GAAI,CAA6B,CAAC,MAAM,CAAC,CAAC;oBACpD,IAAI,OAAO,IAAI,KAAK,QAAQ;wBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QACtB,kBAAkB,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;KACnE,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAClE,CAAC;IACD,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;gBACpB,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpD,OAAO,CAAC,IAAI,CAAC,CAA4B,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,GAA8B,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;YAC1B,IAAI,OAAO,EAAE,KAAK,QAAQ;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChD,+BAA+B;YAC/B,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QACtB,kBAAkB,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;KACzC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,SAAS,GAAG,qBAAqB,CAAC;IACxC,MAAM,SAAS,GAAG,qBAAqB,CAAC;IACxC,MAAM,kBAAkB,GAAG,+BAA+B,CAAC;IAC3D,MAAM,cAAc,GAAG,2BAA2B,CAAC;IACnD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACxB,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC5C,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACvC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QACtB,kBAAkB,EAAE,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,6BAA6B,CAAC;IAC5C,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,MAAM,EAAE,EAAE;QACV,kBAAkB,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,MAAM,CAAC,EAAqB;IACnC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC"}

package/dist/lib/sdd-index/data-model.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Extract entity names from a mermaid data-model file. Mirrors the
+ * awk pattern in `orchestration/scripts/validate-cascade-completeness.sh`
+ * line 313: treat any top-level `<Identifier> {` block as an entity
+ * declaration.
+ *
+ * Output is deduplicated and sorted for deterministic downstream use.
+ * Malformed or non-mermaid input returns an empty list — callers
+ * surface a warning via `metadata_incomplete` on the returned
+ * message.
+ */
+export declare function extractEntities(body: string): readonly string[];
+//# sourceMappingURL=data-model.d.ts.map

package/dist/lib/sdd-index/data-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"data-model.d.ts","sourceRoot":"","sources":["../../../src/lib/sdd-index/data-model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAQ/D"}

package/dist/lib/sdd-index/data-model.js

@@ -0,0 +1,23 @@
+/**
+ * Extract entity names from a mermaid data-model file. Mirrors the
+ * awk pattern in `orchestration/scripts/validate-cascade-completeness.sh`
+ * line 313: treat any top-level `<Identifier> {` block as an entity
+ * declaration.
+ *
+ * Output is deduplicated and sorted for deterministic downstream use.
+ * Malformed or non-mermaid input returns an empty list — callers
+ * surface a warning via `metadata_incomplete` on the returned
+ * message.
+ */
+const ENTITY_RE = /^\s*([A-Za-z][A-Za-z0-9_]+)\s*\{\s*$/gm;
+export function extractEntities(body) {
+    const seen = new Set();
+    let m;
+    ENTITY_RE.lastIndex = 0;
+    while ((m = ENTITY_RE.exec(body)) !== null) {
+        if (m[1])
+            seen.add(m[1]);
+    }
+    return Array.from(seen).sort();
+}
+//# sourceMappingURL=data-model.js.map

package/dist/lib/sdd-index/data-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data-model.js","sourceRoot":"","sources":["../../../src/lib/sdd-index/data-model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,MAAM,SAAS,GAAG,wCAAwC,CAAC;AAE3D,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,CAAyB,CAAC;IAC9B,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC;IACxB,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AACjC,CAAC"}

package/dist/lib/sdd-index/execution-map.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Parse docs/platform/execution-dependency-map.md if present.
+ *
+ * The map is an adopter-owned narrative artefact (ADR 0074 §4.3). The
+ * scope doc explicitly marks it as a narrative overlay — repo-config
+ * wins if they disagree. We extract any unambiguous edges we can find
+ * and ignore the rest; on parse failure we return an empty list plus
+ * a warning.
+ *
+ * Expected pattern (by convention; adopters vary):
+ *
+ *     - consumer-service --build-start--> producer-service
+ *     - consumer-service --go-live--> producer-service
+ *     - consumer-service --migration-dependency--> producer-service
+ *
+ * Plus YAML-fenced blocks of the form:
+ *
+ *     ```yaml
+ *     edges:
+ *       - from: consumer-service
+ *         to: producer-service
+ *         kind: go-live
+ *         note: "..."
+ *     ```
+ */
+import type { SddReader } from "../mcp/reader.js";
+import type { ExecutionEdge } from "./types.js";
+export declare const EXECUTION_MAP_PATH = "docs/platform/execution-dependency-map.md";
+export interface ExecutionMapResult {
+    readonly edges: readonly ExecutionEdge[];
+    readonly warnings: readonly string[];
+}
+export declare function readExecutionMap(reader: SddReader): ExecutionMapResult;
+//# sourceMappingURL=execution-map.d.ts.map

package/dist/lib/sdd-index/execution-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-map.d.ts","sourceRoot":"","sources":["../../../src/lib/sdd-index/execution-map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAkB,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhE,eAAO,MAAM,kBAAkB,8CACc,CAAC;AAE9C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAWD,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,GAAG,kBAAkB,CAwEtE"}

package/dist/lib/sdd-index/execution-map.js

@@ -0,0 +1,105 @@
+/**
+ * Parse docs/platform/execution-dependency-map.md if present.
+ *
+ * The map is an adopter-owned narrative artefact (ADR 0074 §4.3). The
+ * scope doc explicitly marks it as a narrative overlay — repo-config
+ * wins if they disagree. We extract any unambiguous edges we can find
+ * and ignore the rest; on parse failure we return an empty list plus
+ * a warning.
+ *
+ * Expected pattern (by convention; adopters vary):
+ *
+ *     - consumer-service --build-start--> producer-service
+ *     - consumer-service --go-live--> producer-service
+ *     - consumer-service --migration-dependency--> producer-service
+ *
+ * Plus YAML-fenced blocks of the form:
+ *
+ *     ```yaml
+ *     edges:
+ *       - from: consumer-service
+ *         to: producer-service
+ *         kind: go-live
+ *         note: "..."
+ *     ```
+ */
+import { parse as parseYaml } from "yaml";
+export const EXECUTION_MAP_PATH = "docs/platform/execution-dependency-map.md";
+const VALID_KINDS = new Set([
+    "build-start",
+    "go-live",
+    "migration-dependency",
+]);
+const LINE_EDGE_RE = /^\s*-\s+([\w.-]+)\s+--(build-start|go-live|migration-dependency)-->\s+([\w.-]+)\s*(?:#\s*(.*))?$/i;
+export function readExecutionMap(reader) {
+    const raw = reader.readFile(EXECUTION_MAP_PATH);
+    if (raw === null)
+        return { edges: [], warnings: [] };
+    const edges = [];
+    const warnings = [];
+    // 1) Line-form edges.
+    for (const line of raw.split("\n")) {
+        const m = line.match(LINE_EDGE_RE);
+        if (!m)
+            continue;
+        const [, from, kindRaw, to, note] = m;
+        if (!from || !kindRaw || !to)
+            continue;
+        const kind = kindRaw.toLowerCase();
+        if (!VALID_KINDS.has(kind))
+            continue;
+        edges.push({
+            from,
+            to,
+            kind,
+            ...(note ? { note: note.trim() } : {}),
+        });
+    }
+    // 2) YAML-fenced `edges:` blocks.
+    const yamlBlockRe = /```ya?ml\s*\n([\s\S]*?)\n```/g;
+    let block;
+    while ((block = yamlBlockRe.exec(raw)) !== null) {
+        const body = block[1] ?? "";
+        if (!body.includes("edges"))
+            continue;
+        let doc;
+        try {
+            doc = parseYaml(body);
+        }
+        catch (err) {
+            warnings.push(`execution-map: fenced YAML block failed to parse (${err.message})`);
+            continue;
+        }
+        if (!doc || typeof doc !== "object" || Array.isArray(doc))
+            continue;
+        const edgesField = doc["edges"];
+        if (!Array.isArray(edgesField))
+            continue;
+        for (const entry of edgesField) {
+            if (!entry || typeof entry !== "object" || Array.isArray(entry))
+                continue;
+            const obj = entry;
+            const from = typeof obj["from"] === "string" ? obj["from"] : undefined;
+            const to = typeof obj["to"] === "string" ? obj["to"] : undefined;
+            const kindRaw = typeof obj["kind"] === "string" ? obj["kind"] : undefined;
+            if (!from || !to || !kindRaw) {
+                warnings.push(`execution-map: edge is missing from/to/kind (entry: ${JSON.stringify(entry)})`);
+                continue;
+            }
+            const kind = kindRaw;
+            if (!VALID_KINDS.has(kind)) {
+                warnings.push(`execution-map: edge has unknown kind '${kindRaw}' (valid: build-start, go-live, migration-dependency)`);
+                continue;
+            }
+            const note = typeof obj["note"] === "string" ? obj["note"] : undefined;
+            edges.push({
+                from,
+                to,
+                kind,
+                ...(note ? { note } : {}),
+            });
+        }
+    }
+    return { edges, warnings };
+}
+//# sourceMappingURL=execution-map.js.map

package/dist/lib/sdd-index/execution-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-map.js","sourceRoot":"","sources":["../../../src/lib/sdd-index/execution-map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAI1C,MAAM,CAAC,MAAM,kBAAkB,GAC7B,2CAA2C,CAAC;AAO9C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAiB;IAC1C,aAAa;IACb,SAAS;IACT,sBAAsB;CACvB,CAAC,CAAC;AAEH,MAAM,YAAY,GAChB,mGAAmG,CAAC;AAEtG,MAAM,UAAU,gBAAgB,CAAC,MAAiB;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAErD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,sBAAsB;IACtB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE;YAAE,SAAS;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAoB,CAAC;QACrD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,KAAK,CAAC,IAAI,CAAC;YACT,IAAI;YACJ,EAAE;YACF,IAAI;YACJ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvC,CAAC,CAAC;IACL,CAAC;IAED,kCAAkC;IAClC,MAAM,WAAW,GAAG,+BAA+B,CAAC;IACpD,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACtC,IAAI,GAAY,CAAC;QACjB,IAAI,CAAC;YACH,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CACX,qDAAsD,GAAa,CAAC,OAAO,GAAG,CAC/E,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QACpE,MAAM,UAAU,GAAI,GAA+B,CAAC,OAAO,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,SAAS;QACzC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC1E,MAAM,GAAG,GAAG,KAAgC,CAAC;YAC7C,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,MAAM,EAAE,GAAG,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACjE,MAAM,OAAO,GACX,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5D,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CACX,uDAAuD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAChF,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,OAAyB,CAAC;YACvC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CACX,yCAAyC,OAAO,uDAAuD,CACxG,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,EAAE;gBACF,IAAI;gBACJ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC"}

package/dist/lib/sdd-index/graph.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Graph-builder pass. Consumes already-parsed ServiceNodes + ContractNodes
+ * and derives the cross-reference maps that dependency-graph tools query:
+ *
+ *   - producers: aggregate/event → service ids that own it
+ *   - consumers: aggregate/event → service ids that depend on it
+ *   - pins:      contract path → (service id → version string)
+ *
+ * Producer linkage from repo-config: a service that declares a contract
+ * and owns at least one of its produced aggregates is marked as a
+ * producer of that contract. Everyone else who declares the contract
+ * is a consumer. This is deliberately asymmetric — adopters tend not
+ * to flag producer-vs-consumer explicitly, so ownership of the
+ * aggregate is our tiebreaker. When no service owns the aggregates,
+ * all declaring services are consumers and no producer is recorded
+ * (surfaced via metadataIncomplete on the ContractNode).
+ */
+import type { ContractNode, ExecutionEdge, ServiceNode } from "./types.js";
+export interface GraphBuildResult {
+    readonly services: ReadonlyMap<string, ServiceNode>;
+    readonly contracts: ReadonlyMap<string, ContractNode>;
+    readonly producers: ReadonlyMap<string, readonly string[]>;
+    readonly consumers: ReadonlyMap<string, readonly string[]>;
+    readonly pins: ReadonlyMap<string, ReadonlyMap<string, string>>;
+    readonly warnings: readonly string[];
+}
+export declare function buildGraph(serviceList: readonly ServiceNode[], contractList: readonly ContractNode[], _edges: readonly ExecutionEdge[]): GraphBuildResult;
+//# sourceMappingURL=graph.d.ts.map

package/dist/lib/sdd-index/graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../../src/lib/sdd-index/graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACZ,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACtD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC3D,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC3D,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,wBAAgB,UAAU,CACxB,WAAW,EAAE,SAAS,WAAW,EAAE,EACnC,YAAY,EAAE,SAAS,YAAY,EAAE,EACrC,MAAM,EAAE,SAAS,aAAa,EAAE,GAC/B,gBAAgB,CAwFlB"}

package/dist/lib/sdd-index/graph.js

@@ -0,0 +1,122 @@
+/**
+ * Graph-builder pass. Consumes already-parsed ServiceNodes + ContractNodes
+ * and derives the cross-reference maps that dependency-graph tools query:
+ *
+ *   - producers: aggregate/event → service ids that own it
+ *   - consumers: aggregate/event → service ids that depend on it
+ *   - pins:      contract path → (service id → version string)
+ *
+ * Producer linkage from repo-config: a service that declares a contract
+ * and owns at least one of its produced aggregates is marked as a
+ * producer of that contract. Everyone else who declares the contract
+ * is a consumer. This is deliberately asymmetric — adopters tend not
+ * to flag producer-vs-consumer explicitly, so ownership of the
+ * aggregate is our tiebreaker. When no service owns the aggregates,
+ * all declaring services are consumers and no producer is recorded
+ * (surfaced via metadataIncomplete on the ContractNode).
+ */
+export function buildGraph(serviceList, contractList, _edges) {
+    const services = new Map();
+    for (const s of serviceList)
+        services.set(s.id, s);
+    const contractsByPath = new Map();
+    for (const c of contractList)
+        contractsByPath.set(c.path, c);
+    const producersAcc = new Map();
+    const consumersAcc = new Map();
+    const pinsAcc = new Map();
+    const contractProducers = new Map();
+    const contractConsumers = new Map();
+    const warnings = [];
+    for (const service of serviceList) {
+        const ownedAggregates = new Set(service.aggregates);
+        for (const ref of service.contracts) {
+            const contract = contractsByPath.get(ref.path);
+            // Version pin map.
+            if (ref.version) {
+                let inner = pinsAcc.get(ref.path);
+                if (!inner) {
+                    inner = new Map();
+                    pinsAcc.set(ref.path, inner);
+                }
+                inner.set(service.id, ref.version);
+            }
+            // Producer / consumer classification.
+            const producesAny = contract
+                ? contract.producedAggregates.some((a) => ownedAggregates.has(a))
+                : ownedAggregates.size > 0 &&
+                    service.aggregates.some((a) => ref.path.includes(a));
+            if (producesAny) {
+                addToSetMap(contractProducers, ref.path, service.id);
+                // Also index every produced event/aggregate → this service.
+                if (contract) {
+                    for (const agg of contract.producedAggregates) {
+                        addToSetMap(producersAcc, agg, service.id);
+                    }
+                    for (const ev of contract.producedEvents) {
+                        addToSetMap(producersAcc, ev, service.id);
+                    }
+                }
+                for (const agg of service.aggregates) {
+                    addToSetMap(producersAcc, agg, service.id);
+                }
+            }
+            else {
+                addToSetMap(contractConsumers, ref.path, service.id);
+                if (contract) {
+                    for (const agg of contract.producedAggregates) {
+                        addToSetMap(consumersAcc, agg, service.id);
+                    }
+                    for (const ev of contract.producedEvents) {
+                        addToSetMap(consumersAcc, ev, service.id);
+                    }
+                }
+            }
+        }
+    }
+    // Rewrite ContractNodes with their resolved producer/consumer lists.
+    const contracts = new Map();
+    for (const [path, node] of contractsByPath) {
+        const producers = Array.from(contractProducers.get(path) ?? []).sort();
+        const consumers = Array.from(contractConsumers.get(path) ?? []).sort();
+        if (producers.length === 0 && !node.metadataIncomplete) {
+            warnings.push(`graph: contract ${path} has consumers but no producer could be identified (aggregates ${JSON.stringify(node.producedAggregates)})`);
+        }
+        contracts.set(path, {
+            ...node,
+            producers,
+            consumers,
+        });
+    }
+    return {
+        services,
+        contracts,
+        producers: freezeSetMap(producersAcc),
+        consumers: freezeSetMap(consumersAcc),
+        pins: freezeInnerMap(pinsAcc),
+        warnings,
+    };
+}
+function addToSetMap(map, key, value) {
+    let inner = map.get(key);
+    if (!inner) {
+        inner = new Set();
+        map.set(key, inner);
+    }
+    inner.add(value);
+}
+function freezeSetMap(map) {
+    const out = new Map();
+    for (const [k, set] of map) {
+        out.set(k, Array.from(set).sort());
+    }
+    return out;
+}
+function freezeInnerMap(map) {
+    const out = new Map();
+    for (const [k, inner] of map) {
+        out.set(k, new Map(inner));
+    }
+    return out;
+}
+//# sourceMappingURL=graph.js.map

package/dist/lib/sdd-index/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../../src/lib/sdd-index/graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAiBH,MAAM,UAAU,UAAU,CACxB,WAAmC,EACnC,YAAqC,EACrC,MAAgC;IAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAEnD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAwB,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAE7D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACzD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACzD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;QAClC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAE/C,mBAAmB;YACnB,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBAChB,IAAI,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;oBAClB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC/B,CAAC;gBACD,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACrC,CAAC;YAED,sCAAsC;YACtC,MAAM,WAAW,GAAG,QAAQ;gBAC1B,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjE,CAAC,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC;oBACxB,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAEzD,IAAI,WAAW,EAAE,CAAC;gBAChB,WAAW,CAAC,iBAAiB,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;gBACrD,4DAA4D;gBAC5D,IAAI,QAAQ,EAAE,CAAC;oBACb,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;wBAC9C,WAAW,CAAC,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC7C,CAAC;oBACD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;wBACzC,WAAW,CAAC,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;oBACrC,WAAW,CAAC,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,iBAAiB,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;gBACrD,IAAI,QAAQ,EAAE,CAAC;oBACb,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;wBAC9C,WAAW,CAAC,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC7C,CAAC;oBACD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;wBACzC,WAAW,CAAC,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,eAAe,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACvE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACvE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,mBAAmB,IAAI,kEAAkE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CACpI,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE;YAClB,GAAG,IAAI;YACP,SAAS;YACT,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,QAAQ;QACR,SAAS;QACT,SAAS,EAAE,YAAY,CAAC,YAAY,CAAC;QACrC,SAAS,EAAE,YAAY,CAAC,YAAY,CAAC;QACrC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC;QAC7B,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,GAA6B,EAC7B,GAAW,EACX,KAAa;IAEb,IAAI,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;QAClB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CACnB,GAA6B;IAE7B,MAAM,GAAG,GAAG,IAAI,GAAG,EAA6B,CAAC;IACjD,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC;QAC3B,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CACrB,GAAqC;IAErC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC3D,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;QAC7B,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/lib/sdd-index/index.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Public facade for the in-memory SDD index. Consumers call
+ * `getSddIndex(reader)` and get a fully-populated `SddIndex` with
+ * lazy-built, per-reader caching.
+ *
+ * Cache keying is by `sddRoot + pin` so a pinned read and a live read
+ * maintain separate indexes (scope doc §Pin semantics: pinned reads
+ * bypass live index; no drift detection).
+ */
+import type { SddIndex } from "./types.js";
+import type { SddReader } from "../mcp/reader.js";
+export type { SddIndex } from "./types.js";
+export type { ContractKind, ContractNode, ContractRef, DependencyKind, ExecutionEdge, ServiceNode, StabilityClass, } from "./types.js";
+export { REPO_CONFIG_DIR, parseRepoConfigFile, readAllRepoConfigs, } from "./repo-config.js";
+export { EXECUTION_MAP_PATH, readExecutionMap } from "./execution-map.js";
+export { readContract } from "./contracts.js";
+export { buildGraph } from "./graph.js";
+export declare function getSddIndex(reader: SddReader): SddIndex;
+/**
+ * Drop any cached index for the given reader. Called by the file-watch
+ * invalidation hook (WS6) when the SDD changes under a live reader.
+ * Pinned-reader caches are never invalidated — the tree at that SHA is
+ * immutable by definition.
+ */
+export declare function invalidateSddIndex(reader: SddReader): void;
+/** Exposed for tests; production callers should use getSddIndex(). */
+export declare function clearSddIndexCache(): void;
+export declare function buildSddIndex(reader: SddReader): SddIndex;
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/sdd-index/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/sdd-index/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,OAAO,KAAK,EAGV,QAAQ,EAET,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,YAAY,EACV,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,cAAc,EACd,aAAa,EACb,WAAW,EACX,cAAc,GACf,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAKxC,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAOvD;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CAI1D;AAED,sEAAsE;AACtE,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAuCzD"}