@contractspec/bundle.workspace 1.57.0 → 1.58.0

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

@@ -0,0 +1,135 @@
+/**
+ * Types for the Verification Service.
+ */
+import type { AnyOperationSpec } from '@contractspec/lib.contracts';
+import type { VerificationIssue, VerificationReport, VerificationTier } from '@contractspec/lib.contracts/llm';
+/** Configuration for the verification service */
+export interface VerifyConfig {
+    /** Enable verbose logging */
+    verbose?: boolean;
+    /** API key for AI verification (tier 3) */
+    aiApiKey?: string;
+    /** AI provider for tier 3 verification */
+    aiProvider?: 'anthropic' | 'openai' | 'local';
+}
+/** Options for running verification */
+export interface VerifyOptions {
+    /** Which tiers to run (default: all up to specified) */
+    tiers?: VerificationTier[];
+    /** Stop on first failure */
+    failFast?: boolean;
+    /** Include suggestions in report */
+    includeSuggestions?: boolean;
+}
+/** Input for verification */
+export interface VerifyInput {
+    /** Spec to verify against */
+    spec: AnyOperationSpec;
+    /** Implementation code to verify */
+    implementationCode: string;
+    /** Implementation file path (for error reporting) */
+    implementationPath?: string;
+}
+/** Result of running all verification tiers */
+export interface VerifyResult {
+    /** Overall pass/fail */
+    passed: boolean;
+    /** Combined score (0-100) */
+    score: number;
+    /** Reports from each tier that was run */
+    reports: Map<VerificationTier, VerificationReport>;
+    /** All issues across all tiers */
+    allIssues: VerificationIssue[];
+    /** Summary message */
+    summary: string;
+    /** Duration in ms */
+    duration: number;
+}
+/** Structure check result */
+export interface StructureCheck {
+    /** Check name */
+    name: string;
+    /** Check passed */
+    passed: boolean;
+    /** Details if failed */
+    details?: string;
+    /** Suggested fix */
+    suggestion?: string;
+}
+/** Behavior check result */
+export interface BehaviorCheck {
+    /** Scenario or example name */
+    name: string;
+    /** Check type */
+    type: 'scenario' | 'example' | 'error';
+    /** Check passed */
+    passed: boolean;
+    /** Expected behavior */
+    expected?: string;
+    /** Actual behavior */
+    actual?: string;
+    /** Details */
+    details?: string;
+}
+/** AI review result */
+export interface AIReviewResult {
+    /** Overall compliance */
+    compliant: boolean;
+    /** Confidence score (0-1) */
+    confidence: number;
+    /** Findings */
+    findings: {
+        category: string;
+        severity: 'error' | 'warning' | 'info';
+        message: string;
+        location?: string;
+        suggestion?: string;
+    }[];
+    /** Raw AI response */
+    rawResponse?: string;
+}
+/** Field match type for semantic analysis */
+export type FieldMatchType = 'exact' | 'compatible' | 'mismatch' | 'missing';
+/** Field mapping between spec and implementation */
+export interface FieldMapping {
+    /** Field name from spec */
+    specField: string;
+    /** Field type from spec */
+    specType: string;
+    /** Corresponding field in implementation (if found) */
+    implementationField?: string;
+    /** Field type in implementation */
+    implementationType?: string;
+    /** Match quality */
+    match: FieldMatchType;
+    /** AI confidence in this mapping (0-1) */
+    aiConfidence: number;
+    /** Suggestion if mismatch */
+    suggestion?: string;
+}
+/** Intent alignment analysis */
+export interface IntentAlignment {
+    /** Overall alignment score (0-100) */
+    score: number;
+    /** Issues with intent alignment */
+    issues: string[];
+    /** Suggestions for better alignment */
+    suggestions: string[];
+}
+/** Full semantic verification result */
+export interface SemanticVerificationResult {
+    /** Field-by-field mappings */
+    fieldMappings: FieldMapping[];
+    /** Intent alignment analysis */
+    intentAlignment: IntentAlignment;
+    /** Additional semantic issues found */
+    semanticIssues: {
+        category: string;
+        severity: 'error' | 'warning' | 'info';
+        message: string;
+        suggestion?: string;
+    }[];
+    /** Raw AI response for debugging */
+    rawResponse?: string;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/verify/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,EACV,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,iCAAiC,CAAC;AAEzC,iDAAiD;AACjD,MAAM,WAAW,YAAY;IAC3B,6BAA6B;IAC7B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0CAA0C;IAC1C,UAAU,CAAC,EAAE,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;CAC/C;AAED,uCAAuC;AACvC,MAAM,WAAW,aAAa;IAC5B,wDAAwD;IACxD,KAAK,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC3B,4BAA4B;IAC5B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,oCAAoC;IACpC,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED,6BAA6B;AAC7B,MAAM,WAAW,WAAW;IAC1B,6BAA6B;IAC7B,IAAI,EAAE,gBAAgB,CAAC;IACvB,oCAAoC;IACpC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qDAAqD;IACrD,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,+CAA+C;AAC/C,MAAM,WAAW,YAAY;IAC3B,wBAAwB;IACxB,MAAM,EAAE,OAAO,CAAC;IAChB,6BAA6B;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,0CAA0C;IAC1C,OAAO,EAAE,GAAG,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IACnD,kCAAkC;IAClC,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,sBAAsB;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,qBAAqB;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAC7B,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,wBAAwB;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oBAAoB;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,4BAA4B;AAC5B,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,iBAAiB;IACjB,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAAC;IACvC,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,wBAAwB;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,uBAAuB;AACvB,MAAM,WAAW,cAAc;IAC7B,yBAAyB;IACzB,SAAS,EAAE,OAAO,CAAC;IACnB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe;IACf,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,sBAAsB;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,6CAA6C;AAC7C,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,GAAG,SAAS,CAAC;AAE7E,oDAAoD;AACpD,MAAM,WAAW,YAAY;IAC3B,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,2BAA2B;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,mCAAmC;IACnC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,oBAAoB;IACpB,KAAK,EAAE,cAAc,CAAC;IACtB,0CAA0C;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,gCAAgC;AAChC,MAAM,WAAW,eAAe;IAC9B,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,mCAAmC;IACnC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,uCAAuC;IACvC,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,wCAAwC;AACxC,MAAM,WAAW,0BAA0B;IACzC,8BAA8B;IAC9B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,gCAAgC;IAChC,eAAe,EAAE,eAAe,CAAC;IACjC,uCAAuC;IACvC,cAAc,EAAE;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,oCAAoC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB"}

package/dist/services/verify/verify-service.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Verification Service
+ *
+ * Orchestrates tiered verification of implementations against specs.
+ * Supports three tiers: structure, behavior, and AI review.
+ */
+import type { AnyOperationSpec } from '@contractspec/lib.contracts';
+import type { VerificationReport } from '@contractspec/lib.contracts/llm';
+import type { VerifyConfig, VerifyOptions, VerifyResult } from './types';
+/**
+ * Verification Service
+ *
+ * Main service for verifying implementations against specs.
+ */
+export declare class VerifyService {
+    private config;
+    constructor(config?: Partial<VerifyConfig>);
+    /**
+     * Run verification on an implementation.
+     */
+    verify(spec: AnyOperationSpec, implementationCode: string, options?: VerifyOptions): Promise<VerifyResult>;
+    /**
+     * Run only structure verification (Tier 1).
+     */
+    verifyStructure(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): VerificationReport;
+    /**
+     * Run only behavior verification (Tier 2).
+     */
+    verifyBehavior(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): VerificationReport;
+    /**
+     * Run only AI verification (Tier 3).
+     */
+    verifyAI(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): Promise<VerificationReport>;
+    /**
+     * Quick verification (structure only, fast).
+     */
+    quickVerify(spec: AnyOperationSpec, implementationCode: string): VerificationReport;
+    /**
+     * Format verification result as markdown.
+     */
+    formatAsMarkdown(result: VerifyResult): string;
+    /**
+     * Update configuration.
+     */
+    configure(config: Partial<VerifyConfig>): void;
+    /**
+     * Generate a human-readable summary of verification results.
+     */
+    private generateSummary;
+    /**
+     * Format tier name for display.
+     */
+    private formatTierName;
+}
+/**
+ * Create a new VerifyService instance.
+ */
+export declare function createVerifyService(config?: Partial<VerifyConfig>): VerifyService;
+/** Default singleton instance */
+export declare const verifyService: VerifyService;
+//# sourceMappingURL=verify-service.d.ts.map

package/dist/services/verify/verify-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-service.d.ts","sourceRoot":"","sources":["../../../src/services/verify/verify-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,EAEV,kBAAkB,EAEnB,MAAM,iCAAiC,CAAC;AAIzC,OAAO,KAAK,EACV,YAAY,EAEZ,aAAa,EACb,YAAY,EACb,MAAM,SAAS,CAAC;AAQjB;;;;GAIG;AACH,qBAAa,aAAa;IACxB,OAAO,CAAC,MAAM,CAAe;gBAEjB,MAAM,GAAE,OAAO,CAAC,YAAY,CAAM;IAI9C;;OAEG;IACG,MAAM,CACV,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,EAC1B,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC;IAqExB;;OAEG;IACH,eAAe,CACb,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,EAC1B,kBAAkB,CAAC,EAAE,MAAM,GAC1B,kBAAkB;IAQrB;;OAEG;IACH,cAAc,CACZ,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,EAC1B,kBAAkB,CAAC,EAAE,MAAM,GAC1B,kBAAkB;IAQrB;;OAEG;IACG,QAAQ,CACZ,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,EAC1B,kBAAkB,CAAC,EAAE,MAAM,GAC1B,OAAO,CAAC,kBAAkB,CAAC;IAa9B;;OAEG;IACH,WAAW,CACT,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,GACzB,kBAAkB;IAIrB;;OAEG;IACH,gBAAgB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM;IAsE9C;;OAEG;IACH,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,IAAI;IAI9C;;OAEG;IACH,OAAO,CAAC,eAAe;IA4CvB;;OAEG;IACH,OAAO,CAAC,cAAc;CAYvB;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC7B,aAAa,CAEf;AAED,iCAAiC;AACjC,eAAO,MAAM,aAAa,eAAsB,CAAC"}

package/dist/services/verify/verify-service.test.d.ts

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

package/dist/services/verify/verify-service.test.d.ts.map

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

package/dist/services/versioning/changelog-formatter.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Changelog formatters.
+ *
+ * Format changelog entries as Markdown (Keep a Changelog, Conventional)
+ * or JSON for programmatic use.
+ */
+import type { ChangelogEntry } from '@contractspec/lib.contracts';
+import type { VersionAnalyzeResult, ChangelogJsonExport } from './types';
+/**
+ * Format entries as Keep a Changelog markdown.
+ *
+ * @see https://keepachangelog.com/
+ */
+export declare function formatKeepAChangelog(entries: ChangelogEntry[]): string;
+/**
+ * Format entries as Conventional Changelog markdown.
+ *
+ * @see https://www.conventionalcommits.org/
+ */
+export declare function formatConventionalChangelog(entries: ChangelogEntry[]): string;
+/**
+ * Format analysis result as JSON export.
+ */
+export declare function formatChangelogJson(analysis: VersionAnalyzeResult, baseline?: string): ChangelogJsonExport;
+//# sourceMappingURL=changelog-formatter.d.ts.map

package/dist/services/versioning/changelog-formatter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"changelog-formatter.d.ts","sourceRoot":"","sources":["../../../src/services/versioning/changelog-formatter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAe,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAMzE;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CAiGtE;AAMD;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CA0C7E;AAMD;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,oBAAoB,EAC9B,QAAQ,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAyBrB"}

package/dist/services/versioning/conventional-commits.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Conventional commits parser and utilities.
+ *
+ * Parses conventional commit messages to determine version bump types
+ * and extract change information for changelog generation.
+ *
+ * Supports:
+ * - Standard conventional commits (feat, fix, chore, etc.)
+ * - Breaking change detection (BREAKING CHANGE: or !)
+ * - Scope extraction for spec-level changes
+ *
+ * @module versioning/conventional-commits
+ */
+import type { VersionBumpType, ChangeEntry } from '@contractspec/lib.contracts';
+/**
+ * Parsed conventional commit message.
+ */
+export interface ConventionalCommit {
+    /** Commit type (feat, fix, chore, etc.) */
+    type: string;
+    /** Optional scope (e.g., auth, api) */
+    scope?: string;
+    /** Whether this is a breaking change */
+    breaking: boolean;
+    /** Commit description */
+    description: string;
+    /** Commit body (optional) */
+    body?: string;
+    /** Breaking change description (if any) */
+    breakingDescription?: string;
+    /** Full original message */
+    raw: string;
+}
+/**
+ * Commit type to bump type mapping.
+ */
+export type CommitTypeBumpMap = Record<string, VersionBumpType | null>;
+/**
+ * Default mapping of commit types to version bump types.
+ *
+ * - `feat` → minor (new feature)
+ * - `fix` → patch (bug fix)
+ * - `perf` → patch (performance improvement)
+ * - `refactor` → patch (code refactoring)
+ * - `docs` → null (no version bump)
+ * - `style` → null (no version bump)
+ * - `test` → null (no version bump)
+ * - `chore` → null (no version bump)
+ * - `ci` → null (no version bump)
+ * - `build` → null (no version bump)
+ */
+export declare const DEFAULT_COMMIT_TYPE_MAP: CommitTypeBumpMap;
+/**
+ * Parse a conventional commit message.
+ *
+ * @param message - Full commit message (may include body)
+ * @returns Parsed commit or null if not a valid conventional commit
+ */
+export declare function parseConventionalCommit(message: string): ConventionalCommit | null;
+/**
+ * Check if a commit message follows conventional commit format.
+ */
+export declare function isConventionalCommit(message: string): boolean;
+/**
+ * Determine the version bump type from a conventional commit.
+ *
+ * @param commit - Parsed conventional commit
+ * @param typeMap - Optional custom type-to-bump mapping
+ * @returns Version bump type or null if no bump needed
+ */
+export declare function getBumpTypeFromCommit(commit: ConventionalCommit, typeMap?: CommitTypeBumpMap): VersionBumpType | null;
+/**
+ * Determine the highest bump type from multiple commits.
+ *
+ * @param commits - Array of parsed conventional commits
+ * @param typeMap - Optional custom type-to-bump mapping
+ * @returns Highest version bump type or null if no bump needed
+ */
+export declare function getHighestBumpType(commits: ConventionalCommit[], typeMap?: CommitTypeBumpMap): VersionBumpType | null;
+/**
+ * Convert a conventional commit to a changelog ChangeEntry.
+ *
+ * @param commit - Parsed conventional commit
+ * @returns ChangeEntry for changelog
+ */
+export declare function commitToChangeEntry(commit: ConventionalCommit): ChangeEntry;
+/**
+ * Convert multiple commits to an array of ChangeEntries.
+ */
+export declare function commitsToChangeEntries(commits: ConventionalCommit[]): ChangeEntry[];
+/**
+ * Filter commits by scope (for spec-level changes).
+ *
+ * @param commits - Array of parsed conventional commits
+ * @param scope - Scope to filter by (e.g., "auth", "api")
+ * @returns Commits matching the scope
+ */
+export declare function filterCommitsByScope(commits: ConventionalCommit[], scope: string): ConventionalCommit[];
+/**
+ * Filter commits that trigger version bumps.
+ */
+export declare function filterBumpableCommits(commits: ConventionalCommit[], typeMap?: CommitTypeBumpMap): ConventionalCommit[];
+//# sourceMappingURL=conventional-commits.d.ts.map

package/dist/services/versioning/conventional-commits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conventional-commits.d.ts","sourceRoot":"","sources":["../../../src/services/versioning/conventional-commits.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAMhF;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,uCAAuC;IACvC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wCAAwC;IACxC,QAAQ,EAAE,OAAO,CAAC;IAClB,yBAAyB;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,4BAA4B;IAC5B,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC,CAAC;AAMvE;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,uBAAuB,EAAE,iBAYrC,CAAC;AAuBF;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,GACd,kBAAkB,GAAG,IAAI,CAmC3B;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAE7D;AAMD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,kBAAkB,EAC1B,OAAO,GAAE,iBAA2C,GACnD,eAAe,GAAG,IAAI,CAQxB;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,kBAAkB,EAAE,EAC7B,OAAO,GAAE,iBAA2C,GACnD,eAAe,GAAG,IAAI,CAyBxB;AAMD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,GAAG,WAAW,CA+C3E;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,kBAAkB,EAAE,GAC5B,WAAW,EAAE,CAEf;AAMD;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,kBAAkB,EAAE,EAC7B,KAAK,EAAE,MAAM,GACZ,kBAAkB,EAAE,CAEtB;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,kBAAkB,EAAE,EAC7B,OAAO,GAAE,iBAA2C,GACnD,kBAAkB,EAAE,CAEtB"}

package/dist/services/versioning/conventional-commits.test.d.ts

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

package/dist/services/versioning/conventional-commits.test.d.ts.map

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

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

@@ -0,0 +1,10 @@
+/**
+ * Versioning service module exports.
+ *
+ * Provides version analysis, version bumping, and changelog generation.
+ */
+export * from './types';
+export { analyzeVersions, applyVersionBump, generateChangelogs, analyzeVersionsFromCommits, } from './versioning-service';
+export { formatKeepAChangelog, formatConventionalChangelog, formatChangelogJson, } from './changelog-formatter';
+export * from './conventional-commits';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/versioning/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,cAAc,SAAS,CAAC;AACxB,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,0BAA0B,GAC3B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAC/B,cAAc,wBAAwB,CAAC"}

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

@@ -0,0 +1,137 @@
+/**
+ * Versioning service types.
+ *
+ * Types for version analysis, version bumping, and changelog generation.
+ */
+import type { ChangelogDocBlock, ChangelogEntry, ChangeEntry, VersionBumpType, VersioningConfig } from '@contractspec/lib.contracts';
+import type { ChangelogTier } from '@contractspec/lib.contracts';
+export type { ChangelogDocBlock, ChangelogEntry, ChangeEntry, VersionBumpType, ChangelogTier, VersioningConfig, };
+/** Options for version analysis */
+export interface VersionAnalyzeOptions {
+    /** Git ref to compare against (branch, tag, commit) */
+    baseline?: string;
+    /** Glob pattern for spec discovery */
+    pattern?: string;
+    /** Workspace root directory */
+    workspaceRoot?: string;
+    /** Include paths (glob patterns) */
+    include?: string[];
+    /** Exclude paths (glob patterns) */
+    exclude?: string[];
+}
+/** Options for version bump */
+export interface VersionBumpOptions {
+    /** Spec file path to bump */
+    specPath: string;
+    /** Bump type (auto-detected if not specified) */
+    bumpType?: VersionBumpType;
+    /** Change description for changelog entry */
+    changeDescription?: string;
+    /** Additional change entries */
+    changes?: ChangeEntry[];
+    /** Dry run (don't write changes) */
+    dryRun?: boolean;
+    /** Versioning config (for changesets integration) */
+    config?: VersioningConfig;
+}
+/** Options for changelog generation */
+export interface ChangelogGenerateOptions {
+    /** Git ref to compare against */
+    baseline?: string;
+    /** Workspace root directory */
+    workspaceRoot?: string;
+    /** Changelog tiers to generate */
+    tiers?: ChangelogTier[];
+    /** Output format */
+    format?: 'keep-a-changelog' | 'conventional' | 'custom';
+    /** Custom template (for 'custom' format) */
+    template?: string;
+}
+/** Result of version analysis for a single spec */
+export interface SpecVersionAnalysis {
+    /** Path to the spec file */
+    specPath: string;
+    /** Spec key (e.g., "auth.login") */
+    specKey: string;
+    /** Current version in the spec */
+    currentVersion: string;
+    /** Suggested new version based on changes */
+    suggestedVersion: string;
+    /** Suggested bump type */
+    bumpType: VersionBumpType;
+    /** Detected changes requiring version bump */
+    changes: ChangeEntry[];
+    /** Whether breaking changes were detected */
+    hasBreaking: boolean;
+    /** Whether the spec needs a version bump */
+    needsBump: boolean;
+}
+/** Aggregated version analysis result */
+export interface VersionAnalyzeResult {
+    /** Individual spec analyses */
+    analyses: SpecVersionAnalysis[];
+    /** Total specs analyzed */
+    totalSpecs: number;
+    /** Specs needing version bump */
+    specsNeedingBump: number;
+    /** Total breaking changes across all specs */
+    totalBreaking: number;
+    /** Total non-breaking changes */
+    totalNonBreaking: number;
+    /** Git baseline used for comparison */
+    baseline?: string;
+}
+/** Result of version bump operation */
+export interface VersionBumpResult {
+    /** Whether the bump was successful */
+    success: boolean;
+    /** Path to the updated spec file */
+    specPath: string;
+    /** Spec key */
+    specKey: string;
+    /** Previous version */
+    previousVersion: string;
+    /** New version */
+    newVersion: string;
+    /** Bump type applied */
+    bumpType: VersionBumpType;
+    /** Changelog entry created */
+    changelogEntry: ChangelogEntry;
+    /** Error message if failed */
+    error?: string;
+}
+/** Result of changelog generation */
+export interface ChangelogGenerateResult {
+    /** Per-spec DocBlock entries */
+    specChangelogs: ChangelogDocBlock[];
+    /** Library-level markdown by package path */
+    libraryMarkdown: Map<string, string>;
+    /** Monorepo-level markdown */
+    monorepoMarkdown: string;
+    /** JSON format for programmatic use */
+    json: ChangelogJsonExport;
+    /** Total entries generated */
+    totalEntries: number;
+}
+/** JSON export format for changelogs */
+export interface ChangelogJsonExport {
+    generatedAt: string;
+    baseline?: string;
+    specs: SpecChangelogJson[];
+    libraries: LibraryChangelogJson[];
+}
+/** Spec-level changelog in JSON format */
+export interface SpecChangelogJson {
+    key: string;
+    version: string;
+    path: string;
+    entries: ChangelogEntry[];
+}
+/** Library-level changelog in JSON format */
+export interface LibraryChangelogJson {
+    name: string;
+    path: string;
+    version: string;
+    entries: ChangelogEntry[];
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/versioning/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,WAAW,EACX,eAAe,EACf,gBAAgB,EACjB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAGjE,YAAY,EACV,iBAAiB,EACjB,cAAc,EACd,WAAW,EACX,eAAe,EACf,aAAa,EACb,gBAAgB,GACjB,CAAC;AAMF,mCAAmC;AACnC,MAAM,WAAW,qBAAqB;IACpC,uDAAuD;IACvD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sCAAsC;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+BAA+B;IAC/B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,oCAAoC;IACpC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,oCAAoC;IACpC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,+BAA+B;AAC/B,MAAM,WAAW,kBAAkB;IACjC,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,6CAA6C;IAC7C,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,gCAAgC;IAChC,OAAO,CAAC,EAAE,WAAW,EAAE,CAAC;IACxB,oCAAoC;IACpC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,qDAAqD;IACrD,MAAM,CAAC,EAAE,gBAAgB,CAAC;CAC3B;AAED,uCAAuC;AACvC,MAAM,WAAW,wBAAwB;IACvC,iCAAiC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,kCAAkC;IAClC,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC;IACxB,oBAAoB;IACpB,MAAM,CAAC,EAAE,kBAAkB,GAAG,cAAc,GAAG,QAAQ,CAAC;IACxD,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAMD,mDAAmD;AACnD,MAAM,WAAW,mBAAmB;IAClC,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,kCAAkC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,6CAA6C;IAC7C,gBAAgB,EAAE,MAAM,CAAC;IACzB,0BAA0B;IAC1B,QAAQ,EAAE,eAAe,CAAC;IAC1B,8CAA8C;IAC9C,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,6CAA6C;IAC7C,WAAW,EAAE,OAAO,CAAC;IACrB,4CAA4C;IAC5C,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,yCAAyC;AACzC,MAAM,WAAW,oBAAoB;IACnC,+BAA+B;IAC/B,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,2BAA2B;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,8CAA8C;IAC9C,aAAa,EAAE,MAAM,CAAC;IACtB,iCAAiC;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,uCAAuC;IACvC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,uCAAuC;AACvC,MAAM,WAAW,iBAAiB;IAChC,sCAAsC;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,uBAAuB;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,wBAAwB;IACxB,QAAQ,EAAE,eAAe,CAAC;IAC1B,8BAA8B;IAC9B,cAAc,EAAE,cAAc,CAAC;IAC/B,8BAA8B;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qCAAqC;AACrC,MAAM,WAAW,uBAAuB;IACtC,gCAAgC;IAChC,cAAc,EAAE,iBAAiB,EAAE,CAAC;IACpC,6CAA6C;IAC7C,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,8BAA8B;IAC9B,gBAAgB,EAAE,MAAM,CAAC;IACzB,uCAAuC;IACvC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,8BAA8B;IAC9B,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,wCAAwC;AACxC,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,SAAS,EAAE,oBAAoB,EAAE,CAAC;CACnC;AAED,0CAA0C;AAC1C,MAAM,WAAW,iBAAiB;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,cAAc,EAAE,CAAC;CAC3B;AAED,6CAA6C;AAC7C,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,cAAc,EAAE,CAAC;CAC3B"}

package/dist/services/versioning/versioning-service.d.ts

@@ -0,0 +1,76 @@
+/**
+ * Versioning service.
+ *
+ * Provides version analysis, version bumping, and changelog generation
+ * for ContractSpec specs.
+ */
+import { type ChangeEntry, type VersionBumpType } from '@contractspec/lib.contracts';
+import type { FsAdapter } from '../../ports/fs';
+import type { GitAdapter } from '../../ports/git';
+import type { LoggerAdapter } from '../../ports/logger';
+import type { VersionAnalyzeOptions, VersionAnalyzeResult, VersionBumpOptions, VersionBumpResult, ChangelogGenerateOptions, ChangelogGenerateResult } from './types';
+interface ServiceAdapters {
+    fs: FsAdapter;
+    git: GitAdapter;
+    logger: LoggerAdapter;
+}
+/**
+ * Analyze specs and suggest version bumps based on changes.
+ *
+ * Compares the current state against a baseline (git ref) and determines
+ * which specs need version bumps based on detected changes.
+ */
+export declare function analyzeVersions(adapters: ServiceAdapters, options?: VersionAnalyzeOptions): Promise<VersionAnalyzeResult>;
+/**
+ * Options for commit-based version analysis.
+ */
+export interface CommitAnalyzeOptions {
+    /** Git ref to compare against (branch, tag, commit) */
+    baseline?: string;
+    /** Workspace root directory */
+    workspaceRoot?: string;
+    /** Include commits matching these paths (glob patterns) */
+    include?: string[];
+    /** Exclude commits matching these paths (glob patterns) */
+    exclude?: string[];
+}
+/**
+ * Result of commit-based version analysis.
+ */
+export interface CommitAnalyzeResult {
+    /** Suggested bump type based on commits */
+    suggestedBumpType: VersionBumpType | null;
+    /** Parsed conventional commits */
+    commits: {
+        hash: string;
+        message: string;
+        type: string;
+        scope?: string;
+        breaking: boolean;
+    }[];
+    /** Change entries for changelog */
+    changes: ChangeEntry[];
+    /** Total commits analyzed */
+    totalCommits: number;
+    /** Breaking commits count */
+    breakingCommits: number;
+}
+/**
+ * Analyze version bump based on git commits.
+ *
+ * Parses conventional commits since the baseline and determines
+ * the appropriate version bump type.
+ */
+export declare function analyzeVersionsFromCommits(adapters: ServiceAdapters, options?: CommitAnalyzeOptions): Promise<CommitAnalyzeResult>;
+/**
+ * Apply a version bump to a spec file.
+ *
+ * Updates the version in the spec file and creates a changelog entry.
+ */
+export declare function applyVersionBump(adapters: ServiceAdapters, options: VersionBumpOptions): Promise<VersionBumpResult>;
+/**
+ * Generate changelogs at all configured tiers.
+ */
+export declare function generateChangelogs(adapters: ServiceAdapters, options?: ChangelogGenerateOptions): Promise<ChangelogGenerateResult>;
+export {};
+//# sourceMappingURL=versioning-service.d.ts.map

package/dist/services/versioning/versioning-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"versioning-service.d.ts","sourceRoot":"","sources":["../../../src/services/versioning/versioning-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAGL,KAAK,WAAW,EAGhB,KAAK,eAAe,EACrB,MAAM,6BAA6B,CAAC;AAErC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EACV,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,uBAAuB,EAExB,MAAM,SAAS,CAAC;AAejB,UAAU,eAAe;IACvB,EAAE,EAAE,SAAS,CAAC;IACd,GAAG,EAAE,UAAU,CAAC;IAChB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;;;GAKG;AACH,wBAAsB,eAAe,CACnC,QAAQ,EAAE,eAAe,EACzB,OAAO,GAAE,qBAA0B,GAClC,OAAO,CAAC,oBAAoB,CAAC,CA4F/B;AAMD;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,uDAAuD;IACvD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,2DAA2D;IAC3D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,2CAA2C;IAC3C,iBAAiB,EAAE,eAAe,GAAG,IAAI,CAAC;IAC1C,kCAAkC;IAClC,OAAO,EAAE;QACP,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,OAAO,CAAC;KACnB,EAAE,CAAC;IACJ,mCAAmC;IACnC,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,6BAA6B;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,QAAQ,EAAE,eAAe,EACzB,OAAO,GAAE,oBAAyB,GACjC,OAAO,CAAC,mBAAmB,CAAC,CA0D9B;AAMD;;;;GAIG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,eAAe,EACzB,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,iBAAiB,CAAC,CAoG5B;AAMD;;GAEG;AACH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,eAAe,EACzB,OAAO,GAAE,wBAA6B,GACrC,OAAO,CAAC,uBAAuB,CAAC,CA8ElC"}

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

@@ -0,0 +1,14 @@
+/**
+ * Vibe configuration loader.
+ *
+ * Loads vibe configuration from .contractspec/vibe/config.* files.
+ */
+import type { VibeConfig } from './types';
+import { DEFAULT_VIBE_CONFIG } from './types';
+export { DEFAULT_VIBE_CONFIG };
+/**
+ * Load vibe configuration from workspace.
+ * Merges defaults with any user-provided config.
+ */
+export declare function loadVibeConfig(cwd?: string): Promise<VibeConfig>;
+//# sourceMappingURL=config.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../src/services/vibe/config.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAOH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAE9C,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAE/B;;;GAGG;AACH,wBAAsB,cAAc,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CA6BtE"}

package/dist/services/vibe/context.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Context export service.
+ *
+ * Exports a safe context bundle for AI agents.
+ */
+export interface ContextExportResult {
+    success: boolean;
+    files: string[];
+    indexPath: string;
+    error?: string;
+}
+/**
+ * Export a context bundle for AI agents.
+ */
+export declare function exportContext(cwd?: string): Promise<ContextExportResult>;
+//# sourceMappingURL=context.d.ts.map

package/dist/services/vibe/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/services/vibe/context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAoBH,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAsB,aAAa,CACjC,GAAG,CAAC,EAAE,MAAM,GACX,OAAO,CAAC,mBAAmB,CAAC,CAqF9B"}

package/dist/services/vibe/definitions.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Built-in workflow definitions.
+ *
+ * These workflows are available by default in all ContractSpec projects.
+ */
+import type { Workflow } from './types';
+export declare const builtinWorkflows: Workflow[];
+//# sourceMappingURL=definitions.d.ts.map

package/dist/services/vibe/definitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../src/services/vibe/definitions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAExC,eAAO,MAAM,gBAAgB,EAAE,QAAQ,EA6HtC,CAAC"}