@contractspec/bundle.workspace 1.57.0 → 1.58.0

package/dist/services/integrity.mjs

@@ -1,361 +0,0 @@
-import { buildTestIndex } from "./test-link/index.mjs";
-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,
-		cwd: options.cwd
-	});
-	const inventory = createEmptyInventory();
-	const features = [];
-	const issues = [];
-	for (const file of files) {
-		if ((await fs.stat(file)).isDirectory) continue;
-		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,
-						testTarget: spec.testTarget,
-						testCoverage: spec.testCoverage
-					});
-				}
-			}
-		}
-	}
-	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
-			});
-		}
-		if (feature.presentationsTargets) for (const pt of feature.presentationsTargets) {
-			const presKey = specKey(pt.key, pt.version);
-			if (!inventory.presentations.has(presKey)) issues.push({
-				severity: "error",
-				type: "broken-link",
-				message: `Targeted presentation ${pt.key}.v${pt.version} not found`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "presentation",
-				ref: {
-					key: pt.key,
-					version: pt.version
-				}
-			});
-		}
-	}
-	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 testSpecScans = [];
-	for (const [, location] of inventory.testSpecs) testSpecScans.push({
-		filePath: location.file,
-		specType: "test-spec",
-		key: location.key,
-		version: location.version,
-		testTarget: location.testTarget,
-		hasMeta: true,
-		hasIo: false,
-		hasPolicy: false,
-		hasPayload: false,
-		hasContent: false,
-		hasDefinition: false
-	});
-	const testIndex = buildTestIndex(testSpecScans, inventory);
-	for (const feature of relevantFeatures) for (const link of feature.opToPresentationLinks) {
-		const opKey = specKey(link.op.key, link.op.version);
-		const tests = testIndex.targetToTests.get(opKey);
-		let hasSuccess = false;
-		let hasError = false;
-		if (tests) for (const testKey of tests) {
-			const testSpec = inventory.testSpecs.get(testKey);
-			if (testSpec?.testCoverage) {
-				if (testSpec.testCoverage.hasSuccess) hasSuccess = true;
-				if (testSpec.testCoverage.hasError) hasError = true;
-			}
-		}
-		if (!tests || !hasSuccess || !hasError) {
-			const missing = [];
-			if (!hasSuccess) missing.push("success scenario");
-			if (!hasError) missing.push("error scenario");
-			issues.push({
-				severity: "error",
-				type: "missing-test-coverage",
-				message: `Operation ${link.op.key}.v${link.op.version} linked to presentation requires tests covering: ${missing.join(", ")}`,
-				file: feature.filePath,
-				featureKey: feature.key,
-				specType: "operation",
-				ref: link.op
-			});
-		}
-	}
-	const coverageByType = {};
-	let totalMissingTests = 0;
-	for (const type of typesThatCanBeOrphaned) {
-		const map = getInventoryMap(inventory, type);
-		if (!map) continue;
-		const total = map.size;
-		let covered = 0;
-		let missingTest = 0;
-		const requireTest = options.requireTestsFor?.includes(type);
-		for (const [key, location] of map) {
-			if (referencedSpecs.has(`${type}:${key}`)) covered++;
-			if (requireTest) {
-				const targetKey = specKey(location.key, location.version);
-				const hasTargetedTest = testIndex.targetToTests.has(targetKey);
-				const conventionTestKey = `${location.key}.test`;
-				const hasConventionTest = inventory.testSpecs.has(specKey(conventionTestKey, location.version));
-				if (!hasTargetedTest && !hasConventionTest) {
-					missingTest++;
-					totalMissingTests++;
-					issues.push({
-						severity: "warning",
-						type: "missing-test",
-						message: `${type} ${location.key}.v${location.version} is missing a test spec (no TestSpec.target or naming convention match)`,
-						file: location.file,
-						specKey: location.key,
-						specType: location.type
-					});
-				}
-			}
-		}
-		coverageByType[type] = {
-			total,
-			covered,
-			orphaned: total - covered,
-			missingTest: requireTest ? missingTest : 0
-		};
-	}
-	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,
-		missingTest: totalMissingTests,
-		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.mjs.map

