@contractspec/bundle.workspace 1.46.1 → 1.47.0

package/dist/services/integrity.d.ts

@@ -1,134 +0,0 @@
-import { FsAdapter } from "../ports/fs.js";
-import { LoggerAdapter } from "../ports/logger.js";
-import { AnalyzedSpecType, FeatureScanResult, RefInfo } from "@contractspec/module.workspace";
-
-//#region src/services/integrity.d.ts
-
-/**
- * Options for integrity analysis.
- */
-interface IntegrityAnalysisOptions {
-  /**
-   * Glob pattern for file discovery.
-   */
-  pattern?: string;
-  /**
-   * Scan all packages in monorepo.
-   */
-  all?: boolean;
-  /**
-   * Analyze only a specific feature by key.
-   */
-  featureKey?: string;
-  /**
-   * Filter by spec type.
-   */
-  specType?: AnalyzedSpecType;
-}
-/**
- * Location of a spec in the codebase.
- */
-interface SpecLocation {
-  key: string;
-  version: string;
-  file: string;
-  type: AnalyzedSpecType;
-  stability?: string;
-}
-/**
- * Inventory of all discovered specs organized by type.
- */
-interface SpecInventory {
-  operations: Map<string, SpecLocation>;
-  events: Map<string, SpecLocation>;
-  presentations: Map<string, SpecLocation>;
-  capabilities: Map<string, SpecLocation>;
-  workflows: Map<string, SpecLocation>;
-  dataViews: Map<string, SpecLocation>;
-  forms: Map<string, SpecLocation>;
-  migrations: Map<string, SpecLocation>;
-  experiments: Map<string, SpecLocation>;
-  integrations: Map<string, SpecLocation>;
-  knowledge: Map<string, SpecLocation>;
-  telemetry: Map<string, SpecLocation>;
-  appConfigs: Map<string, SpecLocation>;
-  policies: Map<string, SpecLocation>;
-  testSpecs: Map<string, SpecLocation>;
-}
-/**
- * An integrity issue found during analysis.
- */
-interface IntegrityIssue {
-  severity: 'error' | 'warning';
-  type: 'orphaned' | 'unresolved-ref' | 'missing-feature' | 'broken-link';
-  message: string;
-  file: string;
-  specKey?: string;
-  specType?: AnalyzedSpecType;
-  ref?: RefInfo;
-  featureKey?: string;
-}
-/**
- * Coverage metrics by spec type.
- */
-interface CoverageByType {
-  total: number;
-  covered: number;
-  orphaned: number;
-}
-/**
- * Result of integrity analysis.
- */
-interface IntegrityAnalysisResult {
-  /**
-   * All discovered specs organized by type.
-   */
-  inventory: SpecInventory;
-  /**
-   * All discovered features.
-   */
-  features: FeatureScanResult[];
-  /**
-   * Coverage metrics.
-   */
-  coverage: {
-    total: number;
-    linkedToFeature: number;
-    orphaned: number;
-    byType: Record<string, CoverageByType>;
-  };
-  /**
-   * Issues found during analysis.
-   */
-  issues: IntegrityIssue[];
-  /**
-   * Specs not linked to any feature.
-   */
-  orphanedSpecs: SpecLocation[];
-  /**
-   * Overall health status.
-   */
-  healthy: boolean;
-}
-/**
- * Analyze contract integrity.
- */
-declare function analyzeIntegrity(adapters: {
-  fs: FsAdapter;
-  logger: LoggerAdapter;
-}, options?: IntegrityAnalysisOptions): Promise<IntegrityAnalysisResult>;
-/**
- * Get all specs from inventory as a flat list.
- */
-declare function getAllSpecs(inventory: SpecInventory): SpecLocation[];
-/**
- * Filter issues by type.
- */
-declare function filterIssuesByType(issues: IntegrityIssue[], type: IntegrityIssue['type']): IntegrityIssue[];
-/**
- * Filter issues by severity.
- */
-declare function filterIssuesBySeverity(issues: IntegrityIssue[], severity: IntegrityIssue['severity']): IntegrityIssue[];
-//#endregion
-export { CoverageByType, IntegrityAnalysisOptions, IntegrityAnalysisResult, IntegrityIssue, SpecInventory, SpecLocation, analyzeIntegrity, filterIssuesBySeverity, filterIssuesByType, getAllSpecs };
-//# sourceMappingURL=integrity.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"integrity.d.ts","names":[],"sources":["../../src/services/integrity.ts"],"sourcesContent":[],"mappings":";;;;;;;;;AA+D4B,UAxCX,wBAAA,CAwCW;EAAZ;;;EAES,OAAA,CAAA,EAAA,MAAA;EAAZ;;;EAEa,GAAA,CAAA,EAAA,OAAA;EAAZ;;;EAEc,UAAA,CAAA,EAAA,MAAA;EAAZ;;;EAES,QAAA,CAAA,EA7BZ,gBA6BY;;;;;AAEb,UAzBK,YAAA,CAyBL;EACa,GAAA,EAAA,MAAA;EAAZ,OAAA,EAAA,MAAA;EAAG,IAAA,EAAA,MAAA;EAMC,IAAA,EA5BT,gBA4BuB;EAcd,SAAA,CAAA,EAAA,MAAc;AAS/B;;;;AAkBY,UA9DK,aAAA,CA8DL;EAMF,UAAA,EAnEI,GAmEJ,CAAA,MAAA,EAnEgB,YAmEhB,CAAA;EAKO,MAAA,EAvEP,GAuEO,CAAA,MAAA,EAvEK,YAuEL,CAAA;EAAY,aAAA,EAtEZ,GAsEY,CAAA,MAAA,EAtEA,YAsEA,CAAA;EAqEP,YAAA,EA1IN,GA0IM,CAAA,MAAgB,EA1IV,YA0IU,CAAA;EACpB,SAAA,EA1IL,GA0IK,CAAA,MAAA,EA1IO,YA0IP,CAAA;EAAmB,SAAA,EAzIxB,GAyIwB,CAAA,MAAA,EAzIZ,YAyIY,CAAA;EAC1B,KAAA,EAzIF,GAyIE,CAAA,MAAA,EAzIU,YAyIV,CAAA;EACA,UAAA,EAzIG,GAyIH,CAAA,MAAA,EAzIe,YAyIf,CAAA;EAAR,WAAA,EAxIY,GAwIZ,CAAA,MAAA,EAxIwB,YAwIxB,CAAA;EAAO,YAAA,EAvIM,GAuIN,CAAA,MAAA,EAvIkB,YAuIlB,CAAA;EAgRM,SAAA,EAtZH,GAsZc,CAAA,MAAA,EAtZF,YAsZc,CAAA;EAevB,SAAA,EApaH,GAoaG,CAAA,MAAkB,EApaT,YAoaS,CAAA;EACxB,UAAA,EApaI,GAoaJ,CAAA,MAAA,EApagB,YAoahB,CAAA;EACF,QAAA,EApaI,GAoaJ,CAAA,MAAA,EApagB,YAoahB,CAAA;EACL,SAAA,EApaU,GAoaV,CAAA,MAAA,EApasB,YAoatB,CAAA;;AAOH;;;AAGG,UAxac,cAAA,CAwad;EAAc,QAAA,EAAA,OAAA,GAAA,SAAA;;;;;aAlaJ;QACL;;;;;;UAOS,cAAA;;;;;;;;UASA,uBAAA;;;;aAIJ;;;;YAKD;;;;;;;;YASA,eAAe;;;;;UAMjB;;;;iBAKO;;;;;;;;;iBAqEK,gBAAA;MACJ;UAAmB;aAC1B,2BACR,QAAQ;;;;iBAgRK,WAAA,YAAuB,gBAAgB;;;;iBAevC,kBAAA,SACN,wBACF,yBACL;;;;iBAOa,sBAAA,SACN,4BACE,6BACT"}

