@ybotok/loam 0.1.0-beta.2 → 0.2.0-alpha.1

package/dist/commands/show/feature.js

@@ -0,0 +1,178 @@
+/**
+ * One feature as `loam show` presents it: its intent, its delta, the
+ * per-service specs under it, and the business promises it changes.
+ *
+ * Split from `./service.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. The
+ * one-line shapes both write in are in `./marks.ts`.
+ *
+ * THE CAPABILITY SECTION IS NOT DECORATION. Without it a feature carrying only
+ * a `features/<FEAT>/capabilities/<id>/spec.md` — a business change with no
+ * service touched yet, which is the first thing an analyst writes and what
+ * `loam new --capability` scaffolds — displayed as a feature that carries
+ * nothing at all, from the command a person runs to find out what a feature
+ * carries. The archive would then refuse it (`capability.uncovered`,
+ * `scaffold.placeholder`) over documents this view said were not there.
+ */
+import { existsSync } from "node:fs";
+import { readFile } from "node:fs/promises";
+import { emitJson, repoPath } from "../../core/envelope/json.js";
+import {} from "../../core/c4/likec4.js";
+import { FleetContext } from "../../core/fleet-context.js";
+import {} from "../../core/repo/entries.js";
+import { featurePaths, featureSpecPaths } from "../../core/repo/paths.js";
+import { parseRequirements } from "../../core/document/parse.js";
+import { featureCapabilityDeltas } from "../../core/capabilities/delta/tree.js";
+import { capabilityDeltaSummaries } from "../../core/capabilities/delta/summary.js";
+import { apiChanges } from "../../core/projection/api.js";
+import { eventChanges } from "../../core/projection/events.js";
+import { featureStatus } from "../../core/status/feature/feature.js";
+import { executableNext } from "../../core/status/actions/execution.js";
+import { findingJson } from "../../core/vocabulary/report.js";
+import { plural } from "../policy/format.js";
+import { errorText, mark } from "./marks.js";
+const REVIEW_INTENT_LIMIT = 1_200;
+function intentSummary(text) {
+    const withoutFrontmatter = text.replace(/^---\r?\n[\s\S]*?\r?\n---\r?\n/, "");
+    const prose = withoutFrontmatter
+        .replace(/<!--[\s\S]*?-->/g, "")
+        .split(/\r?\n/)
+        .map((line) => line.trim())
+        .filter((line) => line.length > 0 && !line.startsWith("#"))
+        .join(" ");
+    return prose.length <= REVIEW_INTENT_LIMIT
+        ? prose
+        : `${prose.slice(0, REVIEW_INTENT_LIMIT - 1).trimEnd()}…`;
+}
+export async function showFeature(docsDir, feature, json, context = new FleetContext()) {
+    const paths = featurePaths(feature.dir);
+    const delta = feature.has.delta
+        ? await context.loadLikeC4(paths.delta)
+        : { errors: [], elements: [], relationships: [] };
+    const taggedEls = delta.elements.filter((e) => e.tags.includes(feature.id));
+    const taggedRels = delta.relationships.filter((r) => r.tags.includes(feature.id));
+    const services = [];
+    for (const svc of feature.services) {
+        const servicePaths = featureSpecPaths(feature.dir, svc);
+        const specPath = servicePaths.spec;
+        const reqs = existsSync(specPath) ? parseRequirements(await readFile(specPath, "utf8")) : [];
+        services.push({
+            id: svc,
+            added: reqs.filter((r) => r.kind === "ADDED").length,
+            modified: reqs.filter((r) => r.kind === "MODIFIED").length,
+            removed: reqs.filter((r) => r.kind === "REMOVED").length,
+            operations: [...new Set(reqs.flatMap((r) => r.operations))],
+            api: await apiChanges(servicePaths.openapi),
+            events: await eventChanges(servicePaths.asyncapi),
+        });
+    }
+    // One `existsSync` for a feature with no capability delta, which is every
+    // feature in a fleet that has not adopted the business axis — the walk's own
+    // short-circuit, and the whole cost such a fleet pays for this section.
+    const capabilities = await capabilityDeltaSummaries((await featureCapabilityDeltas(feature.dir)).docs, async (path) => parseRequirements(await readFile(path, "utf8")));
+    if (json) {
+        const status = await featureStatus(docsDir, feature, { context });
+        const issues = status.checks.issues.map((finding) => findingJson(finding, { path: status.feature.path, role: "scope" }));
+        const blockers = issues.filter((finding) => finding["severity"] === "error" || finding["gates"] === true);
+        const intent = existsSync(paths.intent) ? intentSummary(await readFile(paths.intent, "utf8")) : "";
+        emitJson({
+            command: "show",
+            type: "feature",
+            id: feature.id,
+            dirName: feature.dirName,
+            path: repoPath(docsDir, feature.dir),
+            archived: feature.archived,
+            has: feature.has,
+            delta: {
+                elements: taggedEls.length,
+                relationships: taggedRels.length,
+                errors: delta.errors.map(errorText),
+            },
+            services,
+            // Additive, which the envelope permits (core/envelope/json.ts), and an
+            // EMPTY ARRAY rather than an omitted key for a feature that carries none:
+            // a consumer indexing it must not have to tell "no capability delta" from
+            // "this loam does not report them", and the two would be the same absence.
+            capabilities: capabilities.map((c) => ({
+                id: c.id,
+                path: repoPath(docsDir, c.spec),
+                added: c.added,
+                modified: c.modified,
+                removed: c.removed,
+                promises: c.promises,
+            })),
+            review: {
+                readyToArchive: !feature.archived && status.feature.stage === "done" && blockers.length === 0,
+                intent: {
+                    path: repoPath(docsDir, paths.intent),
+                    summary: intent,
+                },
+                architecture: {
+                    path: repoPath(docsDir, paths.delta),
+                    elements: taggedEls.map((element) => ({
+                        id: element.id,
+                        kind: element.kind,
+                        title: element.title,
+                    })),
+                    relationships: taggedRels.map((relationship) => ({
+                        source: relationship.source,
+                        target: relationship.target,
+                        title: relationship.title ?? null,
+                        operation: relationship.op ?? null,
+                    })),
+                    errors: delta.errors.map(errorText),
+                },
+                services,
+                dependencies: { blockedBy: status.feature.blockedBy },
+                artifacts: status.artifacts,
+                verification: status.verification,
+                blockers,
+                advisories: issues.filter((finding) => finding["severity"] === "warn" && finding["gates"] !== true),
+                useCases: status.useCases,
+                next: status.next.map(executableNext),
+            },
+        });
+        return;
+    }
+    const state = feature.archived ? "archived" : "active";
+    console.log(`${feature.id}   ${repoPath(docsDir, feature.dir)}   ${state}\n`);
+    console.log("  artifacts");
+    console.log(`    ${mark(feature.has.intent)} intent.md`);
+    const deltaNote = delta.errors.length > 0
+        ? `${delta.errors.length} error(s)`
+        : `${plural(taggedEls.length, "element")} · ${plural(taggedRels.length, "relationship")} tagged ${feature.id}`;
+    console.log(`    ${mark(feature.has.delta)} delta.likec4  ${feature.has.delta ? deltaNote : ""}`.trimEnd());
+    if (services.length > 0) {
+        console.log("\n  services");
+        const width = Math.max(...services.map((s) => s.id.length));
+        for (const s of services) {
+            const ops = s.operations.length > 0 ? ` · ${s.operations.join(", ")}` : "";
+            console.log(`    ${s.id.padEnd(width)}  +${s.added} ~${s.modified} -${s.removed} requirements${ops}`);
+        }
+    }
+    // Printed only when the feature carries one: a fleet that has not adopted the
+    // business axis must see nothing, and an empty "capabilities" heading over
+    // every feature in every such fleet is exactly the noise that teaches people
+    // to stop reading the output.
+    if (capabilities.length > 0) {
+        console.log("\n  capabilities");
+        const width = Math.max(...capabilities.map((c) => c.id.length));
+        for (const c of capabilities) {
+            // The promise ids, not just the counts: `Realizes: <capability>#<id>` is
+            // the line somebody has to write next, and the id is the half of it a
+            // reader cannot guess.
+            const ids = c.promises.flatMap((p) => (p.id === null ? [] : [p.id]));
+            console.log(`    ${c.id.padEnd(width)}  +${c.added} ~${c.modified} -${c.removed} promises` +
+                (ids.length === 0 ? "" : ` · ${ids.join(", ")}`));
+        }
+    }
+    if (delta.errors.length > 0) {
+        console.log("\n  delta errors");
+        for (const e of delta.errors)
+            console.log(`    ✗ ${errorText(e)}`);
+    }
+}
+/* ------------------------------------------------------------------ */
+/** "-" for absent, matching `list`: ✗ is the error glyph here, and a missing runbook is not an error. */
+//# sourceMappingURL=feature.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"feature.js","sourceRoot":"","sources":["../../../src/commands/show/feature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAa,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAqB,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAE9D,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAE7C,MAAM,mBAAmB,GAAG,KAAK,CAAC;AAElC,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,kBAAkB;SAC7B,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;SAC/B,KAAK,CAAC,OAAO,CAAC;SACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;SAC1D,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,OAAO,KAAK,CAAC,MAAM,IAAI,mBAAmB;QACxC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,mBAAmB,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC;AAC9D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,OAAgB,EAChB,OAAqB,EACrB,IAAa,EACb,OAAO,GAAG,IAAI,YAAY,EAAE;IAE5B,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK;QAC7B,CAAC,CAAC,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QACvC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAY,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC9D,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAElF,MAAM,QAAQ,GAAG,EAAE,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC;QACnC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,GAAG;YACP,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,MAAM;YACpD,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,MAAM;YAC1D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,MAAM;YACxD,UAAU,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YAC3D,GAAG,EAAE,MAAM,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC;YAC3C,MAAM,EAAE,MAAM,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC;SAClD,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,6EAA6E;IAC7E,wEAAwE;IACxE,MAAM,YAAY,GAAG,MAAM,wBAAwB,CACjD,CAAC,MAAM,uBAAuB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EACjD,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAChE,CAAC;IAEF,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAClD,WAAW,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CACnE,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAC5B,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,CAC1E,CAAC;QACF,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnG,QAAQ,CAAC;YACP,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;YACpC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,KAAK,EAAE;gBACL,QAAQ,EAAE,SAAS,CAAC,MAAM;gBAC1B,aAAa,EAAE,UAAU,CAAC,MAAM;gBAChC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;aACpC;YACD,QAAQ;YACR,uEAAuE;YACvE,0EAA0E;YAC1E,0EAA0E;YAC1E,2EAA2E;YAC3E,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrC,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC;gBAC/B,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;aACrB,CAAC,CAAC;YACH,MAAM,EAAE;gBACN,cAAc,EAAE,CAAC,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAC7F,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC;oBACrC,OAAO,EAAE,MAAM;iBAChB;gBACD,YAAY,EAAE;oBACZ,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;oBACpC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;wBACpC,EAAE,EAAE,OAAO,CAAC,EAAE;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;qBACrB,CAAC,CAAC;oBACH,aAAa,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;wBAC/C,MAAM,EAAE,YAAY,CAAC,MAAM;wBAC3B,MAAM,EAAE,YAAY,CAAC,MAAM;wBAC3B,KAAK,EAAE,YAAY,CAAC,KAAK,IAAI,IAAI;wBACjC,SAAS,EAAE,YAAY,CAAC,EAAE,IAAI,IAAI;qBACnC,CAAC,CAAC;oBACH,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;iBACpC;gBACD,QAAQ;gBACR,YAAY,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE;gBACrD,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,QAAQ;gBACR,UAAU,EAAE,MAAM,CAAC,MAAM,CACvB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,CACzE;gBACD,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC;aACtC;SACF,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;IACvD,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,EAAE,MAAM,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;IAE9E,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3B,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACzD,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,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,CAAC,WAAW,OAAO,CAAC,EAAE,EAAE,CAAC;IACnH,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,kBAAkB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAE5G,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5D,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,OAAO,CAAC,GAAG,CACT,OAAO,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,gBAAgB,GAAG,EAAE,CACzF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,2EAA2E;IAC3E,6EAA6E;IAC7E,8BAA8B;IAC9B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,yEAAyE;YACzE,sEAAsE;YACtE,uBAAuB;YACvB,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO,CAAC,GAAG,CACT,OAAO,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,WAAW;gBAC5E,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CACnD,CAAC;QACJ,CAAC;IACH,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,wEAAwE;AAExE,yGAAyG","sourcesContent":["/**\n * One feature as `loam show` presents it: its intent, its delta, the\n * per-service specs under it, and the business promises it changes.\n *\n * Split from `./service.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. The\n * one-line shapes both write in are in `./marks.ts`.\n *\n * THE CAPABILITY SECTION IS NOT DECORATION. Without it a feature carrying only\n * a `features/<FEAT>/capabilities/<id>/spec.md` — a business change with no\n * service touched yet, which is the first thing an analyst writes and what\n * `loam new --capability` scaffolds — displayed as a feature that carries\n * nothing at all, from the command a person runs to find out what a feature\n * carries. The archive would then refuse it (`capability.uncovered`,\n * `scaffold.placeholder`) over documents this view said were not there.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { emitJson, repoPath } from \"../../core/envelope/json.js\";\nimport { type Elem } from \"../../core/c4/likec4.js\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { type FeatureEntry } from \"../../core/repo/entries.js\";\nimport { featurePaths, featureSpecPaths } from \"../../core/repo/paths.js\";\nimport { parseRequirements } from \"../../core/document/parse.js\";\nimport { featureCapabilityDeltas } from \"../../core/capabilities/delta/tree.js\";\nimport { capabilityDeltaSummaries } from \"../../core/capabilities/delta/summary.js\";\nimport { apiChanges } from \"../../core/projection/api.js\";\nimport { eventChanges } from \"../../core/projection/events.js\";\nimport { featureStatus } from \"../../core/status/feature/feature.js\";\nimport { executableNext } from \"../../core/status/actions/execution.js\";\nimport { findingJson } from \"../../core/vocabulary/report.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\nimport { plural } from \"../policy/format.js\";\nimport { errorText, mark } from \"./marks.js\";\n\nconst REVIEW_INTENT_LIMIT = 1_200;\n\nfunction intentSummary(text: string): string {\n  const withoutFrontmatter = text.replace(/^---\\r?\\n[\\s\\S]*?\\r?\\n---\\r?\\n/, \"\");\n  const prose = withoutFrontmatter\n    .replace(/<!--[\\s\\S]*?-->/g, \"\")\n    .split(/\\r?\\n/)\n    .map((line) => line.trim())\n    .filter((line) => line.length > 0 && !line.startsWith(\"#\"))\n    .join(\" \");\n  return prose.length <= REVIEW_INTENT_LIMIT\n    ? prose\n    : `${prose.slice(0, REVIEW_INTENT_LIMIT - 1).trimEnd()}…`;\n}\n\nexport async function showFeature(\n  docsDir: DocsDir,\n  feature: FeatureEntry,\n  json: boolean,\n  context = new FleetContext(),\n): Promise<void> {\n  const paths = featurePaths(feature.dir);\n  const delta = feature.has.delta\n    ? await context.loadLikeC4(paths.delta)\n    : { errors: [], elements: [] as Elem[], relationships: [] };\n  const taggedEls = delta.elements.filter((e) => e.tags.includes(feature.id));\n  const taggedRels = delta.relationships.filter((r) => r.tags.includes(feature.id));\n\n  const services = [];\n  for (const svc of feature.services) {\n    const servicePaths = featureSpecPaths(feature.dir, svc);\n    const specPath = servicePaths.spec;\n    const reqs = existsSync(specPath) ? parseRequirements(await readFile(specPath, \"utf8\")) : [];\n    services.push({\n      id: svc,\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      operations: [...new Set(reqs.flatMap((r) => r.operations))],\n      api: await apiChanges(servicePaths.openapi),\n      events: await eventChanges(servicePaths.asyncapi),\n    });\n  }\n\n  // One `existsSync` for a feature with no capability delta, which is every\n  // feature in a fleet that has not adopted the business axis — the walk's own\n  // short-circuit, and the whole cost such a fleet pays for this section.\n  const capabilities = await capabilityDeltaSummaries(\n    (await featureCapabilityDeltas(feature.dir)).docs,\n    async (path) => parseRequirements(await readFile(path, \"utf8\")),\n  );\n\n  if (json) {\n    const status = await featureStatus(docsDir, feature, { context });\n    const issues = status.checks.issues.map((finding) =>\n      findingJson(finding, { path: status.feature.path, role: \"scope\" }),\n    );\n    const blockers = issues.filter(\n      (finding) => finding[\"severity\"] === \"error\" || finding[\"gates\"] === true,\n    );\n    const intent = existsSync(paths.intent) ? intentSummary(await readFile(paths.intent, \"utf8\")) : \"\";\n    emitJson({\n      command: \"show\",\n      type: \"feature\",\n      id: feature.id,\n      dirName: feature.dirName,\n      path: repoPath(docsDir, feature.dir),\n      archived: feature.archived,\n      has: feature.has,\n      delta: {\n        elements: taggedEls.length,\n        relationships: taggedRels.length,\n        errors: delta.errors.map(errorText),\n      },\n      services,\n      // Additive, which the envelope permits (core/envelope/json.ts), and an\n      // EMPTY ARRAY rather than an omitted key for a feature that carries none:\n      // a consumer indexing it must not have to tell \"no capability delta\" from\n      // \"this loam does not report them\", and the two would be the same absence.\n      capabilities: capabilities.map((c) => ({\n        id: c.id,\n        path: repoPath(docsDir, c.spec),\n        added: c.added,\n        modified: c.modified,\n        removed: c.removed,\n        promises: c.promises,\n      })),\n      review: {\n        readyToArchive: !feature.archived && status.feature.stage === \"done\" && blockers.length === 0,\n        intent: {\n          path: repoPath(docsDir, paths.intent),\n          summary: intent,\n        },\n        architecture: {\n          path: repoPath(docsDir, paths.delta),\n          elements: taggedEls.map((element) => ({\n            id: element.id,\n            kind: element.kind,\n            title: element.title,\n          })),\n          relationships: taggedRels.map((relationship) => ({\n            source: relationship.source,\n            target: relationship.target,\n            title: relationship.title ?? null,\n            operation: relationship.op ?? null,\n          })),\n          errors: delta.errors.map(errorText),\n        },\n        services,\n        dependencies: { blockedBy: status.feature.blockedBy },\n        artifacts: status.artifacts,\n        verification: status.verification,\n        blockers,\n        advisories: issues.filter(\n          (finding) => finding[\"severity\"] === \"warn\" && finding[\"gates\"] !== true,\n        ),\n        useCases: status.useCases,\n        next: status.next.map(executableNext),\n      },\n    });\n    return;\n  }\n\n  const state = feature.archived ? \"archived\" : \"active\";\n  console.log(`${feature.id}   ${repoPath(docsDir, feature.dir)}   ${state}\\n`);\n\n  console.log(\"  artifacts\");\n  console.log(`    ${mark(feature.has.intent)} intent.md`);\n  const deltaNote =\n    delta.errors.length > 0\n      ? `${delta.errors.length} error(s)`\n      : `${plural(taggedEls.length, \"element\")} · ${plural(taggedRels.length, \"relationship\")} tagged ${feature.id}`;\n  console.log(`    ${mark(feature.has.delta)} delta.likec4  ${feature.has.delta ? deltaNote : \"\"}`.trimEnd());\n\n  if (services.length > 0) {\n    console.log(\"\\n  services\");\n    const width = Math.max(...services.map((s) => s.id.length));\n    for (const s of services) {\n      const ops = s.operations.length > 0 ? ` · ${s.operations.join(\", \")}` : \"\";\n      console.log(\n        `    ${s.id.padEnd(width)}  +${s.added} ~${s.modified} -${s.removed} requirements${ops}`,\n      );\n    }\n  }\n\n  // Printed only when the feature carries one: a fleet that has not adopted the\n  // business axis must see nothing, and an empty \"capabilities\" heading over\n  // every feature in every such fleet is exactly the noise that teaches people\n  // to stop reading the output.\n  if (capabilities.length > 0) {\n    console.log(\"\\n  capabilities\");\n    const width = Math.max(...capabilities.map((c) => c.id.length));\n    for (const c of capabilities) {\n      // The promise ids, not just the counts: `Realizes: <capability>#<id>` is\n      // the line somebody has to write next, and the id is the half of it a\n      // reader cannot guess.\n      const ids = c.promises.flatMap((p) => (p.id === null ? [] : [p.id]));\n      console.log(\n        `    ${c.id.padEnd(width)}  +${c.added} ~${c.modified} -${c.removed} promises` +\n          (ids.length === 0 ? \"\" : ` · ${ids.join(\", \")}`),\n      );\n    }\n  }\n\n  if (delta.errors.length > 0) {\n    console.log(\"\\n  delta errors\");\n    for (const e of delta.errors) console.log(`    ✗ ${errorText(e)}`);\n  }\n}\n\n/* ------------------------------------------------------------------ */\n\n/** \"-\" for absent, matching `list`: ✗ is the error glyph here, and a missing runbook is not an error. */\n"]}

