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

package/dist/core/diff/scope/changed-paths.js

@@ -0,0 +1,188 @@
+/**
+ * Which targets a base git ref puts in scope — the narrowing behind
+ * `loam validate --all --base <ref>`.
+ *
+ * The defect this exists for: a partly-adopted fleet has no CI setting that is
+ * both passing today and tightening over time. `--all` is green over eleven
+ * undocumented services (they warn, and warnings do not gate) and `--strict` is
+ * red from the first minute of adoption until the last boundary is written, so
+ * a team installs either a gate that never notices adoption stalling at 8% or
+ * one it cannot turn on. `--base` is the third setting: grade what this branch
+ * TOUCHED, at full `--strict` severity if the caller wants it, and let the
+ * untouched majority stay untouched.
+ *
+ * A SUB-PACKAGE of `core/diff/` rather than a sixth file in it, because that
+ * directory is at the five-file limit and because this is a different subject
+ * from the semantic diff beside it: `diff` compares two states of the fleet and
+ * reports what moved, this one only decides WHICH SUBJECTS a run should look
+ * at. Nothing here reads a document.
+ *
+ * What it does NOT do, and the line is not negotiable: a diff-scoped validate
+ * cannot see a victim boundary the change did not touch. Removing an operation
+ * from `payment-service` puts `payment-service` in scope and leaves
+ * `checkout-web` — whose living requirement still names the operation — out of
+ * it. That join is `loam diff --base`'s question and it stays `loam diff`'s;
+ * the two gates answer "did you document what you touched" and "did you break a
+ * consumer", and neither substitutes for the other. Selling a green here that
+ * hides a broken join would be worse than shipping no flag at all.
+ */
+import { declineDetail, gitText } from "../../provenance/git.js";
+import { repoPath } from "../../envelope/json.js";
+import { resolveBase } from "../base-git.js";
+/**
+ * Every path that differs between `ref` and the WORKING TREE, docs-relative.
+ *
+ * Two questions, not one, and the second is not optional: `git diff` compares
+ * the tree git tracks, so a service adopted five minutes ago — a brand new
+ * `services/<id>/spec.md` nobody has committed — is invisible to it. `validate`
+ * grades the working tree, so the scope has to be the working tree's, and an
+ * untracked new boundary that the run then skipped would be the flag's very
+ * first user reporting that it graded nothing.
+ *
+ * `--no-renames` on purpose: with rename detection on (git's default since
+ * 2.9) a service moved into a subsystem reports only its DESTINATION, and the
+ * checks that grade the fleet from the old placement would be out of scope.
+ * Two paths for a move is the honest answer.
+ *
+ * `-z` because git quotes non-ASCII and space-bearing paths in line output —
+ * the same reason `gitTrackedFiles` asks that way, and the same phantom
+ * directory named `"src` if it did not.
+ */
+async function changedPaths(docsDir, commit, prefix) {
+    // Both run from docsDir. `git diff` ignores cwd and answers for the whole
+    // repository with root-relative paths; `git ls-files` restricts itself to
+    // cwd, and `--full-name` makes ITS paths root-relative too — so one prefix
+    // strip below is correct for both, exactly as `listBaseTree` needs one.
+    const tracked = await gitText(docsDir, ["diff", "--name-only", "--no-renames", "-z", commit, "--"]);
+    if (tracked.spawnError !== undefined || tracked.code !== 0 || tracked.overflowed) {
+        return { detail: tracked.overflowed ? "the changed-path listing exceeded the output cap." : declineDetail(tracked) };
+    }
+    const untracked = await gitText(docsDir, ["ls-files", "--others", "--exclude-standard", "--full-name", "-z"]);
+    if (untracked.spawnError !== undefined || untracked.code !== 0 || untracked.overflowed) {
+        return { detail: untracked.overflowed ? "the untracked-path listing exceeded the output cap." : declineDetail(untracked) };
+    }
+    const seen = new Set();
+    for (const raw of [...tracked.out.split("\0"), ...untracked.out.split("\0")]) {
+        // A docs repo checked out as a subdirectory of a larger repository answers
+        // in the whole repository's paths; anything outside the docs dir is
+        // somebody else's change and is not a target here.
+        if (raw === "" || !raw.startsWith(prefix))
+            continue;
+        const rel = raw.slice(prefix.length);
+        if (rel !== "")
+            seen.add(rel);
+    }
+    return [...seen].sort();
+}
+/**
+ * Is `path` inside `dir`? Both docs-relative, forward-slashed.
+ *
+ * A prefix test on the directory plus a separator, never a split on "/" and a
+ * read of the second segment: a service filed under a subsystem lives at
+ * `services/platform/payment-service/`, not at `services/<id>/`, and a
+ * path-splitting implementation drops every filed service out of scope
+ * SILENTLY — the run stays green because it graded nothing, which is the exact
+ * failure this flag is not allowed to have. The separator is what stops
+ * `services/pay` from claiming `services/payments/spec.md`.
+ */
+function inside(path, dir) {
+    return dir !== "" && (path === dir || path.startsWith(`${dir}/`));
+}
+/** The fleet's own documents — the landscape target's subject, which owns no service directory. */
+const ARCHITECTURE_DIR = "architecture";
+/**
+ * Narrow a `--all` run to what changed since `ref`.
+ *
+ * Targets are matched through the ENUMERATIONS' own directories
+ * (`ServiceEntry.dir`, `FeatureEntry.dir`), turned docs-relative by the same
+ * `repoPath` the JSON contract uses. That is the whole reason the enumerations
+ * are passed in rather than re-derived: they already know where each service
+ * sits, at whatever depth, and asking them is what makes a filed fleet work.
+ */
+export async function scopeSince(request) {
+    const { docsDir, ref } = request;
+    const base = await resolveBase(docsDir, ref);
+    if (base.kind === "no-git") {
+        return {
+            kind: "refused",
+            code: "repository-unavailable",
+            message: `The docs repo at ${docsDir} is not somewhere git can answer from (${base.detail}) — ` +
+                `--base narrows the run to what changed since a ref, which it reads with read-only git questions ` +
+                `(rev-parse/diff/ls-files). Clone the docs repo with its history, then re-run — or drop --base to grade every target.`,
+        };
+    }
+    if (base.kind === "no-ref") {
+        return {
+            kind: "refused",
+            code: "unknown-target",
+            message: `--base ${ref} does not resolve to a commit in the docs repo at ${docsDir}` +
+                `${base.detail === "" ? "" : ` (${base.detail})`}. ` +
+                `Pass a ref that exists there — main, origin/main, a tag or a commit sha — fetching first if it lives on the remote.`,
+        };
+    }
+    const changed = await changedPaths(docsDir, base.commit, base.prefix);
+    if (!Array.isArray(changed)) {
+        // Git resolved the ref and then would not say what moved. There is no
+        // partial answer to give: a scope built from half an answer grades a
+        // subset nobody chose and reports it as the branch's whole footprint.
+        return {
+            kind: "refused",
+            code: "repository-unavailable",
+            message: `git could not list what changed since ${ref} in the docs repo at ${docsDir} (${changed.detail}) — ` +
+                `without that list there is no honest scope, and a run over a guessed subset would report a green ` +
+                `for targets nobody graded. Re-run once git can answer, or drop --base to grade every target.`,
+        };
+    }
+    const dirOf = (abs) => repoPath(docsDir, abs);
+    return {
+        kind: "scope",
+        ref,
+        commit: base.commit,
+        // `architecture/` is the landscape target's whole directory: the fleet map,
+        // the permission/capability/obligation vocabularies and the fleet ADRs all
+        // live there, and every one of them is graded by the landscape target
+        // rather than by any service.
+        landscape: changed.some((path) => inside(path, ARCHITECTURE_DIR)),
+        services: request.services.filter((svc) => changed.some((path) => inside(path, dirOf(svc.dir)))),
+        features: request.features.filter((feat) => changed.some((path) => inside(path, dirOf(feat.dir)))),
+        totals: { services: request.services.length, features: request.features.length },
+    };
+}
+/**
+ * The `scope` object the `--json` payload carries — the run saying out loud
+ * what it looked at.
+ *
+ * Additive, and emitted only under `--base`, so no consumer of today's payload
+ * moves. It exists because the alternative is a payload that is byte-shaped
+ * like a whole-fleet run and is not one: `summary.services` would report two
+ * where the fleet has twelve, `valid: true` would read as a claim about the
+ * fleet, and nothing in the document would say otherwise.
+ */
+export function scopeJson(scope) {
+    return {
+        base: scope.ref,
+        commit: scope.commit,
+        landscape: scope.landscape,
+        services: scope.services.map((svc) => svc.id),
+        features: scope.features.map((feat) => feat.id),
+        totals: scope.totals,
+    };
+}
+/**
+ * The one line both the text view and a reader of a CI log need: how much of
+ * the fleet this run actually graded, and against what.
+ *
+ * The "nothing was graded" clause is the load-bearing half. A `--base` run with
+ * no targets in scope has nothing to report and exits 0 — correctly, the branch
+ * touched no governed boundary — and a 0 that reads like a green over the
+ * system is the exact failure the docs-repo readiness gate exists to prevent.
+ * So the sentence says it, rather than letting an empty report say nothing.
+ */
+export function scopeLine(scope) {
+    const graded = scope.services.length + scope.features.length + (scope.landscape ? 1 : 0);
+    return (`${scope.services.length} of ${scope.totals.services} services, ` +
+        `${scope.features.length} of ${scope.totals.features} features in scope since ${scope.ref}` +
+        (scope.landscape ? ", plus the landscape" : "") +
+        (graded === 0 ? " — nothing was graded" : ""));
+}
+//# sourceMappingURL=changed-paths.js.map