package/dist/services/integrity.js

@@ -1,272 +0,0 @@
-import { isFeatureFile, scanAllSpecsFromSource, scanFeatureSource } from "@contractspec/module.workspace";
-
-//#region src/services/integrity.ts
-/**
-* Contract integrity analysis service.
-*
-* Analyzes contract specs and features to detect:
-* - Orphaned specs (not linked to any feature)
-* - Unresolved references (broken event/op/presentation refs)
-* - Feature coverage metrics
-*/
-/**
-* Build a spec key from name and version.
-*/
-function specKey(key, version) {
-	return `${key}.v${version}`;
-}
-/**
-* Create an empty spec inventory.
-*/
-function createEmptyInventory() {
-	return {
-		operations: /* @__PURE__ */ new Map(),
-		events: /* @__PURE__ */ new Map(),
-		presentations: /* @__PURE__ */ new Map(),
-		capabilities: /* @__PURE__ */ new Map(),
-		workflows: /* @__PURE__ */ new Map(),
-		dataViews: /* @__PURE__ */ new Map(),
-		forms: /* @__PURE__ */ new Map(),
-		migrations: /* @__PURE__ */ new Map(),
-		experiments: /* @__PURE__ */ new Map(),
-		integrations: /* @__PURE__ */ new Map(),
-		knowledge: /* @__PURE__ */ new Map(),
-		telemetry: /* @__PURE__ */ new Map(),
-		appConfigs: /* @__PURE__ */ new Map(),
-		policies: /* @__PURE__ */ new Map(),
-		testSpecs: /* @__PURE__ */ new Map()
-	};
-}
-/**
-* Get the inventory map for a spec type.
-*/
-function getInventoryMap(inventory, specType) {
-	return {
-		operation: inventory.operations,
-		event: inventory.events,
-		presentation: inventory.presentations,
-		capability: inventory.capabilities,
-		workflow: inventory.workflows,
-		"data-view": inventory.dataViews,
-		form: inventory.forms,
-		migration: inventory.migrations,
-		experiment: inventory.experiments,
-		integration: inventory.integrations,
-		knowledge: inventory.knowledge,
-		telemetry: inventory.telemetry,
-		"app-config": inventory.appConfigs,
-		policy: inventory.policies,
-		"test-spec": inventory.testSpecs
-	}[specType];
-}
-/**
-* Analyze contract integrity.
-*/
-async function analyzeIntegrity(adapters, options = {}) {
-	const { fs, logger } = adapters;
-	logger.info("Starting integrity analysis...", { options });
-	const files = await fs.glob({ pattern: options.pattern });
-	const inventory = createEmptyInventory();
-	const features = [];
-	const issues = [];
-	for (const file of files) {
-		const content = await fs.readFile(file);
-		if (isFeatureFile(file)) {
-			const feature = scanFeatureSource(content, file);
-			features.push(feature);
-		} else {
-			const specs = scanAllSpecsFromSource(content, file);
-			for (const spec of specs) if (spec.specType !== "unknown" && spec.specType !== "feature") {
-				const map = getInventoryMap(inventory, spec.specType);
-				if (map && spec.key && spec.version !== void 0) {
-					const key = specKey(spec.key, spec.version);
-					map.set(key, {
-						key: spec.key,
-						version: spec.version,
-						file: spec.filePath,
-						type: spec.specType,
-						stability: spec.stability
-					});
-				}
-			}
-		}
-	}
-	const relevantFeatures = options.featureKey ? features.filter((f) => f.key === options.featureKey) : features;
-	const referencedSpecs = /* @__PURE__ */ new Set();
-	for (const feature of relevantFeatures) {
-		for (const ref of feature.operations) {
-			const key = specKey(ref.key, ref.version);
-			referencedSpecs.add(`operation:${key}`);
-			if (!inventory.operations.has(key)) issues.push({
-				severity: "error",
-				type: "unresolved-ref",
-				message: `Operation ${ref.key}.v${ref.version} not found`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "operation",
-				ref
-			});
-		}
-		for (const ref of feature.events) {
-			const key = specKey(ref.key, ref.version);
-			referencedSpecs.add(`event:${key}`);
-			if (!inventory.events.has(key)) issues.push({
-				severity: "error",
-				type: "unresolved-ref",
-				message: `Event ${ref.key}.v${ref.version} not found`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "event",
-				ref
-			});
-		}
-		for (const ref of feature.presentations) {
-			const key = specKey(ref.key, ref.version);
-			referencedSpecs.add(`presentation:${key}`);
-			if (!inventory.presentations.has(key)) issues.push({
-				severity: "error",
-				type: "unresolved-ref",
-				message: `Presentation ${ref.key}.v${ref.version} not found`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "presentation",
-				ref
-			});
-		}
-		for (const ref of feature.experiments) {
-			const key = specKey(ref.key, ref.version);
-			referencedSpecs.add(`experiment:${key}`);
-			if (!inventory.experiments.has(key)) issues.push({
-				severity: "error",
-				type: "unresolved-ref",
-				message: `Experiment ${ref.key}.v${ref.version} not found`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "experiment",
-				ref
-			});
-		}
-		for (const ref of feature.capabilities.provides) {
-			const key = specKey(ref.key, ref.version);
-			referencedSpecs.add(`capability:${key}`);
-			if (!inventory.capabilities.has(key)) issues.push({
-				severity: "warning",
-				type: "unresolved-ref",
-				message: `Provided capability ${ref.key}.v${ref.version} not found`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "capability",
-				ref
-			});
-		}
-		for (const ref of feature.capabilities.requires) {
-			const key = specKey(ref.key, ref.version);
-			referencedSpecs.add(`capability:${key}`);
-		}
-		for (const link of feature.opToPresentationLinks) {
-			const opKey = specKey(link.op.key, link.op.version);
-			const presKey = specKey(link.pres.key, link.pres.version);
-			if (!inventory.operations.has(opKey)) issues.push({
-				severity: "error",
-				type: "broken-link",
-				message: `Linked operation ${link.op.key}.v${link.op.version} not found`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "operation",
-				ref: link.op
-			});
-			if (!inventory.presentations.has(presKey)) issues.push({
-				severity: "error",
-				type: "broken-link",
-				message: `Linked presentation ${link.pres.key}.v${link.pres.version} not found`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "presentation",
-				ref: link.pres
-			});
-		}
-	}
-	const orphanedSpecs = [];
-	const typesThatCanBeOrphaned = [
-		"operation",
-		"event",
-		"presentation",
-		"experiment"
-	];
-	for (const type of typesThatCanBeOrphaned) {
-		const map = getInventoryMap(inventory, type);
-		if (!map) continue;
-		for (const [key, location] of map) if (!referencedSpecs.has(`${type}:${key}`)) {
-			orphanedSpecs.push(location);
-			issues.push({
-				severity: "warning",
-				type: "orphaned",
-				message: `${type} ${location.key}.v${location.version} is not linked to any feature`,
-				file: location.file,
-				specKey: location.key,
-				specType: location.type
-			});
-		}
-	}
-	const coverageByType = {};
-	for (const type of typesThatCanBeOrphaned) {
-		const map = getInventoryMap(inventory, type);
-		if (!map) continue;
-		const total = map.size;
-		let covered = 0;
-		for (const key of map.keys()) if (referencedSpecs.has(`${type}:${key}`)) covered++;
-		coverageByType[type] = {
-			total,
-			covered,
-			orphaned: total - covered
-		};
-	}
-	const totalSpecs = Object.values(coverageByType).reduce((sum, c) => sum + c.total, 0);
-	const coveredSpecs = Object.values(coverageByType).reduce((sum, c) => sum + c.covered, 0);
-	const coverage = {
-		total: totalSpecs,
-		linkedToFeature: coveredSpecs,
-		orphaned: totalSpecs - coveredSpecs,
-		byType: coverageByType
-	};
-	const healthy = !issues.some((i) => i.severity === "error");
-	logger.info("Integrity analysis complete", {
-		features: features.length,
-		totalSpecs,
-		orphaned: orphanedSpecs.length,
-		issues: issues.length,
-		healthy
-	});
-	return {
-		inventory,
-		features: relevantFeatures,
-		coverage,
-		issues,
-		orphanedSpecs,
-		healthy
-	};
-}
-/**
-* Get all specs from inventory as a flat list.
-*/
-function getAllSpecs(inventory) {
-	const all = [];
-	for (const map of Object.values(inventory)) for (const spec of map.values()) all.push(spec);
-	return all;
-}
-/**
-* Filter issues by type.
-*/
-function filterIssuesByType(issues, type) {
-	return issues.filter((i) => i.type === type);
-}
-/**
-* Filter issues by severity.
-*/
-function filterIssuesBySeverity(issues, severity) {
-	return issues.filter((i) => i.severity === severity);
-}
-
-//#endregion
-export { analyzeIntegrity, filterIssuesBySeverity, filterIssuesByType, getAllSpecs };
-//# sourceMappingURL=integrity.js.map

