@futdevpro/dynamo-e2e 1.18.18 → 1.18.22

package/CHANGELOG.md

@@ -3,6 +3,69 @@
 Minden release a `dynamo-e2e-foundation` HYPERPLAN MP-N ütemezést követi.
 Verzióformátum: `MM.mm.p` (két-számjegyes major-minor, Dynamo-konvenció).
 
+## [01.18.22] — 2026-09-25 — Coverage catalog ↔ evidence validator (BFR-FSMED-006)
+
+- ⚠️ The first 01.18.22 CI run failed the COVERAGE gate (functions 61%, gate 75%) — not a test failure: the runnable-capture
+  spec's `playwright test --list` child loaded the whole package through Playwright's loader, and c8 merged it as ~150
+  never-called functions. The child's `NODE_V8_COVERAGE` now goes to a discard dir (deleting the variable is not enough
+  on Windows — measured); functions back to 90%.
+
+- Added `DyE2E_validateCoverageCatalog({ featureCatalogPath, journeyCatalogPath, discoveredTestIds?, featureIdPrefix?,
+  journeyIdPrefix? })`, `DyE2E_writeCoverageReport(report, path)` and `DyE2E_discoverTestIds({ roots, idPattern })`
+  (root export), plus `dye2e validate-coverage-catalog --features --journeys [--scan --id-pattern] [--report]
+  [--require-complete]` (exit 0 ok · 1 findings, or not complete in release mode · 2 usage).
+- Checks, with stable `COV-*` codes: an EMPTY or unreadable catalog is never green (`COV-ZERO-DENOMINATOR`,
+  `COV-CATALOG-UNREADABLE`) · duplicate / invalid entries · feature ↔ journey links BOTH ways (`COV-LINK-UNKNOWN`,
+  `COV-LINK-ONE-WAY`) · `covered` needs evidence, anything else needs `missingEvidence` · evidence files exist and each
+  claimed id is in them, with the layer prefix; journey evidence never counts as feature evidence · with discovered
+  ids: claimed-but-absent (`COV-EVIDENCE-ID-UNDISCOVERED`) and present-but-unclaimed (`COV-EVIDENCE-ORPHAN`).
+- The report (`schema: dye2e-coverage-report/1`) keeps the feature and the journey denominators SEPARATE, each split
+  into covered / red / pending ids, plus the orphan / undiscovered ids; `releaseReady` only when valid, both
+  denominators > 0 and every entry covered. Project-specific rules (requirement mapping, variants …) stay project-side.
+
+## [01.18.21] — 2026-09-25 — VQA aggregate review gate (BFR-FSMED-015, part 3)
+
+- ⚠️ **01.18.19 and 01.18.20 were never published on their own:** the CI queue coalesced the quick successive pushes
+  into one run — their content (journey context, runnable capture) is published in 01.18.21.
+
+- Added `DyE2E_VQA_ReviewGate_Util.verify({ bundlePath, findingsPath?, humanReviewPath?, failOn? })` and the CLI
+  `dye2e verify-review-bundle --bundle <path> [--findings] [--human-review] [--report <json>] [--fail-on a,b]`
+  (exit 0 pass · 1 fail · 2 usage): manifest + captured evidence + finding-set + human-review marker ⇒ ONE release
+  verdict with stable codes and a JSON report (`schema: dye2e-vqa-review-gate/1`).
+- Categories (`--fail-on`, default all): `missing` (`VQA-GATE-EVIDENCE-MISSING`, `-FINDINGS-MISSING`) · `orphan`
+  (`-EVIDENCE-ORPHAN`: evidence for an undeclared state / viewport) · `invalid` (`-FINDING-INVALID` schema,
+  `-FINDING-FOREIGN` other feature / state / viewport, `-FINDING-REF-MISSING` evidence ref not in the bundle) ·
+  `blocker` / `high` (`-FINDING-OPEN-BLOCKER` / `-HIGH`; closed = verified / ignored / accepted-risk) · `human-review`
+  (`-HUMAN-REVIEW-MISSING` / `-INVALID` / `-REJECTED`; marker `{ reviewer, reviewedAt, verdict }`). A missing /
+  unreadable manifest always fails. Issues outside `--fail-on` are still reported (`blocking: false`); an unknown
+  `--fail-on` category is a usage error, not a silently weaker gate.
+- The bundle README told the reviewer to reference `screenshots/…` / `dom-snapshots/…`, which the capture never
+  writes — it now names the real `states/<stateId>/<viewport>-<orientation>/` files (the gate checks refs exist).
+
+## [01.18.20] — 2026-09-25 — Runnable VQA capture (BFR-FSMED-015, part 2)
+
+- The review bundle now holds `capture.spec.ts` (was `capture-spec.ts`, which no Playwright `testMatch` picks up) AND
+  its own `playwright.config.ts` (`testDir: '.'`, `testMatch: 'capture.spec.ts'`): the bundle lives outside the
+  project's `testDir`, so even a correctly named spec gave "No tests found" with the project config.
+- The run command is `DyE2E_VQA_ReviewBundle_Generator.captureCommand(bundlePath)` —
+  `VQA_OUT_DIR="<bundle>" npx playwright test --config "<bundle>/playwright.config.ts"`; `dye2e generate-review-bundle`
+  prints exactly this. Proven by a spec that runs `playwright test --config … --list` on a generated bundle
+  (4 tests discovered) and by running the CLI's printed command.
+- The generated spec imports from `@futdevpro/dynamo-e2e` (root) instead of the `/vqa` subpath, so it resolves under
+  `moduleResolution: node` as well; a spec compiles the generated files with `strict` + `moduleResolution: node`.
+- Docs: `vqa-announcement.md` and `vqa-cicd-step-template.md` use the new command (the template's `VQA_OUT_DIR` now
+  points at the bundle itself, so the artifacts land where `verifyBundleArtifacts` looks).
+
+## [01.18.19] — 2026-09-25 — Journey context + cleanup registry (BFR-FSMED-007)
+
+- Added `DyE2E_JourneyContext<TState>` to `/runtime`: typed state handoff between journey steps (`step(name, fn)` merges
+  the returned patch; `handoff(patch)`; `require(key)` fails with the key and the completed steps named instead of
+  calling an API with `undefined`) and a cleanup registry (`registerCleanup(label, fn)` → `runCleanup()`: LIFO, every
+  cleanup isolated, idempotent, and it THROWS naming the leaked labels when any cleanup failed — a leaked entity is a
+  red journey, never a silent one). A failed step is recorded and later steps refuse to run; the cleanups still run.
+- `DyE2E_useJourney(test, { name, initialState })`: serial mode + `afterAll → runCleanup()` for a Playwright
+  `describe`. The cleanup runs after the test-scoped fixtures are disposed — it must use its own client.
+
 ## [01.18.18] — 2026-09-25 — Capability-scoped global setup (BFR-FSMED-017)
 
 - `DyE2E_getGlobalSetup` new options: `failOnMissingEnv` (the missing `requiredEnvVars` become FATAL, named in the

package/bin/dye2e.js

@@ -354,7 +354,7 @@ function main() {
     process.stdout.write('  runId: ' + result.runId + '\n');
     process.stdout.write('  files: ' + result.files.length + '\n');
     process.stdout.write('\n  next: cd to the project + run\n');
-    process.stdout.write('    VQA_OUT_DIR=' + result.bundlePath + ' npx playwright test ' + path.join(result.bundlePath, 'capture-spec.ts') + '\n');
+    process.stdout.write('    ' + DyE2E_VQA_ReviewBundle_Generator.captureCommand(result.bundlePath) + '\n');
     process.exit(0);
   }
 
@@ -437,6 +437,90 @@ function main() {
     process.exit(0);
   }
 
+  if (parsed.command === 'verify-review-bundle') {
+    // BFR-FSMED-015 (3. resz) — aggregate release gate: exit 0 = pass, 1 = fail, 2 = usage / unknown category
+    const { DyE2E_VQA_ReviewGate_Util } = require('../build/_modules/vqa/_collections/utils/review-gate.util');
+    const bundleP = parsed.flags.bundle;
+    if (!bundleP) {
+      process.stderr.write('[dye2e] error: --bundle <path> required\n');
+      process.exit(2);
+    }
+    let failOn;
+    try {
+      failOn = DyE2E_VQA_ReviewGate_Util.parseFailOn(parsed.flags['fail-on']);
+    } catch (e) {
+      process.stderr.write('[dye2e] error: ' + e.message + '\n');
+      process.exit(2);
+    }
+    const report = DyE2E_VQA_ReviewGate_Util.verify({
+      bundlePath: path.resolve(process.cwd(), bundleP),
+      findingsPath: parsed.flags.findings ? path.resolve(process.cwd(), parsed.flags.findings) : undefined,
+      humanReviewPath: parsed.flags['human-review'] ? path.resolve(process.cwd(), parsed.flags['human-review']) : undefined,
+      failOn: failOn,
+    });
+    if (parsed.flags.report) {
+      const reportPath = path.resolve(process.cwd(), parsed.flags.report);
+      fs.mkdirSync(path.dirname(reportPath), { recursive: true });
+      fs.writeFileSync(reportPath, JSON.stringify(report, null, 2));
+    }
+    process.stdout.write((report.verdict === 'pass' ? '✓' : '✗') + ' review gate: ' + report.verdict.toUpperCase() +
+      ' (' + report.featureId + ', ' + report.findingsTotal + ' findings, fail-on: ' + report.failOn.join(',') + ')\n');
+    for (const issue of report.issues) {
+      process.stdout.write('  ' + (issue.blocking ? '✗' : '·') + ' ' + issue.code + (issue.ref ? ' [' + issue.ref + ']' : '') +
+        ' — ' + issue.message + '\n');
+    }
+    process.exit(report.verdict === 'pass' ? 0 : 1);
+  }
+
+  if (parsed.command === 'validate-coverage-catalog') {
+    // BFR-FSMED-006 — catalog <-> evidence validator: exit 0 ok, 1 findings (or not complete with --require-complete), 2 usage
+    const cov = require('../build/_modules/coverage/_collections/coverage-catalog.util');
+    const featuresP = parsed.flags.features;
+    const journeysP = parsed.flags.journeys;
+    if (!featuresP || !journeysP) {
+      process.stderr.write('[dye2e] error: --features <path> and --journeys <path> required\n');
+      process.exit(2);
+    }
+    let discovered;
+    if (parsed.flags.scan) {
+      if (!parsed.flags['id-pattern']) {
+        process.stderr.write('[dye2e] error: --scan needs --id-pattern <regex>\n');
+        process.exit(2);
+      }
+      let idPattern;
+      try {
+        idPattern = new RegExp(parsed.flags['id-pattern'], 'g');
+      } catch (e) {
+        process.stderr.write('[dye2e] error: invalid --id-pattern: ' + e.message + '\n');
+        process.exit(2);
+      }
+      discovered = cov.DyE2E_discoverTestIds({
+        roots: String(parsed.flags.scan).split(',').map((r) => path.resolve(process.cwd(), r.trim())),
+        idPattern: idPattern,
+      });
+    }
+    const report = cov.DyE2E_validateCoverageCatalog({
+      featureCatalogPath: path.resolve(process.cwd(), featuresP),
+      journeyCatalogPath: path.resolve(process.cwd(), journeysP),
+      discoveredTestIds: discovered,
+      featureIdPrefix: parsed.flags['feature-prefix'],
+      journeyIdPrefix: parsed.flags['journey-prefix'],
+    });
+    if (parsed.flags.report) {
+      cov.DyE2E_writeCoverageReport(report, path.resolve(process.cwd(), parsed.flags.report));
+    }
+    const layer = (name, l) => name + ' ' + l.covered.length + '/' + l.denominator + ' covered (red ' + l.red.length +
+      ', pending ' + l.pending.length + ')';
+    process.stdout.write('[dye2e coverage] ' + layer('features', report.features) + '; ' + layer('journeys', report.journeys) +
+      '; orphan ' + report.orphanEvidenceIds.length + '; findings ' + report.findings.length +
+      '; releaseReady=' + report.releaseReady + '\n');
+    for (const f of report.findings) {
+      process.stdout.write('  ✗ ' + f.code + ' [' + f.ref + '] — ' + f.message + '\n');
+    }
+    const requireComplete = parsed.flags['require-complete'] !== undefined;
+    process.exit(!report.structurallyValid || (requireComplete && !report.releaseReady) ? 1 : 0);
+  }
+
   process.stderr.write(`[dye2e] unknown command: ${parsed.command}\n`);
   process.stderr.write(DyE2E_CliRunner_Util.helpText());
   process.exit(2);

package/build/_modules/coverage/_collections/coverage-catalog.util.d.ts

@@ -0,0 +1,22 @@
+import { DyE2E_CoverageCatalog_Options, DyE2E_CoverageReport_Interface } from '../_models/coverage-catalog.interface';
+/**
+ * BFR-FSMED-006 — two-way feature / journey catalog ↔ test-evidence validator + coverage report.
+ *
+ * Findings (stable codes): `COV-CATALOG-UNREADABLE` · `COV-ZERO-DENOMINATOR` (an EMPTY catalog is never green) ·
+ * `COV-DUPLICATE-ID` · `COV-ENTRY-INVALID` · `COV-LINK-UNKNOWN` / `COV-LINK-ONE-WAY` (feature ↔ journey both ways) ·
+ * `COV-STATUS-COVERED-WITHOUT-EVIDENCE` · `COV-MISSING-EVIDENCE-UNEXPLAINED` · `COV-EVIDENCE-FILE-MISSING` ·
+ * `COV-EVIDENCE-ID-NOT-IN-FILE` · `COV-EVIDENCE-ID-PREFIX` · `COV-JOURNEY-EVIDENCE-AS-FEATURE` ·
+ * with discovered ids: `COV-EVIDENCE-ID-UNDISCOVERED` · `COV-EVIDENCE-ORPHAN`.
+ */
+export declare function DyE2E_validateCoverageCatalog(options: DyE2E_CoverageCatalog_Options): DyE2E_CoverageReport_Interface;
+/** Writes the report as JSON (creating the folder). */
+export declare function DyE2E_writeCoverageReport(report: DyE2E_CoverageReport_Interface, reportPath: string): void;
+/**
+ * Collects the test ids that really exist: every `idPattern` match in the `*.spec.ts` / `*.test.ts` files under
+ * `roots` (the ids live in the test titles). Sorted, unique.
+ */
+export declare function DyE2E_discoverTestIds(set: {
+    roots: string[];
+    idPattern: RegExp;
+}): string[];
+//# sourceMappingURL=coverage-catalog.util.d.ts.map

package/build/_modules/coverage/_collections/coverage-catalog.util.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-catalog.util.d.ts","sourceRoot":"","sources":["../../../../src/_modules/coverage/_collections/coverage-catalog.util.ts"],"names":[],"mappings":"AAGA,OAAO,EAEL,6BAA6B,EAI7B,8BAA8B,EAC/B,MAAM,uCAAuC,CAAC;AAW/C;;;;;;;;GAQG;AACH,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,6BAA6B,GAAG,8BAA8B,CAgEpH;AAED,uDAAuD;AACvD,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,8BAA8B,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAG1G;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,EAAE,CAqB3F"}

package/build/_modules/coverage/_collections/coverage-catalog.util.js

@@ -0,0 +1,217 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DyE2E_validateCoverageCatalog = DyE2E_validateCoverageCatalog;
+exports.DyE2E_writeCoverageReport = DyE2E_writeCoverageReport;
+exports.DyE2E_discoverTestIds = DyE2E_discoverTestIds;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+/**
+ * BFR-FSMED-006 — two-way feature / journey catalog ↔ test-evidence validator + coverage report.
+ *
+ * Findings (stable codes): `COV-CATALOG-UNREADABLE` · `COV-ZERO-DENOMINATOR` (an EMPTY catalog is never green) ·
+ * `COV-DUPLICATE-ID` · `COV-ENTRY-INVALID` · `COV-LINK-UNKNOWN` / `COV-LINK-ONE-WAY` (feature ↔ journey both ways) ·
+ * `COV-STATUS-COVERED-WITHOUT-EVIDENCE` · `COV-MISSING-EVIDENCE-UNEXPLAINED` · `COV-EVIDENCE-FILE-MISSING` ·
+ * `COV-EVIDENCE-ID-NOT-IN-FILE` · `COV-EVIDENCE-ID-PREFIX` · `COV-JOURNEY-EVIDENCE-AS-FEATURE` ·
+ * with discovered ids: `COV-EVIDENCE-ID-UNDISCOVERED` · `COV-EVIDENCE-ORPHAN`.
+ */
+function DyE2E_validateCoverageCatalog(options) {
+    const findings = [];
+    const add = (code, ref, message) => {
+        findings.push({ code: code, ref: ref, message: message });
+    };
+    const features = readEntries(options.featureCatalogPath, 'features', add);
+    const journeys = readEntries(options.journeyCatalogPath, 'journeys', add);
+    const featureLayer = {
+        name: 'feature',
+        idOf: (entry) => entry.featureId ?? '',
+        linksOf: (entry) => entry.journeyIds ?? [],
+        catalogPath: options.featureCatalogPath,
+        idPrefix: options.featureIdPrefix,
+    };
+    const journeyLayer = {
+        name: 'journey',
+        idOf: (entry) => entry.journeyId ?? '',
+        linksOf: (entry) => entry.featureIds ?? [],
+        catalogPath: options.journeyCatalogPath,
+        idPrefix: options.journeyIdPrefix,
+    };
+    validateLayer(featureLayer, features, journeyLayer, journeys, options, add);
+    validateLayer(journeyLayer, journeys, featureLayer, features, options, add);
+    // Two-way evidence discovery: claimed-but-absent ids and present-but-unclaimed (orphan) ids
+    const claimed = [...features, ...journeys]
+        .flatMap((entry) => entry.evidenceTestIds ?? []);
+    let orphanEvidenceIds = [];
+    let undiscoveredEvidenceIds = [];
+    if (options.discoveredTestIds) {
+        const discovered = new Set(options.discoveredTestIds);
+        const claimedSet = new Set(claimed);
+        undiscoveredEvidenceIds = [...claimedSet].filter((id) => !discovered.has(id)).sort();
+        orphanEvidenceIds = [...discovered].filter((id) => !claimedSet.has(id)).sort();
+        undiscoveredEvidenceIds.forEach((id) => add('COV-EVIDENCE-ID-UNDISCOVERED', id, `claimed evidence id '${id}' does not exist among the discovered tests`));
+        orphanEvidenceIds.forEach((id) => add('COV-EVIDENCE-ORPHAN', id, `test id '${id}' exists but no catalog entry claims it`));
+    }
+    const featureReport = layerReport(features, featureLayer);
+    const journeyReport = layerReport(journeys, journeyLayer);
+    const structurallyValid = !findings.length;
+    return {
+        schema: 'dye2e-coverage-report/1',
+        generatedAt: new Date().toISOString(),
+        features: featureReport,
+        journeys: journeyReport,
+        orphanEvidenceIds: orphanEvidenceIds,
+        undiscoveredEvidenceIds: undiscoveredEvidenceIds,
+        structurallyValid: structurallyValid,
+        releaseReady: structurallyValid
+            && featureReport.denominator > 0 && journeyReport.denominator > 0
+            && featureReport.covered.length === featureReport.denominator
+            && journeyReport.covered.length === journeyReport.denominator,
+        findings: findings,
+    };
+}
+/** Writes the report as JSON (creating the folder). */
+function DyE2E_writeCoverageReport(report, reportPath) {
+    fs.mkdirSync(path.dirname(reportPath), { recursive: true });
+    fs.writeFileSync(reportPath, `${JSON.stringify(report, null, 2)}\n`);
+}
+/**
+ * Collects the test ids that really exist: every `idPattern` match in the `*.spec.ts` / `*.test.ts` files under
+ * `roots` (the ids live in the test titles). Sorted, unique.
+ */
+function DyE2E_discoverTestIds(set) {
+    const flags = set.idPattern.flags.includes('g') ? set.idPattern.flags : `${set.idPattern.flags}g`;
+    const pattern = new RegExp(set.idPattern.source, flags);
+    const ids = new Set();
+    const walk = (dir) => {
+        for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
+            const full = path.join(dir, entry.name);
+            if (entry.isDirectory() && entry.name !== 'node_modules') {
+                walk(full);
+            }
+            else if (entry.isFile() && /\.(spec|test)\.[cm]?[jt]s$/.test(entry.name)) {
+                for (const match of fs.readFileSync(full, 'utf-8').matchAll(pattern)) {
+                    ids.add(match[0]);
+                }
+            }
+        }
+    };
+    set.roots.filter((root) => fs.existsSync(root)).forEach(walk);
+    return [...ids].sort();
+}
+/** Reads `features` / `journeys` from a catalog file; an unreadable file is a finding (never an empty-but-green list). */
+function readEntries(catalogPath, key, add) {
+    try {
+        const catalog = JSON.parse(fs.readFileSync(catalogPath, 'utf-8'));
+        const entries = catalog?.[key];
+        if (!Array.isArray(entries)) {
+            throw new Error(`"${key}" array missing`);
+        }
+        return entries;
+    }
+    catch (err) {
+        add('COV-CATALOG-UNREADABLE', catalogPath, `${key} catalog unreadable: ${err instanceof Error ? err.message : String(err)}`);
+        return [];
+    }
+}
+/** Validates one layer against the other (links both ways) and its own evidence. */
+function validateLayer(layer, entries, other, otherEntries, options, add) {
+    if (!entries.length) {
+        add('COV-ZERO-DENOMINATOR', layer.catalogPath, `the ${layer.name} catalog is empty — an empty catalog is never covered`);
+        return;
+    }
+    const seen = new Set();
+    const otherById = new Map(otherEntries
+        .map((entry) => [other.idOf(entry), entry]));
+    entries.forEach((entry, index) => {
+        const id = layer.idOf(entry);
+        const ref = id || `${layer.name}s[${index}]`;
+        if (!id || !Array.isArray(entry.evidenceTestIds) || !Array.isArray(entry.evidenceFiles)
+            || typeof entry.coverageStatus !== 'string' || !entry.coverageStatus) {
+            add('COV-ENTRY-INVALID', ref, `${layer.name} needs ${layer.name}Id, evidenceTestIds[], evidenceFiles[] and a coverageStatus`);
+            return;
+        }
+        if (seen.has(id)) {
+            add('COV-DUPLICATE-ID', id, `duplicate ${layer.name} id '${id}'`);
+        }
+        seen.add(id);
+        // Feature ↔ journey links, both ways
+        layer.linksOf(entry).forEach((linkedId) => {
+            const linked = otherById.get(linkedId);
+            if (!linked) {
+                add('COV-LINK-UNKNOWN', id, `${layer.name} '${id}' links an unknown ${other.name} '${linkedId}'`);
+            }
+            else if (!other.linksOf(linked).includes(id)) {
+                add('COV-LINK-ONE-WAY', id, `${other.name} '${linkedId}' does not link back to ${layer.name} '${id}'`);
+            }
+        });
+        // Status ↔ evidence consistency
+        if (entry.coverageStatus === 'covered' && (!entry.evidenceTestIds.length || !entry.evidenceFiles.length)) {
+            add('COV-STATUS-COVERED-WITHOUT-EVIDENCE', id, `'${id}' is covered without evidenceTestIds / evidenceFiles`);
+        }
+        if (entry.coverageStatus !== 'covered' && !entry.missingEvidence?.trim()) {
+            add('COV-MISSING-EVIDENCE-UNEXPLAINED', id, `'${id}' is ${entry.coverageStatus} but missingEvidence is empty`);
+        }
+        validateEvidence(layer, entry, id, options, add);
+    });
+}
+/** Evidence files exist; every claimed id appears in them, carries the layer prefix and stays in its layer. */
+function validateEvidence(layer, entry, id, options, add) {
+    const catalogDir = path.dirname(layer.catalogPath);
+    const sources = [];
+    entry.evidenceFiles.forEach((file) => {
+        const absolute = path.resolve(catalogDir, file);
+        if (fs.existsSync(absolute)) {
+            sources.push(fs.readFileSync(absolute, 'utf-8'));
+        }
+        else {
+            add('COV-EVIDENCE-FILE-MISSING', id, `evidence file does not exist: ${file}`);
+        }
+    });
+    entry.evidenceTestIds.forEach((testId) => {
+        if (layer.idPrefix && !testId.startsWith(layer.idPrefix)) {
+            add('COV-EVIDENCE-ID-PREFIX', id, `evidence id '${testId}' must start with '${layer.idPrefix}'`);
+        }
+        // A journey test proves the journey layer — it can never be counted as per-feature evidence
+        if (layer.name === 'feature' && options.journeyIdPrefix && testId.startsWith(options.journeyIdPrefix)) {
+            add('COV-JOURNEY-EVIDENCE-AS-FEATURE', id, `journey evidence '${testId}' cannot count as feature evidence`);
+        }
+        if (!sources.some((source) => source.includes(testId))) {
+            add('COV-EVIDENCE-ID-NOT-IN-FILE', id, `evidence id '${testId}' is not in the declared evidence files`);
+        }
+    });
+}
+/** Splits a layer's entries into covered / red / pending (ids). */
+function layerReport(entries, layer) {
+    const ids = (status) => entries
+        .filter((entry) => status(entry.coverageStatus))
+        .map(layer.idOf);
+    return {
+        denominator: entries.length,
+        covered: ids((status) => status === 'covered'),
+        red: ids((status) => status === 'red'),
+        pending: ids((status) => status !== 'covered' && status !== 'red'),
+    };
+}
+//# sourceMappingURL=coverage-catalog.util.js.map

