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

package/dist/commands/show/show.js

@@ -0,0 +1,77 @@
+import { loadConfig } from "../../core/envelope/config.js";
+import { FleetContext } from "../../core/fleet-context.js";
+import { fail, reportNoConfig } 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 { showFeature } from "./feature.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 loaded = await loadConfig();
+        if (loaded.kind !== "loaded") {
+            reportNoConfig(json, loaded);
+            return;
+        }
+        const config = loaded.config;
+        const { docsDir } = config;
+        // "No service or feature 'x' in <dir>" is a lie when <dir> is not a docs
+        // repo at all — the same refusal validate and list owe (docsRepoReady).
+        // `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;
+            }
+            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

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

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

package/dist/commands/status/json.js

@@ -0,0 +1,45 @@
+/**
+ * The `--json` payloads, and the one rule they follow.
+ *
+ * `issues` go out through `findingJson`, the same serializer `validate` uses:
+ * an `Issue` is a `Finding` without details, and one breach reported by two
+ * commands must arrive in one shape or a consumer needs two parsers.
+ */
+import { findingJson } from "../../core/vocabulary/report.js";
+import { executableNext } from "../../core/status/actions/execution.js";
+export function featureJson(r) {
+    return {
+        interrupted: r.interrupted,
+        feature: r.feature,
+        service: r.service,
+        artifacts: r.artifacts,
+        checks: {
+            ...r.checks,
+            issues: r.checks.issues.map((finding) => findingJson(finding, { path: r.feature.path, role: "scope" })),
+        },
+        verification: r.verification,
+        // Additive (core/envelope/json.ts). Spread key by key rather than passed
+        // through whole, so an optional `error` that is absent stays absent instead
+        // of arriving as `undefined` — the shape every other payload here keeps.
+        useCases: {
+            unreadable: r.useCases.unreadable,
+            ...(r.useCases.error === undefined ? {} : { error: r.useCases.error }),
+            flows: r.useCases.flows,
+        },
+        next: r.next.map(executableNext),
+    };
+}
+export function fleetJson(r) {
+    return {
+        interrupted: r.interrupted,
+        service: r.service,
+        services: r.services,
+        features: r.features,
+        order: r.order,
+        next: r.next.map(executableNext),
+    };
+}
+/* ------------------------------------------------------------------ */
+/* Text                                                                */
+/* ------------------------------------------------------------------ */
+//# sourceMappingURL=json.js.map

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

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

package/dist/commands/status/print.js

