@sdd-method/sdd-cli 1.0.1 → 1.2.0

package/dist/lib/catalogue/coverage-predicates.js

@@ -0,0 +1,603 @@
+/**
+ * Coverage predicates as SQL — M-ADR 0205 §4.4 (engine-evolution Phase A3).
+ *
+ * Declarative re-expressions of the participation-constraint predicates —
+ * the four catalogue-classics:
+ *
+ *   - repo_capability   (M-ADR 0188): every catalogued repository resolves
+ *     to a capability or declares an exemption; orphans classified by
+ *     whether the capability_service ⋈ services.primary_repo_id derivation
+ *     COULD have fired (shape a / claimed-but-unresolved / shape b).
+ *   - service_capability (M-ADR 0133 §4.2b): every catalogued service is
+ *     claimed or exempt; tier is explicit and asymmetric per M-ADR 0196
+ *     §4.3 (`orphaned` is aggregate-only; member tier reports
+ *     `unresolved-locally`, cause-agnostic); the Path-X leverage axis is
+ *     reported separately and only when repo_capability.csv exists.
+ *   - event_coverage    (WS3): every catalogued event is attributed to a
+ *     runtime — service_event edge or resolving publisher column — with
+ *     the contract-twin alternative route, the column-vs-edge disagreement
+ *     controls, and the chain-readout/consumer-enumerability metric lines
+ *     that are never verdicts.
+ *   - contract_coverage (WS2): every catalogued contract is reachable —
+ *     capability_contract or service_contract — with the three computed
+ *     exclusions (deprecated / provider-surface / not-an-interface, the
+ *     last a positive READ of the spec file), the covered-as-event
+ *     alternative route, and the M-ADR 0202 availability-manifest info
+ *     surface. File and YAML ingestion stay host-side; set logic is SQL.
+ *
+ * The shell scripts in sdd-method's orchestration/scripts/ remain the
+ * REFERENCE implementations until A4 cutover: any semantic change lands
+ * there first and here second, and the dual-run driver compares the two
+ * as structured findings — (kind, subject, classification, leverage) plus
+ * every metric integer — never as prose.
+ *
+ * The relations live in SQL; the classification branching mirrors the
+ * reference implementations statement-for-statement, including their
+ * duplicate-row semantics (a duplicated id is counted and reported per
+ * ROW, never deduplicated away).
+ */
+import { readFileSync, existsSync } from "node:fs";
+import { join } from "node:path";
+import { parse as parseYaml } from "yaml";
+const REPO_FLAGS_SQL = `
+SELECT
+  r."id" AS repo_id,
+  EXISTS (SELECT 1 FROM "repo_capability" c
+          WHERE c."repo_id" = r."id") AS has_cap,
+  EXISTS (SELECT 1 FROM "repo_capability_exemption" e
+          WHERE e."repo_id" = r."id") AS has_exempt,
+  EXISTS (SELECT 1 FROM "services" s
+          WHERE s."primary_repo_id" = r."id"
+            AND s."id" IS NOT NULL AND s."id" <> '') AS has_svc,
+  EXISTS (SELECT 1 FROM "services" s
+          WHERE s."primary_repo_id" = r."id"
+            AND s."id" IS NOT NULL AND s."id" <> ''
+            AND NOT EXISTS (SELECT 1 FROM "capability_service" cs
+                            WHERE cs."service_id" = s."id")) AS has_unclaimed_svc,
+  (SELECT e2."reason" FROM "repo_capability_exemption" e2
+   WHERE e2."repo_id" = r."id"
+     AND e2.rowid = (SELECT MAX(e3.rowid) FROM "repo_capability_exemption" e3
+                     WHERE e3."repo_id" = r."id")) AS exempt_reason,
+  (SELECT string_agg(s."id", chr(31) ORDER BY s."id") FROM "services" s
+   WHERE s."primary_repo_id" = r."id"
+     AND s."id" IS NOT NULL AND s."id" <> ''
+     AND NOT EXISTS (SELECT 1 FROM "capability_service" cs
+                     WHERE cs."service_id" = s."id")) AS unclaimed_ids
+FROM "repositories" r
+WHERE r."id" IS NOT NULL AND r."id" <> ''
+ORDER BY repo_id;`;
+export async function runRepoCapabilityCoverage(session) {
+    const reader = await session.conn.runAndReadAll(REPO_FLAGS_SQL);
+    const rows = reader.getRows().map((r) => ({
+        repoId: String(r[0]),
+        hasCap: r[1] === true,
+        hasExempt: r[2] === true,
+        hasSvc: r[3] === true,
+        hasUnclaimedSvc: r[4] === true,
+        exemptReason: r[5] === null || r[5] === undefined ? "" : String(r[5]),
+        unclaimedIds: r[6] === null || r[6] === undefined
+            ? []
+            : String(r[6]).split("\x1f"),
+    }));
+    const findings = [];
+    let byCapability = 0;
+    let byExemption = 0;
+    let conflicting = 0;
+    let unresolved = 0;
+    let shapeA = 0;
+    let shapeB = 0;
+    for (const row of rows) {
+        if (row.hasCap && row.hasExempt) {
+            conflicting++;
+            findings.push({
+                predicate: "repo_capability",
+                kind: "divergence",
+                subjectId: row.repoId,
+                classification: "conflict",
+                exemptionReason: row.exemptReason,
+            });
+        }
+        else if (row.hasCap) {
+            byCapability++;
+        }
+        else if (row.hasExempt) {
+            byExemption++;
+        }
+        else {
+            unresolved++;
+            if (row.hasUnclaimedSvc) {
+                shapeA++;
+                findings.push({
+                    predicate: "repo_capability",
+                    kind: "orphan",
+                    subjectId: row.repoId,
+                    classification: "shape_a",
+                    unclaimedServices: row.unclaimedIds.slice(0, 3),
+                    unclaimedCount: row.unclaimedIds.length,
+                });
+            }
+            else if (row.hasSvc) {
+                findings.push({
+                    predicate: "repo_capability",
+                    kind: "orphan",
+                    subjectId: row.repoId,
+                    classification: "claimed_unresolved",
+                });
+            }
+            else {
+                shapeB++;
+                findings.push({
+                    predicate: "repo_capability",
+                    kind: "orphan",
+                    subjectId: row.repoId,
+                    classification: "shape_b",
+                });
+            }
+        }
+    }
+    return {
+        findings,
+        metrics: {
+            total: rows.length,
+            byCapability,
+            byExemption,
+            conflicting,
+            unresolved,
+            shapeA,
+            shapeB,
+            other: unresolved - shapeA - shapeB,
+        },
+    };
+}
+/** Statement-for-statement mirror of the reference classify(). */
+function classify(hasCap, hasExempt) {
+    if (hasCap && hasExempt)
+        return "conflict";
+    if (hasCap)
+        return "claimed";
+    if (hasExempt)
+        return "exempt";
+    return "unresolved";
+}
+const SERVICE_FLAGS_SQL = `
+SELECT
+  s."id" AS service_id,
+  COALESCE(s."primary_repo_id", '') AS primary_repo,
+  EXISTS (SELECT 1 FROM "capability_service" cs
+          WHERE cs."service_id" = s."id") AS has_cap,
+  EXISTS (SELECT 1 FROM "service_capability_exemption" e
+          WHERE e."service_id" = s."id") AS has_exempt,
+  EXISTS (SELECT 1 FROM "repo_capability" rc
+          WHERE rc."repo_id" = s."primary_repo_id"
+            AND rc."repo_id" IS NOT NULL AND rc."repo_id" <> '') AS repo_resolves,
+  (SELECT e2."reason" FROM "service_capability_exemption" e2
+   WHERE e2."service_id" = s."id"
+     AND e2.rowid = (SELECT MAX(e3.rowid) FROM "service_capability_exemption" e3
+                     WHERE e3."service_id" = s."id")) AS exempt_reason
+FROM "services" s
+WHERE s."id" IS NOT NULL AND s."id" <> ''
+ORDER BY service_id, primary_repo;`;
+export async function runServiceCapabilityCoverage(session, options) {
+    // Known-bad probe, carried over from the reference implementation
+    // (WS11's third requirement): a synthetic claimed service must classify
+    // as claimed BEFORE any real data is reported — a run whose
+    // classification never executed must not be able to report a healthy
+    // estate.
+    if (classify(true, false) !== "claimed") {
+        throw new Error("coverage-predicates: known-bad probe failed — a synthetic claimed service did not classify as claimed; refusing to report");
+    }
+    const reader = await session.conn.runAndReadAll(SERVICE_FLAGS_SQL);
+    const findings = [];
+    let claimed = 0;
+    let exempt = 0;
+    let conflicting = 0;
+    let unresolved = 0;
+    let leverageYes = 0;
+    let leverageNo = 0;
+    let leverageNa = 0;
+    let total = 0;
+    for (const r of reader.getRows()) {
+        total++;
+        const serviceId = String(r[0]);
+        const primaryRepo = String(r[1] ?? "");
+        const verdict = classify(r[2] === true, r[3] === true);
+        if (verdict === "conflict") {
+            conflicting++;
+            findings.push({
+                predicate: "service_capability",
+                kind: "divergence",
+                subjectId: serviceId,
+                classification: "conflict",
+                exemptionReason: r[5] === null || r[5] === undefined ? "" : String(r[5]),
+            });
+        }
+        else if (verdict === "claimed") {
+            claimed++;
+        }
+        else if (verdict === "exempt") {
+            exempt++;
+        }
+        else {
+            unresolved++;
+            let leverage;
+            if (options.repoCapabilityAvailable) {
+                if (primaryRepo === "") {
+                    leverageNa++;
+                    leverage = "na";
+                }
+                else if (r[4] !== true) {
+                    leverageYes++;
+                    leverage = "yes";
+                }
+                else {
+                    leverageNo++;
+                    leverage = "no";
+                }
+            }
+            findings.push({
+                predicate: "service_capability",
+                kind: options.tier === "aggregate" ? "orphan" : "coverage",
+                subjectId: serviceId,
+                classification: options.tier === "aggregate" ? "orphaned" : "unresolved-locally",
+                ...(leverage !== undefined ? { leverage } : {}),
+                primaryRepo,
+            });
+        }
+    }
+    return {
+        findings,
+        metrics: {
+            total,
+            claimed,
+            exempt,
+            conflicting,
+            unresolved,
+            ...(options.repoCapabilityAvailable && unresolved > 0
+                ? { leverage: { yes: leverageYes, no: leverageNo, na: leverageNa } }
+                : {}),
+        },
+    };
+}
+/** Statement-for-statement mirror of the reference classify(). */
+function classifyEvent(hasEdge, pub, pubResolves, twinCovered) {
+    if (hasEdge)
+        return "covered";
+    if (pub !== "" && pubResolves)
+        return "covered";
+    if (twinCovered)
+        return "covered-as-contract";
+    return "unresolved";
+}
+const EVENT_FLAGS_SQL = `
+WITH ev AS (
+  SELECT e."id" AS id,
+         TRIM(COALESCE(e."publisher_service_id", '')) AS pub,
+         REPLACE(COALESCE(e."schema_path", ''), chr(92), '/') AS sp
+  FROM "events" e
+  WHERE e."id" IS NOT NULL AND e."id" <> ''
+    AND e.rowid = (SELECT MAX(e2.rowid) FROM "events" e2 WHERE e2."id" = e."id")
+),
+covered_twin_bases AS (
+  SELECT DISTINCT regexp_extract(REPLACE(c."spec_path", chr(92), '/'), '[^/]*$') AS base
+  FROM "contracts" c
+  WHERE COALESCE(c."kind", '') = 'event'
+    AND COALESCE(c."spec_path", '') <> ''
+    AND (EXISTS (SELECT 1 FROM "capability_contract" cc WHERE cc."contract_id" = c."id")
+      OR EXISTS (SELECT 1 FROM "service_contract" sc WHERE sc."contract_id" = c."id"))
+)
+SELECT ev.id, ev.pub,
+  EXISTS (SELECT 1 FROM "service_event" se WHERE se."event_id" = ev.id) AS has_edge,
+  EXISTS (SELECT 1 FROM "service_event" se WHERE se."event_id" = ev.id
+          AND COALESCE(se."role", '') IN ('publishes', 'produces')) AS has_pub_edge,
+  EXISTS (SELECT 1 FROM "services" s WHERE s."id" = ev.pub) AS pub_resolves,
+  (ev.sp <> '' AND EXISTS (SELECT 1 FROM covered_twin_bases b
+      WHERE b.base = regexp_extract(ev.sp, '[^/]*$'))) AS twin_covered,
+  (ev.pub <> '' AND EXISTS (SELECT 1 FROM "capability_service" cs
+      WHERE cs."service_id" = ev.pub)) AS pub_cap_claimed,
+  EXISTS (SELECT 1 FROM "service_event" se
+          JOIN "capability_service" cs ON cs."service_id" = se."service_id"
+          WHERE se."event_id" = ev.id
+            AND COALESCE(se."service_id", '') <> '') AS edge_cap_claimed,
+  EXISTS (SELECT 1 FROM "service_event" se WHERE se."event_id" = ev.id
+          AND COALESCE(se."role", '') = 'consumes') AS has_consume_edge
+FROM ev
+ORDER BY ev.id;`;
+export async function runEventCoverage(session, options) {
+    // Classifier probe (M-ADR 0199 §4.6): known-good and known-bad synthetic
+    // rows through the real classifier, both directions, before any real data.
+    if (classifyEvent(false, "svc", true, false) !== "covered" ||
+        classifyEvent(false, "", false, false) !== "unresolved") {
+        throw new Error("coverage-predicates: event classifier probe misclassified a synthetic row — no verdict is trustworthy");
+    }
+    const reader = await session.conn.runAndReadAll(EVENT_FLAGS_SQL);
+    const rows = reader.getRows();
+    if (rows.length === 0) {
+        return { na: true, findings: [] };
+    }
+    const findings = [];
+    const colUnresolving = [];
+    const colNoEdge = [];
+    const edgeNoCol = [];
+    let covered = 0;
+    let viaContract = 0;
+    let unresolved = 0;
+    let capReach = 0;
+    let consumerEnum = 0;
+    for (const r of rows) {
+        const id = String(r[0]);
+        const pub = String(r[1] ?? "");
+        const hasEdge = r[2] === true;
+        const hasPubEdge = r[3] === true;
+        const pubResolves = r[4] === true;
+        const twinCovered = r[5] === true;
+        const pubCapClaimed = r[6] === true;
+        const edgeCapClaimed = r[7] === true;
+        const hasConsumeEdge = r[8] === true;
+        // Column-vs-edge disagreement controls — the two attribution
+        // representations checked against each other every run.
+        if (pub !== "" && !pubResolves)
+            colUnresolving.push({ eventId: id, publisher: pub });
+        if (pub !== "" && pubResolves && !hasPubEdge)
+            colNoEdge.push(id);
+        if (hasPubEdge && pub === "")
+            edgeNoCol.push(id);
+        if (pubCapClaimed || edgeCapClaimed)
+            capReach++;
+        if (hasConsumeEdge)
+            consumerEnum++;
+        const verdict = classifyEvent(hasEdge, pub, pubResolves, twinCovered);
+        if (verdict === "covered")
+            covered++;
+        else if (verdict === "covered-as-contract")
+            viaContract++;
+        else {
+            unresolved++;
+            findings.push({
+                predicate: "event_coverage",
+                kind: options.tier === "aggregate" ? "orphan" : "report",
+                subjectId: id,
+                classification: options.tier === "aggregate" ? "orphaned" : "unresolved-locally",
+            });
+        }
+    }
+    return {
+        na: false,
+        findings,
+        metrics: {
+            total: rows.length,
+            covered,
+            viaContract,
+            unresolved,
+            capReach,
+            consumerEnum,
+        },
+        controls: { colUnresolving, colNoEdge, edgeNoCol },
+    };
+}
+/** Statement-for-statement mirror of the reference classify(). */
+function classifyContract(reachable, excluded, coveredAsEvent) {
+    if (excluded && reachable)
+        return "conflict";
+    if (reachable)
+        return "covered";
+    if (coveredAsEvent)
+        return "covered-as-event";
+    if (excluded)
+        return "excluded";
+    return "unresolved";
+}
+/**
+ * A positive property of the artefact: an OpenAPI document with no
+ * `paths`. Mirrors the reference's has_no_operations, including every
+ * refusal path (non-yaml extension, unreachable file, unparseable
+ * content, non-mapping document → False, never a guess).
+ */
+function hasNoOperations(sddRoot, specPath) {
+    if (!specPath || !(specPath.endsWith(".yaml") || specPath.endsWith(".yml"))) {
+        return false;
+    }
+    const full = join(sddRoot, specPath);
+    if (!existsSync(full))
+        return false;
+    let doc;
+    try {
+        doc = parseYaml(readFileSync(full, "utf-8"));
+    }
+    catch {
+        return false;
+    }
+    if (typeof doc !== "object" || doc === null || Array.isArray(doc)) {
+        return false;
+    }
+    const d = doc;
+    if (!("openapi" in d) && !("swagger" in d) && !("paths" in d))
+        return true;
+    const paths = d["paths"];
+    if (!paths || typeof paths !== "object")
+        return true;
+    return Object.keys(paths).length === 0;
+}
+const CONTRACT_FLAGS_SQL = `
+WITH ct AS (
+  SELECT c."id" AS id,
+         COALESCE(c."status", '') AS status,
+         COALESCE(c."evidence_class", '') AS evidence_class,
+         COALESCE(c."kind", '') AS kind,
+         REPLACE(COALESCE(c."spec_path", ''), chr(92), '/') AS sp
+  FROM "contracts" c
+  WHERE c."id" IS NOT NULL AND c."id" <> ''
+    AND c.rowid = (SELECT MAX(c2.rowid) FROM "contracts" c2 WHERE c2."id" = c."id")
+),
+events_with_edges AS (
+  SELECT DISTINCT event_id FROM (
+    SELECT "event_id" FROM "service_event"
+    UNION ALL SELECT "event_id" FROM "capability_event"
+    UNION ALL SELECT "event_id" FROM "feature_event"
+  ) u
+  WHERE COALESCE(event_id, '') <> ''
+),
+twin_bases AS (
+  SELECT DISTINCT regexp_extract(REPLACE(e."schema_path", chr(92), '/'), '[^/]*$') AS base
+  FROM "events" e
+  WHERE COALESCE(e."schema_path", '') <> ''
+    AND COALESCE(e."id", '') <> ''
+    AND e."id" IN (SELECT event_id FROM events_with_edges)
+)
+SELECT ct.id, ct.status, ct.evidence_class, ct.kind, ct.sp,
+  EXISTS (SELECT 1 FROM "capability_contract" cc
+          WHERE cc."contract_id" = ct.id) AS owned,
+  EXISTS (SELECT 1 FROM "service_contract" sc
+          WHERE sc."contract_id" = ct.id) AS attributed,
+  (ct.sp <> '' AND EXISTS (SELECT 1 FROM twin_bases b
+      WHERE b.base = regexp_extract(ct.sp, '[^/]*$'))) AS twin_edge
+FROM ct
+ORDER BY ct.id;`;
+const CONSUMERS_NAMED_SQL = `
+SELECT COUNT(DISTINCT sc."contract_id")
+FROM "service_contract" sc
+WHERE COALESCE(sc."contract_id", '') <> ''
+  AND COALESCE(sc."role", '') = 'consumes';`;
+const RAW_SPEC_PATHS_SQL = `
+SELECT DISTINCT COALESCE(c."spec_path", '') FROM "contracts" c;`;
+export async function runContractCoverage(session, options) {
+    // Known-good / known-bad probe (M-ADR 0199 §4.6), both directions,
+    // before any real data — mirror of the reference's five-way probe.
+    const probe = {
+        covered: classifyContract(true, false, false),
+        orphan: classifyContract(false, false, false),
+        excluded: classifyContract(false, true, false),
+        event: classifyContract(false, false, true),
+        conflict: classifyContract(true, true, false),
+    };
+    if (probe["covered"] !== "covered" ||
+        probe["orphan"] !== "unresolved" ||
+        probe["excluded"] !== "excluded" ||
+        probe["event"] !== "covered-as-event" ||
+        probe["conflict"] !== "conflict") {
+        throw new Error("coverage-predicates: contract classifier probe misclassified a synthetic row — no verdict is trustworthy");
+    }
+    const reader = await session.conn.runAndReadAll(CONTRACT_FLAGS_SQL);
+    const rows = reader.getRows();
+    if (rows.length === 0) {
+        return { na: true, findings: [] };
+    }
+    // Availability manifest (M-ADR 0202): informational, never
+    // verdict-changing; unreadable → a warning, mirror of the reference's
+    // try/except. Row paths are the RAW spec_path values, un-normalised.
+    let availability;
+    let availabilityWarning;
+    try {
+        const manifestPath = join(options.sddRoot, ".sdd", "contract-availability.yaml");
+        if (existsSync(manifestPath)) {
+            const text = readFileSync(manifestPath, "utf-8");
+            const attestedPaths = [...text.matchAll(/^\s*- path: "([^"]+)"/gm)].map((m) => m[1]);
+            const rawReader = await session.conn.runAndReadAll(RAW_SPEC_PATHS_SQL);
+            const rowPaths = new Set(rawReader.getRows().map((r) => String(r[0] ?? "")));
+            availability = {
+                attested: attestedPaths.length,
+                unmodelled: attestedPaths.filter((p) => !rowPaths.has(p)),
+            };
+        }
+    }
+    catch (e) {
+        availabilityWarning = String(e instanceof Error ? e.message : e);
+    }
+    const findings = [];
+    const byExclusion = {};
+    let covered = 0;
+    let viaEvent = 0;
+    let excludedCount = 0;
+    let conflicting = 0;
+    let unresolved = 0;
+    let ownedOnly = 0;
+    let attrOnly = 0;
+    let both = 0;
+    for (const r of rows) {
+        const id = String(r[0]);
+        const status = String(r[1] ?? "");
+        const evidenceClass = String(r[2] ?? "");
+        const kind = String(r[3] ?? "");
+        const sp = String(r[4] ?? "");
+        const owned = r[5] === true;
+        const attributed = r[6] === true;
+        const twinEdge = r[7] === true;
+        if (owned && !attributed)
+            ownedOnly++;
+        else if (attributed && !owned)
+            attrOnly++;
+        else if (owned && attributed)
+            both++;
+        // The three exclusions + the one alternative route, in the
+        // reference's order (first match wins; a deprecated event-kind
+        // contract is excluded, never covered-as-event).
+        let excluded = false;
+        let exclusionKey = "";
+        let coveredAsEvent = false;
+        if (status === "deprecated") {
+            excluded = true;
+            exclusionKey = "deprecated";
+        }
+        else if (evidenceClass === "vendor-doc") {
+            excluded = true;
+            exclusionKey = "provider-surface";
+        }
+        else if (hasNoOperations(options.sddRoot, sp)) {
+            excluded = true;
+            exclusionKey = "not-an-interface";
+        }
+        else if (kind === "event" && twinEdge) {
+            coveredAsEvent = true;
+        }
+        const verdict = classifyContract(owned || attributed, excluded, coveredAsEvent);
+        if (verdict === "conflict") {
+            conflicting++;
+            findings.push({
+                predicate: "contract_coverage",
+                kind: "divergence",
+                subjectId: id,
+                classification: exclusionKey,
+            });
+        }
+        else if (verdict === "covered") {
+            covered++;
+        }
+        else if (verdict === "covered-as-event") {
+            viaEvent++;
+        }
+        else if (verdict === "excluded") {
+            excludedCount++;
+            byExclusion[exclusionKey] = (byExclusion[exclusionKey] ?? 0) + 1;
+        }
+        else {
+            unresolved++;
+            findings.push({
+                predicate: "contract_coverage",
+                kind: options.tier === "aggregate" ? "orphan" : "coverage",
+                subjectId: id,
+                classification: options.tier === "aggregate" ? "orphaned" : "unresolved-locally",
+            });
+        }
+    }
+    const consumersReader = await session.conn.runAndReadAll(CONSUMERS_NAMED_SQL);
+    const consumersNamed = Number(consumersReader.getRows()[0][0]);
+    return {
+        na: false,
+        findings,
+        metrics: {
+            total: rows.length,
+            covered,
+            viaEvent,
+            excluded: excludedCount,
+            conflicting,
+            unresolved,
+            byExclusion,
+            consumersNamed,
+            ownedOnly,
+            attrOnly,
+            both,
+        },
+        ...(availability !== undefined ? { availability } : {}),
+        ...(availabilityWarning !== undefined ? { availabilityWarning } : {}),
+    };
+}
+//# sourceMappingURL=coverage-predicates.js.map