package/build/_modules/coverage/_collections/coverage-catalog.util.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-catalog.util.js","sourceRoot":"","sources":["../../../../src/_modules/coverage/_collections/coverage-catalog.util.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,sEAgEC;AAGD,8DAGC;AAMD,sDAqBC;AA/HD,uCAAyB;AACzB,2CAA6B;AAoB7B;;;;;;;;GAQG;AACH,SAAgB,6BAA6B,CAAC,OAAsC;IAClF,MAAM,QAAQ,GAAsC,EAAE,CAAC;IACvD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAW,EAAE,OAAe,EAAQ,EAAE;QAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC;IAEF,MAAM,QAAQ,GACZ,WAAW,CAAC,OAAO,CAAC,kBAAkB,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,QAAQ,GACZ,WAAW,CAAC,OAAO,CAAC,kBAAkB,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAkC;QAClD,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,CAAC,KAA2C,EAAU,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE;QACpF,OAAO,EAAE,CAAC,KAA2C,EAAY,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE;QAC1F,WAAW,EAAE,OAAO,CAAC,kBAAkB;QACvC,QAAQ,EAAE,OAAO,CAAC,eAAe;KAClC,CAAC;IACF,MAAM,YAAY,GAAkC;QAClD,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,CAAC,KAA2C,EAAU,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE;QACpF,OAAO,EAAE,CAAC,KAA2C,EAAY,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE;QAC1F,WAAW,EAAE,OAAO,CAAC,kBAAkB;QACvC,QAAQ,EAAE,OAAO,CAAC,eAAe;KAClC,CAAC;IAEF,aAAa,CAAC,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAC5E,aAAa,CAAC,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAE5E,4FAA4F;IAC5F,MAAM,OAAO,GAAa,CAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAE;SACnD,OAAO,CAAC,CAAC,KAA2C,EAAY,EAAE,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACnG,IAAI,iBAAiB,GAAa,EAAE,CAAC;IACrC,IAAI,uBAAuB,GAAa,EAAE,CAAC;IAE3C,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAgB,IAAI,GAAG,CAAS,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAgB,IAAI,GAAG,CAAS,OAAO,CAAC,CAAC;QAEzD,uBAAuB,GAAG,CAAE,GAAG,UAAU,CAAE,CAAC,MAAM,CAAC,CAAC,EAAU,EAAW,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxG,iBAAiB,GAAG,CAAE,GAAG,UAAU,CAAE,CAAC,MAAM,CAAC,CAAC,EAAU,EAAW,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAClG,uBAAuB,CAAC,OAAO,CAAC,CAAC,EAAU,EAAQ,EAAE,CACnD,GAAG,CAAC,8BAA8B,EAAE,EAAE,EAAE,wBAAwB,EAAE,6CAA6C,CAAC,CAAC,CAAC;QACpH,iBAAiB,CAAC,OAAO,CAAC,CAAC,EAAU,EAAQ,EAAE,CAC7C,GAAG,CAAC,qBAAqB,EAAE,EAAE,EAAE,YAAY,EAAE,yCAAyC,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,aAAa,GAAwC,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC/F,MAAM,aAAa,GAAwC,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC/F,MAAM,iBAAiB,GAAY,CAAC,QAAQ,CAAC,MAAM,CAAC;IAEpD,OAAO;QACL,MAAM,EAAE,yBAAyB;QACjC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,aAAa;QACvB,iBAAiB,EAAE,iBAAiB;QACpC,uBAAuB,EAAE,uBAAuB;QAChD,iBAAiB,EAAE,iBAAiB;QACpC,YAAY,EAAE,iBAAiB;eAC1B,aAAa,CAAC,WAAW,GAAG,CAAC,IAAI,aAAa,CAAC,WAAW,GAAG,CAAC;eAC9D,aAAa,CAAC,OAAO,CAAC,MAAM,KAAK,aAAa,CAAC,WAAW;eAC1D,aAAa,CAAC,OAAO,CAAC,MAAM,KAAK,aAAa,CAAC,WAAW;QAC/D,QAAQ,EAAE,QAAQ;KACnB,CAAC;AACJ,CAAC;AAED,uDAAuD;AACvD,SAAgB,yBAAyB,CAAC,MAAsC,EAAE,UAAkB;IAClG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACvE,CAAC;AAED;;;GAGG;AACH,SAAgB,qBAAqB,CAAC,GAA2C;IAC/E,MAAM,KAAK,GAAW,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC;IAC1G,MAAM,OAAO,GAAW,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,GAAG,GAAgB,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,GAAW,EAAQ,EAAE;QACjC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACjE,MAAM,IAAI,GAAW,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAEhD,IAAI,KAAK,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBACzD,IAAI,CAAC,IAAI,CAAC,CAAC;YACb,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3E,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;oBACrE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAY,EAAW,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAE/E,OAAO,CAAE,GAAG,GAAG,CAAE,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,0HAA0H;AAC1H,SAAS,WAAW,CAClB,WAAmB,EACnB,GAA4B,EAC5B,GAAyD;IAEzD,IAAI,CAAC;QACH,MAAM,OAAO,GAAoC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;QACnG,MAAM,OAAO,GAAY,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;QAExC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,IAAI,GAAG,iBAAiB,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,wBAAwB,EAAE,WAAW,EAAE,GAAG,GAAG,wBAAwB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAE7H,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CACpB,KAAoC,EACpC,OAA+C,EAC/C,KAAoC,EACpC,YAAoD,EACpD,OAAsC,EACtC,GAAyD;IAEzD,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,sBAAsB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,KAAK,CAAC,IAAI,uDAAuD,CAAC,CAAC;QAEzH,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAgB,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,SAAS,GAAsD,IAAI,GAAG,CAAC,YAAY;SACtF,GAAG,CAAC,CAAC,KAA2C,EAAkD,EAAE,CACnG,CAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAE,CAAC,CAAC,CAAC;IAEnC,OAAO,CAAC,OAAO,CAAC,CAAC,KAA2C,EAAE,KAAa,EAAQ,EAAE;QACnF,MAAM,EAAE,GAAW,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,GAAG,GAAW,EAAE,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,GAAG,CAAC;QAErD,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;eAClF,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;YACvE,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAC1B,GAAG,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,IAAI,6DAA6D,CAAC,CAAC;YAElG,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACjB,GAAG,CAAC,kBAAkB,EAAE,EAAE,EAAE,aAAa,KAAK,CAAC,IAAI,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEb,qCAAqC;QACrC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,QAAgB,EAAQ,EAAE;YACtD,MAAM,MAAM,GAAqD,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAEzF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,GAAG,CAAC,kBAAkB,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,EAAE,sBAAsB,KAAK,CAAC,IAAI,KAAK,QAAQ,GAAG,CAAC,CAAC;YACpG,CAAC;iBAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,kBAAkB,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,2BAA2B,KAAK,CAAC,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC;YACzG,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,gCAAgC;QAChC,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YACzG,GAAG,CAAC,qCAAqC,EAAE,EAAE,EAAE,IAAI,EAAE,sDAAsD,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;YACzE,GAAG,CAAC,kCAAkC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,KAAK,CAAC,cAAc,+BAA+B,CAAC,CAAC;QACjH,CAAC;QAED,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+GAA+G;AAC/G,SAAS,gBAAgB,CACvB,KAAoC,EACpC,KAA2C,EAC3C,EAAU,EACV,OAAsC,EACtC,GAAyD;IAEzD,MAAM,UAAU,GAAW,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAY,EAAQ,EAAE;QACjD,MAAM,QAAQ,GAAW,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAExD,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,2BAA2B,EAAE,EAAE,EAAE,iCAAiC,IAAI,EAAE,CAAC,CAAC;QAChF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,MAAc,EAAQ,EAAE;QACrD,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,wBAAwB,EAAE,EAAE,EAAE,gBAAgB,MAAM,sBAAsB,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QACnG,CAAC;QACD,4FAA4F;QAC5F,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,eAAe,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;YACtG,GAAG,CAAC,iCAAiC,EAAE,EAAE,EAAE,qBAAqB,MAAM,oCAAoC,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAc,EAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACxE,GAAG,CAAC,6BAA6B,EAAE,EAAE,EAAE,gBAAgB,MAAM,yCAAyC,CAAC,CAAC;QAC1G,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mEAAmE;AACnE,SAAS,WAAW,CAClB,OAA+C,EAC/C,KAAoC;IAEpC,MAAM,GAAG,GAAG,CAAC,MAAkC,EAAY,EAAE,CAAC,OAAO;SAClE,MAAM,CAAC,CAAC,KAA2C,EAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;SAC9F,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAEnB,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,MAAM;QAC3B,OAAO,EAAE,GAAG,CAAC,CAAC,MAAc,EAAW,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC;QAC/D,GAAG,EAAE,GAAG,CAAC,CAAC,MAAc,EAAW,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC;QACvD,OAAO,EAAE,GAAG,CAAC,CAAC,MAAc,EAAW,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,KAAK,CAAC;KACpF,CAAC;AACJ,CAAC"}

