@gate-forge/core 0.1.0

package/dist/mapping/resolve.js

@@ -0,0 +1,523 @@
+/**
+ * The ONE mapping resolver (plan 2026-09-13 §5.3, Phase 3 item 1):
+ * normalizes native annotation claims, sidecar declarations, prior-run
+ * hints, and inference into a single resolved-mappings surface that the
+ * grading seam and the suggestion surface both read.
+ *
+ * Hard rules encoded here (§5.2/§5.3):
+ * - many-to-many mappings are valid; exact duplicates (native + sidecar
+ *   declaring the same test/obligation) deduplicate idempotently;
+ * - contradictions (conflicting kinds across entries, a declared kind
+ *   against strong observed signals or observed mocking) are typed
+ *   TEST_MAPPING_AMBIGUOUS problems naming BOTH locations — never
+ *   "whichever ran last";
+ * - stale declarations (deleted/renamed tests, changed title paths,
+ *   unknown obligation ids) are typed TEST_MAPPING_STALE problems that
+ *   name what vanished; a rename yields a migration suggestion, never a
+ *   silent transfer;
+ * - wildcards are prohibited in strict mode: a file-level selector (no
+ *   titlePath) is an unsafe declaration and binds nothing;
+ * - inference NEVER auto-writes a mapping: inferred bindings are marked
+ *   `origin: 'inferred'`, are excluded from grading claims, and only
+ *   feed suggestions;
+ * - a mapping DECLARES INTENT and supplies no test result — grading
+ *   claims produced here still require witnessed evidence (the CLI seam
+ *   injects them as declared claims, so a mapped-but-unexecuted
+ *   obligation grades EVIDENCE_NOT_COLLECTED, never satisfied).
+ *
+ * Deterministic: identical inputs produce identical outputs; every array
+ * is sorted (compareStrings order) and no SHA-256-style Set iteration
+ * leaks into ordering.
+ */
+import { compareStrings } from '../graph/util.js';
+import { ClaimSchema } from '../schemas/claim.js';
+import { CAUSE_NEXT_ACTIONS } from '../schemas/verdict.js';
+/** Sort rank of binding origins (declared first, hints last). */
+const ORIGIN_RANK = Object.freeze({
+    native: 0,
+    sidecar: 1,
+    'prior-run': 2,
+    inferred: 3,
+});
+/** Sort rank of problem causes (deterministic output order). */
+const PROBLEM_RANK = Object.freeze({
+    TEST_MAPPING_AMBIGUOUS: 0,
+    TEST_MAPPING_STALE: 1,
+    TEST_KIND_UNKNOWN: 2,
+});
+/** Test kinds that claim end-to-end proof (mocking disqualifies them, §3.2). */
+const E2E_KINDS = new Set(['browser-e2e', 'api-e2e']);
+/**
+ * Whether a catalog row matches a sidecar selector exactly (§5.2: line
+ * numbers and digests are never identity inputs).
+ */
+function matchesSelector(row, selector) {
+    if (row.runner !== selector.runner || row.file !== selector.file)
+        return false;
+    if (selector.project !== undefined && row.project !== selector.project)
+        return false;
+    if (selector.titlePath !== undefined && selector.titlePath.join('>') !== row.titlePath.join('>')) {
+        return false;
+    }
+    return true;
+}
+/** Projects a catalog row to its instance identity. */
+function instanceOf(row) {
+    return {
+        runner: row.runner,
+        project: row.project,
+        file: row.file,
+        titlePath: [...row.titlePath],
+        parameterIdentity: row.parameterIdentity,
+    };
+}
+/**
+ * Resolves native claims, sidecar declarations, prior-run hints, and
+ * inference into the one resolved-mappings surface.
+ *
+ * Args:
+ *   input: catalog, native claims, validated sidecar, obligation ids,
+ *     and optional prior-run hints.
+ *
+ * Returns:
+ *   ResolvedMappings: per-obligation bindings plus typed problems, all
+ *   deterministically sorted.
+ */
+export function resolveTestMappings(input) {
+    const registry = new Set(input.obligationIds);
+    const rowsByKey = new Map(input.catalog.entries.map((row) => [row.logicalKey, row]));
+    const problems = [];
+    const seenProblems = new Set();
+    /** obligationId → logicalKey → binding. */
+    const byObligation = new Map();
+    const pushProblem = (problem) => {
+        const dedupeKey = `${problem.cause}\u0000${problem.obligationId ?? ''}\u0000${problem.detail}`;
+        if (seenProblems.has(dedupeKey))
+            return;
+        seenProblems.add(dedupeKey);
+        problems.push(problem);
+    };
+    const bindingsFor = (obligationId) => {
+        let existing = byObligation.get(obligationId);
+        if (existing === undefined) {
+            existing = new Map();
+            byObligation.set(obligationId, existing);
+        }
+        return existing;
+    };
+    // --- sidecar declarations ------------------------------------------------
+    const sidecarEntries = [...input.sidecar.tests].sort((a, b) => compareStrings(a.key, b.key));
+    for (const entry of sidecarEntries) {
+        const claims = [...new Set(entry.claims)].sort(compareStrings);
+        const matched = input.catalog.entries
+            .filter((row) => matchesSelector(row, entry.selector))
+            .sort((a, b) => compareStrings(a.logicalKey, b.logicalKey));
+        // Wildcard prohibition (§5.2): a file-level selector covers a whole
+        // file — an unsafe declaration that binds NOTHING (fail closed).
+        if (entry.selector.titlePath === undefined) {
+            for (const obligationId of claims) {
+                pushProblem({
+                    cause: 'TEST_MAPPING_AMBIGUOUS',
+                    obligationId,
+                    detail: `sidecar entry '${entry.key}' uses a file-level selector (no titlePath) for ` +
+                        `'${entry.selector.file}' — wildcard declarations are prohibited in strict mode; ` +
+                        'declare the exact test title path',
+                    locations: [{ file: entry.selector.file, line: 1, col: 0 }],
+                });
+            }
+            continue;
+        }
+        // Stale declaration (§5.2): the selector no longer matches the
+        // catalog. Name what vanished; suggest a migration on a rename.
+        if (matched.length === 0) {
+            const renameTarget = input.catalog.entries.find((row) => row.file === entry.selector.file &&
+                row.titlePath.join('>') === (entry.selector.titlePath ?? []).join('>'));
+            const sameFile = input.catalog.entries.filter((row) => row.file === entry.selector.file);
+            const vanished = renameTarget !== undefined
+                ? `the test now appears as key '${renameTarget.logicalKey}' — migrate the declaration to ` +
+                    'the new key (never silently transfer the old declaration or its proof)'
+                : sameFile.length > 0
+                    ? `the file still exists but its title path changed (current: ${sameFile
+                        .slice(0, 3)
+                        .map((row) => `'${row.titlePath.join('>')}'`)
+                        .join(', ')})`
+                    : `the file '${entry.selector.file}' has no catalog rows anymore`;
+            for (const obligationId of claims) {
+                if (!registry.has(obligationId))
+                    continue;
+                pushProblem({
+                    cause: 'TEST_MAPPING_STALE',
+                    obligationId,
+                    detail: `sidecar key '${entry.key}' no longer matches the catalog ` +
+                        `(selector ${entry.selector.runner}/${entry.selector.project ?? '*'}:` +
+                        `${entry.selector.file}:${(entry.selector.titlePath ?? []).join('>')}): ${vanished}`,
+                    locations: renameTarget !== undefined ? [renameTarget.sourceLocation] : [],
+                });
+            }
+            continue;
+        }
+        // Unknown obligation ids (§5.4 TEST_MAPPING_STALE): the declaration
+        // points outside the registry — the obligation vanished or the id is
+        // misspelled. Other claims of the same entry still bind.
+        for (const obligationId of claims) {
+            if (!registry.has(obligationId)) {
+                pushProblem({
+                    cause: 'TEST_MAPPING_STALE',
+                    obligationId,
+                    detail: `sidecar entry '${entry.key}' claims '${obligationId}', which is not in the current ` +
+                        'obligation registry (the obligation vanished or the id is misspelled); correct the mapping',
+                    locations: [matched[0]?.sourceLocation ?? { file: entry.selector.file, line: 1, col: 0 }],
+                });
+            }
+        }
+        // Kind contradictions (§5.3: an explicit kind may resolve `unknown`,
+        // but cannot override strong observed signals or observed mocking).
+        for (const row of matched) {
+            if (entry.kind === undefined) {
+                if (row.inferredKind === 'unknown') {
+                    for (const obligationId of claims) {
+                        if (!registry.has(obligationId))
+                            continue;
+                        pushProblem({
+                            cause: 'TEST_KIND_UNKNOWN',
+                            obligationId,
+                            detail: `test '${entry.key}' (${row.file}:${row.titlePath.join('>')}) is relevant but ` +
+                                'code analysis could not classify its kind — inspect and declare its kind',
+                            locations: [row.sourceLocation],
+                        });
+                    }
+                }
+                continue;
+            }
+            const mock = row.suppressionSignals.find((signal) => signal.kind === 'mock');
+            if (E2E_KINDS.has(entry.kind) && mock !== undefined) {
+                for (const obligationId of claims) {
+                    pushProblem({
+                        cause: 'TEST_MAPPING_AMBIGUOUS',
+                        obligationId,
+                        detail: `sidecar entry '${entry.key}' declares kind '${entry.kind}' but the catalog observed ` +
+                            `mocking (${mock.detail}) — an explicit kind cannot override observed mocking (§5.3)`,
+                        locations: [mock.location],
+                    });
+                }
+                continue;
+            }
+            const strong = row.kindSignals[0];
+            if (row.inferredKind !== 'unknown' && row.kindSignals.length > 0 && entry.kind !== row.inferredKind) {
+                for (const obligationId of claims) {
+                    pushProblem({
+                        cause: 'TEST_MAPPING_AMBIGUOUS',
+                        obligationId,
+                        detail: `sidecar entry '${entry.key}' declares kind '${entry.kind}' but inference resolved ` +
+                            `'${row.inferredKind}' from strong code signals (${strong?.ruleId ?? 'unknown'} at ` +
+                            `${strong?.location.file ?? row.file}:${String(strong?.location.line ?? row.sourceLocation.line)}) — ` +
+                            'correct the declaration or the classification',
+                        locations: [row.sourceLocation, ...(strong !== undefined ? [strong.location] : [])],
+                    });
+                }
+            }
+        }
+        // Bind the declaration (many-to-many allowed). Ambiguity problems
+        // above stay visible; the binding itself is data for suggestions.
+        for (const obligationId of claims) {
+            if (!registry.has(obligationId))
+                continue;
+            bindingsFor(obligationId).set(entry.key, {
+                logicalKey: entry.key,
+                instances: matched.map(instanceOf),
+                origin: 'sidecar',
+                sourceDigest: matched[0]?.sourceDigest ?? null,
+                declaredKind: entry.kind ?? null,
+                categories: [...new Set(entry.categories ?? [])].sort(compareStrings),
+                reason: entry.reason,
+                sourceLocation: matched[0]?.sourceLocation ?? null,
+            });
+        }
+    }
+    // Cross-entry ambiguity: two entries claiming the same obligation with
+    // conflicting declared kinds (§5.4 "a declaration is unsafe").
+    const obligationIdsSorted = [...registry].sort(compareStrings);
+    for (const obligationId of obligationIdsSorted) {
+        const declared = [...(byObligation.get(obligationId)?.values() ?? [])]
+            .filter((binding) => binding.origin === 'sidecar' && binding.declaredKind !== null)
+            .sort((a, b) => compareStrings(a.logicalKey, b.logicalKey));
+        const kinds = new Set(declared.map((binding) => binding.declaredKind));
+        if (declared.length > 1 && kinds.size > 1) {
+            const first = declared[0];
+            const second = declared.find((binding) => binding.declaredKind !== first?.declaredKind);
+            pushProblem({
+                cause: 'TEST_MAPPING_AMBIGUOUS',
+                obligationId,
+                detail: `obligation '${obligationId}' is claimed with conflicting kinds: '${String(first?.declaredKind)}' by '${first?.logicalKey}' and '${String(second?.declaredKind)}' by '${second?.logicalKey}' — ` +
+                    'correct the exact mapping',
+                locations: [
+                    ...(first?.sourceLocation !== undefined && first.sourceLocation !== null ? [first.sourceLocation] : []),
+                    ...(second?.sourceLocation !== undefined && second.sourceLocation !== null ? [second.sourceLocation] : []),
+                ],
+            });
+        }
+    }
+    // --- native annotation claims -------------------------------------------
+    const nativeClaims = [...input.nativeClaims].sort((a, b) => compareStrings(a.obligationId, b.obligationId) || compareStrings(a.testId, b.testId));
+    for (const claim of nativeClaims) {
+        if (!registry.has(claim.obligationId)) {
+            pushProblem({
+                cause: 'TEST_MAPPING_STALE',
+                obligationId: claim.obligationId,
+                detail: `native annotation on test '${claim.testId}'` +
+                    `${claim.testFile !== undefined ? ` (${claim.testFile})` : ''} claims ` +
+                    `'${claim.obligationId}', which is not in the current obligation registry ` +
+                    '(the obligation vanished or the policy changed); correct the annotation or the mapping',
+                locations: claim.location !== undefined ? [claim.location] : [],
+            });
+            continue;
+        }
+        // Exact duplicate of a sidecar declaration (same obligation, same
+        // test file) → dedupe idempotently: the sidecar binding (a superset:
+        // reason/kind/categories) stands, the native row adds nothing.
+        const instances = input.catalog.entries
+            .filter((row) => row.file === claim.testFile)
+            .sort((a, b) => compareStrings(a.logicalKey, b.logicalKey));
+        const existingBindings = byObligation.get(claim.obligationId);
+        const duplicate = existingBindings !== undefined &&
+            [...existingBindings.values()].some((binding) => binding.origin === 'sidecar' && binding.instances.some((inst) => inst.file === claim.testFile));
+        if (duplicate)
+            continue;
+        bindingsFor(claim.obligationId).set(claim.testId, {
+            logicalKey: claim.testId,
+            instances: instances.map(instanceOf),
+            origin: 'native',
+            sourceDigest: instances[0]?.sourceDigest ?? null,
+            declaredKind: null,
+            categories: [],
+            reason: null,
+            sourceLocation: claim.location ?? null,
+        });
+    }
+    // --- prior-run hints (suggestions only, never grading) -------------------
+    const hints = [...(input.priorRunHints ?? [])].sort((a, b) => compareStrings(a.obligationId, b.obligationId) || compareStrings(a.logicalKey, b.logicalKey));
+    for (const hint of hints) {
+        const row = rowsByKey.get(hint.logicalKey);
+        if (row === undefined || !registry.has(hint.obligationId))
+            continue;
+        const bindings = bindingsFor(hint.obligationId);
+        if (bindings.has(hint.logicalKey))
+            continue;
+        bindings.set(hint.logicalKey, {
+            logicalKey: hint.logicalKey,
+            instances: [instanceOf(row)],
+            origin: 'prior-run',
+            sourceDigest: row.sourceDigest,
+            declaredKind: null,
+            categories: [],
+            reason: 'a prior run bound this test to the obligation (a hint only — it never satisfies a new run)',
+            sourceLocation: row.sourceLocation,
+        });
+    }
+    // --- inference (NEVER auto-writes a mapping; suggestions only) -----------
+    for (const obligationId of obligationIdsSorted) {
+        const bindings = byObligation.get(obligationId);
+        if (bindings !== undefined && [...bindings.values()].some((b) => b.origin === 'native' || b.origin === 'sidecar')) {
+            continue; // a declared mapping exists — inference adds nothing
+        }
+        const map = bindings ?? bindingsFor(obligationId);
+        for (const candidate of inferredCandidates(obligationId, input.catalog)) {
+            if (map.has(candidate.row.logicalKey))
+                continue;
+            map.set(candidate.row.logicalKey, {
+                logicalKey: candidate.row.logicalKey,
+                instances: [instanceOf(candidate.row)],
+                origin: 'inferred',
+                sourceDigest: candidate.row.sourceDigest,
+                declaredKind: candidate.row.inferredKind,
+                categories: candidate.row.categorySignals.map((signal) => signal.label).sort(compareStrings),
+                reason: `inferred, never auto-declared: ${candidate.why.join('; ')}`,
+                sourceLocation: candidate.row.sourceLocation,
+            });
+        }
+    }
+    const obligations = obligationIdsSorted.map((obligationId) => ({
+        obligationId,
+        bindings: [...(byObligation.get(obligationId)?.values() ?? [])].sort((a, b) => ORIGIN_RANK[a.origin] - ORIGIN_RANK[b.origin] || compareStrings(a.logicalKey, b.logicalKey)),
+    }));
+    problems.sort((a, b) => PROBLEM_RANK[a.cause] - PROBLEM_RANK[b.cause] ||
+        compareStrings(a.obligationId ?? '', b.obligationId ?? '') ||
+        compareStrings(a.detail, b.detail));
+    return { obligations, problems: problems.map((problem) => ({ ...problem, locations: [...problem.locations] })) };
+}
+/**
+ * Deterministic token inference (plan Phase 3 item 2): obligation
+ * resource-id tokens (`tenant.accounts` → `tenant`, `accounts`) matched
+ * against catalog rows' files, title paths, and category labels. Signals
+ * feed SUGGESTIONS only — an inference never writes a mapping (§5.3).
+ */
+function inferredCandidates(obligationId, catalog) {
+    const resourceId = obligationId.slice(0, Math.max(0, obligationId.indexOf(':')));
+    const tokens = resourceId
+        .split(/[.\-_]/)
+        .map((token) => token.toLowerCase())
+        .filter((token) => token.length > 2);
+    if (tokens.length === 0)
+        return [];
+    const candidates = [];
+    for (const row of catalog.entries) {
+        const why = [];
+        const title = row.titlePath.join('>').toLowerCase();
+        for (const token of tokens) {
+            if (row.file.toLowerCase().includes(token)) {
+                why.push(`resource token '${token}' matches the test file '${row.file}'`);
+            }
+            else if (title.includes(token)) {
+                why.push(`resource token '${token}' matches the test title path`);
+            }
+            else if (row.categorySignals.some((signal) => signal.label.toLowerCase().includes(token))) {
+                why.push(`resource token '${token}' matches a category label`);
+            }
+        }
+        if (why.length > 0)
+            candidates.push({ row, why });
+    }
+    return candidates.sort((a, b) => compareStrings(a.row.logicalKey, b.row.logicalKey));
+}
+/** Suggestion order = reuse order (connect → declare kind → repair stale → repair conflict). */
+const SUGGESTION_RANK = Object.freeze({
+    TEST_MAPPING_MISSING: 0,
+    TEST_KIND_UNKNOWN: 1,
+    TEST_MAPPING_STALE: 2,
+    TEST_MAPPING_AMBIGUOUS: 3,
+});
+/**
+ * Produces per-obligation reuse suggestions ordered by reuse (plan
+ * Phase 3 item 6). Obligations with a clean DECLARED mapping produce no
+ * suggestion (their remaining gap is executed proof, not mapping).
+ * `newTestNeeded` is true only when no candidate exists after resolution.
+ *
+ * Args:
+ *   input: catalog, scoped obligation ids, and the resolution.
+ *
+ * Returns:
+ *   MappingSuggestion[]: sorted by reuse rank, then obligation id.
+ */
+export function mappingSuggestions(input) {
+    const byId = new Map(input.resolution.obligations.map((entry) => [entry.obligationId, entry.bindings]));
+    const suggestions = [];
+    for (const obligationId of [...input.obligationIds].sort(compareStrings)) {
+        const bindings = byId.get(obligationId) ?? [];
+        const problems = input.resolution.problems.filter((problem) => problem.obligationId === obligationId);
+        const ambiguous = problems.find((problem) => problem.cause === 'TEST_MAPPING_AMBIGUOUS');
+        if (ambiguous !== undefined) {
+            suggestions.push({
+                obligationId,
+                cause: 'TEST_MAPPING_AMBIGUOUS',
+                candidates: [],
+                missingEvidence: 'a safe, unambiguous declaration (the current declaration conflicts with itself or the catalog)',
+                nextAction: CAUSE_NEXT_ACTIONS['TEST_MAPPING_AMBIGUOUS'],
+                newTestNeeded: false,
+            });
+            continue;
+        }
+        const stale = problems.find((problem) => problem.cause === 'TEST_MAPPING_STALE');
+        if (stale !== undefined) {
+            const candidates = inferredCandidates(obligationId, input.catalog).map((candidate) => ({
+                logicalKey: candidate.row.logicalKey,
+                file: candidate.row.file,
+                why: candidate.why,
+            }));
+            suggestions.push({
+                obligationId,
+                cause: 'TEST_MAPPING_STALE',
+                candidates,
+                missingEvidence: `an up-to-date declaration (the current one is stale: ${stale.detail})`,
+                nextAction: CAUSE_NEXT_ACTIONS['TEST_MAPPING_STALE'],
+                newTestNeeded: candidates.length === 0,
+            });
+            continue;
+        }
+        const declared = bindings.filter((binding) => binding.origin === 'native' || binding.origin === 'sidecar');
+        const kindUnknown = problems.find((problem) => problem.cause === 'TEST_KIND_UNKNOWN');
+        if (kindUnknown !== undefined) {
+            suggestions.push({
+                obligationId,
+                cause: 'TEST_KIND_UNKNOWN',
+                candidates: declared
+                    .map((binding) => ({
+                    logicalKey: binding.logicalKey,
+                    file: binding.instances[0]?.file ?? '',
+                    why: ['mapped by declaration, but its kind is unknown'],
+                }))
+                    .sort((a, b) => compareStrings(a.logicalKey, b.logicalKey)),
+                missingEvidence: 'a declared kind for the connected test (code analysis could not classify it)',
+                nextAction: CAUSE_NEXT_ACTIONS['TEST_KIND_UNKNOWN'],
+                newTestNeeded: false,
+            });
+            continue;
+        }
+        if (declared.length > 0)
+            continue; // declared + clean: the gap is execution, not mapping
+        const candidates = bindings
+            .map((binding) => ({
+            logicalKey: binding.logicalKey,
+            file: binding.instances[0]?.file ?? '',
+            why: binding.origin === 'inferred' || binding.origin === 'prior-run'
+                ? [binding.reason ?? binding.origin]
+                : [`bound by native annotation (${binding.logicalKey})`],
+        }))
+            .sort((a, b) => compareStrings(a.logicalKey, b.logicalKey));
+        suggestions.push({
+            obligationId,
+            cause: 'TEST_MAPPING_MISSING',
+            candidates,
+            missingEvidence: candidates.length > 0
+                ? 'a DECLARED mapping and witnessed evidence for this change (a mapping declares intent; it supplies no test result)'
+                : 'a declared mapping to any existing test — no candidate survived resolution',
+            nextAction: CAUSE_NEXT_ACTIONS['TEST_MAPPING_MISSING'],
+            newTestNeeded: candidates.length === 0,
+        });
+    }
+    return suggestions.sort((a, b) => SUGGESTION_RANK[a.cause] - SUGGESTION_RANK[b.cause] ||
+        compareStrings(a.obligationId, b.obligationId));
+}
+/**
+ * Projects resolved bindings into declared grading claims (plan §5.3:
+ * both declaration paths normalize into existing claims). ONLY `native`
+ * and `sidecar` bindings project — inferred and prior-run bindings are
+ * suggestions and never grade. Exact duplicates of claims the run state
+ * already carries are dropped idempotently. The claims declare INTENT:
+ * they contain no evidence, so a mapped obligation with no witnessed
+ * records still grades EVIDENCE_NOT_COLLECTED (blocking), never satisfied.
+ *
+ * Phase 4 note (runtime selection): the suite fixture submits evidence
+ * per native annotations using the reporter's own testIds, so sidecar
+ * claims (whose testId is the logical key) cannot receive runtime
+ * evidence until Phase 4 wires claim injection through session open.
+ *
+ * Args:
+ *   resolution: the resolved-mappings surface.
+ *   existingClaims: the run-state claims (native annotations).
+ *
+ * Returns:
+ *   Claim[]: validated declared claims, sorted by (obligationId, testId).
+ */
+export function mappingGradingClaims(resolution, existingClaims) {
+    const existing = new Set(existingClaims.map((claim) => `${claim.obligationId}\u0000${claim.testId}`));
+    const claims = [];
+    for (const entry of resolution.obligations) {
+        for (const binding of entry.bindings) {
+            if (binding.origin !== 'native' && binding.origin !== 'sidecar')
+                continue;
+            const dedupeKey = `${entry.obligationId}\u0000${binding.logicalKey}`;
+            if (existing.has(dedupeKey))
+                continue;
+            existing.add(dedupeKey);
+            const file = binding.instances[0]?.file;
+            claims.push(ClaimSchema.parse({
+                schemaVersion: 1,
+                obligationId: entry.obligationId,
+                testId: binding.logicalKey,
+                ...(file !== undefined ? { testFile: file } : {}),
+            }));
+        }
+    }
+    return claims.sort((a, b) => compareStrings(a.obligationId, b.obligationId) || compareStrings(a.testId, b.testId));
+}
+//# sourceMappingURL=resolve.js.map