package/dist/services/integrity.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"integrity.js","names":["features: FeatureScanResult[]","issues: IntegrityIssue[]","orphanedSpecs: SpecLocation[]","typesThatCanBeOrphaned: AnalyzedSpecType[]","coverageByType: Record<string, CoverageByType>","all: SpecLocation[]"],"sources":["../../src/services/integrity.ts"],"sourcesContent":["/**\n * Contract integrity analysis service.\n *\n * Analyzes contract specs and features to detect:\n * - Orphaned specs (not linked to any feature)\n * - Unresolved references (broken event/op/presentation refs)\n * - Feature coverage metrics\n */\n\nimport {\n  type AnalyzedSpecType,\n  type FeatureScanResult,\n  isFeatureFile,\n  type RefInfo,\n  scanAllSpecsFromSource,\n  scanFeatureSource,\n} from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../ports/fs';\nimport type { LoggerAdapter } from '../ports/logger';\n\n/**\n * Options for integrity analysis.\n */\nexport interface IntegrityAnalysisOptions {\n  /**\n   * Glob pattern for file discovery.\n   */\n  pattern?: string;\n\n  /**\n   * Scan all packages in monorepo.\n   */\n  all?: boolean;\n\n  /**\n   * Analyze only a specific feature by key.\n   */\n  featureKey?: string;\n\n  /**\n   * Filter by spec type.\n   */\n  specType?: AnalyzedSpecType;\n}\n\n/**\n * Location of a spec in the codebase.\n */\nexport interface SpecLocation {\n  key: string;\n  version: string;\n  file: string;\n  type: AnalyzedSpecType;\n  stability?: string;\n}\n\n/**\n * Inventory of all discovered specs organized by type.\n */\nexport interface SpecInventory {\n  operations: Map<string, SpecLocation>;\n  events: Map<string, SpecLocation>;\n  presentations: Map<string, SpecLocation>;\n  capabilities: Map<string, SpecLocation>;\n  workflows: Map<string, SpecLocation>;\n  dataViews: Map<string, SpecLocation>;\n  forms: Map<string, SpecLocation>;\n  migrations: Map<string, SpecLocation>;\n  experiments: Map<string, SpecLocation>;\n  integrations: Map<string, SpecLocation>;\n  knowledge: Map<string, SpecLocation>;\n  telemetry: Map<string, SpecLocation>;\n  appConfigs: Map<string, SpecLocation>;\n  policies: Map<string, SpecLocation>;\n  testSpecs: Map<string, SpecLocation>;\n}\n\n/**\n * An integrity issue found during analysis.\n */\nexport interface IntegrityIssue {\n  severity: 'error' | 'warning';\n  type: 'orphaned' | 'unresolved-ref' | 'missing-feature' | 'broken-link';\n  message: string;\n  file: string;\n  specKey?: string;\n  specType?: AnalyzedSpecType;\n  ref?: RefInfo;\n  featureKey?: string;\n}\n\n/**\n * Coverage metrics by spec type.\n */\nexport interface CoverageByType {\n  total: number;\n  covered: number;\n  orphaned: number;\n}\n\n/**\n * Result of integrity analysis.\n */\nexport interface IntegrityAnalysisResult {\n  /**\n   * All discovered specs organized by type.\n   */\n  inventory: SpecInventory;\n\n  /**\n   * All discovered features.\n   */\n  features: FeatureScanResult[];\n\n  /**\n   * Coverage metrics.\n   */\n  coverage: {\n    total: number;\n    linkedToFeature: number;\n    orphaned: number;\n    byType: Record<string, CoverageByType>;\n  };\n\n  /**\n   * Issues found during analysis.\n   */\n  issues: IntegrityIssue[];\n\n  /**\n   * Specs not linked to any feature.\n   */\n  orphanedSpecs: SpecLocation[];\n\n  /**\n   * Overall health status.\n   */\n  healthy: boolean;\n}\n\n/**\n * Build a spec key from name and version.\n */\nfunction specKey(key: string, version: string): string {\n  return `${key}.v${version}`;\n}\n\n/**\n * Create an empty spec inventory.\n */\nfunction createEmptyInventory(): SpecInventory {\n  return {\n    operations: new Map(),\n    events: new Map(),\n    presentations: new Map(),\n    capabilities: new Map(),\n    workflows: new Map(),\n    dataViews: new Map(),\n    forms: new Map(),\n    migrations: new Map(),\n    experiments: new Map(),\n    integrations: new Map(),\n    knowledge: new Map(),\n    telemetry: new Map(),\n    appConfigs: new Map(),\n    policies: new Map(),\n    testSpecs: new Map(),\n  };\n}\n\n/**\n * Get the inventory map for a spec type.\n */\nfunction getInventoryMap(\n  inventory: SpecInventory,\n  specType: AnalyzedSpecType\n): Map<string, SpecLocation> | undefined {\n  const typeToMap: Record<string, Map<string, SpecLocation>> = {\n    operation: inventory.operations,\n    event: inventory.events,\n    presentation: inventory.presentations,\n    capability: inventory.capabilities,\n    workflow: inventory.workflows,\n    'data-view': inventory.dataViews,\n    form: inventory.forms,\n    migration: inventory.migrations,\n    experiment: inventory.experiments,\n    integration: inventory.integrations,\n    knowledge: inventory.knowledge,\n    telemetry: inventory.telemetry,\n    'app-config': inventory.appConfigs,\n    policy: inventory.policies,\n    'test-spec': inventory.testSpecs,\n  };\n\n  return typeToMap[specType];\n}\n\n/**\n * Analyze contract integrity.\n */\nexport async function analyzeIntegrity(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  options: IntegrityAnalysisOptions = {}\n): Promise<IntegrityAnalysisResult> {\n  const { fs, logger } = adapters;\n\n  logger.info('Starting integrity analysis...', { options });\n\n  // Discover all spec and feature files\n  const files = await fs.glob({ pattern: options.pattern });\n\n  const inventory = createEmptyInventory();\n  const features: FeatureScanResult[] = [];\n  const issues: IntegrityIssue[] = [];\n\n  // Scan all files\n  for (const file of files) {\n    const content = await fs.readFile(file);\n\n    if (isFeatureFile(file)) {\n      // Scan as feature\n      const feature = scanFeatureSource(content, file);\n      features.push(feature);\n    } else {\n      // Scan as spec - use the multi-spec scanner to find ALL specs in the file\n      const specs = scanAllSpecsFromSource(content, file);\n\n      for (const spec of specs) {\n        if (spec.specType !== 'unknown' && spec.specType !== 'feature') {\n          const map = getInventoryMap(inventory, spec.specType);\n\n          if (map && spec.key && spec.version !== undefined) {\n            const key = specKey(spec.key, spec.version);\n            map.set(key, {\n              key: spec.key,\n              version: spec.version,\n              file: spec.filePath,\n              type: spec.specType,\n              stability: spec.stability,\n            });\n          }\n        }\n      }\n    }\n  }\n\n  // Filter features if featureKey is specified\n  const relevantFeatures = options.featureKey\n    ? features.filter((f) => f.key === options.featureKey)\n    : features;\n\n  // Build set of specs referenced by features\n  const referencedSpecs = new Set<string>();\n\n  for (const feature of relevantFeatures) {\n    // Check operation refs\n    for (const ref of feature.operations) {\n      const key = specKey(ref.key, ref.version);\n      referencedSpecs.add(`operation:${key}`);\n\n      if (!inventory.operations.has(key)) {\n        issues.push({\n          severity: 'error',\n          type: 'unresolved-ref',\n          message: `Operation ${ref.key}.v${ref.version} not found`,\n          file: feature.filePath,\n          featureKey: feature.key,\n          specType: 'operation',\n          ref,\n        });\n      }\n    }\n\n    // Check event refs\n    for (const ref of feature.events) {\n      const key = specKey(ref.key, ref.version);\n      referencedSpecs.add(`event:${key}`);\n\n      if (!inventory.events.has(key)) {\n        issues.push({\n          severity: 'error',\n          type: 'unresolved-ref',\n          message: `Event ${ref.key}.v${ref.version} not found`,\n          file: feature.filePath,\n          featureKey: feature.key,\n          specType: 'event',\n          ref,\n        });\n      }\n    }\n\n    // Check presentation refs\n    for (const ref of feature.presentations) {\n      const key = specKey(ref.key, ref.version);\n      referencedSpecs.add(`presentation:${key}`);\n\n      if (!inventory.presentations.has(key)) {\n        issues.push({\n          severity: 'error',\n          type: 'unresolved-ref',\n          message: `Presentation ${ref.key}.v${ref.version} not found`,\n          file: feature.filePath,\n          featureKey: feature.key,\n          specType: 'presentation',\n          ref,\n        });\n      }\n    }\n\n    // Check experiment refs\n    for (const ref of feature.experiments) {\n      const key = specKey(ref.key, ref.version);\n      referencedSpecs.add(`experiment:${key}`);\n\n      if (!inventory.experiments.has(key)) {\n        issues.push({\n          severity: 'error',\n          type: 'unresolved-ref',\n          message: `Experiment ${ref.key}.v${ref.version} not found`,\n          file: feature.filePath,\n          featureKey: feature.key,\n          specType: 'experiment',\n          ref,\n        });\n      }\n    }\n\n    // Check capability refs (provides and requires)\n    for (const ref of feature.capabilities.provides) {\n      const key = specKey(ref.key, ref.version);\n      referencedSpecs.add(`capability:${key}`);\n\n      if (!inventory.capabilities.has(key)) {\n        issues.push({\n          severity: 'warning',\n          type: 'unresolved-ref',\n          message: `Provided capability ${ref.key}.v${ref.version} not found`,\n          file: feature.filePath,\n          featureKey: feature.key,\n          specType: 'capability',\n          ref,\n        });\n      }\n    }\n\n    for (const ref of feature.capabilities.requires) {\n      const key = specKey(ref.key, ref.version);\n      // Required capabilities are expected to be provided by other features\n      // We just track the reference\n      referencedSpecs.add(`capability:${key}`);\n    }\n\n    // Check op to presentation links\n    for (const link of feature.opToPresentationLinks) {\n      const opKey = specKey(link.op.key, link.op.version);\n      const presKey = specKey(link.pres.key, link.pres.version);\n\n      if (!inventory.operations.has(opKey)) {\n        issues.push({\n          severity: 'error',\n          type: 'broken-link',\n          message: `Linked operation ${link.op.key}.v${link.op.version} not found`,\n          file: feature.filePath,\n          featureKey: feature.key,\n          specType: 'operation',\n          ref: link.op,\n        });\n      }\n\n      if (!inventory.presentations.has(presKey)) {\n        issues.push({\n          severity: 'error',\n          type: 'broken-link',\n          message: `Linked presentation ${link.pres.key}.v${link.pres.version} not found`,\n          file: feature.filePath,\n          featureKey: feature.key,\n          specType: 'presentation',\n          ref: link.pres,\n        });\n      }\n    }\n  }\n\n  // Find orphaned specs (not referenced by any feature)\n  const orphanedSpecs: SpecLocation[] = [];\n  const typesThatCanBeOrphaned: AnalyzedSpecType[] = [\n    'operation',\n    'event',\n    'presentation',\n    'experiment',\n  ];\n\n  for (const type of typesThatCanBeOrphaned) {\n    const map = getInventoryMap(inventory, type);\n    if (!map) continue;\n\n    for (const [key, location] of map) {\n      if (!referencedSpecs.has(`${type}:${key}`)) {\n        orphanedSpecs.push(location);\n        issues.push({\n          severity: 'warning',\n          type: 'orphaned',\n          message: `${type} ${location.key}.v${location.version} is not linked to any feature`,\n          file: location.file,\n          specKey: location.key,\n          specType: location.type,\n        });\n      }\n    }\n  }\n\n  // Calculate coverage metrics\n  const coverageByType: Record<string, CoverageByType> = {};\n\n  for (const type of typesThatCanBeOrphaned) {\n    const map = getInventoryMap(inventory, type);\n    if (!map) continue;\n\n    const total = map.size;\n    let covered = 0;\n\n    for (const key of map.keys()) {\n      if (referencedSpecs.has(`${type}:${key}`)) {\n        covered++;\n      }\n    }\n\n    coverageByType[type] = {\n      total,\n      covered,\n      orphaned: total - covered,\n    };\n  }\n\n  const totalSpecs = Object.values(coverageByType).reduce(\n    (sum, c) => sum + c.total,\n    0\n  );\n  const coveredSpecs = Object.values(coverageByType).reduce(\n    (sum, c) => sum + c.covered,\n    0\n  );\n\n  const coverage = {\n    total: totalSpecs,\n    linkedToFeature: coveredSpecs,\n    orphaned: totalSpecs - coveredSpecs,\n    byType: coverageByType,\n  };\n\n  // Determine overall health\n  const hasErrors = issues.some((i) => i.severity === 'error');\n  const healthy = !hasErrors;\n\n  logger.info('Integrity analysis complete', {\n    features: features.length,\n    totalSpecs,\n    orphaned: orphanedSpecs.length,\n    issues: issues.length,\n    healthy,\n  });\n\n  return {\n    inventory,\n    features: relevantFeatures,\n    coverage,\n    issues,\n    orphanedSpecs,\n    healthy,\n  };\n}\n\n/**\n * Get all specs from inventory as a flat list.\n */\nexport function getAllSpecs(inventory: SpecInventory): SpecLocation[] {\n  const all: SpecLocation[] = [];\n\n  for (const map of Object.values(inventory)) {\n    for (const spec of map.values()) {\n      all.push(spec);\n    }\n  }\n\n  return all;\n}\n\n/**\n * Filter issues by type.\n */\nexport function filterIssuesByType(\n  issues: IntegrityIssue[],\n  type: IntegrityIssue['type']\n): IntegrityIssue[] {\n  return issues.filter((i) => i.type === type);\n}\n\n/**\n * Filter issues by severity.\n */\nexport function filterIssuesBySeverity(\n  issues: IntegrityIssue[],\n  severity: IntegrityIssue['severity']\n): IntegrityIssue[] {\n  return issues.filter((i) => i.severity === severity);\n}\n"],"mappings":";;;;;;;;;;;;;;AA+IA,SAAS,QAAQ,KAAa,SAAyB;AACrD,QAAO,GAAG,IAAI,IAAI;;;;;AAMpB,SAAS,uBAAsC;AAC7C,QAAO;EACL,4BAAY,IAAI,KAAK;EACrB,wBAAQ,IAAI,KAAK;EACjB,+BAAe,IAAI,KAAK;EACxB,8BAAc,IAAI,KAAK;EACvB,2BAAW,IAAI,KAAK;EACpB,2BAAW,IAAI,KAAK;EACpB,uBAAO,IAAI,KAAK;EAChB,4BAAY,IAAI,KAAK;EACrB,6BAAa,IAAI,KAAK;EACtB,8BAAc,IAAI,KAAK;EACvB,2BAAW,IAAI,KAAK;EACpB,2BAAW,IAAI,KAAK;EACpB,4BAAY,IAAI,KAAK;EACrB,0BAAU,IAAI,KAAK;EACnB,2BAAW,IAAI,KAAK;EACrB;;;;;AAMH,SAAS,gBACP,WACA,UACuC;AAmBvC,QAlB6D;EAC3D,WAAW,UAAU;EACrB,OAAO,UAAU;EACjB,cAAc,UAAU;EACxB,YAAY,UAAU;EACtB,UAAU,UAAU;EACpB,aAAa,UAAU;EACvB,MAAM,UAAU;EAChB,WAAW,UAAU;EACrB,YAAY,UAAU;EACtB,aAAa,UAAU;EACvB,WAAW,UAAU;EACrB,WAAW,UAAU;EACrB,cAAc,UAAU;EACxB,QAAQ,UAAU;EAClB,aAAa,UAAU;EACxB,CAEgB;;;;;AAMnB,eAAsB,iBACpB,UACA,UAAoC,EAAE,EACJ;CAClC,MAAM,EAAE,IAAI,WAAW;AAEvB,QAAO,KAAK,kCAAkC,EAAE,SAAS,CAAC;CAG1D,MAAM,QAAQ,MAAM,GAAG,KAAK,EAAE,SAAS,QAAQ,SAAS,CAAC;CAEzD,MAAM,YAAY,sBAAsB;CACxC,MAAMA,WAAgC,EAAE;CACxC,MAAMC,SAA2B,EAAE;AAGnC,MAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,UAAU,MAAM,GAAG,SAAS,KAAK;AAEvC,MAAI,cAAc,KAAK,EAAE;GAEvB,MAAM,UAAU,kBAAkB,SAAS,KAAK;AAChD,YAAS,KAAK,QAAQ;SACjB;GAEL,MAAM,QAAQ,uBAAuB,SAAS,KAAK;AAEnD,QAAK,MAAM,QAAQ,MACjB,KAAI,KAAK,aAAa,aAAa,KAAK,aAAa,WAAW;IAC9D,MAAM,MAAM,gBAAgB,WAAW,KAAK,SAAS;AAErD,QAAI,OAAO,KAAK,OAAO,KAAK,YAAY,QAAW;KACjD,MAAM,MAAM,QAAQ,KAAK,KAAK,KAAK,QAAQ;AAC3C,SAAI,IAAI,KAAK;MACX,KAAK,KAAK;MACV,SAAS,KAAK;MACd,MAAM,KAAK;MACX,MAAM,KAAK;MACX,WAAW,KAAK;MACjB,CAAC;;;;;CAQZ,MAAM,mBAAmB,QAAQ,aAC7B,SAAS,QAAQ,MAAM,EAAE,QAAQ,QAAQ,WAAW,GACpD;CAGJ,MAAM,kCAAkB,IAAI,KAAa;AAEzC,MAAK,MAAM,WAAW,kBAAkB;AAEtC,OAAK,MAAM,OAAO,QAAQ,YAAY;GACpC,MAAM,MAAM,QAAQ,IAAI,KAAK,IAAI,QAAQ;AACzC,mBAAgB,IAAI,aAAa,MAAM;AAEvC,OAAI,CAAC,UAAU,WAAW,IAAI,IAAI,CAChC,QAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,aAAa,IAAI,IAAI,IAAI,IAAI,QAAQ;IAC9C,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV;IACD,CAAC;;AAKN,OAAK,MAAM,OAAO,QAAQ,QAAQ;GAChC,MAAM,MAAM,QAAQ,IAAI,KAAK,IAAI,QAAQ;AACzC,mBAAgB,IAAI,SAAS,MAAM;AAEnC,OAAI,CAAC,UAAU,OAAO,IAAI,IAAI,CAC5B,QAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,SAAS,IAAI,IAAI,IAAI,IAAI,QAAQ;IAC1C,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV;IACD,CAAC;;AAKN,OAAK,MAAM,OAAO,QAAQ,eAAe;GACvC,MAAM,MAAM,QAAQ,IAAI,KAAK,IAAI,QAAQ;AACzC,mBAAgB,IAAI,gBAAgB,MAAM;AAE1C,OAAI,CAAC,UAAU,cAAc,IAAI,IAAI,CACnC,QAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,gBAAgB,IAAI,IAAI,IAAI,IAAI,QAAQ;IACjD,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV;IACD,CAAC;;AAKN,OAAK,MAAM,OAAO,QAAQ,aAAa;GACrC,MAAM,MAAM,QAAQ,IAAI,KAAK,IAAI,QAAQ;AACzC,mBAAgB,IAAI,cAAc,MAAM;AAExC,OAAI,CAAC,UAAU,YAAY,IAAI,IAAI,CACjC,QAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,cAAc,IAAI,IAAI,IAAI,IAAI,QAAQ;IAC/C,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV;IACD,CAAC;;AAKN,OAAK,MAAM,OAAO,QAAQ,aAAa,UAAU;GAC/C,MAAM,MAAM,QAAQ,IAAI,KAAK,IAAI,QAAQ;AACzC,mBAAgB,IAAI,cAAc,MAAM;AAExC,OAAI,CAAC,UAAU,aAAa,IAAI,IAAI,CAClC,QAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,uBAAuB,IAAI,IAAI,IAAI,IAAI,QAAQ;IACxD,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV;IACD,CAAC;;AAIN,OAAK,MAAM,OAAO,QAAQ,aAAa,UAAU;GAC/C,MAAM,MAAM,QAAQ,IAAI,KAAK,IAAI,QAAQ;AAGzC,mBAAgB,IAAI,cAAc,MAAM;;AAI1C,OAAK,MAAM,QAAQ,QAAQ,uBAAuB;GAChD,MAAM,QAAQ,QAAQ,KAAK,GAAG,KAAK,KAAK,GAAG,QAAQ;GACnD,MAAM,UAAU,QAAQ,KAAK,KAAK,KAAK,KAAK,KAAK,QAAQ;AAEzD,OAAI,CAAC,UAAU,WAAW,IAAI,MAAM,CAClC,QAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,oBAAoB,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,QAAQ;IAC7D,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV,KAAK,KAAK;IACX,CAAC;AAGJ,OAAI,CAAC,UAAU,cAAc,IAAI,QAAQ,CACvC,QAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,uBAAuB,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,QAAQ;IACpE,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV,KAAK,KAAK;IACX,CAAC;;;CAMR,MAAMC,gBAAgC,EAAE;CACxC,MAAMC,yBAA6C;EACjD;EACA;EACA;EACA;EACD;AAED,MAAK,MAAM,QAAQ,wBAAwB;EACzC,MAAM,MAAM,gBAAgB,WAAW,KAAK;AAC5C,MAAI,CAAC,IAAK;AAEV,OAAK,MAAM,CAAC,KAAK,aAAa,IAC5B,KAAI,CAAC,gBAAgB,IAAI,GAAG,KAAK,GAAG,MAAM,EAAE;AAC1C,iBAAc,KAAK,SAAS;AAC5B,UAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,GAAG,KAAK,GAAG,SAAS,IAAI,IAAI,SAAS,QAAQ;IACtD,MAAM,SAAS;IACf,SAAS,SAAS;IAClB,UAAU,SAAS;IACpB,CAAC;;;CAMR,MAAMC,iBAAiD,EAAE;AAEzD,MAAK,MAAM,QAAQ,wBAAwB;EACzC,MAAM,MAAM,gBAAgB,WAAW,KAAK;AAC5C,MAAI,CAAC,IAAK;EAEV,MAAM,QAAQ,IAAI;EAClB,IAAI,UAAU;AAEd,OAAK,MAAM,OAAO,IAAI,MAAM,CAC1B,KAAI,gBAAgB,IAAI,GAAG,KAAK,GAAG,MAAM,CACvC;AAIJ,iBAAe,QAAQ;GACrB;GACA;GACA,UAAU,QAAQ;GACnB;;CAGH,MAAM,aAAa,OAAO,OAAO,eAAe,CAAC,QAC9C,KAAK,MAAM,MAAM,EAAE,OACpB,EACD;CACD,MAAM,eAAe,OAAO,OAAO,eAAe,CAAC,QAChD,KAAK,MAAM,MAAM,EAAE,SACpB,EACD;CAED,MAAM,WAAW;EACf,OAAO;EACP,iBAAiB;EACjB,UAAU,aAAa;EACvB,QAAQ;EACT;CAID,MAAM,UAAU,CADE,OAAO,MAAM,MAAM,EAAE,aAAa,QAAQ;AAG5D,QAAO,KAAK,+BAA+B;EACzC,UAAU,SAAS;EACnB;EACA,UAAU,cAAc;EACxB,QAAQ,OAAO;EACf;EACD,CAAC;AAEF,QAAO;EACL;EACA,UAAU;EACV;EACA;EACA;EACA;EACD;;;;;AAMH,SAAgB,YAAY,WAA0C;CACpE,MAAMC,MAAsB,EAAE;AAE9B,MAAK,MAAM,OAAO,OAAO,OAAO,UAAU,CACxC,MAAK,MAAM,QAAQ,IAAI,QAAQ,CAC7B,KAAI,KAAK,KAAK;AAIlB,QAAO;;;;;AAMT,SAAgB,mBACd,QACA,MACkB;AAClB,QAAO,OAAO,QAAQ,MAAM,EAAE,SAAS,KAAK;;;;;AAM9C,SAAgB,uBACd,QACA,UACkB;AAClB,QAAO,OAAO,QAAQ,MAAM,EAAE,aAAa,SAAS"}