package/build/_modules/coverage/_models/coverage-catalog.interface.d.ts

@@ -0,0 +1,75 @@
+/**
+ * BFR-FSMED-006 — the generic coverage-catalog schema (the common core of the fleet's feature / journey catalogs).
+ * Projects may carry more fields (requirement ids, sub-plans, variants …) — the validator ignores what it does not know,
+ * and the project keeps its own extra checks on top.
+ */
+/** One catalog entry (a feature or a journey). */
+export interface DyE2E_CoverageCatalogEntry_Interface {
+    /** Feature: `featureId`; journey: `journeyId` — the validator reads whichever the layer uses. */
+    featureId?: string;
+    journeyId?: string;
+    title: string;
+    /** Feature → the journeys it takes part in; journey → the features it crosses (checked BOTH ways). */
+    journeyIds?: string[];
+    featureIds?: string[];
+    /** The test ids that prove this entry (they must appear in `evidenceFiles` and, if given, among the discovered ids). */
+    evidenceTestIds: string[];
+    /** Spec files holding the evidence, relative to the catalog file. */
+    evidenceFiles: string[];
+    /** `covered` (proven), `red` (evidence exists, but failing), anything else = pending (not proven yet). */
+    coverageStatus: string;
+    /** Required for every non-`covered` entry: what is missing. */
+    missingEvidence?: string;
+}
+/** A catalog file: `{ features: [] }` or `{ journeys: [] }` (extra top-level fields are allowed). */
+export interface DyE2E_CoverageCatalog_Interface {
+    features?: DyE2E_CoverageCatalogEntry_Interface[];
+    journeys?: DyE2E_CoverageCatalogEntry_Interface[];
+}
+/** A validator finding — the `code` is stable (machine key), the message is for the human. */
+export interface DyE2E_CoverageFinding_Interface {
+    code: string;
+    /** The entry id (or catalog) the finding is about. */
+    ref: string;
+    message: string;
+}
+/** Per-layer coverage (feature and journey are reported SEPARATELY — they are different denominators). */
+export interface DyE2E_CoverageLayerReport_Interface {
+    denominator: number;
+    covered: string[];
+    red: string[];
+    pending: string[];
+}
+/** The coverage report (`DyE2E_writeCoverageReport` writes it as JSON). */
+export interface DyE2E_CoverageReport_Interface {
+    schema: 'dye2e-coverage-report/1';
+    generatedAt: string;
+    features: DyE2E_CoverageLayerReport_Interface;
+    journeys: DyE2E_CoverageLayerReport_Interface;
+    /** Discovered test ids that no catalog entry claims (only when discovered ids were given). */
+    orphanEvidenceIds: string[];
+    /** Catalog evidence ids the discovery did not find (only when discovered ids were given). */
+    undiscoveredEvidenceIds: string[];
+    /** `true` when there is no finding. */
+    structurallyValid: boolean;
+    /** `true` only when structurally valid, both denominators are > 0 and EVERY entry is `covered`. */
+    releaseReady: boolean;
+    findings: DyE2E_CoverageFinding_Interface[];
+}
+/** The validator input. */
+export interface DyE2E_CoverageCatalog_Options {
+    /** The feature catalog file (JSON with `features: []`). */
+    featureCatalogPath: string;
+    /** The journey catalog file (JSON with `journeys: []`). */
+    journeyCatalogPath: string;
+    /**
+     * The test ids that really exist (e.g. `DyE2E_discoverTestIds`). When given, the check is two-way: a claimed id
+     * that does not exist, and an existing id nobody claims (orphan), are both findings.
+     */
+    discoveredTestIds?: string[];
+    /** Required prefix of feature evidence ids (e.g. `SMD-E2E-`). */
+    featureIdPrefix?: string;
+    /** Required prefix of journey evidence ids (e.g. `SMD-E2E-J-`); such ids may NOT count as feature evidence. */
+    journeyIdPrefix?: string;
+}
+//# sourceMappingURL=coverage-catalog.interface.d.ts.map

