@contractspec/bundle.workspace 0.0.0-canary-20260113162409

package/dist/services/integrity.mjs

@@ -0,0 +1,361 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,77 @@
+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

@@ -0,0 +1 @@
+{"version":3,"file":"layer-discovery.d.mts","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.mjs

@@ -0,0 +1,121 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,37 @@
+import { FsAdapter } from "../ports/fs.mjs";
+import { SpecScanResult, scanSpecSource } from "@contractspec/module.workspace";
+import { ContractsrcConfig } from "@contractspec/lib.contracts/workspace-config";
+
+//#region src/services/list.d.ts
+
+/**
+ * Options for listing specs.
+ */
+interface ListSpecsOptions {
+  /**
+   * File pattern to search.
+   */
+  pattern?: string;
+  /**
+   * Filter by spec type.
+   */
+  type?: string;
+  /**
+   * Workspace configuration
+   */
+  config?: ContractsrcConfig;
+}
+/**
+ * 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

@@ -0,0 +1 @@
+{"version":3,"file":"list.d.mts","names":[],"sources":["../../src/services/list.ts"],"sourcesContent":[],"mappings":";;;;;;AAoCA;;;AAEW,UAtBM,gBAAA,CAsBN;EACA;;;EAsDK,OAAA,CAAA,EAAA,MAAA;EACP;;;EACH,IAAA,CAAA,EAAA,MAAA;;;;WAjEK;;;;;iBAMW,SAAA;MACJ;gBAAyB;aAChC,mBACR,QAAQ;;;;iBAsDK,gBAAA,QACP,mBACN,YAAY"}