package/dist/services/layer-discovery.d.ts

@@ -1,77 +0,0 @@
-import { FsAdapter } from "../ports/fs.js";
-import { LoggerAdapter } from "../ports/logger.js";
-import { ExampleScanResult, FeatureScanResult, SpecScanResult } from "@contractspec/module.workspace";
-
-//#region src/services/layer-discovery.d.ts
-
-/**
- * Location of a layer file in the codebase.
- */
-interface LayerLocation {
-  key: string;
-  version?: string;
-  file: string;
-  type: 'feature' | 'example' | 'app-config' | 'workspace-config';
-}
-/**
- * Inventory of all discovered layers.
- */
-interface LayerInventory {
-  /** Discovered features */
-  features: Map<string, FeatureScanResult>;
-  /** Discovered examples */
-  examples: Map<string, ExampleScanResult>;
-  /** Discovered app configs */
-  appConfigs: Map<string, SpecScanResult>;
-  /** Discovered workspace configs */
-  workspaceConfigs: Map<string, WorkspaceConfigInfo>;
-}
-/**
- * Workspace config information.
- */
-interface WorkspaceConfigInfo {
-  file: string;
-  config: Record<string, unknown>;
-  valid: boolean;
-  errors: string[];
-}
-/**
- * Options for layer discovery.
- */
-interface LayerDiscoveryOptions {
-  /** Glob pattern for file discovery */
-  pattern?: string;
-  /** Scan all packages in monorepo */
-  all?: boolean;
-}
-/**
- * Result of layer discovery.
- */
-interface LayerDiscoveryResult {
-  inventory: LayerInventory;
-  stats: {
-    features: number;
-    examples: number;
-    appConfigs: number;
-    workspaceConfigs: number;
-    total: number;
-  };
-}
-/**
- * Create an empty layer inventory.
- */
-declare function createEmptyLayerInventory(): LayerInventory;
-/**
- * Discover all contract layers in a workspace.
- */
-declare function discoverLayers(adapters: {
-  fs: FsAdapter;
-  logger: LoggerAdapter;
-}, options?: LayerDiscoveryOptions): Promise<LayerDiscoveryResult>;
-/**
- * Get all layers as a flat list with locations.
- */
-declare function getAllLayerLocations(inventory: LayerInventory): LayerLocation[];
-//#endregion
-export { LayerDiscoveryOptions, LayerDiscoveryResult, LayerInventory, LayerLocation, WorkspaceConfigInfo, createEmptyLayerInventory, discoverLayers, getAllLayerLocations };
-//# sourceMappingURL=layer-discovery.d.ts.map