package/dist/lib/catalogue/coverage-predicates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-predicates.js","sourceRoot":"","sources":["../../../src/lib/catalogue/coverage-predicates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAoE1C,MAAM,cAAc,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0BL,CAAC;AAEnB,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,OAAsB;IAKtB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,IAAI,GAAmB,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;QACrB,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;QACxB,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;QACrB,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;QAC9B,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,YAAY,EACV,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;YACjC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;KACjC,CAAC,CAAC,CAAC;IAEJ,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAChC,WAAW,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,iBAAiB;gBAC5B,IAAI,EAAE,YAAY;gBAClB,SAAS,EAAE,GAAG,CAAC,MAAM;gBACrB,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,GAAG,CAAC,YAAY;aAClC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACtB,YAAY,EAAE,CAAC;QACjB,CAAC;aAAM,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACzB,WAAW,EAAE,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,UAAU,EAAE,CAAC;YACb,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;gBACxB,MAAM,EAAE,CAAC;gBACT,QAAQ,CAAC,IAAI,CAAC;oBACZ,SAAS,EAAE,iBAAiB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,SAAS,EAAE,GAAG,CAAC,MAAM;oBACrB,cAAc,EAAE,SAAS;oBACzB,iBAAiB,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC/C,cAAc,EAAE,GAAG,CAAC,YAAY,CAAC,MAAM;iBACxC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,SAAS,EAAE,iBAAiB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,SAAS,EAAE,GAAG,CAAC,MAAM;oBACrB,cAAc,EAAE,oBAAoB;iBACrC,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,EAAE,CAAC;gBACT,QAAQ,CAAC,IAAI,CAAC;oBACZ,SAAS,EAAE,iBAAiB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,SAAS,EAAE,GAAG,CAAC,MAAM;oBACrB,cAAc,EAAE,SAAS;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ;QACR,OAAO,EAAE;YACP,KAAK,EAAE,IAAI,CAAC,MAAM;YAClB,YAAY;YACZ,WAAW;YACX,WAAW;YACX,UAAU;YACV,MAAM;YACN,MAAM;YACN,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM;SACpC;KACF,CAAC;AACJ,CAAC;AAgBD,kEAAkE;AAClE,SAAS,QAAQ,CAAC,MAAe,EAAE,SAAkB;IACnD,IAAI,MAAM,IAAI,SAAS;QAAE,OAAO,UAAU,CAAC;IAC3C,IAAI,MAAM;QAAE,OAAO,SAAS,CAAC;IAC7B,IAAI,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC/B,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,iBAAiB,GAAG;;;;;;;;;;;;;;;;;mCAiBS,CAAC;AAEpC,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,OAAsB,EACtB,OAA+B;IAK/B,kEAAkE;IAClE,wEAAwE;IACxE,4DAA4D;IAC5D,qEAAqE;IACrE,UAAU;IACV,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CACb,2HAA2H,CAC5H,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACjC,KAAK,EAAE,CAAC;QACR,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,WAAW,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,oBAAoB;gBAC/B,IAAI,EAAE,YAAY;gBAClB,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,UAAU;gBAC1B,eAAe,EACb,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC1D,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO,EAAE,CAAC;QACZ,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,UAAU,EAAE,CAAC;YACb,IAAI,QAAyC,CAAC;YAC9C,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC;gBACpC,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;oBACvB,UAAU,EAAE,CAAC;oBACb,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;qBAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;oBACzB,WAAW,EAAE,CAAC;oBACd,QAAQ,GAAG,KAAK,CAAC;gBACnB,CAAC;qBAAM,CAAC;oBACN,UAAU,EAAE,CAAC;oBACb,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;YACH,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,oBAAoB;gBAC/B,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EACZ,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB;gBAClE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,WAAW;aACZ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ;QACR,OAAO,EAAE;YACP,KAAK;YACL,OAAO;YACP,MAAM;YACN,WAAW;YACX,UAAU;YACV,GAAG,CAAC,OAAO,CAAC,uBAAuB,IAAI,UAAU,GAAG,CAAC;gBACnD,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE;gBACpE,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAC;AACJ,CAAC;AAsCD,kEAAkE;AAClE,SAAS,aAAa,CACpB,OAAgB,EAChB,GAAW,EACX,WAAoB,EACpB,WAAoB;IAEpB,IAAI,OAAO;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,GAAG,KAAK,EAAE,IAAI,WAAW;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,WAAW;QAAE,OAAO,qBAAqB,CAAC;IAC9C,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,eAAe,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gBAiCR,CAAC;AAEjB,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAAsB,EACtB,OAA6B;IAE7B,yEAAyE;IACzE,2EAA2E;IAC3E,IACE,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,SAAS;QACtD,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,YAAY,EACvD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,uGAAuG,CACxG,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACpC,CAAC;IAED,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,cAAc,GAA6C,EAAE,CAAC;IACpE,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAC9B,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QACjC,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAClC,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAClC,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QACpC,MAAM,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QACrC,MAAM,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAErC,6DAA6D;QAC7D,wDAAwD;QACxD,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,WAAW;YAAE,cAAc,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QACrF,IAAI,GAAG,KAAK,EAAE,IAAI,WAAW,IAAI,CAAC,UAAU;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjE,IAAI,UAAU,IAAI,GAAG,KAAK,EAAE;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEjD,IAAI,aAAa,IAAI,cAAc;YAAE,QAAQ,EAAE,CAAC;QAChD,IAAI,cAAc;YAAE,YAAY,EAAE,CAAC;QAEnC,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QACtE,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;aAChC,IAAI,OAAO,KAAK,qBAAqB;YAAE,WAAW,EAAE,CAAC;aACrD,CAAC;YACJ,UAAU,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,gBAAgB;gBAC3B,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;gBACxD,SAAS,EAAE,EAAE;gBACb,cAAc,EACZ,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB;aACnE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,KAAK;QACT,QAAQ;QACR,OAAO,EAAE;YACP,KAAK,EAAE,IAAI,CAAC,MAAM;YAClB,OAAO;YACP,WAAW;YACX,UAAU;YACV,QAAQ;YACR,YAAY;SACb;QACD,QAAQ,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE;KACnD,CAAC;AACJ,CAAC;AAoDD,kEAAkE;AAClE,SAAS,gBAAgB,CACvB,SAAkB,EAClB,QAAiB,EACjB,cAAuB;IAEvB,IAAI,QAAQ,IAAI,SAAS;QAAE,OAAO,UAAU,CAAC;IAC7C,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC;IAChC,IAAI,cAAc;QAAE,OAAO,kBAAkB,CAAC;IAC9C,IAAI,QAAQ;QAAE,OAAO,UAAU,CAAC;IAChC,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,OAAe,EAAE,QAAgB;IACxD,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,GAAG,GAA8B,CAAC;IACzC,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACzB,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,kBAAkB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gBAkCX,CAAC;AAEjB,MAAM,mBAAmB,GAAG;;;;4CAIgB,CAAC;AAE7C,MAAM,kBAAkB,GAAG;gEACqC,CAAC;AAEjE,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAsB,EACtB,OAAgC;IAEhC,mEAAmE;IACnE,mEAAmE;IACnE,MAAM,KAAK,GAAoC;QAC7C,OAAO,EAAE,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC;QAC7C,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC;QAC7C,QAAQ,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;QAC9C,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;QAC3C,QAAQ,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC;KAC9C,CAAC;IACF,IACE,KAAK,CAAC,SAAS,CAAC,KAAK,SAAS;QAC9B,KAAK,CAAC,QAAQ,CAAC,KAAK,YAAY;QAChC,KAAK,CAAC,UAAU,CAAC,KAAK,UAAU;QAChC,KAAK,CAAC,OAAO,CAAC,KAAK,kBAAkB;QACrC,KAAK,CAAC,UAAU,CAAC,KAAK,UAAU,EAChC,CAAC;QACD,MAAM,IAAI,KAAK,CACb,0GAA0G,CAC3G,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACpC,CAAC;IAED,2DAA2D;IAC3D,sEAAsE;IACtE,qEAAqE;IACrE,IAAI,YAAkD,CAAC;IACvD,IAAI,mBAAuC,CAAC;IAC5C,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,4BAA4B,CAAC,CAAC;QACjF,IAAI,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACjD,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC,CAAC,GAAG,CACrE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CACb,CAAC;YACF,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC;YACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7E,YAAY,GAAG;gBACb,QAAQ,EAAE,aAAa,CAAC,MAAM;gBAC9B,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aAC1D,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,mBAAmB,GAAG,MAAM,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,IAAI,GAAG,CAAC,CAAC;IAEb,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAClC,MAAM,aAAa,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAC5B,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QACjC,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAE/B,IAAI,KAAK,IAAI,CAAC,UAAU;YAAE,SAAS,EAAE,CAAC;aACjC,IAAI,UAAU,IAAI,CAAC,KAAK;YAAE,QAAQ,EAAE,CAAC;aACrC,IAAI,KAAK,IAAI,UAAU;YAAE,IAAI,EAAE,CAAC;QAErC,2DAA2D;QAC3D,+DAA+D;QAC/D,iDAAiD;QACjD,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YAC5B,QAAQ,GAAG,IAAI,CAAC;YAChB,YAAY,GAAG,YAAY,CAAC;QAC9B,CAAC;aAAM,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;YAC1C,QAAQ,GAAG,IAAI,CAAC;YAChB,YAAY,GAAG,kBAAkB,CAAC;QACpC,CAAC;aAAM,IAAI,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC;YAChD,QAAQ,GAAG,IAAI,CAAC;YAChB,YAAY,GAAG,kBAAkB,CAAC;QACpC,CAAC;aAAM,IAAI,IAAI,KAAK,OAAO,IAAI,QAAQ,EAAE,CAAC;YACxC,cAAc,GAAG,IAAI,CAAC;QACxB,CAAC;QAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,IAAI,UAAU,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;QAChF,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,WAAW,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,mBAAmB;gBAC9B,IAAI,EAAE,YAAY;gBAClB,SAAS,EAAE,EAAE;gBACb,cAAc,EAAE,YAAY;aAC7B,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO,EAAE,CAAC;QACZ,CAAC;aAAM,IAAI,OAAO,KAAK,kBAAkB,EAAE,CAAC;YAC1C,QAAQ,EAAE,CAAC;QACb,CAAC;aAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,aAAa,EAAE,CAAC;YAChB,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACnE,CAAC;aAAM,CAAC;YACN,UAAU,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,mBAAmB;gBAC9B,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;gBAC1D,SAAS,EAAE,EAAE;gBACb,cAAc,EACZ,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB;aACnE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC;IAC9E,MAAM,cAAc,GAAG,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhE,OAAO;QACL,EAAE,EAAE,KAAK;QACT,QAAQ;QACR,OAAO,EAAE;YACP,KAAK,EAAE,IAAI,CAAC,MAAM;YAClB,OAAO;YACP,QAAQ;YACR,QAAQ,EAAE,aAAa;YACvB,WAAW;YACX,UAAU;YACV,WAAW;YACX,cAAc;YACd,SAAS;YACT,QAAQ;YACR,IAAI;SACL;QACD,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,mBAAmB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtE,CAAC;AACJ,CAAC"}

