@hstm-labs/forge-verifier 0.1.11

package/README.md

@@ -0,0 +1,48 @@
+# @hstm-labs/forge-verifier
+
+Specification compliance verification and automated test generation for Forge — maps requirements to artifacts, calculates coverage scores, detects gaps, incorporates review findings, and generates test files from acceptance criteria.
+
+## Installation
+
+```bash
+npm install @hstm-labs/forge-verifier
+```
+
+## Public API
+
+### Compliance Verification
+
+- `VerifyStage` — pipeline stage for compliance verification
+- `mapRequirementsToArtifacts()` — map spec requirements to generated artifacts
+- `calculateCoverage()` — compute coverage score from mappings
+- `detectGaps()` — identify uncovered or partially covered requirements
+- `incorporateReviewFindings()` — merge AI review findings into compliance report
+- `buildComplianceReport()` — assemble final compliance report
+- `formatComplianceReport()`, `complianceReportToJson()` — output formatters
+
+### Test Generation
+
+- `TestGenerateStage` — pipeline stage for LLM-driven test generation
+- `TestOutputValidator` — validates generated test output
+- `extractTestCriteria()` — extract testable criteria from acceptance criteria
+
+### Types
+
+- `ComplianceReport`, `RequirementCoverage`, `CoverageEvidence` — compliance types
+- `ComplianceGap`, `ReviewFindingSummary` — gap analysis types
+- `TestArtifact`, `TestFile`, `TestTraceability`, `TestMetadata` — test generation types
+- `TestCriterion` — extracted test criterion
+
+## Usage
+
+```typescript
+import { VerifyStage, formatComplianceReport } from '@hstm-labs/forge-verifier';
+
+const stage = new VerifyStage();
+const result = await stage.execute(input);
+console.log(formatComplianceReport(result.data));
+```
+
+## License
+
+[MIT](../../LICENSE)

package/dist/compliance-builder.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Compliance report builder for the verify stage.
+ *
+ * Assembles the final {@link ComplianceReport} from coverage results,
+ * gaps, review findings, and score data.
+ */
+import type { ComplianceReport, RequirementCoverage, ComplianceGap, ReviewFindingSummary } from './types.js';
+/**
+ * Build the final compliance report.
+ *
+ * Assembles all verification results into a single {@link ComplianceReport}
+ * with an auto-generated summary and ISO timestamp.
+ *
+ * @param options - Report components
+ * @returns Assembled compliance report
+ */
+export declare function buildComplianceReport(options: {
+    runId: string;
+    coverage: RequirementCoverage[];
+    gaps: ComplianceGap[];
+    reviewFindings: ReviewFindingSummary[];
+    totalRequirements: number;
+    coveredRequirements: number;
+    score: number;
+}): ComplianceReport;
+//# sourceMappingURL=compliance-builder.d.ts.map

package/dist/compliance-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compliance-builder.d.ts","sourceRoot":"","sources":["../src/compliance-builder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,gBAAgB,EAChB,mBAAmB,EACnB,aAAa,EACb,oBAAoB,EACrB,MAAM,YAAY,CAAC;AAMpB;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE;IAC7C,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,IAAI,EAAE,aAAa,EAAE,CAAC;IACtB,cAAc,EAAE,oBAAoB,EAAE,CAAC;IACvC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;CACf,GAAG,gBAAgB,CAqCnB"}

package/dist/compliance-builder.js