package/dist/services/layer-discovery.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"layer-discovery.d.ts","names":[],"sources":["../../src/services/layer-discovery.ts"],"sourcesContent":[],"mappings":";;;;;;;;;AA4CuB,UAlBN,aAAA,CAkBM;EAMN,GAAA,EAAA,MAAA;EAUA,OAAA,CAAA,EAAA,MAAA;EAUA,IAAA,EAAA,MAAA;EAcD,IAAA,EAAA,SAAA,GAAA,SAAA,GAAyB,YAAI,GAAA,kBAAc;AAY3D;;;;AAGW,UA/DM,cAAA,CA+DN;EAAR;EAAO,QAAA,EA7DE,GA6DF,CAAA,MAAA,EA7Dc,iBA6Dd,CAAA;EAoGM;YA/JJ,YAAY;;cAEV,YAAY;;oBAEN,YAAY;;;;;UAMf,mBAAA;;UAEP;;;;;;;UAQO,qBAAA;;;;;;;;;UAUA,oBAAA;aACJ;;;;;;;;;;;;iBAaG,yBAAA,CAAA,GAA6B;;;;iBAYvB,cAAA;MACJ;UAAmB;aAC1B,wBACR,QAAQ;;;;iBAoGK,oBAAA,YACH,iBACV"}

