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

package/dist/commands/list.js

@@ -1,295 +0,0 @@
-import { existsSync } from "node:fs";
-import { loadConfig } from "../core/config.js";
-import { emitJson, fail, repoPath, reportNoConfig } from "../core/json.js";
-import { loadFile, serviceResolver } from "../core/likec4.js";
-import { MATURITY_LADDER, maturityGaps, maturityRollup, serviceMaturity, } from "../core/maturity.js";
-import { DocsRepoUnavailableError, compareIds, landscapePath, listFeatures, listServices, servicePaths, } from "../core/repo.js";
-import { featureChecklist, readVerification, tallyRecord, verificationVerdict, } from "../core/verify.js";
-import { docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from "./docs-repo-gate.js";
-const SECTIONS = ["services", "features"];
-export function registerList(program) {
-    program
-        .command("list")
-        .argument("[section]", "services | features (default: both)")
-        .description("List the services and features in the docs repo")
-        .option("--json", "emit the machine contract instead of the human view")
-        .option("--archived", "include archived features")
-        .option("--needs-work", "services only: the adoption worklist — every service below `vouched`, with what it is missing")
-        .action(async (section, opts) => {
-        const json = opts.json === true;
-        const wanted = opts.needsWork
-            ? SECTIONS.filter((s) => s === "services")
-            : section
-                ? SECTIONS.filter((s) => s === section)
-                : SECTIONS;
-        if (section && !SECTIONS.includes(section)) {
-            // `invalid-option`, same as show's bad --type: one mistake class, one code.
-            fail(json, "invalid-option", `Unknown section '${section}'. Expected: ${SECTIONS.join(" | ")}.`);
-            return;
-        }
-        if (opts.needsWork && section === "features") {
-            fail(json, "invalid-option", "--needs-work is the service adoption worklist; drop the 'features' section.");
-            return;
-        }
-        const config = await loadConfig();
-        if (!config) {
-            reportNoConfig(json);
-            return;
-        }
-        const { docsDir } = config;
-        // A docsDir that is not a docs repo is refused, never rendered as an empty
-        // fleet — the whole point of the gate (see docs-repo-gate.ts).
-        // `list features` alone does not need services/, so it asks for less.
-        if (!docsRepoReady(json, docsDir, wanted.includes("services") ? "services" : "docs"))
-            return;
-        try {
-            const services = wanted.includes("services") ? await listServices(docsDir) : undefined;
-            const views = services ? await serviceViews(docsDir, services, config.service) : undefined;
-            const features = wanted.includes("features")
-                ? await listFeatures(docsDir, { includeArchived: opts.archived })
-                : undefined;
-            const verification = features
-                ? await Promise.all(features.map((f) => featureVerification(docsDir, f)))
-                : undefined;
-            const worklist = views?.filter((v) => v.maturity !== "vouched");
-            if (json) {
-                emitJson({
-                    docsDir,
-                    ...(views
-                        ? {
-                            services: (opts.needsWork ? worklist : views).map((v) => serviceJson(docsDir, v)),
-                            maturity: maturityRollup(views),
-                        }
-                        : {}),
-                    ...(features
-                        ? { features: features.map((f, i) => featureJson(docsDir, f, verification[i] ?? null)) }
-                        : {}),
-                });
-                return;
-            }
-            if (opts.needsWork) {
-                printWorklist(worklist, views.length);
-                return;
-            }
-            if (views)
-                printServices(views);
-            if (views && features)
-                console.log("");
-            if (features)
-                printFeatures(features, verification);
-        }
-        catch (err) {
-            if (err instanceof DocsRepoUnavailableError) {
-                reportDocsRepoError(json, err);
-                return;
-            }
-            // One unreadable file used to escape as a stack trace (`internal` in
-            // --json), naming nothing. The enumeration is all-or-nothing — it reads
-            // every service's frontmatter to build one table — so the honest answer
-            // is a refusal that says WHICH path could not be read.
-            reportRepositoryUnavailable(json, err, "the listing would be missing a service", docsDir);
-        }
-    });
-}
-/**
- * Read the living landscape ONCE and decide, per service, whether an API is
- * expected of it. `serviceResolver` is handed the real service ids so an edge
- * drawn into a modelled container (`paymentService.api`) counts for the service
- * that owns it — the same resolution `validate` uses, so the two commands
- * cannot disagree about who is called.
- */
-async function serviceViews(docsDir, services, boundService) {
-    const known = new Set(services.map((s) => s.id));
-    const lp = landscapePath(docsDir);
-    const land = existsSync(lp) ? await loadFile(lp) : null;
-    const called = new Set();
-    // Positive evidence only: with no landscape, or one that does not parse, we
-    // know nothing about who is called and every service is assumed to have an
-    // API — the conservative direction, because claiming a service needs no
-    // contract is how a real one goes undocumented.
-    const proven = land !== null && land.errors.length === 0;
-    if (proven) {
-        const svcOf = serviceResolver(land.elements, known);
-        for (const r of land.relationships) {
-            if (r.op !== undefined)
-                called.add(svcOf(r.target));
-        }
-    }
-    return services.map((entry) => {
-        const archSpec = existsSync(servicePaths(docsDir, entry.id).archSpec);
-        const apiExpected = !proven || called.has(entry.id);
-        const view = {
-            entry,
-            archSpec,
-            apiExpected,
-            unverifiableFromHere: entry.sources.declared && boundService !== entry.id,
-        };
-        const missing = maturityGaps(view);
-        return { ...view, maturity: serviceMaturity(view), missing };
-    });
-}
-/* ------------------------------------------------------------------ */
-/* JSON                                                                */
-/* ------------------------------------------------------------------ */
-function serviceJson(docsDir, v) {
-    const s = v.entry;
-    return {
-        id: s.id,
-        path: repoPath(docsDir, s.dir),
-        has: { ...s.has, archSpec: v.archSpec },
-        adrs: s.adrs,
-        status: s.status,
-        maturity: v.maturity,
-        missing: v.missing,
-        apiExpected: v.apiExpected,
-        // Never omitted when true: a consumer that filters this table into a
-        // worklist has to be able to tell "checked and fine" from "not checkable
-        // from here", and absence reads as the first one.
-        ...(v.unverifiableFromHere ? { provenance: "unverifiable-from-here" } : {}),
-    };
-}
-function featureJson(docsDir, f, verification) {
-    return {
-        id: f.id,
-        dirName: f.dirName,
-        path: repoPath(docsDir, f.dir),
-        archived: f.archived,
-        services: f.services,
-        has: f.has,
-        verification,
-    };
-}
-/**
- * The verification column. `readVerification` is one file read; the checklist
- * is derived only when there is a record to judge — on a fleet-sized repo most
- * features have none, and deriving N checklists to print N dashes is the cost
- * that would get this column dropped.
- *
- * An archived feature's record is frozen history (see verify.ts): archive
- * merged the feature's operations into the living openapi, so a re-derived
- * checklist can only mismatch — the record is reported as recorded, never
- * judged stale.
- */
-async function featureVerification(docsDir, f) {
-    const v = await readVerification(f.dir);
-    if (v === null)
-        return null;
-    const stale = f.archived
-        ? false
-        : (await featureChecklist(docsDir, f.dir, f.id)).digest !== v.checklist;
-    const tally = tallyRecord(v);
-    return {
-        state: stale ? "stale" : "recorded",
-        recorded: v.recorded,
-        verdict: verificationVerdict(tally, stale),
-        confirmed: tally.confirmed,
-        claims: tally.claims,
-        attested: tally.attested,
-    };
-}
-/* ------------------------------------------------------------------ */
-/* Text                                                                */
-/* ------------------------------------------------------------------ */
-/**
- * Fixed-width presence flags. `a` and `A` are deliberately the same letter in
- * two cases: the arch spec and the API are the two things a reader most often
- * mistakes for each other, and one is lowercase because it is optional.
- */
-function serviceFlags(v) {
-    const s = v.entry;
-    return [
-        s.has.model ? "M" : "-",
-        s.has.spec ? "S" : "-",
-        v.archSpec ? "a" : "-",
-        s.has.openapi ? "A" : "-",
-        // The async contract, lowercase like the arch spec and for the same reason:
-        // it is optional. A fleet where most services own no topic must not read as
-        // a fleet with a column of gaps in it.
-        s.has.asyncapi ? "e" : "-",
-        s.has.runbook ? "R" : "-",
-        s.has.health ? "H" : "-",
-    ].join(" ");
-}
-function printServices(views) {
-    console.log(`services (${views.length})  [M]odel [S]pec [a]rch-spec [A]pi [R]unbook [H]ealth`);
-    const width = Math.max(0, ...views.map((v) => v.entry.id.length));
-    const rungWidth = Math.max(0, ...views.map((v) => v.maturity.length));
-    for (const v of views) {
-        const s = v.entry;
-        const adrs = s.adrs > 0 ? `  (${s.adrs} adr${s.adrs === 1 ? "" : "s"})` : "";
-        // The rung per service, not only in the rollup: "12 partial" tells a reader
-        // the fleet is unfinished and nothing about which twelve, which is the one
-        // question the line is read to answer.
-        console.log(`  ${serviceFlags(v)}  ${s.id.padEnd(width)}  ${v.maturity.padEnd(rungWidth)}${adrs}`.trimEnd());
-    }
-    // How much of the fleet anyone has actually vouched for. On 100+ services this
-    // is the number that says whether the docs can be trusted at all.
-    if (views.length > 0) {
-        const counted = new Map();
-        for (const v of views) {
-            const key = v.entry.status ?? "unmarked";
-            counted.set(key, (counted.get(key) ?? 0) + 1);
-        }
-        const parts = [...counted.entries()]
-            .sort((a, b) => compareIds(a[0], b[0]))
-            .map(([status, n]) => `${n} ${status}`);
-        console.log(`  status: ${parts.join(" · ")}`);
-        // The campaign dial next to the trust dial: rungs in ladder order, so the
-        // line reads as progress left to right. Presence and provenance state only
-        // — completeness is unchecked, so this line never says "adopted".
-        const rollup = maturityRollup(views);
-        const rungs = MATURITY_LADDER.filter((m) => rollup[m] > 0).map((m) => `${rollup[m]} ${m}`);
-        console.log(`  maturity: ${rungs.join(" · ")}`);
-    }
-}
-/**
- * The one-shot adoption worklist. Onboarding ten legacy services means asking
- * "what is left" once a day for a month, and the answer used to require reading
- * a presence table and a rollup and joining them by eye. A service whose
- * provenance cannot be judged from here is LISTED, tagged, never dropped:
- * omitting it would read as done.
- */
-function printWorklist(views, total) {
-    if (views.length === 0) {
-        console.log(`nothing to do — all ${total} service(s) are vouched`);
-        return;
-    }
-    console.log(`${views.length} of ${total} service(s) need work`);
-    const width = Math.max(0, ...views.map((v) => v.entry.id.length));
-    const rungWidth = Math.max(0, ...views.map((v) => v.maturity.length));
-    for (const v of views) {
-        const note = v.unverifiableFromHere ? "  (provenance: unverifiable-from-here)" : "";
-        console.log(`  ${v.entry.id.padEnd(width)}  ${v.maturity.padEnd(rungWidth)}  missing: ${v.missing.join(", ")}${note}`);
-    }
-}
-/** Narrow verification cell: confirmed/claims when a record answers, one word when it does not. */
-function verificationMark(v) {
-    if (v === null)
-        return "-";
-    if (v.state === "stale")
-        return "stale";
-    // `11/11` and `11/11 attested` are different facts — the first is a
-    // digest-matched green run, the second is somebody's word about one. Without
-    // the suffix a complete count is the same glyph either way, which is exactly
-    // the reading `verify`, `status` and the JSON envelope stopped giving.
-    return `${v.confirmed}/${v.claims}${v.verdict === "attested" ? " attested" : ""}`;
-}
-function printFeatures(features, verification) {
-    const active = features.filter((f) => !f.archived).length;
-    const archived = features.length - active;
-    const counts = `${active} active${archived > 0 ? `, ${archived} archived` : ""}`;
-    // Not `verified`: the column reports three verdicts and only one of them is
-    // that one. A heading that names the strong verdict makes every other cell
-    // read as it.
-    console.log(`features (${counts})  [I]ntent [D]elta  verification`);
-    const width = Math.max(0, ...features.map((f) => f.id.length));
-    const cells = verification.map(verificationMark);
-    const cellWidth = Math.max(0, ...cells.map((c) => c.length));
-    for (const [i, f] of features.entries()) {
-        const flags = `${f.has.intent ? "I" : "-"} ${f.has.delta ? "D" : "-"}`;
-        const svcs = f.services.length > 0 ? f.services.join(", ") : "—";
-        const tag = f.archived ? "  (archived)" : "";
-        console.log(`  ${flags}  ${f.id.padEnd(width)}  ${cells[i].padEnd(cellWidth)}  ${svcs}${tag}`);
-    }
-}
-//# sourceMappingURL=list.js.map

package/dist/commands/list.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"list.js","sourceRoot":"","sources":["../../src/commands/list.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EACL,eAAe,EACf,YAAY,EACZ,cAAc,EACd,eAAe,GAGhB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,wBAAwB,EACxB,UAAU,EACV,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,YAAY,GAGb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,WAAW,EACX,mBAAmB,GAEpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAGtG,MAAM,QAAQ,GAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AAQrD,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO;SACJ,OAAO,CAAC,MAAM,CAAC;SACf,QAAQ,CAAC,WAAW,EAAE,qCAAqC,CAAC;SAC5D,WAAW,CAAC,iDAAiD,CAAC;SAC9D,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC;SACvE,MAAM,CAAC,YAAY,EAAE,2BAA2B,CAAC;SACjD,MAAM,CACL,cAAc,EACd,+FAA+F,CAChG;SACA,MAAM,CAAC,KAAK,EAAE,OAA2B,EAAE,IAAiB,EAAE,EAAE;QAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS;YAC3B,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC;YAC1C,CAAC,CAAC,OAAO;gBACP,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC;gBACvC,CAAC,CAAC,QAAQ,CAAC;QACf,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAkB,CAAC,EAAE,CAAC;YACtD,4EAA4E;YAC5E,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,oBAAoB,OAAO,gBAAgB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACjG,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,6EAA6E,CAAC,CAAC;YAC5G,OAAO;QACT,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,cAAc,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAC3B,2EAA2E;QAC3E,+DAA+D;QAC/D,sEAAsE;QACtE,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,OAAO;QAE7F,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvF,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3F,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAC1C,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,EAAE,eAAe,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACjE,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,YAAY,GAAG,QAAQ;gBAC3B,CAAC,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;gBACzE,CAAC,CAAC,SAAS,CAAC;YAEd,MAAM,QAAQ,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;YAEhE,IAAI,IAAI,EAAE,CAAC;gBACT,QAAQ,CAAC;oBACP,OAAO;oBACP,GAAG,CAAC,KAAK;wBACP,CAAC,CAAC;4BACE,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;4BAClF,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC;yBAChC;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,QAAQ;wBACV,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,YAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE;wBACzF,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC,CAAC;gBACH,OAAO;YACT,CAAC;YAED,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,aAAa,CAAC,QAAS,EAAE,KAAM,CAAC,MAAM,CAAC,CAAC;gBACxC,OAAO;YACT,CAAC;YACD,IAAI,KAAK;gBAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,KAAK,IAAI,QAAQ;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACvC,IAAI,QAAQ;gBAAE,aAAa,CAAC,QAAQ,EAAE,YAAa,CAAC,CAAC;QACvD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,wBAAwB,EAAE,CAAC;gBAC5C,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC/B,OAAO;YACT,CAAC;YACD,qEAAqE;YACrE,wEAAwE;YACxE,wEAAwE;YACxE,uDAAuD;YACvD,2BAA2B,CAAC,IAAI,EAAE,GAAG,EAAE,wCAAwC,EAAE,OAAO,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC,CAAC,CAAC;AACP,CAAC;AAmBD;;;;;;GAMG;AACH,KAAK,UAAU,YAAY,CACzB,OAAe,EACf,QAAwB,EACxB,YAAgC;IAEhC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,4EAA4E;IAC5E,2EAA2E;IAC3E,wEAAwE;IACxE,gDAAgD;IAChD,MAAM,MAAM,GAAG,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IACzD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS;gBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5B,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;QACtE,MAAM,WAAW,GAAG,CAAC,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG;YACX,KAAK;YACL,QAAQ;YACR,WAAW;YACX,oBAAoB,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,IAAI,YAAY,KAAK,KAAK,CAAC,EAAE;SAC1E,CAAC;QACF,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,SAAS,WAAW,CAAC,OAAe,EAAE,CAAc;IAClD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC;QAC9B,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,qEAAqE;QACrE,yEAAyE;QACzE,kDAAkD;QAClD,GAAG,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5E,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,OAAe,EACf,CAAe,EACf,YAAqC;IAErC,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC;QAC9B,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,YAAY;KACb,CAAC;AACJ,CAAC;AAyBD;;;;;;;;;;GAUG;AACH,KAAK,UAAU,mBAAmB,CAChC,OAAe,EACf,CAAe;IAEf,MAAM,CAAC,GAAG,MAAM,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ;QACtB,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,SAAS,CAAC;IAC1E,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU;QACnC,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,OAAO,EAAE,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC;QAC1C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE;;;;GAIG;AACH,SAAS,YAAY,CAAC,CAAc;IAClC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,OAAO;QACL,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;QACvB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;QACtB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;QACtB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;QACzB,4EAA4E;QAC5E,4EAA4E;QAC5E,uCAAuC;QACvC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;QAC1B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;QACzB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;KACzB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,KAAoB;IACzC,OAAO,CAAC,GAAG,CACT,aAAa,KAAK,CAAC,MAAM,wDAAwD,CAClF,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,4EAA4E;QAC5E,2EAA2E;QAC3E,uCAAuC;QACvC,OAAO,CAAC,GAAG,CACT,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAChG,CAAC;IACJ,CAAC;IACD,+EAA+E;IAC/E,kEAAkE;IAClE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,UAAU,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;aACjC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9C,0EAA0E;QAC1E,2EAA2E;QAC3E,kEAAkE;QAClE,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3F,OAAO,CAAC,GAAG,CAAC,eAAe,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CAAC,KAAoB,EAAE,KAAa;IACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,GAAG,CAAC,uBAAuB,KAAK,yBAAyB,CAAC,CAAC;QACnE,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,OAAO,KAAK,uBAAuB,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,OAAO,CAAC,GAAG,CACT,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAC1G,CAAC;IACJ,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,SAAS,gBAAgB,CAAC,CAA0B;IAClD,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC;IAC3B,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACxC,oEAAoE;IACpE,6EAA6E;IAC7E,6EAA6E;IAC7E,uEAAuE;IACvE,OAAO,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,aAAa,CAAC,QAAwB,EAAE,YAAyC;IACxF,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IAC1D,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;IAC1C,MAAM,MAAM,GAAG,GAAG,MAAM,UAAU,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACjF,4EAA4E;IAC5E,2EAA2E;IAC3E,cAAc;IACd,OAAO,CAAC,GAAG,CAAC,aAAa,MAAM,mCAAmC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjE,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC;IAClG,CAAC;AACH,CAAC","sourcesContent":["import type { Command } from \"commander\";\nimport { existsSync } from \"node:fs\";\nimport { loadConfig } from \"../core/config.js\";\nimport { emitJson, fail, repoPath, reportNoConfig } from \"../core/json.js\";\nimport { loadFile, serviceResolver } from \"../core/likec4.js\";\nimport {\n  MATURITY_LADDER,\n  maturityGaps,\n  maturityRollup,\n  serviceMaturity,\n  type Maturity,\n  type MaturityInput,\n} from \"../core/maturity.js\";\nimport {\n  DocsRepoUnavailableError,\n  compareIds,\n  landscapePath,\n  listFeatures,\n  listServices,\n  servicePaths,\n  type FeatureEntry,\n  type ServiceEntry,\n} from \"../core/repo.js\";\nimport {\n  featureChecklist,\n  readVerification,\n  tallyRecord,\n  verificationVerdict,\n  type VerificationVerdict,\n} from \"../core/verify.js\";\nimport { docsRepoReady, reportDocsRepoError, reportRepositoryUnavailable } from \"./docs-repo-gate.js\";\n\ntype Section = \"services\" | \"features\";\nconst SECTIONS: Section[] = [\"services\", \"features\"];\n\ninterface ListOptions {\n  json?: boolean;\n  archived?: boolean;\n  needsWork?: boolean;\n}\n\nexport function registerList(program: Command): void {\n  program\n    .command(\"list\")\n    .argument(\"[section]\", \"services | features (default: both)\")\n    .description(\"List the services and features in the docs repo\")\n    .option(\"--json\", \"emit the machine contract instead of the human view\")\n    .option(\"--archived\", \"include archived features\")\n    .option(\n      \"--needs-work\",\n      \"services only: the adoption worklist — every service below `vouched`, with what it is missing\",\n    )\n    .action(async (section: string | undefined, opts: ListOptions) => {\n      const json = opts.json === true;\n      const wanted = opts.needsWork\n        ? SECTIONS.filter((s) => s === \"services\")\n        : section\n          ? SECTIONS.filter((s) => s === section)\n          : SECTIONS;\n      if (section && !SECTIONS.includes(section as Section)) {\n        // `invalid-option`, same as show's bad --type: one mistake class, one code.\n        fail(json, \"invalid-option\", `Unknown section '${section}'. Expected: ${SECTIONS.join(\" | \")}.`);\n        return;\n      }\n      if (opts.needsWork && section === \"features\") {\n        fail(json, \"invalid-option\", \"--needs-work is the service adoption worklist; drop the 'features' section.\");\n        return;\n      }\n\n      const config = await loadConfig();\n      if (!config) {\n        reportNoConfig(json);\n        return;\n      }\n      const { docsDir } = config;\n      // A docsDir that is not a docs repo is refused, never rendered as an empty\n      // fleet — the whole point of the gate (see docs-repo-gate.ts).\n      // `list features` alone does not need services/, so it asks for less.\n      if (!docsRepoReady(json, docsDir, wanted.includes(\"services\") ? \"services\" : \"docs\")) return;\n\n      try {\n        const services = wanted.includes(\"services\") ? await listServices(docsDir) : undefined;\n        const views = services ? await serviceViews(docsDir, services, config.service) : undefined;\n        const features = wanted.includes(\"features\")\n          ? await listFeatures(docsDir, { includeArchived: opts.archived })\n          : undefined;\n        const verification = features\n          ? await Promise.all(features.map((f) => featureVerification(docsDir, f)))\n          : undefined;\n\n        const worklist = views?.filter((v) => v.maturity !== \"vouched\");\n\n        if (json) {\n          emitJson({\n            docsDir,\n            ...(views\n              ? {\n                  services: (opts.needsWork ? worklist! : views).map((v) => serviceJson(docsDir, v)),\n                  maturity: maturityRollup(views),\n                }\n              : {}),\n            ...(features\n              ? { features: features.map((f, i) => featureJson(docsDir, f, verification![i] ?? null)) }\n              : {}),\n          });\n          return;\n        }\n\n        if (opts.needsWork) {\n          printWorklist(worklist!, views!.length);\n          return;\n        }\n        if (views) printServices(views);\n        if (views && features) console.log(\"\");\n        if (features) printFeatures(features, verification!);\n      } catch (err) {\n        if (err instanceof DocsRepoUnavailableError) {\n          reportDocsRepoError(json, err);\n          return;\n        }\n        // One unreadable file used to escape as a stack trace (`internal` in\n        // --json), naming nothing. The enumeration is all-or-nothing — it reads\n        // every service's frontmatter to build one table — so the honest answer\n        // is a refusal that says WHICH path could not be read.\n        reportRepositoryUnavailable(json, err, \"the listing would be missing a service\", docsDir);\n      }\n    });\n}\n\n/* ------------------------------------------------------------------ */\n/* The per-service view                                                */\n/* ------------------------------------------------------------------ */\n\n/**\n * The graded view: the rung's own inputs (core/maturity.ts) plus the one fact\n * only this command knows — whether anyone standing here could check the\n * service's `sources`, which needs loam.json's binding, not the directory.\n */\ninterface ServiceView extends MaturityInput {\n  /** True when this service's `sources` can only be resolved from its own repo. */\n  unverifiableFromHere: boolean;\n  maturity: Maturity;\n  /** What stands between this service and the next rung, in fix order. */\n  missing: string[];\n}\n\n/**\n * Read the living landscape ONCE and decide, per service, whether an API is\n * expected of it. `serviceResolver` is handed the real service ids so an edge\n * drawn into a modelled container (`paymentService.api`) counts for the service\n * that owns it — the same resolution `validate` uses, so the two commands\n * cannot disagree about who is called.\n */\nasync function serviceViews(\n  docsDir: string,\n  services: ServiceEntry[],\n  boundService: string | undefined,\n): Promise<ServiceView[]> {\n  const known = new Set(services.map((s) => s.id));\n  const lp = landscapePath(docsDir);\n  const land = existsSync(lp) ? await loadFile(lp) : null;\n  const called = new Set<string>();\n  // Positive evidence only: with no landscape, or one that does not parse, we\n  // know nothing about who is called and every service is assumed to have an\n  // API — the conservative direction, because claiming a service needs no\n  // contract is how a real one goes undocumented.\n  const proven = land !== null && land.errors.length === 0;\n  if (proven) {\n    const svcOf = serviceResolver(land.elements, known);\n    for (const r of land.relationships) {\n      if (r.op !== undefined) called.add(svcOf(r.target));\n    }\n  }\n\n  return services.map((entry) => {\n    const archSpec = existsSync(servicePaths(docsDir, entry.id).archSpec);\n    const apiExpected = !proven || called.has(entry.id);\n    const view = {\n      entry,\n      archSpec,\n      apiExpected,\n      unverifiableFromHere: entry.sources.declared && boundService !== entry.id,\n    };\n    const missing = maturityGaps(view);\n    return { ...view, maturity: serviceMaturity(view), missing };\n  });\n}\n\n/* ------------------------------------------------------------------ */\n/* JSON                                                                */\n/* ------------------------------------------------------------------ */\n\nfunction serviceJson(docsDir: string, v: ServiceView): Record<string, unknown> {\n  const s = v.entry;\n  return {\n    id: s.id,\n    path: repoPath(docsDir, s.dir),\n    has: { ...s.has, archSpec: v.archSpec },\n    adrs: s.adrs,\n    status: s.status,\n    maturity: v.maturity,\n    missing: v.missing,\n    apiExpected: v.apiExpected,\n    // Never omitted when true: a consumer that filters this table into a\n    // worklist has to be able to tell \"checked and fine\" from \"not checkable\n    // from here\", and absence reads as the first one.\n    ...(v.unverifiableFromHere ? { provenance: \"unverifiable-from-here\" } : {}),\n  };\n}\n\nfunction featureJson(\n  docsDir: string,\n  f: FeatureEntry,\n  verification: VerificationCell | null,\n): Record<string, unknown> {\n  return {\n    id: f.id,\n    dirName: f.dirName,\n    path: repoPath(docsDir, f.dir),\n    archived: f.archived,\n    services: f.services,\n    has: f.has,\n    verification,\n  };\n}\n\n/* ------------------------------------------------------------------ */\n/* Verification                                                        */\n/* ------------------------------------------------------------------ */\n\n/** What the features table says about verification without N `loam verify` runs. */\ninterface VerificationCell {\n  state: \"recorded\" | \"stale\";\n  /** The day the record was written. */\n  recorded: string;\n  /**\n   * `verify --json`'s own three-valued verdict, through `verificationVerdict` —\n   * not a fourth opinion computed here. `attested` is the one this column got\n   * wrong: a scenario confirmed on an agent's word printed as `11/11` under a\n   * heading that said `verified`, and `list --json` is how the fleet is graded.\n   */\n  verdict: VerificationVerdict;\n  /** Both counts are `tallyRecord`'s — the record's `claims[]`, never its `summary:` block. */\n  confirmed: number;\n  claims: number;\n  /** Of the confirmed, the scenario claims on an agent's word (`attestedClaims`). */\n  attested: number;\n}\n\n/**\n * The verification column. `readVerification` is one file read; the checklist\n * is derived only when there is a record to judge — on a fleet-sized repo most\n * features have none, and deriving N checklists to print N dashes is the cost\n * that would get this column dropped.\n *\n * An archived feature's record is frozen history (see verify.ts): archive\n * merged the feature's operations into the living openapi, so a re-derived\n * checklist can only mismatch — the record is reported as recorded, never\n * judged stale.\n */\nasync function featureVerification(\n  docsDir: string,\n  f: FeatureEntry,\n): Promise<VerificationCell | null> {\n  const v = await readVerification(f.dir);\n  if (v === null) return null;\n  const stale = f.archived\n    ? false\n    : (await featureChecklist(docsDir, f.dir, f.id)).digest !== v.checklist;\n  const tally = tallyRecord(v);\n  return {\n    state: stale ? \"stale\" : \"recorded\",\n    recorded: v.recorded,\n    verdict: verificationVerdict(tally, stale),\n    confirmed: tally.confirmed,\n    claims: tally.claims,\n    attested: tally.attested,\n  };\n}\n\n/* ------------------------------------------------------------------ */\n/* Text                                                                */\n/* ------------------------------------------------------------------ */\n\n/**\n * Fixed-width presence flags. `a` and `A` are deliberately the same letter in\n * two cases: the arch spec and the API are the two things a reader most often\n * mistakes for each other, and one is lowercase because it is optional.\n */\nfunction serviceFlags(v: ServiceView): string {\n  const s = v.entry;\n  return [\n    s.has.model ? \"M\" : \"-\",\n    s.has.spec ? \"S\" : \"-\",\n    v.archSpec ? \"a\" : \"-\",\n    s.has.openapi ? \"A\" : \"-\",\n    // The async contract, lowercase like the arch spec and for the same reason:\n    // it is optional. A fleet where most services own no topic must not read as\n    // a fleet with a column of gaps in it.\n    s.has.asyncapi ? \"e\" : \"-\",\n    s.has.runbook ? \"R\" : \"-\",\n    s.has.health ? \"H\" : \"-\",\n  ].join(\" \");\n}\n\nfunction printServices(views: ServiceView[]): void {\n  console.log(\n    `services (${views.length})  [M]odel [S]pec [a]rch-spec [A]pi [R]unbook [H]ealth`,\n  );\n  const width = Math.max(0, ...views.map((v) => v.entry.id.length));\n  const rungWidth = Math.max(0, ...views.map((v) => v.maturity.length));\n  for (const v of views) {\n    const s = v.entry;\n    const adrs = s.adrs > 0 ? `  (${s.adrs} adr${s.adrs === 1 ? \"\" : \"s\"})` : \"\";\n    // The rung per service, not only in the rollup: \"12 partial\" tells a reader\n    // the fleet is unfinished and nothing about which twelve, which is the one\n    // question the line is read to answer.\n    console.log(\n      `  ${serviceFlags(v)}  ${s.id.padEnd(width)}  ${v.maturity.padEnd(rungWidth)}${adrs}`.trimEnd(),\n    );\n  }\n  // How much of the fleet anyone has actually vouched for. On 100+ services this\n  // is the number that says whether the docs can be trusted at all.\n  if (views.length > 0) {\n    const counted = new Map<string, number>();\n    for (const v of views) {\n      const key = v.entry.status ?? \"unmarked\";\n      counted.set(key, (counted.get(key) ?? 0) + 1);\n    }\n    const parts = [...counted.entries()]\n      .sort((a, b) => compareIds(a[0], b[0]))\n      .map(([status, n]) => `${n} ${status}`);\n    console.log(`  status: ${parts.join(\" · \")}`);\n    // The campaign dial next to the trust dial: rungs in ladder order, so the\n    // line reads as progress left to right. Presence and provenance state only\n    // — completeness is unchecked, so this line never says \"adopted\".\n    const rollup = maturityRollup(views);\n    const rungs = MATURITY_LADDER.filter((m) => rollup[m] > 0).map((m) => `${rollup[m]} ${m}`);\n    console.log(`  maturity: ${rungs.join(\" · \")}`);\n  }\n}\n\n/**\n * The one-shot adoption worklist. Onboarding ten legacy services means asking\n * \"what is left\" once a day for a month, and the answer used to require reading\n * a presence table and a rollup and joining them by eye. A service whose\n * provenance cannot be judged from here is LISTED, tagged, never dropped:\n * omitting it would read as done.\n */\nfunction printWorklist(views: ServiceView[], total: number): void {\n  if (views.length === 0) {\n    console.log(`nothing to do — all ${total} service(s) are vouched`);\n    return;\n  }\n  console.log(`${views.length} of ${total} service(s) need work`);\n  const width = Math.max(0, ...views.map((v) => v.entry.id.length));\n  const rungWidth = Math.max(0, ...views.map((v) => v.maturity.length));\n  for (const v of views) {\n    const note = v.unverifiableFromHere ? \"  (provenance: unverifiable-from-here)\" : \"\";\n    console.log(\n      `  ${v.entry.id.padEnd(width)}  ${v.maturity.padEnd(rungWidth)}  missing: ${v.missing.join(\", \")}${note}`,\n    );\n  }\n}\n\n/** Narrow verification cell: confirmed/claims when a record answers, one word when it does not. */\nfunction verificationMark(v: VerificationCell | null): string {\n  if (v === null) return \"-\";\n  if (v.state === \"stale\") return \"stale\";\n  // `11/11` and `11/11 attested` are different facts — the first is a\n  // digest-matched green run, the second is somebody's word about one. Without\n  // the suffix a complete count is the same glyph either way, which is exactly\n  // the reading `verify`, `status` and the JSON envelope stopped giving.\n  return `${v.confirmed}/${v.claims}${v.verdict === \"attested\" ? \" attested\" : \"\"}`;\n}\n\nfunction printFeatures(features: FeatureEntry[], verification: (VerificationCell | null)[]): void {\n  const active = features.filter((f) => !f.archived).length;\n  const archived = features.length - active;\n  const counts = `${active} active${archived > 0 ? `, ${archived} archived` : \"\"}`;\n  // Not `verified`: the column reports three verdicts and only one of them is\n  // that one. A heading that names the strong verdict makes every other cell\n  // read as it.\n  console.log(`features (${counts})  [I]ntent [D]elta  verification`);\n  const width = Math.max(0, ...features.map((f) => f.id.length));\n  const cells = verification.map(verificationMark);\n  const cellWidth = Math.max(0, ...cells.map((c) => c.length));\n  for (const [i, f] of features.entries()) {\n    const flags = `${f.has.intent ? \"I\" : \"-\"} ${f.has.delta ? \"D\" : \"-\"}`;\n    const svcs = f.services.length > 0 ? f.services.join(\", \") : \"—\";\n    const tag = f.archived ? \"  (archived)\" : \"\";\n    console.log(`  ${flags}  ${f.id.padEnd(width)}  ${cells[i]!.padEnd(cellWidth)}  ${svcs}${tag}`);\n  }\n}\n"]}