@ybotok/loam 0.2.0-alpha.1 → 0.2.0-alpha.13

package/dist/commands/show/marks.js

@@ -1,11 +1,18 @@
 /**
- * The four one-line shapes both halves of `loam show` are written in: a tick
- * for a file that exists, a scenario count, an edge note, a parse error.
+ * The shapes every view of `loam show` is written in: a tick for a file that
+ * exists, a scenario count, an edge note, and one requirement as a line and as
+ * a `--json` entry. (The parse-error line is `errorText` in `core/c4/likec4.ts`,
+ * shared with validate.)
  *
- * A leaf of its own because the service view and the feature view both use
- * them, and neither should have to import the other to reach a tick.
+ * A leaf of its own because the service view, the feature view and the view of
+ * a service a feature introduces all use them, and none should have to import
+ * another to reach a tick. The requirement shapes moved here from the service
+ * view when the introduced view arrived: a delta requirement is listed exactly
+ * as a living one is, and two spellings of one entry are two entries a
+ * consumer has to learn.
  */
 import {} from "../../core/document/spec.js";
+import { plural } from "../policy/format.js";
 import {} from "./service.js";
 export function mark(present) {
     return present ? "✓" : "-";
@@ -18,7 +25,29 @@ export function edgeNote(e) {
         return `  ${e.op}`;
     return e.title ? `  "${e.title}"` : "";
 }
-export function errorText(e) {
-    return typeof e.line === "number" ? `L${e.line}: ${e.message}` : e.message;
+/** A requirement's `--json` entry — `requirements[]` and `archSpec.entries[]` alike. */
+export function requirementJson(r) {
+    return {
+        id: r.id,
+        name: r.name,
+        kind: r.kind,
+        scenarios: r.scenarios.length,
+        operations: r.operations,
+        covers: r.covers,
+    };
+}
+/** A requirement as one line, unindented: its name, its scenarios, what it governs and covers. */
+export function requirementLine(r) {
+    const govern = r.operations.length > 0 ? `  → ${r.operations.join(", ")}` : "";
+    const covers = r.covers.length > 0 ? `  covers ${r.covers.join(", ")}` : "";
+    return `${r.name}  (${plural(r.scenarios.length, "scenario")})${govern}${covers}`;
+}
+/** A requirement delta's ADDED / MODIFIED / REMOVED counts — one spelling for `show <FEAT>` and the introduced-service view. */
+export function kindCounts(reqs) {
+    return {
+        added: reqs.filter((r) => r.kind === "ADDED").length,
+        modified: reqs.filter((r) => r.kind === "MODIFIED").length,
+        removed: reqs.filter((r) => r.kind === "REMOVED").length,
+    };
 }
 //# sourceMappingURL=marks.js.map

package/dist/commands/show/marks.js.map

@@ -1 +1 @@
-{"version":3,"file":"marks.js","sourceRoot":"","sources":["../../../src/commands/show/marks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAa,MAAM,cAAc,CAAC;AAEzC,MAAM,UAAU,IAAI,CAAC,OAAgB;IACnC,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAmB;IAC/C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAO;IAC9B,IAAI,CAAC,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IAC7B,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAqC;IAC7D,OAAO,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7E,CAAC","sourcesContent":["/**\n * The four one-line shapes both halves of `loam show` are written in: a tick\n * for a file that exists, a scenario count, an edge note, a parse error.\n *\n * A leaf of its own because the service view and the feature view both use\n * them, and neither should have to import the other to reach a tick.\n */\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport { type Edge } from \"./service.js\";\n\nexport function mark(present: boolean): string {\n  return present ? \"✓\" : \"-\";\n}\n\nexport function scenarioCount(reqs: Requirement[]): number {\n  return reqs.reduce((n, r) => n + r.scenarios.length, 0);\n}\n\nexport function edgeNote(e: Edge): string {\n  if (e.op) return `  ${e.op}`;\n  return e.title ? `  \"${e.title}\"` : \"\";\n}\n\nexport function errorText(e: { message: string; line?: number }): string {\n  return typeof e.line === \"number\" ? `L${e.line}: ${e.message}` : e.message;\n}\n"]}
+{"version":3,"file":"marks.js","sourceRoot":"","sources":["../../../src/commands/show/marks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAa,MAAM,cAAc,CAAC;AAEzC,MAAM,UAAU,IAAI,CAAC,OAAgB;IACnC,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAmB;IAC/C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAO;IAC9B,IAAI,CAAC,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IAC7B,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AACzC,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,CAAc;IAC5C,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM;QAC7B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,eAAe,CAAC,CAAc;IAC5C,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/E,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,OAAO,GAAG,CAAC,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,GAAG,MAAM,EAAE,CAAC;AACpF,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,UAAU,CAAC,IAAmB;IAC5C,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,MAAM;QACpD,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,MAAM;QAC1D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,MAAM;KACzD,CAAC;AACJ,CAAC","sourcesContent":["/**\n * The shapes every view of `loam show` is written in: a tick for a file that\n * exists, a scenario count, an edge note, and one requirement as a line and as\n * a `--json` entry. (The parse-error line is `errorText` in `core/c4/likec4.ts`,\n * shared with validate.)\n *\n * A leaf of its own because the service view, the feature view and the view of\n * a service a feature introduces all use them, and none should have to import\n * another to reach a tick. The requirement shapes moved here from the service\n * view when the introduced view arrived: a delta requirement is listed exactly\n * as a living one is, and two spellings of one entry are two entries a\n * consumer has to learn.\n */\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport { plural } from \"../policy/format.js\";\nimport { type Edge } from \"./service.js\";\n\nexport function mark(present: boolean): string {\n  return present ? \"✓\" : \"-\";\n}\n\nexport function scenarioCount(reqs: Requirement[]): number {\n  return reqs.reduce((n, r) => n + r.scenarios.length, 0);\n}\n\nexport function edgeNote(e: Edge): string {\n  if (e.op) return `  ${e.op}`;\n  return e.title ? `  \"${e.title}\"` : \"\";\n}\n\n/** A requirement's `--json` entry — `requirements[]` and `archSpec.entries[]` alike. */\nexport function requirementJson(r: Requirement): Record<string, unknown> {\n  return {\n    id: r.id,\n    name: r.name,\n    kind: r.kind,\n    scenarios: r.scenarios.length,\n    operations: r.operations,\n    covers: r.covers,\n  };\n}\n\n/** A requirement as one line, unindented: its name, its scenarios, what it governs and covers. */\nexport function requirementLine(r: Requirement): string {\n  const govern = r.operations.length > 0 ? `  → ${r.operations.join(\", \")}` : \"\";\n  const covers = r.covers.length > 0 ? `  covers ${r.covers.join(\", \")}` : \"\";\n  return `${r.name}  (${plural(r.scenarios.length, \"scenario\")})${govern}${covers}`;\n}\n\n/** A requirement delta's ADDED / MODIFIED / REMOVED counts — one spelling for `show <FEAT>` and the introduced-service view. */\nexport function kindCounts(reqs: Requirement[]): { added: number; modified: number; removed: number } {\n  return {\n    added: reqs.filter((r) => r.kind === \"ADDED\").length,\n    modified: reqs.filter((r) => r.kind === \"MODIFIED\").length,\n    removed: reqs.filter((r) => r.kind === \"REMOVED\").length,\n  };\n}\n"]}

package/dist/commands/show/service.js

@@ -14,6 +14,7 @@ import { listField, readFrontmatter, stringField } from "../../core/document/fro
 import { scopeText } from "../../core/provenance/sample/scope.js";
 import { loadFile } from "../../core/c4/likec4.js";
 import { serviceResolver } from "../../core/c4/resolve/service.js";
+import { landscapeEvidence } from "../../core/vocabulary/maturity.js";
 import { readOpenapi } from "../../core/openapi/doc.js";
 import { landscapePath } from "../../core/repo/paths.js";
 import { locateServicePaths } from "../../core/repo/service-target.js";
@@ -22,7 +23,8 @@ import { countMarkdown } from "../../core/repo/tree/fs.js";
 import { parseRequirements } from "../../core/document/parse.js";
 import {} from "../../core/document/spec.js";
 import { plural } from "../policy/format.js";
-import { edgeNote, errorText, mark, scenarioCount } from "./marks.js";
+import { edgeNote, mark, requirementJson, requirementLine, scenarioCount } from "./marks.js";
+import { errorText } from "../../core/c4/likec4.js";
 export async function showService(docsDir, id, json, context) {
     const paths = await locateServicePaths(docsDir, id, context);
     const has = {
@@ -37,9 +39,29 @@ export async function showService(docsDir, id, json, context) {
         runbook: existsSync(paths.runbook),
         health: existsSync(paths.health),
     };
-    const model = has.model
-        ? await loadFile(paths.model)
-        : { errors: [], elements: [], relationships: [] };
+    // Through the ONE reader of `model.likec4`, so the counts here are the counts
+    // `validate` prints: a model that EXTENDS the fleet map is a slice of the
+    // project it extends, and opening the file alone would show a screenful of
+    // parse errors for a document that is perfectly valid where it is read.
+    const read = has.model ? await context.serviceModel(docsDir, paths) : null;
+    const model = read === null
+        ? { errors: [], elements: [], relationships: [] }
+        : read.mapUnreadable
+            ? // The map did not parse, so an extending model could not be read at
+                // all. `show` must say that rather than print zeroes: "0 elements" is
+                // what a service with no architecture looks like, and this one may
+                // have plenty.
+                {
+                    errors: [
+                        {
+                            message: "architecture/landscape.likec4 does not parse, and this model extends it — " +
+                                "nothing here could be read. `loam validate --all` reports the map's own errors.",
+                        },
+                    ],
+                    elements: [],
+                    relationships: [],
+                }
+            : read.doc;
     const reqs = has.spec ? parseRequirements(await readFile(paths.spec, "utf8")) : [];
     const archReqs = has.archSpec ? parseRequirements(await readFile(paths.archSpec, "utf8")) : [];
     const adrs = await countMarkdown(paths.adrsDir);
@@ -74,14 +96,6 @@ export async function showService(docsDir, id, json, context) {
     };
     const governs = (op) => reqs.filter((r) => r.operations.includes(op)).map((r) => r.name);
     const { inbound, outbound } = await landscapeEdges(docsDir, id, context);
-    const requirementJson = (r) => ({
-        id: r.id,
-        name: r.name,
-        kind: r.kind,
-        scenarios: r.scenarios.length,
-        operations: r.operations,
-        covers: r.covers,
-    });
     if (json) {
         emitJson({
             command: "show",
@@ -153,20 +167,15 @@ export async function showService(docsDir, id, json, context) {
     console.log(`    ${mark(has.runbook)} runbook.md`);
     console.log(`    ${mark(has.health)} health.yaml`);
     console.log(`    ${mark(adrs > 0)} adrs/           ${adrs > 0 ? plural(adrs, "decision") : ""}`.trimEnd());
-    const requirementLine = (r) => {
-        const govern = r.operations.length > 0 ? `  → ${r.operations.join(", ")}` : "";
-        const covers = r.covers.length > 0 ? `  covers ${r.covers.join(", ")}` : "";
-        return `    ${r.name}  (${plural(r.scenarios.length, "scenario")})${govern}${covers}`;
-    };
     if (reqs.length > 0) {
         console.log("\n  requirements");
         for (const r of reqs)
-            console.log(requirementLine(r));
+            console.log(`    ${requirementLine(r)}`);
     }
     if (archReqs.length > 0) {
         console.log("\n  arch requirements");
         for (const r of archReqs)
-            console.log(requirementLine(r));
+            console.log(`    ${requirementLine(r)}`);
     }
     if (api.unreadable) {
         console.log("\n  operations");
@@ -209,20 +218,19 @@ export async function landscapeEdges(docsDir, service, context) {
     // box is titled — otherwise renaming a box empties this list without a word —
     // and an edge into a modelled container belongs to the service that owns it.
     const known = new Set((await listServices(docsDir, context)).map((s) => s.id));
-    const svcOf = serviceResolver(land.elements, known);
-    const inbound = [];
-    const outbound = [];
-    for (const r of land.relationships) {
-        const edge = (service) => ({
-            service,
-            op: r.op ?? null,
-            title: r.title ?? null,
-        });
-        if (svcOf(r.target) === service)
-            inbound.push(edge(svcOf(r.source)));
-        else if (svcOf(r.source) === service)
-            outbound.push(edge(svcOf(r.target)));
-    }
+    // The ONE shared partition (core/vocabulary/maturity.ts `landscapeEvidence`),
+    // not a fourth line-for-line copy of it. This loop was that copy, and it kept
+    // the rule the others have dropped: an edge whose two endpoints resolve to the
+    // same service is its own internal wiring, so `show` printed `← <id>` for a
+    // service nobody calls while `context` — which reads the shared derivation —
+    // printed nothing. `Edge` is that module's `LandscapeEdge` field for field.
+    const { inbound, outbound } = landscapeEvidence({
+        id: service,
+        parses: true,
+        relationships: land.relationships,
+        elementIds: land.elements.map((e) => e.id),
+        svcOf: serviceResolver(land.elements, known),
+    });
     return { inbound, outbound };
 }
 /* ------------------------------------------------------------------ */

package/dist/commands/show/service.js.map

@@ -1 +1 @@
-{"version":3,"file":"service.js","sourceRoot":"","sources":["../../../src/commands/show/service.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAStE,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,OAAgB,EAChB,EAAmB,EACnB,IAAa,EACb,OAAqB;IAErB,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG;QACV,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,0EAA0E;QAC1E,2EAA2E;QAC3E,2EAA2E;QAC3E,wEAAwE;QACxE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;KACjC,CAAC;IAEF,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK;QACrB,CAAC,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7B,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChD,+EAA+E;IAC/E,4EAA4E;IAC5E,8EAA8E;IAC9E,0EAA0E;IAC1E,6EAA6E;IAC7E,2EAA2E;IAC3E,iDAAiD;IACjD,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE9D,2EAA2E;IAC3E,iEAAiE;IACjE,2EAA2E;IAC3E,cAAc;IACd,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvG,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG;QACjB,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI;QACzC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI;QACvC,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,IAAI;QACvD,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC;QACjC,wEAAwE;QACxE,0EAA0E;QAC1E,2EAA2E;QAC3E,0EAA0E;QAC1E,yEAAyE;QACzE,iDAAiD;QACjD,WAAW,EAAE,KAAK;KACnB,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAY,EAAE,CACvC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEnE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAEzE,MAAM,eAAe,GAAG,CAAC,CAAc,EAA2B,EAAE,CAAC,CAAC;QACpE,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM;QAC7B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC,CAAC;IAEH,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC;YACP,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,SAAS;YACf,EAAE;YACF,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC;YAClC,GAAG;YACH,IAAI;YACJ,WAAW,EAAE,UAAU;YACvB,KAAK,EAAE;gBACL,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;gBAC/B,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM;gBACzC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;aACpC;YACD,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;YACvC,QAAQ,EAAE;gBACR,YAAY,EAAE,QAAQ,CAAC,MAAM;gBAC7B,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC;gBAClC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;gBACtC,sEAAsE;gBACtE,8DAA8D;gBAC9D,gDAAgD;gBAChD,WAAW,EAAE,SAAS;aACvB;YACD,OAAO,EAAE;gBACP,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;aACzD;YACD,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAClE,SAAS,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE;SACjC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,wEAAwE;IACxE,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,MAAM,KAAK,GACT,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,CAAC;QAClE,CAAC,CAAC,UAAU,CAAC,MAAM;QACnB,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,YAAY,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAEtF,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAC7F,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;QAChG,wEAAwE;QACxE,yEAAyE;QACzE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,KAAK,8CAA8C,CAAC,CAAC;QAC9G,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,8BAA8B,SAAS,8CAA8C,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACtE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3B,MAAM,SAAS,GACb,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,WAAW;QACnC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;IAC5G,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,oBAAoB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,CAAC,EAAiB,EAAU,EAAE,CAC7C,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;IACnF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,CACT,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,oBAAoB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAChG,CAAC;IACF,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAChG,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,oBAAoB,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3G,MAAM,eAAe,GAAG,CAAC,CAAc,EAAU,EAAE;QACjD,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,OAAO,CAAC,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,GAAG,MAAM,EAAE,CAAC;IACxF,CAAC,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,+DAA+D,EAAE,SAAS,CAAC,CAAC;QACxF,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACjE,CAAC;SAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;YACvB,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,iBAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;gBAC5F,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,mCAAmC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,OAAgB,EAChB,OAAe,EACf,OAAqB;IAErB,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACjE,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAEpD,MAAM,OAAO,GAAW,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAW,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,CAAC,OAAe,EAAQ,EAAE,CAAC,CAAC;YACvC,OAAO;YACP,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,IAAI;YAChB,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI;SACvB,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;aAChE,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,OAAO;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["/**\n * One service as `loam show` presents it: its spec, its contract, and the\n * fleet edges into and out of it.\n *\n * Split from `./feature.ts` because a service and a feature answer different\n * questions — what a repository holds now, against what a change proposes —\n * and only the service view has to reach the landscape for its edges.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { emitJson, repoPath } from \"../../core/envelope/json.js\";\nimport { listField, readFrontmatter, stringField } from \"../../core/document/frontmatter.js\";\nimport { scopeText } from \"../../core/provenance/sample/scope.js\";\nimport { loadFile } from \"../../core/c4/likec4.js\";\nimport { serviceResolver } from \"../../core/c4/resolve/service.js\";\nimport { readOpenapi } from \"../../core/openapi/doc.js\";\nimport type { PathableService } from \"../../core/kernel/ids/service.js\";\nimport { landscapePath } from \"../../core/repo/paths.js\";\nimport { locateServicePaths } from \"../../core/repo/service-target.js\";\nimport { listServices } from \"../../core/repo/repo.js\";\nimport { countMarkdown } from \"../../core/repo/tree/fs.js\";\nimport { parseRequirements } from \"../../core/document/parse.js\";\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport { plural } from \"../policy/format.js\";\nimport { edgeNote, errorText, mark, scenarioCount } from \"./marks.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\n\nexport interface Edge {\n  service: string;\n  op: string | null;\n  title: string | null;\n}\n\nexport async function showService(\n  docsDir: DocsDir,\n  id: PathableService,\n  json: boolean,\n  context: FleetContext,\n): Promise<void> {\n  const paths = await locateServicePaths(docsDir, id, context);\n  const has = {\n    model: existsSync(paths.model),\n    spec: existsSync(paths.spec),\n    // The architecture-obligations axis. It was invisible here and in `list`,\n    // which made the whole axis unnavigable: a service could carry twenty arch\n    // requirements — the outbox, the retries, the alerts — and every command a\n    // reader uses to find out what a service documents showed none of them.\n    archSpec: existsSync(paths.archSpec),\n    openapi: existsSync(paths.openapi),\n    runbook: existsSync(paths.runbook),\n    health: existsSync(paths.health),\n  };\n\n  const model = has.model\n    ? await loadFile(paths.model)\n    : { errors: [], elements: [], relationships: [] };\n  const reqs = has.spec ? parseRequirements(await readFile(paths.spec, \"utf8\")) : [];\n  const archReqs = has.archSpec ? parseRequirements(await readFile(paths.archSpec, \"utf8\")) : [];\n  const adrs = await countMarkdown(paths.adrsDir);\n  // `readOpenapi`, not `operationIds`: a contract that exists but does not parse\n  // came back from operationIds as an EMPTY operation list, indistinguishable\n  // from a service with no endpoints. `show` is what a reader opens to find out\n  // what a service offers, and answering \"nothing\" over a YAML error is the\n  // worst possible lie for that question. `x-loam-remove` entries are filtered\n  // out for the same reason validate filters them: they are deletion markers\n  // from a delta, not operations anybody can call.\n  const api = await readOpenapi(paths.openapi);\n  const ops = api.ops.filter((o) => !o.remove).map((o) => o.id);\n\n  // Both axes: the sample is per file, so an arch.spec.md read from a sample\n  // beside a fully-read spec.md still means part of this service's\n  // documentation was not read, and a badge derived from spec.md alone would\n  // not say so.\n  const [fm, archFm] = await Promise.all([readFrontmatter(paths.spec), readFrontmatter(paths.archSpec)]);\n  const scope = scopeText(fm);\n  const archScope = scopeText(archFm);\n  const provenance = {\n    status: stringField(fm, \"status\") ?? null,\n    owner: stringField(fm, \"owner\") ?? null,\n    last_verified: stringField(fm, \"last_verified\") ?? null,\n    sources: listField(fm, \"sources\"),\n    // Additive, under its frontmatter spelling like its siblings: `show` is\n    // where a person goes to find out what a service's documents claim, and a\n    // `status: verified` that a person reached by reading four sections of the\n    // spec is a materially different claim. Verbatim rather than decoded — an\n    // unreadable value is still a stamped partial read, and showing it as it\n    // stands is what lets a reader see the mangling.\n    vouch_scope: scope,\n  };\n\n  const governs = (op: string): string[] =>\n    reqs.filter((r) => r.operations.includes(op)).map((r) => r.name);\n\n  const { inbound, outbound } = await landscapeEdges(docsDir, id, context);\n\n  const requirementJson = (r: Requirement): Record<string, unknown> => ({\n    id: r.id,\n    name: r.name,\n    kind: r.kind,\n    scenarios: r.scenarios.length,\n    operations: r.operations,\n    covers: r.covers,\n  });\n\n  if (json) {\n    emitJson({\n      command: \"show\",\n      type: \"service\",\n      id,\n      path: repoPath(docsDir, paths.dir),\n      has,\n      adrs,\n      frontmatter: provenance,\n      model: {\n        elements: model.elements.length,\n        relationships: model.relationships.length,\n        errors: model.errors.map(errorText),\n      },\n      requirements: reqs.map(requirementJson),\n      archSpec: {\n        requirements: archReqs.length,\n        scenarios: scenarioCount(archReqs),\n        entries: archReqs.map(requirementJson),\n        // The second axis carries its own scope: one `--sample` run can stamp\n        // one of the pair sampled and read the other in full, and the\n        // `frontmatter` block above is spec.md's alone.\n        vouch_scope: archScope,\n      },\n      openapi: {\n        unreadable: api.unreadable,\n        ...(api.error === undefined ? {} : { error: api.error }),\n      },\n      operations: ops.map((op) => ({ id: op, governedBy: governs(op) })),\n      landscape: { inbound, outbound },\n    });\n    return;\n  }\n\n  // The badge qualifies the status rather than replacing it: the document\n  // still says `verified` and this screen still says so, with what that vouch\n  // actually covered attached. A bare `verified` over a sampled stamp is the\n  // one reading this whole feature exists to prevent — and either axis earns\n  // the qualifier, since either one is part of this service nobody read.\n  const shown =\n    provenance.status === null || (scope === null && archScope === null)\n      ? provenance.status\n      : `${provenance.status} (sampled)`;\n  const badge = [shown, provenance.owner].filter((s) => s !== null).join(\" · \");\n  console.log(`${id}   ${repoPath(docsDir, paths.dir)}${badge ? `   ${badge}` : \"\"}\\n`);\n\n  if (provenance.sources.length > 0 || provenance.last_verified !== null || archScope !== null) {\n    console.log(\"  provenance\");\n    if (provenance.last_verified !== null) console.log(`    verified  ${provenance.last_verified}`);\n    // Per axis and named, because they can disagree: one file read in full,\n    // the other from a sample, is an ordinary outcome of one `--sample` run.\n    if (scope !== null) console.log(`    scope     spec.md ${scope} — the rest of it was not read at that vouch`);\n    if (archScope !== null) {\n      console.log(`    scope     arch.spec.md ${archScope} — the rest of it was not read at that vouch`);\n    }\n    for (const s of provenance.sources) console.log(`    sources   ${s}`);\n    console.log(\"\");\n  }\n\n  console.log(\"  artifacts\");\n  const modelNote =\n    model.errors.length > 0\n      ? `${model.errors.length} error(s)`\n      : `${plural(model.elements.length, \"element\")} · ${plural(model.relationships.length, \"relationship\")}`;\n  console.log(`    ${mark(has.model)} model.likec4    ${has.model ? modelNote : \"\"}`.trimEnd());\n  const specNote = (rs: Requirement[]): string =>\n    `${plural(rs.length, \"requirement\")} · ${plural(scenarioCount(rs), \"scenario\")}`;\n  console.log(`    ${mark(has.spec)} spec.md         ${has.spec ? specNote(reqs) : \"\"}`.trimEnd());\n  console.log(\n    `    ${mark(has.archSpec)} arch.spec.md    ${has.archSpec ? specNote(archReqs) : \"\"}`.trimEnd(),\n  );\n  const apiNote = api.unreadable ? \"does not parse\" : plural(ops.length, \"operation\");\n  console.log(`    ${mark(has.openapi)} openapi.yaml    ${has.openapi ? apiNote : \"\"}`.trimEnd());\n  console.log(`    ${mark(has.runbook)} runbook.md`);\n  console.log(`    ${mark(has.health)} health.yaml`);\n  console.log(`    ${mark(adrs > 0)} adrs/           ${adrs > 0 ? plural(adrs, \"decision\") : \"\"}`.trimEnd());\n\n  const requirementLine = (r: Requirement): string => {\n    const govern = r.operations.length > 0 ? `  → ${r.operations.join(\", \")}` : \"\";\n    const covers = r.covers.length > 0 ? `  covers ${r.covers.join(\", \")}` : \"\";\n    return `    ${r.name}  (${plural(r.scenarios.length, \"scenario\")})${govern}${covers}`;\n  };\n  if (reqs.length > 0) {\n    console.log(\"\\n  requirements\");\n    for (const r of reqs) console.log(requirementLine(r));\n  }\n  if (archReqs.length > 0) {\n    console.log(\"\\n  arch requirements\");\n    for (const r of archReqs) console.log(requirementLine(r));\n  }\n\n  if (api.unreadable) {\n    console.log(\"\\n  operations\");\n    console.log(`    ✗ openapi.yaml does not parse — nothing here lists what ${id} offers`);\n    if (api.error !== undefined) console.log(`      ${api.error}`);\n  } else if (ops.length > 0) {\n    console.log(\"\\n  operations\");\n    for (const op of ops) {\n      const by = governs(op);\n      if (by.length > 0) console.log(`    ✓ ${op}  governed by ${by.map((n) => `\"${n}\"`).join(\", \")}`);\n      else console.log(`    ⚠ ${op}  not governed by any requirement`);\n    }\n  }\n\n  if (inbound.length > 0 || outbound.length > 0) {\n    console.log(\"\\n  landscape\");\n    for (const e of inbound) console.log(`    ← ${e.service}${edgeNote(e)}`);\n    for (const e of outbound) console.log(`    → ${e.service}${edgeNote(e)}`);\n  }\n\n  if (model.errors.length > 0) {\n    console.log(\"\\n  model errors\");\n    for (const e of model.errors) console.log(`    ✗ ${errorText(e)}`);\n  }\n}\n\n/** Inbound/outbound edges for a service, read off the living landscape. */\nexport async function landscapeEdges(\n  docsDir: DocsDir,\n  service: string,\n  context: FleetContext,\n): Promise<{ inbound: Edge[]; outbound: Edge[] }> {\n  const path = landscapePath(docsDir);\n  if (!existsSync(path)) return { inbound: [], outbound: [] };\n  const land = await loadFile(path);\n  if (land.errors.length > 0) return { inbound: [], outbound: [] };\n  // Edges are filed under the service an element is BOUND to, not under what the\n  // box is titled — otherwise renaming a box empties this list without a word —\n  // and an edge into a modelled container belongs to the service that owns it.\n  const known = new Set((await listServices(docsDir, context)).map((s) => s.id));\n  const svcOf = serviceResolver(land.elements, known);\n\n  const inbound: Edge[] = [];\n  const outbound: Edge[] = [];\n  for (const r of land.relationships) {\n    const edge = (service: string): Edge => ({\n      service,\n      op: r.op ?? null,\n      title: r.title ?? null,\n    });\n    if (svcOf(r.target) === service) inbound.push(edge(svcOf(r.source)));\n    else if (svcOf(r.source) === service) outbound.push(edge(svcOf(r.target)));\n  }\n  return { inbound, outbound };\n}\n\n/* ------------------------------------------------------------------ */\n/* Feature                                                             */\n/* ------------------------------------------------------------------ */\n"]}
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../../src/commands/show/service.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAkB,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AASpD,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,OAAgB,EAChB,EAAmB,EACnB,IAAa,EACb,OAAqB;IAErB,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG;QACV,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,0EAA0E;QAC1E,2EAA2E;QAC3E,2EAA2E;QAC3E,wEAAwE;QACxE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;KACjC,CAAC;IAEF,8EAA8E;IAC9E,0EAA0E;IAC1E,2EAA2E;IAC3E,wEAAwE;IACxE,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,MAAM,KAAK,GACT,IAAI,KAAK,IAAI;QACX,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE;QACjD,CAAC,CAAC,IAAI,CAAC,aAAa;YAClB,CAAC,CAAC,oEAAoE;gBACpE,sEAAsE;gBACtE,mEAAmE;gBACnE,eAAe;gBACf;oBACE,MAAM,EAAE;wBACN;4BACE,OAAO,EACL,4EAA4E;gCAC5E,iFAAiF;yBACpF;qBACF;oBACD,QAAQ,EAAE,EAAE;oBACZ,aAAa,EAAE,EAAE;iBAClB;YACH,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IACjB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChD,+EAA+E;IAC/E,4EAA4E;IAC5E,8EAA8E;IAC9E,0EAA0E;IAC1E,6EAA6E;IAC7E,2EAA2E;IAC3E,iDAAiD;IACjD,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE9D,2EAA2E;IAC3E,iEAAiE;IACjE,2EAA2E;IAC3E,cAAc;IACd,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvG,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG;QACjB,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI;QACzC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI;QACvC,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,IAAI;QACvD,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC;QACjC,wEAAwE;QACxE,0EAA0E;QAC1E,2EAA2E;QAC3E,0EAA0E;QAC1E,yEAAyE;QACzE,iDAAiD;QACjD,WAAW,EAAE,KAAK;KACnB,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAY,EAAE,CACvC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEnE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAEzE,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC;YACP,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,SAAS;YACf,EAAE;YACF,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC;YAClC,GAAG;YACH,IAAI;YACJ,WAAW,EAAE,UAAU;YACvB,KAAK,EAAE;gBACL,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;gBAC/B,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM;gBACzC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;aACpC;YACD,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;YACvC,QAAQ,EAAE;gBACR,YAAY,EAAE,QAAQ,CAAC,MAAM;gBAC7B,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC;gBAClC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;gBACtC,sEAAsE;gBACtE,8DAA8D;gBAC9D,gDAAgD;gBAChD,WAAW,EAAE,SAAS;aACvB;YACD,OAAO,EAAE;gBACP,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;aACzD;YACD,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAClE,SAAS,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE;SACjC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,wEAAwE;IACxE,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,MAAM,KAAK,GACT,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,CAAC;QAClE,CAAC,CAAC,UAAU,CAAC,MAAM;QACnB,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,YAAY,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAEtF,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAC7F,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;QAChG,wEAAwE;QACxE,yEAAyE;QACzE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,KAAK,8CAA8C,CAAC,CAAC;QAC9G,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,8BAA8B,SAAS,8CAA8C,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACtE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3B,MAAM,SAAS,GACb,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,WAAW;QACnC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;IAC5G,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,oBAAoB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,CAAC,EAAiB,EAAU,EAAE,CAC7C,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;IACnF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,CACT,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,oBAAoB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAChG,CAAC;IACF,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAChG,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,oBAAoB,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3G,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,+DAA+D,EAAE,SAAS,CAAC,CAAC;QACxF,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACjE,CAAC;SAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;YACvB,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,iBAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;gBAC5F,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,mCAAmC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,OAAgB,EAChB,OAAe,EACf,OAAqB;IAErB,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACjE,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,8EAA8E;IAC9E,8EAA8E;IAC9E,+EAA+E;IAC/E,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,iBAAiB,CAAC;QAC9C,EAAE,EAAE,OAAO;QACX,MAAM,EAAE,IAAI;QACZ,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC;KAC7C,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["/**\n * One service as `loam show` presents it: its spec, its contract, and the\n * fleet edges into and out of it.\n *\n * Split from `./feature.ts` because a service and a feature answer different\n * questions — what a repository holds now, against what a change proposes —\n * and only the service view has to reach the landscape for its edges.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { emitJson, repoPath } from \"../../core/envelope/json.js\";\nimport { listField, readFrontmatter, stringField } from \"../../core/document/frontmatter.js\";\nimport { scopeText } from \"../../core/provenance/sample/scope.js\";\nimport { loadFile, type LoadedDoc } from \"../../core/c4/likec4.js\";\nimport { serviceResolver } from \"../../core/c4/resolve/service.js\";\nimport { landscapeEvidence } from \"../../core/vocabulary/maturity.js\";\nimport { readOpenapi } from \"../../core/openapi/doc.js\";\nimport type { PathableService } from \"../../core/kernel/ids/service.js\";\nimport { landscapePath } from \"../../core/repo/paths.js\";\nimport { locateServicePaths } from \"../../core/repo/service-target.js\";\nimport { listServices } from \"../../core/repo/repo.js\";\nimport { countMarkdown } from \"../../core/repo/tree/fs.js\";\nimport { parseRequirements } from \"../../core/document/parse.js\";\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport { plural } from \"../policy/format.js\";\nimport { edgeNote, mark, requirementJson, requirementLine, scenarioCount } from \"./marks.js\";\nimport { errorText } from \"../../core/c4/likec4.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\n\nexport interface Edge {\n  service: string;\n  op: string | null;\n  title: string | null;\n}\n\nexport async function showService(\n  docsDir: DocsDir,\n  id: PathableService,\n  json: boolean,\n  context: FleetContext,\n): Promise<void> {\n  const paths = await locateServicePaths(docsDir, id, context);\n  const has = {\n    model: existsSync(paths.model),\n    spec: existsSync(paths.spec),\n    // The architecture-obligations axis. It was invisible here and in `list`,\n    // which made the whole axis unnavigable: a service could carry twenty arch\n    // requirements — the outbox, the retries, the alerts — and every command a\n    // reader uses to find out what a service documents showed none of them.\n    archSpec: existsSync(paths.archSpec),\n    openapi: existsSync(paths.openapi),\n    runbook: existsSync(paths.runbook),\n    health: existsSync(paths.health),\n  };\n\n  // Through the ONE reader of `model.likec4`, so the counts here are the counts\n  // `validate` prints: a model that EXTENDS the fleet map is a slice of the\n  // project it extends, and opening the file alone would show a screenful of\n  // parse errors for a document that is perfectly valid where it is read.\n  const read = has.model ? await context.serviceModel(docsDir, paths) : null;\n  const model: LoadedDoc =\n    read === null\n      ? { errors: [], elements: [], relationships: [] }\n      : read.mapUnreadable\n        ? // The map did not parse, so an extending model could not be read at\n          // all. `show` must say that rather than print zeroes: \"0 elements\" is\n          // what a service with no architecture looks like, and this one may\n          // have plenty.\n          {\n            errors: [\n              {\n                message:\n                  \"architecture/landscape.likec4 does not parse, and this model extends it — \" +\n                  \"nothing here could be read. `loam validate --all` reports the map's own errors.\",\n              },\n            ],\n            elements: [],\n            relationships: [],\n          }\n        : read.doc;\n  const reqs = has.spec ? parseRequirements(await readFile(paths.spec, \"utf8\")) : [];\n  const archReqs = has.archSpec ? parseRequirements(await readFile(paths.archSpec, \"utf8\")) : [];\n  const adrs = await countMarkdown(paths.adrsDir);\n  // `readOpenapi`, not `operationIds`: a contract that exists but does not parse\n  // came back from operationIds as an EMPTY operation list, indistinguishable\n  // from a service with no endpoints. `show` is what a reader opens to find out\n  // what a service offers, and answering \"nothing\" over a YAML error is the\n  // worst possible lie for that question. `x-loam-remove` entries are filtered\n  // out for the same reason validate filters them: they are deletion markers\n  // from a delta, not operations anybody can call.\n  const api = await readOpenapi(paths.openapi);\n  const ops = api.ops.filter((o) => !o.remove).map((o) => o.id);\n\n  // Both axes: the sample is per file, so an arch.spec.md read from a sample\n  // beside a fully-read spec.md still means part of this service's\n  // documentation was not read, and a badge derived from spec.md alone would\n  // not say so.\n  const [fm, archFm] = await Promise.all([readFrontmatter(paths.spec), readFrontmatter(paths.archSpec)]);\n  const scope = scopeText(fm);\n  const archScope = scopeText(archFm);\n  const provenance = {\n    status: stringField(fm, \"status\") ?? null,\n    owner: stringField(fm, \"owner\") ?? null,\n    last_verified: stringField(fm, \"last_verified\") ?? null,\n    sources: listField(fm, \"sources\"),\n    // Additive, under its frontmatter spelling like its siblings: `show` is\n    // where a person goes to find out what a service's documents claim, and a\n    // `status: verified` that a person reached by reading four sections of the\n    // spec is a materially different claim. Verbatim rather than decoded — an\n    // unreadable value is still a stamped partial read, and showing it as it\n    // stands is what lets a reader see the mangling.\n    vouch_scope: scope,\n  };\n\n  const governs = (op: string): string[] =>\n    reqs.filter((r) => r.operations.includes(op)).map((r) => r.name);\n\n  const { inbound, outbound } = await landscapeEdges(docsDir, id, context);\n\n  if (json) {\n    emitJson({\n      command: \"show\",\n      type: \"service\",\n      id,\n      path: repoPath(docsDir, paths.dir),\n      has,\n      adrs,\n      frontmatter: provenance,\n      model: {\n        elements: model.elements.length,\n        relationships: model.relationships.length,\n        errors: model.errors.map(errorText),\n      },\n      requirements: reqs.map(requirementJson),\n      archSpec: {\n        requirements: archReqs.length,\n        scenarios: scenarioCount(archReqs),\n        entries: archReqs.map(requirementJson),\n        // The second axis carries its own scope: one `--sample` run can stamp\n        // one of the pair sampled and read the other in full, and the\n        // `frontmatter` block above is spec.md's alone.\n        vouch_scope: archScope,\n      },\n      openapi: {\n        unreadable: api.unreadable,\n        ...(api.error === undefined ? {} : { error: api.error }),\n      },\n      operations: ops.map((op) => ({ id: op, governedBy: governs(op) })),\n      landscape: { inbound, outbound },\n    });\n    return;\n  }\n\n  // The badge qualifies the status rather than replacing it: the document\n  // still says `verified` and this screen still says so, with what that vouch\n  // actually covered attached. A bare `verified` over a sampled stamp is the\n  // one reading this whole feature exists to prevent — and either axis earns\n  // the qualifier, since either one is part of this service nobody read.\n  const shown =\n    provenance.status === null || (scope === null && archScope === null)\n      ? provenance.status\n      : `${provenance.status} (sampled)`;\n  const badge = [shown, provenance.owner].filter((s) => s !== null).join(\" · \");\n  console.log(`${id}   ${repoPath(docsDir, paths.dir)}${badge ? `   ${badge}` : \"\"}\\n`);\n\n  if (provenance.sources.length > 0 || provenance.last_verified !== null || archScope !== null) {\n    console.log(\"  provenance\");\n    if (provenance.last_verified !== null) console.log(`    verified  ${provenance.last_verified}`);\n    // Per axis and named, because they can disagree: one file read in full,\n    // the other from a sample, is an ordinary outcome of one `--sample` run.\n    if (scope !== null) console.log(`    scope     spec.md ${scope} — the rest of it was not read at that vouch`);\n    if (archScope !== null) {\n      console.log(`    scope     arch.spec.md ${archScope} — the rest of it was not read at that vouch`);\n    }\n    for (const s of provenance.sources) console.log(`    sources   ${s}`);\n    console.log(\"\");\n  }\n\n  console.log(\"  artifacts\");\n  const modelNote =\n    model.errors.length > 0\n      ? `${model.errors.length} error(s)`\n      : `${plural(model.elements.length, \"element\")} · ${plural(model.relationships.length, \"relationship\")}`;\n  console.log(`    ${mark(has.model)} model.likec4    ${has.model ? modelNote : \"\"}`.trimEnd());\n  const specNote = (rs: Requirement[]): string =>\n    `${plural(rs.length, \"requirement\")} · ${plural(scenarioCount(rs), \"scenario\")}`;\n  console.log(`    ${mark(has.spec)} spec.md         ${has.spec ? specNote(reqs) : \"\"}`.trimEnd());\n  console.log(\n    `    ${mark(has.archSpec)} arch.spec.md    ${has.archSpec ? specNote(archReqs) : \"\"}`.trimEnd(),\n  );\n  const apiNote = api.unreadable ? \"does not parse\" : plural(ops.length, \"operation\");\n  console.log(`    ${mark(has.openapi)} openapi.yaml    ${has.openapi ? apiNote : \"\"}`.trimEnd());\n  console.log(`    ${mark(has.runbook)} runbook.md`);\n  console.log(`    ${mark(has.health)} health.yaml`);\n  console.log(`    ${mark(adrs > 0)} adrs/           ${adrs > 0 ? plural(adrs, \"decision\") : \"\"}`.trimEnd());\n\n  if (reqs.length > 0) {\n    console.log(\"\\n  requirements\");\n    for (const r of reqs) console.log(`    ${requirementLine(r)}`);\n  }\n  if (archReqs.length > 0) {\n    console.log(\"\\n  arch requirements\");\n    for (const r of archReqs) console.log(`    ${requirementLine(r)}`);\n  }\n\n  if (api.unreadable) {\n    console.log(\"\\n  operations\");\n    console.log(`    ✗ openapi.yaml does not parse — nothing here lists what ${id} offers`);\n    if (api.error !== undefined) console.log(`      ${api.error}`);\n  } else if (ops.length > 0) {\n    console.log(\"\\n  operations\");\n    for (const op of ops) {\n      const by = governs(op);\n      if (by.length > 0) console.log(`    ✓ ${op}  governed by ${by.map((n) => `\"${n}\"`).join(\", \")}`);\n      else console.log(`    ⚠ ${op}  not governed by any requirement`);\n    }\n  }\n\n  if (inbound.length > 0 || outbound.length > 0) {\n    console.log(\"\\n  landscape\");\n    for (const e of inbound) console.log(`    ← ${e.service}${edgeNote(e)}`);\n    for (const e of outbound) console.log(`    → ${e.service}${edgeNote(e)}`);\n  }\n\n  if (model.errors.length > 0) {\n    console.log(\"\\n  model errors\");\n    for (const e of model.errors) console.log(`    ✗ ${errorText(e)}`);\n  }\n}\n\n/** Inbound/outbound edges for a service, read off the living landscape. */\nexport async function landscapeEdges(\n  docsDir: DocsDir,\n  service: string,\n  context: FleetContext,\n): Promise<{ inbound: Edge[]; outbound: Edge[] }> {\n  const path = landscapePath(docsDir);\n  if (!existsSync(path)) return { inbound: [], outbound: [] };\n  const land = await loadFile(path);\n  if (land.errors.length > 0) return { inbound: [], outbound: [] };\n  // Edges are filed under the service an element is BOUND to, not under what the\n  // box is titled — otherwise renaming a box empties this list without a word —\n  // and an edge into a modelled container belongs to the service that owns it.\n  const known = new Set((await listServices(docsDir, context)).map((s) => s.id));\n  // The ONE shared partition (core/vocabulary/maturity.ts `landscapeEvidence`),\n  // not a fourth line-for-line copy of it. This loop was that copy, and it kept\n  // the rule the others have dropped: an edge whose two endpoints resolve to the\n  // same service is its own internal wiring, so `show` printed `← <id>` for a\n  // service nobody calls while `context` — which reads the shared derivation —\n  // printed nothing. `Edge` is that module's `LandscapeEdge` field for field.\n  const { inbound, outbound } = landscapeEvidence({\n    id: service,\n    parses: true,\n    relationships: land.relationships,\n    elementIds: land.elements.map((e) => e.id),\n    svcOf: serviceResolver(land.elements, known),\n  });\n  return { inbound, outbound };\n}\n\n/* ------------------------------------------------------------------ */\n/* Feature                                                             */\n/* ------------------------------------------------------------------ */\n"]}

package/dist/commands/show/show.js

@@ -1,10 +1,11 @@
-import { loadConfig } from "../../core/envelope/config.js";
 import { FleetContext } from "../../core/fleet-context.js";
-import { fail, reportNoConfig } from "../../core/envelope/json.js";
+import { configOrRefuse, fail } from "../../core/envelope/json.js";
 import { DocsRepoUnavailableError } from "../../core/repo/state.js";
 import { listServices, resolveFeature } from "../../core/repo/repo.js";
 import { docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from "../policy/gate.js";
+import { introducingFeatures } from "../../core/projection/introduced.js";
 import { showFeature } from "./feature.js";
+import { showIntroduced } from "./introduced.js";
 import { showService } from "./service.js";
 export function registerShow(program) {
     program
@@ -20,12 +21,9 @@ export function registerShow(program) {
             return;
         }
         const forced = opts.type;
-        const loaded = await loadConfig();
-        if (loaded.kind !== "loaded") {
-            reportNoConfig(json, loaded);
+        const config = await configOrRefuse(json);
+        if (config === null)
             return;
-        }
-        const config = loaded.config;
         const { docsDir } = config;
         // "No service or feature 'x' in <dir>" is a lie when <dir> is not a docs
         // repo at all — the same refusal validate and list owe (docsRepoReady).
@@ -56,6 +54,18 @@ export function registerShow(program) {
                 await showService(docsDir, entry.id, json, context);
                 return;
             }
+            // Third, and still a service reading: a service an active feature
+            // INTRODUCES has no `services/` directory until that feature archives,
+            // so the enumeration above cannot answer for it — and "no such service"
+            // was the answer `show` gave for the newest service in the fleet while
+            // `loam tasks` listed work for it. The id that travels on is the
+            // feature's own readdir spelling, for the reason given above.
+            const introducing = forced === "feature" ? [] : await introducingFeatures(docsDir, target, context);
+            const introduced = introducing[0]?.services.find((s) => s === target);
+            if (introduced !== undefined) {
+                await showIntroduced(docsDir, { id: introduced, features: introducing }, json, context);
+                return;
+            }
             const looked = forced ? forced : "service or feature";
             fail(json, "unknown-target", `No ${looked} '${target}' in ${docsDir}.`);
         }

package/dist/commands/show/show.js.map

@@ -1 +1 @@
-{"version":3,"file":"show.js","sourceRoot":"","sources":["../../../src/commands/show/show.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AACpG,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAS3C,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO;SACJ,OAAO,CAAC,MAAM,CAAC;SACf,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC;SAChD,WAAW,CAAC,yDAAyD,CAAC;SACtE,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC;SACvE,MAAM,CAAC,eAAe,EAAE,sCAAsC,CAAC;SAC/D,MAAM,CAAC,KAAK,EAAE,MAAc,EAAE,IAAiB,EAAE,EAAE;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClF,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,mBAAmB,IAAI,CAAC,IAAI,iCAAiC,CAAC,CAAC;YAC5F,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAA8B,CAAC;QAEnD,MAAM,MAAM,GAAG,MAAM,UAAU,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAC3B,yEAAyE;QACzE,wEAAwE;QACxE,kEAAkE;QAClE,wEAAwE;QACxE,4DAA4D;QAC5D,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC;YAAE,OAAO;QAClD,sEAAsE;QACtE,2EAA2E;QAC3E,4EAA4E;QAC5E,2EAA2E;QAC3E,2CAA2C;QAC3C,MAAM,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;QAEnC,IAAI,CAAC;YACH,4EAA4E;YAC5E,0EAA0E;YAC1E,MAAM,OAAO,GACX,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAC1F,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnD,OAAO;YACT,CAAC;YACD,uEAAuE;YACvE,uEAAuE;YACvE,2DAA2D;YAC3D,MAAM,KAAK,GACT,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;YACzG,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpD,OAAO;YACT,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC;YACtD,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,MAAM,KAAK,MAAM,QAAQ,OAAO,GAAG,CAAC,CAAC;QAC1E,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,wBAAwB,EAAE,CAAC;gBAC5C,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC/B,OAAO;YACT,CAAC;YACD,uEAAuE;YACvE,yEAAyE;YACzE,0EAA0E;YAC1E,2BAA2B,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,MAAM,mBAAmB,EAAE,OAAO,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;AACP,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["import type { Command } from \"commander\";\nimport { loadConfig } from \"../../core/envelope/config.js\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { fail, reportNoConfig } from \"../../core/envelope/json.js\";\nimport { DocsRepoUnavailableError } from \"../../core/repo/state.js\";\nimport { listServices, resolveFeature } from \"../../core/repo/repo.js\";\nimport { docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from \"../policy/gate.js\";\nimport { showFeature } from \"./feature.js\";\nimport { showService } from \"./service.js\";\n\ntype TargetType = \"service\" | \"feature\";\n\ninterface ShowOptions {\n  json?: boolean;\n  type?: string;\n}\n\nexport function registerShow(program: Command): void {\n  program\n    .command(\"show\")\n    .argument(\"<target>\", \"service id or feature id\")\n    .description(\"Show everything loam knows about a service or a feature\")\n    .option(\"--json\", \"emit the machine contract instead of the human view\")\n    .option(\"--type <kind>\", \"force the reading: service | feature\")\n    .action(async (target: string, opts: ShowOptions) => {\n      const json = opts.json === true;\n      if (opts.type !== undefined && opts.type !== \"service\" && opts.type !== \"feature\") {\n        fail(json, \"invalid-option\", `Unknown --type '${opts.type}'. Expected: service | feature.`);\n        return;\n      }\n      const forced = opts.type as TargetType | undefined;\n\n      const loaded = await loadConfig();\n      if (loaded.kind !== \"loaded\") {\n        reportNoConfig(json, loaded);\n        return;\n      }\n      const config = loaded.config;\n      const { docsDir } = config;\n      // \"No service or feature 'x' in <dir>\" is a lie when <dir> is not a docs\n      // repo at all — the same refusal validate and list owe (docsRepoReady).\n      // `docs`, not `services`: a feature is readable from a repo whose\n      // services/ is missing, and if the target turns out to be a service the\n      // enumeration below refuses with `services-missing` anyway.\n      if (!docsRepoReady(json, docsDir, \"docs\")) return;\n      // One read index for the invocation. Deciding the target is a service\n      // enumerates the fleet, and so does resolving the landscape's edges to the\n      // services that own them — `loam show <service>` walked services/ twice for\n      // one answer. The context memoises only within this invocation, so a later\n      // run still sees whatever is on disk then.\n      const context = new FleetContext();\n\n      try {\n        // A feature id is distinctive (FEAT-101); a service name is arbitrary. When\n        // both could match, the feature wins and --type forces the other reading.\n        const feature =\n          forced === \"service\" ? null : await resolveFeature(docsDir, target, \"include\", context);\n        if (feature) {\n          await showFeature(docsDir, feature, json, context);\n          return;\n        }\n        // The enumeration's own id travels on — `entry.id` rather than the raw\n        // argument (repo/service-target.ts's rule): equal as strings, and only\n        // one of them carries the fact that a readdir produced it.\n        const entry =\n          forced === \"feature\" ? undefined : (await listServices(docsDir, context)).find((s) => s.id === target);\n        if (entry !== undefined) {\n          await showService(docsDir, entry.id, json, context);\n          return;\n        }\n\n        const looked = forced ? forced : \"service or feature\";\n        fail(json, \"unknown-target\", `No ${looked} '${target}' in ${docsDir}.`);\n      } catch (err) {\n        if (err instanceof DocsRepoUnavailableError) {\n          reportDocsRepoError(json, err);\n          return;\n        }\n        // An artifact that exists but cannot be read used to escape as a stack\n        // trace (`internal` in --json), naming nothing. `show` reads one target,\n        // so it has nothing to fall back on — but it can at least say WHICH file.\n        reportRepositoryUnavailable(json, err, `'${target}' cannot be shown`, docsDir);\n      }\n    });\n}\n\n/* ------------------------------------------------------------------ */\n/* Service                                                             */\n/* ------------------------------------------------------------------ */\n"]}
+{"version":3,"file":"show.js","sourceRoot":"","sources":["../../../src/commands/show/show.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AACpG,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAS3C,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO;SACJ,OAAO,CAAC,MAAM,CAAC;SACf,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC;SAChD,WAAW,CAAC,yDAAyD,CAAC;SACtE,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC;SACvE,MAAM,CAAC,eAAe,EAAE,sCAAsC,CAAC;SAC/D,MAAM,CAAC,KAAK,EAAE,MAAc,EAAE,IAAiB,EAAE,EAAE;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClF,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,mBAAmB,IAAI,CAAC,IAAI,iCAAiC,CAAC,CAAC;YAC5F,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAA8B,CAAC;QAEnD,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO;QAC5B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAC3B,yEAAyE;QACzE,wEAAwE;QACxE,kEAAkE;QAClE,wEAAwE;QACxE,4DAA4D;QAC5D,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC;YAAE,OAAO;QAClD,sEAAsE;QACtE,2EAA2E;QAC3E,4EAA4E;QAC5E,2EAA2E;QAC3E,2CAA2C;QAC3C,MAAM,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;QAEnC,IAAI,CAAC;YACH,4EAA4E;YAC5E,0EAA0E;YAC1E,MAAM,OAAO,GACX,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAC1F,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnD,OAAO;YACT,CAAC;YACD,uEAAuE;YACvE,uEAAuE;YACvE,2DAA2D;YAC3D,MAAM,KAAK,GACT,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;YACzG,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpD,OAAO;YACT,CAAC;YACD,kEAAkE;YAClE,uEAAuE;YACvE,wEAAwE;YACxE,uEAAuE;YACvE,iEAAiE;YACjE,8DAA8D;YAC9D,MAAM,WAAW,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACpG,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;YACtE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACxF,OAAO;YACT,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC;YACtD,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,MAAM,KAAK,MAAM,QAAQ,OAAO,GAAG,CAAC,CAAC;QAC1E,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,wBAAwB,EAAE,CAAC;gBAC5C,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC/B,OAAO;YACT,CAAC;YACD,uEAAuE;YACvE,yEAAyE;YACzE,0EAA0E;YAC1E,2BAA2B,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,MAAM,mBAAmB,EAAE,OAAO,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;AACP,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["import type { Command } from \"commander\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { configOrRefuse, fail } from \"../../core/envelope/json.js\";\nimport { DocsRepoUnavailableError } from \"../../core/repo/state.js\";\nimport { listServices, resolveFeature } from \"../../core/repo/repo.js\";\nimport { docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from \"../policy/gate.js\";\nimport { introducingFeatures } from \"../../core/projection/introduced.js\";\nimport { showFeature } from \"./feature.js\";\nimport { showIntroduced } from \"./introduced.js\";\nimport { showService } from \"./service.js\";\n\ntype TargetType = \"service\" | \"feature\";\n\ninterface ShowOptions {\n  json?: boolean;\n  type?: string;\n}\n\nexport function registerShow(program: Command): void {\n  program\n    .command(\"show\")\n    .argument(\"<target>\", \"service id or feature id\")\n    .description(\"Show everything loam knows about a service or a feature\")\n    .option(\"--json\", \"emit the machine contract instead of the human view\")\n    .option(\"--type <kind>\", \"force the reading: service | feature\")\n    .action(async (target: string, opts: ShowOptions) => {\n      const json = opts.json === true;\n      if (opts.type !== undefined && opts.type !== \"service\" && opts.type !== \"feature\") {\n        fail(json, \"invalid-option\", `Unknown --type '${opts.type}'. Expected: service | feature.`);\n        return;\n      }\n      const forced = opts.type as TargetType | undefined;\n\n      const config = await configOrRefuse(json);\n      if (config === null) return;\n      const { docsDir } = config;\n      // \"No service or feature 'x' in <dir>\" is a lie when <dir> is not a docs\n      // repo at all — the same refusal validate and list owe (docsRepoReady).\n      // `docs`, not `services`: a feature is readable from a repo whose\n      // services/ is missing, and if the target turns out to be a service the\n      // enumeration below refuses with `services-missing` anyway.\n      if (!docsRepoReady(json, docsDir, \"docs\")) return;\n      // One read index for the invocation. Deciding the target is a service\n      // enumerates the fleet, and so does resolving the landscape's edges to the\n      // services that own them — `loam show <service>` walked services/ twice for\n      // one answer. The context memoises only within this invocation, so a later\n      // run still sees whatever is on disk then.\n      const context = new FleetContext();\n\n      try {\n        // A feature id is distinctive (FEAT-101); a service name is arbitrary. When\n        // both could match, the feature wins and --type forces the other reading.\n        const feature =\n          forced === \"service\" ? null : await resolveFeature(docsDir, target, \"include\", context);\n        if (feature) {\n          await showFeature(docsDir, feature, json, context);\n          return;\n        }\n        // The enumeration's own id travels on — `entry.id` rather than the raw\n        // argument (repo/service-target.ts's rule): equal as strings, and only\n        // one of them carries the fact that a readdir produced it.\n        const entry =\n          forced === \"feature\" ? undefined : (await listServices(docsDir, context)).find((s) => s.id === target);\n        if (entry !== undefined) {\n          await showService(docsDir, entry.id, json, context);\n          return;\n        }\n        // Third, and still a service reading: a service an active feature\n        // INTRODUCES has no `services/` directory until that feature archives,\n        // so the enumeration above cannot answer for it — and \"no such service\"\n        // was the answer `show` gave for the newest service in the fleet while\n        // `loam tasks` listed work for it. The id that travels on is the\n        // feature's own readdir spelling, for the reason given above.\n        const introducing = forced === \"feature\" ? [] : await introducingFeatures(docsDir, target, context);\n        const introduced = introducing[0]?.services.find((s) => s === target);\n        if (introduced !== undefined) {\n          await showIntroduced(docsDir, { id: introduced, features: introducing }, json, context);\n          return;\n        }\n\n        const looked = forced ? forced : \"service or feature\";\n        fail(json, \"unknown-target\", `No ${looked} '${target}' in ${docsDir}.`);\n      } catch (err) {\n        if (err instanceof DocsRepoUnavailableError) {\n          reportDocsRepoError(json, err);\n          return;\n        }\n        // An artifact that exists but cannot be read used to escape as a stack\n        // trace (`internal` in --json), naming nothing. `show` reads one target,\n        // so it has nothing to fall back on — but it can at least say WHICH file.\n        reportRepositoryUnavailable(json, err, `'${target}' cannot be shown`, docsDir);\n      }\n    });\n}\n\n/* ------------------------------------------------------------------ */\n/* Service                                                             */\n/* ------------------------------------------------------------------ */\n"]}

package/dist/commands/status/fleet-next.js

@@ -0,0 +1,90 @@
+/** How many services a folded line names before it says "+N more". */
+const NAMED = 6;
+/** What a folded line says about each per-service code, after the count; anything unlisted falls back to its code. */
+const SAY = {
+    "next.adopt": "with no spec.md, or one that is adoption: partial — not adopted yet; adopt each",
+    "next.complete-service": "with a spec.md and no model.likec4 — the fleet gate reports each incomplete until something models it",
+    "next.revouch": "whose documents changed after the vouch — a person re-reads each and re-vouches it from its own repository",
+};
+/** `12 services with no spec.md …: a, b, c, +9 more.` */
+function foldedLine(group) {
+    const n = group.services.length;
+    const shown = group.services.slice(0, NAMED).join(", ");
+    const names = n > NAMED ? `${shown}, +${n - NAMED} more` : shown;
+    return `${n} service${n === 1 ? "" : "s"} ${SAY[group.code] ?? `owing ${group.code}`}: ${names}.`;
+}
+export function printFleetNext(r) {
+    const folded = new Map(r.serviceSteps.map((group) => [group.code, group]));
+    const printed = new Set();
+    const lines = [];
+    const add = (step) => {
+        lines.push({ code: step.code, statement: step.statement, command: step.command });
+    };
+    // A feature step can only be missing from the capped list when more than the
+    // cap is in flight — the table above still names every one of them.
+    const featureSteps = r.next.filter((s) => s.code === "next.feature" || s.code === "next.archive").length;
+    const hiddenFeatures = Math.max(0, r.features.length - featureSteps);
+    for (const step of r.next) {
+        const group = step.service === undefined ? undefined : folded.get(step.code);
+        if (group !== undefined) {
+            // A code one service owes prints as that service's own step; a code
+            // several owe prints once, counted, where its first step stood.
+            if (group.services.length === 1)
+                add(step);
+            else if (!printed.has(group.code)) {
+                add({
+                    code: `${group.code} ×${group.services.length}`,
+                    statement: `${foldedLine(group)} ` +
+                        "The command is the first of them; `loam list services` shows every service.",
+                    command: group.command,
+                });
+            }
+            printed.add(group.code);
+            continue;
+        }
+        if (step.code === "next.elided") {
+            // Every elided per-service rung is already counted in a folded line; only
+            // features past the cap remain unnamed in this list.
+            if (hiddenFeatures > 0) {
+                add({
+                    code: step.code,
+                    statement: `${hiddenFeatures} more feature(s) in flight are not in this list — the features table above names them all.`,
+                    command: step.command,
+                });
+            }
+            continue;
+        }
+        add(step);
+    }
+    // Groups whose every step fell past the cap still print — the cap exists to
+    // keep the list short, and one counted line per code is already short. They
+    // go just above the gate entry, which always closes the list.
+    const gate = lines.length > 0 && /^next\.fleet-(gate|clean)$/.test(lines[lines.length - 1].code) ? lines.pop() : undefined;
+    for (const group of r.serviceSteps) {
+        if (printed.has(group.code))
+            continue;
+        add({
+            code: group.services.length === 1 ? group.code : `${group.code} ×${group.services.length}`,
+            statement: foldedLine(group),
+            command: group.command,
+        });
+    }
+    if (gate !== undefined)
+        lines.push(gate);
+    printNext(lines);
+}
+/**
+ * The steps, numbered, with the command on its own indented line — doctor's
+ * layout, for doctor's reason: what to do and what to type are two different
+ * sentences, and someone scanning a half-built feature reads down the `run:`
+ * column. Here rather than in ./print.ts, which imports this module: the
+ * feature view and the folded fleet list print through the one layout.
+ */
+export function printNext(steps) {
+    console.log("\n  next");
+    for (const [i, step] of steps.entries()) {
+        console.log(`    ${i + 1}. ${step.code}: ${step.statement}`);
+        console.log(`       run: ${step.command}`);
+    }
+}
+//# sourceMappingURL=fleet-next.js.map

package/dist/commands/status/fleet-next.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fleet-next.js","sourceRoot":"","sources":["../../../src/commands/status/fleet-next.ts"],"names":[],"mappings":"AAcA,sEAAsE;AACtE,MAAM,KAAK,GAAG,CAAC,CAAC;AAEhB,sHAAsH;AACtH,MAAM,GAAG,GAA2B;IAClC,YAAY,EAAE,iFAAiF;IAC/F,uBAAuB,EAAE,uGAAuG;IAChI,cAAc,EAAE,4GAA4G;CAC7H,CAAC;AAEF,yDAAyD;AACzD,SAAS,UAAU,CAAC,KAA2C;IAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;IACjE,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,EAAE,KAAK,KAAK,GAAG,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAoB;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAgE,EAAE,CAAC;IAC9E,MAAM,GAAG,GAAG,CAAC,IAAsD,EAAQ,EAAE;QAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACpF,CAAC,CAAC;IAEF,6EAA6E;IAC7E,oEAAoE;IACpE,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;IACzG,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC;IAErE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,oEAAoE;YACpE,gEAAgE;YAChE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC;iBACtC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,GAAG,CAAC;oBACF,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE;oBAC/C,SAAS,EACP,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG;wBACvB,6EAA6E;oBAC/E,OAAO,EAAE,KAAK,CAAC,OAAO;iBACvB,CAAC,CAAC;YACL,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,0EAA0E;YAC1E,qDAAqD;YACrD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;gBACvB,GAAG,CAAC;oBACF,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,SAAS,EAAE,GAAG,cAAc,4FAA4F;oBACxH,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,CAAC;IACZ,CAAC;IAED,4EAA4E;IAC5E,4EAA4E;IAC5E,8DAA8D;IAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5H,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,GAAG,CAAC;YACF,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE;YAC1F,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzC,SAAS,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,KAAsE;IAC9F,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACxB,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QAC7D,OAAO,CAAC,GAAG,CAAC,eAAe,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC","sourcesContent":["/**\n * The fleet's `next` list, as a person reads it.\n *\n * `next[]` is capped at ten for the reason core/status/fleet/next.ts records,\n * and its per-service rungs are one step per service — so on a fleet\n * mid-adoption the human list was ten copies of \"services/x/ has no spec.md\"\n * and a \"more step(s) of the same kinds\" line, with the one feature anybody\n * was working on somewhere past the fold. The JSON keeps every step it had (an\n * agent branches per step); this view folds each per-service code into ONE\n * counted line from the uncapped `serviceSteps`, so adoption debt reads as the\n * backlog it is, under the features, with its size stated.\n */\nimport type { FleetStatusReport, NextStep } from \"../../core/status/report.js\";\n\n/** How many services a folded line names before it says \"+N more\". */\nconst NAMED = 6;\n\n/** What a folded line says about each per-service code, after the count; anything unlisted falls back to its code. */\nconst SAY: Record<string, string> = {\n  \"next.adopt\": \"with no spec.md, or one that is adoption: partial — not adopted yet; adopt each\",\n  \"next.complete-service\": \"with a spec.md and no model.likec4 — the fleet gate reports each incomplete until something models it\",\n  \"next.revouch\": \"whose documents changed after the vouch — a person re-reads each and re-vouches it from its own repository\",\n};\n\n/** `12 services with no spec.md …: a, b, c, +9 more.` */\nfunction foldedLine(group: { code: string; services: string[] }): string {\n  const n = group.services.length;\n  const shown = group.services.slice(0, NAMED).join(\", \");\n  const names = n > NAMED ? `${shown}, +${n - NAMED} more` : shown;\n  return `${n} service${n === 1 ? \"\" : \"s\"} ${SAY[group.code] ?? `owing ${group.code}`}: ${names}.`;\n}\n\nexport function printFleetNext(r: FleetStatusReport): void {\n  const folded = new Map(r.serviceSteps.map((group) => [group.code, group]));\n  const printed = new Set<string>();\n  const lines: Array<{ code: string; statement: string; command: string }> = [];\n  const add = (step: Pick<NextStep, \"code\" | \"statement\" | \"command\">): void => {\n    lines.push({ code: step.code, statement: step.statement, command: step.command });\n  };\n\n  // A feature step can only be missing from the capped list when more than the\n  // cap is in flight — the table above still names every one of them.\n  const featureSteps = r.next.filter((s) => s.code === \"next.feature\" || s.code === \"next.archive\").length;\n  const hiddenFeatures = Math.max(0, r.features.length - featureSteps);\n\n  for (const step of r.next) {\n    const group = step.service === undefined ? undefined : folded.get(step.code);\n    if (group !== undefined) {\n      // A code one service owes prints as that service's own step; a code\n      // several owe prints once, counted, where its first step stood.\n      if (group.services.length === 1) add(step);\n      else if (!printed.has(group.code)) {\n        add({\n          code: `${group.code} ×${group.services.length}`,\n          statement:\n            `${foldedLine(group)} ` +\n            \"The command is the first of them; `loam list services` shows every service.\",\n          command: group.command,\n        });\n      }\n      printed.add(group.code);\n      continue;\n    }\n    if (step.code === \"next.elided\") {\n      // Every elided per-service rung is already counted in a folded line; only\n      // features past the cap remain unnamed in this list.\n      if (hiddenFeatures > 0) {\n        add({\n          code: step.code,\n          statement: `${hiddenFeatures} more feature(s) in flight are not in this list — the features table above names them all.`,\n          command: step.command,\n        });\n      }\n      continue;\n    }\n    add(step);\n  }\n\n  // Groups whose every step fell past the cap still print — the cap exists to\n  // keep the list short, and one counted line per code is already short. They\n  // go just above the gate entry, which always closes the list.\n  const gate = lines.length > 0 && /^next\\.fleet-(gate|clean)$/.test(lines[lines.length - 1]!.code) ? lines.pop() : undefined;\n  for (const group of r.serviceSteps) {\n    if (printed.has(group.code)) continue;\n    add({\n      code: group.services.length === 1 ? group.code : `${group.code} ×${group.services.length}`,\n      statement: foldedLine(group),\n      command: group.command,\n    });\n  }\n  if (gate !== undefined) lines.push(gate);\n\n  printNext(lines);\n}\n\n/**\n * The steps, numbered, with the command on its own indented line — doctor's\n * layout, for doctor's reason: what to do and what to type are two different\n * sentences, and someone scanning a half-built feature reads down the `run:`\n * column. Here rather than in ./print.ts, which imports this module: the\n * feature view and the folded fleet list print through the one layout.\n */\nexport function printNext(steps: ReadonlyArray<Pick<NextStep, \"code\" | \"statement\" | \"command\">>): void {\n  console.log(\"\\n  next\");\n  for (const [i, step] of steps.entries()) {\n    console.log(`    ${i + 1}. ${step.code}: ${step.statement}`);\n    console.log(`       run: ${step.command}`);\n  }\n}\n"]}

package/dist/commands/status/json.js

@@ -18,6 +18,7 @@ export function featureJson(r) {
             issues: r.checks.issues.map((finding) => findingJson(finding, { path: r.feature.path, role: "scope" })),
         },
         verification: r.verification,
+        checklist: r.checklist,
         // Additive (core/envelope/json.ts). Spread key by key rather than passed
         // through whole, so an optional `error` that is absent stays absent instead
         // of arriving as `undefined` — the shape every other payload here keeps.
@@ -37,6 +38,7 @@ export function fleetJson(r) {
         features: r.features,
         order: r.order,
         next: r.next.map(executableNext),
+        serviceSteps: r.serviceSteps,
     };
 }
 /* ------------------------------------------------------------------ */

package/dist/commands/status/json.js.map

@@ -1 +1 @@
-{"version":3,"file":"json.js","sourceRoot":"","sources":["../../../src/commands/status/json.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAGxE,MAAM,UAAU,WAAW,CAAC,CAAsB;IAChD,OAAO;QACL,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,MAAM,EAAE;YACN,GAAG,CAAC,CAAC,MAAM;YACX,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,WAAW,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAC9D;SACF;QACD,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,yEAAyE;QACzE,4EAA4E;QAC5E,yEAAyE;QACzE,QAAQ,EAAE;YACR,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU;YACjC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACtE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK;SACxB;QACD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC;KACjC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAoB;IAC5C,OAAO;QACL,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC;KACjC,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["/**\n * The `--json` payloads, and the one rule they follow.\n *\n * `issues` go out through `findingJson`, the same serializer `validate` uses:\n * an `Issue` is a `Finding` without details, and one breach reported by two\n * commands must arrive in one shape or a consumer needs two parsers.\n */\nimport { findingJson } from \"../../core/vocabulary/report.js\";\nimport { executableNext } from \"../../core/status/actions/execution.js\";\nimport type { FeatureStatusReport, FleetStatusReport } from \"../../core/status/report.js\";\n\nexport function featureJson(r: FeatureStatusReport): Record<string, unknown> {\n  return {\n    interrupted: r.interrupted,\n    feature: r.feature,\n    service: r.service,\n    artifacts: r.artifacts,\n    checks: {\n      ...r.checks,\n      issues: r.checks.issues.map((finding) =>\n        findingJson(finding, { path: r.feature.path, role: \"scope\" }),\n      ),\n    },\n    verification: r.verification,\n    // Additive (core/envelope/json.ts). Spread key by key rather than passed\n    // through whole, so an optional `error` that is absent stays absent instead\n    // of arriving as `undefined` — the shape every other payload here keeps.\n    useCases: {\n      unreadable: r.useCases.unreadable,\n      ...(r.useCases.error === undefined ? {} : { error: r.useCases.error }),\n      flows: r.useCases.flows,\n    },\n    next: r.next.map(executableNext),\n  };\n}\n\nexport function fleetJson(r: FleetStatusReport): Record<string, unknown> {\n  return {\n    interrupted: r.interrupted,\n    service: r.service,\n    services: r.services,\n    features: r.features,\n    order: r.order,\n    next: r.next.map(executableNext),\n  };\n}\n\n/* ------------------------------------------------------------------ */\n/* Text                                                                */\n/* ------------------------------------------------------------------ */\n"]}
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../../src/commands/status/json.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAGxE,MAAM,UAAU,WAAW,CAAC,CAAsB;IAChD,OAAO;QACL,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,MAAM,EAAE;YACN,GAAG,CAAC,CAAC,MAAM;YACX,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,WAAW,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAC9D;SACF;QACD,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,yEAAyE;QACzE,4EAA4E;QAC5E,yEAAyE;QACzE,QAAQ,EAAE;YACR,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU;YACjC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACtE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK;SACxB;QACD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC;KACjC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAoB;IAC5C,OAAO;QACL,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC;QAChC,YAAY,EAAE,CAAC,CAAC,YAAY;KAC7B,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["/**\n * The `--json` payloads, and the one rule they follow.\n *\n * `issues` go out through `findingJson`, the same serializer `validate` uses:\n * an `Issue` is a `Finding` without details, and one breach reported by two\n * commands must arrive in one shape or a consumer needs two parsers.\n */\nimport { findingJson } from \"../../core/vocabulary/report.js\";\nimport { executableNext } from \"../../core/status/actions/execution.js\";\nimport type { FeatureStatusReport, FleetStatusReport } from \"../../core/status/report.js\";\n\nexport function featureJson(r: FeatureStatusReport): Record<string, unknown> {\n  return {\n    interrupted: r.interrupted,\n    feature: r.feature,\n    service: r.service,\n    artifacts: r.artifacts,\n    checks: {\n      ...r.checks,\n      issues: r.checks.issues.map((finding) =>\n        findingJson(finding, { path: r.feature.path, role: \"scope\" }),\n      ),\n    },\n    verification: r.verification,\n    checklist: r.checklist,\n    // Additive (core/envelope/json.ts). Spread key by key rather than passed\n    // through whole, so an optional `error` that is absent stays absent instead\n    // of arriving as `undefined` — the shape every other payload here keeps.\n    useCases: {\n      unreadable: r.useCases.unreadable,\n      ...(r.useCases.error === undefined ? {} : { error: r.useCases.error }),\n      flows: r.useCases.flows,\n    },\n    next: r.next.map(executableNext),\n  };\n}\n\nexport function fleetJson(r: FleetStatusReport): Record<string, unknown> {\n  return {\n    interrupted: r.interrupted,\n    service: r.service,\n    services: r.services,\n    features: r.features,\n    order: r.order,\n    next: r.next.map(executableNext),\n    serviceSteps: r.serviceSteps,\n  };\n}\n\n/* ------------------------------------------------------------------ */\n/* Text                                                                */\n/* ------------------------------------------------------------------ */\n"]}