package/dist/services/layer-discovery.js

@@ -1,121 +0,0 @@
-import { isExampleFile, isFeatureFile, scanAllSpecsFromSource, scanExampleSource, scanFeatureSource } from "@contractspec/module.workspace";
-
-//#region src/services/layer-discovery.ts
-/**
-* Layer discovery service.
-*
-* Discovers all contract layer files in a workspace:
-* - Features (*.feature.ts)
-* - Examples (example.ts, *.example.ts)
-* - App Configs (*.app-config.ts, *.blueprint.ts)
-* - Workspace Config (.contractsrc.json)
-*/
-/**
-* Create an empty layer inventory.
-*/
-function createEmptyLayerInventory() {
-	return {
-		features: /* @__PURE__ */ new Map(),
-		examples: /* @__PURE__ */ new Map(),
-		appConfigs: /* @__PURE__ */ new Map(),
-		workspaceConfigs: /* @__PURE__ */ new Map()
-	};
-}
-/**
-* Discover all contract layers in a workspace.
-*/
-async function discoverLayers(adapters, options = {}) {
-	const { fs, logger } = adapters;
-	const inventory = createEmptyLayerInventory();
-	const pattern = options.pattern ?? "**/*.{ts,tsx}";
-	logger.info("Scanning for contract layer files...");
-	const files = await fs.glob({ pattern });
-	for (const file of files) {
-		if (file.includes("node_modules") || file.includes("/dist/")) continue;
-		try {
-			const code = await fs.readFile(file);
-			if (isFeatureFile(file)) {
-				const result = scanFeatureSource(code, file);
-				inventory.features.set(result.key, result);
-				continue;
-			}
-			if (isExampleFile(file)) {
-				const result = scanExampleSource(code, file);
-				inventory.examples.set(result.key, result);
-				continue;
-			}
-			if (file.includes(".app-config.") || file.includes(".blueprint.")) {
-				const specs = scanAllSpecsFromSource(code, file);
-				for (const spec of specs) if (spec.specType === "app-config" && spec.key) inventory.appConfigs.set(spec.key, spec);
-			}
-		} catch {}
-	}
-	try {
-		const configFiles = await fs.glob({ pattern: "**/.contractsrc.json" });
-		for (const configFile of configFiles) {
-			if (configFile.includes("node_modules")) continue;
-			try {
-				const content = await fs.readFile(configFile);
-				const config = JSON.parse(content);
-				inventory.workspaceConfigs.set(configFile, {
-					file: configFile,
-					config,
-					valid: true,
-					errors: []
-				});
-			} catch (e) {
-				inventory.workspaceConfigs.set(configFile, {
-					file: configFile,
-					config: {},
-					valid: false,
-					errors: [e instanceof Error ? e.message : "Parse error"]
-				});
-			}
-		}
-	} catch {}
-	const stats = {
-		features: inventory.features.size,
-		examples: inventory.examples.size,
-		appConfigs: inventory.appConfigs.size,
-		workspaceConfigs: inventory.workspaceConfigs.size,
-		total: inventory.features.size + inventory.examples.size + inventory.appConfigs.size + inventory.workspaceConfigs.size
-	};
-	logger.info(`Discovered ${stats.features} features, ${stats.examples} examples, ${stats.appConfigs} app configs, ${stats.workspaceConfigs} workspace configs`);
-	return {
-		inventory,
-		stats
-	};
-}
-/**
-* Get all layers as a flat list with locations.
-*/
-function getAllLayerLocations(inventory) {
-	const locations = [];
-	for (const [key, feature] of inventory.features) locations.push({
-		key,
-		file: feature.filePath,
-		type: "feature"
-	});
-	for (const [key, example] of inventory.examples) locations.push({
-		key,
-		version: example.version,
-		file: example.filePath,
-		type: "example"
-	});
-	for (const [key, appConfig] of inventory.appConfigs) locations.push({
-		key,
-		version: appConfig.version,
-		file: appConfig.filePath,
-		type: "app-config"
-	});
-	for (const [, config] of inventory.workspaceConfigs) locations.push({
-		key: config.file,
-		file: config.file,
-		type: "workspace-config"
-	});
-	return locations;
-}
-
-//#endregion
-export { createEmptyLayerInventory, discoverLayers, getAllLayerLocations };
-//# sourceMappingURL=layer-discovery.js.map

