@contractspec/module.workspace 0.0.0-canary-20260113162409

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

@@ -0,0 +1,29 @@
+import { ValidationResult } from "../../types/analysis-types.js";
+
+//#region src/analysis/validate/spec-structure.d.ts
+
+/**
+ * Rule severity level for lint rules.
+ */
+type RuleSeverity = 'off' | 'warn' | 'error';
+/**
+ * Spec kind for rule overrides mapping.
+ */
+type SpecKind = 'operation' | 'event' | 'presentation' | 'feature' | 'workflow' | 'data-view' | 'migration' | 'telemetry' | 'experiment' | 'app-config';
+/**
+ * Interface for resolving rule severity.
+ */
+interface RulesConfig {
+  /**
+   * Get the severity for a rule, considering spec kind overrides.
+   * Returns 'warn' by default if not configured.
+   */
+  getRule(ruleName: string, specKind: SpecKind): RuleSeverity;
+}
+/**
+ * Validate spec structure based on source code and filename.
+ */
+declare function validateSpecStructure(code: string, fileName: string, rulesConfig?: RulesConfig): ValidationResult;
+//#endregion
+export { RuleSeverity, RulesConfig, SpecKind, validateSpecStructure };
+//# sourceMappingURL=spec-structure.d.ts.map

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

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