@@ -0,0 +1,52 @@
+/**
+ * Compliance report builder for the verify stage.
+ *
+ * Assembles the final {@link ComplianceReport} from coverage results,
+ * gaps, review findings, and score data.
+ */
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/**
+ * Build the final compliance report.
+ *
+ * Assembles all verification results into a single {@link ComplianceReport}
+ * with an auto-generated summary and ISO timestamp.
+ *
+ * @param options - Report components
+ * @returns Assembled compliance report
+ */
+export function buildComplianceReport(options) {
+    const criticalGaps = options.gaps.filter((g) => g.severity === 'critical').length;
+    const majorGaps = options.gaps.filter((g) => g.severity === 'major').length;
+    const minorGaps = options.gaps.filter((g) => g.severity === 'minor').length;
+    const gapParts = [];
+    if (criticalGaps > 0)
+        gapParts.push(`${String(criticalGaps)} critical`);
+    if (majorGaps > 0)
+        gapParts.push(`${String(majorGaps)} major`);
+    if (minorGaps > 0)
+        gapParts.push(`${String(minorGaps)} minor`);
+    const gapSummary = options.gaps.length > 0
+        ? ` ${String(options.gaps.length)} gaps detected (${gapParts.join(', ')}).`
+        : ' No gaps detected.';
+    const reviewSummary = options.reviewFindings.length > 0
+        ? ` ${String(options.reviewFindings.length)} spec-adherence review finding${options.reviewFindings.length === 1 ? '' : 's'}.`
+        : '';
+    const summary = `Compliance verification complete: ${String(options.score)}% coverage ` +
+        `(${String(options.coveredRequirements)}/${String(options.totalRequirements)} requirements covered).` +
+        gapSummary +
+        reviewSummary;
+    return {
+        runId: options.runId,
+        score: options.score,
+        coverage: options.coverage,
+        gaps: options.gaps,
+        reviewFindings: options.reviewFindings,
+        totalRequirements: options.totalRequirements,
+        coveredRequirements: options.coveredRequirements,
+        generatedAt: new Date().toISOString(),
+        summary,
+    };
+}
+//# sourceMappingURL=compliance-builder.js.map

package/dist/compliance-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compliance-builder.js","sourceRoot":"","sources":["../src/compliance-builder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAQrC;IACC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAClF,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC5E,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAE5E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,YAAY,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/D,IAAI,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAE/D,MAAM,UAAU,GACd,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,mBAAmB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC3E,CAAC,CAAC,oBAAoB,CAAC;IAE3B,MAAM,aAAa,GACjB,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAC/B,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,iCAAiC,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG;QAC7H,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,OAAO,GACX,qCAAqC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa;QACvE,IAAI,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,yBAAyB;QACrG,UAAU;QACV,aAAa,CAAC;IAEhB,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/coverage-calculator.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Coverage score calculator for compliance verification.
+ *
+ * Computes the percentage of requirements covered by generated artifacts.
+ */
+import type { RequirementCoverage } from './types.js';
+/**
+ * Calculate the coverage score from requirement coverage results.
+ *
+ * A requirement is considered covered if its coverage level is `'full'` or
+ * `'partial'`. The score is `(coveredCount / totalCount) * 100`, rounded
+ * to one decimal place.
+ *
+ * @param coverageResults - Per-requirement coverage results
+ * @returns Score (0–100), covered count, and total count
+ */
+export declare function calculateCoverage(coverageResults: RequirementCoverage[]): {
+    score: number;
+    coveredCount: number;
+    totalCount: number;
+};
+//# sourceMappingURL=coverage-calculator.d.ts.map

package/dist/coverage-calculator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-calculator.d.ts","sourceRoot":"","sources":["../src/coverage-calculator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAMtD;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,eAAe,EAAE,mBAAmB,EAAE,GACrC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAY7D"}

package/dist/coverage-calculator.js

@@ -0,0 +1,29 @@
+/**
+ * Coverage score calculator for compliance verification.
+ *
+ * Computes the percentage of requirements covered by generated artifacts.
+ */
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/**
+ * Calculate the coverage score from requirement coverage results.
+ *
+ * A requirement is considered covered if its coverage level is `'full'` or
+ * `'partial'`. The score is `(coveredCount / totalCount) * 100`, rounded
+ * to one decimal place.
+ *
+ * @param coverageResults - Per-requirement coverage results
+ * @returns Score (0–100), covered count, and total count
+ */
+export function calculateCoverage(coverageResults) {
+    const totalCount = coverageResults.length;
+    // Edge case: no requirements to violate
+    if (totalCount === 0) {
+        return { score: 100, coveredCount: 0, totalCount: 0 };
+    }
+    const coveredCount = coverageResults.filter((r) => r.covered).length;
+    const score = Math.round((coveredCount / totalCount) * 1000) / 10;
+    return { score, coveredCount, totalCount };
+}
+//# sourceMappingURL=coverage-calculator.js.map

package/dist/coverage-calculator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-calculator.js","sourceRoot":"","sources":["../src/coverage-calculator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,eAAsC;IAEtC,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC;IAE1C,wCAAwC;IACxC,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IACxD,CAAC;IAED,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACrE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,GAAG,UAAU,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAElE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AAC7C,CAAC"}