package/dist/services/integrity.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"integrity.mjs","names":[],"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';\nimport {\n  buildTestIndex,\n  type ExtractedTestTarget,\n  type TestSpecScanResult,\n} from './test-link';\n\n/**\n * Options for integrity analysis.\n */\nexport interface IntegrityAnalysisOptions {\n  /**\n   * Glob pattern for file discovery.\n   */\n  pattern?: string;\n  /**\n   * Working directory for scanning.\n   */\n  cwd?: 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   * Require tests for specific spec types.\n   */\n  requireTestsFor?: 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  /** Test target for test-spec files (extracted from TestSpec.target) */\n  testTarget?: ExtractedTestTarget;\n  /** Test coverage info (extracted from TestSpec.scenarios) */\n  testCoverage?: { hasSuccess: boolean; hasError: boolean };\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:\n    | 'orphaned'\n    | 'unresolved-ref'\n    | 'missing-feature'\n    | 'broken-link'\n    | 'missing-test'\n    | 'missing-test-coverage';\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  missingTest?: 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    missingTest: 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, cwd: options.cwd });\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    // Skip directories to avoid EISDIR\n    const stats = await fs.stat(file);\n    if (stats.isDirectory) continue;\n\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              // Include testTarget for test-spec files\n              testTarget: spec.testTarget,\n              testCoverage: spec.testCoverage,\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    // Check presentations targets\n    if (feature.presentationsTargets) {\n      for (const pt of feature.presentationsTargets) {\n        const presKey = specKey(pt.key, pt.version);\n        if (!inventory.presentations.has(presKey)) {\n          issues.push({\n            severity: 'error',\n            type: 'broken-link',\n            message: `Targeted presentation ${pt.key}.v${pt.version} not found`,\n            file: feature.filePath,\n            featureKey: feature.key,\n            specType: 'presentation',\n            ref: { key: pt.key, version: pt.version },\n          });\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  // Build test-to-target index for contract-first test discovery\n  const testSpecScans: TestSpecScanResult[] = [];\n  for (const [, location] of inventory.testSpecs) {\n    testSpecScans.push({\n      filePath: location.file,\n      specType: 'test-spec',\n      key: location.key,\n      version: location.version,\n      testTarget: location.testTarget,\n      hasMeta: true,\n      hasIo: false,\n      hasPolicy: false,\n      hasPayload: false,\n      hasContent: false,\n      hasDefinition: false,\n    });\n  }\n  const testIndex = buildTestIndex(testSpecScans, inventory);\n\n  // Check test coverage for linked operations\n  for (const feature of relevantFeatures) {\n    for (const link of feature.opToPresentationLinks) {\n      const opKey = specKey(link.op.key, link.op.version);\n      const tests = testIndex.targetToTests.get(opKey);\n\n      let hasSuccess = false;\n      let hasError = false;\n\n      if (tests) {\n        for (const testKey of tests) {\n          const testSpec = inventory.testSpecs.get(testKey);\n          if (testSpec?.testCoverage) {\n            if (testSpec.testCoverage.hasSuccess) hasSuccess = true;\n            if (testSpec.testCoverage.hasError) hasError = true;\n          }\n        }\n      }\n\n      if (!tests || !hasSuccess || !hasError) {\n        const missing: string[] = [];\n        if (!hasSuccess) missing.push('success scenario');\n        if (!hasError) missing.push('error scenario');\n\n        issues.push({\n          severity: 'error',\n          type: 'missing-test-coverage',\n          message: `Operation ${link.op.key}.v${link.op.version} linked to presentation requires tests covering: ${missing.join(', ')}`,\n          file: feature.filePath,\n          featureKey: feature.key,\n          specType: 'operation',\n          ref: link.op,\n        });\n      }\n    }\n  }\n\n  // Calculate coverage metrics\n  const coverageByType: Record<string, CoverageByType> = {};\n  let totalMissingTests = 0;\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    let missingTest = 0;\n\n    const requireTest = options.requireTestsFor?.includes(type);\n\n    for (const [key, location] of map) {\n      if (referencedSpecs.has(`${type}:${key}`)) {\n        covered++;\n      }\n\n      if (requireTest) {\n        const targetKey = specKey(location.key, location.version);\n\n        // Primary: Check if any TestSpec targets this spec via TestSpec.target\n        const hasTargetedTest = testIndex.targetToTests.has(targetKey);\n\n        // Backwards compatibility: Also check naming convention ({specKey}.test)\n        const conventionTestKey = `${location.key}.test`;\n        const hasConventionTest = inventory.testSpecs.has(\n          specKey(conventionTestKey, location.version)\n        );\n\n        if (!hasTargetedTest && !hasConventionTest) {\n          missingTest++;\n          totalMissingTests++;\n          issues.push({\n            severity: 'warning',\n            type: 'missing-test',\n            message: `${type} ${location.key}.v${location.version} is missing a test spec (no TestSpec.target or naming convention match)`,\n            file: location.file,\n            specKey: location.key,\n            specType: location.type,\n          });\n        }\n      }\n    }\n\n    coverageByType[type] = {\n      total,\n      covered,\n      orphaned: total - covered,\n      missingTest: requireTest ? missingTest : 0,\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    missingTest: totalMissingTests,\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":";;;;;;;;;;;;;;;AAyKA,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;EAAS,KAAK,QAAQ;EAAK,CAAC;CAE3E,MAAM,YAAY,sBAAsB;CACxC,MAAM,WAAgC,EAAE;CACxC,MAAM,SAA2B,EAAE;AAGnC,MAAK,MAAM,QAAQ,OAAO;AAGxB,OADc,MAAM,GAAG,KAAK,KAAK,EACvB,YAAa;EAEvB,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;MAEhB,YAAY,KAAK;MACjB,cAAc,KAAK;MACpB,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;;AAKN,MAAI,QAAQ,qBACV,MAAK,MAAM,MAAM,QAAQ,sBAAsB;GAC7C,MAAM,UAAU,QAAQ,GAAG,KAAK,GAAG,QAAQ;AAC3C,OAAI,CAAC,UAAU,cAAc,IAAI,QAAQ,CACvC,QAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,yBAAyB,GAAG,IAAI,IAAI,GAAG,QAAQ;IACxD,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV,KAAK;KAAE,KAAK,GAAG;KAAK,SAAS,GAAG;KAAS;IAC1C,CAAC;;;CAOV,MAAM,gBAAgC,EAAE;CACxC,MAAM,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,MAAM,gBAAsC,EAAE;AAC9C,MAAK,MAAM,GAAG,aAAa,UAAU,UACnC,eAAc,KAAK;EACjB,UAAU,SAAS;EACnB,UAAU;EACV,KAAK,SAAS;EACd,SAAS,SAAS;EAClB,YAAY,SAAS;EACrB,SAAS;EACT,OAAO;EACP,WAAW;EACX,YAAY;EACZ,YAAY;EACZ,eAAe;EAChB,CAAC;CAEJ,MAAM,YAAY,eAAe,eAAe,UAAU;AAG1D,MAAK,MAAM,WAAW,iBACpB,MAAK,MAAM,QAAQ,QAAQ,uBAAuB;EAChD,MAAM,QAAQ,QAAQ,KAAK,GAAG,KAAK,KAAK,GAAG,QAAQ;EACnD,MAAM,QAAQ,UAAU,cAAc,IAAI,MAAM;EAEhD,IAAI,aAAa;EACjB,IAAI,WAAW;AAEf,MAAI,MACF,MAAK,MAAM,WAAW,OAAO;GAC3B,MAAM,WAAW,UAAU,UAAU,IAAI,QAAQ;AACjD,OAAI,UAAU,cAAc;AAC1B,QAAI,SAAS,aAAa,WAAY,cAAa;AACnD,QAAI,SAAS,aAAa,SAAU,YAAW;;;AAKrD,MAAI,CAAC,SAAS,CAAC,cAAc,CAAC,UAAU;GACtC,MAAM,UAAoB,EAAE;AAC5B,OAAI,CAAC,WAAY,SAAQ,KAAK,mBAAmB;AACjD,OAAI,CAAC,SAAU,SAAQ,KAAK,iBAAiB;AAE7C,UAAO,KAAK;IACV,UAAU;IACV,MAAM;IACN,SAAS,aAAa,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,QAAQ,mDAAmD,QAAQ,KAAK,KAAK;IAC3H,MAAM,QAAQ;IACd,YAAY,QAAQ;IACpB,UAAU;IACV,KAAK,KAAK;IACX,CAAC;;;CAMR,MAAM,iBAAiD,EAAE;CACzD,IAAI,oBAAoB;AAExB,MAAK,MAAM,QAAQ,wBAAwB;EACzC,MAAM,MAAM,gBAAgB,WAAW,KAAK;AAC5C,MAAI,CAAC,IAAK;EAEV,MAAM,QAAQ,IAAI;EAClB,IAAI,UAAU;EACd,IAAI,cAAc;EAElB,MAAM,cAAc,QAAQ,iBAAiB,SAAS,KAAK;AAE3D,OAAK,MAAM,CAAC,KAAK,aAAa,KAAK;AACjC,OAAI,gBAAgB,IAAI,GAAG,KAAK,GAAG,MAAM,CACvC;AAGF,OAAI,aAAa;IACf,MAAM,YAAY,QAAQ,SAAS,KAAK,SAAS,QAAQ;IAGzD,MAAM,kBAAkB,UAAU,cAAc,IAAI,UAAU;IAG9D,MAAM,oBAAoB,GAAG,SAAS,IAAI;IAC1C,MAAM,oBAAoB,UAAU,UAAU,IAC5C,QAAQ,mBAAmB,SAAS,QAAQ,CAC7C;AAED,QAAI,CAAC,mBAAmB,CAAC,mBAAmB;AAC1C;AACA;AACA,YAAO,KAAK;MACV,UAAU;MACV,MAAM;MACN,SAAS,GAAG,KAAK,GAAG,SAAS,IAAI,IAAI,SAAS,QAAQ;MACtD,MAAM,SAAS;MACf,SAAS,SAAS;MAClB,UAAU,SAAS;MACpB,CAAC;;;;AAKR,iBAAe,QAAQ;GACrB;GACA;GACA,UAAU,QAAQ;GAClB,aAAa,cAAc,cAAc;GAC1C;;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,aAAa;EACb,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,MAAM,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.mts

