@ybotok/loam 0.0.0 → 0.1.0-beta.2

package/dist/core/gherkin.js

@@ -0,0 +1,463 @@
+/**
+ * The Gherkin emission: spec scenarios become real `.feature` files.
+ *
+ * Scenarios have been "the source for tests" since SCHEMA.md's first draft, but
+ * until now they only left the docs repo as projected markdown — prose a coding
+ * agent could paraphrase into something easier to pass. The emission closes the
+ * gap mechanically: one `.feature` file per requirement, steps taken from the
+ * scenario's own bullet lines, and a digest TAG (`@loam-digest-<16hex>`) on
+ * every scenario using the SAME body-hash recipe `loam verify` folds into its
+ * claim ids (verify.ts's scenarioBodyHash — salted by the owning service and
+ * by the spec axis, so a stamp belongs to one suite and one axis) — so the
+ * test skeleton, the claim and the spec can never quietly disagree about what
+ * a scenario says, and no two repositories can answer each other's. A tag
+ * rather than a comment because tags are what cucumber's JSON report carries
+ * per scenario: the stamp rides through the runner untouched, which is what
+ * lets `loam verify --results` match a report scenario back to its claim.
+ *
+ * The files land in the SERVICE repo — the docs repo states the questions, the
+ * tests live with the code — under `<gherkinDir>/loam/`. That `loam/`
+ * subdirectory is loam's own derived space: regeneration rewrites its scope and
+ * removes its orphans, and loam never writes or deletes a byte outside it.
+ * Everything here is deterministic on purpose: the same specs yield the same
+ * bytes, which is what lets `loam validate` grade staleness by digest instead
+ * of by guesswork.
+ */
+import { existsSync, statSync } from "node:fs";
+import { readdir, readFile, realpath } from "node:fs/promises";
+import { join, relative, sep } from "node:path";
+import { parseRequirements } from "./spec.js";
+import { scenarioGherkin } from "./steps.js";
+import { listFeatures, servicePaths, SPEC_AXES } from "./repo.js";
+import { scenarioBodyHash } from "./verify.js";
+import { resolveInside, UnsafePathError } from "./path-safety.js";
+/** Where Gherkin lives in a service repo when loam.json does not say. */
+const DEFAULT_GHERKIN_DIR = "features";
+/** The subdirectory loam owns outright. Everything loam writes stays inside it. */
+const GHERKIN_SUBDIR = "loam";
+/** How much of the scenario body hash goes into a `@loam-digest-…` tag. */
+export const GHERKIN_DIGEST_LENGTH = 16;
+/** The one directory `loam gherkin` may touch: `<repo>/<gherkinDir>/loam/`. */
+export function gherkinRoot(repoDir, gherkinDir) {
+    return resolveInside(repoDir, join(gherkinDir ?? DEFAULT_GHERKIN_DIR, GHERKIN_SUBDIR), "gherkin output directory");
+}
+/**
+ * The digest stamped onto every generated scenario: verify's scenario body
+ * hash, at the sources-digest length. Content identity WITHIN one service and
+ * one axis, not provenance — two identically-worded scenarios of one service's
+ * one axis share a digest, and that is the point: the stamp answers "does this
+ * suite still contain a test for THESE words".
+ *
+ * Both salts ride in the hash (see `scenarioBodyHash`), so the namespaces stay
+ * separate all the way into a cucumber report: a business run can never answer
+ * for an arch scenario, and one service's green run can never answer another
+ * service's claim just because the two specs spell the sentence the same way.
+ * `service` is required and never defaulted — a stamp that forgot it would be
+ * a tag no claim matches, and the fleet bug it exists to close would come back
+ * silently.
+ */
+export function scenarioDigest(service, lines, axis = "business") {
+    return scenarioBodyHash(service, lines, axis).slice(0, GHERKIN_DIGEST_LENGTH);
+}
+/** The digest as the tag on the line above each `Scenario:`. */
+export function scenarioDigestTag(digest) {
+    return `@loam-digest-${digest}`;
+}
+/**
+ * A tag token carrying a scenario digest — in a generated file, or in a
+ * cucumber JSON report. The leading `@` is optional because some runners
+ * (behave) strip it from the tags they report.
+ */
+export const DIGEST_TAG_RE = /^@?loam-digest-([0-9a-f]{16})$/;
+/**
+ * Line 1 of every generated file — the AGENTS.md stamp pattern, in Gherkin
+ * comment syntax. The version records which loam wrote the file; the rest is
+ * the ownership rule in the reader's face, because `loam/` files are rewritten
+ * wholesale on regeneration and a hand edit would be silently destroyed.
+ */
+export function gherkinStampLine(version) {
+    return `# generated by loam v${version} — \`loam gherkin\`; do not hand-edit, regenerate instead`;
+}
+const STAMP_RE = /^#\s*generated by loam v(\S+)/;
+/* ------------------------------------------------------------------ */
+/* Emission                                                            */
+/* ------------------------------------------------------------------ */
+/** The axis label the machine contract speaks. */
+export function axisLabel(axis) {
+    return axis.key === "archSpec" ? "arch" : "business";
+}
+/**
+ * A requirement name as a file name: lowercase, every non-letter/digit run one
+ * hyphen, edges trimmed.
+ *
+ * The keep-set is `\p{L}\p{N}`, not `[a-z0-9]`, because an ASCII-only slug is
+ * not a slug of a non-Latin fleet — it is the empty string. Every requirement
+ * written in Chinese, Japanese, Korean, Greek, Cyrillic or Hebrew slugged to
+ * nothing, fell back to `requirement`, and the whole service's suite came out
+ * as `requirement.feature`, `requirement-2.feature`, … : file names that name
+ * nothing, in the one place the mapping is supposed to be legible. So letters
+ * of every script survive as themselves.
+ *
+ * Accents are folded rather than kept, and that is the reason for NFKD first:
+ * decomposing splits `é` into `e` + a combining acute, and dropping the
+ * combining marks (`\p{M}`) leaves `e`. Without the fold `émojis` and `emojis`
+ * would be two files that look identical in a directory listing — and on a
+ * filesystem that normalises names (APFS, and HFS+ before it) they would be one
+ * file, silently, with the second emission overwriting the first.
+ *
+ * A name this still leaves empty (all punctuation or emoji) falls back to
+ * "requirement" and lets the collision counter number it. Runs collapse to a
+ * SINGLE hyphen, which is what keeps the `arch--` prefix an axis marker no
+ * business slug can spell.
+ */
+export function slugOf(name) {
+    const s = name
+        .normalize("NFKD")
+        .replace(/\p{M}+/gu, "")
+        .toLowerCase()
+        .replace(/[^\p{L}\p{N}]+/gu, "-")
+        .replace(/^-+|-+$/g, "");
+    return s.length > 0 ? s : "requirement";
+}
+/**
+ * The emission plan for one scope: one `.feature` per requirement.
+ *
+ * File naming is the mapping's contract, so it is spelled here once:
+ * `<slug>.feature` for the business axis, `arch--<slug>.feature` for the
+ * architecture axis — flat and diffable, and collision-proof across axes
+ * because slugs collapse punctuation runs to a single hyphen, so no business
+ * slug can ever begin `arch--`. Two requirements slugging identically are
+ * disambiguated in document order: the first keeps the bare slug, later ones
+ * take `-2`, `-3`, … (counting up past any name that already owns the suffix).
+ *
+ * Tags ride the `Feature:` line and are inherited by every scenario in the
+ * file: `@<FEAT>` in feature mode (living emissions carry no feature tag),
+ * `@architecture` on the arch axis.
+ *
+ * `opts.service` is the suite's owner and salts every digest stamp — the same
+ * service `loam verify` files the matching claims under. Required, not
+ * defaulted: an emission that guessed it would stamp tags no claim matches.
+ */
+export function planEmission(byAxis, opts) {
+    const used = new Set();
+    const out = [];
+    for (const { axis, reqs } of byAxis) {
+        for (const r of reqs) {
+            const base = (axis.key === "archSpec" ? "arch--" : "") + slugOf(r.name);
+            let fileName = `${base}.feature`;
+            for (let n = 2; used.has(fileName); n += 1)
+                fileName = `${base}-${n}.feature`;
+            used.add(fileName);
+            const tags = [
+                ...(opts.featureTag === undefined ? [] : [`@${opts.featureTag}`]),
+                ...(axis.key === "archSpec" ? ["@architecture"] : []),
+            ];
+            const { content, digests, stepless } = renderFeature(r, tags, opts.version, opts.service, axisLabel(axis));
+            out.push({ fileName, axis, requirement: r, digests, stepless, content });
+        }
+    }
+    return out;
+}
+/**
+ * One requirement as one `.feature` file: `Feature:` is the requirement name,
+ * its body text (Operations:/Covers: lines included — they are part of what
+ * the requirement says) becomes the feature description, and each scenario
+ * renders under its `@loam-digest-…` tag — the tag line sits directly above
+ * the `Scenario:` keyword, where Gherkin puts scenario-level tags, so the
+ * runner attaches it to the scenario and carries it into the JSON report.
+ * Deterministic to the byte.
+ *
+ * `service` is the owner of the suite being written, and it salts every digest
+ * — the same service `loam verify` files the matching claims under. The two
+ * have to be the same string or the stamps this writes match no claim at all.
+ */
+export function renderFeature(r, tags, version, service, axis = "business") {
+    const lines = [gherkinStampLine(version)];
+    if (tags.length > 0)
+        lines.push(tags.join(" "));
+    lines.push(`Feature: ${r.name}`);
+    const text = r.text.join("\n").trim();
+    if (text.length > 0) {
+        lines.push("");
+        for (const l of text.split("\n"))
+            lines.push(l.length > 0 ? `  ${l}` : "");
+    }
+    const digests = [];
+    const stepless = [];
+    for (const s of r.scenarios) {
+        const digest = scenarioDigest(service, s.lines, axis);
+        digests.push(digest);
+        lines.push("", `  ${scenarioDigestTag(digest)}`, `  Scenario: ${s.name}`);
+        const { description, steps } = scenarioGherkin(s.lines);
+        if (steps.length === 0)
+            stepless.push(s.name);
+        for (const d of description)
+            lines.push(`    ${d}`);
+        for (const st of steps)
+            lines.push(`    ${st}`);
+    }
+    return { content: lines.join("\n") + "\n", digests, stepless };
+}
+/**
+ * Parse a `.feature` file for its loam stamps. Null when line 1 is not the
+ * stamp — an unstamped file is not loam's writing, and no staleness judgment
+ * may be built on it. Tag lines above `Feature:` are the file's tags; a tag
+ * line after it that carries a `@loam-digest-…` token binds that digest to the
+ * immediately following `Scenario:` line (tag lines stack, as Gherkin's do,
+ * without breaking the bond); any other non-blank line between them breaks it.
+ */
+export function parseStampedFeature(text) {
+    const lines = text.split(/\r?\n/);
+    const m = STAMP_RE.exec(lines[0] ?? "");
+    if (!m)
+        return null;
+    const tags = [];
+    let featureName = null;
+    const scenarios = [];
+    let pending = null;
+    for (const line of lines.slice(1)) {
+        if (/^\s*@/.test(line)) {
+            for (const t of line.trim().split(/\s+/)) {
+                if (featureName === null) {
+                    if (t.startsWith("@"))
+                        tags.push(t.slice(1));
+                    continue;
+                }
+                const d = DIGEST_TAG_RE.exec(t);
+                if (d)
+                    pending = d[1];
+            }
+            continue;
+        }
+        const f = /^\s*Feature:\s*(.*)$/.exec(line);
+        if (f && featureName === null) {
+            featureName = f[1].trim();
+            continue;
+        }
+        const s = /^\s*Scenario(?: Outline)?:\s*(.*)$/.exec(line);
+        if (s) {
+            if (pending !== null)
+                scenarios.push({ name: s[1].trim(), digest: pending });
+            pending = null;
+            continue;
+        }
+        if (pending !== null && line.trim().length > 0)
+            pending = null;
+    }
+    return { version: m[1], tags, featureName, scenarios };
+}
+/* ------------------------------------------------------------------ */
+/* Staleness — what `loam validate` reports about a generated suite    */
+/* ------------------------------------------------------------------ */
+/**
+ * The gherkin freshness chain, service-repo-scoped like `sources.*`: it needs
+ * the repo (the suite lives there), and it stays quiet until
+ * `<gherkinDir>/loam/` exists — a service that never generated has not opted
+ * in, and silence there is honest, not vacuous.
+ *
+ * The LIVING specs are the reference, with one carve-out. A stamped file
+ * tagged with a feature still in flight answers to that feature's delta, not
+ * to the living spec its requirements have not merged into yet — so it is
+ * skipped here (its regeneration is `loam gherkin <FEAT>`), and the moment the
+ * feature archives, its requirements ARE living requirements, digests
+ * unchanged, and the same file grades current with no rewrite. A tag naming
+ * no active feature (the feature was archived, or abandoned) gets no
+ * exemption: the living spec is all there is to answer to.
+ *
+ * Three warnings, one per way the suite and the spec can disagree, judged
+ * digest-first and by requirement name second:
+ *
+ * - `gherkin.missing` — a living scenario whose digest no stamped scenario of
+ *   its axis carries: the suite has no test for these words.
+ * - `gherkin.stale` — a stamped scenario whose digest matches no living
+ *   scenario while its file's requirement still exists: the spec moved under
+ *   the generated file. (A reworded scenario therefore reports both: the old
+ *   words are stale, the new words are missing — one regeneration clears
+ *   both.)
+ * - `gherkin.orphaned` — a whole file whose requirement no longer exists in
+ *   its axis's living spec; reported once per file, because every scenario in
+ *   it is moot together.
+ *
+ * Digests are content identity within one service and one axis, deliberately:
+ * two identically-worded scenarios of one service's one axis share one digest,
+ * so one stamped copy covers both — while the axes stay separate namespaces
+ * twice over (every comparison here is axis-scoped, and the recipe salts the
+ * arch axis), and the services stay separate because the recipe salts the
+ * service too. That last salt is why a stamped file copied out of another
+ * service's repository grades `gherkin.orphaned`/`gherkin.stale` here instead
+ * of quietly counting as this service's coverage.
+ *
+ * All warnings — `--strict` is the CI escalation — plus one `ok` confirmation
+ * (`gherkin.current`, the `sources.current` pattern) when a generated suite
+ * exists and nothing disagrees.
+ */
+export async function gherkinFindings(ctx) {
+    if (ctx.repoDir === undefined)
+        return [];
+    let root;
+    try {
+        root = gherkinRoot(ctx.repoDir, ctx.gherkinDir);
+    }
+    catch (err) {
+        if (!(err instanceof UnsafePathError))
+            throw err;
+        return [
+            {
+                severity: "error",
+                code: "gherkin.path-outside",
+                subject: ctx.service,
+                message: `The configured Gherkin output is unsafe: ${err.message}. It must stay inside the service repo.`,
+            },
+        ];
+    }
+    if (!existsSync(root))
+        return [];
+    const paths = servicePaths(ctx.docsDir, ctx.service);
+    const axes = new Map();
+    for (const axis of SPEC_AXES) {
+        const label = axisLabel(axis);
+        const state = { file: axis.file, reqNames: new Set(), digests: new Set(), scenarios: [] };
+        const path = paths[axis.key];
+        if (existsSync(path)) {
+            const reqs = ctx.fleet === undefined
+                ? parseRequirements(await readFile(path, "utf8"))
+                : await ctx.fleet.readRequirements(path);
+            for (const r of reqs) {
+                if (r.kind === "REMOVED")
+                    continue;
+                state.reqNames.add(r.name);
+                for (const s of r.scenarios) {
+                    const digest = scenarioDigest(ctx.service, s.lines, label);
+                    state.digests.add(digest);
+                    state.scenarios.push({ req: r.name, name: s.name, digest });
+                }
+            }
+        }
+        axes.set(label, state);
+    }
+    // The stamped side. Every stamped digest counts toward coverage — an
+    // in-flight file whose scenario matches the living words IS a test for them.
+    const active = new Set((await listFeatures(ctx.docsDir, {}, ctx.fleet)).map((f) => f.id));
+    const stampedDigests = { business: new Set(), arch: new Set() };
+    const parsed = [];
+    let stampedScenarios = 0;
+    for (const abs of await featureFilesUnder(root)) {
+        const file = parseStampedFeature(await readFile(abs, "utf8"));
+        if (file === null)
+            continue;
+        const axis = file.tags.includes("architecture") ? "arch" : "business";
+        for (const s of file.scenarios)
+            stampedDigests[axis].add(s.digest);
+        stampedScenarios += file.scenarios.length;
+        parsed.push({ rel: relative(ctx.repoDir, abs).split(sep).join("/"), axis, file });
+    }
+    const findings = [];
+    const regen = `\`loam gherkin --service ${ctx.service}\``;
+    for (const [axis, state] of axes) {
+        for (const sc of state.scenarios) {
+            if (stampedDigests[axis].has(sc.digest))
+                continue;
+            findings.push({
+                severity: "warn",
+                code: "gherkin.missing",
+                subject: ctx.service,
+                message: `${ctx.service}: scenario '${sc.name}' of requirement '${sc.req}' (${state.file}) has no generated .feature scenario — the suite has no test for these words; ${regen} regenerates it`,
+            });
+        }
+    }
+    for (const { rel, axis, file } of parsed) {
+        if (file.tags.some((t) => active.has(t)))
+            continue;
+        const state = axes.get(axis);
+        if (file.featureName === null || !state.reqNames.has(file.featureName)) {
+            findings.push({
+                severity: "warn",
+                code: "gherkin.orphaned",
+                subject: ctx.service,
+                message: `${ctx.service}: ${rel}: requirement '${file.featureName ?? "(unnamed)"}' no longer exists in the living ${state.file} — the whole file is orphaned; ${regen} removes it`,
+            });
+            continue;
+        }
+        for (const s of file.scenarios) {
+            if (state.digests.has(s.digest))
+                continue;
+            findings.push({
+                severity: "warn",
+                code: "gherkin.stale",
+                subject: ctx.service,
+                message: `${ctx.service}: ${rel}: scenario '${s.name}' matches no scenario in the living ${state.file} — the spec moved under the generated file; ${regen} regenerates it`,
+            });
+        }
+    }
+    if (findings.length === 0) {
+        findings.push({
+            severity: "ok",
+            code: "gherkin.current",
+            message: `${ctx.service}: generated gherkin current (${parsed.length} file(s), ${stampedScenarios} stamped scenario(s) agree with the living specs)`,
+        });
+    }
+    return findings;
+}
+/**
+ * Every `.feature` file at or under `root`, sorted by repo-relative path —
+ * enumeration is part of the output contract, so the order cannot depend on
+ * the filesystem's. Dot-entries are skipped, like every other walk in loam.
+ *
+ * Symlinks are FOLLOWED — repo.ts's `entryIs` and brief.ts's `hasMarkdown` are
+ * the same rule for the same reason. A `Dirent` from `readdir(withFileTypes)`
+ * never follows one, so `isFile()` and `isDirectory()` are both false for a
+ * symlinked `.feature`: it was invisible to the orphan scan (`loam gherkin`
+ * left it behind forever) and invisible to the staleness scan (it graded as no
+ * coverage at all). Composing a suite out of links is legitimate, so they are
+ * followed rather than refused, and a dangling one is skipped exactly as an
+ * absent file is.
+ */
+export async function featureFilesUnder(root) {
+    const out = [];
+    // Following links means a cycle is now possible; every directory is entered
+    // once by its resolved path, so a loop terminates instead of hanging.
+    const entered = new Set();
+    const walk = async (dir) => {
+        if (!existsSync(dir))
+            return;
+        let resolved;
+        try {
+            resolved = await realpath(dir);
+        }
+        catch {
+            return;
+        }
+        if (entered.has(resolved))
+            return;
+        entered.add(resolved);
+        for (const entry of await readdir(dir, { withFileTypes: true })) {
+            if (entry.name.startsWith("."))
+                continue;
+            const abs = join(dir, entry.name);
+            const what = entryKind(abs, entry);
+            if (what === "dir")
+                await walk(abs);
+            else if (what === "file" && entry.name.endsWith(".feature"))
+                out.push(abs);
+        }
+    };
+    await walk(root);
+    return out.sort((a, b) => {
+        const ra = a.split(sep).join("/");
+        const rb = b.split(sep).join("/");
+        return ra < rb ? -1 : ra > rb ? 1 : 0;
+    });
+}
+/** What an entry IS, resolving a symlink to find out. Nothing when it dangles. */
+function entryKind(abs, e) {
+    if (!e.isSymbolicLink())
+        return e.isDirectory() ? "dir" : e.isFile() ? "file" : null;
+    try {
+        const s = statSync(abs);
+        return s.isDirectory() ? "dir" : s.isFile() ? "file" : null;
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=gherkin.js.map

package/dist/core/gherkin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gherkin.js","sourceRoot":"","sources":["../../src/core/gherkin.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAe,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAoB,MAAM,WAAW,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAiB,MAAM,WAAW,CAAC;AAGjF,OAAO,EAAE,gBAAgB,EAAqB,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAElE,yEAAyE;AACzE,MAAM,mBAAmB,GAAG,UAAU,CAAC;AAEvC,mFAAmF;AACnF,MAAM,cAAc,GAAG,MAAM,CAAC;AAE9B,2EAA2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAExC,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,UAAmB;IAC9D,OAAO,aAAa,CAClB,OAAO,EACP,IAAI,CAAC,UAAU,IAAI,mBAAmB,EAAE,cAAc,CAAC,EACvD,0BAA0B,CAC3B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAe,EACf,KAAe,EACf,IAAI,GAAiB,UAAU;IAE/B,OAAO,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;AAChF,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,OAAO,gBAAgB,MAAM,EAAE,CAAC;AAClC,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,gCAAgC,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,OAAO,wBAAwB,OAAO,2DAA2D,CAAC;AACpG,CAAC;AAED,MAAM,QAAQ,GAAG,+BAA+B,CAAC;AAEjD,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,kDAAkD;AAClD,MAAM,UAAU,SAAS,CAAC,IAAc;IACtC,OAAO,IAAI,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC;AACvD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,MAAM,CAAC,IAAY;IACjC,MAAM,CAAC,GAAG,IAAI;SACX,SAAS,CAAC,MAAM,CAAC;SACjB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,WAAW,EAAE;SACb,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC;SAChC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;AAC1C,CAAC;AAoBD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAsD,EACtD,IAA+D;IAE/D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,MAAM,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACxE,IAAI,QAAQ,GAAG,GAAG,IAAI,UAAU,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,QAAQ,GAAG,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC;YAC9E,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG;gBACX,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;gBACjE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC;YACF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,aAAa,CAClD,CAAC,EACD,IAAI,EACJ,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,OAAO,EACZ,SAAS,CAAC,IAAI,CAAC,CAChB,CAAC;YACF,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAc,EACd,IAAc,EACd,OAAe,EACf,OAAe,EACf,IAAI,GAAiB,UAAU;IAE/B,MAAM,KAAK,GAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,iBAAiB,CAAC,MAAM,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpD,KAAK,MAAM,EAAE,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACjE,CAAC;AAuBD;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,MAAM,SAAS,GAAsB,EAAE,CAAC;IACxC,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzC,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;oBACzB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;wBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC7C,SAAS;gBACX,CAAC;gBACD,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,CAAC;oBAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;YACzB,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YAC9B,WAAW,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,OAAO,KAAK,IAAI;gBAAE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YAC9E,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,GAAG,IAAI,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;AAC1D,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,GAOrC;IACC,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACzC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,CAAC,GAAG,YAAY,eAAe,CAAC;YAAE,MAAM,GAAG,CAAC;QACjD,OAAO;YACL;gBACE,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,OAAO,EAAE,4CAA4C,GAAG,CAAC,OAAO,yCAAyC;aAC1G;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IASjC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QACrG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,KAAK,SAAS;gBAClC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACjD,CAAC,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,SAAS;gBACnC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;oBAC5B,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBAC3D,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC1B,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC9D,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC;IAED,qEAAqE;IACrE,6EAA6E;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,MAAM,cAAc,GAAG,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAU,EAAE,IAAI,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;IAChF,MAAM,MAAM,GAA4E,EAAE,CAAC;IAC3F,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,MAAM,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9D,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACnE,gBAAgB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,4BAA4B,GAAG,CAAC,OAAO,IAAI,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QACjC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC;gBAAE,SAAS;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,OAAO,EAAE,GAAG,GAAG,CAAC,OAAO,eAAe,EAAE,CAAC,IAAI,qBAAqB,EAAE,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,iFAAiF,KAAK,iBAAiB;aAChM,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,MAAM,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACvE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,OAAO,EAAE,GAAG,GAAG,CAAC,OAAO,KAAK,GAAG,kBAAkB,IAAI,CAAC,WAAW,IAAI,WAAW,oCAAoC,KAAK,CAAC,IAAI,kCAAkC,KAAK,aAAa;aACnL,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC1C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,OAAO,EAAE,GAAG,GAAG,CAAC,OAAO,KAAK,GAAG,eAAe,CAAC,CAAC,IAAI,uCAAuC,KAAK,CAAC,IAAI,+CAA+C,KAAK,iBAAiB;aAC3K,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,GAAG,GAAG,CAAC,OAAO,gCAAgC,MAAM,CAAC,MAAM,aAAa,gBAAgB,mDAAmD;SACrJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAY;IAClD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,4EAA4E;IAC5E,sEAAsE;IACtE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,EAAE,GAAW,EAAiB,EAAE;QAChD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7B,IAAI,QAAgB,CAAC;QACrB,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAO;QAClC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACnC,IAAI,IAAI,KAAK,KAAK;gBAAE,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;iBAC/B,IAAI,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,kFAAkF;AAClF,SAAS,SAAS,CAAC,GAAW,EAAE,CAAS;IACvC,IAAI,CAAC,CAAC,CAAC,cAAc,EAAE;QAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QACxB,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC","sourcesContent":["/**\n * The Gherkin emission: spec scenarios become real `.feature` files.\n *\n * Scenarios have been \"the source for tests\" since SCHEMA.md's first draft, but\n * until now they only left the docs repo as projected markdown — prose a coding\n * agent could paraphrase into something easier to pass. The emission closes the\n * gap mechanically: one `.feature` file per requirement, steps taken from the\n * scenario's own bullet lines, and a digest TAG (`@loam-digest-<16hex>`) on\n * every scenario using the SAME body-hash recipe `loam verify` folds into its\n * claim ids (verify.ts's scenarioBodyHash — salted by the owning service and\n * by the spec axis, so a stamp belongs to one suite and one axis) — so the\n * test skeleton, the claim and the spec can never quietly disagree about what\n * a scenario says, and no two repositories can answer each other's. A tag\n * rather than a comment because tags are what cucumber's JSON report carries\n * per scenario: the stamp rides through the runner untouched, which is what\n * lets `loam verify --results` match a report scenario back to its claim.\n *\n * The files land in the SERVICE repo — the docs repo states the questions, the\n * tests live with the code — under `<gherkinDir>/loam/`. That `loam/`\n * subdirectory is loam's own derived space: regeneration rewrites its scope and\n * removes its orphans, and loam never writes or deletes a byte outside it.\n * Everything here is deterministic on purpose: the same specs yield the same\n * bytes, which is what lets `loam validate` grade staleness by digest instead\n * of by guesswork.\n */\nimport { existsSync, statSync, type Dirent } from \"node:fs\";\nimport { readdir, readFile, realpath } from \"node:fs/promises\";\nimport { join, relative, sep } from \"node:path\";\nimport { parseRequirements, type Requirement } from \"./spec.js\";\nimport { scenarioGherkin } from \"./steps.js\";\nimport { listFeatures, servicePaths, SPEC_AXES, type SpecAxis } from \"./repo.js\";\nimport type { FleetContext } from \"./fleet-context.js\";\nimport type { Finding } from \"./report.js\";\nimport { scenarioBodyHash, type ScenarioAxis } from \"./verify.js\";\nimport { resolveInside, UnsafePathError } from \"./path-safety.js\";\n\n/** Where Gherkin lives in a service repo when loam.json does not say. */\nconst DEFAULT_GHERKIN_DIR = \"features\";\n\n/** The subdirectory loam owns outright. Everything loam writes stays inside it. */\nconst GHERKIN_SUBDIR = \"loam\";\n\n/** How much of the scenario body hash goes into a `@loam-digest-…` tag. */\nexport const GHERKIN_DIGEST_LENGTH = 16;\n\n/** The one directory `loam gherkin` may touch: `<repo>/<gherkinDir>/loam/`. */\nexport function gherkinRoot(repoDir: string, gherkinDir?: string): string {\n  return resolveInside(\n    repoDir,\n    join(gherkinDir ?? DEFAULT_GHERKIN_DIR, GHERKIN_SUBDIR),\n    \"gherkin output directory\",\n  );\n}\n\n/**\n * The digest stamped onto every generated scenario: verify's scenario body\n * hash, at the sources-digest length. Content identity WITHIN one service and\n * one axis, not provenance — two identically-worded scenarios of one service's\n * one axis share a digest, and that is the point: the stamp answers \"does this\n * suite still contain a test for THESE words\".\n *\n * Both salts ride in the hash (see `scenarioBodyHash`), so the namespaces stay\n * separate all the way into a cucumber report: a business run can never answer\n * for an arch scenario, and one service's green run can never answer another\n * service's claim just because the two specs spell the sentence the same way.\n * `service` is required and never defaulted — a stamp that forgot it would be\n * a tag no claim matches, and the fleet bug it exists to close would come back\n * silently.\n */\nexport function scenarioDigest(\n  service: string,\n  lines: string[],\n  axis: ScenarioAxis = \"business\",\n): string {\n  return scenarioBodyHash(service, lines, axis).slice(0, GHERKIN_DIGEST_LENGTH);\n}\n\n/** The digest as the tag on the line above each `Scenario:`. */\nexport function scenarioDigestTag(digest: string): string {\n  return `@loam-digest-${digest}`;\n}\n\n/**\n * A tag token carrying a scenario digest — in a generated file, or in a\n * cucumber JSON report. The leading `@` is optional because some runners\n * (behave) strip it from the tags they report.\n */\nexport const DIGEST_TAG_RE = /^@?loam-digest-([0-9a-f]{16})$/;\n\n/**\n * Line 1 of every generated file — the AGENTS.md stamp pattern, in Gherkin\n * comment syntax. The version records which loam wrote the file; the rest is\n * the ownership rule in the reader's face, because `loam/` files are rewritten\n * wholesale on regeneration and a hand edit would be silently destroyed.\n */\nexport function gherkinStampLine(version: string): string {\n  return `# generated by loam v${version} — \\`loam gherkin\\`; do not hand-edit, regenerate instead`;\n}\n\nconst STAMP_RE = /^#\\s*generated by loam v(\\S+)/;\n\n/* ------------------------------------------------------------------ */\n/* Emission                                                            */\n/* ------------------------------------------------------------------ */\n\n/** The axis label the machine contract speaks. */\nexport function axisLabel(axis: SpecAxis): \"business\" | \"arch\" {\n  return axis.key === \"archSpec\" ? \"arch\" : \"business\";\n}\n\n/**\n * A requirement name as a file name: lowercase, every non-letter/digit run one\n * hyphen, edges trimmed.\n *\n * The keep-set is `\\p{L}\\p{N}`, not `[a-z0-9]`, because an ASCII-only slug is\n * not a slug of a non-Latin fleet — it is the empty string. Every requirement\n * written in Chinese, Japanese, Korean, Greek, Cyrillic or Hebrew slugged to\n * nothing, fell back to `requirement`, and the whole service's suite came out\n * as `requirement.feature`, `requirement-2.feature`, … : file names that name\n * nothing, in the one place the mapping is supposed to be legible. So letters\n * of every script survive as themselves.\n *\n * Accents are folded rather than kept, and that is the reason for NFKD first:\n * decomposing splits `é` into `e` + a combining acute, and dropping the\n * combining marks (`\\p{M}`) leaves `e`. Without the fold `émojis` and `emojis`\n * would be two files that look identical in a directory listing — and on a\n * filesystem that normalises names (APFS, and HFS+ before it) they would be one\n * file, silently, with the second emission overwriting the first.\n *\n * A name this still leaves empty (all punctuation or emoji) falls back to\n * \"requirement\" and lets the collision counter number it. Runs collapse to a\n * SINGLE hyphen, which is what keeps the `arch--` prefix an axis marker no\n * business slug can spell.\n */\nexport function slugOf(name: string): string {\n  const s = name\n    .normalize(\"NFKD\")\n    .replace(/\\p{M}+/gu, \"\")\n    .toLowerCase()\n    .replace(/[^\\p{L}\\p{N}]+/gu, \"-\")\n    .replace(/^-+|-+$/g, \"\");\n  return s.length > 0 ? s : \"requirement\";\n}\n\nexport interface PlannedFeature {\n  /** File name under `<gherkinDir>/loam/` — flat, never a subdirectory. */\n  fileName: string;\n  axis: SpecAxis;\n  requirement: Requirement;\n  /** One digest per scenario, in scenario order — what the stamps say. */\n  digests: string[];\n  /**\n   * Names of scenarios that yielded ZERO steps — numbered-step or prose-only\n   * legacy bodies. Their `Scenario:` blocks are description-only: cucumber\n   * runs them vacuously green, while `--results` (which requires at least one\n   * passed step) can never confirm them — so the emission must say so out\n   * loud, and the fix is rewording the spec bullets, never editing the file.\n   */\n  stepless: string[];\n  content: string;\n}\n\n/**\n * The emission plan for one scope: one `.feature` per requirement.\n *\n * File naming is the mapping's contract, so it is spelled here once:\n * `<slug>.feature` for the business axis, `arch--<slug>.feature` for the\n * architecture axis — flat and diffable, and collision-proof across axes\n * because slugs collapse punctuation runs to a single hyphen, so no business\n * slug can ever begin `arch--`. Two requirements slugging identically are\n * disambiguated in document order: the first keeps the bare slug, later ones\n * take `-2`, `-3`, … (counting up past any name that already owns the suffix).\n *\n * Tags ride the `Feature:` line and are inherited by every scenario in the\n * file: `@<FEAT>` in feature mode (living emissions carry no feature tag),\n * `@architecture` on the arch axis.\n *\n * `opts.service` is the suite's owner and salts every digest stamp — the same\n * service `loam verify` files the matching claims under. Required, not\n * defaulted: an emission that guessed it would stamp tags no claim matches.\n */\nexport function planEmission(\n  byAxis: Array<{ axis: SpecAxis; reqs: Requirement[] }>,\n  opts: { service: string; featureTag?: string; version: string },\n): PlannedFeature[] {\n  const used = new Set<string>();\n  const out: PlannedFeature[] = [];\n  for (const { axis, reqs } of byAxis) {\n    for (const r of reqs) {\n      const base = (axis.key === \"archSpec\" ? \"arch--\" : \"\") + slugOf(r.name);\n      let fileName = `${base}.feature`;\n      for (let n = 2; used.has(fileName); n += 1) fileName = `${base}-${n}.feature`;\n      used.add(fileName);\n      const tags = [\n        ...(opts.featureTag === undefined ? [] : [`@${opts.featureTag}`]),\n        ...(axis.key === \"archSpec\" ? [\"@architecture\"] : []),\n      ];\n      const { content, digests, stepless } = renderFeature(\n        r,\n        tags,\n        opts.version,\n        opts.service,\n        axisLabel(axis),\n      );\n      out.push({ fileName, axis, requirement: r, digests, stepless, content });\n    }\n  }\n  return out;\n}\n\n/**\n * One requirement as one `.feature` file: `Feature:` is the requirement name,\n * its body text (Operations:/Covers: lines included — they are part of what\n * the requirement says) becomes the feature description, and each scenario\n * renders under its `@loam-digest-…` tag — the tag line sits directly above\n * the `Scenario:` keyword, where Gherkin puts scenario-level tags, so the\n * runner attaches it to the scenario and carries it into the JSON report.\n * Deterministic to the byte.\n *\n * `service` is the owner of the suite being written, and it salts every digest\n * — the same service `loam verify` files the matching claims under. The two\n * have to be the same string or the stamps this writes match no claim at all.\n */\nexport function renderFeature(\n  r: Requirement,\n  tags: string[],\n  version: string,\n  service: string,\n  axis: ScenarioAxis = \"business\",\n): { content: string; digests: string[]; stepless: string[] } {\n  const lines: string[] = [gherkinStampLine(version)];\n  if (tags.length > 0) lines.push(tags.join(\" \"));\n  lines.push(`Feature: ${r.name}`);\n  const text = r.text.join(\"\\n\").trim();\n  if (text.length > 0) {\n    lines.push(\"\");\n    for (const l of text.split(\"\\n\")) lines.push(l.length > 0 ? `  ${l}` : \"\");\n  }\n  const digests: string[] = [];\n  const stepless: string[] = [];\n  for (const s of r.scenarios) {\n    const digest = scenarioDigest(service, s.lines, axis);\n    digests.push(digest);\n    lines.push(\"\", `  ${scenarioDigestTag(digest)}`, `  Scenario: ${s.name}`);\n    const { description, steps } = scenarioGherkin(s.lines);\n    if (steps.length === 0) stepless.push(s.name);\n    for (const d of description) lines.push(`    ${d}`);\n    for (const st of steps) lines.push(`    ${st}`);\n  }\n  return { content: lines.join(\"\\n\") + \"\\n\", digests, stepless };\n}\n\n/* ------------------------------------------------------------------ */\n/* Reading generated files back                                        */\n/* ------------------------------------------------------------------ */\n\nexport interface StampedScenario {\n  name: string;\n  digest: string;\n}\n\n/** A generated file as the staleness checks see it. */\nexport interface StampedFeature {\n  /** The version in the stamp line — which loam wrote the file. */\n  version: string;\n  /** Tag tokens (without `@`) from tag lines above `Feature:`. */\n  tags: string[];\n  /** The `Feature:` line's text — the requirement name, by the mapping. */\n  featureName: string | null;\n  /** Scenarios carrying a `@loam-digest-…` tag. A hand-added scenario has none and is invisible here. */\n  scenarios: StampedScenario[];\n}\n\n/**\n * Parse a `.feature` file for its loam stamps. Null when line 1 is not the\n * stamp — an unstamped file is not loam's writing, and no staleness judgment\n * may be built on it. Tag lines above `Feature:` are the file's tags; a tag\n * line after it that carries a `@loam-digest-…` token binds that digest to the\n * immediately following `Scenario:` line (tag lines stack, as Gherkin's do,\n * without breaking the bond); any other non-blank line between them breaks it.\n */\nexport function parseStampedFeature(text: string): StampedFeature | null {\n  const lines = text.split(/\\r?\\n/);\n  const m = STAMP_RE.exec(lines[0] ?? \"\");\n  if (!m) return null;\n  const tags: string[] = [];\n  let featureName: string | null = null;\n  const scenarios: StampedScenario[] = [];\n  let pending: string | null = null;\n  for (const line of lines.slice(1)) {\n    if (/^\\s*@/.test(line)) {\n      for (const t of line.trim().split(/\\s+/)) {\n        if (featureName === null) {\n          if (t.startsWith(\"@\")) tags.push(t.slice(1));\n          continue;\n        }\n        const d = DIGEST_TAG_RE.exec(t);\n        if (d) pending = d[1]!;\n      }\n      continue;\n    }\n    const f = /^\\s*Feature:\\s*(.*)$/.exec(line);\n    if (f && featureName === null) {\n      featureName = f[1]!.trim();\n      continue;\n    }\n    const s = /^\\s*Scenario(?: Outline)?:\\s*(.*)$/.exec(line);\n    if (s) {\n      if (pending !== null) scenarios.push({ name: s[1]!.trim(), digest: pending });\n      pending = null;\n      continue;\n    }\n    if (pending !== null && line.trim().length > 0) pending = null;\n  }\n  return { version: m[1]!, tags, featureName, scenarios };\n}\n\n/* ------------------------------------------------------------------ */\n/* Staleness — what `loam validate` reports about a generated suite    */\n/* ------------------------------------------------------------------ */\n\n/**\n * The gherkin freshness chain, service-repo-scoped like `sources.*`: it needs\n * the repo (the suite lives there), and it stays quiet until\n * `<gherkinDir>/loam/` exists — a service that never generated has not opted\n * in, and silence there is honest, not vacuous.\n *\n * The LIVING specs are the reference, with one carve-out. A stamped file\n * tagged with a feature still in flight answers to that feature's delta, not\n * to the living spec its requirements have not merged into yet — so it is\n * skipped here (its regeneration is `loam gherkin <FEAT>`), and the moment the\n * feature archives, its requirements ARE living requirements, digests\n * unchanged, and the same file grades current with no rewrite. A tag naming\n * no active feature (the feature was archived, or abandoned) gets no\n * exemption: the living spec is all there is to answer to.\n *\n * Three warnings, one per way the suite and the spec can disagree, judged\n * digest-first and by requirement name second:\n *\n * - `gherkin.missing` — a living scenario whose digest no stamped scenario of\n *   its axis carries: the suite has no test for these words.\n * - `gherkin.stale` — a stamped scenario whose digest matches no living\n *   scenario while its file's requirement still exists: the spec moved under\n *   the generated file. (A reworded scenario therefore reports both: the old\n *   words are stale, the new words are missing — one regeneration clears\n *   both.)\n * - `gherkin.orphaned` — a whole file whose requirement no longer exists in\n *   its axis's living spec; reported once per file, because every scenario in\n *   it is moot together.\n *\n * Digests are content identity within one service and one axis, deliberately:\n * two identically-worded scenarios of one service's one axis share one digest,\n * so one stamped copy covers both — while the axes stay separate namespaces\n * twice over (every comparison here is axis-scoped, and the recipe salts the\n * arch axis), and the services stay separate because the recipe salts the\n * service too. That last salt is why a stamped file copied out of another\n * service's repository grades `gherkin.orphaned`/`gherkin.stale` here instead\n * of quietly counting as this service's coverage.\n *\n * All warnings — `--strict` is the CI escalation — plus one `ok` confirmation\n * (`gherkin.current`, the `sources.current` pattern) when a generated suite\n * exists and nothing disagrees.\n */\nexport async function gherkinFindings(ctx: {\n  docsDir: string;\n  service: string;\n  /** The service repo, when loam is standing in it. Undefined disables the chain, like sources.*. */\n  repoDir?: string;\n  gherkinDir?: string;\n  fleet?: FleetContext;\n}): Promise<Finding[]> {\n  if (ctx.repoDir === undefined) return [];\n  let root: string;\n  try {\n    root = gherkinRoot(ctx.repoDir, ctx.gherkinDir);\n  } catch (err) {\n    if (!(err instanceof UnsafePathError)) throw err;\n    return [\n      {\n        severity: \"error\",\n        code: \"gherkin.path-outside\",\n        subject: ctx.service,\n        message: `The configured Gherkin output is unsafe: ${err.message}. It must stay inside the service repo.`,\n      },\n    ];\n  }\n  if (!existsSync(root)) return [];\n\n  // The living reference, per axis: requirement names, and scenario digests.\n  interface AxisState {\n    file: string;\n    reqNames: Set<string>;\n    digests: Set<string>;\n    scenarios: Array<{ req: string; name: string; digest: string }>;\n  }\n  const paths = servicePaths(ctx.docsDir, ctx.service);\n  const axes = new Map<\"business\" | \"arch\", AxisState>();\n  for (const axis of SPEC_AXES) {\n    const label = axisLabel(axis);\n    const state: AxisState = { file: axis.file, reqNames: new Set(), digests: new Set(), scenarios: [] };\n    const path = paths[axis.key];\n    if (existsSync(path)) {\n      const reqs = ctx.fleet === undefined\n        ? parseRequirements(await readFile(path, \"utf8\"))\n        : await ctx.fleet.readRequirements(path);\n      for (const r of reqs) {\n        if (r.kind === \"REMOVED\") continue;\n        state.reqNames.add(r.name);\n        for (const s of r.scenarios) {\n          const digest = scenarioDigest(ctx.service, s.lines, label);\n          state.digests.add(digest);\n          state.scenarios.push({ req: r.name, name: s.name, digest });\n        }\n      }\n    }\n    axes.set(label, state);\n  }\n\n  // The stamped side. Every stamped digest counts toward coverage — an\n  // in-flight file whose scenario matches the living words IS a test for them.\n  const active = new Set((await listFeatures(ctx.docsDir, {}, ctx.fleet)).map((f) => f.id));\n  const stampedDigests = { business: new Set<string>(), arch: new Set<string>() };\n  const parsed: Array<{ rel: string; axis: \"business\" | \"arch\"; file: StampedFeature }> = [];\n  let stampedScenarios = 0;\n  for (const abs of await featureFilesUnder(root)) {\n    const file = parseStampedFeature(await readFile(abs, \"utf8\"));\n    if (file === null) continue;\n    const axis = file.tags.includes(\"architecture\") ? \"arch\" : \"business\";\n    for (const s of file.scenarios) stampedDigests[axis].add(s.digest);\n    stampedScenarios += file.scenarios.length;\n    parsed.push({ rel: relative(ctx.repoDir, abs).split(sep).join(\"/\"), axis, file });\n  }\n\n  const findings: Finding[] = [];\n  const regen = `\\`loam gherkin --service ${ctx.service}\\``;\n  for (const [axis, state] of axes) {\n    for (const sc of state.scenarios) {\n      if (stampedDigests[axis].has(sc.digest)) continue;\n      findings.push({\n        severity: \"warn\",\n        code: \"gherkin.missing\",\n        subject: ctx.service,\n        message: `${ctx.service}: scenario '${sc.name}' of requirement '${sc.req}' (${state.file}) has no generated .feature scenario — the suite has no test for these words; ${regen} regenerates it`,\n      });\n    }\n  }\n  for (const { rel, axis, file } of parsed) {\n    if (file.tags.some((t) => active.has(t))) continue;\n    const state = axes.get(axis)!;\n    if (file.featureName === null || !state.reqNames.has(file.featureName)) {\n      findings.push({\n        severity: \"warn\",\n        code: \"gherkin.orphaned\",\n        subject: ctx.service,\n        message: `${ctx.service}: ${rel}: requirement '${file.featureName ?? \"(unnamed)\"}' no longer exists in the living ${state.file} — the whole file is orphaned; ${regen} removes it`,\n      });\n      continue;\n    }\n    for (const s of file.scenarios) {\n      if (state.digests.has(s.digest)) continue;\n      findings.push({\n        severity: \"warn\",\n        code: \"gherkin.stale\",\n        subject: ctx.service,\n        message: `${ctx.service}: ${rel}: scenario '${s.name}' matches no scenario in the living ${state.file} — the spec moved under the generated file; ${regen} regenerates it`,\n      });\n    }\n  }\n  if (findings.length === 0) {\n    findings.push({\n      severity: \"ok\",\n      code: \"gherkin.current\",\n      message: `${ctx.service}: generated gherkin current (${parsed.length} file(s), ${stampedScenarios} stamped scenario(s) agree with the living specs)`,\n    });\n  }\n  return findings;\n}\n\n/**\n * Every `.feature` file at or under `root`, sorted by repo-relative path —\n * enumeration is part of the output contract, so the order cannot depend on\n * the filesystem's. Dot-entries are skipped, like every other walk in loam.\n *\n * Symlinks are FOLLOWED — repo.ts's `entryIs` and brief.ts's `hasMarkdown` are\n * the same rule for the same reason. A `Dirent` from `readdir(withFileTypes)`\n * never follows one, so `isFile()` and `isDirectory()` are both false for a\n * symlinked `.feature`: it was invisible to the orphan scan (`loam gherkin`\n * left it behind forever) and invisible to the staleness scan (it graded as no\n * coverage at all). Composing a suite out of links is legitimate, so they are\n * followed rather than refused, and a dangling one is skipped exactly as an\n * absent file is.\n */\nexport async function featureFilesUnder(root: string): Promise<string[]> {\n  const out: string[] = [];\n  // Following links means a cycle is now possible; every directory is entered\n  // once by its resolved path, so a loop terminates instead of hanging.\n  const entered = new Set<string>();\n  const walk = async (dir: string): Promise<void> => {\n    if (!existsSync(dir)) return;\n    let resolved: string;\n    try {\n      resolved = await realpath(dir);\n    } catch {\n      return;\n    }\n    if (entered.has(resolved)) return;\n    entered.add(resolved);\n    for (const entry of await readdir(dir, { withFileTypes: true })) {\n      if (entry.name.startsWith(\".\")) continue;\n      const abs = join(dir, entry.name);\n      const what = entryKind(abs, entry);\n      if (what === \"dir\") await walk(abs);\n      else if (what === \"file\" && entry.name.endsWith(\".feature\")) out.push(abs);\n    }\n  };\n  await walk(root);\n  return out.sort((a, b) => {\n    const ra = a.split(sep).join(\"/\");\n    const rb = b.split(sep).join(\"/\");\n    return ra < rb ? -1 : ra > rb ? 1 : 0;\n  });\n}\n\n/** What an entry IS, resolving a symlink to find out. Nothing when it dangles. */\nfunction entryKind(abs: string, e: Dirent): \"dir\" | \"file\" | null {\n  if (!e.isSymbolicLink()) return e.isDirectory() ? \"dir\" : e.isFile() ? \"file\" : null;\n  try {\n    const s = statSync(abs);\n    return s.isDirectory() ? \"dir\" : s.isFile() ? \"file\" : null;\n  } catch {\n    return null;\n  }\n}\n"]}

