@ybotok/loam 0.1.0-beta.3 → 0.2.0-alpha.13

package/dist/commands/show/introduced.js

@@ -0,0 +1,157 @@
+/**
+ * A service an active feature INTRODUCES, as `loam show` presents it: which
+ * feature carries it, the delta documents under that feature's
+ * `specs/<service>/`, what they add, and where a reader goes next.
+ *
+ * Its own view rather than a branch of `./service.ts`, because every line that
+ * view prints is a statement about the LIVING documents — artifact ticks under
+ * `services/<id>/`, a vouch, the fleet map's edges — and for this service each
+ * one would be a false "absent": the directory does not exist yet, by design,
+ * until the feature archives. Until this view existed `loam show` refused the
+ * name outright ("No service or feature"), on the same tree where `loam tasks`
+ * listed work for it, so the newest service in the fleet was the one a reader
+ * could not look up.
+ *
+ * The per-feature counts are `loam show <FEAT>`'s per-service row, read through
+ * the same core projections (`featureSpecPaths`, `apiChanges`, `eventChanges`),
+ * so the two views of one delta cannot disagree about what it adds.
+ */
+import { existsSync } from "node:fs";
+import { emitJson, repoPath } from "../../core/envelope/json.js";
+import { FleetContext } from "../../core/fleet-context.js";
+import {} from "../../core/repo/entries.js";
+import { featureSpecPaths } from "../../core/repo/paths.js";
+import { apiChanges } from "../../core/projection/api.js";
+import { eventChanges } from "../../core/projection/events.js";
+import {} from "../../core/document/spec.js";
+import { plural } from "../policy/format.js";
+import { kindCounts, mark, requirementJson, requirementLine, scenarioCount } from "./marks.js";
+export async function showIntroduced(docsDir, introduced, json, context) {
+    const { id } = introduced;
+    const rows = await Promise.all(introduced.features.map((f) => readIntroduction(f, id, context)));
+    const by = introduced.features.map((f) => f.id).join(", ");
+    if (json) {
+        emitJson({
+            command: "show",
+            type: "service",
+            id,
+            // The marker a consumer branches on, beside the id. It is absent from a
+            // living service's payload rather than `true` there, because that
+            // payload is published and stays byte-identical.
+            living: false,
+            introducedBy: introduced.features.map((f) => f.id),
+            introductions: rows.map((row) => ({
+                feature: row.feature.id,
+                path: repoPath(docsDir, row.paths.dir),
+                has: row.has,
+                // `show <FEAT> --json`'s per-service row, key for key, so a consumer
+                // that reads one reads the other.
+                ...kindCounts(row.reqs),
+                operations: [...new Set(row.reqs.flatMap((r) => r.operations))],
+                api: row.api,
+                events: row.events,
+                // And the living payload's requirement entries, so the delta is
+                // listed exactly as the service will list it once it merges.
+                requirements: row.reqs.map(requirementJson),
+                archSpec: {
+                    requirements: row.archReqs.length,
+                    scenarios: scenarioCount(row.archReqs),
+                    entries: row.archReqs.map(requirementJson),
+                },
+                next: nextCommands(row.feature, id),
+            })),
+        });
+        return;
+    }
+    console.log(`${id}   introduced by ${by} (in flight) — not in the living docs until it archives\n`);
+    rows.forEach((row, i) => {
+        if (i > 0)
+            console.log("");
+        printIntroduction(docsDir, row, id);
+    });
+}
+async function readIntroduction(feature, id, context) {
+    const paths = featureSpecPaths(feature.dir, id);
+    const has = {
+        spec: existsSync(paths.spec),
+        archSpec: existsSync(paths.archSpec),
+        openapi: existsSync(paths.openapi),
+        asyncapi: existsSync(paths.asyncapi),
+    };
+    // The contract projections carry their own readability, so a delta document
+    // that does not parse is said below rather than shown as "no operations".
+    const [reqs, archReqs, api, events] = await Promise.all([
+        has.spec ? context.readRequirements(paths.spec) : [],
+        has.archSpec ? context.readRequirements(paths.archSpec) : [],
+        apiChanges(paths.openapi),
+        eventChanges(paths.asyncapi),
+    ]);
+    return { feature, paths, has, reqs, archReqs, api, events };
+}
+/**
+ * Where a reader goes next: the feature that carries the service, its delta
+ * over it, and the open work on it. Both interpolants are enumeration
+ * spellings — the canonical feature id and the feature's own directory name for
+ * the service — so the printed commands parse.
+ */
+function nextCommands(feature, id) {
+    return [
+        `loam show ${feature.id}`,
+        `loam delta ${feature.id} --service ${id}`,
+        `loam tasks ${feature.id} --service ${id}`,
+    ];
+}
+function printIntroduction(docsDir, row, id) {
+    console.log(`  ${row.feature.id}   ${repoPath(docsDir, row.paths.dir)}`);
+    const specNote = (rs) => {
+        const k = kindCounts(rs);
+        return `+${k.added} ~${k.modified} -${k.removed} requirements · ${plural(scenarioCount(rs), "scenario")}`;
+    };
+    console.log(`    ${mark(row.has.spec)} spec.md         ${row.has.spec ? specNote(row.reqs) : ""}`.trimEnd());
+    console.log(`    ${mark(row.has.archSpec)} arch.spec.md    ${row.has.archSpec ? specNote(row.archReqs) : ""}`.trimEnd());
+    const apiNote = row.api.unreadable ? "does not parse" : plural(row.api.changes.length, "operation");
+    console.log(`    ${mark(row.has.openapi)} openapi.yaml    ${row.has.openapi ? apiNote : ""}`.trimEnd());
+    const eventNote = row.events.unreadable ? "does not read as AsyncAPI 3.0" : plural(row.events.changes.length, "message");
+    console.log(`    ${mark(row.has.asyncapi)} asyncapi.yaml   ${row.has.asyncapi ? eventNote : ""}`.trimEnd());
+    // The kind leads each line: in a delta it is the fact a reviewer reads first,
+    // and a requirement listed here without it would read as one already living.
+    if (row.reqs.length > 0) {
+        console.log("\n    requirements");
+        for (const r of row.reqs)
+            console.log(`      [${r.kind}] ${requirementLine(r)}`);
+    }
+    if (row.archReqs.length > 0) {
+        console.log("\n    arch requirements");
+        for (const r of row.archReqs)
+            console.log(`      [${r.kind}] ${requirementLine(r)}`);
+    }
+    if (row.api.unreadable) {
+        console.log("\n    operations");
+        console.log(`      ✗ openapi.yaml does not parse — nothing here lists what ${row.feature.id} adds to ${id}`);
+        if (row.api.error !== undefined)
+            console.log(`        ${row.api.error}`);
+    }
+    else if (row.api.changes.length > 0) {
+        console.log("\n    operations");
+        for (const op of row.api.changes) {
+            console.log(`      ${op.remove ? "REMOVE " : ""}${op.method} ${op.path}  ${op.operationId}`);
+        }
+    }
+    if (row.events.unreadable) {
+        console.log("\n    events");
+        console.log(`      ✗ asyncapi.yaml does not read as AsyncAPI 3.0 — nothing here lists what ${row.feature.id} adds to ${id}`);
+        if (row.events.error !== undefined)
+            console.log(`        ${row.events.error}`);
+    }
+    else if (row.events.changes.length > 0) {
+        console.log("\n    events");
+        for (const m of row.events.changes) {
+            const direction = m.direction === null ? "" : `${m.direction.toUpperCase()} `;
+            console.log(`      ${m.remove ? "REMOVE " : ""}${direction}${m.message}  (${m.slot})`);
+        }
+    }
+    console.log("\n    next");
+    for (const command of nextCommands(row.feature, id))
+        console.log(`      ${command}`);
+}
+//# sourceMappingURL=introduced.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"introduced.js","sourceRoot":"","sources":["../../../src/commands/show/introduced.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAqB,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAyB,MAAM,0BAA0B,CAAC;AACnF,OAAO,EAAE,UAAU,EAAiB,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,YAAY,EAAmB,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAG/D,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAoB/F,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,OAAgB,EAChB,UAAsB,EACtB,IAAa,EACb,OAAqB;IAErB,MAAM,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC;IAC1B,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE3D,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC;YACP,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,SAAS;YACf,EAAE;YACF,wEAAwE;YACxE,kEAAkE;YAClE,iDAAiD;YACjD,MAAM,EAAE,KAAK;YACb,YAAY,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAChC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE;gBACvB,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;gBACtC,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,qEAAqE;gBACrE,kCAAkC;gBAClC,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;gBACvB,UAAU,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC/D,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,gEAAgE;gBAChE,6DAA6D;gBAC7D,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;gBAC3C,QAAQ,EAAE;oBACR,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM;oBACjC,SAAS,EAAE,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;oBACtC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;iBAC3C;gBACD,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;aACpC,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,oBAAoB,EAAE,2DAA2D,CAAC,CAAC;IACpG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,iBAAiB,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,OAAqB,EAAE,EAAgB,EAAE,OAAqB;IAC5F,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;KACrC,CAAC;IACF,4EAA4E;IAC5E,0EAA0E;IAC1E,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;QACpD,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;QAC5D,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QACzB,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC;KAC7B,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAC9D,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,OAAqB,EAAE,EAAgB;IAC3D,OAAO;QACL,aAAa,OAAO,CAAC,EAAE,EAAE;QACzB,cAAc,OAAO,CAAC,EAAE,cAAc,EAAE,EAAE;QAC1C,cAAc,OAAO,CAAC,EAAE,cAAc,EAAE,EAAE;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB,EAAE,GAAiB,EAAE,EAAgB;IAC9E,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,CAAC,EAAiB,EAAU,EAAE;QAC7C,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,mBAAmB,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;IAC5G,CAAC,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7G,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,oBAAoB,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACzH,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpG,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACxG,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACzH,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,oBAAoB,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAE5G,8EAA8E;IAC9E,6EAA6E;IAC7E,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;QACvB,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,iEAAiE,GAAG,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC;QAC7G,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IAED,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,iFAAiF,GAAG,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC;QAC7H,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACjF,CAAC;SAAM,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC;YAC9E,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,GAAG,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1B,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;AACvF,CAAC","sourcesContent":["/**\n * A service an active feature INTRODUCES, as `loam show` presents it: which\n * feature carries it, the delta documents under that feature's\n * `specs/<service>/`, what they add, and where a reader goes next.\n *\n * Its own view rather than a branch of `./service.ts`, because every line that\n * view prints is a statement about the LIVING documents — artifact ticks under\n * `services/<id>/`, a vouch, the fleet map's edges — and for this service each\n * one would be a false \"absent\": the directory does not exist yet, by design,\n * until the feature archives. Until this view existed `loam show` refused the\n * name outright (\"No service or feature\"), on the same tree where `loam tasks`\n * listed work for it, so the newest service in the fleet was the one a reader\n * could not look up.\n *\n * The per-feature counts are `loam show <FEAT>`'s per-service row, read through\n * the same core projections (`featureSpecPaths`, `apiChanges`, `eventChanges`),\n * so the two views of one delta cannot disagree about what it adds.\n */\nimport { existsSync } from \"node:fs\";\nimport { emitJson, repoPath } from \"../../core/envelope/json.js\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { type FeatureEntry } from \"../../core/repo/entries.js\";\nimport { featureSpecPaths, type FeatureSpecPaths } from \"../../core/repo/paths.js\";\nimport { apiChanges, type ApiSlice } from \"../../core/projection/api.js\";\nimport { eventChanges, type EventSlice } from \"../../core/projection/events.js\";\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport type { RawServiceId } from \"../../core/kernel/ids/service.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\nimport { plural } from \"../policy/format.js\";\nimport { kindCounts, mark, requirementJson, requirementLine, scenarioCount } from \"./marks.js\";\n\nexport interface Introduced {\n  /** The service, as the introducing feature's own `specs/` readdir spelled it. */\n  id: RawServiceId;\n  /** `introducingFeatures`' answer — never empty when this view is reached. */\n  features: FeatureEntry[];\n}\n\n/** One introducing feature's delta over the service, read once for both renderings. */\ninterface Introduction {\n  feature: FeatureEntry;\n  paths: FeatureSpecPaths;\n  has: { spec: boolean; archSpec: boolean; openapi: boolean; asyncapi: boolean };\n  reqs: Requirement[];\n  archReqs: Requirement[];\n  api: ApiSlice;\n  events: EventSlice;\n}\n\nexport async function showIntroduced(\n  docsDir: DocsDir,\n  introduced: Introduced,\n  json: boolean,\n  context: FleetContext,\n): Promise<void> {\n  const { id } = introduced;\n  const rows = await Promise.all(introduced.features.map((f) => readIntroduction(f, id, context)));\n  const by = introduced.features.map((f) => f.id).join(\", \");\n\n  if (json) {\n    emitJson({\n      command: \"show\",\n      type: \"service\",\n      id,\n      // The marker a consumer branches on, beside the id. It is absent from a\n      // living service's payload rather than `true` there, because that\n      // payload is published and stays byte-identical.\n      living: false,\n      introducedBy: introduced.features.map((f) => f.id),\n      introductions: rows.map((row) => ({\n        feature: row.feature.id,\n        path: repoPath(docsDir, row.paths.dir),\n        has: row.has,\n        // `show <FEAT> --json`'s per-service row, key for key, so a consumer\n        // that reads one reads the other.\n        ...kindCounts(row.reqs),\n        operations: [...new Set(row.reqs.flatMap((r) => r.operations))],\n        api: row.api,\n        events: row.events,\n        // And the living payload's requirement entries, so the delta is\n        // listed exactly as the service will list it once it merges.\n        requirements: row.reqs.map(requirementJson),\n        archSpec: {\n          requirements: row.archReqs.length,\n          scenarios: scenarioCount(row.archReqs),\n          entries: row.archReqs.map(requirementJson),\n        },\n        next: nextCommands(row.feature, id),\n      })),\n    });\n    return;\n  }\n\n  console.log(`${id}   introduced by ${by} (in flight) — not in the living docs until it archives\\n`);\n  rows.forEach((row, i) => {\n    if (i > 0) console.log(\"\");\n    printIntroduction(docsDir, row, id);\n  });\n}\n\nasync function readIntroduction(feature: FeatureEntry, id: RawServiceId, context: FleetContext): Promise<Introduction> {\n  const paths = featureSpecPaths(feature.dir, id);\n  const has = {\n    spec: existsSync(paths.spec),\n    archSpec: existsSync(paths.archSpec),\n    openapi: existsSync(paths.openapi),\n    asyncapi: existsSync(paths.asyncapi),\n  };\n  // The contract projections carry their own readability, so a delta document\n  // that does not parse is said below rather than shown as \"no operations\".\n  const [reqs, archReqs, api, events] = await Promise.all([\n    has.spec ? context.readRequirements(paths.spec) : [],\n    has.archSpec ? context.readRequirements(paths.archSpec) : [],\n    apiChanges(paths.openapi),\n    eventChanges(paths.asyncapi),\n  ]);\n  return { feature, paths, has, reqs, archReqs, api, events };\n}\n\n/**\n * Where a reader goes next: the feature that carries the service, its delta\n * over it, and the open work on it. Both interpolants are enumeration\n * spellings — the canonical feature id and the feature's own directory name for\n * the service — so the printed commands parse.\n */\nfunction nextCommands(feature: FeatureEntry, id: RawServiceId): string[] {\n  return [\n    `loam show ${feature.id}`,\n    `loam delta ${feature.id} --service ${id}`,\n    `loam tasks ${feature.id} --service ${id}`,\n  ];\n}\n\nfunction printIntroduction(docsDir: DocsDir, row: Introduction, id: RawServiceId): void {\n  console.log(`  ${row.feature.id}   ${repoPath(docsDir, row.paths.dir)}`);\n  const specNote = (rs: Requirement[]): string => {\n    const k = kindCounts(rs);\n    return `+${k.added} ~${k.modified} -${k.removed} requirements · ${plural(scenarioCount(rs), \"scenario\")}`;\n  };\n  console.log(`    ${mark(row.has.spec)} spec.md         ${row.has.spec ? specNote(row.reqs) : \"\"}`.trimEnd());\n  console.log(`    ${mark(row.has.archSpec)} arch.spec.md    ${row.has.archSpec ? specNote(row.archReqs) : \"\"}`.trimEnd());\n  const apiNote = row.api.unreadable ? \"does not parse\" : plural(row.api.changes.length, \"operation\");\n  console.log(`    ${mark(row.has.openapi)} openapi.yaml    ${row.has.openapi ? apiNote : \"\"}`.trimEnd());\n  const eventNote = row.events.unreadable ? \"does not read as AsyncAPI 3.0\" : plural(row.events.changes.length, \"message\");\n  console.log(`    ${mark(row.has.asyncapi)} asyncapi.yaml   ${row.has.asyncapi ? eventNote : \"\"}`.trimEnd());\n\n  // The kind leads each line: in a delta it is the fact a reviewer reads first,\n  // and a requirement listed here without it would read as one already living.\n  if (row.reqs.length > 0) {\n    console.log(\"\\n    requirements\");\n    for (const r of row.reqs) console.log(`      [${r.kind}] ${requirementLine(r)}`);\n  }\n  if (row.archReqs.length > 0) {\n    console.log(\"\\n    arch requirements\");\n    for (const r of row.archReqs) console.log(`      [${r.kind}] ${requirementLine(r)}`);\n  }\n\n  if (row.api.unreadable) {\n    console.log(\"\\n    operations\");\n    console.log(`      ✗ openapi.yaml does not parse — nothing here lists what ${row.feature.id} adds to ${id}`);\n    if (row.api.error !== undefined) console.log(`        ${row.api.error}`);\n  } else if (row.api.changes.length > 0) {\n    console.log(\"\\n    operations\");\n    for (const op of row.api.changes) {\n      console.log(`      ${op.remove ? \"REMOVE \" : \"\"}${op.method} ${op.path}  ${op.operationId}`);\n    }\n  }\n\n  if (row.events.unreadable) {\n    console.log(\"\\n    events\");\n    console.log(`      ✗ asyncapi.yaml does not read as AsyncAPI 3.0 — nothing here lists what ${row.feature.id} adds to ${id}`);\n    if (row.events.error !== undefined) console.log(`        ${row.events.error}`);\n  } else if (row.events.changes.length > 0) {\n    console.log(\"\\n    events\");\n    for (const m of row.events.changes) {\n      const direction = m.direction === null ? \"\" : `${m.direction.toUpperCase()} `;\n      console.log(`      ${m.remove ? \"REMOVE \" : \"\"}${direction}${m.message}  (${m.slot})`);\n    }\n  }\n\n  console.log(\"\\n    next\");\n  for (const command of nextCommands(row.feature, id)) console.log(`      ${command}`);\n}\n"]}