@@ -0,0 +1,455 @@
+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" };
+/**
+* Validate spec structure based on source code and filename.
+*/
+function validateSpecStructure(code, fileName, rulesConfig = DEFAULT_RULES_CONFIG) {
+	const errors = [];
+	const warnings = [];
+	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,
+		warnings
+	};
+}
+/**
+* Helper to emit a message based on rule severity.
+*/
+function emitRule(ruleName, specKind, message, errors, warnings, rulesConfig) {
+	const severity = rulesConfig.getRule(ruleName, specKind);
+	if (severity === "off") return;
+	if (severity === "error") errors.push(message);
+	else warnings.push(message);
+}
+/**
+* Validate operation spec
+*/
+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(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(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(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(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(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(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(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(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") && !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(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
+export { validateSpecStructure };
+//# sourceMappingURL=spec-structure.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spec-structure.js","names":[],"sources":["../../../src/analysis/validate/spec-structure.ts"],"sourcesContent":["/**\n * Spec structure validation utilities.\n * Extracted from cli-contractspec/src/commands/validate/spec-checker.ts\n */\n\nimport {\n  Project,\n  Node,\n  SyntaxKind,\n  SourceFile,\n  ObjectLiteralExpression,\n  InitializerExpressionGetableNode,\n  PropertyAssignment,\n} from 'ts-morph';\nimport type { ValidationResult } from '../../types/analysis-types';\n\nexport type { ValidationResult };\n\n/**\n * Rule severity level for lint rules.\n */\nexport type RuleSeverity = 'off' | 'warn' | 'error';\n\n/**\n * Spec kind for rule overrides mapping.\n */\nexport type SpecKind =\n  | 'operation'\n  | 'event'\n  | 'presentation'\n  | 'feature'\n  | 'workflow'\n  | 'data-view'\n  | 'migration'\n  | 'telemetry'\n  | 'experiment'\n  | 'app-config';\n\n/**\n * Interface for resolving rule severity.\n */\nexport interface RulesConfig {\n  /**\n   * Get the severity for a rule, considering spec kind overrides.\n   * Returns 'warn' by default if not configured.\n   */\n  getRule(ruleName: string, specKind: SpecKind): RuleSeverity;\n}\n\n/**\n * Default rules config that returns 'warn' for all rules.\n */\nconst DEFAULT_RULES_CONFIG: RulesConfig = {\n  getRule: () => 'warn',\n};\n\n/**\n * Validate spec structure based on source code and filename.\n */\nexport function validateSpecStructure(\n  code: string,\n  fileName: string,\n  rulesConfig: RulesConfig = DEFAULT_RULES_CONFIG\n): ValidationResult {\n  const errors: string[] = [];\n  const warnings: string[] = [];\n\n  const project = new Project({ useInMemoryFileSystem: true });\n  const sourceFile = project.createSourceFile(fileName, code);\n\n  // Check for required exports (any export is sufficient for validity check)\n  const hasExport =\n    sourceFile.getExportAssignments().length > 0 ||\n    sourceFile.getVariableStatements().some((s) => s.isExported()) ||\n    sourceFile.getFunctions().some((f) => f.isExported()) ||\n    sourceFile.getClasses().some((c) => c.isExported()) ||\n    sourceFile.getExportDeclarations().length > 0;\n\n  if (!hasExport) {\n    errors.push('No exported spec found');\n  }\n\n  // Validate operation specs\n  if (\n    fileName.includes('.contracts.') ||\n    fileName.includes('.contract.') ||\n    fileName.includes('.operations.') ||\n    fileName.includes('.operation.')\n  ) {\n    validateOperationSpec(sourceFile, errors, warnings, rulesConfig);\n  }\n\n  // Validate event specs\n  if (fileName.includes('.event.')) {\n    validateEventSpec(sourceFile, errors, warnings, rulesConfig);\n  }\n\n  // Validate presentation specs\n  if (fileName.includes('.presentation.')) {\n    validatePresentationSpec(sourceFile, errors, warnings);\n  }\n\n  if (fileName.includes('.workflow.')) {\n    validateWorkflowSpec(sourceFile, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.data-view.')) {\n    validateDataViewSpec(sourceFile, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.migration.')) {\n    validateMigrationSpec(sourceFile, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.telemetry.')) {\n    validateTelemetrySpec(sourceFile, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.experiment.')) {\n    validateExperimentSpec(sourceFile, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.app-config.')) {\n    validateAppConfigSpec(sourceFile, errors, warnings, rulesConfig);\n  }\n\n  // Common validations\n  validateCommonFields(sourceFile, fileName, errors, warnings, rulesConfig);\n\n  return {\n    valid: errors.length === 0,\n    errors,\n    warnings,\n  };\n}\n\n/**\n * Helper to emit a message based on rule severity.\n */\nfunction emitRule(\n  ruleName: string,\n  specKind: SpecKind,\n  message: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n): void {\n  const severity = rulesConfig.getRule(ruleName, specKind);\n  if (severity === 'off') return;\n  if (severity === 'error') {\n    errors.push(message);\n  } else {\n    warnings.push(message);\n  }\n}\n\n/**\n * Validate operation spec\n */\nfunction validateOperationSpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  // Check for defineCommand or defineQuery calls\n  const callExpressions = sourceFile.getDescendantsOfKind(\n    SyntaxKind.CallExpression\n  );\n  const hasDefine = callExpressions.some((call) => {\n    const text = call.getExpression().getText();\n    return text === 'defineCommand' || text === 'defineQuery';\n  });\n\n  if (!hasDefine) {\n    errors.push('Missing defineCommand or defineQuery call');\n  }\n\n  // To check fields inside defineCommand/Query({ ... }), we find the object literal passed as argument\n  let specObject: ObjectLiteralExpression | undefined;\n  for (const call of callExpressions) {\n    const text = call.getExpression().getText();\n    if (text === 'defineCommand' || text === 'defineQuery') {\n      const args = call.getArguments();\n      if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) {\n        specObject = args[0];\n        break;\n      }\n    }\n  }\n\n  if (specObject && Node.isObjectLiteralExpression(specObject)) {\n    // Check for required meta fields\n    if (!specObject.getProperty('meta')) {\n      errors.push('Missing meta section');\n    }\n\n    if (!specObject.getProperty('io')) {\n      errors.push('Missing io section');\n    }\n\n    if (!specObject.getProperty('policy')) {\n      errors.push('Missing policy section');\n    }\n\n    const metaProp = specObject.getProperty('meta');\n    let hasKey = false;\n    let hasVersion = false;\n\n    if (metaProp && Node.isPropertyAssignment(metaProp)) {\n      const metaObj = metaProp.getInitializer();\n      if (metaObj && Node.isObjectLiteralExpression(metaObj)) {\n        if (metaObj.getProperty('key')) hasKey = true;\n        if (metaObj.getProperty('version')) hasVersion = true;\n      }\n    }\n\n    if (!hasKey) {\n      // Double check if top level\n      if (specObject.getProperty('key')) hasKey = true;\n    }\n\n    if (!hasKey) {\n      errors.push('Missing or invalid key field');\n    }\n\n    if (!hasVersion) {\n      if (specObject.getProperty('version')) hasVersion = true;\n    }\n\n    if (!hasVersion) {\n      errors.push('Missing or invalid version field');\n    }\n\n    // Check for kind\n    const hasExplicitKind = specObject.getProperty('kind');\n    const callText = callExpressions\n      .find((c) => {\n        const t = c.getExpression().getText();\n        return t === 'defineCommand' || t === 'defineQuery';\n      })\n      ?.getExpression()\n      .getText();\n\n    if (!callText && !hasExplicitKind) {\n      errors.push(\n        'Missing kind: use defineCommand(), defineQuery(), or explicit kind field'\n      );\n    }\n\n    // Configurable warnings\n    if (!specObject.getProperty('acceptance')) {\n      emitRule(\n        'require-acceptance',\n        'operation',\n        'No acceptance scenarios defined',\n        errors,\n        warnings,\n        rulesConfig\n      );\n    }\n\n    if (!specObject.getProperty('examples')) {\n      emitRule(\n        'require-examples',\n        'operation',\n        'No examples provided',\n        errors,\n        warnings,\n        rulesConfig\n      );\n    }\n  }\n\n  // TODO check\n  const fullText = sourceFile.getFullText();\n  if (fullText.includes('TODO')) {\n    emitRule(\n      'no-todo',\n      'operation',\n      'Contains TODO items that need completion',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\nfunction validateTelemetrySpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  const specObject = getSpecObject(sourceFile, 'TelemetrySpec');\n\n  if (!specObject) {\n    errors.push('Missing TelemetrySpec type annotation');\n    return;\n  }\n\n  if (specObject) {\n    // Check meta.name\n    const metaProp = specObject.getProperty('meta');\n    let hasName = false;\n    if (metaProp && Node.isPropertyAssignment(metaProp)) {\n      const metaObj = metaProp.getInitializer();\n      if (Node.isObjectLiteralExpression(metaObj)) {\n        if (metaObj.getProperty('name')) hasName = true;\n      }\n    }\n    if (!hasName) {\n      errors.push('TelemetrySpec.meta is required');\n    }\n\n    if (!specObject.getProperty('events')) {\n      errors.push('TelemetrySpec must declare events');\n    }\n\n    const privacyProp = specObject.getProperty('privacy');\n    if (!privacyProp) {\n      emitRule(\n        'telemetry-privacy',\n        'telemetry',\n        'No explicit privacy classification found',\n        errors,\n        warnings,\n        rulesConfig\n      );\n    }\n  }\n}\n\nfunction validateExperimentSpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  const specObject = getSpecObject(sourceFile, 'ExperimentSpec');\n\n  if (!specObject) {\n    errors.push('Missing ExperimentSpec type annotation');\n    return;\n  }\n\n  if (!specObject.getProperty('controlVariant')) {\n    errors.push('ExperimentSpec must declare controlVariant');\n  }\n  if (!specObject.getProperty('variants')) {\n    errors.push('ExperimentSpec must declare variants');\n  }\n  if (!specObject.getProperty('allocation')) {\n    emitRule(\n      'experiment-allocation',\n      'experiment',\n      'ExperimentSpec missing allocation configuration',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\nfunction validateAppConfigSpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  // Check for defineAppConfig call first\n  const callExpressions = sourceFile.getDescendantsOfKind(\n    SyntaxKind.CallExpression\n  );\n  const defineCall = callExpressions.find(\n    (c) => c.getExpression().getText() === 'defineAppConfig'\n  );\n\n  let specObject: ObjectLiteralExpression | undefined;\n\n  if (defineCall) {\n    const args = defineCall.getArguments();\n    if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) {\n      specObject = args[0];\n    }\n  } else {\n    specObject = getSpecObject(sourceFile, 'AppBlueprintSpec');\n  }\n\n  if (!specObject) {\n    errors.push(\n      'Missing defineAppConfig call or AppBlueprintSpec type annotation'\n    );\n    return;\n  }\n\n  const metaProp = specObject.getProperty('meta');\n  if (!metaProp) {\n    errors.push('AppBlueprintSpec must define meta');\n  } else if (Node.isPropertyAssignment(metaProp)) {\n    const metaObj = metaProp.getInitializer();\n    if (Node.isObjectLiteralExpression(metaObj)) {\n      if (!metaObj.getProperty('appId')) {\n        emitRule(\n          'app-config-appid',\n          'app-config',\n          'AppBlueprint meta missing appId assignment',\n          errors,\n          warnings,\n          rulesConfig\n        );\n      }\n    }\n  }\n\n  if (!specObject.getProperty('capabilities')) {\n    emitRule(\n      'app-config-capabilities',\n      'app-config',\n      'App blueprint spec does not declare capabilities',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\n/**\n * Validate event spec\n */\nfunction validateEventSpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  const callExpressions = sourceFile.getDescendantsOfKind(\n    SyntaxKind.CallExpression\n  );\n  const defineEventCall = callExpressions.find(\n    (c) => c.getExpression().getText() === 'defineEvent'\n  );\n\n  if (!defineEventCall) {\n    errors.push('Missing defineEvent call');\n    return;\n  }\n\n  let specObject: ObjectLiteralExpression | undefined;\n  const args = defineEventCall.getArguments();\n  if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) {\n    specObject = args[0];\n  }\n\n  if (specObject && Node.isObjectLiteralExpression(specObject)) {\n    const metaProp = specObject.getProperty('meta');\n    let hasKey = false;\n    let hasVersion = false;\n\n    if (metaProp && Node.isPropertyAssignment(metaProp)) {\n      const metaObj = metaProp.getInitializer();\n      if (Node.isObjectLiteralExpression(metaObj)) {\n        const keyP = metaObj.getProperty('key');\n        if (keyP && Node.isPropertyAssignment(keyP)) {\n          const init = keyP.getInitializer();\n          if (init && Node.isStringLiteral(init)) {\n            hasKey = true;\n          }\n        }\n        if (metaObj.getProperty('version')) hasVersion = true;\n      }\n    }\n\n    if (!hasKey) {\n      const kp = specObject.getProperty('key');\n      if (kp && Node.isPropertyAssignment(kp)) {\n        const init = kp.getInitializer();\n        if (init && Node.isStringLiteral(init)) {\n          hasKey = true;\n        }\n      }\n    }\n    if (!hasVersion && specObject.getProperty('version')) hasVersion = true;\n\n    if (!hasKey) {\n      errors.push('Missing or invalid key field');\n    }\n\n    if (!hasVersion) {\n      errors.push('Missing or invalid version field');\n    }\n\n    if (!specObject.getProperty('payload')) {\n      errors.push('Missing payload field');\n    }\n\n    let name = '';\n    const getName = (\n      obj: InitializerExpressionGetableNode & PropertyAssignment\n    ) => {\n      const init = obj.getInitializer();\n      if (init && Node.isStringLiteral(init)) {\n        return init.getLiteralText();\n      }\n      return '';\n    };\n\n    if (metaProp && Node.isPropertyAssignment(metaProp)) {\n      const metaObj = metaProp.getInitializer();\n      if (Node.isObjectLiteralExpression(metaObj)) {\n        const nameP = metaObj.getProperty('name');\n        if (nameP && Node.isPropertyAssignment(nameP)) {\n          name = getName(nameP);\n        }\n      }\n    }\n    if (!name) {\n      const nameP = specObject.getProperty('name');\n      if (nameP && Node.isPropertyAssignment(nameP)) {\n        name = getName(nameP);\n      }\n    }\n\n    if (name) {\n      const eventName = name.split('.').pop() ?? '';\n      if (!eventName.match(/(ed|created|updated|deleted|completed)$/i)) {\n        emitRule(\n          'event-past-tense',\n          'event',\n          'Event name should use past tense (e.g., \"created\", \"updated\")',\n          errors,\n          warnings,\n          rulesConfig\n        );\n      }\n    }\n  }\n}\n\n/**\n * Validate presentation spec (V2 format)\n */\nfunction validatePresentationSpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  _warnings: string[]\n) {\n  // Check for definePresentation call first\n  const callExpressions = sourceFile.getDescendantsOfKind(\n    SyntaxKind.CallExpression\n  );\n  const defineCall = callExpressions.find(\n    (c) => c.getExpression().getText() === 'definePresentation'\n  );\n\n  let specObject: ObjectLiteralExpression | undefined;\n\n  if (defineCall) {\n    const args = defineCall.getArguments();\n    if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) {\n      specObject = args[0];\n    }\n  } else {\n    specObject = getSpecObject(sourceFile, 'PresentationSpec');\n  }\n\n  if (!specObject) {\n    errors.push(\n      'Missing definePresentation call or PresentationSpec type annotation'\n    );\n    return;\n  }\n\n  if (!specObject.getProperty('meta')) {\n    errors.push('Missing meta section');\n  }\n\n  const sourceProp = specObject.getProperty('source');\n  if (!sourceProp) {\n    errors.push('Missing source section');\n  } else if (Node.isPropertyAssignment(sourceProp)) {\n    const sourceObj = sourceProp.getInitializer();\n    if (Node.isObjectLiteralExpression(sourceObj)) {\n      const typeProp = sourceObj.getProperty('type');\n      if (!typeProp) {\n        errors.push('Missing or invalid source.type field');\n      } else if (Node.isPropertyAssignment(typeProp)) {\n        const init = typeProp.getInitializer();\n        if (init && Node.isStringLiteral(init)) {\n          const val = init.getLiteralText();\n          if (val !== 'component' && val !== 'blocknotejs') {\n            errors.push('Missing or invalid source.type field');\n          }\n        }\n      }\n    }\n  }\n\n  if (!specObject.getProperty('targets')) {\n    errors.push('Missing targets section');\n  }\n}\n\nfunction validateWorkflowSpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  // Check for defineWorkflow call first\n  const callExpressions = sourceFile.getDescendantsOfKind(\n    SyntaxKind.CallExpression\n  );\n  const defineCall = callExpressions.find(\n    (c) => c.getExpression().getText() === 'defineWorkflow'\n  );\n\n  let specObject: ObjectLiteralExpression | undefined;\n\n  if (defineCall) {\n    const args = defineCall.getArguments();\n    if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) {\n      specObject = args[0];\n    }\n  } else {\n    specObject = getSpecObject(sourceFile, 'WorkflowSpec');\n  }\n\n  if (!specObject) {\n    errors.push('Missing defineWorkflow call or WorkflowSpec type annotation');\n    return;\n  }\n\n  if (!specObject.getProperty('definition')) {\n    errors.push('Missing definition section');\n  } else {\n    const defProp = specObject.getProperty('definition');\n    if (defProp && Node.isPropertyAssignment(defProp)) {\n      const defObj = defProp.getInitializer();\n      if (Node.isObjectLiteralExpression(defObj)) {\n        if (!defObj.getProperty('steps')) {\n          errors.push('Workflow must declare steps');\n        }\n        if (!defObj.getProperty('transitions')) {\n          emitRule(\n            'workflow-transitions',\n            'workflow',\n            'No transitions declared; workflow will complete after first step.',\n            errors,\n            warnings,\n            rulesConfig\n          );\n        }\n      }\n    }\n  }\n\n  let titleFound = false;\n  let domainFound = false;\n\n  const metaProp = specObject.getProperty('meta');\n  if (metaProp && Node.isPropertyAssignment(metaProp)) {\n    const metaObj = metaProp.getInitializer();\n    if (Node.isObjectLiteralExpression(metaObj)) {\n      if (metaObj.getProperty('title')) titleFound = true;\n      if (metaObj.getProperty('domain')) domainFound = true;\n    }\n  }\n\n  if (!titleFound && specObject.getProperty('title')) titleFound = true;\n  if (!domainFound && specObject.getProperty('domain')) domainFound = true;\n\n  if (!titleFound) {\n    warnings.push('Missing workflow title');\n  }\n  if (!domainFound) {\n    warnings.push('Missing domain field');\n  }\n\n  if (sourceFile.getFullText().includes('TODO')) {\n    emitRule(\n      'no-todo',\n      'workflow',\n      'Contains TODO items that need completion',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\nfunction validateMigrationSpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  const specObject = getSpecObject(sourceFile, 'MigrationSpec');\n\n  if (!specObject) {\n    errors.push('Missing MigrationSpec type annotation');\n    return;\n  }\n\n  const planProp = specObject.getProperty('plan');\n  if (!planProp) {\n    errors.push('Missing plan section');\n  } else if (Node.isPropertyAssignment(planProp)) {\n    const planObj = planProp.getInitializer();\n    if (Node.isObjectLiteralExpression(planObj)) {\n      if (!planObj.getProperty('up')) {\n        errors.push('Migration must define at least one up step');\n      }\n    }\n  }\n\n  let nameFound = false;\n  let versionFound = false;\n\n  const metaProp = specObject.getProperty('meta');\n  if (metaProp && Node.isPropertyAssignment(metaProp)) {\n    const metaObj = metaProp.getInitializer();\n    if (Node.isObjectLiteralExpression(metaObj)) {\n      if (metaObj.getProperty('name')) nameFound = true;\n      if (metaObj.getProperty('version')) versionFound = true;\n    }\n  }\n\n  if (!nameFound && specObject.getProperty('name')) nameFound = true;\n  if (!versionFound && specObject.getProperty('version')) versionFound = true;\n\n  if (!nameFound) {\n    errors.push('Missing or invalid migration name');\n  }\n\n  if (!versionFound) {\n    errors.push('Missing or invalid migration version');\n  }\n\n  if (sourceFile.getFullText().includes('TODO')) {\n    emitRule(\n      'no-todo',\n      'migration',\n      'Contains TODO items that need completion',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\n/**\n * Validate common fields across all spec types\n */\nfunction validateCommonFields(\n  sourceFile: SourceFile,\n  fileName: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  const code = sourceFile.getFullText();\n\n  // Skip import checks for internal library files that define the types\n  const isInternalLib =\n    fileName.includes('/libs/contracts/') ||\n    fileName.includes('/libs/contracts-transformers/') ||\n    fileName.includes('/libs/schema/');\n\n  if (code.includes('SchemaModel') && !isInternalLib) {\n    const imports = sourceFile.getImportDeclarations();\n    const hasSchemaImport = imports.some((i) =>\n      i.getModuleSpecifierValue().includes('@contractspec/lib.schema')\n    );\n\n    if (!hasSchemaImport) {\n      errors.push(\n        'Missing import for SchemaModel from @contractspec/lib.schema'\n      );\n    }\n  }\n\n  const usesSpecTypes =\n    code.includes('OperationSpec') ||\n    code.includes('PresentationSpec') ||\n    code.includes('EventSpec') ||\n    code.includes('FeatureSpec') ||\n    code.includes('WorkflowSpec') ||\n    code.includes('DataViewSpec') ||\n    code.includes('MigrationSpec') ||\n    code.includes('TelemetrySpec') ||\n    code.includes('ExperimentSpec') ||\n    code.includes('AppBlueprintSpec') ||\n    code.includes('defineCommand') ||\n    code.includes('defineQuery') ||\n    code.includes('defineEvent') ||\n    code.includes('definePresentation') ||\n    code.includes('defineWorkflow') ||\n    code.includes('defineDataView') ||\n    code.includes('defineAppConfig') ||\n    code.includes('defineFeature') || // Assuming features are validated elsewhere\n    code.includes('defineExperiment') ||\n    code.includes('defineTelemetry') ||\n    code.includes('defineMigration');\n\n  if (usesSpecTypes && !isInternalLib) {\n    const imports = sourceFile.getImportDeclarations();\n    const hasContractsImport = imports.some((i) =>\n      i.getModuleSpecifierValue().includes('@contractspec/lib.contracts')\n    );\n\n    if (!hasContractsImport) {\n      errors.push('Missing import from @contractspec/lib.contracts');\n    }\n  }\n\n  const specObject = findMainExportedObject(sourceFile);\n\n  if (specObject && Node.isObjectLiteralExpression(specObject)) {\n    // Check owners format\n    const ownersProp = specObject.getProperty('owners');\n    // If owners in meta?\n    let ownersArr = undefined;\n\n    const checkOwners = (prop: Node) => {\n      if (Node.isPropertyAssignment(prop)) {\n        const init = prop.getInitializer();\n        if (init && Node.isArrayLiteralExpression(init)) {\n          return init;\n        }\n      }\n      return undefined;\n    };\n\n    if (ownersProp) ownersArr = checkOwners(ownersProp);\n\n    if (!ownersArr) {\n      // Check meta.owners\n      const metaProp = specObject.getProperty('meta');\n      if (metaProp && Node.isPropertyAssignment(metaProp)) {\n        const metaObj = metaProp.getInitializer();\n        if (metaObj && Node.isObjectLiteralExpression(metaObj)) {\n          const o = metaObj.getProperty('owners');\n          if (o) ownersArr = checkOwners(o);\n        }\n      }\n    }\n\n    if (ownersArr) {\n      for (const elem of ownersArr.getElements()) {\n        if (Node.isStringLiteral(elem)) {\n          const val = elem.getLiteralText();\n          if (\n            !val.includes('@') &&\n            !val.includes('Enum') &&\n            !val.match(/[A-Z][a-zA-Z0-9_]+/)\n          ) {\n            emitRule(\n              'require-owners-format',\n              'operation',\n              'Owners should start with @ or use an Enum/Constant',\n              errors,\n              warnings,\n              rulesConfig\n            );\n          }\n        }\n      }\n    }\n\n    // Check for stability\n    // Similar logic: top level or meta\n    let stabilityFound = false;\n    const stabilityProp = specObject.getProperty('stability');\n    if (stabilityProp) stabilityFound = true;\n\n    if (!stabilityFound) {\n      const metaProp = specObject.getProperty('meta');\n      if (metaProp && Node.isPropertyAssignment(metaProp)) {\n        const metaObj = metaProp.getInitializer();\n        if (Node.isObjectLiteralExpression(metaObj)) {\n          if (metaObj.getProperty('stability')) stabilityFound = true;\n        }\n      }\n    }\n\n    if (!stabilityFound) {\n      emitRule(\n        'require-stability',\n        'operation',\n        'Missing or invalid stability field',\n        errors,\n        warnings,\n        rulesConfig\n      );\n    }\n  }\n}\n\nfunction validateDataViewSpec(\n  sourceFile: SourceFile,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  // Check for defineDataView call first\n  const callExpressions = sourceFile.getDescendantsOfKind(\n    SyntaxKind.CallExpression\n  );\n  const defineCall = callExpressions.find(\n    (c) => c.getExpression().getText() === 'defineDataView'\n  );\n\n  let specObject: ObjectLiteralExpression | undefined;\n\n  if (defineCall) {\n    const args = defineCall.getArguments();\n    if (args.length > 0 && Node.isObjectLiteralExpression(args[0])) {\n      specObject = args[0];\n    }\n  } else {\n    specObject = getSpecObject(sourceFile, 'DataViewSpec');\n  }\n\n  if (!specObject) {\n    errors.push('Missing defineDataView call or DataViewSpec type annotation');\n    return;\n  }\n  if (!specObject.getProperty('meta')) {\n    errors.push('Missing meta section');\n  }\n  if (!specObject.getProperty('source')) {\n    errors.push('Missing source section');\n  }\n\n  const viewProp = specObject.getProperty('view');\n  if (!viewProp) {\n    errors.push('Missing view section');\n    // Ensure missing kind warning is also triggered for strict validation\n    errors.push('Missing or invalid view.kind (list/table/detail/grid)');\n  } else if (Node.isPropertyAssignment(viewProp)) {\n    const viewObj = viewProp.getInitializer();\n    if (Node.isObjectLiteralExpression(viewObj)) {\n      const kindProp = viewObj.getProperty('kind');\n      if (!kindProp) {\n        errors.push('Missing or invalid view.kind (list/table/detail/grid)');\n      } else if (Node.isPropertyAssignment(kindProp)) {\n        const init = kindProp.getInitializer();\n        if (init && Node.isStringLiteral(init)) {\n          const val = init.getLiteralText();\n          if (!['list', 'table', 'detail', 'grid'].includes(val)) {\n            errors.push(\n              'Missing or invalid view.kind (list/table/detail/grid)'\n            );\n          }\n        }\n      }\n    }\n  }\n\n  let fieldsFound = false;\n  if (viewProp && Node.isPropertyAssignment(viewProp)) {\n    const viewObj = viewProp.getInitializer();\n    if (Node.isObjectLiteralExpression(viewObj)) {\n      if (viewObj.getProperty('fields')) fieldsFound = true;\n    }\n  }\n  if (!fieldsFound && specObject.getProperty('fields')) fieldsFound = true;\n\n  if (!fieldsFound) {\n    emitRule(\n      'data-view-fields',\n      'data-view',\n      'No fields defined for data view',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\n// Helper to find spec object with specific type annotation\nfunction getSpecObject(\n  sourceFile: SourceFile,\n  typeName: string\n): ObjectLiteralExpression | undefined {\n  const varStmts = sourceFile.getVariableStatements();\n  for (const stmt of varStmts) {\n    if (stmt.isExported()) {\n      for (const decl of stmt.getDeclarations()) {\n        const typeNode = decl.getTypeNode();\n        if (typeNode && typeNode.getText().includes(typeName)) {\n          const init = decl.getInitializer();\n          if (init && Node.isObjectLiteralExpression(init)) {\n            return init;\n          }\n        }\n      }\n    }\n  }\n  const exportAssign = sourceFile.getExportAssignment(\n    (d) => !d.isExportEquals()\n  );\n  if (exportAssign) {\n    const expr = exportAssign.getExpression();\n    if (Node.isAsExpression(expr)) {\n      if (expr.getTypeNode()?.getText().includes(typeName)) {\n        const inner = expr.getExpression();\n        if (Node.isObjectLiteralExpression(inner)) return inner;\n      }\n    }\n    if (Node.isObjectLiteralExpression(expr)) {\n      return expr;\n    }\n  }\n  return undefined;\n}\n\nfunction findMainExportedObject(\n  sourceFile: SourceFile\n): ObjectLiteralExpression | undefined {\n  // Return any object that looks like it could be the main spec\n  const varStmts = sourceFile.getVariableStatements();\n  for (const stmt of varStmts) {\n    if (stmt.isExported()) {\n      for (const decl of stmt.getDeclarations()) {\n        const init = decl.getInitializer();\n        if (init) {\n          if (Node.isObjectLiteralExpression(init)) return init;\n          if (Node.isCallExpression(init)) {\n            const args = init.getArguments();\n            if (args.length > 0 && Node.isObjectLiteralExpression(args[0]))\n              return args[0];\n          }\n        }\n      }\n    }\n  }\n  const exportAssign = sourceFile.getExportAssignment(\n    (d) => !d.isExportEquals()\n  );\n  if (exportAssign) {\n    const expr = exportAssign.getExpression();\n    if (Node.isObjectLiteralExpression(expr)) return expr;\n    if (\n      Node.isAsExpression(expr) &&\n      Node.isObjectLiteralExpression(expr.getExpression())\n    )\n      return expr.getExpression() as ObjectLiteralExpression;\n    if (Node.isCallExpression(expr)) {\n      const args = expr.getArguments();\n      if (args.length > 0 && Node.isObjectLiteralExpression(args[0]))\n        return args[0];\n    }\n  }\n  return undefined;\n}\n"],"mappings":";;;;;;;;;;AAoDA,MAAM,uBAAoC,EACxC,eAAe,QAChB;;;;AAKD,SAAgB,sBACd,MACA,UACA,cAA2B,sBACT;CAClB,MAAM,SAAmB,EAAE;CAC3B,MAAM,WAAqB,EAAE;CAG7B,MAAM,aADU,IAAI,QAAQ,EAAE,uBAAuB,MAAM,CAAC,CACjC,iBAAiB,UAAU,KAAK;AAU3D,KAAI,EANF,WAAW,sBAAsB,CAAC,SAAS,KAC3C,WAAW,uBAAuB,CAAC,MAAM,MAAM,EAAE,YAAY,CAAC,IAC9D,WAAW,cAAc,CAAC,MAAM,MAAM,EAAE,YAAY,CAAC,IACrD,WAAW,YAAY,CAAC,MAAM,MAAM,EAAE,YAAY,CAAC,IACnD,WAAW,uBAAuB,CAAC,SAAS,GAG5C,QAAO,KAAK,yBAAyB;AAIvC,KACE,SAAS,SAAS,cAAc,IAChC,SAAS,SAAS,aAAa,IAC/B,SAAS,SAAS,eAAe,IACjC,SAAS,SAAS,cAAc,CAEhC,uBAAsB,YAAY,QAAQ,UAAU,YAAY;AAIlE,KAAI,SAAS,SAAS,UAAU,CAC9B,mBAAkB,YAAY,QAAQ,UAAU,YAAY;AAI9D,KAAI,SAAS,SAAS,iBAAiB,CACrC,0BAAyB,YAAY,QAAQ,SAAS;AAGxD,KAAI,SAAS,SAAS,aAAa,CACjC,sBAAqB,YAAY,QAAQ,UAAU,YAAY;AAGjE,KAAI,SAAS,SAAS,cAAc,CAClC,sBAAqB,YAAY,QAAQ,UAAU,YAAY;AAGjE,KAAI,SAAS,SAAS,cAAc,CAClC,uBAAsB,YAAY,QAAQ,UAAU,YAAY;AAGlE,KAAI,SAAS,SAAS,cAAc,CAClC,uBAAsB,YAAY,QAAQ,UAAU,YAAY;AAGlE,KAAI,SAAS,SAAS,eAAe,CACnC,wBAAuB,YAAY,QAAQ,UAAU,YAAY;AAGnE,KAAI,SAAS,SAAS,eAAe,CACnC,uBAAsB,YAAY,QAAQ,UAAU,YAAY;AAIlE,sBAAqB,YAAY,UAAU,QAAQ,UAAU,YAAY;AAEzE,QAAO;EACL,OAAO,OAAO,WAAW;EACzB;EACA;EACD;;;;;AAMH,SAAS,SACP,UACA,UACA,SACA,QACA,UACA,aACM;CACN,MAAM,WAAW,YAAY,QAAQ,UAAU,SAAS;AACxD,KAAI,aAAa,MAAO;AACxB,KAAI,aAAa,QACf,QAAO,KAAK,QAAQ;KAEpB,UAAS,KAAK,QAAQ;;;;;AAO1B,SAAS,sBACP,YACA,QACA,UACA,aACA;CAEA,MAAM,kBAAkB,WAAW,qBACjC,WAAW,eACZ;AAMD,KAAI,CALc,gBAAgB,MAAM,SAAS;EAC/C,MAAM,OAAO,KAAK,eAAe,CAAC,SAAS;AAC3C,SAAO,SAAS,mBAAmB,SAAS;GAC5C,CAGA,QAAO,KAAK,4CAA4C;CAI1D,IAAI;AACJ,MAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,OAAO,KAAK,eAAe,CAAC,SAAS;AAC3C,MAAI,SAAS,mBAAmB,SAAS,eAAe;GACtD,MAAM,OAAO,KAAK,cAAc;AAChC,OAAI,KAAK,SAAS,KAAK,KAAK,0BAA0B,KAAK,GAAG,EAAE;AAC9D,iBAAa,KAAK;AAClB;;;;AAKN,KAAI,cAAc,KAAK,0BAA0B,WAAW,EAAE;AAE5D,MAAI,CAAC,WAAW,YAAY,OAAO,CACjC,QAAO,KAAK,uBAAuB;AAGrC,MAAI,CAAC,WAAW,YAAY,KAAK,CAC/B,QAAO,KAAK,qBAAqB;AAGnC,MAAI,CAAC,WAAW,YAAY,SAAS,CACnC,QAAO,KAAK,yBAAyB;EAGvC,MAAM,WAAW,WAAW,YAAY,OAAO;EAC/C,IAAI,SAAS;EACb,IAAI,aAAa;AAEjB,MAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;GACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,OAAI,WAAW,KAAK,0BAA0B,QAAQ,EAAE;AACtD,QAAI,QAAQ,YAAY,MAAM,CAAE,UAAS;AACzC,QAAI,QAAQ,YAAY,UAAU,CAAE,cAAa;;;AAIrD,MAAI,CAAC,QAEH;OAAI,WAAW,YAAY,MAAM,CAAE,UAAS;;AAG9C,MAAI,CAAC,OACH,QAAO,KAAK,+BAA+B;AAG7C,MAAI,CAAC,YACH;OAAI,WAAW,YAAY,UAAU,CAAE,cAAa;;AAGtD,MAAI,CAAC,WACH,QAAO,KAAK,mCAAmC;EAIjD,MAAM,kBAAkB,WAAW,YAAY,OAAO;AAStD,MAAI,CARa,gBACd,MAAM,MAAM;GACX,MAAM,IAAI,EAAE,eAAe,CAAC,SAAS;AACrC,UAAO,MAAM,mBAAmB,MAAM;IACtC,EACA,eAAe,CAChB,SAAS,IAEK,CAAC,gBAChB,QAAO,KACL,2EACD;AAIH,MAAI,CAAC,WAAW,YAAY,aAAa,CACvC,UACE,sBACA,aACA,mCACA,QACA,UACA,YACD;AAGH,MAAI,CAAC,WAAW,YAAY,WAAW,CACrC,UACE,oBACA,aACA,wBACA,QACA,UACA,YACD;;AAML,KADiB,WAAW,aAAa,CAC5B,SAAS,OAAO,CAC3B,UACE,WACA,aACA,4CACA,QACA,UACA,YACD;;AAIL,SAAS,sBACP,YACA,QACA,UACA,aACA;CACA,MAAM,aAAa,cAAc,YAAY,gBAAgB;AAE7D,KAAI,CAAC,YAAY;AACf,SAAO,KAAK,wCAAwC;AACpD;;AAGF,KAAI,YAAY;EAEd,MAAM,WAAW,WAAW,YAAY,OAAO;EAC/C,IAAI,UAAU;AACd,MAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;GACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,OAAI,KAAK,0BAA0B,QAAQ,EACzC;QAAI,QAAQ,YAAY,OAAO,CAAE,WAAU;;;AAG/C,MAAI,CAAC,QACH,QAAO,KAAK,iCAAiC;AAG/C,MAAI,CAAC,WAAW,YAAY,SAAS,CACnC,QAAO,KAAK,oCAAoC;AAIlD,MAAI,CADgB,WAAW,YAAY,UAAU,CAEnD,UACE,qBACA,aACA,4CACA,QACA,UACA,YACD;;;AAKP,SAAS,uBACP,YACA,QACA,UACA,aACA;CACA,MAAM,aAAa,cAAc,YAAY,iBAAiB;AAE9D,KAAI,CAAC,YAAY;AACf,SAAO,KAAK,yCAAyC;AACrD;;AAGF,KAAI,CAAC,WAAW,YAAY,iBAAiB,CAC3C,QAAO,KAAK,6CAA6C;AAE3D,KAAI,CAAC,WAAW,YAAY,WAAW,CACrC,QAAO,KAAK,uCAAuC;AAErD,KAAI,CAAC,WAAW,YAAY,aAAa,CACvC,UACE,yBACA,cACA,mDACA,QACA,UACA,YACD;;AAIL,SAAS,sBACP,YACA,QACA,UACA,aACA;CAKA,MAAM,aAHkB,WAAW,qBACjC,WAAW,eACZ,CACkC,MAChC,MAAM,EAAE,eAAe,CAAC,SAAS,KAAK,kBACxC;CAED,IAAI;AAEJ,KAAI,YAAY;EACd,MAAM,OAAO,WAAW,cAAc;AACtC,MAAI,KAAK,SAAS,KAAK,KAAK,0BAA0B,KAAK,GAAG,CAC5D,cAAa,KAAK;OAGpB,cAAa,cAAc,YAAY,mBAAmB;AAG5D,KAAI,CAAC,YAAY;AACf,SAAO,KACL,mEACD;AACD;;CAGF,MAAM,WAAW,WAAW,YAAY,OAAO;AAC/C,KAAI,CAAC,SACH,QAAO,KAAK,oCAAoC;UACvC,KAAK,qBAAqB,SAAS,EAAE;EAC9C,MAAM,UAAU,SAAS,gBAAgB;AACzC,MAAI,KAAK,0BAA0B,QAAQ,EACzC;OAAI,CAAC,QAAQ,YAAY,QAAQ,CAC/B,UACE,oBACA,cACA,8CACA,QACA,UACA,YACD;;;AAKP,KAAI,CAAC,WAAW,YAAY,eAAe,CACzC,UACE,2BACA,cACA,oDACA,QACA,UACA,YACD;;;;;AAOL,SAAS,kBACP,YACA,QACA,UACA,aACA;CAIA,MAAM,kBAHkB,WAAW,qBACjC,WAAW,eACZ,CACuC,MACrC,MAAM,EAAE,eAAe,CAAC,SAAS,KAAK,cACxC;AAED,KAAI,CAAC,iBAAiB;AACpB,SAAO,KAAK,2BAA2B;AACvC;;CAGF,IAAI;CACJ,MAAM,OAAO,gBAAgB,cAAc;AAC3C,KAAI,KAAK,SAAS,KAAK,KAAK,0BAA0B,KAAK,GAAG,CAC5D,cAAa,KAAK;AAGpB,KAAI,cAAc,KAAK,0BAA0B,WAAW,EAAE;EAC5D,MAAM,WAAW,WAAW,YAAY,OAAO;EAC/C,IAAI,SAAS;EACb,IAAI,aAAa;AAEjB,MAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;GACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,OAAI,KAAK,0BAA0B,QAAQ,EAAE;IAC3C,MAAM,OAAO,QAAQ,YAAY,MAAM;AACvC,QAAI,QAAQ,KAAK,qBAAqB,KAAK,EAAE;KAC3C,MAAM,OAAO,KAAK,gBAAgB;AAClC,SAAI,QAAQ,KAAK,gBAAgB,KAAK,CACpC,UAAS;;AAGb,QAAI,QAAQ,YAAY,UAAU,CAAE,cAAa;;;AAIrD,MAAI,CAAC,QAAQ;GACX,MAAM,KAAK,WAAW,YAAY,MAAM;AACxC,OAAI,MAAM,KAAK,qBAAqB,GAAG,EAAE;IACvC,MAAM,OAAO,GAAG,gBAAgB;AAChC,QAAI,QAAQ,KAAK,gBAAgB,KAAK,CACpC,UAAS;;;AAIf,MAAI,CAAC,cAAc,WAAW,YAAY,UAAU,CAAE,cAAa;AAEnE,MAAI,CAAC,OACH,QAAO,KAAK,+BAA+B;AAG7C,MAAI,CAAC,WACH,QAAO,KAAK,mCAAmC;AAGjD,MAAI,CAAC,WAAW,YAAY,UAAU,CACpC,QAAO,KAAK,wBAAwB;EAGtC,IAAI,OAAO;EACX,MAAM,WACJ,QACG;GACH,MAAM,OAAO,IAAI,gBAAgB;AACjC,OAAI,QAAQ,KAAK,gBAAgB,KAAK,CACpC,QAAO,KAAK,gBAAgB;AAE9B,UAAO;;AAGT,MAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;GACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,OAAI,KAAK,0BAA0B,QAAQ,EAAE;IAC3C,MAAM,QAAQ,QAAQ,YAAY,OAAO;AACzC,QAAI,SAAS,KAAK,qBAAqB,MAAM,CAC3C,QAAO,QAAQ,MAAM;;;AAI3B,MAAI,CAAC,MAAM;GACT,MAAM,QAAQ,WAAW,YAAY,OAAO;AAC5C,OAAI,SAAS,KAAK,qBAAqB,MAAM,CAC3C,QAAO,QAAQ,MAAM;;AAIzB,MAAI,MAEF;OAAI,EADc,KAAK,MAAM,IAAI,CAAC,KAAK,IAAI,IAC5B,MAAM,2CAA2C,CAC9D,UACE,oBACA,SACA,qEACA,QACA,UACA,YACD;;;;;;;AAST,SAAS,yBACP,YACA,QACA,WACA;CAKA,MAAM,aAHkB,WAAW,qBACjC,WAAW,eACZ,CACkC,MAChC,MAAM,EAAE,eAAe,CAAC,SAAS,KAAK,qBACxC;CAED,IAAI;AAEJ,KAAI,YAAY;EACd,MAAM,OAAO,WAAW,cAAc;AACtC,MAAI,KAAK,SAAS,KAAK,KAAK,0BAA0B,KAAK,GAAG,CAC5D,cAAa,KAAK;OAGpB,cAAa,cAAc,YAAY,mBAAmB;AAG5D,KAAI,CAAC,YAAY;AACf,SAAO,KACL,sEACD;AACD;;AAGF,KAAI,CAAC,WAAW,YAAY,OAAO,CACjC,QAAO,KAAK,uBAAuB;CAGrC,MAAM,aAAa,WAAW,YAAY,SAAS;AACnD,KAAI,CAAC,WACH,QAAO,KAAK,yBAAyB;UAC5B,KAAK,qBAAqB,WAAW,EAAE;EAChD,MAAM,YAAY,WAAW,gBAAgB;AAC7C,MAAI,KAAK,0BAA0B,UAAU,EAAE;GAC7C,MAAM,WAAW,UAAU,YAAY,OAAO;AAC9C,OAAI,CAAC,SACH,QAAO,KAAK,uCAAuC;YAC1C,KAAK,qBAAqB,SAAS,EAAE;IAC9C,MAAM,OAAO,SAAS,gBAAgB;AACtC,QAAI,QAAQ,KAAK,gBAAgB,KAAK,EAAE;KACtC,MAAM,MAAM,KAAK,gBAAgB;AACjC,SAAI,QAAQ,eAAe,QAAQ,cACjC,QAAO,KAAK,uCAAuC;;;;;AAO7D,KAAI,CAAC,WAAW,YAAY,UAAU,CACpC,QAAO,KAAK,0BAA0B;;AAI1C,SAAS,qBACP,YACA,QACA,UACA,aACA;CAKA,MAAM,aAHkB,WAAW,qBACjC,WAAW,eACZ,CACkC,MAChC,MAAM,EAAE,eAAe,CAAC,SAAS,KAAK,iBACxC;CAED,IAAI;AAEJ,KAAI,YAAY;EACd,MAAM,OAAO,WAAW,cAAc;AACtC,MAAI,KAAK,SAAS,KAAK,KAAK,0BAA0B,KAAK,GAAG,CAC5D,cAAa,KAAK;OAGpB,cAAa,cAAc,YAAY,eAAe;AAGxD,KAAI,CAAC,YAAY;AACf,SAAO,KAAK,8DAA8D;AAC1E;;AAGF,KAAI,CAAC,WAAW,YAAY,aAAa,CACvC,QAAO,KAAK,6BAA6B;MACpC;EACL,MAAM,UAAU,WAAW,YAAY,aAAa;AACpD,MAAI,WAAW,KAAK,qBAAqB,QAAQ,EAAE;GACjD,MAAM,SAAS,QAAQ,gBAAgB;AACvC,OAAI,KAAK,0BAA0B,OAAO,EAAE;AAC1C,QAAI,CAAC,OAAO,YAAY,QAAQ,CAC9B,QAAO,KAAK,8BAA8B;AAE5C,QAAI,CAAC,OAAO,YAAY,cAAc,CACpC,UACE,wBACA,YACA,qEACA,QACA,UACA,YACD;;;;CAMT,IAAI,aAAa;CACjB,IAAI,cAAc;CAElB,MAAM,WAAW,WAAW,YAAY,OAAO;AAC/C,KAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;EACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,MAAI,KAAK,0BAA0B,QAAQ,EAAE;AAC3C,OAAI,QAAQ,YAAY,QAAQ,CAAE,cAAa;AAC/C,OAAI,QAAQ,YAAY,SAAS,CAAE,eAAc;;;AAIrD,KAAI,CAAC,cAAc,WAAW,YAAY,QAAQ,CAAE,cAAa;AACjE,KAAI,CAAC,eAAe,WAAW,YAAY,SAAS,CAAE,eAAc;AAEpE,KAAI,CAAC,WACH,UAAS,KAAK,yBAAyB;AAEzC,KAAI,CAAC,YACH,UAAS,KAAK,uBAAuB;AAGvC,KAAI,WAAW,aAAa,CAAC,SAAS,OAAO,CAC3C,UACE,WACA,YACA,4CACA,QACA,UACA,YACD;;AAIL,SAAS,sBACP,YACA,QACA,UACA,aACA;CACA,MAAM,aAAa,cAAc,YAAY,gBAAgB;AAE7D,KAAI,CAAC,YAAY;AACf,SAAO,KAAK,wCAAwC;AACpD;;CAGF,MAAM,WAAW,WAAW,YAAY,OAAO;AAC/C,KAAI,CAAC,SACH,QAAO,KAAK,uBAAuB;UAC1B,KAAK,qBAAqB,SAAS,EAAE;EAC9C,MAAM,UAAU,SAAS,gBAAgB;AACzC,MAAI,KAAK,0BAA0B,QAAQ,EACzC;OAAI,CAAC,QAAQ,YAAY,KAAK,CAC5B,QAAO,KAAK,6CAA6C;;;CAK/D,IAAI,YAAY;CAChB,IAAI,eAAe;CAEnB,MAAM,WAAW,WAAW,YAAY,OAAO;AAC/C,KAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;EACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,MAAI,KAAK,0BAA0B,QAAQ,EAAE;AAC3C,OAAI,QAAQ,YAAY,OAAO,CAAE,aAAY;AAC7C,OAAI,QAAQ,YAAY,UAAU,CAAE,gBAAe;;;AAIvD,KAAI,CAAC,aAAa,WAAW,YAAY,OAAO,CAAE,aAAY;AAC9D,KAAI,CAAC,gBAAgB,WAAW,YAAY,UAAU,CAAE,gBAAe;AAEvE,KAAI,CAAC,UACH,QAAO,KAAK,oCAAoC;AAGlD,KAAI,CAAC,aACH,QAAO,KAAK,uCAAuC;AAGrD,KAAI,WAAW,aAAa,CAAC,SAAS,OAAO,CAC3C,UACE,WACA,aACA,4CACA,QACA,UACA,YACD;;;;;AAOL,SAAS,qBACP,YACA,UACA,QACA,UACA,aACA;CACA,MAAM,OAAO,WAAW,aAAa;CAGrC,MAAM,gBACJ,SAAS,SAAS,mBAAmB,IACrC,SAAS,SAAS,gCAAgC,IAClD,SAAS,SAAS,gBAAgB;AAEpC,KAAI,KAAK,SAAS,cAAc,IAAI,CAAC,eAMnC;MAAI,CALY,WAAW,uBAAuB,CAClB,MAAM,MACpC,EAAE,yBAAyB,CAAC,SAAS,2BAA2B,CACjE,CAGC,QAAO,KACL,+DACD;;AA2BL,MAtBE,KAAK,SAAS,gBAAgB,IAC9B,KAAK,SAAS,mBAAmB,IACjC,KAAK,SAAS,YAAY,IAC1B,KAAK,SAAS,cAAc,IAC5B,KAAK,SAAS,eAAe,IAC7B,KAAK,SAAS,eAAe,IAC7B,KAAK,SAAS,gBAAgB,IAC9B,KAAK,SAAS,gBAAgB,IAC9B,KAAK,SAAS,iBAAiB,IAC/B,KAAK,SAAS,mBAAmB,IACjC,KAAK,SAAS,gBAAgB,IAC9B,KAAK,SAAS,cAAc,IAC5B,KAAK,SAAS,cAAc,IAC5B,KAAK,SAAS,qBAAqB,IACnC,KAAK,SAAS,iBAAiB,IAC/B,KAAK,SAAS,iBAAiB,IAC/B,KAAK,SAAS,kBAAkB,IAChC,KAAK,SAAS,gBAAgB,IAC9B,KAAK,SAAS,mBAAmB,IACjC,KAAK,SAAS,kBAAkB,IAChC,KAAK,SAAS,kBAAkB,KAEb,CAAC,eAMpB;MAAI,CALY,WAAW,uBAAuB,CACf,MAAM,MACvC,EAAE,yBAAyB,CAAC,SAAS,8BAA8B,CACpE,CAGC,QAAO,KAAK,kDAAkD;;CAIlE,MAAM,aAAa,uBAAuB,WAAW;AAErD,KAAI,cAAc,KAAK,0BAA0B,WAAW,EAAE;EAE5D,MAAM,aAAa,WAAW,YAAY,SAAS;EAEnD,IAAI,YAAY;EAEhB,MAAM,eAAe,SAAe;AAClC,OAAI,KAAK,qBAAqB,KAAK,EAAE;IACnC,MAAM,OAAO,KAAK,gBAAgB;AAClC,QAAI,QAAQ,KAAK,yBAAyB,KAAK,CAC7C,QAAO;;;AAMb,MAAI,WAAY,aAAY,YAAY,WAAW;AAEnD,MAAI,CAAC,WAAW;GAEd,MAAM,WAAW,WAAW,YAAY,OAAO;AAC/C,OAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;IACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,QAAI,WAAW,KAAK,0BAA0B,QAAQ,EAAE;KACtD,MAAM,IAAI,QAAQ,YAAY,SAAS;AACvC,SAAI,EAAG,aAAY,YAAY,EAAE;;;;AAKvC,MAAI,WACF;QAAK,MAAM,QAAQ,UAAU,aAAa,CACxC,KAAI,KAAK,gBAAgB,KAAK,EAAE;IAC9B,MAAM,MAAM,KAAK,gBAAgB;AACjC,QACE,CAAC,IAAI,SAAS,IAAI,IAClB,CAAC,IAAI,SAAS,OAAO,IACrB,CAAC,IAAI,MAAM,qBAAqB,CAEhC,UACE,yBACA,aACA,sDACA,QACA,UACA,YACD;;;EAQT,IAAI,iBAAiB;AAErB,MADsB,WAAW,YAAY,YAAY,CACtC,kBAAiB;AAEpC,MAAI,CAAC,gBAAgB;GACnB,MAAM,WAAW,WAAW,YAAY,OAAO;AAC/C,OAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;IACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,QAAI,KAAK,0BAA0B,QAAQ,EACzC;SAAI,QAAQ,YAAY,YAAY,CAAE,kBAAiB;;;;AAK7D,MAAI,CAAC,eACH,UACE,qBACA,aACA,sCACA,QACA,UACA,YACD;;;AAKP,SAAS,qBACP,YACA,QACA,UACA,aACA;CAKA,MAAM,aAHkB,WAAW,qBACjC,WAAW,eACZ,CACkC,MAChC,MAAM,EAAE,eAAe,CAAC,SAAS,KAAK,iBACxC;CAED,IAAI;AAEJ,KAAI,YAAY;EACd,MAAM,OAAO,WAAW,cAAc;AACtC,MAAI,KAAK,SAAS,KAAK,KAAK,0BAA0B,KAAK,GAAG,CAC5D,cAAa,KAAK;OAGpB,cAAa,cAAc,YAAY,eAAe;AAGxD,KAAI,CAAC,YAAY;AACf,SAAO,KAAK,8DAA8D;AAC1E;;AAEF,KAAI,CAAC,WAAW,YAAY,OAAO,CACjC,QAAO,KAAK,uBAAuB;AAErC,KAAI,CAAC,WAAW,YAAY,SAAS,CACnC,QAAO,KAAK,yBAAyB;CAGvC,MAAM,WAAW,WAAW,YAAY,OAAO;AAC/C,KAAI,CAAC,UAAU;AACb,SAAO,KAAK,uBAAuB;AAEnC,SAAO,KAAK,wDAAwD;YAC3D,KAAK,qBAAqB,SAAS,EAAE;EAC9C,MAAM,UAAU,SAAS,gBAAgB;AACzC,MAAI,KAAK,0BAA0B,QAAQ,EAAE;GAC3C,MAAM,WAAW,QAAQ,YAAY,OAAO;AAC5C,OAAI,CAAC,SACH,QAAO,KAAK,wDAAwD;YAC3D,KAAK,qBAAqB,SAAS,EAAE;IAC9C,MAAM,OAAO,SAAS,gBAAgB;AACtC,QAAI,QAAQ,KAAK,gBAAgB,KAAK,EAAE;KACtC,MAAM,MAAM,KAAK,gBAAgB;AACjC,SAAI,CAAC;MAAC;MAAQ;MAAS;MAAU;MAAO,CAAC,SAAS,IAAI,CACpD,QAAO,KACL,wDACD;;;;;CAOX,IAAI,cAAc;AAClB,KAAI,YAAY,KAAK,qBAAqB,SAAS,EAAE;EACnD,MAAM,UAAU,SAAS,gBAAgB;AACzC,MAAI,KAAK,0BAA0B,QAAQ,EACzC;OAAI,QAAQ,YAAY,SAAS,CAAE,eAAc;;;AAGrD,KAAI,CAAC,eAAe,WAAW,YAAY,SAAS,CAAE,eAAc;AAEpE,KAAI,CAAC,YACH,UACE,oBACA,aACA,mCACA,QACA,UACA,YACD;;AAKL,SAAS,cACP,YACA,UACqC;CACrC,MAAM,WAAW,WAAW,uBAAuB;AACnD,MAAK,MAAM,QAAQ,SACjB,KAAI,KAAK,YAAY,CACnB,MAAK,MAAM,QAAQ,KAAK,iBAAiB,EAAE;EACzC,MAAM,WAAW,KAAK,aAAa;AACnC,MAAI,YAAY,SAAS,SAAS,CAAC,SAAS,SAAS,EAAE;GACrD,MAAM,OAAO,KAAK,gBAAgB;AAClC,OAAI,QAAQ,KAAK,0BAA0B,KAAK,CAC9C,QAAO;;;CAMjB,MAAM,eAAe,WAAW,qBAC7B,MAAM,CAAC,EAAE,gBAAgB,CAC3B;AACD,KAAI,cAAc;EAChB,MAAM,OAAO,aAAa,eAAe;AACzC,MAAI,KAAK,eAAe,KAAK,EAC3B;OAAI,KAAK,aAAa,EAAE,SAAS,CAAC,SAAS,SAAS,EAAE;IACpD,MAAM,QAAQ,KAAK,eAAe;AAClC,QAAI,KAAK,0BAA0B,MAAM,CAAE,QAAO;;;AAGtD,MAAI,KAAK,0BAA0B,KAAK,CACtC,QAAO;;;AAMb,SAAS,uBACP,YACqC;CAErC,MAAM,WAAW,WAAW,uBAAuB;AACnD,MAAK,MAAM,QAAQ,SACjB,KAAI,KAAK,YAAY,CACnB,MAAK,MAAM,QAAQ,KAAK,iBAAiB,EAAE;EACzC,MAAM,OAAO,KAAK,gBAAgB;AAClC,MAAI,MAAM;AACR,OAAI,KAAK,0BAA0B,KAAK,CAAE,QAAO;AACjD,OAAI,KAAK,iBAAiB,KAAK,EAAE;IAC/B,MAAM,OAAO,KAAK,cAAc;AAChC,QAAI,KAAK,SAAS,KAAK,KAAK,0BAA0B,KAAK,GAAG,CAC5D,QAAO,KAAK;;;;CAMxB,MAAM,eAAe,WAAW,qBAC7B,MAAM,CAAC,EAAE,gBAAgB,CAC3B;AACD,KAAI,cAAc;EAChB,MAAM,OAAO,aAAa,eAAe;AACzC,MAAI,KAAK,0BAA0B,KAAK,CAAE,QAAO;AACjD,MACE,KAAK,eAAe,KAAK,IACzB,KAAK,0BAA0B,KAAK,eAAe,CAAC,CAEpD,QAAO,KAAK,eAAe;AAC7B,MAAI,KAAK,iBAAiB,KAAK,EAAE;GAC/B,MAAM,OAAO,KAAK,cAAc;AAChC,OAAI,KAAK,SAAS,KAAK,KAAK,0BAA0B,KAAK,GAAG,CAC5D,QAAO,KAAK"}