package/dist/mapping/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/mapping/resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,WAAW,EAAc,MAAM,qBAAqB,CAAC;AAG9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAuG3D,iEAAiE;AACjE,MAAM,WAAW,GAA4C,MAAM,CAAC,MAAM,CAAC;IACzE,MAAM,EAAE,CAAC;IACT,OAAO,EAAE,CAAC;IACV,WAAW,EAAE,CAAC;IACd,QAAQ,EAAE,CAAC;CACZ,CAAC,CAAC;AAEH,gEAAgE;AAChE,MAAM,YAAY,GAAkD,MAAM,CAAC,MAAM,CAAC;IAChF,sBAAsB,EAAE,CAAC;IACzB,kBAAkB,EAAE,CAAC;IACrB,iBAAiB,EAAE,CAAC;CACrB,CAAC,CAAC;AAEH,gFAAgF;AAChF,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;AAE3E;;;GAGG;AACH,SAAS,eAAe,CAAC,GAAqB,EAAE,QAA8C;IAC5F,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAC/E,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IACrF,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uDAAuD;AACvD,SAAS,UAAU,CAAC,GAAqB;IACvC,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,SAAS,EAAE,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC;QAC7B,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;KACzC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAA2B;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,2CAA2C;IAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6C,CAAC;IAE1E,MAAM,WAAW,GAAG,CAAC,OAAuB,EAAQ,EAAE;QACpD,MAAM,SAAS,GAAG,GAAG,OAAO,CAAC,KAAK,SAAS,OAAO,CAAC,YAAY,IAAI,EAAE,SAAS,OAAO,CAAC,MAAM,EAAE,CAAC;QAC/F,IAAI,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO;QACxC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,YAAoB,EAAqC,EAAE;QAC9E,IAAI,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;YACrB,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IAEF,4EAA4E;IAC5E,MAAM,cAAc,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7F,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO;aAClC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;aACrD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAE9D,oEAAoE;QACpE,iEAAiE;QACjE,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC3C,KAAK,MAAM,YAAY,IAAI,MAAM,EAAE,CAAC;gBAClC,WAAW,CAAC;oBACV,KAAK,EAAE,wBAAwB;oBAC/B,YAAY;oBACZ,MAAM,EACJ,kBAAkB,KAAK,CAAC,GAAG,kDAAkD;wBAC7E,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,2DAA2D;wBAClF,mCAAmC;oBACrC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;iBAC5D,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,+DAA+D;QAC/D,gEAAgE;QAChE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAC7C,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,IAAI;gBAChC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CACzE,CAAC;YACF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACzF,MAAM,QAAQ,GAAG,YAAY,KAAK,SAAS;gBACzC,CAAC,CAAC,gCAAgC,YAAY,CAAC,UAAU,iCAAiC;oBACxF,wEAAwE;gBAC1E,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACnB,CAAC,CAAC,8DAA8D,QAAQ;yBACnE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBACX,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;yBAC5C,IAAI,CAAC,IAAI,CAAC,GAAG;oBAClB,CAAC,CAAC,aAAa,KAAK,CAAC,QAAQ,CAAC,IAAI,+BAA+B,CAAC;YACtE,KAAK,MAAM,YAAY,IAAI,MAAM,EAAE,CAAC;gBAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC;oBAAE,SAAS;gBAC1C,WAAW,CAAC;oBACV,KAAK,EAAE,oBAAoB;oBAC3B,YAAY;oBACZ,MAAM,EACJ,gBAAgB,KAAK,CAAC,GAAG,kCAAkC;wBAC3D,aAAa,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,IAAI,GAAG,GAAG;wBACtE,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,QAAQ,EAAE;oBACtF,SAAS,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE;iBAC3E,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,oEAAoE;QACpE,qEAAqE;QACrE,yDAAyD;QACzD,KAAK,MAAM,YAAY,IAAI,MAAM,EAAE,CAAC;YAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gBAChC,WAAW,CAAC;oBACV,KAAK,EAAE,oBAAoB;oBAC3B,YAAY;oBACZ,MAAM,EACJ,kBAAkB,KAAK,CAAC,GAAG,aAAa,YAAY,iCAAiC;wBACrF,4FAA4F;oBAC9F,SAAS,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;iBAC1F,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,oEAAoE;QACpE,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBACnC,KAAK,MAAM,YAAY,IAAI,MAAM,EAAE,CAAC;wBAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC;4BAAE,SAAS;wBAC1C,WAAW,CAAC;4BACV,KAAK,EAAE,mBAAmB;4BAC1B,YAAY;4BACZ,MAAM,EACJ,SAAS,KAAK,CAAC,GAAG,MAAM,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB;gCAC/E,0EAA0E;4BAC5E,SAAS,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC;yBAChC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAC7E,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpD,KAAK,MAAM,YAAY,IAAI,MAAM,EAAE,CAAC;oBAClC,WAAW,CAAC;wBACV,KAAK,EAAE,wBAAwB;wBAC/B,YAAY;wBACZ,MAAM,EACJ,kBAAkB,KAAK,CAAC,GAAG,oBAAoB,KAAK,CAAC,IAAI,6BAA6B;4BACtF,YAAY,IAAI,CAAC,MAAM,8DAA8D;wBACvF,SAAS,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;qBAC3B,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;gBACpG,KAAK,MAAM,YAAY,IAAI,MAAM,EAAE,CAAC;oBAClC,WAAW,CAAC;wBACV,KAAK,EAAE,wBAAwB;wBAC/B,YAAY;wBACZ,MAAM,EACJ,kBAAkB,KAAK,CAAC,GAAG,oBAAoB,KAAK,CAAC,IAAI,2BAA2B;4BACpF,IAAI,GAAG,CAAC,YAAY,+BAA+B,MAAM,EAAE,MAAM,IAAI,SAAS,MAAM;4BACpF,GAAG,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM;4BACtG,+CAA+C;wBACjD,SAAS,EAAE,CAAC,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;qBACpF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,kEAAkE;QAClE,KAAK,MAAM,YAAY,IAAI,MAAM,EAAE,CAAC;YAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC;gBAAE,SAAS;YAC1C,WAAW,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE;gBACvC,UAAU,EAAE,KAAK,CAAC,GAAG;gBACrB,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClC,MAAM,EAAE,SAAS;gBACjB,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,IAAI,IAAI;gBAC9C,YAAY,EAAE,KAAK,CAAC,IAAI,IAAI,IAAI;gBAChC,UAAU,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;gBACrE,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,IAAI;aACnD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,+DAA+D;IAC/D,MAAM,mBAAmB,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC/D,KAAK,MAAM,YAAY,IAAI,mBAAmB,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;aACnE,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI,CAAC;aAClF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QACvE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,KAAK,KAAK,EAAE,YAAY,CAAC,CAAC;YACxF,WAAW,CAAC;gBACV,KAAK,EAAE,wBAAwB;gBAC/B,YAAY;gBACZ,MAAM,EACJ,eAAe,YAAY,yCAAyC,MAAM,CACxE,KAAK,EAAE,YAAY,CACpB,SAAS,KAAK,EAAE,UAAU,UAAU,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,SAAS,MAAM,EAAE,UAAU,MAAM;oBAClG,2BAA2B;gBAC7B,SAAS,EAAE;oBACT,GAAG,CAAC,KAAK,EAAE,cAAc,KAAK,SAAS,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvG,GAAG,CAAC,MAAM,EAAE,cAAc,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC3G;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAC/C,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAC/F,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YACtC,WAAW,CAAC;gBACV,KAAK,EAAE,oBAAoB;gBAC3B,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,MAAM,EACJ,8BAA8B,KAAK,CAAC,MAAM,GAAG;oBAC7C,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU;oBACvE,IAAI,KAAK,CAAC,YAAY,qDAAqD;oBAC3E,wFAAwF;gBAC1F,SAAS,EAAE,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;aAChE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,kEAAkE;QAClE,qEAAqE;QACrE,+DAA+D;QAC/D,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO;aACpC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC;aAC5C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,MAAM,gBAAgB,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC9D,MAAM,SAAS,GACb,gBAAgB,KAAK,SAAS;YAC9B,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACjC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,CACjG,CAAC;QACJ,IAAI,SAAS;YAAE,SAAS;QACxB,WAAW,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE;YAChD,UAAU,EAAE,KAAK,CAAC,MAAM;YACxB,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC;YACpC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,IAAI,IAAI;YAChD,YAAY,EAAE,IAAI;YAClB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,IAAI;YACZ,cAAc,EAAE,KAAK,CAAC,QAAQ,IAAI,IAAI;SACvC,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CACjD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CACvG,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC;YAAE,SAAS;QACpE,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAChD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,SAAS;QAC5C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE;YAC5B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAC5B,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,YAAY,EAAE,IAAI;YAClB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,4FAA4F;YACpG,cAAc,EAAE,GAAG,CAAC,cAAc;SACnC,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,KAAK,MAAM,YAAY,IAAI,mBAAmB,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;YAClH,SAAS,CAAC,qDAAqD;QACjE,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC;QAClD,KAAK,MAAM,SAAS,IAAI,kBAAkB,CAAC,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACxE,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC;gBAAE,SAAS;YAChD,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE;gBAChC,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,UAAU;gBACpC,SAAS,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACtC,MAAM,EAAE,UAAU;gBAClB,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,YAAY;gBACxC,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,YAAY;gBACxC,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;gBAC5F,MAAM,EAAE,kCAAkC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACpE,cAAc,EAAE,SAAS,CAAC,GAAG,CAAC,cAAc;aAC7C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC7D,YAAY;QACZ,QAAQ,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAClE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAC9F;KACF,CAAC,CAAC,CAAC;IACJ,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC;QAC7C,cAAc,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC;QAC1D,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CACrC,CAAC;IACF,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACnH,CAAC;AAUD;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,YAAoB,EAAE,OAAoB;IACpE,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,UAAU;SACtB,KAAK,CAAC,QAAQ,CAAC;SACf,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;SACnC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACpD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3C,GAAG,CAAC,IAAI,CAAC,mBAAmB,KAAK,4BAA4B,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;YAC5E,CAAC;iBAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,GAAG,CAAC,IAAI,CAAC,mBAAmB,KAAK,+BAA+B,CAAC,CAAC;YACpE,CAAC;iBAAM,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC5F,GAAG,CAAC,IAAI,CAAC,mBAAmB,KAAK,4BAA4B,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;AACvF,CAAC;AA6CD,gGAAgG;AAChG,MAAM,eAAe,GAAqD,MAAM,CAAC,MAAM,CAAC;IACtF,oBAAoB,EAAE,CAAC;IACvB,iBAAiB,EAAE,CAAC;IACpB,kBAAkB,EAAE,CAAC;IACrB,sBAAsB,EAAE,CAAC;CAC1B,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAA8B;IAC/D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxG,MAAM,WAAW,GAAwB,EAAE,CAAC;IAC5C,KAAK,MAAM,YAAY,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACzE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC;QACtG,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,wBAAwB,CAAC,CAAC;QACzF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CAAC;gBACf,YAAY;gBACZ,KAAK,EAAE,wBAAwB;gBAC/B,UAAU,EAAE,EAAE;gBACd,eAAe,EAAE,gGAAgG;gBACjH,UAAU,EAAE,kBAAkB,CAAC,wBAAwB,CAAC;gBACxD,aAAa,EAAE,KAAK;aACrB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,oBAAoB,CAAC,CAAC;QACjF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBACrF,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,UAAU;gBACpC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI;gBACxB,GAAG,EAAE,SAAS,CAAC,GAAG;aACnB,CAAC,CAAC,CAAC;YACJ,WAAW,CAAC,IAAI,CAAC;gBACf,YAAY;gBACZ,KAAK,EAAE,oBAAoB;gBAC3B,UAAU;gBACV,eAAe,EAAE,wDAAwD,KAAK,CAAC,MAAM,GAAG;gBACxF,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,CAAC;gBACpD,aAAa,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;aACvC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QAC3G,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,mBAAmB,CAAC,CAAC;QACtF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,WAAW,CAAC,IAAI,CAAC;gBACf,YAAY;gBACZ,KAAK,EAAE,mBAAmB;gBAC1B,UAAU,EAAE,QAAQ;qBACjB,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;oBACjB,UAAU,EAAE,OAAO,CAAC,UAAU;oBAC9B,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE;oBACtC,GAAG,EAAE,CAAC,gDAAgD,CAAC;iBACxD,CAAC,CAAC;qBACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;gBAC7D,eAAe,EAAE,8EAA8E;gBAC/F,UAAU,EAAE,kBAAkB,CAAC,mBAAmB,CAAC;gBACnD,aAAa,EAAE,KAAK;aACrB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS,CAAC,sDAAsD;QACzF,MAAM,UAAU,GAAG,QAAQ;aACxB,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACjB,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE;YACtC,GAAG,EACD,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW;gBAC7D,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;gBACpC,CAAC,CAAC,CAAC,+BAA+B,OAAO,CAAC,UAAU,GAAG,CAAC;SAC7D,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,WAAW,CAAC,IAAI,CAAC;YACf,YAAY;YACZ,KAAK,EAAE,sBAAsB;YAC7B,UAAU;YACV,eAAe,EACb,UAAU,CAAC,MAAM,GAAG,CAAC;gBACnB,CAAC,CAAC,mHAAmH;gBACrH,CAAC,CAAC,4EAA4E;YAClF,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;YACtD,aAAa,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;SACvC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;QACnD,cAAc,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,CACjD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,oBAAoB,CAClC,UAA4B,EAC5B,cAAgC;IAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,SAAS,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtG,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;QAC3C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YAC1E,MAAM,SAAS,GAAG,GAAG,KAAK,CAAC,YAAY,SAAS,OAAO,CAAC,UAAU,EAAE,CAAC;YACrE,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAS;YACtC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YACxC,MAAM,CAAC,IAAI,CACT,WAAW,CAAC,KAAK,CAAC;gBAChB,aAAa,EAAE,CAAC;gBAChB,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,MAAM,EAAE,OAAO,CAAC,UAAU;gBAC1B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAClD,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAChB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAC/F,CAAC;AACJ,CAAC"}