@@ -0,0 +1,157 @@
+/**
+ * The human view of a status: one feature, or the whole fleet.
+ *
+ * Separate from `./json.ts` because the two answer different readers and only
+ * one of them is a contract. This side may be reworded freely; the payload
+ * beside it may not.
+ */
+import { SEVERITY_MARK } from "../../core/vocabulary/report.js";
+function pad(values) {
+    return Math.max(0, ...values.map((v) => v.length));
+}
+/**
+ * The half-merged-repo banner, printed FIRST and on stderr.
+ *
+ * stderr, alone among this command's output, because it is not part of the
+ * answer: it is the reason the answer may be wrong. A reader piping `status`
+ * into a pager still sees it, and the human view stays the shape every other
+ * run has. `--json` carries the same fact in `interrupted`.
+ */
+function printInterrupted(i) {
+    console.error(i.unreadable
+        ? "⚠ this docs repo holds a .loam-commit that cannot be read — a commit was interrupted and nothing here can be trusted until a human compares the living docs against version control."
+        : `⚠ a \`${i.recover}\` was killed mid-commit (${i.host}, pid ${i.pid}, ${i.at}) — ${i.files.length} file(s) may be half-written: ${i.files.join(", ")}. Everything below is derived from them.`);
+    console.error("");
+}
+/** `spec (payment-service)` — the artifact id plus the service, when it has one. */
+function artifactLabel(a) {
+    return a.service === null ? a.id : `${a.id} (${a.service})`;
+}
+/**
+ * The counts come from the record's `claims:` array (verify's `tallyRecord`),
+ * never from its `summary:` block. The verdict is printed beside the state
+ * because they answer different questions and only together are they honest:
+ * `recorded  4/4 confirmed` used to be the whole line for a feature `verify`
+ * calls `attested` — complete, and resting on somebody's word about a test.
+ */
+function verificationLine(v) {
+    if (v.state === "absent")
+        return "none";
+    if (v.state === "unreadable")
+        return "unreadable";
+    return (`${v.state} · ${v.verdict}  ${v.confirmed}/${v.claims} confirmed` +
+        (v.unanswered > 0 ? ` · ${v.unanswered} unanswered` : "") +
+        (v.attested > 0 ? ` · ${v.attested} scenario(s) on an agent's word, not a test run` : "") +
+        `  (recorded ${v.recorded ?? "?"})`);
+}
+/**
+ * The steps, numbered, with the command on its own indented line — doctor's
+ * layout, for doctor's reason: what to do and what to type are two different
+ * sentences, and someone scanning a half-built feature reads down the `run:`
+ * column.
+ */
+function printNext(steps) {
+    console.log("\n  next");
+    for (const [i, step] of steps.entries()) {
+        console.log(`    ${i + 1}. ${step.code}: ${step.statement}`);
+        console.log(`       run: ${step.command}`);
+    }
+}
+/**
+ * The business flows the services in view already appear in.
+ *
+ * Silent when the fleet declares none, unlike the delta brief's version of the
+ * same section: this report is a table of what is OWED, and a "(none)" row for
+ * a fleet that has never drawn a use case would be one more line between the
+ * reader and the next step. The unreadable arm is not silent, because that one
+ * is a hole rather than an absence.
+ */
+function printUseCases(u) {
+    if (u.unreadable) {
+        console.log("\n  use cases     architecture/ does not parse, so the flows through these services could not be read");
+        return;
+    }
+    if (u.flows.length === 0)
+        return;
+    console.log("\n  use cases");
+    for (const flow of u.flows) {
+        console.log(`    ${flow.title ?? flow.id}  [${flow.id}]  ${flow.file}`);
+        for (const step of flow.steps) {
+            const label = step.title === undefined ? "" : ` '${step.title}'`;
+            console.log(`      step ${step.ordinal}${label}: ${step.source} -> ${step.target}`);
+        }
+    }
+}
+export function printFeature(r, ambiguous) {
+    if (r.interrupted !== null)
+        printInterrupted(r.interrupted);
+    const f = r.feature;
+    console.log(`loam status ${f.id} — ${f.stage}${f.archived ? " (archived)" : ""}`);
+    console.log(`  feature       ${f.dirName}  ${f.path}`);
+    console.log(`  services      ${f.services.length > 0 ? f.services.join(", ") : "(none)"}`);
+    if (r.service !== null)
+        console.log(`  narrowed to   ${r.service}`);
+    if (f.blockedBy.length > 0)
+        console.log(`  waiting on    ${f.blockedBy.join(", ")}`);
+    console.log(`  coherence     ${r.checks.ran
+        ? `${r.checks.errors} error(s) · ${r.checks.warnings} warning(s) · ${r.checks.gating} gate archive`
+        : "not run (archived)"}`);
+    console.log(`  verification  ${verificationLine(r.verification)}`);
+    if (ambiguous.length > 0) {
+        console.log(`  note          '${f.id}' also names ${ambiguous.filter((d) => d !== f.dirName).join(", ")}`);
+    }
+    console.log("\n  artifacts");
+    const labels = r.artifacts.map(artifactLabel);
+    const labelWidth = pad(labels);
+    const statusWidth = pad(r.artifacts.map((a) => a.status));
+    for (const [i, a] of r.artifacts.entries()) {
+        // `done` on a file that is not there is the one row a reader misreads: it
+        // means the feature owes no such artifact, not that one was written. The
+        // JSON contract says it with `exists`; the human view has to say it in
+        // words, or the table quietly claims files that do not exist.
+        const note = a.blockedBy.length > 0
+            ? `  (needs ${a.blockedBy.join(", ")})`
+            : !a.exists && a.status === "done"
+                ? "  (not written — none owed)"
+                : "";
+        console.log(`    ${a.status.padEnd(statusWidth)}  ${labels[i].padEnd(labelWidth)}  ${a.path}${note}`.trimEnd());
+    }
+    if (r.checks.issues.length > 0) {
+        console.log("\n  findings");
+        for (const issue of r.checks.issues) {
+            console.log(`    ${SEVERITY_MARK[issue.severity]} ${issue.code}: ${issue.message}`);
+        }
+    }
+    printUseCases(r.useCases);
+    printNext(r.next);
+}
+export function printFleet(r) {
+    if (r.interrupted !== null)
+        printInterrupted(r.interrupted);
+    const s = r.services;
+    console.log(`loam status — ${s.total} service(s) · ${r.features.length} feature(s) in flight`);
+    console.log(
+    // The sampled count inside the vouched one, the scorecard's own layout: a
+    // reader who stops at the first number must not have been told the
+    // stronger of the two.
+    `  services      ${s.undocumented} undocumented · ${s.draft} draft · ${s.vouched} vouched${s.sampledVouched > 0 ? ` (${s.sampledVouched} sampled)` : ""}`);
+    if (r.service !== null)
+        console.log(`  narrowed to   ${r.service}`);
+    if (r.order.length > 1)
+        console.log(`  order         ${r.order.join(" → ")}`);
+    if (r.features.length > 0) {
+        console.log("\n  features");
+        const ids = pad(r.features.map((f) => f.id));
+        const stages = pad(r.features.map((f) => f.stage));
+        for (const f of r.features) {
+            const detail = f.blockedBy.length > 0
+                ? `waiting on ${f.blockedBy.join(", ")}`
+                : f.missing.length > 0
+                    ? `missing ${f.missing.join(", ")}`
+                    : f.services.join(", ");
+            console.log(`    ${f.stage.padEnd(stages)}  ${f.id.padEnd(ids)}  ${detail}`.trimEnd());
+        }
+    }
+    printNext(r.next);
+}
+//# sourceMappingURL=print.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../../../src/commands/status/print.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAUhE,SAAS,GAAG,CAAC,MAAgB;IAC3B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,CAAoB;IAC5C,OAAO,CAAC,KAAK,CACX,CAAC,CAAC,UAAU;QACV,CAAC,CAAC,sLAAsL;QACxL,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,6BAA6B,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,iCAAiC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C,CACnM,CAAC;IACF,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACpB,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CAAC,CAAgB;IACrC,OAAO,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC;AAC9D,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,CAAoB;IAC5C,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY;QAAE,OAAO,YAAY,CAAC;IAClD,OAAO,CACL,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,YAAY;QACjE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,iDAAiD,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,eAAe,CAAC,CAAC,QAAQ,IAAI,GAAG,GAAG,CACpC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,KAAiB;IAClC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACxB,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QAC7D,OAAO,CAAC,GAAG,CAAC,eAAe,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,aAAa,CAAC,CAAkC;IACvD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,uGAAuG,CAAC,CAAC;QACrH,OAAO;IACT,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACjC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACxE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC;YACjE,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,OAAO,GAAG,KAAK,KAAK,IAAI,CAAC,MAAM,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAsB,EAAE,SAAmB;IACtE,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;QAAE,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IACpB,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAClF,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACvD,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC3F,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrF,OAAO,CAAC,GAAG,CACT,mBACE,CAAC,CAAC,MAAM,CAAC,GAAG;QACV,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,eAAe,CAAC,CAAC,MAAM,CAAC,QAAQ,iBAAiB,CAAC,CAAC,MAAM,CAAC,MAAM,eAAe;QACnG,CAAC,CAAC,oBACN,EAAE,CACH,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,mBAAmB,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACnE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,EAAE,gBAAgB,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,0EAA0E;QAC1E,yEAAyE;QACzE,uEAAuE;QACvE,8DAA8D;QAC9D,MAAM,IAAI,GACR,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACvC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;gBAChC,CAAC,CAAC,6BAA6B;gBAC/B,CAAC,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,GAAG,CACT,OAAO,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CACpG,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACpC,OAAO,CAAC,GAAG,CAAC,OAAO,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IAED,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1B,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAAoB;IAC7C,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;QAAE,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IACrB,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,KAAK,iBAAiB,CAAC,CAAC,QAAQ,CAAC,MAAM,uBAAuB,CAAC,CAAC;IAC/F,OAAO,CAAC,GAAG;IACT,0EAA0E;IAC1E,mEAAmE;IACnE,uBAAuB;IACvB,mBAAmB,CAAC,CAAC,YAAY,mBAAmB,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1J,CAAC;IACF,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAE9E,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,MAAM,MAAM,GACV,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;gBACpB,CAAC,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACxC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;oBACpB,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBACnC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IAED,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC","sourcesContent":["/**\n * The human view of a status: one feature, or the whole fleet.\n *\n * Separate from `./json.ts` because the two answer different readers and only\n * one of them is a contract. This side may be reworded freely; the payload\n * beside it may not.\n */\nimport { SEVERITY_MARK } from \"../../core/vocabulary/report.js\";\nimport type {\n  ArtifactState,\n  FeatureStatusReport,\n  FleetStatusReport,\n  InterruptedCommit,\n  NextStep,\n  VerificationState,\n} from \"../../core/status/report.js\";\n\nfunction pad(values: string[]): number {\n  return Math.max(0, ...values.map((v) => v.length));\n}\n\n/**\n * The half-merged-repo banner, printed FIRST and on stderr.\n *\n * stderr, alone among this command's output, because it is not part of the\n * answer: it is the reason the answer may be wrong. A reader piping `status`\n * into a pager still sees it, and the human view stays the shape every other\n * run has. `--json` carries the same fact in `interrupted`.\n */\nfunction printInterrupted(i: InterruptedCommit): void {\n  console.error(\n    i.unreadable\n      ? \"⚠ this docs repo holds a .loam-commit that cannot be read — a commit was interrupted and nothing here can be trusted until a human compares the living docs against version control.\"\n      : `⚠ a \\`${i.recover}\\` was killed mid-commit (${i.host}, pid ${i.pid}, ${i.at}) — ${i.files.length} file(s) may be half-written: ${i.files.join(\", \")}. Everything below is derived from them.`,\n  );\n  console.error(\"\");\n}\n\n/** `spec (payment-service)` — the artifact id plus the service, when it has one. */\nfunction artifactLabel(a: ArtifactState): string {\n  return a.service === null ? a.id : `${a.id} (${a.service})`;\n}\n\n/**\n * The counts come from the record's `claims:` array (verify's `tallyRecord`),\n * never from its `summary:` block. The verdict is printed beside the state\n * because they answer different questions and only together are they honest:\n * `recorded  4/4 confirmed` used to be the whole line for a feature `verify`\n * calls `attested` — complete, and resting on somebody's word about a test.\n */\nfunction verificationLine(v: VerificationState): string {\n  if (v.state === \"absent\") return \"none\";\n  if (v.state === \"unreadable\") return \"unreadable\";\n  return (\n    `${v.state} · ${v.verdict}  ${v.confirmed}/${v.claims} confirmed` +\n    (v.unanswered > 0 ? ` · ${v.unanswered} unanswered` : \"\") +\n    (v.attested > 0 ? ` · ${v.attested} scenario(s) on an agent's word, not a test run` : \"\") +\n    `  (recorded ${v.recorded ?? \"?\"})`\n  );\n}\n\n/**\n * The steps, numbered, with the command on its own indented line — doctor's\n * layout, for doctor's reason: what to do and what to type are two different\n * sentences, and someone scanning a half-built feature reads down the `run:`\n * column.\n */\nfunction printNext(steps: NextStep[]): void {\n  console.log(\"\\n  next\");\n  for (const [i, step] of steps.entries()) {\n    console.log(`    ${i + 1}. ${step.code}: ${step.statement}`);\n    console.log(`       run: ${step.command}`);\n  }\n}\n\n/**\n * The business flows the services in view already appear in.\n *\n * Silent when the fleet declares none, unlike the delta brief's version of the\n * same section: this report is a table of what is OWED, and a \"(none)\" row for\n * a fleet that has never drawn a use case would be one more line between the\n * reader and the next step. The unreadable arm is not silent, because that one\n * is a hole rather than an absence.\n */\nfunction printUseCases(u: FeatureStatusReport[\"useCases\"]): void {\n  if (u.unreadable) {\n    console.log(\"\\n  use cases     architecture/ does not parse, so the flows through these services could not be read\");\n    return;\n  }\n  if (u.flows.length === 0) return;\n  console.log(\"\\n  use cases\");\n  for (const flow of u.flows) {\n    console.log(`    ${flow.title ?? flow.id}  [${flow.id}]  ${flow.file}`);\n    for (const step of flow.steps) {\n      const label = step.title === undefined ? \"\" : ` '${step.title}'`;\n      console.log(`      step ${step.ordinal}${label}: ${step.source} -> ${step.target}`);\n    }\n  }\n}\n\nexport function printFeature(r: FeatureStatusReport, ambiguous: string[]): void {\n  if (r.interrupted !== null) printInterrupted(r.interrupted);\n  const f = r.feature;\n  console.log(`loam status ${f.id} — ${f.stage}${f.archived ? \" (archived)\" : \"\"}`);\n  console.log(`  feature       ${f.dirName}  ${f.path}`);\n  console.log(`  services      ${f.services.length > 0 ? f.services.join(\", \") : \"(none)\"}`);\n  if (r.service !== null) console.log(`  narrowed to   ${r.service}`);\n  if (f.blockedBy.length > 0) console.log(`  waiting on    ${f.blockedBy.join(\", \")}`);\n  console.log(\n    `  coherence     ${\n      r.checks.ran\n        ? `${r.checks.errors} error(s) · ${r.checks.warnings} warning(s) · ${r.checks.gating} gate archive`\n        : \"not run (archived)\"\n    }`,\n  );\n  console.log(`  verification  ${verificationLine(r.verification)}`);\n  if (ambiguous.length > 0) {\n    console.log(`  note          '${f.id}' also names ${ambiguous.filter((d) => d !== f.dirName).join(\", \")}`);\n  }\n\n  console.log(\"\\n  artifacts\");\n  const labels = r.artifacts.map(artifactLabel);\n  const labelWidth = pad(labels);\n  const statusWidth = pad(r.artifacts.map((a) => a.status));\n  for (const [i, a] of r.artifacts.entries()) {\n    // `done` on a file that is not there is the one row a reader misreads: it\n    // means the feature owes no such artifact, not that one was written. The\n    // JSON contract says it with `exists`; the human view has to say it in\n    // words, or the table quietly claims files that do not exist.\n    const note =\n      a.blockedBy.length > 0\n        ? `  (needs ${a.blockedBy.join(\", \")})`\n        : !a.exists && a.status === \"done\"\n          ? \"  (not written — none owed)\"\n          : \"\";\n    console.log(\n      `    ${a.status.padEnd(statusWidth)}  ${labels[i]!.padEnd(labelWidth)}  ${a.path}${note}`.trimEnd(),\n    );\n  }\n\n  if (r.checks.issues.length > 0) {\n    console.log(\"\\n  findings\");\n    for (const issue of r.checks.issues) {\n      console.log(`    ${SEVERITY_MARK[issue.severity]} ${issue.code}: ${issue.message}`);\n    }\n  }\n\n  printUseCases(r.useCases);\n  printNext(r.next);\n}\n\nexport function printFleet(r: FleetStatusReport): void {\n  if (r.interrupted !== null) printInterrupted(r.interrupted);\n  const s = r.services;\n  console.log(`loam status — ${s.total} service(s) · ${r.features.length} feature(s) in flight`);\n  console.log(\n    // The sampled count inside the vouched one, the scorecard's own layout: a\n    // reader who stops at the first number must not have been told the\n    // stronger of the two.\n    `  services      ${s.undocumented} undocumented · ${s.draft} draft · ${s.vouched} vouched${s.sampledVouched > 0 ? ` (${s.sampledVouched} sampled)` : \"\"}`,\n  );\n  if (r.service !== null) console.log(`  narrowed to   ${r.service}`);\n  if (r.order.length > 1) console.log(`  order         ${r.order.join(\" → \")}`);\n\n  if (r.features.length > 0) {\n    console.log(\"\\n  features\");\n    const ids = pad(r.features.map((f) => f.id));\n    const stages = pad(r.features.map((f) => f.stage));\n    for (const f of r.features) {\n      const detail =\n        f.blockedBy.length > 0\n          ? `waiting on ${f.blockedBy.join(\", \")}`\n          : f.missing.length > 0\n            ? `missing ${f.missing.join(\", \")}`\n            : f.services.join(\", \");\n      console.log(`    ${f.stage.padEnd(stages)}  ${f.id.padEnd(ids)}  ${detail}`.trimEnd());\n    }\n  }\n\n  printNext(r.next);\n}\n"]}