package/dist/criteria-extractor.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Acceptance criteria extractor for test generation.
+ *
+ * Transforms specification requirements into structured test criteria
+ * with entity matching and artifact cross-referencing.
+ */
+import type { SpecRequirement, SpecEntity } from '@hstm-labs/forge-spec-parser';
+import type { ApiEndpoint } from '@hstm-labs/forge-services-generator';
+import type { UiPage } from '@hstm-labs/forge-apps-generator';
+/** A structured test criterion derived from a specification requirement. */
+export interface TestCriterion {
+    /** Requirement ID (e.g., "REQ-001"). */
+    requirementId: string;
+    /** Requirement title. */
+    requirementTitle: string;
+    /** The acceptance criterion text. */
+    criterion: string;
+    /** Entity this criterion relates to (if detected). */
+    entity?: string | undefined;
+    /** Matching API endpoint paths for the detected entity. */
+    apiEndpoints: string[];
+    /** Matching UI page routes for the detected entity. */
+    uiPages: string[];
+}
+/**
+ * Extract structured test criteria from specification requirements.
+ *
+ * For each requirement, iterates its `acceptanceCriteria` array, detects
+ * which entity the criterion relates to, and cross-references matching
+ * API endpoints and UI pages.
+ *
+ * @param requirements - Specification requirements with acceptance criteria
+ * @param entities - Specification entities for name matching
+ * @param apiEndpoints - API endpoints for cross-referencing (optional)
+ * @param uiPages - UI pages for cross-referencing (optional)
+ * @returns Structured test criteria grouped by requirement
+ */
+export declare function extractTestCriteria(requirements: SpecRequirement[], entities: SpecEntity[], apiEndpoints?: ApiEndpoint[], uiPages?: UiPage[]): TestCriterion[];
+//# sourceMappingURL=criteria-extractor.d.ts.map

package/dist/criteria-extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"criteria-extractor.d.ts","sourceRoot":"","sources":["../src/criteria-extractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AACvE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AAM9D,4EAA4E;AAC5E,MAAM,WAAW,aAAa;IAC5B,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,yBAAyB;IACzB,gBAAgB,EAAE,MAAM,CAAC;IACzB,qCAAqC;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,2DAA2D;IAC3D,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uDAAuD;IACvD,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAgED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,eAAe,EAAE,EAC/B,QAAQ,EAAE,UAAU,EAAE,EACtB,YAAY,CAAC,EAAE,WAAW,EAAE,EAC5B,OAAO,CAAC,EAAE,MAAM,EAAE,GACjB,aAAa,EAAE,CA+BjB"}

package/dist/criteria-extractor.js

@@ -0,0 +1,93 @@
+/**
+ * Acceptance criteria extractor for test generation.
+ *
+ * Transforms specification requirements into structured test criteria
+ * with entity matching and artifact cross-referencing.
+ */
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/**
+ * Detect which entity a criterion text relates to (case-insensitive).
+ *
+ * @param text - Criterion text to search
+ * @param entities - Specification entities
+ * @returns The first matching entity name, or `undefined`
+ */
+function detectEntity(text, entities) {
+    const lower = text.toLowerCase();
+    for (const entity of entities) {
+        if (lower.includes(entity.name.toLowerCase())) {
+            return entity.name;
+        }
+    }
+    return undefined;
+}
+/**
+ * Find API endpoint paths that match a given entity.
+ *
+ * @param entityName - Entity name to match
+ * @param endpoints - Available API endpoints
+ * @returns Array of matching endpoint path strings (e.g., "GET /api/pets")
+ */
+function findMatchingEndpoints(entityName, endpoints) {
+    const lower = entityName.toLowerCase();
+    return endpoints
+        .filter((ep) => ep.entity.toLowerCase() === lower)
+        .map((ep) => `${ep.method} ${ep.path}`);
+}
+/**
+ * Find UI page routes that match a given entity.
+ *
+ * @param entityName - Entity name to match
+ * @param pages - Available UI pages
+ * @returns Array of matching page route strings
+ */
+function findMatchingPages(entityName, pages) {
+    const lower = entityName.toLowerCase();
+    return pages
+        .filter((p) => p.entity?.toLowerCase() === lower)
+        .map((p) => p.route);
+}
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/**
+ * Extract structured test criteria from specification requirements.
+ *
+ * For each requirement, iterates its `acceptanceCriteria` array, detects
+ * which entity the criterion relates to, and cross-references matching
+ * API endpoints and UI pages.
+ *
+ * @param requirements - Specification requirements with acceptance criteria
+ * @param entities - Specification entities for name matching
+ * @param apiEndpoints - API endpoints for cross-referencing (optional)
+ * @param uiPages - UI pages for cross-referencing (optional)
+ * @returns Structured test criteria grouped by requirement
+ */
+export function extractTestCriteria(requirements, entities, apiEndpoints, uiPages) {
+    const criteria = [];
+    for (const req of requirements) {
+        for (const criterion of req.acceptanceCriteria) {
+            // Detect entity from criterion text; fall back to requirement title + description
+            const combinedText = `${criterion} ${req.title} ${req.description}`;
+            const entity = detectEntity(combinedText, entities);
+            const apiMatches = entity !== undefined && apiEndpoints !== undefined
+                ? findMatchingEndpoints(entity, apiEndpoints)
+                : [];
+            const uiMatches = entity !== undefined && uiPages !== undefined
+                ? findMatchingPages(entity, uiPages)
+                : [];
+            criteria.push({
+                requirementId: req.id,
+                requirementTitle: req.title,
+                criterion,
+                entity,
+                apiEndpoints: apiMatches,
+                uiPages: uiMatches,
+            });
+        }
+    }
+    return criteria;
+}
+//# sourceMappingURL=criteria-extractor.js.map

