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

package/dist/commands/status/print.js

@@ -4,8 +4,19 @@
  * 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.
+ *
+ * Which is also why no bare stage word leads a line here any more. `stage` is a
+ * value an agent branches on, and `ready` printed alone over a feature with
+ * nothing built read to a person as "ready to ship". The sentence comes from
+ * `stageWords` (core/status/feature/words.ts) — the same one the `next[]`
+ * statements quote — with the counts that make it true, and the machine value
+ * rides in its own row for whoever needs to map the two.
  */
+import { answeredSplit } from "../../core/verify/record.js";
 import { SEVERITY_MARK } from "../../core/vocabulary/report.js";
+import { unshippable } from "../../core/status/feature/next.js";
+import { featureLabel, fleetStageWords, stageWords } from "../../core/status/feature/words.js";
+import { printFleetNext, printNext } from "./fleet-next.js";
 function pad(values) {
     return Math.max(0, ...values.map((v) => v.length));
 }
@@ -27,36 +38,58 @@ function printInterrupted(i) {
 function artifactLabel(a) {
     return a.service === null ? a.id : `${a.id} (${a.service})`;
 }
+/**
+ * An artifact row's status, in words. The machine value is `done` for a file
+ * that is written AND for one the feature does not owe, and `ready` for a
+ * verification record whose claims are still open — three readings a person
+ * cannot tell apart from one word, and the reason a table of `done` rows read
+ * as finished work over a feature nobody had built.
+ */
+function artifactWord(a, v) {
+    if (a.id === "verification") {
+        if (a.status === "missing")
+            return "none yet";
+        // An attested record is complete and rests on an agent's word; "open"
+        // over it contradicted the header that says every claim is answered.
+        if (a.status === "ready")
+            return v.verdict === "attested" ? "attested" : "open";
+        if (a.status === "done")
+            return "verified";
+        if (a.status === "draft")
+            return v.state === "stale" ? "stale" : "unreadable";
+        return a.status;
+    }
+    if (a.status === "done")
+        return a.exists ? "written" : "not owed";
+    if (a.status === "draft")
+        return "has errors";
+    return a.status;
+}
 /**
  * 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.
+ * Who answered the confirmed ones rides right after the count for the same
+ * reason one step further: `verified` turns on the scenario claims alone, and
+ * `verified 19/19 confirmed` read as nineteen runs over a record where six
+ * answers were an agent's word about a permission or an edge.
+ *
+ * With no record, the line says how many claims there ARE to answer, when the
+ * report knows (`checklist`): "none" alone read as "nothing to do".
  */
-function verificationLine(v) {
+function verificationLine(v, asked) {
     if (v.state === "absent")
-        return "none";
+        return asked === null ? "none — no record" : `none yet — ${asked} claim(s) to answer`;
     if (v.state === "unreadable")
         return "unreadable";
     return (`${v.state} · ${v.verdict}  ${v.confirmed}/${v.claims} confirmed` +
+        (v.confirmed > 0 ? ` (${answeredSplit(v.answered)})` : "") +
         (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.
  *
@@ -86,7 +119,23 @@ 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)" : ""}`);
+    // `unshippable`'s count, not `gating`'s: archive's pre-plan refusals carry no
+    // `gates`, so "N would stop archive" read 0 over a feature archive refuses.
+    const blocking = r.checks.issues.filter(unshippable).length;
+    const words = stageWords({
+        stage: f.stage,
+        archived: f.archived,
+        verification: r.verification,
+        asked: r.checklist?.claims ?? null,
+        missing: r.artifacts.filter((a) => a.status === "missing" && a.id !== "verification").map(artifactLabel),
+        narrowed: r.service !== null,
+        services: f.services.length,
+        blockedBy: f.blockedBy,
+        interrupted: r.interrupted !== null,
+        blocking,
+    });
+    console.log(`loam status ${featureLabel(f)}: ${words}`);
+    console.log(`  stage         ${f.stage}  (\`loam explain ${f.stage}\` says what it promises and what it does not)`);
     console.log(`  feature       ${f.dirName}  ${f.path}`);
     console.log(`  services      ${f.services.length > 0 ? f.services.join(", ") : "(none)"}`);
     if (r.service !== null)
@@ -94,27 +143,28 @@ export function printFeature(r, ambiguous) {
     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)}`);
+        ? `${r.checks.errors} error(s) · ${r.checks.warnings} warning(s) · ${blocking} stop it (validate --feature or archive refuses on each)`
+        : "not run — an archived feature is history, already merged"}`);
+    console.log(`  verification  ${verificationLine(r.verification, r.checklist?.claims ?? null)}`);
     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));