package/dist/core/diff/scope/changed-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"changed-paths.js","sourceRoot":"","sources":["../../../../src/core/diff/scope/changed-paths.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAkB,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAgD7C;;;;;;;;;;;;;;;;;;GAkBG;AACH,KAAK,UAAU,YAAY,CAAC,OAAgB,EAAE,MAAc,EAAE,MAAc;IAC1E,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,wEAAwE;IACxE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACpG,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACjF,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,mDAAmD,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;IACvH,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,oBAAoB,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9G,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QACvF,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;IAC7H,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC7E,2EAA2E;QAC3E,oEAAoE;QACpE,mDAAmD;QACnD,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,SAAS;QACpD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,MAAM,CAAC,IAAY,EAAE,GAAW;IACvC,OAAO,GAAG,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,mGAAmG;AACnG,MAAM,gBAAgB,GAAG,cAAc,CAAC;AAExC;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,OAAqB;IACpD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EACL,oBAAoB,OAAO,0CAA0C,IAAI,CAAC,MAAM,MAAM;gBACtF,kGAAkG;gBAClG,sHAAsH;SACzH,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,gBAAgB;YACtB,OAAO,EACL,UAAU,GAAG,qDAAqD,OAAO,EAAE;gBAC3E,GAAG,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM,GAAG,IAAI;gBACpD,qHAAqH;SACxH,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,sEAAsE;QACtE,qEAAqE;QACrE,sEAAsE;QACtE,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EACL,yCAAyC,GAAG,wBAAwB,OAAO,KAAK,OAAO,CAAC,MAAM,MAAM;gBACpG,mGAAmG;gBACnG,8FAA8F;SACjG,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9D,OAAO;QACL,IAAI,EAAE,OAAO;QACb,GAAG;QACH,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,4EAA4E;QAC5E,2EAA2E;QAC3E,sEAAsE;QACtE,8BAA8B;QAC9B,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACjE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChG,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClG,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE;KACjF,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CAAC,KAAoB;IAC5C,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,GAAG;QACf,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CAAC,KAAoB;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,OAAO,CACL,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,aAAa;QACjE,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,4BAA4B,KAAK,CAAC,GAAG,EAAE;QAC3F,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC,CAC9C,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Which targets a base git ref puts in scope — the narrowing behind\n * `loam validate --all --base <ref>`.\n *\n * The defect this exists for: a partly-adopted fleet has no CI setting that is\n * both passing today and tightening over time. `--all` is green over eleven\n * undocumented services (they warn, and warnings do not gate) and `--strict` is\n * red from the first minute of adoption until the last boundary is written, so\n * a team installs either a gate that never notices adoption stalling at 8% or\n * one it cannot turn on. `--base` is the third setting: grade what this branch\n * TOUCHED, at full `--strict` severity if the caller wants it, and let the\n * untouched majority stay untouched.\n *\n * A SUB-PACKAGE of `core/diff/` rather than a sixth file in it, because that\n * directory is at the five-file limit and because this is a different subject\n * from the semantic diff beside it: `diff` compares two states of the fleet and\n * reports what moved, this one only decides WHICH SUBJECTS a run should look\n * at. Nothing here reads a document.\n *\n * What it does NOT do, and the line is not negotiable: a diff-scoped validate\n * cannot see a victim boundary the change did not touch. Removing an operation\n * from `payment-service` puts `payment-service` in scope and leaves\n * `checkout-web` — whose living requirement still names the operation — out of\n * it. That join is `loam diff --base`'s question and it stays `loam diff`'s;\n * the two gates answer \"did you document what you touched\" and \"did you break a\n * consumer\", and neither substitutes for the other. Selling a green here that\n * hides a broken join would be worse than shipping no flag at all.\n */\nimport { declineDetail, gitText } from \"../../provenance/git.js\";\nimport { repoPath, type ErrorCode } from \"../../envelope/json.js\";\nimport { resolveBase } from \"../base-git.js\";\nimport type { DocsDir } from \"../../kernel/ids/dirs.js\";\nimport type { FeatureEntry, ServiceEntry } from \"../../repo/entries.js\";\n\n/** Everything the narrowing needs: where to ask, what to ask about, and what there is to narrow. */\nexport interface ScopeRequest {\n  docsDir: DocsDir;\n  /** The ref as the caller spelled it — echoed in every message and in the payload. */\n  ref: string;\n  /** The run's full service enumeration, at whatever depth the tree walk found each one. */\n  services: readonly ServiceEntry[];\n  /** The run's full ACTIVE feature enumeration. */\n  features: readonly FeatureEntry[];\n}\n\n/** The narrowed run: which targets the branch touched, and what it narrowed from. */\nexport interface ValidateScope {\n  kind: \"scope\";\n  ref: string;\n  /** The 40-hex commit `ref` resolved to — what a rerun would have to pass to reproduce this scope. */\n  commit: string;\n  /** Did `architecture/` change? The landscape target is the fleet's own subject and has no directory of its own. */\n  landscape: boolean;\n  services: ServiceEntry[];\n  features: FeatureEntry[];\n  /** The denominators — what the run would have graded without `--base`. */\n  totals: { services: number; features: number };\n}\n\n/**\n * A refusal, already spelled. The code is one `loam diff` already emits for the\n * same two conditions and the message is in the same register, deliberately: a\n * second stable code for \"that ref does not resolve\" would be a second thing to\n * document, branch on and keep in step, for a condition that is identical.\n *\n * The prose is built here rather than in the command because it is the same\n * sentence for every caller and because `base-git.ts`'s `detail` — git's own\n * words, bounded — is what makes it diagnosable; a command that only received a\n * `kind` would have to reinvent the sentence to say why.\n */\nexport interface ScopeRefusal {\n  kind: \"refused\";\n  code: ErrorCode;\n  message: string;\n}\n\nexport type ScopeOutcome = ValidateScope | ScopeRefusal;\n\n/**\n * Every path that differs between `ref` and the WORKING TREE, docs-relative.\n *\n * Two questions, not one, and the second is not optional: `git diff` compares\n * the tree git tracks, so a service adopted five minutes ago — a brand new\n * `services/<id>/spec.md` nobody has committed — is invisible to it. `validate`\n * grades the working tree, so the scope has to be the working tree's, and an\n * untracked new boundary that the run then skipped would be the flag's very\n * first user reporting that it graded nothing.\n *\n * `--no-renames` on purpose: with rename detection on (git's default since\n * 2.9) a service moved into a subsystem reports only its DESTINATION, and the\n * checks that grade the fleet from the old placement would be out of scope.\n * Two paths for a move is the honest answer.\n *\n * `-z` because git quotes non-ASCII and space-bearing paths in line output —\n * the same reason `gitTrackedFiles` asks that way, and the same phantom\n * directory named `\"src` if it did not.\n */\nasync function changedPaths(docsDir: DocsDir, commit: string, prefix: string): Promise<string[] | { detail: string }> {\n  // Both run from docsDir. `git diff` ignores cwd and answers for the whole\n  // repository with root-relative paths; `git ls-files` restricts itself to\n  // cwd, and `--full-name` makes ITS paths root-relative too — so one prefix\n  // strip below is correct for both, exactly as `listBaseTree` needs one.\n  const tracked = await gitText(docsDir, [\"diff\", \"--name-only\", \"--no-renames\", \"-z\", commit, \"--\"]);\n  if (tracked.spawnError !== undefined || tracked.code !== 0 || tracked.overflowed) {\n    return { detail: tracked.overflowed ? \"the changed-path listing exceeded the output cap.\" : declineDetail(tracked) };\n  }\n  const untracked = await gitText(docsDir, [\"ls-files\", \"--others\", \"--exclude-standard\", \"--full-name\", \"-z\"]);\n  if (untracked.spawnError !== undefined || untracked.code !== 0 || untracked.overflowed) {\n    return { detail: untracked.overflowed ? \"the untracked-path listing exceeded the output cap.\" : declineDetail(untracked) };\n  }\n  const seen = new Set<string>();\n  for (const raw of [...tracked.out.split(\"\\0\"), ...untracked.out.split(\"\\0\")]) {\n    // A docs repo checked out as a subdirectory of a larger repository answers\n    // in the whole repository's paths; anything outside the docs dir is\n    // somebody else's change and is not a target here.\n    if (raw === \"\" || !raw.startsWith(prefix)) continue;\n    const rel = raw.slice(prefix.length);\n    if (rel !== \"\") seen.add(rel);\n  }\n  return [...seen].sort();\n}\n\n/**\n * Is `path` inside `dir`? Both docs-relative, forward-slashed.\n *\n * A prefix test on the directory plus a separator, never a split on \"/\" and a\n * read of the second segment: a service filed under a subsystem lives at\n * `services/platform/payment-service/`, not at `services/<id>/`, and a\n * path-splitting implementation drops every filed service out of scope\n * SILENTLY — the run stays green because it graded nothing, which is the exact\n * failure this flag is not allowed to have. The separator is what stops\n * `services/pay` from claiming `services/payments/spec.md`.\n */\nfunction inside(path: string, dir: string): boolean {\n  return dir !== \"\" && (path === dir || path.startsWith(`${dir}/`));\n}\n\n/** The fleet's own documents — the landscape target's subject, which owns no service directory. */\nconst ARCHITECTURE_DIR = \"architecture\";\n\n/**\n * Narrow a `--all` run to what changed since `ref`.\n *\n * Targets are matched through the ENUMERATIONS' own directories\n * (`ServiceEntry.dir`, `FeatureEntry.dir`), turned docs-relative by the same\n * `repoPath` the JSON contract uses. That is the whole reason the enumerations\n * are passed in rather than re-derived: they already know where each service\n * sits, at whatever depth, and asking them is what makes a filed fleet work.\n */\nexport async function scopeSince(request: ScopeRequest): Promise<ScopeOutcome> {\n  const { docsDir, ref } = request;\n  const base = await resolveBase(docsDir, ref);\n  if (base.kind === \"no-git\") {\n    return {\n      kind: \"refused\",\n      code: \"repository-unavailable\",\n      message:\n        `The docs repo at ${docsDir} is not somewhere git can answer from (${base.detail}) — ` +\n        `--base narrows the run to what changed since a ref, which it reads with read-only git questions ` +\n        `(rev-parse/diff/ls-files). Clone the docs repo with its history, then re-run — or drop --base to grade every target.`,\n    };\n  }\n  if (base.kind === \"no-ref\") {\n    return {\n      kind: \"refused\",\n      code: \"unknown-target\",\n      message:\n        `--base ${ref} does not resolve to a commit in the docs repo at ${docsDir}` +\n        `${base.detail === \"\" ? \"\" : ` (${base.detail})`}. ` +\n        `Pass a ref that exists there — main, origin/main, a tag or a commit sha — fetching first if it lives on the remote.`,\n    };\n  }\n\n  const changed = await changedPaths(docsDir, base.commit, base.prefix);\n  if (!Array.isArray(changed)) {\n    // Git resolved the ref and then would not say what moved. There is no\n    // partial answer to give: a scope built from half an answer grades a\n    // subset nobody chose and reports it as the branch's whole footprint.\n    return {\n      kind: \"refused\",\n      code: \"repository-unavailable\",\n      message:\n        `git could not list what changed since ${ref} in the docs repo at ${docsDir} (${changed.detail}) — ` +\n        `without that list there is no honest scope, and a run over a guessed subset would report a green ` +\n        `for targets nobody graded. Re-run once git can answer, or drop --base to grade every target.`,\n    };\n  }\n\n  const dirOf = (abs: string): string => repoPath(docsDir, abs);\n  return {\n    kind: \"scope\",\n    ref,\n    commit: base.commit,\n    // `architecture/` is the landscape target's whole directory: the fleet map,\n    // the permission/capability/obligation vocabularies and the fleet ADRs all\n    // live there, and every one of them is graded by the landscape target\n    // rather than by any service.\n    landscape: changed.some((path) => inside(path, ARCHITECTURE_DIR)),\n    services: request.services.filter((svc) => changed.some((path) => inside(path, dirOf(svc.dir)))),\n    features: request.features.filter((feat) => changed.some((path) => inside(path, dirOf(feat.dir)))),\n    totals: { services: request.services.length, features: request.features.length },\n  };\n}\n\n/**\n * The `scope` object the `--json` payload carries — the run saying out loud\n * what it looked at.\n *\n * Additive, and emitted only under `--base`, so no consumer of today's payload\n * moves. It exists because the alternative is a payload that is byte-shaped\n * like a whole-fleet run and is not one: `summary.services` would report two\n * where the fleet has twelve, `valid: true` would read as a claim about the\n * fleet, and nothing in the document would say otherwise.\n */\nexport function scopeJson(scope: ValidateScope): Record<string, unknown> {\n  return {\n    base: scope.ref,\n    commit: scope.commit,\n    landscape: scope.landscape,\n    services: scope.services.map((svc) => svc.id),\n    features: scope.features.map((feat) => feat.id),\n    totals: scope.totals,\n  };\n}\n\n/**\n * The one line both the text view and a reader of a CI log need: how much of\n * the fleet this run actually graded, and against what.\n *\n * The \"nothing was graded\" clause is the load-bearing half. A `--base` run with\n * no targets in scope has nothing to report and exits 0 — correctly, the branch\n * touched no governed boundary — and a 0 that reads like a green over the\n * system is the exact failure the docs-repo readiness gate exists to prevent.\n * So the sentence says it, rather than letting an empty report say nothing.\n */\nexport function scopeLine(scope: ValidateScope): string {\n  const graded = scope.services.length + scope.features.length + (scope.landscape ? 1 : 0);\n  return (\n    `${scope.services.length} of ${scope.totals.services} services, ` +\n    `${scope.features.length} of ${scope.totals.features} features in scope since ${scope.ref}` +\n    (scope.landscape ? \", plus the landscape\" : \"\") +\n    (graded === 0 ? \" — nothing was graded\" : \"\")\n  );\n}\n"]}