package/dist/criteria-extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"criteria-extractor.js","sourceRoot":"","sources":["../src/criteria-extractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA0BH,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;;;;GAMG;AACH,SAAS,YAAY,CACnB,IAAY,EACZ,QAAsB;IAEtB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YAC9C,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAC5B,UAAkB,EAClB,SAAwB;IAExB,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACvC,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;SACjD,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CACxB,UAAkB,EAClB,KAAe;IAEf,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACvC,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,KAAK,CAAC;SAChD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,YAA+B,EAC/B,QAAsB,EACtB,YAA4B,EAC5B,OAAkB;IAElB,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,kBAAkB,EAAE,CAAC;YAC/C,kFAAkF;YAClF,MAAM,YAAY,GAAG,GAAG,SAAS,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YACpE,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YAEpD,MAAM,UAAU,GACd,MAAM,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS;gBAChD,CAAC,CAAC,qBAAqB,CAAC,MAAM,EAAE,YAAY,CAAC;gBAC7C,CAAC,CAAC,EAAE,CAAC;YAET,MAAM,SAAS,GACb,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;gBAC3C,CAAC,CAAC,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC;gBACpC,CAAC,CAAC,EAAE,CAAC;YAET,QAAQ,CAAC,IAAI,CAAC;gBACZ,aAAa,EAAE,GAAG,CAAC,EAAE;gBACrB,gBAAgB,EAAE,GAAG,CAAC,KAAK;gBAC3B,SAAS;gBACT,MAAM;gBACN,YAAY,EAAE,UAAU;gBACxB,OAAO,EAAE,SAAS;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/formatters.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Compliance report formatters for CLI output.
+ *
+ * Provides both human-readable and machine-readable (JSON)
+ * formatting of {@link ComplianceReport}.
+ */
+import type { ComplianceReport } from './types.js';
+/**
+ * Format a compliance report as a human-readable string for terminal output.
+ *
+ * Produces a box-drawn report with score, coverage details, gaps,
+ * review findings, and summary.
+ *
+ * @param report - The compliance report to format
+ * @returns Formatted multi-line string
+ */
+export declare function formatComplianceReport(report: ComplianceReport): string;
+/**
+ * Convert a compliance report to a plain JSON-serialisable object.
+ *
+ * @param report - The compliance report
+ * @returns The report as a plain object (identity for JSON output)
+ */
+export declare function complianceReportToJson(report: ComplianceReport): Record<string, unknown>;
+//# sourceMappingURL=formatters.d.ts.map

package/dist/formatters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.d.ts","sourceRoot":"","sources":["../src/formatters.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAMnD;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAqEvE;AAMD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,gBAAgB,GACvB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzB"}

package/dist/formatters.js

@@ -0,0 +1,84 @@
+/**
+ * Compliance report formatters for CLI output.
+ *
+ * Provides both human-readable and machine-readable (JSON)
+ * formatting of {@link ComplianceReport}.
+ */
+// ---------------------------------------------------------------------------
+// Human-Readable Formatter
+// ---------------------------------------------------------------------------
+/**
+ * Format a compliance report as a human-readable string for terminal output.
+ *
+ * Produces a box-drawn report with score, coverage details, gaps,
+ * review findings, and summary.
+ *
+ * @param report - The compliance report to format
+ * @returns Formatted multi-line string
+ */
+export function formatComplianceReport(report) {
+    const lines = [];
+    // Header box
+    lines.push('╔══════════════════════════════════════════╗');
+    lines.push('║       Compliance Verification Report     ║');
+    lines.push('╠══════════════════════════════════════════╣');
+    lines.push(`║  Score: ${String(report.score)}%  (${String(report.coveredRequirements)}/${String(report.totalRequirements)} requirements)`.padEnd(43) + '║');
+    lines.push('╚══════════════════════════════════════════╝');
+    lines.push('');
+    // Coverage section
+    lines.push('Coverage:');
+    for (const cov of report.coverage) {
+        let symbol;
+        switch (cov.coverageLevel) {
+            case 'full':
+                symbol = '✓';
+                break;
+            case 'partial':
+                symbol = '~';
+                break;
+            case 'none':
+                symbol = '✗';
+                break;
+        }
+        lines.push(`  ${symbol} ${cov.requirementId}: ${cov.title}`.padEnd(45) +
+            `[${cov.coverageLevel}]`);
+    }
+    lines.push('');
+    // Gaps section
+    if (report.gaps.length > 0) {
+        lines.push(`Gaps (${String(report.gaps.length)}):`);
+        for (const gap of report.gaps) {
+            const severity = `[${gap.severity}]`.padEnd(10);
+            lines.push(`  ${severity} ${gap.requirementId}: ${gap.title} — ${gap.description}`);
+        }
+        lines.push('');
+    }
+    // Review findings section
+    if (report.reviewFindings.length > 0) {
+        lines.push('Review Findings (spec-adherence):');
+        for (const finding of report.reviewFindings) {
+            const severity = `[${finding.severity}]`.padEnd(13);
+            const ref = finding.specReference !== undefined
+                ? ` (${finding.specReference})`
+                : '';
+            lines.push(`  ${severity} ${finding.findingId}: ${finding.title}${ref}`);
+        }
+        lines.push('');
+    }
+    // Summary
+    lines.push(`Summary: ${report.summary}`);
+    return lines.join('\n');
+}
+// ---------------------------------------------------------------------------
+// JSON Formatter
+// ---------------------------------------------------------------------------
+/**
+ * Convert a compliance report to a plain JSON-serialisable object.
+ *
+ * @param report - The compliance report
+ * @returns The report as a plain object (identity for JSON output)
+ */
+export function complianceReportToJson(report) {
+    return report;
+}
+//# sourceMappingURL=formatters.js.map

package/dist/formatters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.js","sourceRoot":"","sources":["../src/formatters.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAwB;IAC7D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,aAAa;IACb,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CACR,aAAa,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,MAAM,CACnI,EAAE,CACH,GAAG,GAAG,CACR,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,MAAc,CAAC;QACnB,QAAQ,GAAG,CAAC,aAAa,EAAE,CAAC;YAC1B,KAAK,MAAM;gBACT,MAAM,GAAG,GAAG,CAAC;gBACb,MAAM;YACR,KAAK,SAAS;gBACZ,MAAM,GAAG,GAAG,CAAC;gBACb,MAAM;YACR,KAAK,MAAM;gBACT,MAAM,GAAG,GAAG,CAAC;gBACb,MAAM;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CACR,KAAK,MAAM,IAAI,GAAG,CAAC,aAAa,KAAK,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YACzD,IAAI,GAAG,CAAC,aAAa,GAAG,CAC3B,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,eAAe;IACf,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CACR,KAAK,QAAQ,IAAI,GAAG,CAAC,aAAa,KAAK,GAAG,CAAC,KAAK,MAAM,GAAG,CAAC,WAAW,EAAE,CACxE,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,0BAA0B;IAC1B,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAChD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACpD,MAAM,GAAG,GACP,OAAO,CAAC,aAAa,KAAK,SAAS;gBACjC,CAAC,CAAC,KAAK,OAAO,CAAC,aAAa,GAAG;gBAC/B,CAAC,CAAC,EAAE,CAAC;YACT,KAAK,CAAC,IAAI,CACR,KAAK,QAAQ,IAAI,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,KAAK,GAAG,GAAG,EAAE,CAC7D,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,UAAU;IACV,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAEzC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAwB;IAExB,OAAO,MAA4C,CAAC;AACtD,CAAC"}

package/dist/gap-detector.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Gap detector for compliance verification.
+ *
+ * Identifies requirements not fully covered by generated artifacts
+ * and maps requirement priority to gap severity.
+ */
+import type { SpecRequirement } from '@hstm-labs/forge-spec-parser';
+import type { RequirementCoverage, ComplianceGap } from './types.js';
+/**
+ * Detect compliance gaps from coverage results.
+ *
+ * Creates a gap for each requirement with `coverageLevel: 'none'` or
+ * `coverageLevel: 'partial'`. Gap severity is derived from the requirement
+ * priority.
+ *
+ * @param coverageResults - Per-requirement coverage results
+ * @param requirements - Original specification requirements (for priority lookup)
+ * @returns Array of compliance gaps
+ */
+export declare function detectGaps(coverageResults: RequirementCoverage[], requirements: SpecRequirement[]): ComplianceGap[];
+//# sourceMappingURL=gap-detector.d.ts.map

package/dist/gap-detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gap-detector.d.ts","sourceRoot":"","sources":["../src/gap-detector.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,KAAK,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAgDrE;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CACxB,eAAe,EAAE,mBAAmB,EAAE,EACtC,YAAY,EAAE,eAAe,EAAE,GAC9B,aAAa,EAAE,CAuBjB"}

package/dist/gap-detector.js

@@ -0,0 +1,73 @@
+/**
+ * Gap detector for compliance verification.
+ *
+ * Identifies requirements not fully covered by generated artifacts
+ * and maps requirement priority to gap severity.
+ */
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/**
+ * Map a requirement priority to a gap severity.
+ *
+ * @param priority - Requirement priority from spec
+ * @returns Gap severity: must→critical, should→major, could/wont/undefined→minor
+ */
+function mapSeverity(priority) {
+    switch (priority) {
+        case 'must':
+            return 'critical';
+        case 'should':
+            return 'major';
+        case 'could':
+        case 'wont':
+        default:
+            return 'minor';
+    }
+}
+/**
+ * Build a gap description based on coverage level.
+ *
+ * @param req - The specification requirement
+ * @param coverageLevel - The detected coverage level
+ * @returns Human-readable description of the gap
+ */
+function buildGapDescription(req, coverageLevel) {
+    if (coverageLevel === 'none') {
+        return `No artifacts found covering requirement "${req.title}".`;
+    }
+    return `Partial coverage for requirement "${req.title}" — some artifact stages are missing evidence.`;
+}
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/**
+ * Detect compliance gaps from coverage results.
+ *
+ * Creates a gap for each requirement with `coverageLevel: 'none'` or
+ * `coverageLevel: 'partial'`. Gap severity is derived from the requirement
+ * priority.
+ *
+ * @param coverageResults - Per-requirement coverage results
+ * @param requirements - Original specification requirements (for priority lookup)
+ * @returns Array of compliance gaps
+ */
+export function detectGaps(coverageResults, requirements) {
+    const reqMap = new Map(requirements.map((r) => [r.id, r]));
+    const gaps = [];
+    for (const coverage of coverageResults) {
+        if (coverage.coverageLevel === 'full')
+            continue;
+        const req = reqMap.get(coverage.requirementId);
+        const priority = req?.priority;
+        const severity = mapSeverity(priority);
+        gaps.push({
+            requirementId: coverage.requirementId,
+            title: coverage.title,
+            description: buildGapDescription(req ?? { id: coverage.requirementId, title: coverage.title, description: '', acceptanceCriteria: [] }, coverage.coverageLevel),
+            severity,
+        });
+    }
+    return gaps;
+}
+//# sourceMappingURL=gap-detector.js.map

package/dist/gap-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gap-detector.js","sourceRoot":"","sources":["../src/gap-detector.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;;;GAKG;AACH,SAAS,WAAW,CAClB,QAA0D;IAE1D,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,UAAU,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC;QACjB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mBAAmB,CAC1B,GAAoB,EACpB,aAAiC;IAEjC,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO,4CAA4C,GAAG,CAAC,KAAK,IAAI,CAAC;IACnE,CAAC;IACD,OAAO,qCAAqC,GAAG,CAAC,KAAK,gDAAgD,CAAC;AACxG,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,UAAU,CACxB,eAAsC,EACtC,YAA+B;IAE/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAoB,EAAE,CAAC;IAEjC,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,IAAI,QAAQ,CAAC,aAAa,KAAK,MAAM;YAAE,SAAS;QAEhD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,GAAG,EAAE,QAAQ,CAAC;QAC/B,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QAEvC,IAAI,CAAC,IAAI,CAAC;YACR,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,WAAW,EAAE,mBAAmB,CAC9B,GAAG,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,aAAa,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,EACrG,QAAQ,CAAC,aAAa,CACvB;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,23 @@
+/**
+ * @hstm-labs/forge-verifier — Specification compliance verification for Forge.
+ *
+ * Provides the {@link VerifyStage} pipeline stage, requirement mapping,
+ * coverage scoring, gap detection, review finding incorporation, and
+ * report formatting.
+ *
+ * @packageDocumentation
+ */
+export type { ComplianceReport, RequirementCoverage, CoverageEvidence, ComplianceGap, ReviewFindingSummary, } from './types.js';
+export { VerifyStage } from './verify-stage.js';
+export { mapRequirementsToArtifacts } from './requirement-mapper.js';
+export { calculateCoverage } from './coverage-calculator.js';
+export { detectGaps } from './gap-detector.js';
+export { incorporateReviewFindings } from './review-incorporator.js';
+export { buildComplianceReport } from './compliance-builder.js';
+export { formatComplianceReport, complianceReportToJson } from './formatters.js';
+export type { TestArtifact, TestFile, TestTraceability, TestMetadata } from './test-gen-types.js';
+export { TestGenerateStage } from './test-generate-stage.js';
+export { TestOutputValidator } from './test-output-validator.js';
+export { extractTestCriteria } from './criteria-extractor.js';
+export type { TestCriterion } from './criteria-extractor.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,YAAY,EACV,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,aAAa,EACb,oBAAoB,GACrB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACjF,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAClG,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/index.js

@@ -0,0 +1,20 @@
+/**
+ * @hstm-labs/forge-verifier — Specification compliance verification for Forge.
+ *
+ * Provides the {@link VerifyStage} pipeline stage, requirement mapping,
+ * coverage scoring, gap detection, review finding incorporation, and
+ * report formatting.
+ *
+ * @packageDocumentation
+ */
+export { VerifyStage } from './verify-stage.js';
+export { mapRequirementsToArtifacts } from './requirement-mapper.js';
+export { calculateCoverage } from './coverage-calculator.js';
+export { detectGaps } from './gap-detector.js';
+export { incorporateReviewFindings } from './review-incorporator.js';
+export { buildComplianceReport } from './compliance-builder.js';
+export { formatComplianceReport, complianceReportToJson } from './formatters.js';
+export { TestGenerateStage } from './test-generate-stage.js';
+export { TestOutputValidator } from './test-output-validator.js';
+export { extractTestCriteria } from './criteria-extractor.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AASH,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/requirement-mapper.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Requirement-to-artifact mapper for compliance verification.
+ *
+ * Maps specification requirements to generated artifacts using
+ * entity name matching and operation keyword heuristics.
+ */
+import type { SpecRequirement, SpecEntity } from '@hstm-labs/forge-spec-parser';
+import type { RequirementCoverage, GenerationStageOutputs } from './types.js';
+/**
+ * Map specification requirements to generated artifacts.
+ *
+ * Uses entity name matching and operation keyword heuristics to determine
+ * which requirements are covered by generated artifacts.
+ *
+ * @param requirements - Specification requirements to evaluate
+ * @param entities - Specification entities for name matching
+ * @param outputs - Collected generation stage outputs
+ * @returns Per-requirement coverage results with evidence
+ */
+export declare function mapRequirementsToArtifacts(requirements: SpecRequirement[], entities: SpecEntity[], outputs: GenerationStageOutputs): RequirementCoverage[];
+//# sourceMappingURL=requirement-mapper.d.ts.map

package/dist/requirement-mapper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirement-mapper.d.ts","sourceRoot":"","sources":["../src/requirement-mapper.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,KAAK,EACV,mBAAmB,EAEnB,sBAAsB,EACvB,MAAM,YAAY,CAAC;AAiOpB;;;;;;;;;;GAUG;AACH,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,eAAe,EAAE,EAC/B,QAAQ,EAAE,UAAU,EAAE,EACtB,OAAO,EAAE,sBAAsB,GAC9B,mBAAmB,EAAE,CAevB"}