+    const statuses = r.artifacts.map((a) => artifactWord(a, r.verification));
+    const statusWidth = pad(statuses);
     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
+        // A row for a file that is not there is the one a reader misreads: `not
+        // owed` means the feature owes no such artifact, not that one was written.
+        // The JSON contract says it with `exists`; the human view says 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)"
+                ? "  (not written)"
                 : "";
-        console.log(`    ${a.status.padEnd(statusWidth)}  ${labels[i].padEnd(labelWidth)}  ${a.path}${note}`.trimEnd());
+        console.log(`    ${statuses[i].padEnd(statusWidth)}  ${labels[i].padEnd(labelWidth)}  ${a.path}${note}`.trimEnd());
     }
     if (r.checks.issues.length > 0) {
         console.log("\n  findings");
@@ -130,28 +180,30 @@ export function printFleet(r) {
         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
+    // The sampled and stale counts 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)` : ""}`);
+    const notes = [
+        ...(s.sampledVouched > 0 ? [`${s.sampledVouched} sampled`] : []),
+        ...(s.contentStale > 0 ? [`${s.contentStale} stale`] : []),
+    ];
+    console.log(`  services      ${s.undocumented} undocumented · ${s.draft} draft · ${s.vouched} vouched${notes.length > 0 ? ` (${notes.join(", ")})` : ""}`);
     if (r.service !== null)
         console.log(`  narrowed to   ${r.service}`);
     if (r.order.length > 1)
         console.log(`  order         ${r.order.join(" → ")}`);
+    // Two lines a feature: the id and what it is CALLED, then where it stands in
+    // words. The fleet form grades nothing (no coherence run, no checklist), so
+    // its sentence can only count what a record already says — and says so.
     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());
+            console.log(`    ${f.id.padEnd(ids)}  ${f.title ?? ""}`.trimEnd());
+            const where = fleetStageWords(f, r.interrupted !== null);
+            console.log(`    ${" ".repeat(ids)}  ${where} · ${f.services.length > 0 ? f.services.join(", ") : "no service yet"}`);
         }
     }
-    printNext(r.next);
+    printFleetNext(r);
 }
 //# sourceMappingURL=print.js.map

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

