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

package/dist/commands/delta/print.js

@@ -0,0 +1,221 @@
+/**
+ * The delta as a person reads it: requirements, contract changes, the
+ * architecture slice for one service, and the business promises the feature
+ * changes.
+ *
+ * Rendering only. Everything printed here comes from `../../core/projection/`
+ * or `../../core/capabilities/`, which is also what `--json` emits.
+ */
+import {} from "../../core/document/spec.js";
+import {} from "../../core/projection/api.js";
+import {} from "../../core/projection/arch-slice.js";
+import {} from "../../core/projection/events.js";
+import {} from "../../core/usecases/touch.js";
+import {} from "../../core/capabilities/delta/summary.js";
+import { droppedSentence } from "../../core/document/apply.js";
+/**
+ * The requirement delta, in full.
+ *
+ * The text view used to print headings and scenario NAMES only, which made it a
+ * table of contents for a file the reader then had to open — while `--json`
+ * carried the requirement body and the Given/When/Then lines verbatim. The two
+ * are the same briefing, so they carry the same content: a person reading this
+ * in a terminal is being asked to implement it, exactly like the agent reading
+ * the payload.
+ */
+export function printRequirements(reqs, label) {
+    if (reqs.length === 0) {
+        console.log(`${label}: (none)\n`);
+        return;
+    }
+    console.log(`${label}:`);
+    for (const r of reqs) {
+        const tag = r.kind === "BASE" ? "" : `[${r.kind}] `;
+        const n = r.scenarios.length;
+        console.log(`  ${tag}${r.name}  (${n} scenario${n === 1 ? "" : "s"})`);
+        // The body VERBATIM, and that is the whole of the requirement's text —
+        // `Operations:`, `Covers:`, `Publishes:`, `Consumes:`, `Requires:`,
+        // `Realizes:`, `Requirement-ID:` and `Based-On:` are body lines, kept in
+        // `text` on purpose so a requirement round-trips through
+        // `serializeRequirements` and rides inside its own digest
+        // (core/document/parse.ts states that rule).
+        //
+        // This used to print `Operations:` and `Covers:` AGAIN from the parsed
+        // fields underneath, so every requirement carrying either line showed it
+        // twice — and the other five directives, which have no such re-print, showed
+        // it once. Nothing caught it: the human view is not asserted anywhere, and
+        // the duplication is only visible on a requirement that has one. Found by
+        // running `loam delta` over loam's own self-model, which is the kind of
+        // pressure ROADMAP.md's self-hosting section says the axis buys.
+        const body = r.text.join("\n").trim();
+        if (body.length > 0)
+            console.log(indent(body, "    "));
+        for (const s of r.scenarios) {
+            console.log(`\n    Scenario: ${s.name}`);
+            // Verbatim, bullets and markdown emphasis included: these lines are the
+            // acceptance criteria, and paraphrasing them here would put a second
+            // wording of the contract in front of whoever implements it.
+            for (const line of s.lines)
+                console.log(`      ${line}`);
+        }
+        console.log();
+    }
+}
+export function printApi(api) {
+    if (api.unreadable) {
+        // Worded like `loam show`'s answer for the same failure on a living
+        // contract, and deliberately WITHOUT a "run `loam validate`" hint: the
+        // parser's own message is already quoted below and the exit code carries
+        // the failure, so another command adds a hop, not information.
+        // (`validate --feature` does grade `openapi.invalid` on this same file
+        // these days; the fix is still in the YAML, not in its output.)
+        console.log("API: openapi.yaml does not parse");
+        if (api.error !== undefined)
+            console.log(`  ${api.error}`);
+        console.log();
+        return;
+    }
+    if (api.changes.length === 0) {
+        console.log("API: (the openapi delta defines no operations)\n");
+        return;
+    }
+    console.log("API (this feature's openapi.yaml for the service):");
+    for (const op of api.changes) {
+        const marker = op.remove ? "REMOVE " : "";
+        console.log(`  ${marker}${op.method} ${op.path}  ${op.operationId}${op.summary === null ? "" : ` — ${op.summary}`}`);
+    }
+    console.log();
+}
+export function printEvents(events) {
+    if (events.unreadable) {
+        // Same wording stance as printApi above, `asyncapi.invalid` being the
+        // validate finding on this file.
+        console.log("Events: asyncapi.yaml does not read as AsyncAPI 3.0");
+        if (events.error !== undefined)
+            console.log(`  ${events.error}`);
+        console.log();
+        return;
+    }
+    if (events.changes.length === 0) {
+        console.log("Events: (the asyncapi delta declares no messages)\n");
+        return;
+    }
+    console.log("Events (this feature's asyncapi.yaml for the service):");
+    for (const m of events.changes) {
+        const marker = m.remove ? "REMOVE " : "";
+        const direction = m.direction === null ? "" : `${m.direction.toUpperCase()} `;
+        console.log(`  ${marker}${direction}${m.message}  (${m.slot})`);
+    }
+    console.log();
+}
+export function printArchSlice(arch, service) {
+    if (arch.errors.length > 0) {
+        console.log("Architecture: delta.likec4 has errors — run `loam validate`.");
+        return;
+    }
+    console.log("Architecture:");
+    if (arch.isNew)
+        console.log(`  NEW service — create ${service}`);
+    if (arch.outbound.length > 0) {
+        console.log("  Outbound (new calls from this service):");
+        for (const e of arch.outbound)
+            console.log(`    → ${e.service}  "${e.title ?? ""}"`);
+    }
+    if (arch.inbound.length > 0) {
+        console.log("  Inbound (this service is newly called):");
+        for (const e of arch.inbound)
+            console.log(`    ← ${e.service}  "${e.title ?? ""}"`);
+    }
+    if (!arch.isNew && arch.outbound.length === 0 && arch.inbound.length === 0) {
+        console.log("  (no architecture change for this service)");
+    }
+    console.log();
+}
+/**
+ * The business flows this service already appears in.
+ *
+ * Printed even when it is empty, unlike the sections above, which are skipped
+ * when the feature has no such file. Those absences are facts about the FEATURE
+ * — no asyncapi.yaml means this change declares no events — while this one is a
+ * fact about the fleet, and "no use case draws this service" is the answer an
+ * implementer most needs to see stated rather than inferred from a missing
+ * heading.
+ *
+ * The unreadable arm exists so that emptiness is never ambiguous: an
+ * `architecture/` that does not parse produces the same empty list as a fleet
+ * that draws nothing, and only this line tells the two apart.
+ */
+export function printUseCases(useCases, service) {
+    if (useCases.unreadable) {
+        console.log("Use cases: architecture/ does not parse, so the flows through this service could not be read");
+        if (useCases.error !== undefined)
+            console.log(`  ${useCases.error}`);
+        console.log();
+        return;
+    }
+    if (useCases.flows.length === 0) {
+        console.log(`Use cases: (no declared flow draws ${service})\n`);
+        return;
+    }
+    console.log("Use cases (business flows this service is already a hop of):");
+    for (const flow of useCases.flows) {
+        console.log(`  ${flow.title ?? flow.id}  [${flow.id}]  ${flow.file}`);
+        for (const step of flow.steps) {
+            const label = step.title === undefined ? "" : ` '${step.title}'`;
+            console.log(`    step ${step.ordinal}${label}: ${step.source} -> ${step.target}`);
+        }
+    }
+    console.log();
+}
+/**
+ * The business promises this feature changes, and the exact `Realizes:` entry
+ * each one is addressed by.
+ *
+ * SILENT WHEN THERE ARE NONE, unlike the use-case section above, and the
+ * asymmetry is deliberate. "No declared flow draws this service" is an answer
+ * about the FLEET — the flows exist and none of them names you — so saying so
+ * is informative. A feature with no capability delta is the normal state of
+ * every feature in a fleet that has not adopted the business axis, and a line
+ * announcing that on every projection would be the noise that teaches people to
+ * skim the brief.
+ *
+ * The entry is printed WHOLE (`Realizes: refunds#REF-1`) rather than as a
+ * capability and an id a reader has to assemble: it is text somebody is about
+ * to paste into a requirement, and the one spelling mistake it can carry —
+ * the `#` — is the one nothing downstream can suggest a fix for.
+ */
+export function printCapabilities(capabilities) {
+    if (capabilities.length === 0)
+        return;
+    console.log("Capabilities (business promises this feature changes):");
+    for (const c of capabilities) {
+        console.log(`  ${c.id}  +${c.added} ~${c.modified} -${c.removed}`);
+        for (const p of c.promises) {
+            const entry = p.id === null ? "(no Requirement-ID: yet)" : `Realizes: ${c.id}#${p.id}`;
+            console.log(`    ${p.kind} '${p.name}' — ${entry}`);
+        }
+    }
+    console.log();
+}
+/**
+ * What the merge would take out of the living documents, per document — the
+ * archive plan's own lines (`core/document/apply.ts`), printed BEFORE the
+ * archive, which is the only moment a reader can still put a scenario back.
+ * Silent when nothing is taken: a section that said "(none)" on every
+ * additive feature would teach the reader to skip it.
+ */
+export function printDropped(rows) {
+    if (rows.length === 0)
+        return;
+    console.log("Taken out of the living docs by the merge:");
+    for (const row of rows)
+        console.log(`  ${row.path}: ${row.kind === "REMOVED" ? "-" : "~"} ${droppedSentence(row)}`);
+    console.log();
+}
+export function indent(text, pad) {
+    return text
+        .split("\n")
+        .map((l) => (l.length > 0 ? pad + l : l))
+        .join("\n");
+}
+//# sourceMappingURL=print.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../../../src/commands/delta/print.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAiB,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAkB,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAmB,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAA2B,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAA+B,MAAM,0CAA0C,CAAC;AACvF,OAAO,EAAE,eAAe,EAAmB,MAAM,8BAA8B,CAAC;AAEhF;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAmB,EAAE,KAAa;IAClE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC;QAClC,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC;QACpD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;QACvE,uEAAuE;QACvE,oEAAoE;QACpE,yEAAyE;QACzE,yDAAyD;QACzD,0DAA0D;QAC1D,6CAA6C;QAC7C,EAAE;QACF,uEAAuE;QACvE,yEAAyE;QACzE,6EAA6E;QAC7E,2EAA2E;QAC3E,0EAA0E;QAC1E,wEAAwE;QACxE,iEAAiE;QACjE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACzC,wEAAwE;YACxE,qEAAqE;YACrE,6DAA6D;YAC7D,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAa;IACpC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACnB,oEAAoE;QACpE,uEAAuE;QACvE,yEAAyE;QACzE,+DAA+D;QAC/D,uEAAuE;QACvE,gEAAgE;QAChE,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;QAChD,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QAC3D,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,oDAAoD,CAAC,CAAC;IAClE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,OAAO,CAAC,GAAG,CACT,KAAK,MAAM,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,WAAW,GAAG,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CACxG,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAkB;IAC5C,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,sEAAsE;QACtE,iCAAiC;QACjC,OAAO,CAAC,GAAG,CAAC,qDAAqD,CAAC,CAAC;QACnE,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,qDAAqD,CAAC,CAAC;QACnE,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,wDAAwD,CAAC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC;QAC9E,OAAO,CAAC,GAAG,CAAC,KAAK,MAAM,GAAG,SAAS,GAAG,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAe,EAAE,OAAe;IAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,8DAA8D,CAAC,CAAC;QAC5E,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC7B,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,GAAG,CAAC,0BAA0B,OAAO,EAAE,CAAC,CAAC;IACjE,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;QACzD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,GAAG,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;QACzD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,aAAa,CAAC,QAA4B,EAAE,OAAe;IACzE,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,8FAA8F,CAAC,CAAC;QAC5G,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QACrE,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,sCAAsC,OAAO,KAAK,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,8DAA8D,CAAC,CAAC;IAC5E,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,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,YAAY,IAAI,CAAC,OAAO,GAAG,KAAK,KAAK,IAAI,CAAC,MAAM,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,iBAAiB,CAAC,YAA+C;IAC/E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACtC,OAAO,CAAC,GAAG,CAAC,wDAAwD,CAAC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;YACvF,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,OAAO,KAAK,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,IAAkD;IAC7E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpH,OAAO,CAAC,GAAG,EAAE,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,GAAW;IAC9C,OAAO,IAAI;SACR,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC","sourcesContent":["/**\n * The delta as a person reads it: requirements, contract changes, the\n * architecture slice for one service, and the business promises the feature\n * changes.\n *\n * Rendering only. Everything printed here comes from `../../core/projection/`\n * or `../../core/capabilities/`, which is also what `--json` emits.\n */\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport { type ApiSlice } from \"../../core/projection/api.js\";\nimport { type ArchSlice } from \"../../core/projection/arch-slice.js\";\nimport { type EventSlice } from \"../../core/projection/events.js\";\nimport { type UseCaseBlastRadius } from \"../../core/usecases/touch.js\";\nimport { type CapabilityDeltaSummary } from \"../../core/capabilities/delta/summary.js\";\nimport { droppedSentence, type DroppedRow } from \"../../core/document/apply.js\";\n\n/**\n * The requirement delta, in full.\n *\n * The text view used to print headings and scenario NAMES only, which made it a\n * table of contents for a file the reader then had to open — while `--json`\n * carried the requirement body and the Given/When/Then lines verbatim. The two\n * are the same briefing, so they carry the same content: a person reading this\n * in a terminal is being asked to implement it, exactly like the agent reading\n * the payload.\n */\nexport function printRequirements(reqs: Requirement[], label: string): void {\n  if (reqs.length === 0) {\n    console.log(`${label}: (none)\\n`);\n    return;\n  }\n  console.log(`${label}:`);\n  for (const r of reqs) {\n    const tag = r.kind === \"BASE\" ? \"\" : `[${r.kind}] `;\n    const n = r.scenarios.length;\n    console.log(`  ${tag}${r.name}  (${n} scenario${n === 1 ? \"\" : \"s\"})`);\n    // The body VERBATIM, and that is the whole of the requirement's text —\n    // `Operations:`, `Covers:`, `Publishes:`, `Consumes:`, `Requires:`,\n    // `Realizes:`, `Requirement-ID:` and `Based-On:` are body lines, kept in\n    // `text` on purpose so a requirement round-trips through\n    // `serializeRequirements` and rides inside its own digest\n    // (core/document/parse.ts states that rule).\n    //\n    // This used to print `Operations:` and `Covers:` AGAIN from the parsed\n    // fields underneath, so every requirement carrying either line showed it\n    // twice — and the other five directives, which have no such re-print, showed\n    // it once. Nothing caught it: the human view is not asserted anywhere, and\n    // the duplication is only visible on a requirement that has one. Found by\n    // running `loam delta` over loam's own self-model, which is the kind of\n    // pressure ROADMAP.md's self-hosting section says the axis buys.\n    const body = r.text.join(\"\\n\").trim();\n    if (body.length > 0) console.log(indent(body, \"    \"));\n    for (const s of r.scenarios) {\n      console.log(`\\n    Scenario: ${s.name}`);\n      // Verbatim, bullets and markdown emphasis included: these lines are the\n      // acceptance criteria, and paraphrasing them here would put a second\n      // wording of the contract in front of whoever implements it.\n      for (const line of s.lines) console.log(`      ${line}`);\n    }\n    console.log();\n  }\n}\n\nexport function printApi(api: ApiSlice): void {\n  if (api.unreadable) {\n    // Worded like `loam show`'s answer for the same failure on a living\n    // contract, and deliberately WITHOUT a \"run `loam validate`\" hint: the\n    // parser's own message is already quoted below and the exit code carries\n    // the failure, so another command adds a hop, not information.\n    // (`validate --feature` does grade `openapi.invalid` on this same file\n    // these days; the fix is still in the YAML, not in its output.)\n    console.log(\"API: openapi.yaml does not parse\");\n    if (api.error !== undefined) console.log(`  ${api.error}`);\n    console.log();\n    return;\n  }\n  if (api.changes.length === 0) {\n    console.log(\"API: (the openapi delta defines no operations)\\n\");\n    return;\n  }\n  console.log(\"API (this feature's openapi.yaml for the service):\");\n  for (const op of api.changes) {\n    const marker = op.remove ? \"REMOVE \" : \"\";\n    console.log(\n      `  ${marker}${op.method} ${op.path}  ${op.operationId}${op.summary === null ? \"\" : ` — ${op.summary}`}`,\n    );\n  }\n  console.log();\n}\n\nexport function printEvents(events: EventSlice): void {\n  if (events.unreadable) {\n    // Same wording stance as printApi above, `asyncapi.invalid` being the\n    // validate finding on this file.\n    console.log(\"Events: asyncapi.yaml does not read as AsyncAPI 3.0\");\n    if (events.error !== undefined) console.log(`  ${events.error}`);\n    console.log();\n    return;\n  }\n  if (events.changes.length === 0) {\n    console.log(\"Events: (the asyncapi delta declares no messages)\\n\");\n    return;\n  }\n  console.log(\"Events (this feature's asyncapi.yaml for the service):\");\n  for (const m of events.changes) {\n    const marker = m.remove ? \"REMOVE \" : \"\";\n    const direction = m.direction === null ? \"\" : `${m.direction.toUpperCase()} `;\n    console.log(`  ${marker}${direction}${m.message}  (${m.slot})`);\n  }\n  console.log();\n}\n\nexport function printArchSlice(arch: ArchSlice, service: string): void {\n  if (arch.errors.length > 0) {\n    console.log(\"Architecture: delta.likec4 has errors — run `loam validate`.\");\n    return;\n  }\n  console.log(\"Architecture:\");\n  if (arch.isNew) console.log(`  NEW service — create ${service}`);\n  if (arch.outbound.length > 0) {\n    console.log(\"  Outbound (new calls from this service):\");\n    for (const e of arch.outbound) console.log(`    → ${e.service}  \"${e.title ?? \"\"}\"`);\n  }\n  if (arch.inbound.length > 0) {\n    console.log(\"  Inbound (this service is newly called):\");\n    for (const e of arch.inbound) console.log(`    ← ${e.service}  \"${e.title ?? \"\"}\"`);\n  }\n  if (!arch.isNew && arch.outbound.length === 0 && arch.inbound.length === 0) {\n    console.log(\"  (no architecture change for this service)\");\n  }\n  console.log();\n}\n\n/**\n * The business flows this service already appears in.\n *\n * Printed even when it is empty, unlike the sections above, which are skipped\n * when the feature has no such file. Those absences are facts about the FEATURE\n * — no asyncapi.yaml means this change declares no events — while this one is a\n * fact about the fleet, and \"no use case draws this service\" is the answer an\n * implementer most needs to see stated rather than inferred from a missing\n * heading.\n *\n * The unreadable arm exists so that emptiness is never ambiguous: an\n * `architecture/` that does not parse produces the same empty list as a fleet\n * that draws nothing, and only this line tells the two apart.\n */\nexport function printUseCases(useCases: UseCaseBlastRadius, service: string): void {\n  if (useCases.unreadable) {\n    console.log(\"Use cases: architecture/ does not parse, so the flows through this service could not be read\");\n    if (useCases.error !== undefined) console.log(`  ${useCases.error}`);\n    console.log();\n    return;\n  }\n  if (useCases.flows.length === 0) {\n    console.log(`Use cases: (no declared flow draws ${service})\\n`);\n    return;\n  }\n  console.log(\"Use cases (business flows this service is already a hop of):\");\n  for (const flow of useCases.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  console.log();\n}\n\n/**\n * The business promises this feature changes, and the exact `Realizes:` entry\n * each one is addressed by.\n *\n * SILENT WHEN THERE ARE NONE, unlike the use-case section above, and the\n * asymmetry is deliberate. \"No declared flow draws this service\" is an answer\n * about the FLEET — the flows exist and none of them names you — so saying so\n * is informative. A feature with no capability delta is the normal state of\n * every feature in a fleet that has not adopted the business axis, and a line\n * announcing that on every projection would be the noise that teaches people to\n * skim the brief.\n *\n * The entry is printed WHOLE (`Realizes: refunds#REF-1`) rather than as a\n * capability and an id a reader has to assemble: it is text somebody is about\n * to paste into a requirement, and the one spelling mistake it can carry —\n * the `#` — is the one nothing downstream can suggest a fix for.\n */\nexport function printCapabilities(capabilities: readonly CapabilityDeltaSummary[]): void {\n  if (capabilities.length === 0) return;\n  console.log(\"Capabilities (business promises this feature changes):\");\n  for (const c of capabilities) {\n    console.log(`  ${c.id}  +${c.added} ~${c.modified} -${c.removed}`);\n    for (const p of c.promises) {\n      const entry = p.id === null ? \"(no Requirement-ID: yet)\" : `Realizes: ${c.id}#${p.id}`;\n      console.log(`    ${p.kind} '${p.name}' — ${entry}`);\n    }\n  }\n  console.log();\n}\n\n/**\n * What the merge would take out of the living documents, per document — the\n * archive plan's own lines (`core/document/apply.ts`), printed BEFORE the\n * archive, which is the only moment a reader can still put a scenario back.\n * Silent when nothing is taken: a section that said \"(none)\" on every\n * additive feature would teach the reader to skip it.\n */\nexport function printDropped(rows: ReadonlyArray<DroppedRow & { path: string }>): void {\n  if (rows.length === 0) return;\n  console.log(\"Taken out of the living docs by the merge:\");\n  for (const row of rows) console.log(`  ${row.path}: ${row.kind === \"REMOVED\" ? \"-\" : \"~\"} ${droppedSentence(row)}`);\n  console.log();\n}\n\nexport function indent(text: string, pad: string): string {\n  return text\n    .split(\"\\n\")\n    .map((l) => (l.length > 0 ? pad + l : l))\n    .join(\"\\n\");\n}\n"]}