package/dist/commands/show/marks.js

@@ -0,0 +1,24 @@
+/**
+ * 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.
+ *
+ * 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.
+ */
+import {} from "../../core/document/spec.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}"` : "";
+}
+export function errorText(e) {
+    return typeof e.line === "number" ? `L${e.line}: ${e.message}` : e.message;
+}
+//# 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;;;;;;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"]}

package/dist/commands/{show.js → show/service.js}

@@ -1,78 +1,30 @@
+/**
+ * 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 { loadConfig } from "../core/config.js";
-import { FleetContext } from "../core/fleet-context.js";
-import { emitJson, fail, repoPath, reportNoConfig } from "../core/json.js";
-import { listField, readFrontmatter, stringField } from "../core/frontmatter.js";
-import { loadFile, serviceResolver } from "../core/likec4.js";
-import { readOpenapi } from "../core/openapi.js";
-import { DocsRepoUnavailableError, countMarkdown, featurePaths, featureSpecPaths, landscapePath, listServices, resolveFeature, servicePaths, } from "../core/repo.js";
-import { parseRequirements } from "../core/spec.js";
-import { docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from "./docs-repo-gate.js";
-import { plural } from "./format.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 loadConfig();
-        if (!config) {
-            reportNoConfig(json);
-            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);
-                return;
-            }
-            const isService = forced !== "feature" && (await listServices(docsDir, context)).some((s) => s.id === target);
-            if (isService) {
-                await showService(docsDir, target, 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);
-        }
-    });
-}
-async function showService(docsDir, id, json, context) {
-    const paths = servicePaths(docsDir, id);
+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 { 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, errorText, mark, scenarioCount } from "./marks.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),
@@ -100,12 +52,25 @@ async function showService(docsDir, id, json, context) {
     // 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);
-    const fm = await readFrontmatter(paths.spec);
+    // 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);
@@ -119,6 +84,7 @@ async function showService(docsDir, id, json, context) {
     });
     if (json) {
         emitJson({
+            command: "show",
             type: "service",
             id,
             path: repoPath(docsDir, paths.dir),
@@ -135,6 +101,10 @@ async function showService(docsDir, id, json, context) {
                 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,
@@ -145,12 +115,27 @@ async function showService(docsDir, id, json, context) {
         });
         return;
     }
-    const badge = [provenance.status, provenance.owner].filter((s) => s !== null).join(" · ");
+    // 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) {
+    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("");
@@ -213,7 +198,7 @@ async function showService(docsDir, id, json, context) {
     }
 }
 /** Inbound/outbound edges for a service, read off the living landscape. */
-async function landscapeEdges(docsDir, service, context) {
+export async function landscapeEdges(docsDir, service, context) {
     const path = landscapePath(docsDir);
     if (!existsSync(path))
         return { inbound: [], outbound: [] };
@@ -243,78 +228,4 @@ async function landscapeEdges(docsDir, service, context) {
 /* ------------------------------------------------------------------ */
 /* Feature                                                             */
 /* ------------------------------------------------------------------ */
-async function showFeature(docsDir, feature, json) {
-    const paths = featurePaths(feature.dir);
-    const delta = feature.has.delta
-        ? await loadFile(paths.delta)
-        : { errors: [], elements: [], relationships: [] };
-    const taggedEls = delta.elements.filter((e) => e.tags.includes(feature.id));
-    const taggedRels = delta.relationships.filter((r) => r.tags.includes(feature.id));
-    const services = [];
-    for (const svc of feature.services) {
-        const specPath = featureSpecPaths(feature.dir, svc).spec;
-        const reqs = existsSync(specPath) ? parseRequirements(await readFile(specPath, "utf8")) : [];
-        services.push({
-            id: svc,
-            added: reqs.filter((r) => r.kind === "ADDED").length,
-            modified: reqs.filter((r) => r.kind === "MODIFIED").length,
-            removed: reqs.filter((r) => r.kind === "REMOVED").length,
-            operations: [...new Set(reqs.flatMap((r) => r.operations))],
-        });
-    }
-    if (json) {
-        emitJson({
-            type: "feature",
-            id: feature.id,
-            dirName: feature.dirName,
-            path: repoPath(docsDir, feature.dir),
-            archived: feature.archived,
-            has: feature.has,
-            delta: {
-                elements: taggedEls.length,
-                relationships: taggedRels.length,
-                errors: delta.errors.map(errorText),
-            },
-            services,
-        });
-        return;
-    }
-    const state = feature.archived ? "archived" : "active";
-    console.log(`${feature.id}   ${repoPath(docsDir, feature.dir)}   ${state}\n`);
-    console.log("  artifacts");
-    console.log(`    ${mark(feature.has.intent)} intent.md`);
-    const deltaNote = delta.errors.length > 0
-        ? `${delta.errors.length} error(s)`
-        : `${plural(taggedEls.length, "element")} · ${plural(taggedRels.length, "relationship")} tagged ${feature.id}`;
-    console.log(`    ${mark(feature.has.delta)} delta.likec4  ${feature.has.delta ? deltaNote : ""}`.trimEnd());
-    if (services.length > 0) {
-        console.log("\n  services");
-        const width = Math.max(...services.map((s) => s.id.length));
-        for (const s of services) {
-            const ops = s.operations.length > 0 ? ` · ${s.operations.join(", ")}` : "";
-            console.log(`    ${s.id.padEnd(width)}  +${s.added} ~${s.modified} -${s.removed} requirements${ops}`);
-        }
-    }
-    if (delta.errors.length > 0) {
-        console.log("\n  delta errors");
-        for (const e of delta.errors)
-            console.log(`    ✗ ${errorText(e)}`);
-    }
-}
-/* ------------------------------------------------------------------ */
-/** "-" for absent, matching `list`: ✗ is the error glyph here, and a missing runbook is not an error. */
-function mark(present) {
-    return present ? "✓" : "-";
-}
-function scenarioCount(reqs) {
-    return reqs.reduce((n, r) => n + r.scenarios.length, 0);
-}
-function edgeNote(e) {
-    if (e.op)
-        return `  ${e.op}`;
-    return e.title ? `  "${e.title}"` : "";
-}
-function errorText(e) {
-    return typeof e.line === "number" ? `L${e.line}: ${e.message}` : e.message;
-}
-//# sourceMappingURL=show.js.map
+//# 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,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"]}