@contractspec/bundle.workspace 1.57.0 → 1.58.0

package/dist/services/ci-check/types.d.ts

@@ -0,0 +1,147 @@
+/**
+ * CI Check service types.
+ *
+ * Types for CI/CD validation checks with support for multiple output formats.
+ */
+import type { ContractsrcConfig } from '@contractspec/lib.contracts/workspace-config';
+/**
+ * Categories of CI checks.
+ */
+export type CICheckCategory = 'structure' | 'integrity' | 'deps' | 'doctor' | 'handlers' | 'tests' | 'test-refs' | 'coverage' | 'implementation' | 'layers' | 'drift';
+/**
+ * All available CI check categories.
+ */
+export declare const ALL_CI_CHECK_CATEGORIES: CICheckCategory[];
+/**
+ * Human-readable labels for CI check categories.
+ */
+export declare const CI_CHECK_CATEGORY_LABELS: Record<CICheckCategory, string>;
+/**
+ * Severity of a CI check issue.
+ */
+export type CIIssueSeverity = 'error' | 'warning' | 'note';
+/**
+ * A single issue found during CI checks.
+ */
+export interface CIIssue {
+    /** Unique ID for the issue type. */
+    ruleId: string;
+    /** Severity level. */
+    severity: CIIssueSeverity;
+    /** Human-readable message. */
+    message: string;
+    /** Category of the check. */
+    category: CICheckCategory;
+    /** File path where the issue was found. */
+    file?: string;
+    /** Line number (1-based). */
+    line?: number;
+    /** Column number (1-based). */
+    column?: number;
+    /** End line number (1-based). */
+    endLine?: number;
+    /** End column number (1-based). */
+    endColumn?: number;
+    /** Additional context. */
+    context?: Record<string, unknown>;
+}
+/**
+ * Summary statistics for a CI check category.
+ */
+export interface CICheckCategorySummary {
+    /** Category name. */
+    category: CICheckCategory;
+    /** Human-readable label. */
+    label: string;
+    /** Number of errors. */
+    errors: number;
+    /** Number of warnings. */
+    warnings: number;
+    /** Number of notes. */
+    notes: number;
+    /** Whether this category passed. */
+    passed: boolean;
+    /** Duration in milliseconds. */
+    durationMs: number;
+}
+/**
+ * Overall CI check result.
+ */
+export interface CICheckResult {
+    /** Whether all checks passed (no errors). */
+    success: boolean;
+    /** Total number of errors. */
+    totalErrors: number;
+    /** Total number of warnings. */
+    totalWarnings: number;
+    /** Total number of notes. */
+    totalNotes: number;
+    /** All issues found. */
+    issues: CIIssue[];
+    /** Summary by category. */
+    categories: CICheckCategorySummary[];
+    /** Total duration in milliseconds. */
+    durationMs: number;
+    /** Timestamp when the check was run. */
+    timestamp: string;
+    /** Git commit SHA if available. */
+    commitSha?: string;
+    /** Git branch if available. */
+    branch?: string;
+}
+/**
+ * Options for running CI checks.
+ */
+export interface CICheckOptions {
+    /** Glob pattern for spec discovery. */
+    pattern?: string;
+    /** Check categories to run (defaults to all). */
+    checks?: CICheckCategory[];
+    /** Skip specific categories. */
+    skip?: CICheckCategory[];
+    /** Include handler existence checks. */
+    checkHandlers?: boolean;
+    /** Include test coverage checks. */
+    checkTests?: boolean;
+    /** Include drift detection checks. */
+    checkDrift?: boolean;
+    /** Fail on warnings (treat warnings as errors). */
+    failOnWarnings?: boolean;
+    /** Workspace root directory. */
+    workspaceRoot?: string;
+    /** Implementation check options. */
+    implementation?: {
+        /** Require all specs to be implemented. */
+        requireImplemented?: boolean;
+        /** Verification tier to run. */
+        verificationTier?: 'structure' | 'behavior' | 'ai';
+        /** Use cache for verification results. */
+        useCache?: boolean;
+        /** Allow partial implementations. */
+        allowPartial?: boolean;
+    };
+    /**
+     * Workspace configuration
+     */
+    config?: ContractsrcConfig;
+}
+/**
+ * Output format for CI check results.
+ */
+export type CIOutputFormat = 'text' | 'json' | 'sarif';
+/**
+ * Options for formatting CI check output.
+ */
+export interface CIFormatOptions {
+    /** Output format. */
+    format: CIOutputFormat;
+    /** Whether to use colors (for text format). */
+    colors?: boolean;
+    /** Tool name for SARIF output. */
+    toolName?: string;
+    /** Tool version for SARIF output. */
+    toolVersion?: string;
+    /** Repository URI for SARIF output. */
+    repositoryUri?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/services/ci-check/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/ci-check/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8CAA8C,CAAC;AAEtF;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,WAAW,GACX,WAAW,GACX,MAAM,GACN,QAAQ,GACR,UAAU,GACV,OAAO,GACP,WAAW,GACX,UAAU,GACV,gBAAgB,GAChB,QAAQ,GACR,OAAO,CAAC;AAEZ;;GAEG;AACH,eAAO,MAAM,uBAAuB,EAAE,eAAe,EAYpD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAYpE,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3D;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,oCAAoC;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,sBAAsB;IACtB,QAAQ,EAAE,eAAe,CAAC;IAC1B,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,6BAA6B;IAC7B,QAAQ,EAAE,eAAe,CAAC;IAC1B,2CAA2C;IAC3C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,6BAA6B;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,+BAA+B;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mCAAmC;IACnC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0BAA0B;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,qBAAqB;IACrB,QAAQ,EAAE,eAAe,CAAC;IAC1B,4BAA4B;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,uBAAuB;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,oCAAoC;IACpC,MAAM,EAAE,OAAO,CAAC;IAChB,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,6CAA6C;IAC7C,OAAO,EAAE,OAAO,CAAC;IACjB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,aAAa,EAAE,MAAM,CAAC;IACtB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,wBAAwB;IACxB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,2BAA2B;IAC3B,UAAU,EAAE,sBAAsB,EAAE,CAAC;IACrC,sCAAsC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,wCAAwC;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,mCAAmC;IACnC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,uCAAuC;IACvC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,MAAM,CAAC,EAAE,eAAe,EAAE,CAAC;IAC3B,gCAAgC;IAChC,IAAI,CAAC,EAAE,eAAe,EAAE,CAAC;IACzB,wCAAwC;IACxC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,oCAAoC;IACpC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sCAAsC;IACtC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mDAAmD;IACnD,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,oCAAoC;IACpC,cAAc,CAAC,EAAE;QACf,2CAA2C;QAC3C,kBAAkB,CAAC,EAAE,OAAO,CAAC;QAC7B,gCAAgC;QAChC,gBAAgB,CAAC,EAAE,WAAW,GAAG,UAAU,GAAG,IAAI,CAAC;QACnD,0CAA0C;QAC1C,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,qCAAqC;QACrC,YAAY,CAAC,EAAE,OAAO,CAAC;KACxB,CAAC;IACF;;OAEG;IACH,MAAM,CAAC,EAAE,iBAAiB,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEvD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,qBAAqB;IACrB,MAAM,EAAE,cAAc,CAAC;IACvB,+CAA+C;IAC/C,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,kCAAkC;IAClC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qCAAqC;IACrC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uCAAuC;IACvC,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB"}

package/dist/services/ci-check/utils.d.ts

@@ -0,0 +1,28 @@
+/**
+ * CI check utilities.
+ */
+import type { FsAdapter } from '../../ports/fs';
+import type { CICheckCategory, CICheckCategorySummary, CIIssue } from './types';
+/**
+ * Create a category summary from issues.
+ */
+export declare function createCategorySummary(category: CICheckCategory, issues: CIIssue[], durationMs: number): CICheckCategorySummary;
+/**
+ * Get git information if available.
+ */
+export declare function getGitInfo(fs: FsAdapter): Promise<{
+    commitSha?: string;
+    branch?: string;
+}>;
+/**
+ * Determine which checks to run based on options.
+ */
+export declare function getChecksToRun(options: {
+    checkHandlers?: boolean;
+    checkTests?: boolean;
+    implementation?: unknown;
+    checkDrift?: boolean;
+    checks?: CICheckCategory[];
+    skip?: CICheckCategory[];
+}): CICheckCategory[];
+//# sourceMappingURL=utils.d.ts.map

package/dist/services/ci-check/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/services/ci-check/utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAEhF;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,OAAO,EAAE,EACjB,UAAU,EAAE,MAAM,GACjB,sBAAsB,CA4BxB;AAED;;GAEG;AACH,wBAAsB,UAAU,CAC9B,EAAE,EAAE,SAAS,GACZ,OAAO,CAAC;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CA6BlD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE;IACtC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,MAAM,CAAC,EAAE,eAAe,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAE,eAAe,EAAE,CAAC;CAC1B,GAAG,eAAe,EAAE,CAiCpB"}

package/dist/services/clean.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Clean service.
+ *
+ * Safe-by-default cleanup of generated artifacts.
+ */
+import type { FsAdapter } from '../ports/fs';
+import type { LoggerAdapter } from '../ports/logger';
+export interface CleanOptions {
+    /**
+     * When true, only remove known build artifact directories and known generated
+     * suffixes (safe-by-default).
+     */
+    generatedOnly?: boolean;
+    /**
+     * Skip deletions; just report.
+     */
+    dryRun?: boolean;
+    /**
+     * Only delete files older than this many days.
+     */
+    olderThanDays?: number;
+    /**
+     * Output directory used for generated artifacts (handlers/components/forms).
+     */
+    outputDir?: string;
+}
+export interface CleanResult {
+    removed: {
+        path: string;
+        size: number;
+    }[];
+    skipped: {
+        path: string;
+        reason: string;
+    }[];
+}
+export declare function cleanArtifacts(adapters: {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}, options?: CleanOptions): Promise<CleanResult>;
+//# sourceMappingURL=clean.d.ts.map

package/dist/services/clean.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clean.d.ts","sourceRoot":"","sources":["../../src/services/clean.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,WAAW,YAAY;IAC3B;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;;OAEG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;OAEG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;OAEG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1C,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC7C;AAED,wBAAsB,cAAc,CAClC,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,EAClD,OAAO,GAAE,YAAiB,GACzB,OAAO,CAAC,WAAW,CAAC,CAkEtB"}

package/dist/services/clean.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=clean.test.d.ts.map

package/dist/services/clean.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clean.test.d.ts","sourceRoot":"","sources":["../../src/services/clean.test.ts"],"names":[],"mappings":""}

package/dist/services/config.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Workspace configuration service.
+ */
+import type { FsAdapter } from '../ports/fs';
+import { type ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+/**
+ * Load workspace configuration from .contractsrc.json.
+ */
+export declare function loadWorkspaceConfig(fs: FsAdapter, cwd?: string): Promise<ResolvedContractsrcConfig>;
+/**
+ * Get API key for the configured provider.
+ */
+export declare function getApiKey(provider: ResolvedContractsrcConfig['aiProvider']): string | undefined;
+//# sourceMappingURL=config.d.ts.map

package/dist/services/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/services/config.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAGL,KAAK,yBAAyB,EAC/B,MAAM,6BAA6B,CAAC;AAErC;;GAEG;AACH,wBAAsB,mBAAmB,CACvC,EAAE,EAAE,SAAS,EACb,GAAG,CAAC,EAAE,MAAM,GACX,OAAO,CAAC,yBAAyB,CAAC,CAwBpC;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,QAAQ,EAAE,yBAAyB,CAAC,YAAY,CAAC,GAChD,MAAM,GAAG,SAAS,CAapB"}

package/dist/services/coverage/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Coverage service.
+ *
+ * Provides coverage parsing, validation, and enforcement for contract-first testing.
+ */
+export type { CoverageMetric, CoverageData, CoverageValidationResult, CoverageFailure, CoverageValidationSummary, CoverageValidationOptions, CoverageReport, FileCoverage, } from './types';
+export { createEmptyCoverageData, calculatePct } from './types';
+export type { CoverageFormat, CoverageParser } from './parsers';
+export { createParser, detectFormat, parseIstanbulCoverage } from './parsers';
+export { validateCoverage, validateAllCoverage, formatCoverageResult, formatCoverageSummary, } from './validator';
+//# sourceMappingURL=index.d.ts.map

package/dist/services/coverage/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/coverage/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,YAAY,EACV,cAAc,EACd,YAAY,EACZ,wBAAwB,EACxB,eAAe,EACf,yBAAyB,EACzB,yBAAyB,EACzB,cAAc,EACd,YAAY,GACb,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAGhE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAG9E,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,aAAa,CAAC"}

package/dist/services/coverage/parsers/index.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Coverage report parsers.
+ *
+ * Parses coverage reports from various test runners into a unified format.
+ */
+import type { CoverageReport } from '../types';
+/**
+ * Supported coverage report formats.
+ */
+export type CoverageFormat = 'istanbul' | 'lcov' | 'cobertura';
+/**
+ * Parser interface for coverage reports.
+ */
+export interface CoverageParser {
+    /**
+     * Parse a coverage report file or directory.
+     *
+     * @param content - The file content or directory path
+     * @returns Parsed coverage report
+     */
+    parse(content: string): CoverageReport;
+}
+/**
+ * Create a parser for the specified format.
+ *
+ * @param format - The coverage report format
+ * @returns A parser for the format
+ */
+export declare function createParser(format: CoverageFormat): CoverageParser;
+/**
+ * Detect the coverage format from a file path or content.
+ *
+ * @param path - The file path
+ * @param content - Optional file content
+ * @returns The detected format
+ */
+export declare function detectFormat(path: string, content?: string): CoverageFormat;
+export { parseIstanbulCoverage } from './istanbul-parser';
+//# sourceMappingURL=index.d.ts.map

package/dist/services/coverage/parsers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/services/coverage/parsers/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAG/C;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B;;;;;OAKG;IACH,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,CAAC;CACxC;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,CAanE;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,cAAc,CAc3E;AAED,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/services/coverage/parsers/istanbul-parser.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Istanbul JSON coverage report parser.
+ *
+ * Parses the standard Istanbul JSON format used by:
+ * - Vitest (with coverage.reporter = ['json'])
+ * - Bun (with --coverage)
+ * - Jest (with collectCoverage and json reporter)
+ * - NYC (directly)
+ */
+import type { CoverageReport } from '../types';
+/**
+ * Parse Istanbul JSON coverage report.
+ *
+ * @param content - The JSON content as a string
+ * @returns Parsed coverage report
+ */
+export declare function parseIstanbulCoverage(content: string): CoverageReport;
+//# sourceMappingURL=istanbul-parser.d.ts.map

package/dist/services/coverage/parsers/istanbul-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"istanbul-parser.d.ts","sourceRoot":"","sources":["../../../../src/services/coverage/parsers/istanbul-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,cAAc,EAA8B,MAAM,UAAU,CAAC;AAyC3E;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,CAqDrE"}

package/dist/services/coverage/types.d.ts

@@ -0,0 +1,117 @@
+/**
+ * Coverage types for contract-first test coverage enforcement.
+ *
+ * These types model coverage data from test runners and allow
+ * validation against TestSpec.coverage requirements.
+ */
+import type { CoverageRequirement } from '@contractspec/lib.contracts';
+/**
+ * Coverage metrics for a single metric type.
+ */
+export interface CoverageMetric {
+    /** Number of covered items (statements, branches, etc.) */
+    covered: number;
+    /** Total number of items */
+    total: number;
+    /** Percentage covered (0-100) */
+    pct: number;
+}
+/**
+ * Coverage data collected from a test run.
+ * Matches standard Istanbul/NYC coverage format.
+ */
+export interface CoverageData {
+    statements: CoverageMetric;
+    branches: CoverageMetric;
+    functions: CoverageMetric;
+    lines: CoverageMetric;
+}
+/**
+ * Result of validating coverage against requirements.
+ */
+export interface CoverageValidationResult {
+    /** The spec key being validated */
+    specKey: string;
+    /** The spec version */
+    specVersion: string;
+    /** The coverage requirements from TestSpec */
+    requirement: CoverageRequirement;
+    /** The actual coverage data */
+    actual: CoverageData;
+    /** Whether all requirements are met */
+    passed: boolean;
+    /** List of failed requirements with details */
+    failures: CoverageFailure[];
+}
+/**
+ * A single coverage requirement failure.
+ */
+export interface CoverageFailure {
+    /** The metric type that failed */
+    metric: 'statements' | 'branches' | 'functions' | 'lines' | 'mutations';
+    /** Required percentage */
+    required: number;
+    /** Actual percentage */
+    actual: number;
+    /** Human-readable message */
+    message: string;
+}
+/**
+ * Summary of coverage validation across multiple specs.
+ */
+export interface CoverageValidationSummary {
+    /** Total number of specs with coverage requirements */
+    totalSpecs: number;
+    /** Number of specs that passed coverage requirements */
+    passedSpecs: number;
+    /** Number of specs that failed coverage requirements */
+    failedSpecs: number;
+    /** All validation results */
+    results: CoverageValidationResult[];
+    /** Whether all specs passed */
+    allPassed: boolean;
+}
+/**
+ * Options for coverage validation.
+ */
+export interface CoverageValidationOptions {
+    /** Directory containing coverage reports */
+    coverageDir?: string;
+    /** Coverage report format */
+    format?: 'istanbul' | 'lcov' | 'cobertura';
+    /** Whether to skip specs without coverage requirements */
+    skipWithoutRequirements?: boolean;
+}
+/**
+ * Parsed coverage report from a test runner.
+ */
+export interface CoverageReport {
+    /** Map from file path to file coverage data */
+    files: Map<string, FileCoverage>;
+    /** Aggregate coverage across all files */
+    total: CoverageData;
+}
+/**
+ * Coverage data for a single file.
+ */
+export interface FileCoverage {
+    /** Absolute file path */
+    path: string;
+    /** Statement coverage */
+    statements: CoverageMetric;
+    /** Branch coverage */
+    branches: CoverageMetric;
+    /** Function coverage */
+    functions: CoverageMetric;
+    /** Line coverage */
+    lines: CoverageMetric;
+}
+/**
+ * Creates an empty coverage data object.
+ */
+export declare function createEmptyCoverageData(): CoverageData;
+/**
+ * Calculate percentage with proper rounding.
+ */
+export declare function calculatePct(covered: number, total: number): number;
+//# sourceMappingURL=types.d.ts.map

package/dist/services/coverage/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/coverage/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAEvE;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,4BAA4B;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,cAAc,CAAC;IAC3B,QAAQ,EAAE,cAAc,CAAC;IACzB,SAAS,EAAE,cAAc,CAAC;IAC1B,KAAK,EAAE,cAAc,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,mCAAmC;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,uBAAuB;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,8CAA8C;IAC9C,WAAW,EAAE,mBAAmB,CAAC;IACjC,+BAA+B;IAC/B,MAAM,EAAE,YAAY,CAAC;IACrB,uCAAuC;IACvC,MAAM,EAAE,OAAO,CAAC;IAChB,+CAA+C;IAC/C,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,kCAAkC;IAClC,MAAM,EAAE,YAAY,GAAG,UAAU,GAAG,WAAW,GAAG,OAAO,GAAG,WAAW,CAAC;IACxE,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,wBAAwB;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;IACnB,wDAAwD;IACxD,WAAW,EAAE,MAAM,CAAC;IACpB,wDAAwD;IACxD,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,OAAO,EAAE,wBAAwB,EAAE,CAAC;IACpC,+BAA+B;IAC/B,SAAS,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,4CAA4C;IAC5C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,MAAM,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;IAC3C,0DAA0D;IAC1D,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,+CAA+C;IAC/C,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACjC,0CAA0C;IAC1C,KAAK,EAAE,YAAY,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,yBAAyB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,yBAAyB;IACzB,UAAU,EAAE,cAAc,CAAC;IAC3B,sBAAsB;IACtB,QAAQ,EAAE,cAAc,CAAC;IACzB,wBAAwB;IACxB,SAAS,EAAE,cAAc,CAAC;IAC1B,oBAAoB;IACpB,KAAK,EAAE,cAAc,CAAC;CACvB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,IAAI,YAAY,CAOtD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAGnE"}

package/dist/services/coverage/validator.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Coverage validator.
+ *
+ * Validates actual coverage data against TestSpec.coverage requirements.
+ */
+import type { CoverageRequirement } from '@contractspec/lib.contracts';
+import type { CoverageData, CoverageValidationResult, CoverageValidationSummary } from './types';
+/**
+ * Validate coverage data against requirements.
+ *
+ * @param specKey - The spec key being validated
+ * @param specVersion - The spec version
+ * @param requirement - The coverage requirements from TestSpec
+ * @param actual - The actual coverage data
+ * @returns Validation result with pass/fail and details
+ */
+export declare function validateCoverage(specKey: string, specVersion: string, requirement: CoverageRequirement, actual: CoverageData): CoverageValidationResult;
+/**
+ * Validate coverage for multiple specs and create a summary.
+ *
+ * @param validations - Array of specs with requirements and coverage
+ * @returns Summary of all validations
+ */
+export declare function validateAllCoverage(validations: {
+    specKey: string;
+    specVersion: string;
+    requirement: CoverageRequirement;
+    actual: CoverageData;
+}[]): CoverageValidationSummary;
+/**
+ * Format coverage validation result as a human-readable string.
+ */
+export declare function formatCoverageResult(result: CoverageValidationResult): string;
+/**
+ * Format coverage validation summary as a human-readable string.
+ */
+export declare function formatCoverageSummary(summary: CoverageValidationSummary): string;
+//# sourceMappingURL=validator.d.ts.map

package/dist/services/coverage/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../../src/services/coverage/validator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,KAAK,EACV,YAAY,EACZ,wBAAwB,EAExB,yBAAyB,EAC1B,MAAM,SAAS,CAAC;AAEjB;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,mBAAmB,EAChC,MAAM,EAAE,YAAY,GACnB,wBAAwB,CAwE1B;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,WAAW,EAAE;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,mBAAmB,CAAC;IACjC,MAAM,EAAE,YAAY,CAAC;CACtB,EAAE,GACF,yBAAyB,CAmB3B;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,wBAAwB,GAAG,MAAM,CAc7E;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,yBAAyB,GACjC,MAAM,CAeR"}

package/dist/services/create/ai-generator.d.ts

@@ -0,0 +1,84 @@
+/**
+ * AI Generator Service
+ *
+ * Generates specs and code using AI models.
+ */
+import { type PresentationKind } from '@contractspec/module.workspace';
+import type { OpKind, ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+/**
+ * AI Generator Service
+ */
+export declare class AIGenerator {
+    private config;
+    constructor(config: ResolvedContractsrcConfig);
+    private getModel;
+    /**
+     * Generate operation spec from natural language description
+     */
+    generateOperationSpec(description: string, kind: OpKind): Promise<{
+        name: string;
+        version: number;
+        description: string;
+        goal: string;
+        context: string;
+        stability: "deprecated" | "experimental" | "beta" | "stable";
+        owners: string[];
+        tags: string[];
+        auth: "anonymous" | "user" | "admin";
+        inputShape: string;
+        outputShape: string;
+        flags: string[];
+        possibleEvents: string[];
+        analytics: string[];
+    }>;
+    /**
+     * Generate event spec from description
+     */
+    generateEventSpec(description: string): Promise<{
+        name: string;
+        version: number;
+        description: string;
+        stability: "deprecated" | "experimental" | "beta" | "stable";
+        owners: string[];
+        tags: string[];
+        payloadShape: string;
+        piiFields: string[];
+    }>;
+    /**
+     * Generate presentation spec from description
+     */
+    generatePresentationSpec(description: string, kind: PresentationKind): Promise<{
+        name: string;
+        version: number;
+        description: string;
+        stability: "deprecated" | "experimental" | "beta" | "stable";
+        owners: string[];
+        tags: string[];
+        componentKey?: string | undefined;
+        propsShape?: string | undefined;
+        content?: string | undefined;
+        mimeType?: string | undefined;
+        dataShape?: string | undefined;
+    }>;
+    /**
+     * Generate handler implementation from spec
+     */
+    generateHandler(specCode: string): Promise<string>;
+    /**
+     * Generate React component from presentation spec
+     */
+    generateComponent(specCode: string): Promise<string>;
+    /**
+     * Generate form component from form spec
+     */
+    generateForm(specCode: string): Promise<string>;
+    /**
+     * Generate tests for implementation
+     */
+    generateTests(specCode: string, implementationCode: string, testType: 'handler' | 'component'): Promise<string>;
+    /**
+     * Stream code generation for better UX
+     */
+    streamCodeGeneration(prompt: string, onChunk: (text: string) => void): Promise<string>;
+}
+//# sourceMappingURL=ai-generator.d.ts.map

package/dist/services/create/ai-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ai-generator.d.ts","sourceRoot":"","sources":["../../../src/services/create/ai-generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AASH,OAAO,EAUL,KAAK,gBAAgB,EACtB,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EACV,MAAM,EACN,yBAAyB,EAC1B,MAAM,6BAA6B,CAAC;AAGrC;;GAEG;AACH,qBAAa,WAAW;IACV,OAAO,CAAC,MAAM;gBAAN,MAAM,EAAE,yBAAyB;IAErD,OAAO,CAAC,QAAQ;IAkBhB;;OAEG;IACG,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;;;;;;;;;;;;;;;;IA0C7D;;OAEG;IACG,iBAAiB,CAAC,WAAW,EAAE,MAAM;;;;;;;;;;IA4B3C;;OAEG;IACG,wBAAwB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB;;;;;;;;;;;;;IA+B1E;;OAEG;IACG,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAYxD;;OAEG;IACG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAY1D;;OAEG;IACG,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAYrD;;OAEG;IACG,aAAa,CACjB,QAAQ,EAAE,MAAM,EAChB,kBAAkB,EAAE,MAAM,EAC1B,QAAQ,EAAE,SAAS,GAAG,WAAW,GAChC,OAAO,CAAC,MAAM,CAAC;IAYlB;;OAEG;IACG,oBAAoB,CACxB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,GAC9B,OAAO,CAAC,MAAM,CAAC;CAkBnB"}

package/dist/services/create/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Spec Creation Service
+ *
+ * Unifies manual and AI-assisted spec creation.
+ */
+import { AIGenerator } from './ai-generator';
+import * as templates from './templates';
+import type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+export declare class SpecCreatorService {
+    readonly ai: AIGenerator;
+    readonly templates: typeof templates;
+    constructor(config: ResolvedContractsrcConfig);
+}
+export * from './ai-generator';
+export * from './templates';
+export declare function createSpecCreator(config: ResolvedContractsrcConfig): SpecCreatorService;
+//# sourceMappingURL=index.d.ts.map

package/dist/services/create/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/create/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAE7E,qBAAa,kBAAkB;IAC7B,SAAgB,EAAE,EAAE,WAAW,CAAC;IAChC,SAAgB,SAAS,mBAAa;gBAE1B,MAAM,EAAE,yBAAyB;CAG9C;AAED,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAE5B,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,yBAAyB,GAChC,kBAAkB,CAEpB"}

package/dist/services/create/templates.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Template Service
+ *
+ * Provides various spec templates.
+ */
+export * from '../../templates';
+//# sourceMappingURL=templates.d.ts.map

package/dist/services/create/templates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.d.ts","sourceRoot":"","sources":["../../../src/services/create/templates.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,cAAc,iBAAiB,CAAC"}