@@ -1 +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"]}
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../../../src/commands/status/print.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAQ/F,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5D,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,YAAY,CAAC,CAAgB,EAAE,CAAoB;IAC1D,IAAI,CAAC,CAAC,EAAE,KAAK,cAAc,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,UAAU,CAAC;QAC9C,sEAAsE;QACtE,qEAAqE;QACrE,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;QAChF,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,UAAU,CAAC;QAC3C,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC;QAC9E,OAAO,CAAC,CAAC,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IAClE,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;QAAE,OAAO,YAAY,CAAC;IAC9C,OAAO,CAAC,CAAC,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,gBAAgB,CAAC,CAAoB,EAAE,KAAoB;IAClE,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,cAAc,KAAK,qBAAqB,CAAC;IAChH,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,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,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;;;;;;;;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,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;IAC5D,MAAM,KAAK,GAAG,UAAU,CAAC;QACvB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,IAAI,IAAI;QAClC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;QACxG,QAAQ,EAAE,CAAC,CAAC,OAAO,KAAK,IAAI;QAC5B,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM;QAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,WAAW,EAAE,CAAC,CAAC,WAAW,KAAK,IAAI;QACnC,QAAQ;KACT,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,CAAC,eAAe,YAAY,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,KAAK,qBAAqB,CAAC,CAAC,KAAK,gDAAgD,CAAC,CAAC;IACpH,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,QAAQ,0DAA0D;QACvI,CAAC,CAAC,0DACN,EAAE,CACH,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,mBAAmB,gBAAgB,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAChG,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,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,wEAAwE;QACxE,2EAA2E;QAC3E,qEAAqE;QACrE,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,iBAAiB;gBACnB,CAAC,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,GAAG,CACT,OAAO,QAAQ,CAAC,CAAC,CAAE,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,CACxG,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,2EAA2E;IAC3E,6EAA6E;IAC7E,uBAAuB;IACvB,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,cAAc,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3D,CAAC;IACF,OAAO,CAAC,GAAG,CACT,mBAAmB,CAAC,CAAC,YAAY,mBAAmB,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,OAAO,WAAW,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9I,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,6EAA6E;IAC7E,4EAA4E;IAC5E,wEAAwE;IACxE,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,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YACnE,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;YACzD,OAAO,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACxH,CAAC;IACH,CAAC;IAED,cAAc,CAAC,CAAC,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 *\n * Which is also why no bare stage word leads a line here any more. `stage` is a\n * value an agent branches on, and `ready` printed alone over a feature with\n * nothing built read to a person as \"ready to ship\". The sentence comes from\n * `stageWords` (core/status/feature/words.ts) — the same one the `next[]`\n * statements quote — with the counts that make it true, and the machine value\n * rides in its own row for whoever needs to map the two.\n */\nimport { answeredSplit } from \"../../core/verify/record.js\";\nimport { SEVERITY_MARK } from \"../../core/vocabulary/report.js\";\nimport { unshippable } from \"../../core/status/feature/next.js\";\nimport { featureLabel, fleetStageWords, stageWords } from \"../../core/status/feature/words.js\";\nimport type {\n  ArtifactState,\n  FeatureStatusReport,\n  FleetStatusReport,\n  InterruptedCommit,\n  VerificationState,\n} from \"../../core/status/report.js\";\nimport { printFleetNext, printNext } from \"./fleet-next.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 * An artifact row's status, in words. The machine value is `done` for a file\n * that is written AND for one the feature does not owe, and `ready` for a\n * verification record whose claims are still open — three readings a person\n * cannot tell apart from one word, and the reason a table of `done` rows read\n * as finished work over a feature nobody had built.\n */\nfunction artifactWord(a: ArtifactState, v: VerificationState): string {\n  if (a.id === \"verification\") {\n    if (a.status === \"missing\") return \"none yet\";\n    // An attested record is complete and rests on an agent's word; \"open\"\n    // over it contradicted the header that says every claim is answered.\n    if (a.status === \"ready\") return v.verdict === \"attested\" ? \"attested\" : \"open\";\n    if (a.status === \"done\") return \"verified\";\n    if (a.status === \"draft\") return v.state === \"stale\" ? \"stale\" : \"unreadable\";\n    return a.status;\n  }\n  if (a.status === \"done\") return a.exists ? \"written\" : \"not owed\";\n  if (a.status === \"draft\") return \"has errors\";\n  return a.status;\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 * Who answered the confirmed ones rides right after the count for the same\n * reason one step further: `verified` turns on the scenario claims alone, and\n * `verified 19/19 confirmed` read as nineteen runs over a record where six\n * answers were an agent's word about a permission or an edge.\n *\n * With no record, the line says how many claims there ARE to answer, when the\n * report knows (`checklist`): \"none\" alone read as \"nothing to do\".\n */\nfunction verificationLine(v: VerificationState, asked: number | null): string {\n  if (v.state === \"absent\") return asked === null ? \"none — no record\" : `none yet — ${asked} claim(s) to answer`;\n  if (v.state === \"unreadable\") return \"unreadable\";\n  return (\n    `${v.state} · ${v.verdict}  ${v.confirmed}/${v.claims} confirmed` +\n    (v.confirmed > 0 ? ` (${answeredSplit(v.answered)})` : \"\") +\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 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  // `unshippable`'s count, not `gating`'s: archive's pre-plan refusals carry no\n  // `gates`, so \"N would stop archive\" read 0 over a feature archive refuses.\n  const blocking = r.checks.issues.filter(unshippable).length;\n  const words = stageWords({\n    stage: f.stage,\n    archived: f.archived,\n    verification: r.verification,\n    asked: r.checklist?.claims ?? null,\n    missing: r.artifacts.filter((a) => a.status === \"missing\" && a.id !== \"verification\").map(artifactLabel),\n    narrowed: r.service !== null,\n    services: f.services.length,\n    blockedBy: f.blockedBy,\n    interrupted: r.interrupted !== null,\n    blocking,\n  });\n  console.log(`loam status ${featureLabel(f)}: ${words}`);\n  console.log(`  stage         ${f.stage}  (\\`loam explain ${f.stage}\\` says what it promises and what it does not)`);\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) · ${blocking} stop it (validate --feature or archive refuses on each)`\n        : \"not run — an archived feature is history, already merged\"\n    }`,\n  );\n  console.log(`  verification  ${verificationLine(r.verification, r.checklist?.claims ?? null)}`);\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 statuses = r.artifacts.map((a) => artifactWord(a, r.verification));\n  const statusWidth = pad(statuses);\n  for (const [i, a] of r.artifacts.entries()) {\n    // A row for a file that is not there is the one a reader misreads: `not\n    // owed` means the feature owes no such artifact, not that one was written.\n    // The JSON contract says it with `exists`; the human view says 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)\"\n          : \"\";\n    console.log(\n      `    ${statuses[i]!.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  // The sampled and stale counts inside the vouched one, the scorecard's own\n  // layout: a reader who stops at the first number must not have been told the\n  // stronger of the two.\n  const notes = [\n    ...(s.sampledVouched > 0 ? [`${s.sampledVouched} sampled`] : []),\n    ...(s.contentStale > 0 ? [`${s.contentStale} stale`] : []),\n  ];\n  console.log(\n    `  services      ${s.undocumented} undocumented · ${s.draft} draft · ${s.vouched} vouched${notes.length > 0 ? ` (${notes.join(\", \")})` : \"\"}`,\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  // Two lines a feature: the id and what it is CALLED, then where it stands in\n  // words. The fleet form grades nothing (no coherence run, no checklist), so\n  // its sentence can only count what a record already says — and says so.\n  if (r.features.length > 0) {\n    console.log(\"\\n  features\");\n    const ids = pad(r.features.map((f) => f.id));\n    for (const f of r.features) {\n      console.log(`    ${f.id.padEnd(ids)}  ${f.title ?? \"\"}`.trimEnd());\n      const where = fleetStageWords(f, r.interrupted !== null);\n      console.log(`    ${\" \".repeat(ids)}  ${where} · ${f.services.length > 0 ? f.services.join(\", \") : \"no service yet\"}`);\n    }\n  }\n\n  printFleetNext(r);\n}\n"]}

