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

package/dist/commands/delta/delta.js

@@ -0,0 +1,367 @@
+import { existsSync } from "node:fs";
+import { readFile } from "node:fs/promises";
+import { InvalidIdError, assertServiceId } from "../../core/kernel/ids/service.js";
+import { configOrRefuse, emitJson, emitJsonError, fail, repoPath, sayExplain } from "../../core/envelope/json.js";
+import { loadFile } from "../../core/c4/likec4.js";
+import { compareIds, nearestIds } from "../../core/repo/entries.js";
+import { featurePaths, featureSpecPaths } from "../../core/repo/paths.js";
+import { missingFeatureMessage, resolveFeature } from "../../core/repo/repo.js";
+import { parseRequirements } from "../../core/document/parse.js";
+import {} from "../../core/document/spec.js";
+import {} from "../../core/gherkin/digest.js";
+import { scenarioDigest } from "../../core/gherkin/stamp.js";
+import { stripFrontmatter } from "../../core/document/frontmatter.js";
+import { apiChanges } from "../../core/projection/api.js";
+import { eventChanges } from "../../core/projection/events.js";
+import { archSlice, introducedServices, livingServices } from "../../core/projection/arch-slice.js";
+import { useCaseBlastRadius } from "../../core/usecases/touch.js";
+import { featureCapabilityDeltas } from "../../core/capabilities/delta/tree.js";
+import { capabilityDeltaSummaries } from "../../core/capabilities/delta/summary.js";
+import { printApi, printArchSlice, printCapabilities, printDropped, printEvents, printRequirements, printUseCases } from "./print.js";
+import { droppedBy } from "../../core/document/apply.js";
+import { locateServicePaths } from "../../core/repo/service-target.js";
+import { livingCapabilityPaths } from "../../core/repo/authored/paths.js";
+import { indent } from "./print.js";
+export function registerDelta(program) {
+    program
+        .command("delta")
+        .argument("<featureId>", "feature id, e.g. FEAT-101")
+        .description("Project a feature onto a service: why + requirement delta + C4 changes")
+        .option("--service <id>", "service to project onto (defaults to the configured service)")
+        .option("--json", "emit the machine contract instead of the human view")
+        .action(async (featureId, opts) => {
+        const json = opts.json === true;
+        const config = await configOrRefuse(json);
+        if (config === null)
+            return;
+        // The id grammar first, and on the RAW argument: `--service ../../etc`
+        // reaches `featureSpecPaths` and reads from outside the feature directory.
+        // One grammar for the whole tool (core/kernel/ids/service.ts).
+        if (opts.service !== undefined) {
+            try {
+                assertServiceId(opts.service, "--service");
+            }
+            catch (err) {
+                if (!(err instanceof InvalidIdError))
+                    throw err;
+                fail(json, "invalid-option", err.message);
+                return;
+            }
+        }
+        // The feature is resolved BEFORE the service is chosen, because every
+        // sentence about the service ("which ones does this feature touch?") is
+        // only answerable once the feature is known.
+        const feature = await resolveFeature(config.docsDir, featureId, "exclude");
+        if (!feature) {
+            fail(json, "unknown-target", await missingFeatureMessage(config.docsDir, featureId));
+            return;
+        }
+        // Canonical id from here on — the delta's tags carry `#FEAT-5`, so a raw
+        // `FEAT-5-slug` argument used to empty the architecture slice silently.
+        const { id } = feature;
+        const paths = featurePaths(feature.dir);
+        const deltaDoc = existsSync(paths.delta) ? await loadFile(paths.delta) : null;
+        // Services the feature speaks about at all: one with a requirement delta,
+        // or one its C4 delta introduces. This is the list a refusal quotes.
+        const featureServices = [
+            ...new Set([...feature.services, ...introducedServices(deltaDoc, id)]),
+        ].sort(compareIds);
+        const service = opts.service ?? config.service;
+        if (!service) {
+            // The refusal NAMES the choices. "No service. Pass --service <id>" told
+            // the reader the shape of the flag and nothing about the answer, so the
+            // next step was always to go list the feature's specs/ by hand — and an
+            // agent had no way to recover at all. The list rides the JSON envelope
+            // for the same reason.
+            const message = `No service to project ${id} onto. Pass --service <id> or set 'service' in loam.json.` +
+                (featureServices.length === 0
+                    ? ` ${id} carries no per-service delta yet.`
+                    : ` ${id} touches: ${featureServices.join(", ")}.`);
+            if (json)
+                emitJsonError("invalid-option", message, { feature: id, services: featureServices });
+            else {
+                console.error(message);
+                // This arm refuses by hand because the envelope carries `services` as
+                // data, which `fail()` has no room for — so the code and its lookup
+                // are asked for explicitly, with the same code the branch above
+                // emits. Without it this was one of the two refusals that most needed
+                // `loam explain` and had no way to name it.
+                sayExplain("invalid-option");
+                process.exitCode = 1;
+            }
+            return;
+        }
+        // A service nobody has heard of produces a perfectly plausible EMPTY
+        // report — no requirements, no edges, "no architecture change" — which an
+        // agent consuming this as a task brief reads as "nothing to do here".
+        // A typo must never be indistinguishable from a finished service.
+        const living = await livingServices(config.docsDir);
+        if (!featureServices.includes(service) && !living.includes(service)) {
+            const near = nearestIds(service, [...new Set([...featureServices, ...living])]);
+            fail(json, "unknown-target", `No service '${service}': it is neither a services/${service}/ in the docs repo nor a service ${id} touches` +
+                (featureServices.length === 0 ? "" : ` (${featureServices.join(", ")})`) +
+                (near.length === 0 ? "." : ` — did you mean ${near.map((n) => `'${n}'`).join(" or ")}?`));
+            return;
+        }
+        // Why — business intent
+        const intent = existsSync(paths.intent)
+            ? stripFrontmatter(await readFile(paths.intent, "utf8")).trim()
+            : null;
+        // Requirement delta for this service (OpenSpec style), business and arch:
+        // the same projection covers both axes, in the same shape, so the payload
+        // stays one task — the arch requirements are the integration/ops half the
+        // business ones never mention.
+        const specPaths = featureSpecPaths(feature.dir, service);
+        const reqs = existsSync(specPaths.spec)
+            ? parseRequirements(await readFile(specPaths.spec, "utf8"))
+            : [];
+        const archReqs = existsSync(specPaths.archSpec)
+            ? parseRequirements(await readFile(specPaths.archSpec, "utf8"))
+            : [];
+        // The contract axis. Until now no command surfaced it at all: the feature's
+        // openapi.yaml was read by validate and by archive, and the one command
+        // whose output IS the implementation task never mentioned it — so "add the
+        // endpoint" was the half of the work the brief left out.
+        const api = await apiChanges(specPaths.openapi);
+        // The event axis, same reasoning: a feature's asyncapi.yaml is merged by
+        // archive and graded by validate, so the brief must name what it changes
+        // — a message the implementer was never told to publish is the same
+        // dropped work as an endpoint the brief left out.
+        const events = await eventChanges(specPaths.asyncapi);
+        // C4 architecture slice. The fleet union mirrors coherence's: services/
+        // plus the feature's own specs/ names, so the slice and the validator
+        // resolve a container-targeted edge to the same owner.
+        const fleet = new Set([...living, ...featureServices]);
+        const arch = archSlice(deltaDoc, service, id, fleet);
+        // The use-case axis, and the one section here that is a fact about the
+        // FLEET rather than about the feature's own files: which declared business
+        // flows already run through this service, and at which hop. An implementer
+        // handed "add the endpoint" and not told that step 4 of Checkout is the
+        // caller has to go find that out, and on a fleet of a hundred nobody does.
+        //
+        // The fleet set is `living ∪ featureServices`, the same union `archSlice`
+        // resolves with, so a service this feature INTRODUCES resolves to itself
+        // rather than to a container's title. And `useCaseBlastRadius` gates its
+        // own load: a docs repo whose architecture/ never mentions the reserved
+        // tag prefix costs a readdir and a few file reads here, not a LikeC4
+        // workspace — which is what keeps this command usable inside
+        // /loam-implement's inner loop.
+        const useCases = await useCaseBlastRadius({
+            docsDir: config.docsDir,
+            known: fleet,
+            services: new Set([service]),
+        });
+        // The business axis. Like the use-case section above it is a fact about
+        // the FEATURE rather than about this service's own files, and it is here
+        // for the sharper version of that section's reason: a capability delta
+        // NAMES NO SERVICE, so projecting the feature onto a service would drop
+        // it entirely — and the implementer handed "add the endpoint" would never
+        // learn which business promise the requirement they are about to write is
+        // supposed to keep. `Realizes: <capability>#<id>` is the line that says
+        // so, it is written on the SERVICE requirement, and the id in it is the
+        // one thing here that cannot be guessed.
+        //
+        // Not narrowed by `--service`, deliberately: the promise is what the
+        // whole feature is for, and narrowing it would report a capability-only
+        // feature as having nothing to say about every service in turn. One
+        // `existsSync` for a fleet that has not adopted the axis.
+        const capabilityDocs = (await featureCapabilityDeltas(feature.dir)).docs;
+        const capabilities = await capabilityDeltaSummaries(capabilityDocs, async (path) => parseRequirements(await readFile(path, "utf8")));
+        // An unparseable delta.likec4 empties the C4 slice, and a consumer
+        // reading this projection as a task brief — the JSON payload and the
+        // printed view alike — would take that as "no architecture change": the
+        // vacuously-green pattern. The output stays as informative as ever (and
+        // `ok` stays true under --json: the command ran); the exit code is what
+        // stops a pipeline from building on it, so it is set BEFORE the format
+        // fork — the guard is about the delta, not about how it is rendered.
+        //
+        // The two contract axes fail the same way and earn the same guard: an
+        // openapi.yaml or asyncapi.yaml that does not parse projects as an empty
+        // change list. `validate --feature` does catch both these days
+        // (`openapi.invalid` / `asyncapi.invalid` on the feature's own files),
+        // but the guard stays this command's own: the brief is consumed by
+        // agents that never ran validate, so the exit code must carry the
+        // failure itself.
+        if (arch.errors.length > 0 || api.unreadable || events.unreadable)
+            process.exitCode = 1;
+        // What the merge would take out of the living documents this projection
+        // touches — the archive plan's `dropped` rows, read the same way, so the
+        // brief says before the archive what the plan says during it.
+        const livingPaths = await locateServicePaths(config.docsDir, service);
+        const dropped = await droppedRows(config.docsDir, {
+            axes: [
+                { delta: reqs, living: livingPaths.spec },
+                { delta: archReqs, living: livingPaths.archSpec },
+            ],
+            capabilities: capabilityDocs,
+        });
+        if (json) {
+            // `axis` is a parameter and `service` stays in the closure, because the
+            // scenario digest is salted by BOTH and only one of them varies per
+            // call — the same Given/When/Then under `spec.md` and under
+            // `arch.spec.md` are two different claims, and one hash for both would
+            // let a green business run answer an integration test nobody wrote
+            // (core/gherkin/digest.ts owns that reasoning and the recipe).
+            const reqJson = (r, axis) => ({
+                kind: r.kind,
+                id: r.id,
+                // Where the requirement sits in the document it was parsed from, so a
+                // consumer can send an author to the line rather than to the file.
+                line: r.line,
+                basedOn: r.basedOn,
+                name: r.name,
+                text: r.text.join("\n").trim(),
+                operations: r.operations,
+                covers: r.covers,
+                // The five joins this projection used to drop on the floor. Every one
+                // of them is already written on the requirement and every one names
+                // work: which permission gates it, which capability it belongs to,
+                // which named promise it realizes, and which messages it produces and
+                // consumes. An implementer handed "add the endpoint" and none of this
+                // has to go read the markdown the payload claims to have projected.
+                requires: r.requires,
+                capabilities: r.capabilities,
+                realizes: r.realizes,
+                publishes: r.publishes,
+                consumes: r.consumes,
+                // Scenarios go out verbatim: they are the acceptance criteria and the
+                // source for the tests whoever picks this up is expected to write.
+                //
+                // `digest` is the EXACT join key the rest of the toolchain uses —
+                // `loam gherkin` stamps it on the generated scenario as
+                // `@loam-digest-<16hex>` (core/gherkin/stamp.ts) and `loam verify`
+                // matches a cucumber report's scenarios on it. Without it a consumer
+                // of this brief could name the acceptance criteria but not the test
+                // that answers them, and had to regenerate the suite to find out.
+                scenarios: r.scenarios.map((s) => ({
+                    name: s.name,
+                    lines: s.lines,
+                    line: s.line,
+                    digest: scenarioDigest(service, s.lines, axis),
+                })),
+            });
+            emitJson({
+                command: "delta",
+                feature: id,
+                service,
+                services: featureServices,
+                path: repoPath(config.docsDir, feature.dir),
+                intent,
+                requirements: reqs.map((r) => reqJson(r, "business")),
+                // Same shape, separate section: an arch requirement's scenarios are
+                // integration/ops tests, and a consumer must not have to parse prose
+                // to tell the two apart. The axis is passed rather than inferred
+                // because it is a digest SALT, not a label — see `reqJson` above.
+                archRequirements: archReqs.map((r) => reqJson(r, "arch")),
+                api: api.changes,
+                // `api` stays exactly the operations array it has always been — a
+                // consumer indexing it must not have to learn a new shape — so the
+                // readability of the document rides alongside as its own key,
+                // spelled the way `loam show` already spells it for a living
+                // contract. Additive, which the envelope permits (core/envelope/json.ts).
+                openapi: {
+                    unreadable: api.unreadable,
+                    ...(api.error === undefined ? {} : { error: api.error }),
+                },
+                // The event axis arrives after the api/openapi pair settled its
+                // split shape, so it is one additive key carrying both halves:
+                // the declarations and the document's readability.
+                events: {
+                    changes: events.changes,
+                    unreadable: events.unreadable,
+                    ...(events.error === undefined ? {} : { error: events.error }),
+                },
+                architecture: arch,
+                // Additive, which the envelope permits (core/envelope/json.ts), and
+                // deliberately NOT wired into the exit-code guard above. The three
+                // conditions there are about the FEATURE's own documents; an
+                // `architecture/` that does not parse is a pre-existing fleet defect
+                // `validate` already reports as `landscape.invalid`, and making every
+                // `loam delta` in such a repo exit 1 would be a new gate wearing the
+                // clothes of a new field. `unreadable` is how this payload says it
+                // could not look.
+                useCases: {
+                    unreadable: useCases.unreadable,
+                    ...(useCases.error === undefined ? {} : { error: useCases.error }),
+                    flows: useCases.flows,
+                },
+                // Additive, and an empty array rather than an absent key for the same
+                // reason `loam show`'s is: a consumer must not have to tell "this
+                // feature changes no capability" from "this loam does not report
+                // them". The shape is `show`'s, verbatim — the two commands are read
+                // side by side, and a second shape for one idea is a second thing to
+                // learn.
+                capabilities: capabilities.map((c) => ({
+                    id: c.id,
+                    path: repoPath(config.docsDir, c.spec),
+                    added: c.added,
+                    modified: c.modified,
+                    removed: c.removed,
+                    promises: c.promises,
+                })),
+                // Additive: every scenario and join-line entry the merge would take out
+                // of a living document, one row per replaced or removed requirement, in
+                // the shape `loam archive --json` carries as `dropped`. An empty array
+                // is the answer for a feature that only adds.
+                dropped,
+            });
+            return;
+        }
+        console.log(`${id} · ${service}\n`);
+        if (intent) {
+            console.log(indent(intent, "  "));
+            console.log();
+        }
+        if (existsSync(specPaths.spec))
+            printRequirements(reqs, "Requirements");
+        else
+            console.log("Requirements: (none for this service)\n");
+        if (existsSync(specPaths.archSpec))
+            printRequirements(archReqs, "Arch requirements");
+        if (existsSync(specPaths.openapi))
+            printApi(api);
+        if (existsSync(specPaths.asyncapi))
+            printEvents(events);
+        if (existsSync(paths.delta))
+            printArchSlice(arch, service);
+        printCapabilities(capabilities);
+        printDropped(dropped);
+        printUseCases(useCases, service);
+    });
+}
+/**
+ * Each living document's dropped rows (core/document/apply.ts), docs-relative.
+ *
+ * A pair the merge itself would refuse — malformed or repeated
+ * `Requirement-ID`s, an id and a heading selecting different requirements —
+ * is skipped rather than reported: `validate --feature` grades each under its
+ * own code, the archive refuses it, and a brief that died on it would hide
+ * every other section from the implementer. The catch is around the pure
+ * algebra alone, whose only throws are those refusals; the reads stay outside.
+ */
+async function droppedRows(docsDir, req) {
+    const pairs = [
+        ...req.axes,
+        ...(await Promise.all(req.capabilities.map(async (doc) => ({
+            delta: parseRequirements(await readFile(doc.spec, "utf8")),
+            living: livingCapabilityPaths(docsDir, doc.id).spec,
+        })))),
+    ];
+    const out = [];
+    for (const { delta, living } of pairs) {
+        if (delta.length === 0 || !existsSync(living))
+            continue;
+        const livingReqs = parseRequirements(await readFile(living, "utf8"));
+        let rows;
+        try {
+            rows = droppedBy(livingReqs, delta);
+        }
+        catch {
+            continue;
+        }
+        for (const row of rows)
+            out.push({ path: repoPath(docsDir, living), ...row });
+    }
+    return out;
+}
+//# sourceMappingURL=delta.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"delta.js","sourceRoot":"","sources":["../../../src/commands/delta/delta.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnF,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAClH,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAqB,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACpG,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,iBAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACtI,OAAO,EAAE,SAAS,EAAmB,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAG1E,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAOpC,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC5C,OAAO;SACJ,OAAO,CAAC,OAAO,CAAC;SAChB,QAAQ,CAAC,aAAa,EAAE,2BAA2B,CAAC;SACpD,WAAW,CAAC,wEAAwE,CAAC;SACrF,MAAM,CAAC,gBAAgB,EAAE,8DAA8D,CAAC;SACxF,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC;SACvE,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAAkB,EAAE,EAAE;QACtD,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,uEAAuE;QACvE,2EAA2E;QAC3E,+DAA+D;QAC/D,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACH,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;YAC7C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,CAAC,CAAC,GAAG,YAAY,cAAc,CAAC;oBAAE,MAAM,GAAG,CAAC;gBAChD,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC1C,OAAO;YACT,CAAC;QACH,CAAC;QAED,sEAAsE;QACtE,wEAAwE;QACxE,6CAA6C;QAC7C,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAC3E,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;YACrF,OAAO;QACT,CAAC;QACD,yEAAyE;QACzE,wEAAwE;QACxE,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC;QACvB,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAExC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9E,0EAA0E;QAC1E,qEAAqE;QACrE,MAAM,eAAe,GAAG;YACtB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,kBAAkB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;SACvE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEnB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,wEAAwE;YACxE,wEAAwE;YACxE,wEAAwE;YACxE,uEAAuE;YACvE,uBAAuB;YACvB,MAAM,OAAO,GACX,yBAAyB,EAAE,2DAA2D;gBACtF,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;oBAC3B,CAAC,CAAC,IAAI,EAAE,oCAAoC;oBAC5C,CAAC,CAAC,IAAI,EAAE,aAAa,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,IAAI,IAAI;gBAAE,aAAa,CAAC,gBAAgB,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC;iBAC1F,CAAC;gBACJ,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACvB,sEAAsE;gBACtE,oEAAoE;gBACpE,gEAAgE;gBAChE,sEAAsE;gBACtE,4CAA4C;gBAC5C,UAAU,CAAC,gBAAgB,CAAC,CAAC;gBAC7B,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACvB,CAAC;YACD,OAAO;QACT,CAAC;QAED,qEAAqE;QACrE,0EAA0E;QAC1E,sEAAsE;QACtE,kEAAkE;QAClE,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAChF,IAAI,CACF,IAAI,EACJ,gBAAgB,EAChB,eAAe,OAAO,+BAA+B,OAAO,oCAAoC,EAAE,UAAU;gBAC1G,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACxE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,mBAAmB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAC3F,CAAC;YACF,OAAO;QACT,CAAC;QAED,wBAAwB;QACxB,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;YACrC,CAAC,CAAC,gBAAgB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE;YAC/D,CAAC,CAAC,IAAI,CAAC;QAET,0EAA0E;QAC1E,0EAA0E;QAC1E,0EAA0E;QAC1E,+BAA+B;QAC/B,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;YACrC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3D,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC;YAC7C,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC/D,CAAC,CAAC,EAAE,CAAC;QAEP,4EAA4E;QAC5E,wEAAwE;QACxE,2EAA2E;QAC3E,yDAAyD;QACzD,MAAM,GAAG,GAAG,MAAM,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAEhD,yEAAyE;QACzE,yEAAyE;QACzE,oEAAoE;QACpE,kDAAkD;QAClD,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAEtD,wEAAwE;QACxE,sEAAsE;QACtE,uDAAuD;QACvD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;QAErD,uEAAuE;QACvE,2EAA2E;QAC3E,2EAA2E;QAC3E,wEAAwE;QACxE,2EAA2E;QAC3E,EAAE;QACF,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,wEAAwE;QACxE,qEAAqE;QACrE,6DAA6D;QAC7D,gCAAgC;QAChC,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC;YACxC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;SAC7B,CAAC,CAAC;QAEH,wEAAwE;QACxE,yEAAyE;QACzE,uEAAuE;QACvE,wEAAwE;QACxE,0EAA0E;QAC1E,0EAA0E;QAC1E,wEAAwE;QACxE,wEAAwE;QACxE,yCAAyC;QACzC,EAAE;QACF,qEAAqE;QACrE,wEAAwE;QACxE,oEAAoE;QACpE,0DAA0D;QAC1D,MAAM,cAAc,GAAG,CAAC,MAAM,uBAAuB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,MAAM,YAAY,GAAG,MAAM,wBAAwB,CACjD,cAAc,EACd,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAChE,CAAC;QAEF,mEAAmE;QACnE,qEAAqE;QACrE,wEAAwE;QACxE,wEAAwE;QACxE,wEAAwE;QACxE,uEAAuE;QACvE,qEAAqE;QACrE,EAAE;QACF,sEAAsE;QACtE,yEAAyE;QACzE,+DAA+D;QAC/D,uEAAuE;QACvE,mEAAmE;QACnE,kEAAkE;QAClE,kBAAkB;QAClB,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAExF,wEAAwE;QACxE,yEAAyE;QACzE,8DAA8D;QAC9D,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE;YAChD,IAAI,EAAE;gBACJ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE;gBACzC,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,EAAE;aAClD;YACD,YAAY,EAAE,cAAc;SAC7B,CAAC,CAAC;QAEH,IAAI,IAAI,EAAE,CAAC;YACT,wEAAwE;YACxE,oEAAoE;YACpE,4DAA4D;YAC5D,uEAAuE;YACvE,mEAAmE;YACnE,+DAA+D;YAC/D,MAAM,OAAO,GAAG,CAAC,CAAc,EAAE,IAAkB,EAA2B,EAAE,CAAC,CAAC;gBAChF,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,sEAAsE;gBACtE,mEAAmE;gBACnE,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;gBAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,sEAAsE;gBACtE,oEAAoE;gBACpE,mEAAmE;gBACnE,sEAAsE;gBACtE,sEAAsE;gBACtE,oEAAoE;gBACpE,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,sEAAsE;gBACtE,mEAAmE;gBACnE,EAAE;gBACF,kEAAkE;gBAClE,wDAAwD;gBACxD,mEAAmE;gBACnE,qEAAqE;gBACrE,oEAAoE;gBACpE,kEAAkE;gBAClE,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACjC,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,MAAM,EAAE,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC;iBAC/C,CAAC,CAAC;aACJ,CAAC,CAAC;YACH,QAAQ,CAAC;gBACP,OAAO,EAAE,OAAO;gBAChB,OAAO,EAAE,EAAE;gBACX,OAAO;gBACP,QAAQ,EAAE,eAAe;gBACzB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;gBAC3C,MAAM;gBACN,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;gBACrD,oEAAoE;gBACpE,qEAAqE;gBACrE,iEAAiE;gBACjE,kEAAkE;gBAClE,gBAAgB,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACzD,GAAG,EAAE,GAAG,CAAC,OAAO;gBAChB,kEAAkE;gBAClE,mEAAmE;gBACnE,8DAA8D;gBAC9D,6DAA6D;gBAC7D,0EAA0E;gBAC1E,OAAO,EAAE;oBACP,UAAU,EAAE,GAAG,CAAC,UAAU;oBAC1B,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;iBACzD;gBACD,gEAAgE;gBAChE,+DAA+D;gBAC/D,mDAAmD;gBACnD,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;iBAC/D;gBACD,YAAY,EAAE,IAAI;gBAClB,oEAAoE;gBACpE,mEAAmE;gBACnE,6DAA6D;gBAC7D,qEAAqE;gBACrE,sEAAsE;gBACtE,qEAAqE;gBACrE,mEAAmE;gBACnE,kBAAkB;gBAClB,QAAQ,EAAE;oBACR,UAAU,EAAE,QAAQ,CAAC,UAAU;oBAC/B,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;oBAClE,KAAK,EAAE,QAAQ,CAAC,KAAK;iBACtB;gBACD,sEAAsE;gBACtE,kEAAkE;gBAClE,iEAAiE;gBACjE,qEAAqE;gBACrE,qEAAqE;gBACrE,SAAS;gBACT,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACrC,EAAE,EAAE,CAAC,CAAC,EAAE;oBACR,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC;oBACtC,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC,CAAC;gBACH,wEAAwE;gBACxE,wEAAwE;gBACxE,uEAAuE;gBACvE,8CAA8C;gBAC9C,OAAO;aACR,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,OAAO,IAAI,CAAC,CAAC;QACpC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAClC,OAAO,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC;QACD,IAAI,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,iBAAiB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;;YACnE,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;QAC5D,IAAI,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC;YAAE,iBAAiB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;QACrF,IAAI,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC;YAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,iBAAiB,CAAC,YAAY,CAAC,CAAC;QAChC,YAAY,CAAC,OAAO,CAAC,CAAC;QACtB,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACP,CAAC;AAUD;;;;;;;;;GASG;AACH,KAAK,UAAU,WAAW,CAAC,OAAgB,EAAE,GAAmB;IAC9D,MAAM,KAAK,GAAG;QACZ,GAAG,GAAG,CAAC,IAAI;QACX,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CACnB,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACnC,KAAK,EAAE,iBAAiB,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM,EAAE,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI;SACpD,CAAC,CAAC,CACJ,CAAC;KACH,CAAC;IACF,MAAM,GAAG,GAAyC,EAAE,CAAC;IACrD,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,SAAS;QACxD,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACrE,IAAI,IAAkB,CAAC;QACvB,IAAI,CAAC;YACH,IAAI,GAAG,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC","sourcesContent":["import type { Command } from \"commander\";\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { InvalidIdError, assertServiceId } from \"../../core/kernel/ids/service.js\";\nimport { configOrRefuse, emitJson, emitJsonError, fail, repoPath, sayExplain } from \"../../core/envelope/json.js\";\nimport { loadFile } from \"../../core/c4/likec4.js\";\nimport { compareIds, nearestIds } from \"../../core/repo/entries.js\";\nimport { featurePaths, featureSpecPaths } from \"../../core/repo/paths.js\";\nimport { missingFeatureMessage, resolveFeature } from \"../../core/repo/repo.js\";\nimport { parseRequirements } from \"../../core/document/parse.js\";\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport { type ScenarioAxis } from \"../../core/gherkin/digest.js\";\nimport { scenarioDigest } from \"../../core/gherkin/stamp.js\";\nimport { stripFrontmatter } from \"../../core/document/frontmatter.js\";\nimport { apiChanges } from \"../../core/projection/api.js\";\nimport { eventChanges } from \"../../core/projection/events.js\";\nimport { archSlice, introducedServices, livingServices } from \"../../core/projection/arch-slice.js\";\nimport { useCaseBlastRadius } from \"../../core/usecases/touch.js\";\nimport { featureCapabilityDeltas } from \"../../core/capabilities/delta/tree.js\";\nimport { capabilityDeltaSummaries } from \"../../core/capabilities/delta/summary.js\";\nimport { printApi, printArchSlice, printCapabilities, printDropped, printEvents, printRequirements, printUseCases } from \"./print.js\";\nimport { droppedBy, type DroppedRow } from \"../../core/document/apply.js\";\nimport { locateServicePaths } from \"../../core/repo/service-target.js\";\nimport { livingCapabilityPaths } from \"../../core/repo/authored/paths.js\";\nimport type { CapabilityDoc } from \"../../core/capabilities/tree.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\nimport { indent } from \"./print.js\";\n\ninterface DeltaOptions {\n  service?: string;\n  json?: boolean;\n}\n\nexport function registerDelta(program: Command): void {\n  program\n    .command(\"delta\")\n    .argument(\"<featureId>\", \"feature id, e.g. FEAT-101\")\n    .description(\"Project a feature onto a service: why + requirement delta + C4 changes\")\n    .option(\"--service <id>\", \"service to project onto (defaults to the configured service)\")\n    .option(\"--json\", \"emit the machine contract instead of the human view\")\n    .action(async (featureId: string, opts: DeltaOptions) => {\n      const json = opts.json === true;\n      const config = await configOrRefuse(json);\n      if (config === null) return;\n\n      // The id grammar first, and on the RAW argument: `--service ../../etc`\n      // reaches `featureSpecPaths` and reads from outside the feature directory.\n      // One grammar for the whole tool (core/kernel/ids/service.ts).\n      if (opts.service !== undefined) {\n        try {\n          assertServiceId(opts.service, \"--service\");\n        } catch (err) {\n          if (!(err instanceof InvalidIdError)) throw err;\n          fail(json, \"invalid-option\", err.message);\n          return;\n        }\n      }\n\n      // The feature is resolved BEFORE the service is chosen, because every\n      // sentence about the service (\"which ones does this feature touch?\") is\n      // only answerable once the feature is known.\n      const feature = await resolveFeature(config.docsDir, featureId, \"exclude\");\n      if (!feature) {\n        fail(json, \"unknown-target\", await missingFeatureMessage(config.docsDir, featureId));\n        return;\n      }\n      // Canonical id from here on — the delta's tags carry `#FEAT-5`, so a raw\n      // `FEAT-5-slug` argument used to empty the architecture slice silently.\n      const { id } = feature;\n      const paths = featurePaths(feature.dir);\n\n      const deltaDoc = existsSync(paths.delta) ? await loadFile(paths.delta) : null;\n      // Services the feature speaks about at all: one with a requirement delta,\n      // or one its C4 delta introduces. This is the list a refusal quotes.\n      const featureServices = [\n        ...new Set([...feature.services, ...introducedServices(deltaDoc, id)]),\n      ].sort(compareIds);\n\n      const service = opts.service ?? config.service;\n      if (!service) {\n        // The refusal NAMES the choices. \"No service. Pass --service <id>\" told\n        // the reader the shape of the flag and nothing about the answer, so the\n        // next step was always to go list the feature's specs/ by hand — and an\n        // agent had no way to recover at all. The list rides the JSON envelope\n        // for the same reason.\n        const message =\n          `No service to project ${id} onto. Pass --service <id> or set 'service' in loam.json.` +\n          (featureServices.length === 0\n            ? ` ${id} carries no per-service delta yet.`\n            : ` ${id} touches: ${featureServices.join(\", \")}.`);\n        if (json) emitJsonError(\"invalid-option\", message, { feature: id, services: featureServices });\n        else {\n          console.error(message);\n          // This arm refuses by hand because the envelope carries `services` as\n          // data, which `fail()` has no room for — so the code and its lookup\n          // are asked for explicitly, with the same code the branch above\n          // emits. Without it this was one of the two refusals that most needed\n          // `loam explain` and had no way to name it.\n          sayExplain(\"invalid-option\");\n          process.exitCode = 1;\n        }\n        return;\n      }\n\n      // A service nobody has heard of produces a perfectly plausible EMPTY\n      // report — no requirements, no edges, \"no architecture change\" — which an\n      // agent consuming this as a task brief reads as \"nothing to do here\".\n      // A typo must never be indistinguishable from a finished service.\n      const living = await livingServices(config.docsDir);\n      if (!featureServices.includes(service) && !living.includes(service)) {\n        const near = nearestIds(service, [...new Set([...featureServices, ...living])]);\n        fail(\n          json,\n          \"unknown-target\",\n          `No service '${service}': it is neither a services/${service}/ in the docs repo nor a service ${id} touches` +\n            (featureServices.length === 0 ? \"\" : ` (${featureServices.join(\", \")})`) +\n            (near.length === 0 ? \".\" : ` — did you mean ${near.map((n) => `'${n}'`).join(\" or \")}?`),\n        );\n        return;\n      }\n\n      // Why — business intent\n      const intent = existsSync(paths.intent)\n        ? stripFrontmatter(await readFile(paths.intent, \"utf8\")).trim()\n        : null;\n\n      // Requirement delta for this service (OpenSpec style), business and arch:\n      // the same projection covers both axes, in the same shape, so the payload\n      // stays one task — the arch requirements are the integration/ops half the\n      // business ones never mention.\n      const specPaths = featureSpecPaths(feature.dir, service);\n      const reqs = existsSync(specPaths.spec)\n        ? parseRequirements(await readFile(specPaths.spec, \"utf8\"))\n        : [];\n      const archReqs = existsSync(specPaths.archSpec)\n        ? parseRequirements(await readFile(specPaths.archSpec, \"utf8\"))\n        : [];\n\n      // The contract axis. Until now no command surfaced it at all: the feature's\n      // openapi.yaml was read by validate and by archive, and the one command\n      // whose output IS the implementation task never mentioned it — so \"add the\n      // endpoint\" was the half of the work the brief left out.\n      const api = await apiChanges(specPaths.openapi);\n\n      // The event axis, same reasoning: a feature's asyncapi.yaml is merged by\n      // archive and graded by validate, so the brief must name what it changes\n      // — a message the implementer was never told to publish is the same\n      // dropped work as an endpoint the brief left out.\n      const events = await eventChanges(specPaths.asyncapi);\n\n      // C4 architecture slice. The fleet union mirrors coherence's: services/\n      // plus the feature's own specs/ names, so the slice and the validator\n      // resolve a container-targeted edge to the same owner.\n      const fleet = new Set([...living, ...featureServices]);\n      const arch = archSlice(deltaDoc, service, id, fleet);\n\n      // The use-case axis, and the one section here that is a fact about the\n      // FLEET rather than about the feature's own files: which declared business\n      // flows already run through this service, and at which hop. An implementer\n      // handed \"add the endpoint\" and not told that step 4 of Checkout is the\n      // caller has to go find that out, and on a fleet of a hundred nobody does.\n      //\n      // The fleet set is `living ∪ featureServices`, the same union `archSlice`\n      // resolves with, so a service this feature INTRODUCES resolves to itself\n      // rather than to a container's title. And `useCaseBlastRadius` gates its\n      // own load: a docs repo whose architecture/ never mentions the reserved\n      // tag prefix costs a readdir and a few file reads here, not a LikeC4\n      // workspace — which is what keeps this command usable inside\n      // /loam-implement's inner loop.\n      const useCases = await useCaseBlastRadius({\n        docsDir: config.docsDir,\n        known: fleet,\n        services: new Set([service]),\n      });\n\n      // The business axis. Like the use-case section above it is a fact about\n      // the FEATURE rather than about this service's own files, and it is here\n      // for the sharper version of that section's reason: a capability delta\n      // NAMES NO SERVICE, so projecting the feature onto a service would drop\n      // it entirely — and the implementer handed \"add the endpoint\" would never\n      // learn which business promise the requirement they are about to write is\n      // supposed to keep. `Realizes: <capability>#<id>` is the line that says\n      // so, it is written on the SERVICE requirement, and the id in it is the\n      // one thing here that cannot be guessed.\n      //\n      // Not narrowed by `--service`, deliberately: the promise is what the\n      // whole feature is for, and narrowing it would report a capability-only\n      // feature as having nothing to say about every service in turn. One\n      // `existsSync` for a fleet that has not adopted the axis.\n      const capabilityDocs = (await featureCapabilityDeltas(feature.dir)).docs;\n      const capabilities = await capabilityDeltaSummaries(\n        capabilityDocs,\n        async (path) => parseRequirements(await readFile(path, \"utf8\")),\n      );\n\n      // An unparseable delta.likec4 empties the C4 slice, and a consumer\n      // reading this projection as a task brief — the JSON payload and the\n      // printed view alike — would take that as \"no architecture change\": the\n      // vacuously-green pattern. The output stays as informative as ever (and\n      // `ok` stays true under --json: the command ran); the exit code is what\n      // stops a pipeline from building on it, so it is set BEFORE the format\n      // fork — the guard is about the delta, not about how it is rendered.\n      //\n      // The two contract axes fail the same way and earn the same guard: an\n      // openapi.yaml or asyncapi.yaml that does not parse projects as an empty\n      // change list. `validate --feature` does catch both these days\n      // (`openapi.invalid` / `asyncapi.invalid` on the feature's own files),\n      // but the guard stays this command's own: the brief is consumed by\n      // agents that never ran validate, so the exit code must carry the\n      // failure itself.\n      if (arch.errors.length > 0 || api.unreadable || events.unreadable) process.exitCode = 1;\n\n      // What the merge would take out of the living documents this projection\n      // touches — the archive plan's `dropped` rows, read the same way, so the\n      // brief says before the archive what the plan says during it.\n      const livingPaths = await locateServicePaths(config.docsDir, service);\n      const dropped = await droppedRows(config.docsDir, {\n        axes: [\n          { delta: reqs, living: livingPaths.spec },\n          { delta: archReqs, living: livingPaths.archSpec },\n        ],\n        capabilities: capabilityDocs,\n      });\n\n      if (json) {\n        // `axis` is a parameter and `service` stays in the closure, because the\n        // scenario digest is salted by BOTH and only one of them varies per\n        // call — the same Given/When/Then under `spec.md` and under\n        // `arch.spec.md` are two different claims, and one hash for both would\n        // let a green business run answer an integration test nobody wrote\n        // (core/gherkin/digest.ts owns that reasoning and the recipe).\n        const reqJson = (r: Requirement, axis: ScenarioAxis): Record<string, unknown> => ({\n          kind: r.kind,\n          id: r.id,\n          // Where the requirement sits in the document it was parsed from, so a\n          // consumer can send an author to the line rather than to the file.\n          line: r.line,\n          basedOn: r.basedOn,\n          name: r.name,\n          text: r.text.join(\"\\n\").trim(),\n          operations: r.operations,\n          covers: r.covers,\n          // The five joins this projection used to drop on the floor. Every one\n          // of them is already written on the requirement and every one names\n          // work: which permission gates it, which capability it belongs to,\n          // which named promise it realizes, and which messages it produces and\n          // consumes. An implementer handed \"add the endpoint\" and none of this\n          // has to go read the markdown the payload claims to have projected.\n          requires: r.requires,\n          capabilities: r.capabilities,\n          realizes: r.realizes,\n          publishes: r.publishes,\n          consumes: r.consumes,\n          // Scenarios go out verbatim: they are the acceptance criteria and the\n          // source for the tests whoever picks this up is expected to write.\n          //\n          // `digest` is the EXACT join key the rest of the toolchain uses —\n          // `loam gherkin` stamps it on the generated scenario as\n          // `@loam-digest-<16hex>` (core/gherkin/stamp.ts) and `loam verify`\n          // matches a cucumber report's scenarios on it. Without it a consumer\n          // of this brief could name the acceptance criteria but not the test\n          // that answers them, and had to regenerate the suite to find out.\n          scenarios: r.scenarios.map((s) => ({\n            name: s.name,\n            lines: s.lines,\n            line: s.line,\n            digest: scenarioDigest(service, s.lines, axis),\n          })),\n        });\n        emitJson({\n          command: \"delta\",\n          feature: id,\n          service,\n          services: featureServices,\n          path: repoPath(config.docsDir, feature.dir),\n          intent,\n          requirements: reqs.map((r) => reqJson(r, \"business\")),\n          // Same shape, separate section: an arch requirement's scenarios are\n          // integration/ops tests, and a consumer must not have to parse prose\n          // to tell the two apart. The axis is passed rather than inferred\n          // because it is a digest SALT, not a label — see `reqJson` above.\n          archRequirements: archReqs.map((r) => reqJson(r, \"arch\")),\n          api: api.changes,\n          // `api` stays exactly the operations array it has always been — a\n          // consumer indexing it must not have to learn a new shape — so the\n          // readability of the document rides alongside as its own key,\n          // spelled the way `loam show` already spells it for a living\n          // contract. Additive, which the envelope permits (core/envelope/json.ts).\n          openapi: {\n            unreadable: api.unreadable,\n            ...(api.error === undefined ? {} : { error: api.error }),\n          },\n          // The event axis arrives after the api/openapi pair settled its\n          // split shape, so it is one additive key carrying both halves:\n          // the declarations and the document's readability.\n          events: {\n            changes: events.changes,\n            unreadable: events.unreadable,\n            ...(events.error === undefined ? {} : { error: events.error }),\n          },\n          architecture: arch,\n          // Additive, which the envelope permits (core/envelope/json.ts), and\n          // deliberately NOT wired into the exit-code guard above. The three\n          // conditions there are about the FEATURE's own documents; an\n          // `architecture/` that does not parse is a pre-existing fleet defect\n          // `validate` already reports as `landscape.invalid`, and making every\n          // `loam delta` in such a repo exit 1 would be a new gate wearing the\n          // clothes of a new field. `unreadable` is how this payload says it\n          // could not look.\n          useCases: {\n            unreadable: useCases.unreadable,\n            ...(useCases.error === undefined ? {} : { error: useCases.error }),\n            flows: useCases.flows,\n          },\n          // Additive, and an empty array rather than an absent key for the same\n          // reason `loam show`'s is: a consumer must not have to tell \"this\n          // feature changes no capability\" from \"this loam does not report\n          // them\". The shape is `show`'s, verbatim — the two commands are read\n          // side by side, and a second shape for one idea is a second thing to\n          // learn.\n          capabilities: capabilities.map((c) => ({\n            id: c.id,\n            path: repoPath(config.docsDir, c.spec),\n            added: c.added,\n            modified: c.modified,\n            removed: c.removed,\n            promises: c.promises,\n          })),\n          // Additive: every scenario and join-line entry the merge would take out\n          // of a living document, one row per replaced or removed requirement, in\n          // the shape `loam archive --json` carries as `dropped`. An empty array\n          // is the answer for a feature that only adds.\n          dropped,\n        });\n        return;\n      }\n\n      console.log(`${id} · ${service}\\n`);\n      if (intent) {\n        console.log(indent(intent, \"  \"));\n        console.log();\n      }\n      if (existsSync(specPaths.spec)) printRequirements(reqs, \"Requirements\");\n      else console.log(\"Requirements: (none for this service)\\n\");\n      if (existsSync(specPaths.archSpec)) printRequirements(archReqs, \"Arch requirements\");\n      if (existsSync(specPaths.openapi)) printApi(api);\n      if (existsSync(specPaths.asyncapi)) printEvents(events);\n      if (existsSync(paths.delta)) printArchSlice(arch, service);\n      printCapabilities(capabilities);\n      printDropped(dropped);\n      printUseCases(useCases, service);\n    });\n}\n\n/** The documents one projection's dropped rows are read over. */\ninterface DroppedRequest {\n  /** The service's two spec axes: the feature's parsed delta and the living document's path. */\n  axes: Array<{ delta: Requirement[]; living: string }>;\n  /** The feature's capability deltas — not narrowed by `--service`, for the capabilities section's reason. */\n  capabilities: readonly CapabilityDoc[];\n}\n\n/**\n * Each living document's dropped rows (core/document/apply.ts), docs-relative.\n *\n * A pair the merge itself would refuse — malformed or repeated\n * `Requirement-ID`s, an id and a heading selecting different requirements —\n * is skipped rather than reported: `validate --feature` grades each under its\n * own code, the archive refuses it, and a brief that died on it would hide\n * every other section from the implementer. The catch is around the pure\n * algebra alone, whose only throws are those refusals; the reads stay outside.\n */\nasync function droppedRows(docsDir: DocsDir, req: DroppedRequest): Promise<Array<DroppedRow & { path: string }>> {\n  const pairs = [\n    ...req.axes,\n    ...(await Promise.all(\n      req.capabilities.map(async (doc) => ({\n        delta: parseRequirements(await readFile(doc.spec, \"utf8\")),\n        living: livingCapabilityPaths(docsDir, doc.id).spec,\n      })),\n    )),\n  ];\n  const out: Array<DroppedRow & { path: string }> = [];\n  for (const { delta, living } of pairs) {\n    if (delta.length === 0 || !existsSync(living)) continue;\n    const livingReqs = parseRequirements(await readFile(living, \"utf8\"));\n    let rows: DroppedRow[];\n    try {\n      rows = droppedBy(livingReqs, delta);\n    } catch {\n      continue;\n    }\n    for (const row of rows) out.push({ path: repoPath(docsDir, living), ...row });\n  }\n  return out;\n}\n"]}