package/build/_modules/coverage/_models/coverage-catalog.interface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-catalog.interface.d.ts","sourceRoot":"","sources":["../../../../src/_modules/coverage/_models/coverage-catalog.interface.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,kDAAkD;AAClD,MAAM,WAAW,oCAAoC;IACnD,iGAAiG;IACjG,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,sGAAsG;IACtG,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,wHAAwH;IACxH,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,qEAAqE;IACrE,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,0GAA0G;IAC1G,cAAc,EAAE,MAAM,CAAC;IACvB,+DAA+D;IAC/D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,qGAAqG;AACrG,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,EAAE,oCAAoC,EAAE,CAAC;IAClD,QAAQ,CAAC,EAAE,oCAAoC,EAAE,CAAC;CACnD;AAED,8FAA8F;AAC9F,MAAM,WAAW,+BAA+B;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,0GAA0G;AAC1G,MAAM,WAAW,mCAAmC;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,2EAA2E;AAC3E,MAAM,WAAW,8BAA8B;IAC7C,MAAM,EAAE,yBAAyB,CAAC;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,mCAAmC,CAAC;IAC9C,QAAQ,EAAE,mCAAmC,CAAC;IAC9C,8FAA8F;IAC9F,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,6FAA6F;IAC7F,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,uCAAuC;IACvC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,mGAAmG;IACnG,YAAY,EAAE,OAAO,CAAC;IACtB,QAAQ,EAAE,+BAA+B,EAAE,CAAC;CAC7C;AAED,2BAA2B;AAC3B,MAAM,WAAW,6BAA6B;IAC5C,2DAA2D;IAC3D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,2DAA2D;IAC3D,kBAAkB,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,+GAA+G;IAC/G,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B"}