package/dist/policy/coverage.d.ts

@@ -0,0 +1,79 @@
+import { type CauseCode } from '../schemas/verdict.js';
+import type { CoverageOperation, CoverageTable } from '../schemas/coverage-policy.js';
+/**
+ * One inventory table the caller derived from the current run's resource
+ * graph (user-facing, non-endpoint resources). Passing the inventory is
+ * REQUIRED: it is what makes a silently dropped policy table detectable.
+ */
+export interface CoverageInventoryTable {
+    /** Bare resource name, matched exactly against policy table names. */
+    name: string;
+    /** Operations the resource's lifecycle currently enables (dropped-table findings name these). */
+    operations: readonly CoverageOperation[];
+}
+/** One resolved test mapping (plan §5.1 mapping resolution) — input, not proof. */
+export interface MappedCoverage {
+    /** Bare table name the mapping covers. */
+    table: string;
+    /** The covered operation. */
+    operation: CoverageOperation;
+    /** Declared test kind; ONLY `browser-e2e` satisfies closed-world coverage. */
+    testKind: string;
+}
+/** Configuration-error finding: the policy names a table the inventory cannot see. */
+export interface CoverageConfigError {
+    /** Always `COVERAGE_TABLE_UNKNOWN`. */
+    code: 'COVERAGE_TABLE_UNKNOWN';
+    /** The unknown policy table name. */
+    table: string;
+    /** Single-cause explanation; callers turn this into exit 2. */
+    detail: string;
+}
+/** Blocking finding: required real-UI coverage is missing and undispositioned. */
+export interface CoverageBlockingFinding {
+    /** Always `CRUD_COVERAGE_MISSING` (plan §3.6/§5.4). */
+    code: 'CRUD_COVERAGE_MISSING';
+    /** Stable cause code carried into the shared report model. */
+    cause: Extract<CauseCode, 'CRUD_COVERAGE_MISSING'>;
+    /** The table lacking coverage. */
+    table: string;
+    /** The uncovered operation; null for a whole-table dropped violation. */
+    operation: CoverageOperation | null;
+    /** Single-cause explanation naming the gap. */
+    detail: string;
+    /** Plan §5.4 next action for `CRUD_COVERAGE_MISSING`. */
+    nextAction: string;
+}
+/** The complete evaluator result: config errors and blocking findings, sorted. */
+export interface CoveragePolicyResult {
+    /** Configuration errors (unknown table names) — callers exit 2 on these. */
+    configErrors: CoverageConfigError[];
+    /** Blocking findings — callers surface these as blocking report entries. */
+    blocking: CoverageBlockingFinding[];
+}
+/**
+ * Evaluates the coverage policy against the current inventory and
+ * resolved mappings. Pure: identical inputs produce byte-identical
+ * results; findings sort by table then operation.
+ *
+ * Semantics:
+ * - policy table absent from the inventory → CONFIG-ERROR
+ *   (`COVERAGE_TABLE_UNKNOWN`);
+ * - inventory table absent from the policy → blocking (closed-world: a
+ *   silently dropped table is a violation);
+ * - dispositioned table → excused (the disposition is a trusted owner
+ *   act recorded in config, never an agent self-approval);
+ * - otherwise each required operation without a `browser-e2e` mapping →
+ *   blocking `CRUD_COVERAGE_MISSING`.
+ *
+ * Args:
+ *   tables: the policy's table entries (validated `CoveragePolicySchema`).
+ *   inventory: the current run's user-facing table inventory (REQUIRED).
+ *   mappedCoverage: resolved test mappings; may be empty while the
+ *     mapping subsystem is unbuilt (Phase 2-3).
+ *
+ * Returns:
+ *   CoveragePolicyResult: sorted config errors and blocking findings.
+ */
+export declare function evaluateCoveragePolicy(tables: readonly CoverageTable[], inventory: readonly CoverageInventoryTable[], mappedCoverage?: readonly MappedCoverage[]): CoveragePolicyResult;
+//# sourceMappingURL=coverage.d.ts.map