@@ -1,76 +0,0 @@
-import { FsAdapter } from "../ports/fs.mjs";
-import { LoggerAdapter } from "../ports/logger.mjs";
-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.mts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"layer-discovery.d.mts","names":[],"sources":["../../src/services/layer-discovery.ts"],"mappings":";;;;;;;;UA0BiB,aAAA;EACf,GAAA;EACA,OAAA;EACA,IAAA;EACA,IAAA;AAAA;;;;UAMe,cAAA;EAQG;EANlB,QAAA,EAAU,GAAA,SAAY,iBAAA;EAMD;EAJrB,QAAA,EAAU,GAAA,SAAY,iBAAA;EAFZ;EAIV,UAAA,EAAY,GAAA,SAAY,cAAA;EAFxB;EAIA,gBAAA,EAAkB,GAAA,SAAY,mBAAA;AAAA;;;;UAMf,mBAAA;EACf,IAAA;EACA,MAAA,EAAQ,MAAA;EACR,KAAA;EACA,MAAA;AAAA;;;;UAMe,qBAAA;EARf;EAUA,OAAA;EATA;EAWA,GAAA;AAAA;;AAJF;;UAUiB,oBAAA;EACf,SAAA,EAAW,cAAA;EACX,KAAA;IACE,QAAA;IACA,QAAA;IACA,UAAA;IACA,gBAAA;IACA,KAAA;EAAA;AAAA;;;;iBAOY,yBAAA,CAAA,GAA6B,cAAA;;;;iBAYvB,cAAA,CACpB,QAAA;EAAY,EAAA,EAAI,SAAA;EAAW,MAAA,EAAQ,aAAA;AAAA,GACnC,OAAA,GAAS,qBAAA,GACR,OAAA,CAAQ,oBAAA;;AAHX;;iBAuGgB,oBAAA,CACd,SAAA,EAAW,cAAA,GACV,aAAA"}