package/build/_modules/coverage/_models/coverage-catalog.interface.js

@@ -0,0 +1,8 @@
+"use strict";
+/**
+ * BFR-FSMED-006 — the generic coverage-catalog schema (the common core of the fleet's feature / journey catalogs).
+ * Projects may carry more fields (requirement ids, sub-plans, variants …) — the validator ignores what it does not know,
+ * and the project keeps its own extra checks on top.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=coverage-catalog.interface.js.map

package/build/_modules/coverage/_models/coverage-catalog.interface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-catalog.interface.js","sourceRoot":"","sources":["../../../../src/_modules/coverage/_models/coverage-catalog.interface.ts"],"names":[],"mappings":";AAAA;;;;GAIG"}

package/build/_modules/coverage/index.d.ts

@@ -0,0 +1,3 @@
+export * from './_collections/coverage-catalog.util';
+export * from './_models/coverage-catalog.interface';
+//# sourceMappingURL=index.d.ts.map

package/build/_modules/coverage/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/_modules/coverage/index.ts"],"names":[],"mappings":"AACA,cAAc,sCAAsC,CAAC;AACrD,cAAc,sCAAsC,CAAC"}

package/build/_modules/coverage/index.js

@@ -0,0 +1,20 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+// BFR-FSMED-006 — feature / journey coverage catalog ↔ evidence validator + coverage report.
+__exportStar(require("./_collections/coverage-catalog.util"), exports);
+__exportStar(require("./_models/coverage-catalog.interface"), exports);
+//# sourceMappingURL=index.js.map

package/build/_modules/coverage/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/_modules/coverage/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,6FAA6F;AAC7F,uEAAqD;AACrD,uEAAqD"}

package/build/_modules/generators/_collections/cli-runner.util.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-runner.util.d.ts","sourceRoot":"","sources":["../../../../src/_modules/generators/_collections/cli-runner.util.ts"],"names":[],"mappings":"AAOA;;;;;GAKG;AACH,qBAAa,oBAAoB;IAE/B,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE;IAsBpF,MAAM,CAAC,QAAQ,IAAI,MAAM;IAyGzB;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IA0D/C;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;QAAE,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC;QAAC,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAA;KAAE,GAAG;QAC9H,YAAY,EAAE,OAAO,CAAC;QACtB,iBAAiB,EAAE,OAAO,CAAC;QAC3B,mBAAmB,EAAE,OAAO,CAAC;QAC7B,SAAS,EAAE,OAAO,CAAC;QACnB,aAAa,EAAE,OAAO,CAAC;QACvB,WAAW,EAAE,MAAM,EAAE,CAAC;KACvB;IA2CD,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAI3C;;OAEG;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM;IAuB9D;;;OAGG;IACH,MAAM,CAAC,WAAW,CAChB,OAAO,EAAE,qBAAqB,GAAG,yBAAyB,GAAG,mBAAmB,EAChF,UAAU,EAAE,MAAM,GACjB,MAAM;CAaV"}
+{"version":3,"file":"cli-runner.util.d.ts","sourceRoot":"","sources":["../../../../src/_modules/generators/_collections/cli-runner.util.ts"],"names":[],"mappings":"AAOA;;;;;GAKG;AACH,qBAAa,oBAAoB;IAE/B,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE;IAsBpF,MAAM,CAAC,QAAQ,IAAI,MAAM;IA4HzB;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IA0D/C;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;QAAE,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC;QAAC,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAA;KAAE,GAAG;QAC9H,YAAY,EAAE,OAAO,CAAC;QACtB,iBAAiB,EAAE,OAAO,CAAC;QAC3B,mBAAmB,EAAE,OAAO,CAAC;QAC7B,SAAS,EAAE,OAAO,CAAC;QACnB,aAAa,EAAE,OAAO,CAAC;QACvB,WAAW,EAAE,MAAM,EAAE,CAAC;KACvB;IA2CD,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAI3C;;OAEG;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM;IAuB9D;;;OAGG;IACH,MAAM,CAAC,WAAW,CAChB,OAAO,EAAE,qBAAqB,GAAG,yBAAyB,GAAG,mBAAmB,EAChF,UAAU,EAAE,MAAM,GACjB,MAAM;CAaV"}

package/build/_modules/generators/_collections/cli-runner.util.js

@@ -49,6 +49,7 @@ Commands:
   diff                     Compare two CWV reports → regression analysis
   info                     Show registered field-types + CLI capabilities
   schema                   Print JSON Schema for a config type
+  validate-coverage-catalog  Feature / journey catalog <-> test evidence (both ways) -> coverage report
   validate-config          Validate a config file against its JSON Schema
   preset                   List built-in configs, or print one (--name)
   version                  Print package version
@@ -57,9 +58,10 @@ Commands:
 Visual QA (/vqa) commands:
   validate-manifest        Validate a VQA state-manifest JSON
   validate-finding         Validate a VQA finding JSON
-  generate-review-bundle   Manifest -> review bundle (capture-spec, README, summary)
+  generate-review-bundle   Manifest -> review bundle (capture.spec.ts + its playwright.config.ts, README, summary)
   generate-comparison-bundle  Before/after capture sets -> comparison bundle
   bundle-summary           Print an existing bundle's summary.md
+  verify-review-bundle     Aggregate release gate: evidence + findings + human review -> pass / fail + JSON
 
 QA commands:
   notification-sweep       Login pages -> wrong-password submit -> notification / banner / leak matrix
@@ -78,6 +80,16 @@ Flags (notification-sweep):
   --fail-on-leak           Exit 1 if any page shows a raw technical leak
   --executable-path <exe>  Chromium to launch (or DYE2E_CHROMIUM_EXECUTABLE_PATH)
 
+Flags (validate-coverage-catalog):
+  --features <path>        Feature catalog JSON ({ features: [] }) (required)
+  --journeys <path>        Journey catalog JSON ({ journeys: [] }) (required)
+  --scan <dir,..>          Spec roots to discover the real test ids in (two-way check: undiscovered + orphan)
+  --id-pattern <regex>     Test-id pattern for --scan (e.g. SMD-E2E-[A-Z0-9-]+)
+  --feature-prefix <p>     Required feature evidence-id prefix
+  --journey-prefix <p>     Journey evidence-id prefix (never counts as feature evidence)
+  --report <path>          Write the JSON coverage report
+  --require-complete       Exit 1 unless EVERY feature and journey is covered (release mode)
+
 Flags (preset):
   --name <preset>          Print this preset as JSON (omit to list all)
 
@@ -98,6 +110,13 @@ Flags (generate-comparison-bundle):
 Flags (bundle-summary):
   --bundle <path>          Bundle dir containing manifest.json + summary.md
 
+Flags (verify-review-bundle):
+  --bundle <path>          Review bundle dir (required)
+  --findings <path>        Finding-set JSON (default: <bundle>/findings/findings.json)
+  --human-review <path>    { reviewer, reviewedAt, verdict } (default: <bundle>/human-review.json)
+  --report <path>          Write the JSON gate report here
+  --fail-on <a,b>          missing,orphan,invalid,blocker,high,human-review (default: all)
+
 Flags (generate-form-suite):
   --config <path>          Path to JSON config (formSettings, formRoute, ...)
   --out <path>             Output spec.ts path