@contractspec/module.workspace 1.46.2 → 1.47.0

package/dist/analysis/utils/variables.js

@@ -0,0 +1,45 @@
+import { findMatchingDelimiter } from "./matchers.js";
+
+//#region src/analysis/utils/variables.ts
+/**
+* Variable resolution utilities.
+* Handles simple static variable extraction and substitution in source blocks.
+*/
+/**
+* Extract top-level array constants from source code.
+* Example: const OWNERS = ['alice', 'bob'] as const;
+*/
+function extractArrayConstants(code) {
+	const variables = /* @__PURE__ */ new Map();
+	const regex = /const\s+(\w+)\s*=\s*\[/g;
+	let match;
+	while ((match = regex.exec(code)) !== null) {
+		const name = match[1];
+		const startIndex = match.index + match[0].length - 1;
+		const endIndex = findMatchingDelimiter(code, startIndex, "[", "]");
+		if (endIndex !== -1) {
+			const value = code.substring(startIndex, endIndex + 1);
+			if (name) variables.set(name, value);
+		}
+	}
+	return variables;
+}
+/**
+* Substitute spread variables in a source block with their resolved values.
+* Example: owners: [...OWNERS] -> owners: ['alice', 'bob']
+*/
+function resolveVariablesInBlock(block, variables) {
+	if (variables.size === 0) return block;
+	return block.replace(/\.\.\.(\w+)/g, (match, name) => {
+		const value = variables.get(name);
+		if (value) {
+			if (value.startsWith("[") && value.endsWith("]")) return value.substring(1, value.length - 1);
+			return value;
+		}
+		return match;
+	});
+}
+
+//#endregion
+export { extractArrayConstants, resolveVariablesInBlock };
+//# sourceMappingURL=variables.js.map

package/dist/analysis/utils/variables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variables.js","names":[],"sources":["../../../src/analysis/utils/variables.ts"],"sourcesContent":["/**\n * Variable resolution utilities.\n * Handles simple static variable extraction and substitution in source blocks.\n */\n\nimport { findMatchingDelimiter } from './matchers';\n\n/**\n * Extract top-level array constants from source code.\n * Example: const OWNERS = ['alice', 'bob'] as const;\n */\nexport function extractArrayConstants(code: string): Map<string, string> {\n  const variables = new Map<string, string>();\n\n  // Regex to find potential array constants\n  // Matches: const NAME = [ ...\n  const regex = /const\\s+(\\w+)\\s*=\\s*\\[/g;\n  let match;\n\n  while ((match = regex.exec(code)) !== null) {\n    const name = match[1];\n    const startIndex = match.index + match[0].length - 1; // pointing to [\n    const endIndex = findMatchingDelimiter(code, startIndex, '[', ']');\n\n    if (endIndex !== -1) {\n      // Extract the full array string: ['a', 'b']\n      const value = code.substring(startIndex, endIndex + 1);\n      if (name) {\n        variables.set(name, value);\n      }\n    }\n  }\n\n  return variables;\n}\n\n/**\n * Substitute spread variables in a source block with their resolved values.\n * Example: owners: [...OWNERS] -> owners: ['alice', 'bob']\n */\nexport function resolveVariablesInBlock(\n  block: string,\n  variables: Map<string, string>\n): string {\n  if (variables.size === 0) return block;\n\n  // Look for spreads: ...NAME\n  return block.replace(/\\.\\.\\.(\\w+)/g, (match, name) => {\n    const value = variables.get(name);\n    if (value) {\n      // Remove the surrounding brackets from the value if we are spreading into an array\n      // But ... is also used in objects.\n      // In the array case: owners: [...OWNERS] -> owners: ['a', 'b']\n      // OWNERS = ['a', 'b']\n\n      // We need to strip the outer [ and ] from the value to \"spread\" it\n      if (value.startsWith('[') && value.endsWith(']')) {\n        return value.substring(1, value.length - 1);\n      }\n      return value;\n    }\n    return match;\n  });\n}\n"],"mappings":";;;;;;;;;;;AAWA,SAAgB,sBAAsB,MAAmC;CACvE,MAAM,4BAAY,IAAI,KAAqB;CAI3C,MAAM,QAAQ;CACd,IAAI;AAEJ,SAAQ,QAAQ,MAAM,KAAK,KAAK,MAAM,MAAM;EAC1C,MAAM,OAAO,MAAM;EACnB,MAAM,aAAa,MAAM,QAAQ,MAAM,GAAG,SAAS;EACnD,MAAM,WAAW,sBAAsB,MAAM,YAAY,KAAK,IAAI;AAElE,MAAI,aAAa,IAAI;GAEnB,MAAM,QAAQ,KAAK,UAAU,YAAY,WAAW,EAAE;AACtD,OAAI,KACF,WAAU,IAAI,MAAM,MAAM;;;AAKhC,QAAO;;;;;;AAOT,SAAgB,wBACd,OACA,WACQ;AACR,KAAI,UAAU,SAAS,EAAG,QAAO;AAGjC,QAAO,MAAM,QAAQ,iBAAiB,OAAO,SAAS;EACpD,MAAM,QAAQ,UAAU,IAAI,KAAK;AACjC,MAAI,OAAO;AAOT,OAAI,MAAM,WAAW,IAAI,IAAI,MAAM,SAAS,IAAI,CAC9C,QAAO,MAAM,UAAU,GAAG,MAAM,SAAS,EAAE;AAE7C,UAAO;;AAET,SAAO;GACP"}

package/dist/analysis/validate/index.js

@@ -0,0 +1 @@
+import { validateSpecStructure } from "./spec-structure.js";

package/dist/analysis/validate/spec-structure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"spec-structure.d.ts","names":[],"sources":["../../../src/analysis/validate/spec-structure.ts"],"sourcesContent":[],"mappings":";;;;AAkDA;;;KAtCY,YAAA;;;;KAKA,QAAA;;;;UAeK,WAAA;;;;;sCAKqB,WAAW;;;;;iBAajC,qBAAA,+CAGD,cACZ"}
+{"version":3,"file":"spec-structure.d.ts","names":[],"sources":["../../../src/analysis/validate/spec-structure.ts"],"sourcesContent":[],"mappings":";;;;AA2DA;;;KAtCY,YAAA;;;;KAKA,QAAA;;;;UAeK,WAAA;;;;;sCAKqB,WAAW;;;;;iBAajC,qBAAA,+CAGD,cACZ"}

package/dist/analysis/validate/spec-structure.js

@@ -1,5 +1,11 @@
+import { Node, Project, SyntaxKind } from "ts-morph";
+
 //#region src/analysis/validate/spec-structure.ts
 /**
+* Spec structure validation utilities.
+* Extracted from cli-contractspec/src/commands/validate/spec-checker.ts
+*/
+/**
 * Default rules config that returns 'warn' for all rules.
 */
 const DEFAULT_RULES_CONFIG = { getRule: () => "warn" };
@@ -9,17 +15,18 @@ const DEFAULT_RULES_CONFIG = { getRule: () => "warn" };
 function validateSpecStructure(code, fileName, rulesConfig = DEFAULT_RULES_CONFIG) {
 	const errors = [];
 	const warnings = [];
-	if (!/export\s/.test(code)) errors.push("No exported spec found");
-	if (fileName.includes(".contracts.") || fileName.includes(".contract.") || fileName.includes(".operations.") || fileName.includes(".operation.")) validateOperationSpec(code, errors, warnings, rulesConfig);
-	if (fileName.includes(".event.")) validateEventSpec(code, errors, warnings, rulesConfig);
-	if (fileName.includes(".presentation.")) validatePresentationSpec(code, errors, warnings);
-	if (fileName.includes(".workflow.")) validateWorkflowSpec(code, errors, warnings, rulesConfig);
-	if (fileName.includes(".data-view.")) validateDataViewSpec(code, errors, warnings, rulesConfig);
-	if (fileName.includes(".migration.")) validateMigrationSpec(code, errors, warnings, rulesConfig);
-	if (fileName.includes(".telemetry.")) validateTelemetrySpec(code, errors, warnings, rulesConfig);
-	if (fileName.includes(".experiment.")) validateExperimentSpec(code, errors, warnings, rulesConfig);
-	if (fileName.includes(".app-config.")) validateAppConfigSpec(code, errors, warnings, rulesConfig);
-	validateCommonFields(code, fileName, errors, warnings, rulesConfig);
+	const sourceFile = new Project({ useInMemoryFileSystem: true }).createSourceFile(fileName, code);
+	if (!(sourceFile.getExportAssignments().length > 0 || sourceFile.getVariableStatements().some((s) => s.isExported()) || sourceFile.getFunctions().some((f) => f.isExported()) || sourceFile.getClasses().some((c) => c.isExported()) || sourceFile.getExportDeclarations().length > 0)) errors.push("No exported spec found");
+	if (fileName.includes(".contracts.") || fileName.includes(".contract.") || fileName.includes(".operations.") || fileName.includes(".operation.")) validateOperationSpec(sourceFile, errors, warnings, rulesConfig);
+	if (fileName.includes(".event.")) validateEventSpec(sourceFile, errors, warnings, rulesConfig);
+	if (fileName.includes(".presentation.")) validatePresentationSpec(sourceFile, errors, warnings);
+	if (fileName.includes(".workflow.")) validateWorkflowSpec(sourceFile, errors, warnings, rulesConfig);
+	if (fileName.includes(".data-view.")) validateDataViewSpec(sourceFile, errors, warnings, rulesConfig);
+	if (fileName.includes(".migration.")) validateMigrationSpec(sourceFile, errors, warnings, rulesConfig);
+	if (fileName.includes(".telemetry.")) validateTelemetrySpec(sourceFile, errors, warnings, rulesConfig);
+	if (fileName.includes(".experiment.")) validateExperimentSpec(sourceFile, errors, warnings, rulesConfig);
+	if (fileName.includes(".app-config.")) validateAppConfigSpec(sourceFile, errors, warnings, rulesConfig);
+	validateCommonFields(sourceFile, fileName, errors, warnings, rulesConfig);
 	return {
 		valid: errors.length === 0,
 		errors,
@@ -38,100 +45,409 @@ function emitRule(ruleName, specKind, message, errors, warnings, rulesConfig) {
 /**
 * Validate operation spec
 */
-function validateOperationSpec(code, errors, warnings, rulesConfig) {
-	if (!/define(Command|Query)/.test(code)) errors.push("Missing defineCommand or defineQuery call");
-	if (!code.includes("meta:")) errors.push("Missing meta section");
-	if (!code.includes("io:")) errors.push("Missing io section");
-	if (!code.includes("policy:")) errors.push("Missing policy section");
-	if (!code.match(/key:\s*['"][^'"]+['"]/)) errors.push("Missing or invalid key field");
-	if (!code.match(/version:\s*(?:\d+|['"][^'"]+['"])/)) errors.push("Missing or invalid version field");
-	const hasDefineCommand = /defineCommand\s*\(/.test(code);
-	const hasDefineQuery = /defineQuery\s*\(/.test(code);
-	const hasExplicitKind = /kind:\s*['"](?:command|query)['"]/.test(code);
-	if (!hasDefineCommand && !hasDefineQuery && !hasExplicitKind) errors.push("Missing kind: use defineCommand(), defineQuery(), or explicit kind field");
-	if (!code.includes("acceptance:")) emitRule("require-acceptance", "operation", "No acceptance scenarios defined", errors, warnings, rulesConfig);
-	if (!code.includes("examples:")) emitRule("require-examples", "operation", "No examples provided", errors, warnings, rulesConfig);
-	if (code.includes("TODO")) emitRule("no-todo", "operation", "Contains TODO items that need completion", errors, warnings, rulesConfig);
+function validateOperationSpec(sourceFile, errors, warnings, rulesConfig) {
+	const callExpressions = sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression);
+	if (!callExpressions.some((call) => {
+		const text = call.getExpression().getText();
+		return text === "defineCommand" || text === "defineQuery";
+	})) errors.push("Missing defineCommand or defineQuery call");
+	let specObject;
+	for (const call of callExpressions) {
+		const text = call.getExpression().getText();
+		if (text === "defineCommand" || text === "defineQuery") {
+			const args = call.getArguments();
+			if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) {
+				specObject = args[0];
+				break;
+			}
+		}
+	}
+	if (specObject && Node.isObjectLiteralExpression(specObject)) {
+		if (!specObject.getProperty("meta")) errors.push("Missing meta section");
+		if (!specObject.getProperty("io")) errors.push("Missing io section");
+		if (!specObject.getProperty("policy")) errors.push("Missing policy section");
+		const metaProp = specObject.getProperty("meta");
+		let hasKey = false;
+		let hasVersion = false;
+		if (metaProp && Node.isPropertyAssignment(metaProp)) {
+			const metaObj = metaProp.getInitializer();
+			if (metaObj && Node.isObjectLiteralExpression(metaObj)) {
+				if (metaObj.getProperty("key")) hasKey = true;
+				if (metaObj.getProperty("version")) hasVersion = true;
+			}
+		}
+		if (!hasKey) {
+			if (specObject.getProperty("key")) hasKey = true;
+		}
+		if (!hasKey) errors.push("Missing or invalid key field");
+		if (!hasVersion) {
+			if (specObject.getProperty("version")) hasVersion = true;
+		}
+		if (!hasVersion) errors.push("Missing or invalid version field");
+		const hasExplicitKind = specObject.getProperty("kind");
+		if (!callExpressions.find((c) => {
+			const t = c.getExpression().getText();
+			return t === "defineCommand" || t === "defineQuery";
+		})?.getExpression().getText() && !hasExplicitKind) errors.push("Missing kind: use defineCommand(), defineQuery(), or explicit kind field");
+		if (!specObject.getProperty("acceptance")) emitRule("require-acceptance", "operation", "No acceptance scenarios defined", errors, warnings, rulesConfig);
+		if (!specObject.getProperty("examples")) emitRule("require-examples", "operation", "No examples provided", errors, warnings, rulesConfig);
+	}
+	if (sourceFile.getFullText().includes("TODO")) emitRule("no-todo", "operation", "Contains TODO items that need completion", errors, warnings, rulesConfig);
 }
-function validateTelemetrySpec(code, errors, warnings, rulesConfig) {
-	if (!code.match(/:\s*TelemetrySpec\s*=/)) errors.push("Missing TelemetrySpec type annotation");
-	if (!code.match(/meta:\s*{[\s\S]*name:/)) errors.push("TelemetrySpec.meta is required");
-	if (!code.includes("events:")) errors.push("TelemetrySpec must declare events");
-	if (!code.match(/privacy:\s*'(public|internal|pii|sensitive)'/)) emitRule("telemetry-privacy", "telemetry", "No explicit privacy classification found", errors, warnings, rulesConfig);
+function validateTelemetrySpec(sourceFile, errors, warnings, rulesConfig) {
+	const specObject = getSpecObject(sourceFile, "TelemetrySpec");
+	if (!specObject) {
+		errors.push("Missing TelemetrySpec type annotation");
+		return;
+	}
+	if (specObject) {
+		const metaProp = specObject.getProperty("meta");
+		let hasName = false;
+		if (metaProp && Node.isPropertyAssignment(metaProp)) {
+			const metaObj = metaProp.getInitializer();
+			if (Node.isObjectLiteralExpression(metaObj)) {
+				if (metaObj.getProperty("name")) hasName = true;
+			}
+		}
+		if (!hasName) errors.push("TelemetrySpec.meta is required");
+		if (!specObject.getProperty("events")) errors.push("TelemetrySpec must declare events");
+		if (!specObject.getProperty("privacy")) emitRule("telemetry-privacy", "telemetry", "No explicit privacy classification found", errors, warnings, rulesConfig);
+	}
 }
-function validateExperimentSpec(code, errors, warnings, rulesConfig) {
-	if (!code.match(/:\s*ExperimentSpec\s*=/)) errors.push("Missing ExperimentSpec type annotation");
-	if (!code.includes("controlVariant")) errors.push("ExperimentSpec must declare controlVariant");
-	if (!code.includes("variants:")) errors.push("ExperimentSpec must declare variants");
-	if (!code.match(/allocation:\s*{/)) emitRule("experiment-allocation", "experiment", "ExperimentSpec missing allocation configuration", errors, warnings, rulesConfig);
+function validateExperimentSpec(sourceFile, errors, warnings, rulesConfig) {
+	const specObject = getSpecObject(sourceFile, "ExperimentSpec");
+	if (!specObject) {
+		errors.push("Missing ExperimentSpec type annotation");
+		return;
+	}
+	if (!specObject.getProperty("controlVariant")) errors.push("ExperimentSpec must declare controlVariant");
+	if (!specObject.getProperty("variants")) errors.push("ExperimentSpec must declare variants");
+	if (!specObject.getProperty("allocation")) emitRule("experiment-allocation", "experiment", "ExperimentSpec missing allocation configuration", errors, warnings, rulesConfig);
 }
-function validateAppConfigSpec(code, errors, warnings, rulesConfig) {
-	if (!code.match(/:\s*AppBlueprintSpec\s*=/)) errors.push("Missing AppBlueprintSpec type annotation");
-	if (!code.includes("meta:")) errors.push("AppBlueprintSpec must define meta");
-	if (!code.includes("appId")) emitRule("app-config-appid", "app-config", "AppBlueprint meta missing appId assignment", errors, warnings, rulesConfig);
-	if (!code.includes("capabilities")) emitRule("app-config-capabilities", "app-config", "App blueprint spec does not declare capabilities", errors, warnings, rulesConfig);
+function validateAppConfigSpec(sourceFile, errors, warnings, rulesConfig) {
+	const defineCall = sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression).find((c) => c.getExpression().getText() === "defineAppConfig");
+	let specObject;
+	if (defineCall) {
+		const args = defineCall.getArguments();
+		if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) specObject = args[0];
+	} else specObject = getSpecObject(sourceFile, "AppBlueprintSpec");
+	if (!specObject) {
+		errors.push("Missing defineAppConfig call or AppBlueprintSpec type annotation");
+		return;
+	}
+	const metaProp = specObject.getProperty("meta");
+	if (!metaProp) errors.push("AppBlueprintSpec must define meta");
+	else if (Node.isPropertyAssignment(metaProp)) {
+		const metaObj = metaProp.getInitializer();
+		if (Node.isObjectLiteralExpression(metaObj)) {
+			if (!metaObj.getProperty("appId")) emitRule("app-config-appid", "app-config", "AppBlueprint meta missing appId assignment", errors, warnings, rulesConfig);
+		}
+	}
+	if (!specObject.getProperty("capabilities")) emitRule("app-config-capabilities", "app-config", "App blueprint spec does not declare capabilities", errors, warnings, rulesConfig);
 }
 /**
 * Validate event spec
 */
-function validateEventSpec(code, errors, warnings, rulesConfig) {
-	if (!code.includes("defineEvent")) errors.push("Missing defineEvent call");
-	if (!code.match(/key:\s*['"][^'"]+['"]/)) errors.push("Missing or invalid key field");
-	if (!code.match(/version:\s*(?:\d+|['"][^'"]+['"])/)) errors.push("Missing or invalid version field");
-	if (!code.includes("payload:")) errors.push("Missing payload field");
-	const nameMatch = code.match(/name:\s*['"]([^'"]+)['"]/);
-	if (nameMatch?.[1]) {
-		if (!(nameMatch[1].split(".").pop() ?? "").match(/(ed|created|updated|deleted|completed)$/i)) emitRule("event-past-tense", "event", "Event name should use past tense (e.g., \"created\", \"updated\")", errors, warnings, rulesConfig);
+function validateEventSpec(sourceFile, errors, warnings, rulesConfig) {
+	const defineEventCall = sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression).find((c) => c.getExpression().getText() === "defineEvent");
+	if (!defineEventCall) {
+		errors.push("Missing defineEvent call");
+		return;
+	}
+	let specObject;
+	const args = defineEventCall.getArguments();
+	if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) specObject = args[0];
+	if (specObject && Node.isObjectLiteralExpression(specObject)) {
+		const metaProp = specObject.getProperty("meta");
+		let hasKey = false;
+		let hasVersion = false;
+		if (metaProp && Node.isPropertyAssignment(metaProp)) {
+			const metaObj = metaProp.getInitializer();
+			if (Node.isObjectLiteralExpression(metaObj)) {
+				const keyP = metaObj.getProperty("key");
+				if (keyP && Node.isPropertyAssignment(keyP)) {
+					const init = keyP.getInitializer();
+					if (init && Node.isStringLiteral(init)) hasKey = true;
+				}
+				if (metaObj.getProperty("version")) hasVersion = true;
+			}
+		}
+		if (!hasKey) {
+			const kp = specObject.getProperty("key");
+			if (kp && Node.isPropertyAssignment(kp)) {
+				const init = kp.getInitializer();
+				if (init && Node.isStringLiteral(init)) hasKey = true;
+			}
+		}
+		if (!hasVersion && specObject.getProperty("version")) hasVersion = true;
+		if (!hasKey) errors.push("Missing or invalid key field");
+		if (!hasVersion) errors.push("Missing or invalid version field");
+		if (!specObject.getProperty("payload")) errors.push("Missing payload field");
+		let name = "";
+		const getName = (obj) => {
+			const init = obj.getInitializer();
+			if (init && Node.isStringLiteral(init)) return init.getLiteralText();
+			return "";
+		};
+		if (metaProp && Node.isPropertyAssignment(metaProp)) {
+			const metaObj = metaProp.getInitializer();
+			if (Node.isObjectLiteralExpression(metaObj)) {
+				const nameP = metaObj.getProperty("name");
+				if (nameP && Node.isPropertyAssignment(nameP)) name = getName(nameP);
+			}
+		}
+		if (!name) {
+			const nameP = specObject.getProperty("name");
+			if (nameP && Node.isPropertyAssignment(nameP)) name = getName(nameP);
+		}
+		if (name) {
+			if (!(name.split(".").pop() ?? "").match(/(ed|created|updated|deleted|completed)$/i)) emitRule("event-past-tense", "event", "Event name should use past tense (e.g., \"created\", \"updated\")", errors, warnings, rulesConfig);
+		}
 	}
 }
 /**
 * Validate presentation spec (V2 format)
 */
-function validatePresentationSpec(code, errors, _warnings) {
-	if (!code.match(/:\s*PresentationSpec\s*=/)) errors.push("Missing PresentationSpec type annotation");
-	if (!code.includes("meta:")) errors.push("Missing meta section");
-	if (!code.includes("source:")) errors.push("Missing source section");
-	if (!code.match(/type:\s*['"](?:component|blocknotejs)['"]/)) errors.push("Missing or invalid source.type field");
-	if (!code.includes("targets:")) errors.push("Missing targets section");
+function validatePresentationSpec(sourceFile, errors, _warnings) {
+	const defineCall = sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression).find((c) => c.getExpression().getText() === "definePresentation");
+	let specObject;
+	if (defineCall) {
+		const args = defineCall.getArguments();
+		if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) specObject = args[0];
+	} else specObject = getSpecObject(sourceFile, "PresentationSpec");
+	if (!specObject) {
+		errors.push("Missing definePresentation call or PresentationSpec type annotation");
+		return;
+	}
+	if (!specObject.getProperty("meta")) errors.push("Missing meta section");
+	const sourceProp = specObject.getProperty("source");
+	if (!sourceProp) errors.push("Missing source section");
+	else if (Node.isPropertyAssignment(sourceProp)) {
+		const sourceObj = sourceProp.getInitializer();
+		if (Node.isObjectLiteralExpression(sourceObj)) {
+			const typeProp = sourceObj.getProperty("type");
+			if (!typeProp) errors.push("Missing or invalid source.type field");
+			else if (Node.isPropertyAssignment(typeProp)) {
+				const init = typeProp.getInitializer();
+				if (init && Node.isStringLiteral(init)) {
+					const val = init.getLiteralText();
+					if (val !== "component" && val !== "blocknotejs") errors.push("Missing or invalid source.type field");
+				}
+			}
+		}
+	}
+	if (!specObject.getProperty("targets")) errors.push("Missing targets section");
 }
-function validateWorkflowSpec(code, errors, warnings, rulesConfig) {
-	if (!code.match(/:\s*WorkflowSpec\s*=/)) errors.push("Missing WorkflowSpec type annotation");
-	if (!code.includes("definition:")) errors.push("Missing definition section");
-	if (!code.includes("steps:")) errors.push("Workflow must declare steps");
-	if (!code.includes("transitions:")) emitRule("workflow-transitions", "workflow", "No transitions declared; workflow will complete after first step.", errors, warnings, rulesConfig);
-	if (!code.match(/title:\s*['"][^'"]+['"]/)) warnings.push("Missing workflow title");
-	if (!code.match(/domain:\s*['"][^'"]+['"]/)) warnings.push("Missing domain field");
-	if (code.includes("TODO")) emitRule("no-todo", "workflow", "Contains TODO items that need completion", errors, warnings, rulesConfig);
+function validateWorkflowSpec(sourceFile, errors, warnings, rulesConfig) {
+	const defineCall = sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression).find((c) => c.getExpression().getText() === "defineWorkflow");
+	let specObject;
+	if (defineCall) {
+		const args = defineCall.getArguments();
+		if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) specObject = args[0];
+	} else specObject = getSpecObject(sourceFile, "WorkflowSpec");
+	if (!specObject) {
+		errors.push("Missing defineWorkflow call or WorkflowSpec type annotation");
+		return;
+	}
+	if (!specObject.getProperty("definition")) errors.push("Missing definition section");
+	else {
+		const defProp = specObject.getProperty("definition");
+		if (defProp && Node.isPropertyAssignment(defProp)) {
+			const defObj = defProp.getInitializer();
+			if (Node.isObjectLiteralExpression(defObj)) {
+				if (!defObj.getProperty("steps")) errors.push("Workflow must declare steps");
+				if (!defObj.getProperty("transitions")) emitRule("workflow-transitions", "workflow", "No transitions declared; workflow will complete after first step.", errors, warnings, rulesConfig);
+			}
+		}
+	}
+	let titleFound = false;
+	let domainFound = false;
+	const metaProp = specObject.getProperty("meta");
+	if (metaProp && Node.isPropertyAssignment(metaProp)) {
+		const metaObj = metaProp.getInitializer();
+		if (Node.isObjectLiteralExpression(metaObj)) {
+			if (metaObj.getProperty("title")) titleFound = true;
+			if (metaObj.getProperty("domain")) domainFound = true;
+		}
+	}
+	if (!titleFound && specObject.getProperty("title")) titleFound = true;
+	if (!domainFound && specObject.getProperty("domain")) domainFound = true;
+	if (!titleFound) warnings.push("Missing workflow title");
+	if (!domainFound) warnings.push("Missing domain field");
+	if (sourceFile.getFullText().includes("TODO")) emitRule("no-todo", "workflow", "Contains TODO items that need completion", errors, warnings, rulesConfig);
 }
-function validateMigrationSpec(code, errors, warnings, rulesConfig) {
-	if (!code.match(/:\s*MigrationSpec\s*=/)) errors.push("Missing MigrationSpec type annotation");
-	if (!code.includes("plan:")) errors.push("Missing plan section");
-	else if (!code.includes("up:")) errors.push("Migration must define at least one up step");
-	if (!code.match(/name:\s*['"][^'"]+['"]/)) errors.push("Missing or invalid migration name");
-	if (!code.match(/version:\s*(?:\d+|['"][^'"]+['"])/)) errors.push("Missing or invalid migration version");
-	if (code.includes("TODO")) emitRule("no-todo", "migration", "Contains TODO items that need completion", errors, warnings, rulesConfig);
+function validateMigrationSpec(sourceFile, errors, warnings, rulesConfig) {
+	const specObject = getSpecObject(sourceFile, "MigrationSpec");
+	if (!specObject) {
+		errors.push("Missing MigrationSpec type annotation");
+		return;
+	}
+	const planProp = specObject.getProperty("plan");
+	if (!planProp) errors.push("Missing plan section");
+	else if (Node.isPropertyAssignment(planProp)) {
+		const planObj = planProp.getInitializer();
+		if (Node.isObjectLiteralExpression(planObj)) {
+			if (!planObj.getProperty("up")) errors.push("Migration must define at least one up step");
+		}
+	}
+	let nameFound = false;
+	let versionFound = false;
+	const metaProp = specObject.getProperty("meta");
+	if (metaProp && Node.isPropertyAssignment(metaProp)) {
+		const metaObj = metaProp.getInitializer();
+		if (Node.isObjectLiteralExpression(metaObj)) {
+			if (metaObj.getProperty("name")) nameFound = true;
+			if (metaObj.getProperty("version")) versionFound = true;
+		}
+	}
+	if (!nameFound && specObject.getProperty("name")) nameFound = true;
+	if (!versionFound && specObject.getProperty("version")) versionFound = true;
+	if (!nameFound) errors.push("Missing or invalid migration name");
+	if (!versionFound) errors.push("Missing or invalid migration version");
+	if (sourceFile.getFullText().includes("TODO")) emitRule("no-todo", "migration", "Contains TODO items that need completion", errors, warnings, rulesConfig);
 }
 /**
 * Validate common fields across all spec types
 */
-function validateCommonFields(code, fileName, errors, warnings, rulesConfig) {
+function validateCommonFields(sourceFile, fileName, errors, warnings, rulesConfig) {
+	const code = sourceFile.getFullText();
 	const isInternalLib = fileName.includes("/libs/contracts/") || fileName.includes("/libs/contracts-transformers/") || fileName.includes("/libs/schema/");
-	if (code.includes("SchemaModel") && !/from\s+['"]@contractspec\/lib\.schema(\/[^'"]+)?['"]/.test(code) && !isInternalLib) errors.push("Missing import for SchemaModel from @contractspec/lib.schema");
-	if ((code.includes(": OperationSpec") || code.includes(": PresentationSpec") || code.includes(": EventSpec") || code.includes(": FeatureSpec") || code.includes(": WorkflowSpec") || code.includes(": DataViewSpec") || code.includes(": MigrationSpec") || code.includes(": TelemetrySpec") || code.includes(": ExperimentSpec") || code.includes(": AppBlueprintSpec") || code.includes("defineCommand(") || code.includes("defineQuery(") || code.includes("defineEvent(")) && !/from\s+['"]@contractspec\/lib\.contracts(\/[^'"]+)?['"]/.test(code) && !isInternalLib) errors.push("Missing import from @contractspec/lib.contracts");
-	const ownersMatch = code.match(/owners:\s*\[(.*?)\]/s);
-	if (ownersMatch?.[1]) {
-		const ownersContent = ownersMatch[1];
-		if (!ownersContent.includes("@") && !ownersContent.includes("Enum") && !ownersContent.match(/[A-Z][a-zA-Z0-9_]+/)) emitRule("require-owners-format", "operation", "Owners should start with @ or use an Enum/Constant", errors, warnings, rulesConfig);
-	}
-	if (!code.match(/stability:\s*(?:['"](?:experimental|beta|stable|deprecated)['"]|[A-Z][a-zA-Z0-9_]+(?:\.[a-zA-Z0-9_]+)?)/)) emitRule("require-stability", "operation", "Missing or invalid stability field", errors, warnings, rulesConfig);
+	if (code.includes("SchemaModel") && !isInternalLib) {
+		if (!sourceFile.getImportDeclarations().some((i) => i.getModuleSpecifierValue().includes("@contractspec/lib.schema"))) errors.push("Missing import for SchemaModel from @contractspec/lib.schema");
+	}
+	if ((code.includes("OperationSpec") || code.includes("PresentationSpec") || code.includes("EventSpec") || code.includes("FeatureSpec") || code.includes("WorkflowSpec") || code.includes("DataViewSpec") || code.includes("MigrationSpec") || code.includes("TelemetrySpec") || code.includes("ExperimentSpec") || code.includes("AppBlueprintSpec") || code.includes("defineCommand") || code.includes("defineQuery") || code.includes("defineEvent") || code.includes("definePresentation") || code.includes("defineWorkflow") || code.includes("defineDataView") || code.includes("defineAppConfig") || code.includes("defineFeature") || code.includes("defineExperiment") || code.includes("defineTelemetry") || code.includes("defineMigration")) && !isInternalLib) {
+		if (!sourceFile.getImportDeclarations().some((i) => i.getModuleSpecifierValue().includes("@contractspec/lib.contracts"))) errors.push("Missing import from @contractspec/lib.contracts");
+	}
+	const specObject = findMainExportedObject(sourceFile);
+	if (specObject && Node.isObjectLiteralExpression(specObject)) {
+		const ownersProp = specObject.getProperty("owners");
+		let ownersArr = void 0;
+		const checkOwners = (prop) => {
+			if (Node.isPropertyAssignment(prop)) {
+				const init = prop.getInitializer();
+				if (init && Node.isArrayLiteralExpression(init)) return init;
+			}
+		};
+		if (ownersProp) ownersArr = checkOwners(ownersProp);
+		if (!ownersArr) {
+			const metaProp = specObject.getProperty("meta");
+			if (metaProp && Node.isPropertyAssignment(metaProp)) {
+				const metaObj = metaProp.getInitializer();
+				if (metaObj && Node.isObjectLiteralExpression(metaObj)) {
+					const o = metaObj.getProperty("owners");
+					if (o) ownersArr = checkOwners(o);
+				}
+			}
+		}
+		if (ownersArr) {
+			for (const elem of ownersArr.getElements()) if (Node.isStringLiteral(elem)) {
+				const val = elem.getLiteralText();
+				if (!val.includes("@") && !val.includes("Enum") && !val.match(/[A-Z][a-zA-Z0-9_]+/)) emitRule("require-owners-format", "operation", "Owners should start with @ or use an Enum/Constant", errors, warnings, rulesConfig);
+			}
+		}
+		let stabilityFound = false;
+		if (specObject.getProperty("stability")) stabilityFound = true;
+		if (!stabilityFound) {
+			const metaProp = specObject.getProperty("meta");
+			if (metaProp && Node.isPropertyAssignment(metaProp)) {
+				const metaObj = metaProp.getInitializer();
+				if (Node.isObjectLiteralExpression(metaObj)) {
+					if (metaObj.getProperty("stability")) stabilityFound = true;
+				}
+			}
+		}
+		if (!stabilityFound) emitRule("require-stability", "operation", "Missing or invalid stability field", errors, warnings, rulesConfig);
+	}
 }
-function validateDataViewSpec(code, errors, warnings, rulesConfig) {
-	if (!code.match(/:\s*DataViewSpec\s*=/)) errors.push("Missing DataViewSpec type annotation");
-	if (!code.includes("meta:")) errors.push("Missing meta section");
-	if (!code.includes("source:")) errors.push("Missing source section");
-	if (!code.includes("view:")) errors.push("Missing view section");
-	if (!code.match(/kind:\s*['"](list|table|detail|grid)['"]/)) errors.push("Missing or invalid view.kind (list/table/detail/grid)");
-	if (!code.match(/fields:\s*\[/)) emitRule("data-view-fields", "data-view", "No fields defined for data view", errors, warnings, rulesConfig);
+function validateDataViewSpec(sourceFile, errors, warnings, rulesConfig) {
+	const defineCall = sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression).find((c) => c.getExpression().getText() === "defineDataView");
+	let specObject;
+	if (defineCall) {
+		const args = defineCall.getArguments();
+		if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) specObject = args[0];
+	} else specObject = getSpecObject(sourceFile, "DataViewSpec");
+	if (!specObject) {
+		errors.push("Missing defineDataView call or DataViewSpec type annotation");
+		return;
+	}
+	if (!specObject.getProperty("meta")) errors.push("Missing meta section");
+	if (!specObject.getProperty("source")) errors.push("Missing source section");
+	const viewProp = specObject.getProperty("view");
+	if (!viewProp) {
+		errors.push("Missing view section");
+		errors.push("Missing or invalid view.kind (list/table/detail/grid)");
+	} else if (Node.isPropertyAssignment(viewProp)) {
+		const viewObj = viewProp.getInitializer();
+		if (Node.isObjectLiteralExpression(viewObj)) {
+			const kindProp = viewObj.getProperty("kind");
+			if (!kindProp) errors.push("Missing or invalid view.kind (list/table/detail/grid)");
+			else if (Node.isPropertyAssignment(kindProp)) {
+				const init = kindProp.getInitializer();
+				if (init && Node.isStringLiteral(init)) {
+					const val = init.getLiteralText();
+					if (![
+						"list",
+						"table",
+						"detail",
+						"grid"
+					].includes(val)) errors.push("Missing or invalid view.kind (list/table/detail/grid)");
+				}
+			}
+		}
+	}
+	let fieldsFound = false;
+	if (viewProp && Node.isPropertyAssignment(viewProp)) {
+		const viewObj = viewProp.getInitializer();
+		if (Node.isObjectLiteralExpression(viewObj)) {
+			if (viewObj.getProperty("fields")) fieldsFound = true;
+		}
+	}
+	if (!fieldsFound && specObject.getProperty("fields")) fieldsFound = true;
+	if (!fieldsFound) emitRule("data-view-fields", "data-view", "No fields defined for data view", errors, warnings, rulesConfig);
+}
+function getSpecObject(sourceFile, typeName) {
+	const varStmts = sourceFile.getVariableStatements();
+	for (const stmt of varStmts) if (stmt.isExported()) for (const decl of stmt.getDeclarations()) {
+		const typeNode = decl.getTypeNode();
+		if (typeNode && typeNode.getText().includes(typeName)) {
+			const init = decl.getInitializer();
+			if (init && Node.isObjectLiteralExpression(init)) return init;
+		}
+	}
+	const exportAssign = sourceFile.getExportAssignment((d) => !d.isExportEquals());
+	if (exportAssign) {
+		const expr = exportAssign.getExpression();
+		if (Node.isAsExpression(expr)) {
+			if (expr.getTypeNode()?.getText().includes(typeName)) {
+				const inner = expr.getExpression();
+				if (Node.isObjectLiteralExpression(inner)) return inner;
+			}
+		}
+		if (Node.isObjectLiteralExpression(expr)) return expr;
+	}
+}
+function findMainExportedObject(sourceFile) {
+	const varStmts = sourceFile.getVariableStatements();
+	for (const stmt of varStmts) if (stmt.isExported()) for (const decl of stmt.getDeclarations()) {
+		const init = decl.getInitializer();
+		if (init) {
+			if (Node.isObjectLiteralExpression(init)) return init;
+			if (Node.isCallExpression(init)) {
+				const args = init.getArguments();
+				if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) return args[0];
+			}
+		}
+	}
+	const exportAssign = sourceFile.getExportAssignment((d) => !d.isExportEquals());
+	if (exportAssign) {
+		const expr = exportAssign.getExpression();
+		if (Node.isObjectLiteralExpression(expr)) return expr;
+		if (Node.isAsExpression(expr) && Node.isObjectLiteralExpression(expr.getExpression())) return expr.getExpression();
+		if (Node.isCallExpression(expr)) {
+			const args = expr.getArguments();
+			if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) return args[0];
+		}
+	}
 }
 
 //#endregion