package/dist/policy/coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/policy/coverage.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAEtF;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAC;IACb,iGAAiG;IACjG,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC1C;AAED,mFAAmF;AACnF,MAAM,WAAW,cAAc;IAC7B,0CAA0C;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,6BAA6B;IAC7B,SAAS,EAAE,iBAAiB,CAAC;IAC7B,8EAA8E;IAC9E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,sFAAsF;AACtF,MAAM,WAAW,mBAAmB;IAClC,uCAAuC;IACvC,IAAI,EAAE,wBAAwB,CAAC;IAC/B,qCAAqC;IACrC,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,kFAAkF;AAClF,MAAM,WAAW,uBAAuB;IACtC,uDAAuD;IACvD,IAAI,EAAE,uBAAuB,CAAC;IAC9B,8DAA8D;IAC9D,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,uBAAuB,CAAC,CAAC;IACnD,kCAAkC;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,yEAAyE;IACzE,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACpC,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAC;IACf,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,kFAAkF;AAClF,MAAM,WAAW,oBAAoB;IACnC,4EAA4E;IAC5E,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,EAAE,uBAAuB,EAAE,CAAC;CACrC;AAKD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,SAAS,EAAE,SAAS,sBAAsB,EAAE,EAC5C,cAAc,GAAE,SAAS,cAAc,EAAO,GAC7C,oBAAoB,CA4EtB"}