@ybotok/loam 0.0.0 → 0.1.0-beta.1

package/dist/commands/status.js

@@ -0,0 +1,270 @@
+import { loadConfig } from "../core/config.js";
+import { FleetContext } from "../core/fleet-context.js";
+import { emitJson, fail, reportNoConfig } from "../core/json.js";
+import { findingJson } from "../core/report.js";
+import { DocsRepoUnavailableError, featureCandidates, missingFeatureMessage, resolveFeature, } from "../core/repo.js";
+import { featureStatus, fleetStatus, } from "../core/status.js";
+import { docsRepoReady, reportDocsRepoError } from "./validate.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 config = await loadConfig();
+        if (!config) {
+            reportNoConfig(json);
+            return;
+        }
+        const { docsDir } = config;
+        // A docsDir that is not a docs repo is refused, never rendered as a repo
+        // with nothing in it — the doctrine validate.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) {
+                const report = await fleetStatus(docsDir, { service: opts.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.
+            //
+            // A filesystem failure is recognised by its errno, NOT by carrying a
+            // `path`. Node reports EISDIR from `read()` with no path at all — the
+            // directory opened, the read failed — so the whole point of this branch
+            // was defeated by the commonest way a malformed docs repo breaks: one
+            // directory where a file belongs killed BOTH forms of status with a bare
+            // `internal: EISDIR`, naming neither the file nor the feature. Anything
+            // without an errno is a real bug and still escapes.
+            const e = err;
+            if (e.path === undefined && typeof e.errno !== "number")
+                throw err;
+            const why = err instanceof Error ? err.message : String(err);
+            fail(json, "repository-unavailable", e.path !== undefined
+                ? `${e.path} could not be read, so the status of ${scope} would be missing an artifact. ${why}`
+                : // Naming the target's own directory here would be a guess, and a
+                    // guess that is wrong precisely when it matters: one malformed
+                    // feature makes every OTHER feature's status fail too, and each
+                    // would have accused its own files. Say what is known instead.
+                    `A file under ${docsDir} could not be read, so the status of ${scope} would be missing an artifact. ${why}. ` +
+                        `The failure named no path — that is how Node reports a directory sitting where a file belongs.`);
+        }
+        // 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                                                                */
+/* ------------------------------------------------------------------ */
+/**
+ * `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.
+ */
+function featureJson(r) {
+    return {
+        interrupted: r.interrupted,
+        feature: r.feature,
+        service: r.service,
+        artifacts: r.artifacts,
+        checks: { ...r.checks, issues: r.checks.issues.map(findingJson) },
+        verification: r.verification,
+        next: r.next,
+    };
+}
+function fleetJson(r) {
+    return {
+        interrupted: r.interrupted,
+        service: r.service,
+        services: r.services,
+        features: r.features,
+        order: r.order,
+        next: r.next,
+    };
+}
+/* ------------------------------------------------------------------ */
+/* Text                                                                */
+/* ------------------------------------------------------------------ */
+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}`);
+    }
+}
+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(`    ${issue.severity === "error" ? "✗" : "⚠"} ${issue.code}: ${issue.message}`);
+        }
+    }
+    printNext(r.next);
+}
+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(`  services      ${s.undocumented} undocumented · ${s.draft} draft · ${s.vouched} vouched`);
+    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=status.js.map

package/dist/commands/status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.js","sourceRoot":"","sources":["../../src/commands/status.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,qBAAqB,EACrB,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,aAAa,EACb,WAAW,GAOZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAOnE,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,CAAC,MAAM,EAAE,CAAC;YACZ,cAAc,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAC3B,yEAAyE;QACzE,uEAAuE;QACvE,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,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC9E,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,EAAE;YACF,qEAAqE;YACrE,sEAAsE;YACtE,wEAAwE;YACxE,sEAAsE;YACtE,yEAAyE;YACzE,wEAAwE;YACxE,oDAAoD;YACpD,MAAM,CAAC,GAAG,GAA4B,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAAE,MAAM,GAAG,CAAC;YACnE,MAAM,GAAG,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7D,IAAI,CACF,IAAI,EACJ,wBAAwB,EACxB,CAAC,CAAC,IAAI,KAAK,SAAS;gBAClB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,wCAAwC,KAAK,kCAAkC,GAAG,EAAE;gBAC/F,CAAC,CAAC,iEAAiE;oBACjE,+DAA+D;oBAC/D,gEAAgE;oBAChE,+DAA+D;oBAC/D,gBAAgB,OAAO,wCAAwC,KAAK,kCAAkC,GAAG,IAAI;wBAC7G,gGAAgG,CACrG,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;AAExE;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAAsB;IACzC,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,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;QACjE,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,IAAI,EAAE,CAAC,CAAC,IAAI;KACb,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,CAAoB;IACrC,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;KACb,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,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,SAAS,YAAY,CAAC,CAAsB,EAAE,SAAmB;IAC/D,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,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IAED,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,UAAU,CAAC,CAAoB;IACtC,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,CACT,mBAAmB,CAAC,CAAC,YAAY,mBAAmB,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,OAAO,UAAU,CAC3F,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 * `loam status` — the read-only projection. Nothing here computes anything: the\n * derivation lives in core/status.ts (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 */\nimport type { Command } from \"commander\";\nimport { loadConfig } from \"../core/config.js\";\nimport { FleetContext } from \"../core/fleet-context.js\";\nimport { emitJson, fail, reportNoConfig } from \"../core/json.js\";\nimport { findingJson } from \"../core/report.js\";\nimport {\n  DocsRepoUnavailableError,\n  featureCandidates,\n  missingFeatureMessage,\n  resolveFeature,\n} from \"../core/repo.js\";\nimport {\n  featureStatus,\n  fleetStatus,\n  type ArtifactState,\n  type FeatureStatusReport,\n  type FleetStatusReport,\n  type InterruptedCommit,\n  type NextStep,\n  type VerificationState,\n} from \"../core/status.js\";\nimport { docsRepoReady, reportDocsRepoError } from \"./validate.js\";\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 loadConfig();\n      if (!config) {\n        reportNoConfig(json);\n        return;\n      }\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 validate.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          const report = await fleetStatus(docsDir, { service: opts.service, context });\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        //\n        // A filesystem failure is recognised by its errno, NOT by carrying a\n        // `path`. Node reports EISDIR from `read()` with no path at all — the\n        // directory opened, the read failed — so the whole point of this branch\n        // was defeated by the commonest way a malformed docs repo breaks: one\n        // directory where a file belongs killed BOTH forms of status with a bare\n        // `internal: EISDIR`, naming neither the file nor the feature. Anything\n        // without an errno is a real bug and still escapes.\n        const e = err as NodeJS.ErrnoException;\n        if (e.path === undefined && typeof e.errno !== \"number\") throw err;\n        const why = err instanceof Error ? err.message : String(err);\n        fail(\n          json,\n          \"repository-unavailable\",\n          e.path !== undefined\n            ? `${e.path} could not be read, so the status of ${scope} would be missing an artifact. ${why}`\n            : // Naming the target's own directory here would be a guess, and a\n              // guess that is wrong precisely when it matters: one malformed\n              // feature makes every OTHER feature's status fail too, and each\n              // would have accused its own files. Say what is known instead.\n              `A file under ${docsDir} could not be read, so the status of ${scope} would be missing an artifact. ${why}. ` +\n              `The failure named no path — that is how Node reports a directory sitting where a file belongs.`,\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\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 */\nfunction 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: { ...r.checks, issues: r.checks.issues.map(findingJson) },\n    verification: r.verification,\n    next: r.next,\n  };\n}\n\nfunction 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,\n  };\n}\n\n/* ------------------------------------------------------------------ */\n/* Text                                                                */\n/* ------------------------------------------------------------------ */\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\nfunction 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(`    ${issue.severity === \"error\" ? \"✗\" : \"⚠\"} ${issue.code}: ${issue.message}`);\n    }\n  }\n\n  printNext(r.next);\n}\n\nfunction 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    `  services      ${s.undocumented} undocumented · ${s.draft} draft · ${s.vouched} vouched`,\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/unarchive.js

@@ -0,0 +1,310 @@
+import { existsSync, lstatSync } from "node:fs";
+import { readdir, readFile, rename, rmdir } from "node:fs/promises";
+import { dirname, join, relative } from "node:path";
+import { loadConfig } from "../core/config.js";
+import { emitJson, fail, repoPath, reportNoConfig } from "../core/json.js";
+import { resolveInside, resolvePortableFileInside } from "../core/path-safety.js";
+import { featuresDir as featuresRoot, resolveFeature } from "../core/repo.js";
+import { sayRecovery } from "./archive.js";
+import { acquireDocsLock, clearCommitIntent, DocsBusyError, InterruptedCommitError, message, planWrite, quietRm, recoverInterruptedCommit, rollbackError, rollbackStaged, sha256, stageWrites, swapStaged, writeCommitIntent, SNAPSHOT_DIR, SNAPSHOT_MANIFEST, SNAPSHOT_VERSION, } from "../core/staging.js";
+/**
+ * A commit-phase failure with its stable `--json` code attached — the mirror of
+ * archive's discipline. `restore-failed` answers "can I trust the repo?" with
+ * yes: nothing was restored, or everything was rolled back, and re-running can
+ * work. `rollback-incomplete` is the code that demands a human: the restore
+ * failed AND some files could not be put back — the message lists them.
+ * Anything ELSE that escapes runUnarchive never touched the commit phase, so
+ * the action handler reports it as `restore-failed`.
+ */
+class RestoreFailure extends Error {
+    code;
+    constructor(code, msg) {
+        super(msg);
+        this.code = code;
+    }
+}
+export function registerUnarchive(program) {
+    program
+        .command("unarchive")
+        .argument("<featureId>", "feature id, e.g. FEAT-101")
+        .description("Take back a `loam archive`: restore the living docs and re-open the feature")
+        .option("--json", "emit the machine contract instead of the human view")
+        .option("--force", "restore even if the living docs changed after the archive (discards those changes)")
+        .action(async (featureId, opts) => {
+        const json = opts.json === true;
+        try {
+            await runUnarchive(featureId, json, opts.force === true);
+        }
+        catch (err) {
+            const code = err instanceof RestoreFailure
+                ? err.code
+                : err instanceof InterruptedCommitError
+                    ? "commit-interrupted"
+                    : "restore-failed";
+            fail(json, code, `unarchive ${featureId} failed: ${message(err)}`);
+        }
+    });
+}
+async function runUnarchive(featureId, json, force) {
+    const config = await loadConfig();
+    if (!config) {
+        reportNoConfig(json);
+        return;
+    }
+    // The same lock archive takes, for the same reason: unarchive rewrites the
+    // living spec, contract and landscape from a snapshot, and an archive landing
+    // inside that window would have its merge silently reverted by our restore —
+    // or ours by its merge. One writer per docs repo, whichever direction it
+    // writes in.
+    let release;
+    try {
+        release = await acquireDocsLock(config.docsDir);
+    }
+    catch (err) {
+        if (err instanceof DocsBusyError)
+            throw new RestoreFailure("docs-busy", err.message);
+        throw err;
+    }
+    try {
+        await unarchiveLocked(config.docsDir, featureId, json, force);
+    }
+    finally {
+        await release();
+    }
+}
+async function unarchiveLocked(docsDir, featureId, json, force) {
+    // Same first move as archive, under the same lock: a commit killed between two
+    // renames is exactly the state an undo must not be computed on top of.
+    const recovered = await recoverInterruptedCommit(docsDir);
+    if (recovered !== null && !json)
+        sayRecovery(recovered);
+    const featuresDir = featuresRoot(docsDir);
+    const archiveDir = join(featuresDir, "archive");
+    const feature = await resolveFeature(docsDir, featureId, "only");
+    if (!feature) {
+        fail(json, "unknown-target", `No archived feature '${featureId}' under ${archiveDir}.`);
+        return;
+    }
+    const dest = join(featuresDir, feature.dirName);
+    // Refuse to clobber. A feature that is active again carries its own delta, and
+    // dropping the archived copy on top of it would bury work in flight. Resolved
+    // by the feature's OWN id, not the raw argument — the collision is with
+    // whatever answers to this feature's name, however the caller spelled it.
+    const active = await resolveFeature(docsDir, feature.id, "exclude");
+    if (active !== null || existsSync(dest)) {
+        const name = active?.dirName ?? feature.dirName;
+        fail(json, "feature-active", `unarchive ${feature.id} — BLOCKED: features/${name} already exists. Remove or rename it, then re-run.`);
+        return;
+    }
+    const manifest = await readManifest(feature.dir, docsDir, feature.id, feature.dirName);
+    if (manifest === null) {
+        fail(json, "snapshot-missing", `unarchive ${feature.id} — BLOCKED: features/archive/${feature.dirName}/${SNAPSHOT_DIR}/ is missing or was written by a different loam. ` +
+            `It was archived before loam recorded what it overwrote, and the previous text of a MODIFIED requirement exists nowhere else — ` +
+            `restore the living docs from version control instead.`);
+        return;
+    }
+    // What archive wrote is recorded, so a file edited since can be told from one
+    // this archive is still the top of. Restoring over a later change is silent data
+    // loss, so it takes --force to say it was meant.
+    const writes = [];
+    const drifted = [];
+    // Pre-images whose bytes are not the bytes archive wrote down. Collected
+    // whole, then refused together: "which files" is what makes the message
+    // actionable, and no destination is staged until every one is accounted for.
+    const corrupt = [];
+    for (const entry of manifest.files) {
+        const current = existsSync(entry.target) ? await readFile(entry.target) : null;
+        const now = current === null ? null : sha256(current);
+        // Drift is "restoring this would destroy something", so a file already
+        // holding its OWN pre-image is not drifted — putting it back writes the
+        // same bytes. It is also the state an interrupted restore leaves behind
+        // (the repair finishes the swaps it can, then this command re-runs): the
+        // narrower test used to call every repaired file a later change and demand
+        // `--force` to discard this command's own half-finished undo.
+        const restored = entry.existed ? now === entry.before : now === null;
+        if (now !== entry.after && !restored)
+            drifted.push(entry.path);
+        let before = null;
+        if (entry.snapshot !== null) {
+            before = await readFile(entry.snapshot);
+            // The one check that was missing entirely. `after` describes what archive
+            // WROTE and is checked above; nothing described the bytes it would
+            // RESTORE, so a pre-image edited inside the archived feature — a bad
+            // merge, a rebase, an editor — was written back verbatim and this command
+            // said "the living docs are back to what they said before the archive"
+            // over text nobody ever wrote.
+            if (sha256(before) !== entry.before)
+                corrupt.push(entry.path);
+        }
+        // A restore whose destination is GONE is a create, and takes the same
+        // no-clobber swap an archive's creates take: between the manifest read and
+        // the swap, another writer may have put that path back, and a rename would
+        // bury it. The same helper both commands use, so neither can decide
+        // differently about the same file.
+        writes.push(planWrite(entry.target, before));
+    }
+    if (corrupt.length > 0) {
+        fail(json, "snapshot-corrupt", `unarchive ${feature.id} — BLOCKED: ${corrupt.length} snapshot pre-image(s) no longer match the digest archive ` +
+            `recorded for them, so restoring them would write text nobody authored: ${corrupt.join(", ")}. ` +
+            `--force does not override this — it discards LATER changes to the living docs, and the damage here is to the ` +
+            `undo itself. Restore the living docs from version control instead.`);
+        return;
+    }
+    if (drifted.length > 0 && !force) {
+        fail(json, "snapshot-stale", `unarchive ${feature.id} — BLOCKED: ${drifted.length} file(s) changed since the archive, so this is no longer an undo: ` +
+            `${drifted.join(", ")}. Re-run with --force to restore anyway, discarding those changes.`);
+        return;
+    }
+    if (!json) {
+        console.log(`unarchive ${feature.id}\n`);
+        if (drifted.length > 0) {
+            console.log(`⚠ discarding later changes to ${drifted.length} file(s) (--force):`);
+            for (const p of drifted)
+                console.log(`  ⚠ ${p}`);
+            console.log("");
+        }
+    }
+    const staged = await stageWrites(writes);
+    try {
+        // The same journal archive writes, in the other direction: a restore killed
+        // between two renames leaves the docs half-back, and the merged text it was
+        // replacing is recorded nowhere — so a repair FINISHES this restore rather
+        // than undoing it, from the same digest-checked pre-images.
+        await writeCommitIntent(docsDir, { command: "unarchive", restore: "after", feature: feature.id, moveFrom: feature.dir, moveTo: dest }, staged);
+        await swapStaged(staged);
+        await rename(feature.dir, dest);
+        await clearCommitIntent(docsDir);
+    }
+    catch (err) {
+        // The code is a caller's answer to "can I trust the repo?": restore-failed
+        // means yes (rolled back), rollback-incomplete means look at it by hand —
+        // rollbackError's message lists the files that need one.
+        const failures = await rollbackStaged(staged);
+        await clearCommitIntent(docsDir);
+        const wrapped = rollbackError(err, failures);
+        throw new RestoreFailure(failures.length > 0 ? "rollback-incomplete" : "restore-failed", wrapped.message);
+    }
+    // The snapshot describes an archive that no longer exists; the empty directories
+    // are what the merge left behind. Both are tidying — neither can fail the undo.
+    await quietRm(join(dest, SNAPSHOT_DIR));
+    for (const w of writes)
+        if (w.content === null)
+            await pruneEmptyDirs(dirname(w.path), docsDir);
+    await pruneEmptyDirs(archiveDir, docsDir);
+    const restored = writes.filter((w) => w.content !== null).map((w) => repoPath(docsDir, w.path));
+    const removed = writes.filter((w) => w.content === null).map((w) => repoPath(docsDir, w.path));
+    if (json) {
+        emitJson({
+            feature: feature.id,
+            dirName: feature.dirName,
+            path: repoPath(docsDir, dest),
+            restored,
+            removed,
+            discarded: drifted,
+            ...(recovered === null ? {} : { recovered }),
+        });
+        return;
+    }
+    for (const p of restored)
+        console.log(`  restored: ${p}`);
+    for (const p of removed)
+        console.log(`  removed:  ${p}`);
+    console.log(`\n  reopened: features/archive/${feature.dirName} → features/${feature.dirName}`);
+    console.log("  the living docs are back to what they said before the archive.");
+}
+async function readManifest(featureDir, docsDir, featureId, dirName) {
+    try {
+        const path = resolveInside(featureDir, join(SNAPSHOT_DIR, SNAPSHOT_MANIFEST), "snapshot manifest path");
+        if (!existsSync(path))
+            return null;
+        const parsed = JSON.parse(await readFile(path, "utf8"));
+        if (!isRecord(parsed))
+            return null;
+        if (parsed.version !== SNAPSHOT_VERSION)
+            return null;
+        if (parsed.feature !== featureId || parsed.dirName !== dirName)
+            return null;
+        if (typeof parsed.archivedAt !== "string" || !isCanonicalIsoDate(parsed.archivedAt))
+            return null;
+        if (!Array.isArray(parsed.files))
+            return null;
+        const seen = new Set();
+        const files = [];
+        for (const raw of parsed.files) {
+            if (!isRecord(raw))
+                return null;
+            if (typeof raw.path !== "string" || typeof raw.existed !== "boolean")
+                return null;
+            if (typeof raw.after !== "string" || !/^[0-9a-f]{64}$/.test(raw.after))
+                return null;
+            // A manifest that claims a pre-image must say what it should hash to, and
+            // one that claims none must not. Either way it is a shape question, so it
+            // is answered here with the rest of them; whether the bytes MATCH is a
+            // different answer with its own code (`snapshot-corrupt`).
+            if (raw.existed ? typeof raw.before !== "string" || !/^[0-9a-f]{64}$/.test(raw.before) : raw.before !== null) {
+                return null;
+            }
+            const before = raw.existed ? raw.before : null;
+            if (seen.has(raw.path))
+                return null;
+            seen.add(raw.path);
+            const target = resolvePortableFileInside(docsDir, raw.path, `snapshot path '${raw.path}'`);
+            let snapshot = null;
+            const snapshotRel = `${SNAPSHOT_DIR}/files/${raw.path}`;
+            if (raw.existed) {
+                // Resolve from the feature directory, which always exists. The `files/`
+                // directory legitimately does not exist when every archive write was a
+                // creation; anchoring here permits that case while still inspecting an
+                // existing `files` component for symlink escape.
+                snapshot = resolvePortableFileInside(featureDir, snapshotRel, `snapshot pre-image '${raw.path}'`);
+                // Archive writes plain files. A missing pre-image or a symlink (even an
+                // internally-contained one) is not the byte snapshot this manifest
+                // claims, so refuse before any destination is staged.
+                if (!existsSync(snapshot) || !lstatSync(snapshot).isFile())
+                    return null;
+            }
+            else {
+                const unexpected = resolvePortableFileInside(featureDir, snapshotRel, `snapshot pre-image '${raw.path}'`);
+                if (existsSync(unexpected))
+                    return null;
+            }
+            files.push({ path: raw.path, existed: raw.existed, after: raw.after, before, target, snapshot });
+        }
+        return {
+            version: SNAPSHOT_VERSION,
+            feature: featureId,
+            dirName,
+            archivedAt: parsed.archivedAt,
+            files,
+        };
+    }
+    catch {
+        return null;
+    }
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function isCanonicalIsoDate(value) {
+    const millis = Date.parse(value);
+    return Number.isFinite(millis) && new Date(millis).toISOString() === value;
+}
+/** Remove `dir` and each empty ancestor, stopping short of `stopAt`. Best effort. */
+async function pruneEmptyDirs(dir, stopAt) {
+    let cur = dir;
+    for (;;) {
+        const rel = relative(stopAt, cur);
+        if (rel === "" || rel.startsWith(".."))
+            return;
+        try {
+            if ((await readdir(cur)).length > 0)
+                return;
+            await rmdir(cur);
+        }
+        catch {
+            return;
+        }
+        cur = dirname(cur);
+    }
+}
+//# sourceMappingURL=unarchive.js.map