package/dist/services/layer-discovery.mjs

@@ -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.mjs.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"layer-discovery.mjs","names":[],"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,MAAM,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"}

package/dist/services/list.d.mts

@@ -1,37 +0,0 @@
-import { FsAdapter } from "../ports/fs.mjs";
-import { SpecScanResult, scanSpecSource } from "@contractspec/module.workspace";
-import { ResolvedContractsrcConfig } from "@contractspec/lib.contracts";
-import { MaybeArray } from "@contractspec/lib.utils-typescript";
-
-//#region src/services/list.d.ts
-/**
- * Options for listing specs.
- */
-interface ListSpecsOptions {
-  /**
-   * File pattern to search.
-   */
-  pattern?: string;
-  /**
-   * Filter by spec type.
-   */
-  type?: MaybeArray<string>;
-  /**
-   * Workspace configuration
-   */
-  config?: ResolvedContractsrcConfig;
-}
-/**
- * List all spec files in the workspace.
- */
-declare function listSpecs(adapters: {
-  fs: FsAdapter;
-  scan?: typeof scanSpecSource;
-}, options?: ListSpecsOptions): Promise<SpecScanResult[]>;
-/**
- * Group specs by type.
- */
-declare function groupSpecsByType(specs: SpecScanResult[]): Map<string, SpecScanResult[]>;
-//#endregion
-export { ListSpecsOptions, groupSpecsByType, listSpecs };
-//# sourceMappingURL=list.d.mts.map

package/dist/services/list.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"list.d.mts","names":[],"sources":["../../src/services/list.ts"],"mappings":";;;;;;;;;UAiBiB,gBAAA;EASf;;;EALA,OAAA;EAUkC;;AAMpC;EAXE,IAAA,GAAO,UAAA;;;;EAKP,MAAA,GAAS,yBAAA;AAAA;;;;iBAMW,SAAA,CACpB,QAAA;EAAY,EAAA,EAAI,SAAA;EAAW,IAAA,UAAc,cAAA;AAAA,GACzC,OAAA,GAAS,gBAAA,GACR,OAAA,CAAQ,cAAA;;;;iBA8DK,gBAAA,CACd,KAAA,EAAO,cAAA,KACN,GAAA,SAAY,cAAA"}