package/dist/commands/status/status.js

@@ -1,6 +1,5 @@
-import { loadConfig } from "../../core/envelope/config.js";
 import { FleetContext } from "../../core/fleet-context.js";
-import { emitJson, fail, reportNoConfig } from "../../core/envelope/json.js";
+import { configOrRefuse, emitJson, fail } 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";
@@ -17,12 +16,9 @@ export function registerStatus(program) {
         .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);
+        const config = await configOrRefuse(json);
+        if (config === null)
             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

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

@@ -1 +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"]}
+{"version":3,"file":"status.js","sourceRoot":"","sources":["../../../src/commands/status/status.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,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,cAAc,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO;QAC5B,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 { FleetContext } from \"../../core/fleet-context.js\";\nimport { configOrRefuse, emitJson, fail } 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 config = await configOrRefuse(json);\n      if (config === null) return;\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"]}

package/dist/commands/steps/steps.js

@@ -1,11 +1,12 @@
 import { existsSync } from "node:fs";
 import { readFile } from "node:fs/promises";
 import { relative } from "node:path";
-import { loadConfig } from "../../core/envelope/config.js";
 import { decodeDocument, NotUtf8DocumentError } from "../../core/kernel/document-bytes.js";
-import { emitJson, fail, NO_SERVICE_MESSAGE, reportNoConfig } from "../../core/envelope/json.js";
-import { SPEC_AXES } from "../../core/repo/paths.js";
+import { configOrRefuse, emitJson, fail, NO_SERVICE_MESSAGE } from "../../core/envelope/json.js";
+import { featureSpecPaths, SPEC_AXES, unfiledServicePaths } from "../../core/repo/paths.js";
 import { locateServicePaths, resolveServiceTarget } from "../../core/repo/service-target.js";
+import {} from "../../core/repo/entries.js";
+import { introducingFeatures } from "../../core/projection/introduced.js";
 import { parseRequirements } from "../../core/document/parse.js";
 import { axisLabel } from "../../core/gherkin/emit.js";
 import { coveringPhrases, stepInventory, } from "../../core/gherkin/steps/inventory.js";