package/dist/core/diff/semantic.js

@@ -0,0 +1,243 @@
+/**
+ * The diff computation: join the base fleet (`./base-state.ts`) against the
+ * working tree (`./current-state.ts`) and say, per service, what changed in
+ * FLEET-MEANINGFUL terms — requirements by identity and digest, operations
+ * and messages by their join tokens, cross-service joins by tuple — with the
+ * current consumers of every removal named (`./victims.ts`).
+ *
+ * Two disciplines rule every branch here. Removal is graded against who still
+ * depends on it: a removal nobody names is a warning, a removal the fleet
+ * still joins to is an error and sets `breaking`. And "nobody could look" is
+ * never "nothing changed": an unreadable artifact on EITHER side suspends
+ * that subject's axis — recorded in `unreadable[]`, counted in the summary,
+ * carried into the exit code by the command — instead of letting an
+ * unreadable base read as everything-added or an unreadable working file
+ * read as everything-removed.
+ */
+import { requirementDigest } from "../document/spec.js";
+import { consumerJoinChanges } from "./victims.js";
+/** Severity is a fact about the code, not a call-site choice — one table, no drift. */
+const DIFF_SEVERITY = {
+    "diff.service-added": "ok",
+    "diff.service-removed": "warn",
+    "diff.requirement-added": "ok",
+    "diff.requirement-removed": "warn",
+    "diff.requirement-modified": "ok",
+    "diff.op-added": "ok",
+    "diff.op-removed": "warn",
+    "diff.op-removed-consumed": "error",
+    "diff.op-deprecated": "warn",
+    "diff.message-added": "ok",
+    "diff.message-removed": "warn",
+    "diff.message-removed-consumed": "error",
+    "diff.consumer-added": "ok",
+    "diff.consumer-removed": "ok",
+};
+function found(code, message, details) {
+    const carry = details !== undefined && details.length > 0;
+    return { severity: DIFF_SEVERITY[code], code, message, ...(carry ? { details } : {}) };
+}
+/** A side the service does not exist on: absence everywhere, honestly. */
+const ABSENT = { kind: "absent" };
+const emptyState = (id) => ({ id, dir: "", spec: ABSENT, archSpec: ABSENT, openapi: ABSENT, asyncapi: ABSENT });
+/**
+ * Guard one axis pair: record unreadable sides on the sink and say whether
+ * the axis may be compared at all. Reading one good side against a suspended
+ * one would grade absence it never proved.
+ */
+function comparable(sink, axis, pair) {
+    for (const side of ["base", "current"]) {
+        const state = pair[side];
+        if (state.kind === "unreadable")
+            sink.unreadable.push({ side, axis, path: state.path, error: state.error });
+    }
+    return pair.base.kind !== "unreadable" && pair.current.kind !== "unreadable";
+}
+const valueOr = (axis) => (axis.kind === "read" ? axis.value : []);
+/** Identity: `Requirement-ID:` when authored, the heading otherwise — the same join `loam rebase` pins against. */
+const reqKey = (r) => (r.id !== undefined ? `id:${r.id}` : `name:${r.name}`);
+const reqLabel = (r) => (r.id !== undefined ? `${r.name} [${r.id}]` : r.name);
+/** First declaration wins a duplicated key — the same arbitrary-but-stated pick every join on these axes makes. */
+function firstWins(items, key) {
+    const map = new Map();
+    for (const item of items)
+        if (!map.has(key(item)))
+            map.set(key(item), item);
+    return map;
+}
+/** Entry comparator by map key — explicit, because the default sort stringifies whole entries. */
+const byKey = (a, b) => (a[0] < b[0] ? -1 : 1);
+function requirementsDiff(sink, pair) {
+    // v1 diffs spec.md's requirements only; arch.spec.md is read for the
+    // Consumes: join but its requirement inventory is deferred (the two axes
+    // are separate namespaces, and diffing both doubles the surface). Both
+    // pairs are guarded BEFORE the early return, so a service whose two spec
+    // files are both unreadable reports both suspensions, not just the first.
+    const specComparable = comparable(sink, "spec", { base: pair.base.spec, current: pair.current.spec });
+    comparable(sink, "archSpec", { base: pair.base.archSpec, current: pair.current.archSpec });
+    if (!specComparable)
+        return;
+    const base = firstWins(valueOr(pair.base.spec), reqKey);
+    const current = firstWins(valueOr(pair.current.spec), reqKey);
+    for (const [key, r] of [...current].sort(byKey)) {
+        const before = base.get(key);
+        if (before === undefined)
+            sink.findings.push(found("diff.requirement-added", `living requirement added since base: '${reqLabel(r)}'`));
+        else if (requirementDigest(before) !== requirementDigest(r)) {
+            sink.findings.push(found("diff.requirement-modified", `living requirement modified since base: '${reqLabel(r)}'`));
+        }
+    }
+    for (const [key, r] of [...base].sort(byKey)) {
+        if (!current.has(key))
+            sink.findings.push(found("diff.requirement-removed", `living requirement removed since base: '${reqLabel(r)}'`));
+    }
+}
+async function opsDiff(sink, pair, victims) {
+    if (!comparable(sink, "openapi", { base: pair.base.openapi, current: pair.current.openapi }))
+        return;
+    const base = firstWins(valueOr(pair.base.openapi), (op) => op.id);
+    const current = firstWins(valueOr(pair.current.openapi), (op) => op.id);
+    for (const [id, op] of [...current].sort(byKey)) {
+        const before = base.get(id);
+        if (before === undefined) {
+            sink.findings.push(found("diff.op-added", `operation '${id}' added since base (${op.method.toUpperCase()} ${op.path})`));
+        }
+        else if (!before.deprecated && op.deprecated) {
+            const scan = await victims.opConsumers(sink.id, id);
+            // Three honest phrasings — never a confident negative over a scan that skipped an unreadable consumer document.
+            const stance = scan.victims.length > 0 ? `${scan.victims.length} current consumer(s) still name it`
+                : scan.suspended.length > 0 ? "whether current consumers name it could not be fully answered"
+                    : "no current consumer names it";
+            sink.findings.push(found("diff.op-deprecated", `operation '${id}' is deprecated since base — ${stance}`, [...scan.victims, ...scan.suspended]));
+        }
+    }
+    for (const [id] of [...base].sort(byKey)) {
+        if (current.has(id))
+            continue;
+        const scan = await victims.opConsumers(sink.id, id);
+        if (scan.victims.length > 0) {
+            sink.findings.push(found("diff.op-removed-consumed", `operation '${id}' was removed since base and the current fleet still names it — these joins break`, [...scan.victims, ...scan.suspended]));
+        }
+        else if (scan.suspended.length > 0) {
+            // "Nobody could be scanned" is not "nobody names it" — the consumer's own
+            // unreadable[] entry already carries the run to exit 1; this message must
+            // not assert a negative the scan never proved.
+            sink.findings.push(found("diff.op-removed", `operation '${id}' was removed since base; whether the current fleet still names it could NOT be fully answered — ${scan.suspended.length} consumer document(s) were not scannable`, scan.suspended));
+        }
+        else {
+            sink.findings.push(found("diff.op-removed", `operation '${id}' was removed since base; no current landscape edge or living requirement names it`));
+        }
+    }
+}
+async function messagesDiff(sink, pair, victims) {
+    if (!comparable(sink, "asyncapi", { base: pair.base.asyncapi, current: pair.current.asyncapi }))
+        return;
+    const base = firstWins(valueOr(pair.base.asyncapi), (m) => m.name);
+    const current = firstWins(valueOr(pair.current.asyncapi), (m) => m.name);
+    for (const [name] of [...current].sort(byKey)) {
+        if (!base.has(name))
+            sink.findings.push(found("diff.message-added", `message '${name}' added since base`));
+    }
+    for (const [name] of [...base].sort(byKey)) {
+        if (current.has(name))
+            continue;
+        // Fleet-global join: a name another current service still declares is not
+        // orphaned (positive evidence only — an unreadable contract never vouches).
+        const elsewhere = victims.declarers(name).filter((d) => d !== sink.id);
+        if (elsewhere.length > 0) {
+            sink.findings.push(found("diff.message-removed", `message '${name}' was removed since base; still declared by ${elsewhere.join(", ")}`));
+            continue;
+        }
+        const scan = await victims.messageConsumers(sink.id, name);
+        if (scan.victims.length > 0) {
+            sink.findings.push(found("diff.message-removed-consumed", `message '${name}' was removed since base and the current fleet still consumes it — these joins break`, [...scan.victims, ...scan.suspended]));
+        }
+        else if (scan.suspended.length > 0) {
+            sink.findings.push(found("diff.message-removed", `message '${name}' was removed since base; whether anything still consumes it could NOT be fully answered — ${scan.suspended.length} consumer document(s) were not scannable`, scan.suspended));
+        }
+        else {
+            sink.findings.push(found("diff.message-removed", `message '${name}' was removed since base; nothing currently consumes it`));
+        }
+    }
+}
+/** The graded join changes (`victims.ts`) as findings on each PROVIDER — the service whose surface the join lands on. */
+function consumerFindings(input) {
+    const changes = consumerJoinChanges({
+        base: input.base.services,
+        baseAmbiguous: new Set(input.base.ambiguous.keys()),
+        current: input.current.services,
+        currentAmbiguous: new Set(input.current.ambiguous.keys()),
+    });
+    const byProvider = new Map();
+    for (const { t, change } of changes) {
+        const what = t.kind === "op" ? `operation '${t.token}'` : `message '${t.token}'`;
+        const message = change === "added"
+            ? `${t.consumer}'s living requirements now name this service's ${what} — a cross-service join appeared since base`
+            : `${t.consumer}'s living requirements no longer name this service's ${what} — a cross-service join went away`;
+        // The call sits directly in the push — assigned to a `const x = found(…)`
+        // it reads as an arrow-function DECLARATION to the stable-code collector,
+        // and both consumer codes silently leave the guarded set.
+        byProvider.set(t.provider, [
+            ...(byProvider.get(t.provider) ?? []),
+            found(change === "added" ? "diff.consumer-added" : "diff.consumer-removed", message),
+        ]);
+    }
+    return byProvider;
+}
+async function diffService(unit) {
+    const sink = { id: unit.id, change: "unchanged", findings: [], unreadable: [] };
+    if (unit.base === undefined)
+        sink.findings.push(found("diff.service-added", `service '${unit.id}' added since base`));
+    if (unit.current === undefined && unit.base !== undefined) {
+        sink.findings.push(found("diff.service-removed", `service '${unit.id}' (${unit.base.dir}) is gone from the working tree`));
+    }
+    const pair = { base: unit.base ?? emptyState(unit.id), current: unit.current ?? emptyState(unit.id) };
+    requirementsDiff(sink, pair);
+    await opsDiff(sink, pair, unit.victims);
+    await messagesDiff(sink, pair, unit.victims);
+    return sink;
+}
+export async function computeDiff(input) {
+    const sides = [input.base.services, input.base.ambiguous, input.current.services, input.current.ambiguous];
+    const ids = [...new Set(sides.flatMap((side) => [...side.keys()]))].sort();
+    const joins = consumerFindings({ base: input.base, current: input.current });
+    const services = [];
+    // Sequential on purpose: the report's order IS the contract (identical
+    // states must emit identical bytes), the work per service is in-memory
+    // joins, and the one expensive read — the victim index's landscape — is
+    // memoised behind its first ask, so a fan-out would buy nothing.
+    for (const id of ids) {
+        const claimants = [...(input.base.ambiguous.get(id) ?? []), ...(input.current.ambiguous.get(id) ?? [])];
+        if (claimants.length > 0) {
+            // An id two directories claim — either side — has no single state to
+            // diff; the whole subject suspends (containment), and the live walk's
+            // `subsystem.name-collision` names the same defect for validate.
+            services.push({ id, change: "changed", findings: [], unreadable: [], ambiguous: claimants });
+            continue;
+        }
+        const sink = await diffService({ id, base: input.base.services.get(id), current: input.current.services.get(id), victims: input.victims });
+        sink.findings.push(...(joins.get(id) ?? []));
+        if (input.base.services.has(id) && !input.current.services.has(id))
+            sink.change = "removed";
+        else if (!input.base.services.has(id))
+            sink.change = "added";
+        else
+            sink.change = sink.findings.length > 0 || sink.unreadable.length > 0 ? "changed" : "unchanged";
+        services.push(sink);
+    }
+    const all = services.flatMap((s) => s.findings);
+    const count = (codes) => all.filter(codes).length;
+    return {
+        services,
+        breaking: all.some((f) => f.severity === "error"),
+        summary: {
+            added: count((f) => f.code.endsWith("-added")),
+            removed: count((f) => f.code.endsWith("-removed") || f.code.endsWith("-removed-consumed")),
+            modified: count((f) => f.code === "diff.requirement-modified"),
+            deprecated: count((f) => f.code === "diff.op-deprecated"),
+            unreadable: services.reduce((n, s) => n + s.unreadable.length, 0) +
+                services.filter((s) => s.ambiguous !== undefined).length,
+        },
+    };
+}
+//# sourceMappingURL=semantic.js.map