package/dist/core/health.js

@@ -0,0 +1,67 @@
+/**
+ * The minimal reader for `services/<svc>/health.yaml` — the moment that file
+ * stops being inert. loam reads exactly one thing out of it: the IDS of the
+ * alerts and SLIs it declares, so the architecture spec axis can ask whether a
+ * requirement covers each one (`health.uncovered`). Queries, thresholds,
+ * checks, dependencies — everything else stays authored prose that no check
+ * reads, the same stance `operationIds` takes on OpenAPI schemas.
+ *
+ * The recognized keys (documented in SCHEMA.md, and deliberately few):
+ *
+ *   slis:      a YAML sequence; each entry contributes its `name` (or `id`
+ *   alerts:    when there is no name), and a plain string entry is its own id.
+ *
+ * Tolerant about absence, honest about breakage: a health.yaml that is missing
+ * or declares nothing recognizable yields an empty set — and an empty set
+ * produces no findings, because an absent file must not manufacture
+ * obligations. A file that EXISTS but cannot be read is different evidence:
+ * its ids are unknown, not empty, so the `unreadable` flag travels alongside
+ * (parsers never diagnose — validate grades it as `health.invalid`). The old
+ * silent empty set turned every `Covers: alert:/sli:` entry of that service
+ * into a false `covers.unknown` "typo", when the truth was this file.
+ */
+import { existsSync } from "node:fs";
+import { readFile } from "node:fs/promises";
+import { parse } from "yaml";
+const NO_HEALTH_IDS = { slis: [], alerts: [] };
+export async function readHealth(healthPath) {
+    if (!existsSync(healthPath))
+        return { ids: NO_HEALTH_IDS, unreadable: false };
+    let doc;
+    try {
+        doc = parse(await readFile(healthPath, "utf8"));
+    }
+    catch (e) {
+        return { ids: NO_HEALTH_IDS, unreadable: true, error: e instanceof Error ? e.message : String(e) };
+    }
+    // An empty file parses to null: it declares nothing, and says so honestly.
+    // A scalar or sequence document declares nothing READABLE — flag it.
+    if (doc === null)
+        return { ids: NO_HEALTH_IDS, unreadable: false };
+    if (typeof doc !== "object" || Array.isArray(doc)) {
+        return { ids: NO_HEALTH_IDS, unreadable: true, error: "document is not a YAML mapping" };
+    }
+    const top = doc;
+    return { ids: { slis: idsOf(top["slis"]), alerts: idsOf(top["alerts"]) }, unreadable: false };
+}
+/** The ids a `slis:` / `alerts:` sequence declares — deduped, document order. */
+function idsOf(section) {
+    if (!Array.isArray(section))
+        return [];
+    const out = new Set();
+    for (const entry of section) {
+        if (typeof entry === "string") {
+            if (entry.trim().length > 0)
+                out.add(entry.trim());
+            continue;
+        }
+        if (entry === null || typeof entry !== "object" || Array.isArray(entry))
+            continue;
+        const rec = entry;
+        const id = typeof rec["name"] === "string" ? rec["name"] : rec["id"];
+        if (typeof id === "string" && id.trim().length > 0)
+            out.add(id.trim());
+    }
+    return [...out];
+}
+//# sourceMappingURL=health.js.map