package/dist/lib/catalogue/coverage-render.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Coverage renderers — M-ADR 0205 §4.4 (A4 CS-2).
+ *
+ * Each function renders a predicate's structured result into the EXACT
+ * stdout lines its reference shell script prints. The text is a
+ * compatibility contract: adopters' findings baselines hold these literal
+ * lines, so every string here is copied from the reference, never
+ * paraphrased. Line ORDER within a predicate follows the reference's
+ * print order (metrics/controls/findings blocks); WITHIN a block the
+ * engine's total ORDER BY governs, which may differ from the reference's
+ * file-row order — baselines compare by membership, and the line-parity
+ * driver compares sorted multisets.
+ *
+ * Percentages use Python's %.1f semantics (round-half-even on the scaled
+ * value), because the references print through Python f-strings.
+ */
+import type { ContractCoverageResult, CoverageFinding, CoverageTier, EventCoverageResult, RepoCapabilityMetrics, ServiceCapabilityMetrics } from "./coverage-predicates.js";
+import type { CapabilityEventResult, DataModelEntitiesResult, DomainCatalogueGap, FeatureSpecPromotionResult, FeatureSurfaceDuplicationResult, RepoEdgesResult } from "./gate-checks.js";
+/** Python `%.1f` — half to even at an exact scaled .5, else nearest. */
+export declare function fmt1f(x: number): string;
+export declare function renderRepoCapability(findings: readonly CoverageFinding[], metrics: RepoCapabilityMetrics): string[];
+export declare function renderServiceCapability(findings: readonly CoverageFinding[], metrics: ServiceCapabilityMetrics, tier: CoverageTier): string[];
+export declare function renderEventCoverage(res: EventCoverageResult, tier: CoverageTier): string[];
+export declare function renderContractCoverage(res: ContractCoverageResult, tier: CoverageTier): string[];
+export declare function renderEventCatalogueCheck(gaps: readonly DomainCatalogueGap[]): string[];
+export declare function renderRepoEdgesCheck(res: RepoEdgesResult): string[];
+export declare function renderGlossaryXrefCheck(finding: boolean): string[];
+export declare function renderDataModelEntitiesCheck(res: DataModelEntitiesResult): string[];
+export declare function renderCapabilityEventCheck(res: CapabilityEventResult): string[];
+export declare function renderFeatureEventCheck(res: {
+    readonly gap?: {
+        readonly serviceEvent: number;
+        readonly featureService: number;
+    };
+}): string[];
+export declare function renderPlatformDependenciesCheck(finding: boolean): string[];
+export declare function renderFeatureSpecPromotionCheck(res: FeatureSpecPromotionResult): string[];
+export declare function renderFeatureSurfaceDuplicationCheck(res: FeatureSurfaceDuplicationResult): string[];
+//# sourceMappingURL=coverage-render.d.ts.map