package/dist/commands/show/marks.js

@@ -0,0 +1,53 @@
+/**
+ * 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, 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 ? "✓" : "-";
+}
+export function scenarioCount(reqs) {
+    return reqs.reduce((n, r) => n + r.scenarios.length, 0);
+}
+export function edgeNote(e) {
+    if (e.op)
+        return `  ${e.op}`;
+    return e.title ? `  "${e.title}"` : "";
+}
+/** 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,239 @@
+/**
+ * One service as `loam show` presents it: its spec, its contract, and the
+ * fleet edges into and out of it.
+ *
+ * Split from `./feature.ts` because a service and a feature answer different
+ * questions — what a repository holds now, against what a change proposes —
+ * and only the service view has to reach the landscape for its edges.
+ */
+import { existsSync } from "node:fs";
+import { readFile } from "node:fs/promises";
+import { FleetContext } from "../../core/fleet-context.js";
+import { emitJson, repoPath } from "../../core/envelope/json.js";
+import { listField, readFrontmatter, stringField } from "../../core/document/frontmatter.js";
+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";
+import { listServices } from "../../core/repo/repo.js";
+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, 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 = {
+        model: existsSync(paths.model),
+        spec: existsSync(paths.spec),
+        // The architecture-obligations axis. It was invisible here and in `list`,
+        // which made the whole axis unnavigable: a service could carry twenty arch
+        // requirements — the outbox, the retries, the alerts — and every command a
+        // reader uses to find out what a service documents showed none of them.
+        archSpec: existsSync(paths.archSpec),
+        openapi: existsSync(paths.openapi),
+        runbook: existsSync(paths.runbook),
+        health: existsSync(paths.health),
+    };
+    // 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);
+    // `readOpenapi`, not `operationIds`: a contract that exists but does not parse
+    // came back from operationIds as an EMPTY operation list, indistinguishable
+    // from a service with no endpoints. `show` is what a reader opens to find out
+    // what a service offers, and answering "nothing" over a YAML error is the
+    // worst possible lie for that question. `x-loam-remove` entries are filtered
+    // out for the same reason validate filters them: they are deletion markers
+    // from a delta, not operations anybody can call.
+    const api = await readOpenapi(paths.openapi);
+    const ops = api.ops.filter((o) => !o.remove).map((o) => o.id);
+    // Both axes: the sample is per file, so an arch.spec.md read from a sample
+    // beside a fully-read spec.md still means part of this service's
+    // documentation was not read, and a badge derived from spec.md alone would
+    // not say so.
+    const [fm, archFm] = await Promise.all([readFrontmatter(paths.spec), readFrontmatter(paths.archSpec)]);
+    const scope = scopeText(fm);
+    const archScope = scopeText(archFm);
+    const provenance = {
+        status: stringField(fm, "status") ?? null,
+        owner: stringField(fm, "owner") ?? null,
+        last_verified: stringField(fm, "last_verified") ?? null,
+        sources: listField(fm, "sources"),
+        // Additive, under its frontmatter spelling like its siblings: `show` is
+        // where a person goes to find out what a service's documents claim, and a
+        // `status: verified` that a person reached by reading four sections of the
+        // spec is a materially different claim. Verbatim rather than decoded — an
+        // unreadable value is still a stamped partial read, and showing it as it
+        // stands is what lets a reader see the mangling.
+        vouch_scope: scope,
+    };
+    const governs = (op) => reqs.filter((r) => r.operations.includes(op)).map((r) => r.name);
+    const { inbound, outbound } = await landscapeEdges(docsDir, id, context);
+    if (json) {
+        emitJson({
+            command: "show",
+            type: "service",
+            id,
+            path: repoPath(docsDir, paths.dir),
+            has,
+            adrs,
+            frontmatter: provenance,
+            model: {
+                elements: model.elements.length,
+                relationships: model.relationships.length,
+                errors: model.errors.map(errorText),
+            },
+            requirements: reqs.map(requirementJson),
+            archSpec: {
+                requirements: archReqs.length,
+                scenarios: scenarioCount(archReqs),
+                entries: archReqs.map(requirementJson),
+                // The second axis carries its own scope: one `--sample` run can stamp
+                // one of the pair sampled and read the other in full, and the
+                // `frontmatter` block above is spec.md's alone.
+                vouch_scope: archScope,
+            },
+            openapi: {
+                unreadable: api.unreadable,
+                ...(api.error === undefined ? {} : { error: api.error }),
+            },
+            operations: ops.map((op) => ({ id: op, governedBy: governs(op) })),
+            landscape: { inbound, outbound },
+        });
+        return;
+    }
+    // The badge qualifies the status rather than replacing it: the document
+    // still says `verified` and this screen still says so, with what that vouch
+    // actually covered attached. A bare `verified` over a sampled stamp is the
+    // one reading this whole feature exists to prevent — and either axis earns
+    // the qualifier, since either one is part of this service nobody read.
+    const shown = provenance.status === null || (scope === null && archScope === null)
+        ? provenance.status
+        : `${provenance.status} (sampled)`;
+    const badge = [shown, provenance.owner].filter((s) => s !== null).join(" · ");
+    console.log(`${id}   ${repoPath(docsDir, paths.dir)}${badge ? `   ${badge}` : ""}\n`);
+    if (provenance.sources.length > 0 || provenance.last_verified !== null || archScope !== null) {
+        console.log("  provenance");
+        if (provenance.last_verified !== null)
+            console.log(`    verified  ${provenance.last_verified}`);
+        // Per axis and named, because they can disagree: one file read in full,
+        // the other from a sample, is an ordinary outcome of one `--sample` run.
+        if (scope !== null)
+            console.log(`    scope     spec.md ${scope} — the rest of it was not read at that vouch`);
+        if (archScope !== null) {
+            console.log(`    scope     arch.spec.md ${archScope} — the rest of it was not read at that vouch`);
+        }
+        for (const s of provenance.sources)
+            console.log(`    sources   ${s}`);
+        console.log("");
+    }
+    console.log("  artifacts");
+    const modelNote = model.errors.length > 0
+        ? `${model.errors.length} error(s)`
+        : `${plural(model.elements.length, "element")} · ${plural(model.relationships.length, "relationship")}`;
+    console.log(`    ${mark(has.model)} model.likec4    ${has.model ? modelNote : ""}`.trimEnd());
+    const specNote = (rs) => `${plural(rs.length, "requirement")} · ${plural(scenarioCount(rs), "scenario")}`;
+    console.log(`    ${mark(has.spec)} spec.md         ${has.spec ? specNote(reqs) : ""}`.trimEnd());
+    console.log(`    ${mark(has.archSpec)} arch.spec.md    ${has.archSpec ? specNote(archReqs) : ""}`.trimEnd());
+    const apiNote = api.unreadable ? "does not parse" : plural(ops.length, "operation");
+    console.log(`    ${mark(has.openapi)} openapi.yaml    ${has.openapi ? apiNote : ""}`.trimEnd());
+    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());
+    if (reqs.length > 0) {
+        console.log("\n  requirements");
+        for (const r of reqs)
+            console.log(`    ${requirementLine(r)}`);
+    }
+    if (archReqs.length > 0) {
+        console.log("\n  arch requirements");
+        for (const r of archReqs)
+            console.log(`    ${requirementLine(r)}`);
+    }
+    if (api.unreadable) {
+        console.log("\n  operations");
+        console.log(`    ✗ openapi.yaml does not parse — nothing here lists what ${id} offers`);
+        if (api.error !== undefined)
+            console.log(`      ${api.error}`);
+    }
+    else if (ops.length > 0) {
+        console.log("\n  operations");
+        for (const op of ops) {
+            const by = governs(op);
+            if (by.length > 0)
+                console.log(`    ✓ ${op}  governed by ${by.map((n) => `"${n}"`).join(", ")}`);
+            else
+                console.log(`    ⚠ ${op}  not governed by any requirement`);
+        }
+    }
+    if (inbound.length > 0 || outbound.length > 0) {
+        console.log("\n  landscape");
+        for (const e of inbound)
+            console.log(`    ← ${e.service}${edgeNote(e)}`);
+        for (const e of outbound)
+            console.log(`    → ${e.service}${edgeNote(e)}`);
+    }
+    if (model.errors.length > 0) {
+        console.log("\n  model errors");
+        for (const e of model.errors)
+            console.log(`    ✗ ${errorText(e)}`);
+    }
+}
+/** Inbound/outbound edges for a service, read off the living landscape. */
+export async function landscapeEdges(docsDir, service, context) {
+    const path = landscapePath(docsDir);
+    if (!existsSync(path))
+        return { inbound: [], outbound: [] };
+    const land = await loadFile(path);
+    if (land.errors.length > 0)
+        return { inbound: [], outbound: [] };
+    // Edges are filed under the service an element is BOUND to, not under what the
+    // 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));
+    // 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 };
+}
+/* ------------------------------------------------------------------ */
+/* Feature                                                             */
+/* ------------------------------------------------------------------ */
+//# sourceMappingURL=service.js.map

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