package/dist/core/diff/semantic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic.js","sourceRoot":"","sources":["../../../src/core/diff/semantic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,iBAAiB,EAAoB,MAAM,qBAAqB,CAAC;AAI1E,OAAO,EAAE,mBAAmB,EAAoB,MAAM,cAAc,CAAC;AAqCrE,uFAAuF;AACvF,MAAM,aAAa,GAA+B;IAChD,oBAAoB,EAAE,IAAI;IAC1B,sBAAsB,EAAE,MAAM;IAC9B,wBAAwB,EAAE,IAAI;IAC9B,0BAA0B,EAAE,MAAM;IAClC,2BAA2B,EAAE,IAAI;IACjC,eAAe,EAAE,IAAI;IACrB,iBAAiB,EAAE,MAAM;IACzB,0BAA0B,EAAE,OAAO;IACnC,oBAAoB,EAAE,MAAM;IAC5B,oBAAoB,EAAE,IAAI;IAC1B,sBAAsB,EAAE,MAAM;IAC9B,+BAA+B,EAAE,OAAO;IACxC,qBAAqB,EAAE,IAAI;IAC3B,uBAAuB,EAAE,IAAI;CAC9B,CAAC;AAEF,SAAS,KAAK,CAAC,IAAc,EAAE,OAAe,EAAE,OAAkB;IAChE,MAAM,KAAK,GAAG,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1D,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,CAAC;AA2BD,0EAA0E;AAC1E,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAW,CAAC;AAC3C,MAAM,UAAU,GAAG,CAAC,EAAU,EAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAEtI;;;;GAIG;AACH,SAAS,UAAU,CAAC,IAAiB,EAAE,IAA6B,EAAE,IAA+D;IACnI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,SAAS,CAAU,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;YAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9G,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC;AAC/E,CAAC;AAED,MAAM,OAAO,GAAG,CAAI,IAAoB,EAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAE3F,mHAAmH;AACnH,MAAM,MAAM,GAAG,CAAC,CAAc,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAClG,MAAM,QAAQ,GAAG,CAAC,CAAc,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAEnG,mHAAmH;AACnH,SAAS,SAAS,CAAI,KAAU,EAAE,GAAwB;IACxD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAa,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,kGAAkG;AAClG,MAAM,KAAK,GAAG,CAAI,CAAc,EAAE,CAAc,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpF,SAAS,gBAAgB,CAAC,IAAiB,EAAE,IAAmD;IAC9F,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,yEAAyE;IACzE,0EAA0E;IAC1E,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACtG,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC3F,IAAI,CAAC,cAAc;QAAE,OAAO;IAC5B,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9D,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,yCAAyC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;aAClI,IAAI,iBAAiB,CAAC,MAAM,CAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE,4CAA4C,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,2CAA2C,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1I,CAAC;AACH,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,IAAiB,EAAE,IAAmD,EAAE,OAAoB;IACjH,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAAE,OAAO;IACrG,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACxE,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,cAAc,EAAE,uBAAuB,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAC3H,CAAC;aAAM,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,gHAAgH;YAChH,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,oCAAoC;gBACjG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,+DAA+D;oBAC7F,CAAC,CAAC,8BAA8B,CAAC;YACnC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,cAAc,EAAE,gCAAgC,MAAM,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAC9B,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,cAAc,EAAE,mFAAmF,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnM,CAAC;aAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,0EAA0E;YAC1E,0EAA0E;YAC1E,+CAA+C;YAC/C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,cAAc,EAAE,oGAAoG,IAAI,CAAC,SAAS,CAAC,MAAM,0CAA0C,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QACpP,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,cAAc,EAAE,oFAAoF,CAAC,CAAC,CAAC;QACrJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,IAAiB,EAAE,IAAmD,EAAE,OAAoB;IACtH,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QAAE,OAAO;IACxG,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzE,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,YAAY,IAAI,oBAAoB,CAAC,CAAC,CAAC;IAC7G,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,0EAA0E;QAC1E,4EAA4E;QAC5E,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;QACvE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,YAAY,IAAI,+CAA+C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACzI,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,YAAY,IAAI,sFAAsF,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3M,CAAC;aAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,YAAY,IAAI,8FAA8F,IAAI,CAAC,SAAS,CAAC,MAAM,0CAA0C,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QACnP,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,YAAY,IAAI,yDAAyD,CAAC,CAAC,CAAC;QAC/H,CAAC;IACH,CAAC;AACH,CAAC;AAED,yHAAyH;AACzH,SAAS,gBAAgB,CAAC,KAAiD;IACzE,MAAM,OAAO,GAAG,mBAAmB,CAAC;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ;QACzB,aAAa,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACnD,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ;QAC/B,gBAAgB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;KAC1D,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,KAAK,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,GAAG,CAAC;QACjF,MAAM,OAAO,GAAG,MAAM,KAAK,OAAO;YAChC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,kDAAkD,IAAI,6CAA6C;YAClH,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,wDAAwD,IAAI,mCAAmC,CAAC;QACjH,0EAA0E;QAC1E,0EAA0E;QAC1E,0DAA0D;QAC1D,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE;YACzB,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACrC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,uBAAuB,EAAE,OAAO,CAAC;SACrF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,IAAuF;IAChH,MAAM,IAAI,GAAgB,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC7F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,YAAY,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC;IACtH,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,YAAY,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,iCAAiC,CAAC,CAAC,CAAC;IAC7H,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;IACtG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7B,MAAM,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,KAAuE;IACvG,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC3G,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,uEAAuE;IACvE,uEAAuE;IACvE,wEAAwE;IACxE,iEAAiE;IACjE,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxG,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,qEAAqE;YACrE,sEAAsE;YACtE,iEAAiE;YACjE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;YAC7F,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3I,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;aACvF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;;YACxD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC;QACpG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,CAAC,KAA8B,EAAU,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;IACnF,OAAO;QACL,QAAQ;QACR,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QACjD,OAAO,EAAE;YACP,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC9C,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;YAC1F,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2BAA2B,CAAC;YAC9D,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC;YACzD,UAAU,EACR,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;gBACrD,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,MAAM;SAC3D;KACF,CAAC;AACJ,CAAC","sourcesContent":["/**\n * The diff computation: join the base fleet (`./base-state.ts`) against the\n * working tree (`./current-state.ts`) and say, per service, what changed in\n * FLEET-MEANINGFUL terms — requirements by identity and digest, operations\n * and messages by their join tokens, cross-service joins by tuple — with the\n * current consumers of every removal named (`./victims.ts`).\n *\n * Two disciplines rule every branch here. Removal is graded against who still\n * depends on it: a removal nobody names is a warning, a removal the fleet\n * still joins to is an error and sets `breaking`. And \"nobody could look\" is\n * never \"nothing changed\": an unreadable artifact on EITHER side suspends\n * that subject's axis — recorded in `unreadable[]`, counted in the summary,\n * carried into the exit code by the command — instead of letting an\n * unreadable base read as everything-added or an unreadable working file\n * read as everything-removed.\n */\nimport { requirementDigest, type Requirement } from \"../document/spec.js\";\nimport type { Severity, Finding } from \"../vocabulary/report.js\";\nimport type { AxisState, BaseFleet, ServiceState } from \"./base-state.js\";\nimport type { CurrentFleet } from \"./current-state.js\";\nimport { consumerJoinChanges, type VictimIndex } from \"./victims.js\";\n\n/**\n * The stable finding codes `loam diff` emits. Codes are the machine contract;\n * prose may be reworded, these may not. Documented (backticked) in the\n * generated AGENTS.md's diff section — codes-drift enforces that.\n */\nexport type DiffCode =\n  /** A `services/<id>/` directory exists now that did not at the base ref. */\n  | \"diff.service-added\"\n  /** A service present at the base ref is gone from the working tree. */\n  | \"diff.service-removed\"\n  /** A living requirement (by `Requirement-ID:`, else heading) not present at base. */\n  | \"diff.requirement-added\"\n  /** A base requirement no longer in the living spec. */\n  | \"diff.requirement-removed\"\n  /** Same requirement identity on both sides, `requirementDigest` moved — rebase pins never move it. */\n  | \"diff.requirement-modified\"\n  /** An operationId in the living contract absent at base. */\n  | \"diff.op-added\"\n  /** A base operationId gone from the living contract, and no current consumer names it. */\n  | \"diff.op-removed\"\n  /** Removed since base AND the current fleet still names it — landscape edge or foreign living requirement; details list the victims. Sets `breaking`. */\n  | \"diff.op-removed-consumed\"\n  /** `deprecated: true` introduced since base; details name the current consumers. */\n  | \"diff.op-deprecated\"\n  /** An AsyncAPI message name absent at base. */\n  | \"diff.message-added\"\n  /** A base message gone, nothing currently consumes it (or another service still declares it — the details say). */\n  | \"diff.message-removed\"\n  /** Removed since base AND still consumed — a `Consumes:` line or a consumes-edge; details list the victims. Sets `breaking`. */\n  | \"diff.message-removed-consumed\"\n  /** A cross-service join appeared since base: another service's living requirement now names this service's operation or message. */\n  | \"diff.consumer-added\"\n  /** A cross-service join present at base is gone. */\n  | \"diff.consumer-removed\";\n\n/** Severity is a fact about the code, not a call-site choice — one table, no drift. */\nconst DIFF_SEVERITY: Record<DiffCode, Severity> = {\n  \"diff.service-added\": \"ok\",\n  \"diff.service-removed\": \"warn\",\n  \"diff.requirement-added\": \"ok\",\n  \"diff.requirement-removed\": \"warn\",\n  \"diff.requirement-modified\": \"ok\",\n  \"diff.op-added\": \"ok\",\n  \"diff.op-removed\": \"warn\",\n  \"diff.op-removed-consumed\": \"error\",\n  \"diff.op-deprecated\": \"warn\",\n  \"diff.message-added\": \"ok\",\n  \"diff.message-removed\": \"warn\",\n  \"diff.message-removed-consumed\": \"error\",\n  \"diff.consumer-added\": \"ok\",\n  \"diff.consumer-removed\": \"ok\",\n};\n\nfunction found(code: DiffCode, message: string, details?: string[]): Finding {\n  const carry = details !== undefined && details.length > 0;\n  return { severity: DIFF_SEVERITY[code], code, message, ...(carry ? { details } : {}) };\n}\n\n/** One suspended axis: which side could not be read, and why. */\nexport interface UnreadableEntry {\n  side: \"base\" | \"current\";\n  axis: \"spec\" | \"archSpec\" | \"openapi\" | \"asyncapi\";\n  path: string;\n  error: string;\n}\n\nexport interface ServiceDiff {\n  id: string;\n  change: \"added\" | \"removed\" | \"changed\" | \"unchanged\";\n  findings: Finding[];\n  unreadable: UnreadableEntry[];\n  /** Directories claiming this id when more than one does, on either side — every finding suspended. */\n  ambiguous?: string[];\n}\n\nexport interface FleetDiff {\n  services: ServiceDiff[];\n  /** True iff any error-severity finding — a removal the fleet still consumes. */\n  breaking: boolean;\n  /** `unreadable` counts suspended axes plus ambiguous base identities: places nobody could look. */\n  summary: { added: number; removed: number; modified: number; deprecated: number; unreadable: number };\n}\n\n/** A side the service does not exist on: absence everywhere, honestly. */\nconst ABSENT = { kind: \"absent\" } as const;\nconst emptyState = (id: string): ServiceState => ({ id, dir: \"\", spec: ABSENT, archSpec: ABSENT, openapi: ABSENT, asyncapi: ABSENT });\n\n/**\n * Guard one axis pair: record unreadable sides on the sink and say whether\n * the axis may be compared at all. Reading one good side against a suspended\n * one would grade absence it never proved.\n */\nfunction comparable(sink: ServiceDiff, axis: UnreadableEntry[\"axis\"], pair: { base: AxisState<unknown>; current: AxisState<unknown> }): boolean {\n  for (const side of [\"base\", \"current\"] as const) {\n    const state = pair[side];\n    if (state.kind === \"unreadable\") sink.unreadable.push({ side, axis, path: state.path, error: state.error });\n  }\n  return pair.base.kind !== \"unreadable\" && pair.current.kind !== \"unreadable\";\n}\n\nconst valueOr = <T>(axis: AxisState<T[]>): T[] => (axis.kind === \"read\" ? axis.value : []);\n\n/** Identity: `Requirement-ID:` when authored, the heading otherwise — the same join `loam rebase` pins against. */\nconst reqKey = (r: Requirement): string => (r.id !== undefined ? `id:${r.id}` : `name:${r.name}`);\nconst reqLabel = (r: Requirement): string => (r.id !== undefined ? `${r.name} [${r.id}]` : r.name);\n\n/** First declaration wins a duplicated key — the same arbitrary-but-stated pick every join on these axes makes. */\nfunction firstWins<T>(items: T[], key: (item: T) => string): Map<string, T> {\n  const map = new Map<string, T>();\n  for (const item of items) if (!map.has(key(item))) map.set(key(item), item);\n  return map;\n}\n\n/** Entry comparator by map key — explicit, because the default sort stringifies whole entries. */\nconst byKey = <T>(a: [string, T], b: [string, T]): number => (a[0] < b[0] ? -1 : 1);\n\nfunction requirementsDiff(sink: ServiceDiff, pair: { base: ServiceState; current: ServiceState }): void {\n  // v1 diffs spec.md's requirements only; arch.spec.md is read for the\n  // Consumes: join but its requirement inventory is deferred (the two axes\n  // are separate namespaces, and diffing both doubles the surface). Both\n  // pairs are guarded BEFORE the early return, so a service whose two spec\n  // files are both unreadable reports both suspensions, not just the first.\n  const specComparable = comparable(sink, \"spec\", { base: pair.base.spec, current: pair.current.spec });\n  comparable(sink, \"archSpec\", { base: pair.base.archSpec, current: pair.current.archSpec });\n  if (!specComparable) return;\n  const base = firstWins(valueOr(pair.base.spec), reqKey);\n  const current = firstWins(valueOr(pair.current.spec), reqKey);\n  for (const [key, r] of [...current].sort(byKey)) {\n    const before = base.get(key);\n    if (before === undefined) sink.findings.push(found(\"diff.requirement-added\", `living requirement added since base: '${reqLabel(r)}'`));\n    else if (requirementDigest(before) !== requirementDigest(r)) {\n      sink.findings.push(found(\"diff.requirement-modified\", `living requirement modified since base: '${reqLabel(r)}'`));\n    }\n  }\n  for (const [key, r] of [...base].sort(byKey)) {\n    if (!current.has(key)) sink.findings.push(found(\"diff.requirement-removed\", `living requirement removed since base: '${reqLabel(r)}'`));\n  }\n}\n\nasync function opsDiff(sink: ServiceDiff, pair: { base: ServiceState; current: ServiceState }, victims: VictimIndex): Promise<void> {\n  if (!comparable(sink, \"openapi\", { base: pair.base.openapi, current: pair.current.openapi })) return;\n  const base = firstWins(valueOr(pair.base.openapi), (op) => op.id);\n  const current = firstWins(valueOr(pair.current.openapi), (op) => op.id);\n  for (const [id, op] of [...current].sort(byKey)) {\n    const before = base.get(id);\n    if (before === undefined) {\n      sink.findings.push(found(\"diff.op-added\", `operation '${id}' added since base (${op.method.toUpperCase()} ${op.path})`));\n    } else if (!before.deprecated && op.deprecated) {\n      const scan = await victims.opConsumers(sink.id, id);\n      // Three honest phrasings — never a confident negative over a scan that skipped an unreadable consumer document.\n      const stance = scan.victims.length > 0 ? `${scan.victims.length} current consumer(s) still name it`\n        : scan.suspended.length > 0 ? \"whether current consumers name it could not be fully answered\"\n        : \"no current consumer names it\";\n      sink.findings.push(found(\"diff.op-deprecated\", `operation '${id}' is deprecated since base — ${stance}`, [...scan.victims, ...scan.suspended]));\n    }\n  }\n  for (const [id] of [...base].sort(byKey)) {\n    if (current.has(id)) continue;\n    const scan = await victims.opConsumers(sink.id, id);\n    if (scan.victims.length > 0) {\n      sink.findings.push(found(\"diff.op-removed-consumed\", `operation '${id}' was removed since base and the current fleet still names it — these joins break`, [...scan.victims, ...scan.suspended]));\n    } else if (scan.suspended.length > 0) {\n      // \"Nobody could be scanned\" is not \"nobody names it\" — the consumer's own\n      // unreadable[] entry already carries the run to exit 1; this message must\n      // not assert a negative the scan never proved.\n      sink.findings.push(found(\"diff.op-removed\", `operation '${id}' was removed since base; whether the current fleet still names it could NOT be fully answered — ${scan.suspended.length} consumer document(s) were not scannable`, scan.suspended));\n    } else {\n      sink.findings.push(found(\"diff.op-removed\", `operation '${id}' was removed since base; no current landscape edge or living requirement names it`));\n    }\n  }\n}\n\nasync function messagesDiff(sink: ServiceDiff, pair: { base: ServiceState; current: ServiceState }, victims: VictimIndex): Promise<void> {\n  if (!comparable(sink, \"asyncapi\", { base: pair.base.asyncapi, current: pair.current.asyncapi })) return;\n  const base = firstWins(valueOr(pair.base.asyncapi), (m) => m.name);\n  const current = firstWins(valueOr(pair.current.asyncapi), (m) => m.name);\n  for (const [name] of [...current].sort(byKey)) {\n    if (!base.has(name)) sink.findings.push(found(\"diff.message-added\", `message '${name}' added since base`));\n  }\n  for (const [name] of [...base].sort(byKey)) {\n    if (current.has(name)) continue;\n    // Fleet-global join: a name another current service still declares is not\n    // orphaned (positive evidence only — an unreadable contract never vouches).\n    const elsewhere = victims.declarers(name).filter((d) => d !== sink.id);\n    if (elsewhere.length > 0) {\n      sink.findings.push(found(\"diff.message-removed\", `message '${name}' was removed since base; still declared by ${elsewhere.join(\", \")}`));\n      continue;\n    }\n    const scan = await victims.messageConsumers(sink.id, name);\n    if (scan.victims.length > 0) {\n      sink.findings.push(found(\"diff.message-removed-consumed\", `message '${name}' was removed since base and the current fleet still consumes it — these joins break`, [...scan.victims, ...scan.suspended]));\n    } else if (scan.suspended.length > 0) {\n      sink.findings.push(found(\"diff.message-removed\", `message '${name}' was removed since base; whether anything still consumes it could NOT be fully answered — ${scan.suspended.length} consumer document(s) were not scannable`, scan.suspended));\n    } else {\n      sink.findings.push(found(\"diff.message-removed\", `message '${name}' was removed since base; nothing currently consumes it`));\n    }\n  }\n}\n\n/** The graded join changes (`victims.ts`) as findings on each PROVIDER — the service whose surface the join lands on. */\nfunction consumerFindings(input: { base: BaseFleet; current: CurrentFleet }): Map<string, Finding[]> {\n  const changes = consumerJoinChanges({\n    base: input.base.services,\n    baseAmbiguous: new Set(input.base.ambiguous.keys()),\n    current: input.current.services,\n    currentAmbiguous: new Set(input.current.ambiguous.keys()),\n  });\n  const byProvider = new Map<string, Finding[]>();\n  for (const { t, change } of changes) {\n    const what = t.kind === \"op\" ? `operation '${t.token}'` : `message '${t.token}'`;\n    const message = change === \"added\"\n      ? `${t.consumer}'s living requirements now name this service's ${what} — a cross-service join appeared since base`\n      : `${t.consumer}'s living requirements no longer name this service's ${what} — a cross-service join went away`;\n    // The call sits directly in the push — assigned to a `const x = found(…)`\n    // it reads as an arrow-function DECLARATION to the stable-code collector,\n    // and both consumer codes silently leave the guarded set.\n    byProvider.set(t.provider, [\n      ...(byProvider.get(t.provider) ?? []),\n      found(change === \"added\" ? \"diff.consumer-added\" : \"diff.consumer-removed\", message),\n    ]);\n  }\n  return byProvider;\n}\n\nasync function diffService(unit: { id: string; base?: ServiceState; current?: ServiceState; victims: VictimIndex }): Promise<ServiceDiff> {\n  const sink: ServiceDiff = { id: unit.id, change: \"unchanged\", findings: [], unreadable: [] };\n  if (unit.base === undefined) sink.findings.push(found(\"diff.service-added\", `service '${unit.id}' added since base`));\n  if (unit.current === undefined && unit.base !== undefined) {\n    sink.findings.push(found(\"diff.service-removed\", `service '${unit.id}' (${unit.base.dir}) is gone from the working tree`));\n  }\n  const pair = { base: unit.base ?? emptyState(unit.id), current: unit.current ?? emptyState(unit.id) };\n  requirementsDiff(sink, pair);\n  await opsDiff(sink, pair, unit.victims);\n  await messagesDiff(sink, pair, unit.victims);\n  return sink;\n}\n\nexport async function computeDiff(input: { base: BaseFleet; current: CurrentFleet; victims: VictimIndex }): Promise<FleetDiff> {\n  const sides = [input.base.services, input.base.ambiguous, input.current.services, input.current.ambiguous];\n  const ids = [...new Set(sides.flatMap((side) => [...side.keys()]))].sort();\n  const joins = consumerFindings({ base: input.base, current: input.current });\n  const services: ServiceDiff[] = [];\n  // Sequential on purpose: the report's order IS the contract (identical\n  // states must emit identical bytes), the work per service is in-memory\n  // joins, and the one expensive read — the victim index's landscape — is\n  // memoised behind its first ask, so a fan-out would buy nothing.\n  for (const id of ids) {\n    const claimants = [...(input.base.ambiguous.get(id) ?? []), ...(input.current.ambiguous.get(id) ?? [])];\n    if (claimants.length > 0) {\n      // An id two directories claim — either side — has no single state to\n      // diff; the whole subject suspends (containment), and the live walk's\n      // `subsystem.name-collision` names the same defect for validate.\n      services.push({ id, change: \"changed\", findings: [], unreadable: [], ambiguous: claimants });\n      continue;\n    }\n    const sink = await diffService({ id, base: input.base.services.get(id), current: input.current.services.get(id), victims: input.victims });\n    sink.findings.push(...(joins.get(id) ?? []));\n    if (input.base.services.has(id) && !input.current.services.has(id)) sink.change = \"removed\";\n    else if (!input.base.services.has(id)) sink.change = \"added\";\n    else sink.change = sink.findings.length > 0 || sink.unreadable.length > 0 ? \"changed\" : \"unchanged\";\n    services.push(sink);\n  }\n  const all = services.flatMap((s) => s.findings);\n  const count = (codes: (f: Finding) => boolean): number => all.filter(codes).length;\n  return {\n    services,\n    breaking: all.some((f) => f.severity === \"error\"),\n    summary: {\n      added: count((f) => f.code.endsWith(\"-added\")),\n      removed: count((f) => f.code.endsWith(\"-removed\") || f.code.endsWith(\"-removed-consumed\")),\n      modified: count((f) => f.code === \"diff.requirement-modified\"),\n      deprecated: count((f) => f.code === \"diff.op-deprecated\"),\n      unreadable:\n        services.reduce((n, s) => n + s.unreadable.length, 0) +\n        services.filter((s) => s.ambiguous !== undefined).length,\n    },\n  };\n}\n"]}