@@ -19,12 +20,9 @@ export function registerSteps(program) {
         .option("--json", "emit the machine contract instead of the human view")
         .action(async (opts) => {
         const json = opts.json === true;
-        const loaded = await loadConfig();
-        if (loaded.kind !== "loaded") {
-            reportNoConfig(json, loaded);
+        const config = await configOrRefuse(json);
+        if (config === null)
             return;
-        }
-        const config = loaded.config;
         const named = opts.service ?? config.service;
         if (named === undefined)
             return fail(json, "invalid-option", NO_SERVICE_MESSAGE);
@@ -33,17 +31,37 @@ export function registerSteps(program) {
         // the name pathable. Same resolution `validate --service` performs, so the
         // two commands cannot disagree about which directory a name means.
         const resolved = await resolveServiceTarget(config.docsDir, named, "--service");
-        if (!resolved.ok)
-            return fail(json, "invalid-option", resolved.problem);
-        const service = resolved.id;
-        const paths = await locateServicePaths(config.docsDir, service);
-        if (!existsSync(paths.spec)) {
-            return fail(json, "unknown-target", `No living spec at ${paths.spec}. Run \`loam adopt\` for '${service}' first.`);
+        // A name `services/` does not hold may still be a service an active
+        // feature INTRODUCES — the second enumeration, a readdir of the feature's
+        // own specs/, so it is asked before the grammar refusal too. Its phrases
+        // are the delta's: the implement protocol tells whoever builds a NEW
+        // service to run this before writing a single step definition, and the
+        // answer was "No living spec … run `loam adopt`" for code that does not
+        // exist yet. The bound service (`config.service`) takes the same road.
+        const introducing = resolved.ok && resolved.dir !== undefined ? [] : await introducingFeatures(config.docsDir, named);
+        const introducedId = introducing[0]?.services.find((s) => s === named);
+        let source;
+        if (introducedId !== undefined) {
+            source = introducedSource(config.docsDir, introducedId, introducing);
+        }
+        else {
+            if (!resolved.ok)
+                return fail(json, "invalid-option", resolved.problem);
+            const paths = await locateServicePaths(config.docsDir, resolved.id);
+            if (!existsSync(paths.spec)) {
+                return fail(json, "unknown-target", `No living spec at ${paths.spec}. Run \`loam adopt\` for '${resolved.id}' first.`);
+            }
+            source = {
+                service: resolved.id,
+                files: SPEC_AXES.map((axis) => ({ axis, path: paths[axis.key] })),
+                steps: paths.steps,
+                introducedBy: [],
+            };
         }
+        const { service } = source;
         const axes = [];
         try {
-            for (const axis of SPEC_AXES) {
-                const path = paths[axis.key];
+            for (const { axis, path } of source.files) {
                 // An absent arch.spec.md is not a finding anywhere else and is not one
                 // here: partial adoption is supported, and an empty axis contributes
                 // no phrases rather than an empty section nobody asked for.
@@ -63,7 +81,7 @@ export function registerSteps(program) {
         // recomputation: without it every run says the same thing about a suite
         // whose glue somebody has already written. Absent is the ordinary state
         // and costs one `existsSync` (`core/gherkin/steps/catalogue.ts`).
-        const catalogue = await readStepCatalogue(paths.steps);
+        const catalogue = await readStepCatalogue(source.steps);
         const against = catalogue.present && catalogue.unreadable === undefined
             ? compareToCatalogue(inv, catalogue)
             : null;
@@ -76,12 +94,23 @@ export function registerSteps(program) {
         // exist, and here that would be worse than cosmetic: `steps.yaml` is a
         // service artifact now, so an author who created the file where this told
         // them to would mint a second, empty service in the enumeration.
-        const where = relative(config.docsDir, paths.steps).split(/[\\/]/).join("/");
+        const where = docsRelative(config.docsDir, source.steps);
+        const introducedBy = source.introducedBy.map((f) => f.id);
         if (json) {
             emitJson({
                 command: "steps",
                 docsDir: config.docsDir,
                 service,
+                // Present only for a service a feature introduces, so a living
+                // service's payload stays byte-identical: `living: false` is the
+                // marker, and `specs` names the delta files the phrases came from.
+                ...(introducedBy.length === 0
+                    ? {}
+                    : {
+                        living: false,
+                        introducedBy,
+                        specs: source.files.filter((f) => existsSync(f.path)).map((f) => docsRelative(config.docsDir, f.path)),
+                    }),
                 steps: inv.steps,
                 phrases: inv.phrases.length,
                 covering80: coveringPhrases(inv),
@@ -107,24 +136,66 @@ export function registerSteps(program) {
             });
             return;
         }
-        print(inv, service, opts.duplicates === true);
-        printCatalogue({ catalogue, against, where });
+        const origin = introducedBy.length === 0
+            ? null
+            : {
+                by: introducedBy.join(", "),
+                dirs: source.introducedBy.map((f) => `${docsRelative(config.docsDir, featureSpecPaths(f.dir, service).dir)}/`),
+            };
+        print(inv, { service, origin, duplicatesOnly: opts.duplicates === true });
+        printCatalogue({ catalogue, against, where, introducedBy });
     });
 }
+/**
+ * Every introducing feature's spec pair, not just the first: with two features
+ * each introducing the service, the suite that exists once both merge needs the
+ * glue for both, and this command has no flag to choose one. The catalogue path
+ * is the unfiled spelling — where archive materialises a new service — and is
+ * reported, never written: `printCatalogue` says why nobody should create it
+ * yet.
+ */
+function introducedSource(docsDir, service, introducedBy) {
+    return {
+        service,
+        files: introducedBy.flatMap((f) => {
+            const paths = featureSpecPaths(f.dir, service);
+            return SPEC_AXES.map((axis) => ({ axis, path: paths[axis.key] }));
+        }),
+        steps: unfiledServicePaths(docsDir, service).steps,
+        introducedBy,
+    };
+}
+/** A docs-relative POSIX path, the spelling every path in this command's output uses. */
+function docsRelative(docsDir, path) {
+    return relative(docsDir, path).split(/[\\/]/).join("/");
+}
 /**
  * The human view leads with the two numbers a team plans from — how many steps
  * are written, and how few definitions cover most of them — because the list
  * underneath is long by construction and the headline is what decides whether
  * anybody reads it.
+ *
+ * For an introduced service the source is said straight under the headline:
+ * the same numbers read off a delta are a proposal, and a reader who takes them
+ * for a living spec's would plan glue for scenarios review may still change.
  */
-function print(inv, service, duplicatesOnly) {
+function print(inv, view) {
+    const { service, origin, duplicatesOnly } = view;
+    const from = origin === null
+        ? null
+        : `  read from the feature delta, not a living spec: ${origin.dirs.join(", ")} — ` +
+            `${service} is introduced by ${origin.by} and is not in the living docs until it archives`;
     if (inv.steps === 0) {
-        console.log(`steps ${service} — the living specs hold no scenario steps yet.\n`);
+        console.log(origin === null
+            ? `steps ${service} — the living specs hold no scenario steps yet.\n`
+            : `steps ${service} — the delta introducing it holds no scenario steps yet.\n${from}\n`);
         return;
     }
     const covering = coveringPhrases(inv);
     const share = Math.round((100 * inv.phrases.reduce((a, p, i) => (i < covering ? a + p.count : a), 0)) / inv.steps);
     console.log(`steps ${service} — ${inv.steps} written step(s), ${inv.phrases.length} distinct phrase(s)`);
+    if (from !== null)
+        console.log(from);
     console.log(`  ${covering} phrase(s) cover ${share}% of them — that is the size of the step-definition registry\n`);
     if (!duplicatesOnly) {
         for (const p of inv.phrases) {
@@ -158,7 +229,16 @@ function print(inv, service, duplicatesOnly) {
  * Nothing here is a finding and nothing changes the exit code. `loam steps` is a
  * read, and a phrase written before its glue is the normal order of work.
  */
-function printCatalogue({ catalogue, against, where }) {
+function printCatalogue({ catalogue, against, where, introducedBy }) {
+    // A service still in flight gets the opposite advice. `steps.yaml` is a
+    // service artifact (repo/paths.ts), so writing one where it belongs mints the
+    // service's directory — and the service with it — before its feature merges,
+    // after which nothing reads the feature's specs/ as introducing it any more.
+    if (!catalogue.present && introducedBy.length > 0) {
+        console.log(`\n  no catalogue yet — ${where} lands with the service when ${introducedBy.join(", ")} archives.`);
+        console.log("  Write it after the archive: a steps.yaml there now would put the service in the living docs before its feature merges.");
+        return;
+    }
     if (!catalogue.present) {
         console.log(`\n  no ${where} — nothing records which phrases this suite has decided to define.`);
         console.log("  Write one (a `steps:` list of step texts) and this report becomes a diff instead of a recount.");