package/dist/core/health.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"health.js","sourceRoot":"","sources":["../../src/core/health.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAO7B,MAAM,aAAa,GAAc,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AAW1D,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,UAAkB;IACjD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAC9E,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,KAAK,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACrG,CAAC;IACD,2EAA2E;IAC3E,qEAAqE;IACrE,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACnE,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,gCAAgC,EAAE,CAAC;IAC3F,CAAC;IACD,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAChG,CAAC;AAED,iFAAiF;AACjF,SAAS,KAAK,CAAC,OAAgB;IAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,SAAS;QAClF,MAAM,GAAG,GAAG,KAAgC,CAAC;QAC7C,MAAM,EAAE,GAAG,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC","sourcesContent":["/**\n * The minimal reader for `services/<svc>/health.yaml` — the moment that file\n * stops being inert. loam reads exactly one thing out of it: the IDS of the\n * alerts and SLIs it declares, so the architecture spec axis can ask whether a\n * requirement covers each one (`health.uncovered`). Queries, thresholds,\n * checks, dependencies — everything else stays authored prose that no check\n * reads, the same stance `operationIds` takes on OpenAPI schemas.\n *\n * The recognized keys (documented in SCHEMA.md, and deliberately few):\n *\n *   slis:      a YAML sequence; each entry contributes its `name` (or `id`\n *   alerts:    when there is no name), and a plain string entry is its own id.\n *\n * Tolerant about absence, honest about breakage: a health.yaml that is missing\n * or declares nothing recognizable yields an empty set — and an empty set\n * produces no findings, because an absent file must not manufacture\n * obligations. A file that EXISTS but cannot be read is different evidence:\n * its ids are unknown, not empty, so the `unreadable` flag travels alongside\n * (parsers never diagnose — validate grades it as `health.invalid`). The old\n * silent empty set turned every `Covers: alert:/sli:` entry of that service\n * into a false `covers.unknown` \"typo\", when the truth was this file.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { parse } from \"yaml\";\n\nexport interface HealthIds {\n  slis: string[];\n  alerts: string[];\n}\n\nconst NO_HEALTH_IDS: HealthIds = { slis: [], alerts: [] };\n\n/** The read of one health.yaml: its declared ids, and whether the file could be read at all. */\nexport interface HealthFile {\n  ids: HealthIds;\n  /** True when the file exists but is not a readable YAML mapping. Missing and empty files read as empty, not broken. */\n  unreadable: boolean;\n  /** The parser's own message, when there is one to quote back. */\n  error?: string;\n}\n\nexport async function readHealth(healthPath: string): Promise<HealthFile> {\n  if (!existsSync(healthPath)) return { ids: NO_HEALTH_IDS, unreadable: false };\n  let doc: unknown;\n  try {\n    doc = parse(await readFile(healthPath, \"utf8\"));\n  } catch (e) {\n    return { ids: NO_HEALTH_IDS, unreadable: true, error: e instanceof Error ? e.message : String(e) };\n  }\n  // An empty file parses to null: it declares nothing, and says so honestly.\n  // A scalar or sequence document declares nothing READABLE — flag it.\n  if (doc === null) return { ids: NO_HEALTH_IDS, unreadable: false };\n  if (typeof doc !== \"object\" || Array.isArray(doc)) {\n    return { ids: NO_HEALTH_IDS, unreadable: true, error: \"document is not a YAML mapping\" };\n  }\n  const top = doc as Record<string, unknown>;\n  return { ids: { slis: idsOf(top[\"slis\"]), alerts: idsOf(top[\"alerts\"]) }, unreadable: false };\n}\n\n/** The ids a `slis:` / `alerts:` sequence declares — deduped, document order. */\nfunction idsOf(section: unknown): string[] {\n  if (!Array.isArray(section)) return [];\n  const out = new Set<string>();\n  for (const entry of section) {\n    if (typeof entry === \"string\") {\n      if (entry.trim().length > 0) out.add(entry.trim());\n      continue;\n    }\n    if (entry === null || typeof entry !== \"object\" || Array.isArray(entry)) continue;\n    const rec = entry as Record<string, unknown>;\n    const id = typeof rec[\"name\"] === \"string\" ? rec[\"name\"] : rec[\"id\"];\n    if (typeof id === \"string\" && id.trim().length > 0) out.add(id.trim());\n  }\n  return [...out];\n}\n"]}