package/dist/commands/status/status.js

@@ -0,0 +1,119 @@
+import { loadConfig } from "../../core/envelope/config.js";
+import { FleetContext } from "../../core/fleet-context.js";
+import { emitJson, fail, reportNoConfig } from "../../core/envelope/json.js";
+import { DocsRepoUnavailableError } from "../../core/repo/state.js";
+import { featureCandidates, missingFeatureMessage, resolveFeature } from "../../core/repo/repo.js";
+import { featureStatus } from "../../core/status/feature/feature.js";
+import { fleetStatus } from "../../core/status/fleet/fleet.js";
+import { docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from "../policy/gate.js";
+import { featureJson, fleetJson } from "./json.js";
+import { printFeature, printFleet } from "./print.js";
+export function registerStatus(program) {
+    program
+        .command("status")
+        .argument("[feature]", "feature id or directory name; omit for the whole repository")
+        .description("Report where the work stands and what to do next, derived from the files")
+        .option("--json", "emit the machine contract instead of the human view")
+        .option("--service <id>", "narrow the per-service view to one service")
+        .action(async (featureArg, opts) => {
+        const json = opts.json === true;
+        const loaded = await loadConfig();
+        if (loaded.kind !== "loaded") {
+            reportNoConfig(json, loaded);
+            return;
+        }
+        const config = loaded.config;
+        const { docsDir } = config;
+        // A docsDir that is not a docs repo is refused, never rendered as a repo
+        // with nothing in it — the doctrine docs-repo-gate.ts's docsRepoReady exists
+        // for. `status` counts services, so it needs services/ in both modes.
+        if (!docsRepoReady(json, docsDir, "services"))
+            return;
+        const context = new FleetContext();
+        // What the refusal below says it was answering when it gave up.
+        let scope = "this repository";
+        try {
+            if (featureArg === undefined) {
+                // `bound` is what THIS repo says it is, which is a different fact from
+                // `--service` (which narrows the view). Passing it is what lets the
+                // fleet form notice that the repository it is standing in has never
+                // been adopted — the one thing a fleet count cannot see.
+                const report = await fleetStatus(docsDir, {
+                    service: opts.service,
+                    bound: config.service,
+                    context,
+                });
+                // A `--service` that names nothing is refused rather than answered
+                // with an empty fleet: "no services and no features" and "you
+                // misspelled it" are opposite facts, and only one of them is worth
+                // acting on.
+                if (opts.service !== undefined && report.services.total === 0) {
+                    fail(json, "unknown-service", `No service '${opts.service}' under ${docsDir}/services/.`);
+                    return;
+                }
+                if (json)
+                    emitJson({ command: "status", docsDir, scope: "fleet", ...fleetJson(report) });
+                else
+                    printFleet(report);
+                return;
+            }
+            // Archived features are IN scope: an agent asking where FEAT-101 stands
+            // after it shipped deserves "it shipped", not "no such feature" — the
+            // same reading `show` takes. An argument naming two directories is
+            // still answered (status writes nothing), with the tie broken the way
+            // resolveFeature always breaks it.
+            const feature = await resolveFeature(docsDir, featureArg, "include", context);
+            if (!feature) {
+                fail(json, "unknown-target", await missingFeatureMessage(docsDir, featureArg, context));
+                return;
+            }
+            scope = feature.id;
+            // `config.service` is not a lens like `--service`: it says which
+            // repository this IS, and three of the steps (`loam gherkin`, `verify
+            // --record --service`) refuse anywhere else. Without it status handed a
+            // docs-repo reader commands only a service repo can run, and never told
+            // a service repo that the work in front of it was its own.
+            const report = await featureStatus(docsDir, feature, {
+                service: opts.service,
+                boundService: config.service,
+                context,
+            });
+            if (opts.service !== undefined && !report.feature.services.includes(opts.service)) {
+                fail(json, "unknown-service", `${feature.id} carries no delta for '${opts.service}'. It touches: ${report.feature.services.length > 0 ? report.feature.services.join(", ") : "(no services)"}.`);
+                return;
+            }
+            const ambiguous = await featureCandidates(docsDir, featureArg, "include", context);
+            if (json) {
+                emitJson({ command: "status", docsDir, scope: "feature", ...featureJson(report) });
+            }
+            else {
+                printFeature(report, ambiguous.length > 1 ? ambiguous.map((c) => c.dirName) : []);
+            }
+        }
+        catch (err) {
+            if (err instanceof DocsRepoUnavailableError) {
+                reportDocsRepoError(json, err);
+                return;
+            }
+            // One unreadable artifact must not escape as a stack trace and an
+            // `internal` envelope that names nothing: the projection is
+            // all-or-nothing (a status missing one artifact reads as a feature that
+            // does not owe it), so the honest answer is a refusal naming the path.
+            // The errno-vs-path reading this branch depends on — the reason one
+            // directory where a file belongs used to kill BOTH forms of status —
+            // now lives once, with its reasoning, on the shared helper.
+            reportRepositoryUnavailable(json, err, `the status of ${scope} would be missing an artifact`, docsDir);
+        }
+        // No exit code is set on any path above that succeeded, deliberately.
+        // `doctor` exits 1 because a broken installation makes every later
+        // command lie, and `validate` exits 1 because it IS the fleet gate. This
+        // command is a question, and its answer is equally true whether the
+        // feature is finished or not — an agent runs it precisely BECAUSE work is
+        // outstanding, and exiting 1 there would make every `set -e` script and
+        // every CI step read "there is work to do" as a failure.
+    });
+}
+/* ------------------------------------------------------------------ */
+/* JSON                                                                */
+/* ------------------------------------------------------------------ */
+//# sourceMappingURL=status.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"status.js","sourceRoot":"","sources":["../../../src/commands/status/status.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACnG,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AACpG,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAiBtD,MAAM,UAAU,cAAc,CAAC,OAAgB;IAC7C,OAAO;SACJ,OAAO,CAAC,QAAQ,CAAC;SACjB,QAAQ,CAAC,WAAW,EAAE,6DAA6D,CAAC;SACpF,WAAW,CAAC,0EAA0E,CAAC;SACvF,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC;SACvE,MAAM,CAAC,gBAAgB,EAAE,4CAA4C,CAAC;SACtE,MAAM,CAAC,KAAK,EAAE,UAA8B,EAAE,IAAmB,EAAE,EAAE;QACpE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,UAAU,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAC3B,yEAAyE;QACzE,6EAA6E;QAC7E,sEAAsE;QACtE,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;YAAE,OAAO;QACtD,MAAM,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;QACnC,gEAAgE;QAChE,IAAI,KAAK,GAAG,iBAAiB,CAAC;QAE9B,IAAI,CAAC;YACH,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,uEAAuE;gBACvE,oEAAoE;gBACpE,oEAAoE;gBACpE,yDAAyD;gBACzD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE;oBACxC,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,KAAK,EAAE,MAAM,CAAC,OAAO;oBACrB,OAAO;iBACR,CAAC,CAAC;gBACH,mEAAmE;gBACnE,8DAA8D;gBAC9D,mEAAmE;gBACnE,aAAa;gBACb,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;oBAC9D,IAAI,CAAC,IAAI,EAAE,iBAAiB,EAAE,eAAe,IAAI,CAAC,OAAO,WAAW,OAAO,aAAa,CAAC,CAAC;oBAC1F,OAAO;gBACT,CAAC;gBACD,IAAI,IAAI;oBAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;;oBACpF,UAAU,CAAC,MAAM,CAAC,CAAC;gBACxB,OAAO;YACT,CAAC;YAED,wEAAwE;YACxE,sEAAsE;YACtE,mEAAmE;YACnE,sEAAsE;YACtE,mCAAmC;YACnC,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAC9E,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;gBACxF,OAAO;YACT,CAAC;YACD,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC;YACnB,iEAAiE;YACjE,sEAAsE;YACtE,wEAAwE;YACxE,wEAAwE;YACxE,2DAA2D;YAC3D,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE;gBACnD,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,YAAY,EAAE,MAAM,CAAC,OAAO;gBAC5B,OAAO;aACR,CAAC,CAAC;YACH,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClF,IAAI,CACF,IAAI,EACJ,iBAAiB,EACjB,GAAG,OAAO,CAAC,EAAE,0BAA0B,IAAI,CAAC,OAAO,kBACjD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAC5E,GAAG,CACJ,CAAC;gBACF,OAAO;YACT,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YACnF,IAAI,IAAI,EAAE,CAAC;gBACT,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACrF,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpF,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,wBAAwB,EAAE,CAAC;gBAC5C,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC/B,OAAO;YACT,CAAC;YACD,kEAAkE;YAClE,4DAA4D;YAC5D,wEAAwE;YACxE,uEAAuE;YACvE,oEAAoE;YACpE,qEAAqE;YACrE,4DAA4D;YAC5D,2BAA2B,CACzB,IAAI,EACJ,GAAG,EACH,iBAAiB,KAAK,+BAA+B,EACrD,OAAO,CACR,CAAC;QACJ,CAAC;QACD,sEAAsE;QACtE,mEAAmE;QACnE,yEAAyE;QACzE,oEAAoE;QACpE,0EAA0E;QAC1E,wEAAwE;QACxE,yDAAyD;IAC3D,CAAC,CAAC,CAAC;AACP,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["import type { Command } from \"commander\";\nimport { loadConfig } from \"../../core/envelope/config.js\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { emitJson, fail, reportNoConfig } from \"../../core/envelope/json.js\";\nimport { DocsRepoUnavailableError } from \"../../core/repo/state.js\";\nimport { featureCandidates, missingFeatureMessage, resolveFeature } from \"../../core/repo/repo.js\";\nimport { featureStatus } from \"../../core/status/feature/feature.js\";\nimport { fleetStatus } from \"../../core/status/fleet/fleet.js\";\nimport { docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from \"../policy/gate.js\";\nimport { featureJson, fleetJson } from \"./json.js\";\nimport { printFeature, printFleet } from \"./print.js\";\n\n/**\n * `loam status` — the read-only projection. Nothing here computes anything: the\n * derivation lives in core/status/ (and, underneath it, in the same coherence\n * and verification calls `validate`, `verify` and `archive` make). This file\n * resolves the target, refuses the arguments it cannot honour, and renders.\n *\n * It reports and does not gate, which is why it never sets a non-zero exit code\n * on a successful run — see `registerStatus`.\n */\n\ninterface StatusOptions {\n  json?: boolean;\n  service?: string;\n}\n\nexport function registerStatus(program: Command): void {\n  program\n    .command(\"status\")\n    .argument(\"[feature]\", \"feature id or directory name; omit for the whole repository\")\n    .description(\"Report where the work stands and what to do next, derived from the files\")\n    .option(\"--json\", \"emit the machine contract instead of the human view\")\n    .option(\"--service <id>\", \"narrow the per-service view to one service\")\n    .action(async (featureArg: string | undefined, opts: StatusOptions) => {\n      const json = opts.json === true;\n      const loaded = await loadConfig();\n      if (loaded.kind !== \"loaded\") {\n        reportNoConfig(json, loaded);\n        return;\n      }\n      const config = loaded.config;\n      const { docsDir } = config;\n      // A docsDir that is not a docs repo is refused, never rendered as a repo\n      // with nothing in it — the doctrine docs-repo-gate.ts's docsRepoReady exists\n      // for. `status` counts services, so it needs services/ in both modes.\n      if (!docsRepoReady(json, docsDir, \"services\")) return;\n      const context = new FleetContext();\n      // What the refusal below says it was answering when it gave up.\n      let scope = \"this repository\";\n\n      try {\n        if (featureArg === undefined) {\n          // `bound` is what THIS repo says it is, which is a different fact from\n          // `--service` (which narrows the view). Passing it is what lets the\n          // fleet form notice that the repository it is standing in has never\n          // been adopted — the one thing a fleet count cannot see.\n          const report = await fleetStatus(docsDir, {\n            service: opts.service,\n            bound: config.service,\n            context,\n          });\n          // A `--service` that names nothing is refused rather than answered\n          // with an empty fleet: \"no services and no features\" and \"you\n          // misspelled it\" are opposite facts, and only one of them is worth\n          // acting on.\n          if (opts.service !== undefined && report.services.total === 0) {\n            fail(json, \"unknown-service\", `No service '${opts.service}' under ${docsDir}/services/.`);\n            return;\n          }\n          if (json) emitJson({ command: \"status\", docsDir, scope: \"fleet\", ...fleetJson(report) });\n          else printFleet(report);\n          return;\n        }\n\n        // Archived features are IN scope: an agent asking where FEAT-101 stands\n        // after it shipped deserves \"it shipped\", not \"no such feature\" — the\n        // same reading `show` takes. An argument naming two directories is\n        // still answered (status writes nothing), with the tie broken the way\n        // resolveFeature always breaks it.\n        const feature = await resolveFeature(docsDir, featureArg, \"include\", context);\n        if (!feature) {\n          fail(json, \"unknown-target\", await missingFeatureMessage(docsDir, featureArg, context));\n          return;\n        }\n        scope = feature.id;\n        // `config.service` is not a lens like `--service`: it says which\n        // repository this IS, and three of the steps (`loam gherkin`, `verify\n        // --record --service`) refuse anywhere else. Without it status handed a\n        // docs-repo reader commands only a service repo can run, and never told\n        // a service repo that the work in front of it was its own.\n        const report = await featureStatus(docsDir, feature, {\n          service: opts.service,\n          boundService: config.service,\n          context,\n        });\n        if (opts.service !== undefined && !report.feature.services.includes(opts.service)) {\n          fail(\n            json,\n            \"unknown-service\",\n            `${feature.id} carries no delta for '${opts.service}'. It touches: ${\n              report.feature.services.length > 0 ? report.feature.services.join(\", \") : \"(no services)\"\n            }.`,\n          );\n          return;\n        }\n        const ambiguous = await featureCandidates(docsDir, featureArg, \"include\", context);\n        if (json) {\n          emitJson({ command: \"status\", docsDir, scope: \"feature\", ...featureJson(report) });\n        } else {\n          printFeature(report, ambiguous.length > 1 ? ambiguous.map((c) => c.dirName) : []);\n        }\n      } catch (err) {\n        if (err instanceof DocsRepoUnavailableError) {\n          reportDocsRepoError(json, err);\n          return;\n        }\n        // One unreadable artifact must not escape as a stack trace and an\n        // `internal` envelope that names nothing: the projection is\n        // all-or-nothing (a status missing one artifact reads as a feature that\n        // does not owe it), so the honest answer is a refusal naming the path.\n        // The errno-vs-path reading this branch depends on — the reason one\n        // directory where a file belongs used to kill BOTH forms of status —\n        // now lives once, with its reasoning, on the shared helper.\n        reportRepositoryUnavailable(\n          json,\n          err,\n          `the status of ${scope} would be missing an artifact`,\n          docsDir,\n        );\n      }\n      // No exit code is set on any path above that succeeded, deliberately.\n      // `doctor` exits 1 because a broken installation makes every later\n      // command lie, and `validate` exits 1 because it IS the fleet gate. This\n      // command is a question, and its answer is equally true whether the\n      // feature is finished or not — an agent runs it precisely BECAUSE work is\n      // outstanding, and exiting 1 there would make every `set -e` script and\n      // every CI step read \"there is work to do\" as a failure.\n    });\n}\n\n/* ------------------------------------------------------------------ */\n/* JSON                                                                */\n/* ------------------------------------------------------------------ */\n"]}