@@ -0,0 +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,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

@@ -0,0 +1,87 @@
+import { FleetContext } from "../../core/fleet-context.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
+        .command("show")
+        .argument("<target>", "service id or feature id")
+        .description("Show everything loam knows about a service or a feature")
+        .option("--json", "emit the machine contract instead of the human view")
+        .option("--type <kind>", "force the reading: service | feature")
+        .action(async (target, opts) => {
+        const json = opts.json === true;
+        if (opts.type !== undefined && opts.type !== "service" && opts.type !== "feature") {
+            fail(json, "invalid-option", `Unknown --type '${opts.type}'. Expected: service | feature.`);
+            return;
+        }
+        const forced = opts.type;
+        const config = await configOrRefuse(json);
+        if (config === null)
+            return;
+        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).
+        // `docs`, not `services`: a feature is readable from a repo whose
+        // services/ is missing, and if the target turns out to be a service the
+        // enumeration below refuses with `services-missing` anyway.
+        if (!docsRepoReady(json, docsDir, "docs"))
+            return;
+        // One read index for the invocation. Deciding the target is a service
+        // enumerates the fleet, and so does resolving the landscape's edges to the
+        // services that own them — `loam show <service>` walked services/ twice for
+        // one answer. The context memoises only within this invocation, so a later
+        // run still sees whatever is on disk then.
+        const context = new FleetContext();
+        try {
+            // A feature id is distinctive (FEAT-101); a service name is arbitrary. When
+            // both could match, the feature wins and --type forces the other reading.
+            const feature = forced === "service" ? null : await resolveFeature(docsDir, target, "include", context);
+            if (feature) {
+                await showFeature(docsDir, feature, json, context);
+                return;
+            }
+            // The enumeration's own id travels on — `entry.id` rather than the raw
+            // argument (repo/service-target.ts's rule): equal as strings, and only
+            // one of them carries the fact that a readdir produced it.
+            const entry = forced === "feature" ? undefined : (await listServices(docsDir, context)).find((s) => s.id === target);
+            if (entry !== undefined) {
+                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}.`);
+        }
+        catch (err) {
+            if (err instanceof DocsRepoUnavailableError) {
+                reportDocsRepoError(json, err);
+                return;
+            }
+            // An artifact that exists but cannot be read used to escape as a stack
+            // trace (`internal` in --json), naming nothing. `show` reads one target,
+            // so it has nothing to fall back on — but it can at least say WHICH file.
+            reportRepositoryUnavailable(json, err, `'${target}' cannot be shown`, docsDir);
+        }
+    });
+}
+/* ------------------------------------------------------------------ */
+/* Service                                                             */
+/* ------------------------------------------------------------------ */
+//# sourceMappingURL=show.js.map