package/dist/lib/catalogue/coverage-render.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-render.d.ts","sourceRoot":"","sources":["../../../src/lib/catalogue/coverage-render.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EACV,sBAAsB,EACtB,eAAe,EACf,YAAY,EACZ,mBAAmB,EACnB,qBAAqB,EACrB,wBAAwB,EACzB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACvB,kBAAkB,EAClB,0BAA0B,EAC1B,+BAA+B,EAC/B,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAE1B,wEAAwE;AACxE,wBAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CASvC;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,SAAS,eAAe,EAAE,EACpC,OAAO,EAAE,qBAAqB,GAC7B,MAAM,EAAE,CAmDV;AAcD,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,SAAS,eAAe,EAAE,EACpC,OAAO,EAAE,wBAAwB,EACjC,IAAI,EAAE,YAAY,GACjB,MAAM,EAAE,CA2CV;AAED,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,mBAAmB,EACxB,IAAI,EAAE,YAAY,GACjB,MAAM,EAAE,CAmEV;AAED,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,sBAAsB,EAC3B,IAAI,EAAE,YAAY,GACjB,MAAM,EAAE,CAoFV;AAID,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,SAAS,kBAAkB,EAAE,GAClC,MAAM,EAAE,CAKV;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,EAAE,CA2BnE;AAED,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAMlE;AAED,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,uBAAuB,GAC3B,MAAM,EAAE,CAoBV;AAED,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,qBAAqB,GAAG,MAAM,EAAE,CAc/E;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE;IAC3C,QAAQ,CAAC,GAAG,CAAC,EAAE;QAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC;CACnF,GAAG,MAAM,EAAE,CAMX;AAED,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAM1E;AAED,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,0BAA0B,GAC9B,MAAM,EAAE,CASV;AAED,wBAAgB,oCAAoC,CAClD,GAAG,EAAE,+BAA+B,GACnC,MAAM,EAAE,CAUV"}