package/dist/services/layer-discovery.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"layer-discovery.js","names":["locations: LayerLocation[]"],"sources":["../../src/services/layer-discovery.ts"],"sourcesContent":["/**\n * Layer discovery service.\n *\n * Discovers all contract layer files in a workspace:\n * - Features (*.feature.ts)\n * - Examples (example.ts, *.example.ts)\n * - App Configs (*.app-config.ts, *.blueprint.ts)\n * - Workspace Config (.contractsrc.json)\n */\n\nimport {\n  isFeatureFile,\n  scanFeatureSource,\n  isExampleFile,\n  scanExampleSource,\n  type FeatureScanResult,\n  type ExampleScanResult,\n  type SpecScanResult,\n  scanAllSpecsFromSource,\n} from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../ports/fs';\nimport type { LoggerAdapter } from '../ports/logger';\n\n/**\n * Location of a layer file in the codebase.\n */\nexport interface LayerLocation {\n  key: string;\n  version?: string;\n  file: string;\n  type: 'feature' | 'example' | 'app-config' | 'workspace-config';\n}\n\n/**\n * Inventory of all discovered layers.\n */\nexport interface LayerInventory {\n  /** Discovered features */\n  features: Map<string, FeatureScanResult>;\n  /** Discovered examples */\n  examples: Map<string, ExampleScanResult>;\n  /** Discovered app configs */\n  appConfigs: Map<string, SpecScanResult>;\n  /** Discovered workspace configs */\n  workspaceConfigs: Map<string, WorkspaceConfigInfo>;\n}\n\n/**\n * Workspace config information.\n */\nexport interface WorkspaceConfigInfo {\n  file: string;\n  config: Record<string, unknown>;\n  valid: boolean;\n  errors: string[];\n}\n\n/**\n * Options for layer discovery.\n */\nexport interface LayerDiscoveryOptions {\n  /** Glob pattern for file discovery */\n  pattern?: string;\n  /** Scan all packages in monorepo */\n  all?: boolean;\n}\n\n/**\n * Result of layer discovery.\n */\nexport interface LayerDiscoveryResult {\n  inventory: LayerInventory;\n  stats: {\n    features: number;\n    examples: number;\n    appConfigs: number;\n    workspaceConfigs: number;\n    total: number;\n  };\n}\n\n/**\n * Create an empty layer inventory.\n */\nexport function createEmptyLayerInventory(): LayerInventory {\n  return {\n    features: new Map(),\n    examples: new Map(),\n    appConfigs: new Map(),\n    workspaceConfigs: new Map(),\n  };\n}\n\n/**\n * Discover all contract layers in a workspace.\n */\nexport async function discoverLayers(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  options: LayerDiscoveryOptions = {}\n): Promise<LayerDiscoveryResult> {\n  const { fs, logger } = adapters;\n  const inventory = createEmptyLayerInventory();\n\n  // Default pattern for spec files\n  const pattern = options.pattern ?? '**/*.{ts,tsx}';\n\n  // Find all TypeScript files\n  logger.info('Scanning for contract layer files...');\n  const files = await fs.glob({ pattern });\n\n  // Process each file\n  for (const file of files) {\n    // Skip node_modules and dist\n    if (file.includes('node_modules') || file.includes('/dist/')) {\n      continue;\n    }\n\n    try {\n      const code = await fs.readFile(file);\n\n      // Check for feature files\n      if (isFeatureFile(file)) {\n        const result = scanFeatureSource(code, file);\n        inventory.features.set(result.key, result);\n        continue;\n      }\n\n      // Check for example files\n      if (isExampleFile(file)) {\n        const result = scanExampleSource(code, file);\n        inventory.examples.set(result.key, result);\n        continue;\n      }\n\n      // Check for app-config files\n      if (file.includes('.app-config.') || file.includes('.blueprint.')) {\n        const specs = scanAllSpecsFromSource(code, file);\n        for (const spec of specs) {\n          if (spec.specType === 'app-config' && spec.key) {\n            inventory.appConfigs.set(spec.key, spec);\n          }\n        }\n      }\n    } catch {\n      // Skip files that can't be read\n    }\n  }\n\n  // Find workspace config files\n  try {\n    const configFiles = await fs.glob({ pattern: '**/.contractsrc.json' });\n    for (const configFile of configFiles) {\n      if (configFile.includes('node_modules')) continue;\n\n      try {\n        const content = await fs.readFile(configFile);\n        const config = JSON.parse(content) as Record<string, unknown>;\n        inventory.workspaceConfigs.set(configFile, {\n          file: configFile,\n          config,\n          valid: true,\n          errors: [],\n        });\n      } catch (e) {\n        inventory.workspaceConfigs.set(configFile, {\n          file: configFile,\n          config: {},\n          valid: false,\n          errors: [e instanceof Error ? e.message : 'Parse error'],\n        });\n      }\n    }\n  } catch {\n    // Glob failed, no config files found\n  }\n\n  const stats = {\n    features: inventory.features.size,\n    examples: inventory.examples.size,\n    appConfigs: inventory.appConfigs.size,\n    workspaceConfigs: inventory.workspaceConfigs.size,\n    total:\n      inventory.features.size +\n      inventory.examples.size +\n      inventory.appConfigs.size +\n      inventory.workspaceConfigs.size,\n  };\n\n  logger.info(\n    `Discovered ${stats.features} features, ${stats.examples} examples, ` +\n      `${stats.appConfigs} app configs, ${stats.workspaceConfigs} workspace configs`\n  );\n\n  return { inventory, stats };\n}\n\n/**\n * Get all layers as a flat list with locations.\n */\nexport function getAllLayerLocations(\n  inventory: LayerInventory\n): LayerLocation[] {\n  const locations: LayerLocation[] = [];\n\n  for (const [key, feature] of inventory.features) {\n    locations.push({\n      key,\n      file: feature.filePath,\n      type: 'feature',\n    });\n  }\n\n  for (const [key, example] of inventory.examples) {\n    locations.push({\n      key,\n      version: example.version,\n      file: example.filePath,\n      type: 'example',\n    });\n  }\n\n  for (const [key, appConfig] of inventory.appConfigs) {\n    locations.push({\n      key,\n      version: appConfig.version,\n      file: appConfig.filePath,\n      type: 'app-config',\n    });\n  }\n\n  for (const [, config] of inventory.workspaceConfigs) {\n    locations.push({\n      key: config.file,\n      file: config.file,\n      type: 'workspace-config',\n    });\n  }\n\n  return locations;\n}\n"],"mappings":";;;;;;;;;;;;;;;AAoFA,SAAgB,4BAA4C;AAC1D,QAAO;EACL,0BAAU,IAAI,KAAK;EACnB,0BAAU,IAAI,KAAK;EACnB,4BAAY,IAAI,KAAK;EACrB,kCAAkB,IAAI,KAAK;EAC5B;;;;;AAMH,eAAsB,eACpB,UACA,UAAiC,EAAE,EACJ;CAC/B,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,YAAY,2BAA2B;CAG7C,MAAM,UAAU,QAAQ,WAAW;AAGnC,QAAO,KAAK,uCAAuC;CACnD,MAAM,QAAQ,MAAM,GAAG,KAAK,EAAE,SAAS,CAAC;AAGxC,MAAK,MAAM,QAAQ,OAAO;AAExB,MAAI,KAAK,SAAS,eAAe,IAAI,KAAK,SAAS,SAAS,CAC1D;AAGF,MAAI;GACF,MAAM,OAAO,MAAM,GAAG,SAAS,KAAK;AAGpC,OAAI,cAAc,KAAK,EAAE;IACvB,MAAM,SAAS,kBAAkB,MAAM,KAAK;AAC5C,cAAU,SAAS,IAAI,OAAO,KAAK,OAAO;AAC1C;;AAIF,OAAI,cAAc,KAAK,EAAE;IACvB,MAAM,SAAS,kBAAkB,MAAM,KAAK;AAC5C,cAAU,SAAS,IAAI,OAAO,KAAK,OAAO;AAC1C;;AAIF,OAAI,KAAK,SAAS,eAAe,IAAI,KAAK,SAAS,cAAc,EAAE;IACjE,MAAM,QAAQ,uBAAuB,MAAM,KAAK;AAChD,SAAK,MAAM,QAAQ,MACjB,KAAI,KAAK,aAAa,gBAAgB,KAAK,IACzC,WAAU,WAAW,IAAI,KAAK,KAAK,KAAK;;UAIxC;;AAMV,KAAI;EACF,MAAM,cAAc,MAAM,GAAG,KAAK,EAAE,SAAS,wBAAwB,CAAC;AACtE,OAAK,MAAM,cAAc,aAAa;AACpC,OAAI,WAAW,SAAS,eAAe,CAAE;AAEzC,OAAI;IACF,MAAM,UAAU,MAAM,GAAG,SAAS,WAAW;IAC7C,MAAM,SAAS,KAAK,MAAM,QAAQ;AAClC,cAAU,iBAAiB,IAAI,YAAY;KACzC,MAAM;KACN;KACA,OAAO;KACP,QAAQ,EAAE;KACX,CAAC;YACK,GAAG;AACV,cAAU,iBAAiB,IAAI,YAAY;KACzC,MAAM;KACN,QAAQ,EAAE;KACV,OAAO;KACP,QAAQ,CAAC,aAAa,QAAQ,EAAE,UAAU,cAAc;KACzD,CAAC;;;SAGA;CAIR,MAAM,QAAQ;EACZ,UAAU,UAAU,SAAS;EAC7B,UAAU,UAAU,SAAS;EAC7B,YAAY,UAAU,WAAW;EACjC,kBAAkB,UAAU,iBAAiB;EAC7C,OACE,UAAU,SAAS,OACnB,UAAU,SAAS,OACnB,UAAU,WAAW,OACrB,UAAU,iBAAiB;EAC9B;AAED,QAAO,KACL,cAAc,MAAM,SAAS,aAAa,MAAM,SAAS,aACpD,MAAM,WAAW,gBAAgB,MAAM,iBAAiB,oBAC9D;AAED,QAAO;EAAE;EAAW;EAAO;;;;;AAM7B,SAAgB,qBACd,WACiB;CACjB,MAAMA,YAA6B,EAAE;AAErC,MAAK,MAAM,CAAC,KAAK,YAAY,UAAU,SACrC,WAAU,KAAK;EACb;EACA,MAAM,QAAQ;EACd,MAAM;EACP,CAAC;AAGJ,MAAK,MAAM,CAAC,KAAK,YAAY,UAAU,SACrC,WAAU,KAAK;EACb;EACA,SAAS,QAAQ;EACjB,MAAM,QAAQ;EACd,MAAM;EACP,CAAC;AAGJ,MAAK,MAAM,CAAC,KAAK,cAAc,UAAU,WACvC,WAAU,KAAK;EACb;EACA,SAAS,UAAU;EACnB,MAAM,UAAU;EAChB,MAAM;EACP,CAAC;AAGJ,MAAK,MAAM,GAAG,WAAW,UAAU,iBACjC,WAAU,KAAK;EACb,KAAK,OAAO;EACZ,MAAM,OAAO;EACb,MAAM;EACP,CAAC;AAGJ,QAAO"}