package/dist/commands/dependencies.js

@@ -1,8 +1,8 @@
-import { loadConfig } from "../core/config.js";
-import { analyzeDependencies, } from "../core/dependencies.js";
+import { analyzeDependencies } from "../core/dependencies/dependencies.js";
+import {} from "../core/dependencies/facts.js";
 import { FleetContext } from "../core/fleet-context.js";
-import { emitJson, fail, reportNoConfig } from "../core/json.js";
-import { missingFeatureMessage, resolveFeature } from "../core/repo.js";
+import { configOrRefuse, emitJson, fail } from "../core/envelope/json.js";
+import { missingFeatureMessage, resolveFeature } from "../core/repo/repo.js";
 export function registerDependencies(program) {
     program
         .command("dependencies")
@@ -11,11 +11,9 @@ export function registerDependencies(program) {
         .option("--json", "emit the machine contract instead of the human view")
         .action(async (featureArg, opts) => {
         const json = opts.json === true;
-        const config = await loadConfig();
-        if (!config) {
-            reportNoConfig(json);
+        const config = await configOrRefuse(json);
+        if (config === null)
             return;
-        }
         const context = new FleetContext();
         const feature = featureArg === undefined
             ? null

package/dist/commands/dependencies.js.map

@@ -1 +1 @@
-{"version":3,"file":"dependencies.js","sourceRoot":"","sources":["../../src/commands/dependencies.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EACL,mBAAmB,GAGpB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAMxE,MAAM,UAAU,oBAAoB,CAAC,OAAgB;IACnD,OAAO;SACJ,OAAO,CAAC,cAAc,CAAC;SACvB,QAAQ,CAAC,aAAa,EAAE,uDAAuD,CAAC;SAChF,WAAW,CAAC,uEAAuE,CAAC;SACpF,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC;SACvE,MAAM,CAAC,KAAK,EAAE,UAA8B,EAAE,IAAyB,EAAE,EAAE;QAC1E,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;QAED,MAAM,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,UAAU,KAAK,SAAS;YACtC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,UAAU,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACjD,yEAAyE;YACzE,0EAA0E;YAC1E,yEAAyE;YACzE,wEAAwE;YACxE,oDAAoD;YACpD,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;YAC/F,OAAO;QACT,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC9E,IAAI,IAAI,EAAE,CAAC;YACT,QAAQ,CAAC;gBACP,OAAO,EAAE,cAAc;gBACvB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,IAAI;gBAC5B,GAAG,KAAK;aACT,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,UAAU,CAAC,MAAwB;IAC1C,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW;QAChC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,cAAc,MAAM,CAAC,WAAW,EAAE;QACrD,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,KAAsB,EAAE,SAAkB;IAC5D,MAAM,KAAK,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,SAAS,oBAAoB,CAAC;IAC7F,OAAO,CAAC,GAAG,CAAC,kBAAkB,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/D,OAAO,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAEzF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACjF,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YACzC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,WAAW,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC7B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,KAAK,aAAa;gBAC3C,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE;gBACxC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;YACrB,uEAAuE;YACvE,wEAAwE;YACxE,yEAAyE;YACzE,0EAA0E;YAC1E,4DAA4D;YAC5D,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;YACpE,OAAO,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,QAAQ,CAAC,QAAQ,MAAM,GAAG,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC","sourcesContent":["import type { Command } from \"commander\";\nimport { loadConfig } from \"../core/config.js\";\nimport {\n  analyzeDependencies,\n  type DependencyGraph,\n  type DependencyReason,\n} from \"../core/dependencies.js\";\nimport { FleetContext } from \"../core/fleet-context.js\";\nimport { emitJson, fail, reportNoConfig } from \"../core/json.js\";\nimport { missingFeatureMessage, resolveFeature } from \"../core/repo.js\";\n\ninterface DependenciesOptions {\n  json?: boolean;\n}\n\nexport function registerDependencies(program: Command): void {\n  program\n    .command(\"dependencies\")\n    .argument(\"[featureId]\", \"active feature id; omit for the whole in-flight graph\")\n    .description(\"Show dependencies and conflicts derived from active feature artifacts\")\n    .option(\"--json\", \"emit the machine contract instead of the human view\")\n    .action(async (featureArg: string | undefined, opts: DependenciesOptions) => {\n      const json = opts.json === true;\n      const config = await loadConfig();\n      if (!config) {\n        reportNoConfig(json);\n        return;\n      }\n\n      const context = new FleetContext();\n      const feature = featureArg === undefined\n        ? null\n        : await resolveFeature(config.docsDir, featureArg, \"exclude\", context);\n      if (featureArg !== undefined && feature === null) {\n        // The shared miss message rather than a local one: this command resolves\n        // in `exclude` mode, so the commonest miss is an id that HAS shipped, and\n        // \"no active feature\" leaves the reader to discover that themselves. The\n        // helper reuses the context already built above, so saying so costs one\n        // enumeration this invocation has already paid for.\n        fail(json, \"unknown-target\", await missingFeatureMessage(config.docsDir, featureArg, context));\n        return;\n      }\n\n      const graph = await analyzeDependencies(config.docsDir, feature?.id, context);\n      if (json) {\n        emitJson({\n          command: \"dependencies\",\n          docsDir: config.docsDir,\n          feature: feature?.id ?? null,\n          ...graph,\n        });\n        return;\n      }\n      printGraph(graph, feature?.id);\n    });\n}\n\nfunction reasonText(reason: DependencyReason): string {\n  return reason.kind === \"operation\"\n    ? `${reason.service} operation ${reason.operationId}`\n    : `${reason.service}/${reason.axis} ${reason.identity}`;\n}\n\nfunction printGraph(graph: DependencyGraph, featureId?: string): void {\n  const scope = featureId === undefined ? \"active features\" : `${featureId} and prerequisites`;\n  console.log(`dependencies — ${scope} (${graph.nodes.length})`);\n  console.log(`  order: ${graph.order.length === 0 ? \"(none)\" : graph.order.join(\" → \")}`);\n\n  for (const node of graph.nodes) {\n    console.log(`\\n  ${node.id}${node.dependsOn.length === 0 ? \"  (independent)\" : \"\"}`);\n    for (const edge of graph.edges.filter((candidate) => candidate.from === node.id)) {\n      console.log(`    depends on ${edge.to}`);\n      for (const reason of edge.reasons) console.log(`      - ${reasonText(reason)}`);\n    }\n  }\n\n  if (graph.conflicts.length > 0) {\n    console.log(\"\\n  conflicts\");\n    for (const conflict of graph.conflicts) {\n      const where = conflict.kind === \"requirement\"\n        ? `${conflict.service}/${conflict.axis}`\n        : conflict.service;\n      // \"added by\" vs \"changed by\": the two collisions want different fixes.\n      // Two features ADDING the same identity is usually duplicated work that\n      // should become one feature; two features CHANGING it is usually genuine\n      // parallel work whose second archive would silently overwrite the first's\n      // full text, so the losers need to be re-based, not merged.\n      const how = conflict.change === \"added\" ? \"added by\" : \"changed by\";\n      console.log(`    ! ${where} ${conflict.identity} — ${how} ${conflict.features.join(\", \")}`);\n    }\n  }\n\n  if (graph.cycles.length > 0) {\n    console.log(\"\\n  cycles\");\n    for (const cycle of graph.cycles) console.log(`    ! ${cycle.join(\" ↔ \")}`);\n  }\n}\n"]}
+{"version":3,"file":"dependencies.js","sourceRoot":"","sources":["../../src/commands/dependencies.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAA+C,MAAM,+BAA+B,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAM7E,MAAM,UAAU,oBAAoB,CAAC,OAAgB;IACnD,OAAO;SACJ,OAAO,CAAC,cAAc,CAAC;SACvB,QAAQ,CAAC,aAAa,EAAE,uDAAuD,CAAC;SAChF,WAAW,CAAC,uEAAuE,CAAC;SACpF,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC;SACvE,MAAM,CAAC,KAAK,EAAE,UAA8B,EAAE,IAAyB,EAAE,EAAE;QAC1E,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;QAE5B,MAAM,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,UAAU,KAAK,SAAS;YACtC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,UAAU,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACjD,yEAAyE;YACzE,0EAA0E;YAC1E,yEAAyE;YACzE,wEAAwE;YACxE,oDAAoD;YACpD,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;YAC/F,OAAO;QACT,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC9E,IAAI,IAAI,EAAE,CAAC;YACT,QAAQ,CAAC;gBACP,OAAO,EAAE,cAAc;gBACvB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,IAAI;gBAC5B,GAAG,KAAK;aACT,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,UAAU,CAAC,MAAwB;IAC1C,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW;QAChC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,cAAc,MAAM,CAAC,WAAW,EAAE;QACrD,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,KAAsB,EAAE,SAAkB;IAC5D,MAAM,KAAK,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,SAAS,oBAAoB,CAAC;IAC7F,OAAO,CAAC,GAAG,CAAC,kBAAkB,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/D,OAAO,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAEzF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACjF,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YACzC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,WAAW,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC7B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,KAAK,aAAa;gBAC3C,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE;gBACxC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;YACrB,uEAAuE;YACvE,wEAAwE;YACxE,yEAAyE;YACzE,0EAA0E;YAC1E,4DAA4D;YAC5D,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;YACpE,OAAO,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,QAAQ,CAAC,QAAQ,MAAM,GAAG,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC","sourcesContent":["import type { Command } from \"commander\";\nimport { analyzeDependencies } from \"../core/dependencies/dependencies.js\";\nimport { type DependencyGraph, type DependencyReason } from \"../core/dependencies/facts.js\";\nimport { FleetContext } from \"../core/fleet-context.js\";\nimport { configOrRefuse, emitJson, fail } from \"../core/envelope/json.js\";\nimport { missingFeatureMessage, resolveFeature } from \"../core/repo/repo.js\";\n\ninterface DependenciesOptions {\n  json?: boolean;\n}\n\nexport function registerDependencies(program: Command): void {\n  program\n    .command(\"dependencies\")\n    .argument(\"[featureId]\", \"active feature id; omit for the whole in-flight graph\")\n    .description(\"Show dependencies and conflicts derived from active feature artifacts\")\n    .option(\"--json\", \"emit the machine contract instead of the human view\")\n    .action(async (featureArg: string | undefined, opts: DependenciesOptions) => {\n      const json = opts.json === true;\n      const config = await configOrRefuse(json);\n      if (config === null) return;\n\n      const context = new FleetContext();\n      const feature = featureArg === undefined\n        ? null\n        : await resolveFeature(config.docsDir, featureArg, \"exclude\", context);\n      if (featureArg !== undefined && feature === null) {\n        // The shared miss message rather than a local one: this command resolves\n        // in `exclude` mode, so the commonest miss is an id that HAS shipped, and\n        // \"no active feature\" leaves the reader to discover that themselves. The\n        // helper reuses the context already built above, so saying so costs one\n        // enumeration this invocation has already paid for.\n        fail(json, \"unknown-target\", await missingFeatureMessage(config.docsDir, featureArg, context));\n        return;\n      }\n\n      const graph = await analyzeDependencies(config.docsDir, feature?.id, context);\n      if (json) {\n        emitJson({\n          command: \"dependencies\",\n          docsDir: config.docsDir,\n          feature: feature?.id ?? null,\n          ...graph,\n        });\n        return;\n      }\n      printGraph(graph, feature?.id);\n    });\n}\n\nfunction reasonText(reason: DependencyReason): string {\n  return reason.kind === \"operation\"\n    ? `${reason.service} operation ${reason.operationId}`\n    : `${reason.service}/${reason.axis} ${reason.identity}`;\n}\n\nfunction printGraph(graph: DependencyGraph, featureId?: string): void {\n  const scope = featureId === undefined ? \"active features\" : `${featureId} and prerequisites`;\n  console.log(`dependencies — ${scope} (${graph.nodes.length})`);\n  console.log(`  order: ${graph.order.length === 0 ? \"(none)\" : graph.order.join(\" → \")}`);\n\n  for (const node of graph.nodes) {\n    console.log(`\\n  ${node.id}${node.dependsOn.length === 0 ? \"  (independent)\" : \"\"}`);\n    for (const edge of graph.edges.filter((candidate) => candidate.from === node.id)) {\n      console.log(`    depends on ${edge.to}`);\n      for (const reason of edge.reasons) console.log(`      - ${reasonText(reason)}`);\n    }\n  }\n\n  if (graph.conflicts.length > 0) {\n    console.log(\"\\n  conflicts\");\n    for (const conflict of graph.conflicts) {\n      const where = conflict.kind === \"requirement\"\n        ? `${conflict.service}/${conflict.axis}`\n        : conflict.service;\n      // \"added by\" vs \"changed by\": the two collisions want different fixes.\n      // Two features ADDING the same identity is usually duplicated work that\n      // should become one feature; two features CHANGING it is usually genuine\n      // parallel work whose second archive would silently overwrite the first's\n      // full text, so the losers need to be re-based, not merged.\n      const how = conflict.change === \"added\" ? \"added by\" : \"changed by\";\n      console.log(`    ! ${where} ${conflict.identity} — ${how} ${conflict.features.join(\", \")}`);\n    }\n  }\n\n  if (graph.cycles.length > 0) {\n    console.log(\"\\n  cycles\");\n    for (const cycle of graph.cycles) console.log(`    ! ${cycle.join(\" ↔ \")}`);\n  }\n}\n"]}

package/dist/commands/diff/diff.js

@@ -0,0 +1,86 @@
+import { configOrRefuse, emitJson, fail } from "../../core/envelope/json.js";
+import { findingJson } from "../../core/vocabulary/report.js";
+import { baseOrRefuse, docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from "../policy/gate.js";
+import { DocsRepoUnavailableError } from "../../core/repo/state.js";
+import { FleetContext } from "../../core/fleet-context.js";
+import { readBaseFleet } from "../../core/diff/base-state.js";
+import { livingFleet } from "../../core/consumers/current.js";
+import { consumerIndex } from "../../core/consumers/consumers.js";
+import { computeDiff } from "../../core/diff/semantic.js";
+import { printDiff } from "./print.js";
+export function registerDiff(program) {
+    program
+        .command("diff")
+        .description("Semantic diff of the living docs against a base git ref of the docs repo — fleet-meaningful changes, with the joined victims of every removal named")
+        .requiredOption("--base <ref>", "base git ref of the docs repo (e.g. main, origin/main, a commit sha)")
+        .option("--json", "emit the machine contract instead of the human view")
+        .action(async (opts) => {
+        const json = opts.json === true;
+        const config = await configOrRefuse(json);
+        if (config === null)
+            return;
+        const { docsDir } = config;
+        // "services" on purpose: both sides of the diff are enumerations of the
+        // fleet, and a docsDir with no services/ has no fleet to diff.
+        if (!docsRepoReady(json, docsDir, "services"))
+            return;
+        // Unlike provenance's "git will not say", diff REFUSES when git cannot
+        // answer: without the base there is no honest diff, and a silently
+        // empty base would report the whole fleet as added. The two refusals
+        // are `loam gate --since`'s too, so they live in commands/policy/gate.ts.
+        const base = await baseOrRefuse(json, docsDir, {
+            flag: "--base",
+            ref: opts.base,
+            reads: "loam diff reads the base state",
+        });
+        if (base === null)
+            return;
+        const context = new FleetContext();
+        let diff;
+        try {
+            const baseFleet = await readBaseFleet(base);
+            if (baseFleet.kind === "failed") {
+                fail(json, "repository-unavailable", `git could not list services/ at ${opts.base} in the docs repo at ${docsDir} (${baseFleet.detail}) — ` +
+                    `without the base tree there is no honest diff. Re-run once git can answer.`);
+                return;
+            }
+            // The index reads the same memoised fleet (`livingFleet`), so the
+            // working-tree side and the victims are one read of one snapshot.
+            const current = await livingFleet(docsDir, context);
+            const victims = consumerIndex({ docsDir, context });
+            diff = await computeDiff({ base: baseFleet.fleet, current, victims });
+        }
+        catch (err) {
+            if (err instanceof DocsRepoUnavailableError) {
+                reportDocsRepoError(json, err);
+                return;
+            }
+            reportRepositoryUnavailable(json, err, "the fleet could not be diffed", docsDir);
+            return;
+        }
+        // Error findings gate (the validate convention); suspended axes gate too,
+        // because an exit 0 over a diff nobody could fully read would be the
+        // "green over zero services" failure one step later.
+        if (diff.breaking || diff.summary.unreadable > 0)
+            process.exitCode = 1;
+        if (json) {
+            emitJson({
+                command: "diff",
+                docsDir,
+                base: { ref: opts.base, commit: base.commit },
+                services: diff.services.map((s) => ({
+                    id: s.id,
+                    change: s.change,
+                    findings: s.findings.map((finding) => findingJson(finding, { path: `services/${s.id}`, role: "scope" })),
+                    unreadable: s.unreadable,
+                    ...(s.ambiguous === undefined ? {} : { ambiguous: s.ambiguous }),
+                })),
+                breaking: diff.breaking,
+                summary: diff.summary,
+            });
+            return;
+        }
+        printDiff(diff, { ref: opts.base, commit: base.commit });
+    });
+}
+//# sourceMappingURL=diff.js.map

package/dist/commands/diff/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/commands/diff/diff.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAClH,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAkB,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAOvC,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO;SACJ,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,qJAAqJ,CAAC;SAClK,cAAc,CAAC,cAAc,EAAE,sEAAsE,CAAC;SACtG,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC;SACvE,MAAM,CAAC,KAAK,EAAE,IAAiB,EAAE,EAAE;QAClC,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,wEAAwE;QACxE,+DAA+D;QAC/D,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;YAAE,OAAO;QAEtD,uEAAuE;QACvE,mEAAmE;QACnE,qEAAqE;QACrE,0EAA0E;QAC1E,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE;YAC7C,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,IAAI,CAAC,IAAI;YACd,KAAK,EAAE,gCAAgC;SACxC,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO;QAE1B,MAAM,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;QACnC,IAAI,IAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChC,IAAI,CACF,IAAI,EACJ,wBAAwB,EACxB,mCAAmC,IAAI,CAAC,IAAI,wBAAwB,OAAO,KAAK,SAAS,CAAC,MAAM,MAAM;oBACpG,4EAA4E,CAC/E,CAAC;gBACF,OAAO;YACT,CAAC;YACD,kEAAkE;YAClE,kEAAkE;YAClE,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACpD,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YACpD,IAAI,GAAG,MAAM,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACxE,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,2BAA2B,CAAC,IAAI,EAAE,GAAG,EAAE,+BAA+B,EAAE,OAAO,CAAC,CAAC;YACjF,OAAO;QACT,CAAC;QAED,0EAA0E;QAC1E,qEAAqE;QACrE,qDAAqD;QACrD,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACvE,IAAI,IAAI,EAAE,CAAC;YACT,QAAQ,CAAC;gBACP,OAAO,EAAE,MAAM;gBACf,OAAO;gBACP,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;gBAC7C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAClC,EAAE,EAAE,CAAC,CAAC,EAAE;oBACR,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACnC,WAAW,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAClE;oBACD,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;iBACjE,CAAC,CAAC;gBACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,SAAS,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACP,CAAC","sourcesContent":["/**\n * `loam diff --base <ref>` — the review lens over a docs-repo branch: what\n * changed in fleet-meaningful terms since a base git ref of the DOCS repo,\n * with the authored consumers of every removal, deprecation and contract\n * modification named. Read-only by\n * construction: the base state comes out of git's object store\n * (`core/diff/base-git.ts`), the current state off the working tree, and\n * nothing is written anywhere.\n *\n * Exit semantics: 0 when the diff was computed and nothing is breaking AND\n * every artifact on both sides could be read; 1 for a refusal, for any\n * error-severity finding (a removal the fleet still consumes — which is what\n * makes this a free gate on a docs-repo PR), and for a diff with suspended\n * axes — \"nobody could look\" must not exit as \"nothing changed\"\n * (`loam context` set that precedent for silent holes). A contract that cannot\n * be read but is byte-identical at the base is not a suspended axis: the branch\n * did not touch it, and core/diff/semantic.ts skips it rather than failing every\n * PR over a file nobody changed.\n */\nimport type { Command } from \"commander\";\nimport { configOrRefuse, emitJson, fail } from \"../../core/envelope/json.js\";\nimport { findingJson } from \"../../core/vocabulary/report.js\";\nimport { baseOrRefuse, docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from \"../policy/gate.js\";\nimport { DocsRepoUnavailableError } from \"../../core/repo/state.js\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { readBaseFleet } from \"../../core/diff/base-state.js\";\nimport { livingFleet } from \"../../core/consumers/current.js\";\nimport { consumerIndex } from \"../../core/consumers/consumers.js\";\nimport { computeDiff, type FleetDiff } from \"../../core/diff/semantic.js\";\nimport { printDiff } from \"./print.js\";\n\ninterface DiffOptions {\n  base: string;\n  json?: boolean;\n}\n\nexport function registerDiff(program: Command): void {\n  program\n    .command(\"diff\")\n    .description(\"Semantic diff of the living docs against a base git ref of the docs repo — fleet-meaningful changes, with the joined victims of every removal named\")\n    .requiredOption(\"--base <ref>\", \"base git ref of the docs repo (e.g. main, origin/main, a commit sha)\")\n    .option(\"--json\", \"emit the machine contract instead of the human view\")\n    .action(async (opts: DiffOptions) => {\n      const json = opts.json === true;\n      const config = await configOrRefuse(json);\n      if (config === null) return;\n      const { docsDir } = config;\n      // \"services\" on purpose: both sides of the diff are enumerations of the\n      // fleet, and a docsDir with no services/ has no fleet to diff.\n      if (!docsRepoReady(json, docsDir, \"services\")) return;\n\n      // Unlike provenance's \"git will not say\", diff REFUSES when git cannot\n      // answer: without the base there is no honest diff, and a silently\n      // empty base would report the whole fleet as added. The two refusals\n      // are `loam gate --since`'s too, so they live in commands/policy/gate.ts.\n      const base = await baseOrRefuse(json, docsDir, {\n        flag: \"--base\",\n        ref: opts.base,\n        reads: \"loam diff reads the base state\",\n      });\n      if (base === null) return;\n\n      const context = new FleetContext();\n      let diff: FleetDiff;\n      try {\n        const baseFleet = await readBaseFleet(base);\n        if (baseFleet.kind === \"failed\") {\n          fail(\n            json,\n            \"repository-unavailable\",\n            `git could not list services/ at ${opts.base} in the docs repo at ${docsDir} (${baseFleet.detail}) — ` +\n              `without the base tree there is no honest diff. Re-run once git can answer.`,\n          );\n          return;\n        }\n        // The index reads the same memoised fleet (`livingFleet`), so the\n        // working-tree side and the victims are one read of one snapshot.\n        const current = await livingFleet(docsDir, context);\n        const victims = consumerIndex({ docsDir, context });\n        diff = await computeDiff({ base: baseFleet.fleet, current, victims });\n      } catch (err) {\n        if (err instanceof DocsRepoUnavailableError) {\n          reportDocsRepoError(json, err);\n          return;\n        }\n        reportRepositoryUnavailable(json, err, \"the fleet could not be diffed\", docsDir);\n        return;\n      }\n\n      // Error findings gate (the validate convention); suspended axes gate too,\n      // because an exit 0 over a diff nobody could fully read would be the\n      // \"green over zero services\" failure one step later.\n      if (diff.breaking || diff.summary.unreadable > 0) process.exitCode = 1;\n      if (json) {\n        emitJson({\n          command: \"diff\",\n          docsDir,\n          base: { ref: opts.base, commit: base.commit },\n          services: diff.services.map((s) => ({\n            id: s.id,\n            change: s.change,\n            findings: s.findings.map((finding) =>\n              findingJson(finding, { path: `services/${s.id}`, role: \"scope\" }),\n            ),\n            unreadable: s.unreadable,\n            ...(s.ambiguous === undefined ? {} : { ambiguous: s.ambiguous }),\n          })),\n          breaking: diff.breaking,\n          summary: diff.summary,\n        });\n        return;\n      }\n      printDiff(diff, { ref: opts.base, commit: base.commit });\n    });\n}\n"]}

package/dist/commands/diff/print.js

@@ -0,0 +1,38 @@
+/**
+ * Human rendering for `loam diff` — per-service blocks with the shared
+ * severity glyphs, victims as detail lines, one summary line. The JSON side
+ * lives in `diff.ts` beside the envelope; this module owns only the text.
+ */
+import { SEVERITY_MARK } from "../../core/vocabulary/report.js";
+function printService(s) {
+    console.log(`\n${s.id} — ${s.change}`);
+    if (s.ambiguous !== undefined) {
+        console.log(`  ⚠ service identity ambiguous — claimed by ${s.ambiguous.join(" and ")}; ` +
+            `findings for this service are suspended, not empty`);
+    }
+    for (const u of s.unreadable) {
+        // Suspension is not silence: the reader must see that this axis was not
+        // graded, or an unreadable file reads as "nothing changed here".
+        console.log(`  ⚠ ${u.side}: ${u.path} could not be read — ${u.error}; findings on this axis are suspended, not empty`);
+    }
+    for (const f of s.findings) {
+        console.log(`  ${SEVERITY_MARK[f.severity]} ${f.code}: ${f.message}`);
+        for (const d of f.details ?? [])
+            console.log(`    - ${d}`);
+    }
+}
+export function printDiff(diff, base) {
+    console.log(`diff vs ${base.ref} (${base.commit.slice(0, 12)})`);
+    const changed = diff.services.filter((s) => s.change !== "unchanged");
+    if (changed.length === 0) {
+        console.log("  no fleet-meaningful changes");
+        return;
+    }
+    for (const s of changed)
+        printService(s);
+    const sum = diff.summary;
+    console.log(`\n${sum.added} added · ${sum.removed} removed · ${sum.modified} modified · ${sum.deprecated} deprecated` +
+        (sum.unreadable > 0 ? ` · ${sum.unreadable} unreadable` : "") +
+        (diff.breaking ? " · BREAKING" : ""));
+}
+//# sourceMappingURL=print.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../../../src/commands/diff/print.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAGhE,SAAS,YAAY,CAAC,CAAc;IAClC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CACT,+CAA+C,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI;YAC1E,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QAC7B,wEAAwE;QACxE,iEAAiE;QACjE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC,KAAK,kDAAkD,CAAC,CAAC;IACzH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAe,EAAE,IAAqC;IAC9E,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IACtE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC;QAC7C,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;IACzB,OAAO,CAAC,GAAG,CACT,KAAK,GAAG,CAAC,KAAK,YAAY,GAAG,CAAC,OAAO,cAAc,GAAG,CAAC,QAAQ,eAAe,GAAG,CAAC,UAAU,aAAa;QACvG,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,UAAU,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CACvC,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Human rendering for `loam diff` — per-service blocks with the shared\n * severity glyphs, victims as detail lines, one summary line. The JSON side\n * lives in `diff.ts` beside the envelope; this module owns only the text.\n */\nimport { SEVERITY_MARK } from \"../../core/vocabulary/report.js\";\nimport type { FleetDiff, ServiceDiff } from \"../../core/diff/semantic.js\";\n\nfunction printService(s: ServiceDiff): void {\n  console.log(`\\n${s.id} — ${s.change}`);\n  if (s.ambiguous !== undefined) {\n    console.log(\n      `  ⚠ service identity ambiguous — claimed by ${s.ambiguous.join(\" and \")}; ` +\n        `findings for this service are suspended, not empty`,\n    );\n  }\n  for (const u of s.unreadable) {\n    // Suspension is not silence: the reader must see that this axis was not\n    // graded, or an unreadable file reads as \"nothing changed here\".\n    console.log(`  ⚠ ${u.side}: ${u.path} could not be read — ${u.error}; findings on this axis are suspended, not empty`);\n  }\n  for (const f of s.findings) {\n    console.log(`  ${SEVERITY_MARK[f.severity]} ${f.code}: ${f.message}`);\n    for (const d of f.details ?? []) console.log(`    - ${d}`);\n  }\n}\n\nexport function printDiff(diff: FleetDiff, base: { ref: string; commit: string }): void {\n  console.log(`diff vs ${base.ref} (${base.commit.slice(0, 12)})`);\n  const changed = diff.services.filter((s) => s.change !== \"unchanged\");\n  if (changed.length === 0) {\n    console.log(\"  no fleet-meaningful changes\");\n    return;\n  }\n  for (const s of changed) printService(s);\n  const sum = diff.summary;\n  console.log(\n    `\\n${sum.added} added · ${sum.removed} removed · ${sum.modified} modified · ${sum.deprecated} deprecated` +\n      (sum.unreadable > 0 ? ` · ${sum.unreadable} unreadable` : \"\") +\n      (diff.breaking ? \" · BREAKING\" : \"\"),\n  );\n}\n"]}

package/dist/commands/doctor.js

@@ -1,5 +1,7 @@
-import { diagnose } from "../core/doctor.js";
-import { emitJson } from "../core/json.js";
+import { diagnose } from "../core/doctor/doctor.js";
+import {} from "../core/doctor/report.js";
+import { REPORTS_DIR } from "../core/doctor/reports/scan.js";
+import { emitJson } from "../core/envelope/json.js";
 export function registerDoctor(program) {
     program
         .command("doctor")
@@ -44,11 +46,64 @@ function writePathLabel(residue) {
             ? ["interrupted commit (unreadable)"]
             : residue.intent === null
                 ? []
-                : [`interrupted ${residue.intent.command} of ${residue.intent.feature}`]),
+                : [`interrupted ${residue.intent.command} of ${"feature" in residue.intent ? residue.intent.feature : residue.intent.target}`]),
         ...(residue.temps.length === 0 ? [] : [`${residue.temps.length} orphaned temp file(s)`]),
     ];
     return parts.length === 0 ? "clean" : parts.join(" · ");
 }
+/**
+ * How the binding resolved, as a reader standing in the repo would say it.
+ * `unknown` alone read as "loam has never heard of this service" for one a
+ * feature in flight introduces — the service whose repository is most likely to
+ * be brand new — so that case names the feature, in the words `show` uses for
+ * the same fact. The JSON keeps `status: "unknown"` and carries `introducedBy`.
+ */
+function bindingLabel(current) {
+    const introducedBy = current.introducedBy ?? [];
+    if (introducedBy.length === 0)
+        return current.status;
+    return `introduced by ${introducedBy.join(", ")} (in flight)`;
+}
+/**
+ * The order the statuses are printed in — the lifecycle a report walks, so the
+ * row reads left to right the way the corpus drains.
+ *
+ * A `Record` over the union rather than an array of strings, because that makes
+ * tsc the thing that notices a new status: adding one to `ProblemReportStatus`
+ * fails to compile here instead of silently never being printed.
+ */
+const REPORT_STATUS_ORDER = {
+    open: 0,
+    sent: 1,
+    fixed: 2,
+    superseded: 3,
+    unstated: 4,
+};
+/**
+ * The report corpus as one line: how many there are, how they split by status,
+ * and which ordinal the next one takes.
+ *
+ * Zero counts are left out — a status nothing is in is not news, and this row
+ * is read at a glance — while the total is always there, because "twelve
+ * reports" is the fact somebody scanning for the corpus is looking for. An
+ * absent or empty directory prints `(none)` rather than a row of zeroes: a
+ * repository that has never had to write a report is the normal one.
+ */
+function reportsLabel(reports) {
+    if (!reports.present || reports.total === 0)
+        return "(none)";
+    const counted = new Map();
+    for (const entry of reports.entries) {
+        counted.set(entry.status, (counted.get(entry.status) ?? 0) + 1);
+    }
+    const split = [...counted]
+        .sort(([a], [b]) => REPORT_STATUS_ORDER[a] - REPORT_STATUS_ORDER[b])
+        .map(([status, count]) => `${status} ${count}`);
+    // The directory's NAME, not `reports.dir`: the payload spells the absolute
+    // path so an agent can act on it, while the row is read by a person standing
+    // in the repository, for whom the absolute spelling is only longer.
+    return [`${REPORTS_DIR}/ ${reports.total}`, ...split, `next ${reports.next}`].join(" · ");
+}
 function printDoctor(report) {
     console.log(`loam doctor — ${report.healthy ? "healthy" : "blocked"}`);
     console.log(`  runtime       ${report.runtime.package}@${report.runtime.version}`);
@@ -59,14 +114,19 @@ function printDoctor(report) {
     console.log(`  docsDir       ${report.docs.path ?? "(unresolved)"}`);
     console.log(`  access        exists ${yesNo(report.docs.exists)} · read ${yesNo(report.docs.readable)} · write ${yesNo(report.docs.writable)}`);
     console.log(`  fleet         services/ ${yesNo(report.docs.servicesDir)} · landscape ${yesNo(report.docs.landscape)} · ${report.counts.services} services · ${report.counts.activeFeatures} active features`);
-    console.log(`  binding       ${report.currentService.configured ?? "(none)"} · ${report.currentService.status}`);
+    console.log(`  binding       ${report.currentService.configured ?? "(none)"} · ${bindingLabel(report.currentService)}`);
     // The agent surface is reported whether or not it has drifted — like every
     // line above it, this is state, not a complaint. Only the findings block is
     // silent when there is nothing to say.
     const agents = report.agents;
-    console.log(`  agents        ${agents.tools.length === 0 ? "(none)" : agents.tools.join(", ")}`
+    console.log(`  agents        ${agents.tools.length === 0 ? "(none)" : agents.tools.join(", ")} · ${agents.profile}`
         + ` (${agents.toolsSource}) · ${agents.plannedFiles} files · ${agents.missingFiles.length} missing`
         + ` · ${agents.staleFiles.length} stale · AGENTS.md ${stampLabel(agents.stamp)}`);
+    // The problem reports, for the same reason and with a stronger one behind it:
+    // the `loam-report` protocol asks a repository to accumulate this corpus, and
+    // until now no loam command mentioned the directory at all. Printed as state,
+    // never as a finding — an open report is not a defect in the repo holding it.
+    console.log(`  reports       ${reportsLabel(report.reports)}`);
     // The write path is state too, and its clean answer is the one worth printing
     // most often: a reader who has just been told the docs are half-written needs
     // to see it go away.