@contractspec/bundle.workspace 0.0.0-canary-20260113162409

package/dist/services/verify/behavior-verifier.mjs

@@ -0,0 +1,186 @@
+import { isEmitDeclRef } from "@contractspec/lib.contracts/operations";
+
+//#region src/services/verify/behavior-verifier.ts
+/**
+* Check if a scenario is likely covered by the implementation.
+*/
+function checkScenarioCoverage(code, scenario) {
+	const keywords = [
+		...scenario.given,
+		...scenario.when,
+		...scenario.then
+	].flatMap((s) => s.toLowerCase().split(/\s+/).filter((w) => w.length > 3));
+	const codeLower = code.toLowerCase();
+	const foundKeywords = keywords.filter((kw) => codeLower.includes(kw));
+	const coverage = keywords.length > 0 ? foundKeywords.length / keywords.length : 0;
+	const scenarioNameLower = scenario.key.toLowerCase().replace(/\s+/g, "");
+	const hasTestForScenario = codeLower.includes(scenarioNameLower) || codeLower.includes(`test('${scenario.key.toLowerCase()}'`) || codeLower.includes(`it('${scenario.key.toLowerCase()}'`) || codeLower.includes(`describe('${scenario.key.toLowerCase()}'`);
+	const passed = coverage >= .3 || hasTestForScenario;
+	return {
+		name: scenario.key,
+		type: "scenario",
+		passed,
+		expected: `Given: ${scenario.given.join("; ")}; When: ${scenario.when.join("; ")}; Then: ${scenario.then.join("; ")}`,
+		details: passed ? void 0 : `Scenario keywords not found in implementation (${Math.round(coverage * 100)}% coverage)`
+	};
+}
+/**
+* Check if an example is likely handled.
+*/
+function checkExampleCoverage(code, example) {
+	const inputStr = JSON.stringify(example.input);
+	const outputStr = JSON.stringify(example.output);
+	const inputValues = extractStringValues(example.input);
+	const outputValues = extractStringValues(example.output);
+	const codeLower = code.toLowerCase();
+	const foundInputValues = inputValues.filter((v) => codeLower.includes(v.toLowerCase()));
+	const foundOutputValues = outputValues.filter((v) => codeLower.includes(v.toLowerCase()));
+	const avgCoverage = ((inputValues.length > 0 ? foundInputValues.length / inputValues.length : 1) + (outputValues.length > 0 ? foundOutputValues.length / outputValues.length : 1)) / 2;
+	const passed = avgCoverage >= .2;
+	return {
+		name: example.key,
+		type: "example",
+		passed,
+		expected: `Input: ${inputStr.slice(0, 100)}...; Output: ${outputStr.slice(0, 100)}...`,
+		details: passed ? void 0 : `Example values not found in implementation (${Math.round(avgCoverage * 100)}% coverage)`
+	};
+}
+/**
+* Extract string values from an object for comparison.
+*/
+function extractStringValues(obj) {
+	const values = [];
+	function extract(value) {
+		if (typeof value === "string" && value.length > 2) values.push(value);
+		else if (Array.isArray(value)) value.forEach(extract);
+		else if (value && typeof value === "object") Object.values(value).forEach(extract);
+	}
+	extract(obj);
+	return values;
+}
+/**
+* Check if an error case is handled.
+*/
+function checkErrorCaseCoverage(code, errorCode, errorDef) {
+	const hasErrorCode = code.includes(errorCode);
+	const hasHttpStatus = errorDef.http ? code.includes(String(errorDef.http)) : true;
+	const whenKeywords = errorDef.when.toLowerCase().split(/\s+/).filter((w) => w.length > 3);
+	const codeLower = code.toLowerCase();
+	const foundWhenKeywords = whenKeywords.filter((kw) => codeLower.includes(kw));
+	const whenCoverage = whenKeywords.length > 0 ? foundWhenKeywords.length / whenKeywords.length : 1;
+	const passed = hasErrorCode && (hasHttpStatus || whenCoverage >= .3);
+	return {
+		name: `Error: ${errorCode}`,
+		type: "error",
+		passed,
+		expected: `When: ${errorDef.when}; Return: ${errorCode} (HTTP ${errorDef.http ?? 400})`,
+		details: passed ? void 0 : !hasErrorCode ? `Error code '${errorCode}' not found in implementation` : `Error condition not properly implemented`
+	};
+}
+/**
+* Check if events are emitted in the right conditions.
+*/
+function checkEventConditions(code, spec) {
+	const events = spec.sideEffects?.emits ?? [];
+	const checks = [];
+	for (const event of events) {
+		const eventName = isEmitDeclRef(event) ? event.ref.key : event.key;
+		const when = event.when;
+		const whenKeywords = when.toLowerCase().split(/\s+/).filter((w) => w.length > 3);
+		const codeLower = code.toLowerCase();
+		const hasEvent = codeLower.includes(eventName.toLowerCase());
+		const foundKeywords = whenKeywords.filter((kw) => codeLower.includes(kw));
+		const conditionCoverage = whenKeywords.length > 0 ? foundKeywords.length / whenKeywords.length : 1;
+		checks.push({
+			name: `Event: ${eventName}`,
+			type: "scenario",
+			passed: hasEvent && conditionCoverage >= .3,
+			expected: `Emit ${eventName} when: ${when}`,
+			details: !hasEvent ? `Event '${eventName}' not found` : conditionCoverage < .3 ? `Event condition not properly implemented` : void 0
+		});
+	}
+	return checks;
+}
+/**
+* Check if idempotency is properly handled.
+*/
+function checkIdempotency(code, spec) {
+	if (spec.policy.idempotent === void 0) return null;
+	if (!spec.policy.idempotent) return null;
+	const idempotentPatterns = [
+		"idempotency",
+		"idempotent",
+		"already exists",
+		"upsert",
+		"on conflict",
+		"if not exists",
+		"dedupe",
+		"duplicate"
+	];
+	const codeLower = code.toLowerCase();
+	const hasIdempotentPattern = idempotentPatterns.some((p) => codeLower.includes(p));
+	return {
+		name: "Idempotency",
+		type: "scenario",
+		passed: hasIdempotentPattern,
+		expected: "Operation should be idempotent (safe to retry)",
+		details: hasIdempotentPattern ? void 0 : "No idempotency pattern found for idempotent operation"
+	};
+}
+/**
+* Run all behavior checks and produce a verification report.
+*/
+function verifyBehavior(input) {
+	const { spec, implementationCode, implementationPath } = input;
+	const startTime = Date.now();
+	const checks = [];
+	for (const scenario of spec.acceptance?.scenarios ?? []) checks.push(checkScenarioCoverage(implementationCode, scenario));
+	for (const example of spec.acceptance?.examples ?? []) checks.push(checkExampleCoverage(implementationCode, example));
+	for (const [code, errorDef] of Object.entries(spec.io.errors ?? {})) checks.push(checkErrorCaseCoverage(implementationCode, code, errorDef));
+	checks.push(...checkEventConditions(implementationCode, spec));
+	const idempotencyCheck = checkIdempotency(implementationCode, spec);
+	if (idempotencyCheck) checks.push(idempotencyCheck);
+	const issues = checks.filter((c) => !c.passed).map((c) => ({
+		severity: c.type === "error" ? "error" : "warning",
+		category: c.type === "scenario" ? "scenario" : c.type === "example" ? "scenario" : "error_handling",
+		message: c.details ?? `${c.type} not covered: ${c.name}`,
+		location: implementationPath ? { file: implementationPath } : void 0,
+		suggestion: c.expected ? `Expected: ${c.expected}` : void 0
+	}));
+	const scenarioChecks = checks.filter((c) => c.type === "scenario");
+	const errorChecks = checks.filter((c) => c.type === "error");
+	const passedCount = checks.filter((c) => c.passed).length;
+	const score = checks.length > 0 ? Math.round(passedCount / checks.length * 100) : 100;
+	return {
+		tier: "behavior",
+		passed: issues.filter((i) => i.severity === "error").length === 0,
+		score,
+		issues,
+		suggestions: checks.filter((c) => !c.passed && c.expected).map((c) => `${c.name}: ${c.expected}`),
+		coverage: {
+			scenarios: {
+				total: scenarioChecks.length,
+				covered: scenarioChecks.filter((c) => c.passed).length
+			},
+			errors: {
+				total: errorChecks.length,
+				handled: errorChecks.filter((c) => c.passed).length
+			},
+			fields: {
+				total: checks.length,
+				implemented: passedCount
+			}
+		},
+		meta: {
+			specName: spec.meta.key,
+			specVersion: spec.meta.version,
+			implementationPath: implementationPath ?? "unknown",
+			verifiedAt: (/* @__PURE__ */ new Date()).toISOString(),
+			duration: Date.now() - startTime
+		}
+	};
+}
+
+//#endregion
+export { verifyBehavior };
+//# sourceMappingURL=behavior-verifier.mjs.map

package/dist/services/verify/behavior-verifier.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior-verifier.mjs","names":[],"sources":["../../../src/services/verify/behavior-verifier.ts"],"sourcesContent":["/**\n * Tier 2: Behavior Verification\n *\n * Verifies that the implementation covers acceptance scenarios,\n * examples, and error cases defined in the spec.\n */\n\nimport type { AnyOperationSpec } from '@contractspec/lib.contracts';\nimport { isEmitDeclRef } from '@contractspec/lib.contracts/operations';\nimport type {\n  VerificationIssue,\n  VerificationReport,\n} from '@contractspec/lib.contracts/llm';\nimport type { BehaviorCheck, VerifyInput } from './types';\n\n/**\n * Check if a scenario is likely covered by the implementation.\n */\nfunction checkScenarioCoverage(\n  code: string,\n  scenario: { key: string; given: string[]; when: string[]; then: string[] }\n): BehaviorCheck {\n  // Extract keywords from scenario\n  const keywords = [\n    ...scenario.given,\n    ...scenario.when,\n    ...scenario.then,\n  ].flatMap((s) =>\n    s\n      .toLowerCase()\n      .split(/\\s+/)\n      .filter((w) => w.length > 3)\n  );\n\n  // Count how many keywords appear in code\n  const codeLower = code.toLowerCase();\n  const foundKeywords = keywords.filter((kw) => codeLower.includes(kw));\n  const coverage =\n    keywords.length > 0 ? foundKeywords.length / keywords.length : 0;\n\n  // Also check for test patterns mentioning the scenario\n  const scenarioNameLower = scenario.key.toLowerCase().replace(/\\s+/g, '');\n  const hasTestForScenario =\n    codeLower.includes(scenarioNameLower) ||\n    codeLower.includes(`test('${scenario.key.toLowerCase()}'`) ||\n    codeLower.includes(`it('${scenario.key.toLowerCase()}'`) ||\n    codeLower.includes(`describe('${scenario.key.toLowerCase()}'`);\n\n  const passed = coverage >= 0.3 || hasTestForScenario;\n\n  return {\n    name: scenario.key,\n    type: 'scenario',\n    passed,\n    expected: `Given: ${scenario.given.join('; ')}; When: ${scenario.when.join('; ')}; Then: ${scenario.then.join('; ')}`,\n    details: passed\n      ? undefined\n      : `Scenario keywords not found in implementation (${Math.round(coverage * 100)}% coverage)`,\n  };\n}\n\n/**\n * Check if an example is likely handled.\n */\nfunction checkExampleCoverage(\n  code: string,\n  example: { key: string; input: unknown; output: unknown }\n): BehaviorCheck {\n  // Extract key values from example\n  const inputStr = JSON.stringify(example.input);\n  const outputStr = JSON.stringify(example.output);\n\n  // Look for example values in code (could be in tests or implementation)\n  const inputValues = extractStringValues(example.input);\n  const outputValues = extractStringValues(example.output);\n\n  const codeLower = code.toLowerCase();\n  const foundInputValues = inputValues.filter((v) =>\n    codeLower.includes(v.toLowerCase())\n  );\n  const foundOutputValues = outputValues.filter((v) =>\n    codeLower.includes(v.toLowerCase())\n  );\n\n  const inputCoverage =\n    inputValues.length > 0 ? foundInputValues.length / inputValues.length : 1;\n  const outputCoverage =\n    outputValues.length > 0\n      ? foundOutputValues.length / outputValues.length\n      : 1;\n  const avgCoverage = (inputCoverage + outputCoverage) / 2;\n\n  const passed = avgCoverage >= 0.2;\n\n  return {\n    name: example.key,\n    type: 'example',\n    passed,\n    expected: `Input: ${inputStr.slice(0, 100)}...; Output: ${outputStr.slice(0, 100)}...`,\n    details: passed\n      ? undefined\n      : `Example values not found in implementation (${Math.round(avgCoverage * 100)}% coverage)`,\n  };\n}\n\n/**\n * Extract string values from an object for comparison.\n */\nfunction extractStringValues(obj: unknown): string[] {\n  const values: string[] = [];\n\n  function extract(value: unknown): void {\n    if (typeof value === 'string' && value.length > 2) {\n      values.push(value);\n    } else if (Array.isArray(value)) {\n      value.forEach(extract);\n    } else if (value && typeof value === 'object') {\n      Object.values(value).forEach(extract);\n    }\n  }\n\n  extract(obj);\n  return values;\n}\n\n/**\n * Check if an error case is handled.\n */\nfunction checkErrorCaseCoverage(\n  code: string,\n  errorCode: string,\n  errorDef: { description: string; http?: number; when: string }\n): BehaviorCheck {\n  // Check if error code is referenced\n  const hasErrorCode = code.includes(errorCode);\n\n  // Check for HTTP status code\n  const hasHttpStatus = errorDef.http\n    ? code.includes(String(errorDef.http))\n    : true;\n\n  // Check for keywords from the 'when' condition\n  const whenKeywords = errorDef.when\n    .toLowerCase()\n    .split(/\\s+/)\n    .filter((w) => w.length > 3);\n  const codeLower = code.toLowerCase();\n  const foundWhenKeywords = whenKeywords.filter((kw) => codeLower.includes(kw));\n  const whenCoverage =\n    whenKeywords.length > 0\n      ? foundWhenKeywords.length / whenKeywords.length\n      : 1;\n\n  const passed = hasErrorCode && (hasHttpStatus || whenCoverage >= 0.3);\n\n  return {\n    name: `Error: ${errorCode}`,\n    type: 'error',\n    passed,\n    expected: `When: ${errorDef.when}; Return: ${errorCode} (HTTP ${errorDef.http ?? 400})`,\n    details: passed\n      ? undefined\n      : !hasErrorCode\n        ? `Error code '${errorCode}' not found in implementation`\n        : `Error condition not properly implemented`,\n  };\n}\n\n/**\n * Check if events are emitted in the right conditions.\n */\nfunction checkEventConditions(\n  code: string,\n  spec: AnyOperationSpec\n): BehaviorCheck[] {\n  const events = spec.sideEffects?.emits ?? [];\n  const checks: BehaviorCheck[] = [];\n\n  for (const event of events) {\n    const eventName = isEmitDeclRef(event) ? event.ref.key : event.key;\n    const when = event.when;\n\n    // Check if event name appears near the condition keywords\n    const whenKeywords = when\n      .toLowerCase()\n      .split(/\\s+/)\n      .filter((w) => w.length > 3);\n    const codeLower = code.toLowerCase();\n\n    // Find if event is mentioned\n    const hasEvent = codeLower.includes(eventName.toLowerCase());\n\n    // Find if condition keywords are present\n    const foundKeywords = whenKeywords.filter((kw) => codeLower.includes(kw));\n    const conditionCoverage =\n      whenKeywords.length > 0 ? foundKeywords.length / whenKeywords.length : 1;\n\n    checks.push({\n      name: `Event: ${eventName}`,\n      type: 'scenario',\n      passed: hasEvent && conditionCoverage >= 0.3,\n      expected: `Emit ${eventName} when: ${when}`,\n      details: !hasEvent\n        ? `Event '${eventName}' not found`\n        : conditionCoverage < 0.3\n          ? `Event condition not properly implemented`\n          : undefined,\n    });\n  }\n\n  return checks;\n}\n\n/**\n * Check if idempotency is properly handled.\n */\nfunction checkIdempotency(\n  code: string,\n  spec: AnyOperationSpec\n): BehaviorCheck | null {\n  if (spec.policy.idempotent === undefined) {\n    return null;\n  }\n\n  if (!spec.policy.idempotent) {\n    // Command that's not idempotent - no specific check needed\n    return null;\n  }\n\n  // For idempotent operations, look for patterns that ensure idempotency\n  const idempotentPatterns = [\n    'idempotency',\n    'idempotent',\n    'already exists',\n    'upsert',\n    'on conflict',\n    'if not exists',\n    'dedupe',\n    'duplicate',\n  ];\n\n  const codeLower = code.toLowerCase();\n  const hasIdempotentPattern = idempotentPatterns.some((p) =>\n    codeLower.includes(p)\n  );\n\n  return {\n    name: 'Idempotency',\n    type: 'scenario',\n    passed: hasIdempotentPattern,\n    expected: 'Operation should be idempotent (safe to retry)',\n    details: hasIdempotentPattern\n      ? undefined\n      : 'No idempotency pattern found for idempotent operation',\n  };\n}\n\n/**\n * Run all behavior checks and produce a verification report.\n */\nexport function verifyBehavior(input: VerifyInput): VerificationReport {\n  const { spec, implementationCode, implementationPath } = input;\n  const startTime = Date.now();\n\n  const checks: BehaviorCheck[] = [];\n\n  // Check scenarios\n  for (const scenario of spec.acceptance?.scenarios ?? []) {\n    checks.push(checkScenarioCoverage(implementationCode, scenario));\n  }\n\n  // Check examples\n  for (const example of spec.acceptance?.examples ?? []) {\n    checks.push(checkExampleCoverage(implementationCode, example));\n  }\n\n  // Check error cases\n  for (const [code, errorDef] of Object.entries(spec.io.errors ?? {})) {\n    checks.push(checkErrorCaseCoverage(implementationCode, code, errorDef));\n  }\n\n  // Check event conditions\n  checks.push(...checkEventConditions(implementationCode, spec));\n\n  // Check idempotency\n  const idempotencyCheck = checkIdempotency(implementationCode, spec);\n  if (idempotencyCheck) {\n    checks.push(idempotencyCheck);\n  }\n\n  // Convert to issues\n  const issues: VerificationIssue[] = checks\n    .filter((c) => !c.passed)\n    .map((c) => ({\n      severity: c.type === 'error' ? ('error' as const) : ('warning' as const),\n      category:\n        c.type === 'scenario'\n          ? ('scenario' as const)\n          : c.type === 'example'\n            ? ('scenario' as const)\n            : ('error_handling' as const),\n      message: c.details ?? `${c.type} not covered: ${c.name}`,\n      location: implementationPath ? { file: implementationPath } : undefined,\n      suggestion: c.expected ? `Expected: ${c.expected}` : undefined,\n    }));\n\n  // Calculate metrics\n  const scenarioChecks = checks.filter((c) => c.type === 'scenario');\n  const errorChecks = checks.filter((c) => c.type === 'error');\n\n  const passedCount = checks.filter((c) => c.passed).length;\n  const score =\n    checks.length > 0 ? Math.round((passedCount / checks.length) * 100) : 100;\n  const passed = issues.filter((i) => i.severity === 'error').length === 0;\n\n  // Generate suggestions\n  const suggestions = checks\n    .filter((c) => !c.passed && c.expected)\n    .map((c) => `${c.name}: ${c.expected}`);\n\n  return {\n    tier: 'behavior',\n    passed,\n    score,\n    issues,\n    suggestions,\n    coverage: {\n      scenarios: {\n        total: scenarioChecks.length,\n        covered: scenarioChecks.filter((c) => c.passed).length,\n      },\n      errors: {\n        total: errorChecks.length,\n        handled: errorChecks.filter((c) => c.passed).length,\n      },\n      fields: {\n        total: checks.length,\n        implemented: passedCount,\n      },\n    },\n    meta: {\n      specName: spec.meta.key,\n      specVersion: spec.meta.version,\n      implementationPath: implementationPath ?? 'unknown',\n      verifiedAt: new Date().toISOString(),\n      duration: Date.now() - startTime,\n    },\n  };\n}\n"],"mappings":";;;;;;AAkBA,SAAS,sBACP,MACA,UACe;CAEf,MAAM,WAAW;EACf,GAAG,SAAS;EACZ,GAAG,SAAS;EACZ,GAAG,SAAS;EACb,CAAC,SAAS,MACT,EACG,aAAa,CACb,MAAM,MAAM,CACZ,QAAQ,MAAM,EAAE,SAAS,EAAE,CAC/B;CAGD,MAAM,YAAY,KAAK,aAAa;CACpC,MAAM,gBAAgB,SAAS,QAAQ,OAAO,UAAU,SAAS,GAAG,CAAC;CACrE,MAAM,WACJ,SAAS,SAAS,IAAI,cAAc,SAAS,SAAS,SAAS;CAGjE,MAAM,oBAAoB,SAAS,IAAI,aAAa,CAAC,QAAQ,QAAQ,GAAG;CACxE,MAAM,qBACJ,UAAU,SAAS,kBAAkB,IACrC,UAAU,SAAS,SAAS,SAAS,IAAI,aAAa,CAAC,GAAG,IAC1D,UAAU,SAAS,OAAO,SAAS,IAAI,aAAa,CAAC,GAAG,IACxD,UAAU,SAAS,aAAa,SAAS,IAAI,aAAa,CAAC,GAAG;CAEhE,MAAM,SAAS,YAAY,MAAO;AAElC,QAAO;EACL,MAAM,SAAS;EACf,MAAM;EACN;EACA,UAAU,UAAU,SAAS,MAAM,KAAK,KAAK,CAAC,UAAU,SAAS,KAAK,KAAK,KAAK,CAAC,UAAU,SAAS,KAAK,KAAK,KAAK;EACnH,SAAS,SACL,SACA,kDAAkD,KAAK,MAAM,WAAW,IAAI,CAAC;EAClF;;;;;AAMH,SAAS,qBACP,MACA,SACe;CAEf,MAAM,WAAW,KAAK,UAAU,QAAQ,MAAM;CAC9C,MAAM,YAAY,KAAK,UAAU,QAAQ,OAAO;CAGhD,MAAM,cAAc,oBAAoB,QAAQ,MAAM;CACtD,MAAM,eAAe,oBAAoB,QAAQ,OAAO;CAExD,MAAM,YAAY,KAAK,aAAa;CACpC,MAAM,mBAAmB,YAAY,QAAQ,MAC3C,UAAU,SAAS,EAAE,aAAa,CAAC,CACpC;CACD,MAAM,oBAAoB,aAAa,QAAQ,MAC7C,UAAU,SAAS,EAAE,aAAa,CAAC,CACpC;CAQD,MAAM,gBALJ,YAAY,SAAS,IAAI,iBAAiB,SAAS,YAAY,SAAS,MAExE,aAAa,SAAS,IAClB,kBAAkB,SAAS,aAAa,SACxC,MACiD;CAEvD,MAAM,SAAS,eAAe;AAE9B,QAAO;EACL,MAAM,QAAQ;EACd,MAAM;EACN;EACA,UAAU,UAAU,SAAS,MAAM,GAAG,IAAI,CAAC,eAAe,UAAU,MAAM,GAAG,IAAI,CAAC;EAClF,SAAS,SACL,SACA,+CAA+C,KAAK,MAAM,cAAc,IAAI,CAAC;EAClF;;;;;AAMH,SAAS,oBAAoB,KAAwB;CACnD,MAAM,SAAmB,EAAE;CAE3B,SAAS,QAAQ,OAAsB;AACrC,MAAI,OAAO,UAAU,YAAY,MAAM,SAAS,EAC9C,QAAO,KAAK,MAAM;WACT,MAAM,QAAQ,MAAM,CAC7B,OAAM,QAAQ,QAAQ;WACb,SAAS,OAAO,UAAU,SACnC,QAAO,OAAO,MAAM,CAAC,QAAQ,QAAQ;;AAIzC,SAAQ,IAAI;AACZ,QAAO;;;;;AAMT,SAAS,uBACP,MACA,WACA,UACe;CAEf,MAAM,eAAe,KAAK,SAAS,UAAU;CAG7C,MAAM,gBAAgB,SAAS,OAC3B,KAAK,SAAS,OAAO,SAAS,KAAK,CAAC,GACpC;CAGJ,MAAM,eAAe,SAAS,KAC3B,aAAa,CACb,MAAM,MAAM,CACZ,QAAQ,MAAM,EAAE,SAAS,EAAE;CAC9B,MAAM,YAAY,KAAK,aAAa;CACpC,MAAM,oBAAoB,aAAa,QAAQ,OAAO,UAAU,SAAS,GAAG,CAAC;CAC7E,MAAM,eACJ,aAAa,SAAS,IAClB,kBAAkB,SAAS,aAAa,SACxC;CAEN,MAAM,SAAS,iBAAiB,iBAAiB,gBAAgB;AAEjE,QAAO;EACL,MAAM,UAAU;EAChB,MAAM;EACN;EACA,UAAU,SAAS,SAAS,KAAK,YAAY,UAAU,SAAS,SAAS,QAAQ,IAAI;EACrF,SAAS,SACL,SACA,CAAC,eACC,eAAe,UAAU,iCACzB;EACP;;;;;AAMH,SAAS,qBACP,MACA,MACiB;CACjB,MAAM,SAAS,KAAK,aAAa,SAAS,EAAE;CAC5C,MAAM,SAA0B,EAAE;AAElC,MAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,YAAY,cAAc,MAAM,GAAG,MAAM,IAAI,MAAM,MAAM;EAC/D,MAAM,OAAO,MAAM;EAGnB,MAAM,eAAe,KAClB,aAAa,CACb,MAAM,MAAM,CACZ,QAAQ,MAAM,EAAE,SAAS,EAAE;EAC9B,MAAM,YAAY,KAAK,aAAa;EAGpC,MAAM,WAAW,UAAU,SAAS,UAAU,aAAa,CAAC;EAG5D,MAAM,gBAAgB,aAAa,QAAQ,OAAO,UAAU,SAAS,GAAG,CAAC;EACzE,MAAM,oBACJ,aAAa,SAAS,IAAI,cAAc,SAAS,aAAa,SAAS;AAEzE,SAAO,KAAK;GACV,MAAM,UAAU;GAChB,MAAM;GACN,QAAQ,YAAY,qBAAqB;GACzC,UAAU,QAAQ,UAAU,SAAS;GACrC,SAAS,CAAC,WACN,UAAU,UAAU,eACpB,oBAAoB,KAClB,6CACA;GACP,CAAC;;AAGJ,QAAO;;;;;AAMT,SAAS,iBACP,MACA,MACsB;AACtB,KAAI,KAAK,OAAO,eAAe,OAC7B,QAAO;AAGT,KAAI,CAAC,KAAK,OAAO,WAEf,QAAO;CAIT,MAAM,qBAAqB;EACzB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACD;CAED,MAAM,YAAY,KAAK,aAAa;CACpC,MAAM,uBAAuB,mBAAmB,MAAM,MACpD,UAAU,SAAS,EAAE,CACtB;AAED,QAAO;EACL,MAAM;EACN,MAAM;EACN,QAAQ;EACR,UAAU;EACV,SAAS,uBACL,SACA;EACL;;;;;AAMH,SAAgB,eAAe,OAAwC;CACrE,MAAM,EAAE,MAAM,oBAAoB,uBAAuB;CACzD,MAAM,YAAY,KAAK,KAAK;CAE5B,MAAM,SAA0B,EAAE;AAGlC,MAAK,MAAM,YAAY,KAAK,YAAY,aAAa,EAAE,CACrD,QAAO,KAAK,sBAAsB,oBAAoB,SAAS,CAAC;AAIlE,MAAK,MAAM,WAAW,KAAK,YAAY,YAAY,EAAE,CACnD,QAAO,KAAK,qBAAqB,oBAAoB,QAAQ,CAAC;AAIhE,MAAK,MAAM,CAAC,MAAM,aAAa,OAAO,QAAQ,KAAK,GAAG,UAAU,EAAE,CAAC,CACjE,QAAO,KAAK,uBAAuB,oBAAoB,MAAM,SAAS,CAAC;AAIzE,QAAO,KAAK,GAAG,qBAAqB,oBAAoB,KAAK,CAAC;CAG9D,MAAM,mBAAmB,iBAAiB,oBAAoB,KAAK;AACnE,KAAI,iBACF,QAAO,KAAK,iBAAiB;CAI/B,MAAM,SAA8B,OACjC,QAAQ,MAAM,CAAC,EAAE,OAAO,CACxB,KAAK,OAAO;EACX,UAAU,EAAE,SAAS,UAAW,UAAqB;EACrD,UACE,EAAE,SAAS,aACN,aACD,EAAE,SAAS,YACR,aACA;EACT,SAAS,EAAE,WAAW,GAAG,EAAE,KAAK,gBAAgB,EAAE;EAClD,UAAU,qBAAqB,EAAE,MAAM,oBAAoB,GAAG;EAC9D,YAAY,EAAE,WAAW,aAAa,EAAE,aAAa;EACtD,EAAE;CAGL,MAAM,iBAAiB,OAAO,QAAQ,MAAM,EAAE,SAAS,WAAW;CAClE,MAAM,cAAc,OAAO,QAAQ,MAAM,EAAE,SAAS,QAAQ;CAE5D,MAAM,cAAc,OAAO,QAAQ,MAAM,EAAE,OAAO,CAAC;CACnD,MAAM,QACJ,OAAO,SAAS,IAAI,KAAK,MAAO,cAAc,OAAO,SAAU,IAAI,GAAG;AAQxE,QAAO;EACL,MAAM;EACN,QATa,OAAO,QAAQ,MAAM,EAAE,aAAa,QAAQ,CAAC,WAAW;EAUrE;EACA;EACA,aATkB,OACjB,QAAQ,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,CACtC,KAAK,MAAM,GAAG,EAAE,KAAK,IAAI,EAAE,WAAW;EAQvC,UAAU;GACR,WAAW;IACT,OAAO,eAAe;IACtB,SAAS,eAAe,QAAQ,MAAM,EAAE,OAAO,CAAC;IACjD;GACD,QAAQ;IACN,OAAO,YAAY;IACnB,SAAS,YAAY,QAAQ,MAAM,EAAE,OAAO,CAAC;IAC9C;GACD,QAAQ;IACN,OAAO,OAAO;IACd,aAAa;IACd;GACF;EACD,MAAM;GACJ,UAAU,KAAK,KAAK;GACpB,aAAa,KAAK,KAAK;GACvB,oBAAoB,sBAAsB;GAC1C,6BAAY,IAAI,MAAM,EAAC,aAAa;GACpC,UAAU,KAAK,KAAK,GAAG;GACxB;EACF"}

package/dist/services/verify/index.d.mts

@@ -0,0 +1,5 @@
+import { AIReviewResult, BehaviorCheck, FieldMapping, FieldMatchType, IntentAlignment, SemanticVerificationResult, StructureCheck, VerifyConfig, VerifyInput, VerifyOptions, VerifyResult } from "./types.mjs";
+import { VerifyService, createVerifyService, verifyService } from "./verify-service.mjs";
+import { verifyStructure } from "./structure-verifier.mjs";
+import { verifyBehavior } from "./behavior-verifier.mjs";
+import { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced } from "./ai-verifier.mjs";

package/dist/services/verify/index.mjs

@@ -0,0 +1,6 @@
+import { verifyStructure } from "./structure-verifier.mjs";
+import { verifyBehavior } from "./behavior-verifier.mjs";
+import { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced } from "./ai-verifier.mjs";
+import { VerifyService, createVerifyService, verifyService } from "./verify-service.mjs";
+
+export {  };

package/dist/services/verify/structure-verifier.d.mts

@@ -0,0 +1,12 @@
+import { VerifyInput } from "./types.mjs";
+import { VerificationReport } from "@contractspec/lib.contracts/llm";
+
+//#region src/services/verify/structure-verifier.d.ts
+
+/**
+ * Run all structure checks and produce a verification report.
+ */
+declare function verifyStructure(input: VerifyInput): VerificationReport;
+//#endregion
+export { verifyStructure };
+//# sourceMappingURL=structure-verifier.d.mts.map

package/dist/services/verify/structure-verifier.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure-verifier.d.mts","names":[],"sources":["../../../src/services/verify/structure-verifier.ts"],"sourcesContent":[],"mappings":";;;;;;;;iBA0PgB,eAAA,QAAuB,cAAc"}

package/dist/services/verify/structure-verifier.mjs

@@ -0,0 +1,196 @@
+import { isEmitDeclRef } from "@contractspec/lib.contracts/operations";
+
+//#region src/services/verify/structure-verifier.ts
+/**
+* Check if code exports a handler function.
+*/
+function checkHandlerExport(code) {
+	const hasExport = /export\s+(async\s+)?function\s+\w+/.test(code) || /export\s+const\s+\w+\s*=\s*(async\s*)?\(/.test(code) || /export\s+default\s+(async\s+)?function/.test(code) || /export\s+\{\s*\w+/.test(code);
+	return {
+		name: "handler_export",
+		passed: hasExport,
+		details: hasExport ? void 0 : "No exported handler function found",
+		suggestion: "Export a function that handles the operation: export async function handle(...) { }"
+	};
+}
+/**
+* Check if code imports from @contractspec/lib.contracts.
+*/
+function checkContractsImport(code) {
+	const hasImport = code.includes("from '@contractspec/lib.contracts'") || code.includes("from \"@contractspec/lib.contracts\"");
+	return {
+		name: "contracts_import",
+		passed: hasImport,
+		details: hasImport ? void 0 : "Missing import from @contractspec/lib.contracts",
+		suggestion: "Add: import { ... } from '@contractspec/lib.contracts';"
+	};
+}
+/**
+* Check if code imports from @contractspec/lib.schema.
+*/
+function checkSchemaImport(code, spec) {
+	if (!(spec.io.input !== null || spec.io.output !== null)) return {
+		name: "schema_import",
+		passed: true
+	};
+	const hasImport = code.includes("from '@contractspec/lib.schema'") || code.includes("from \"@contractspec/lib.schema\"");
+	return {
+		name: "schema_import",
+		passed: hasImport,
+		details: hasImport ? void 0 : "Missing import from @contractspec/lib.schema",
+		suggestion: "Add: import { ... } from '@contractspec/lib.schema';"
+	};
+}
+/**
+* Check for TypeScript any usage.
+*/
+function checkNoAnyType(code) {
+	const anyPattern = /:\s*any\b|as\s+any\b|<any>/;
+	const lines = code.split("\n");
+	const anyUsages = [];
+	for (let i = 0; i < lines.length; i++) {
+		const line = lines[i] ?? "";
+		if (line.trim().startsWith("//") || line.trim().startsWith("*")) continue;
+		if (anyPattern.test(line)) anyUsages.push(i + 1);
+	}
+	return {
+		name: "no_any_type",
+		passed: anyUsages.length === 0,
+		details: anyUsages.length > 0 ? `Found 'any' type on lines: ${anyUsages.slice(0, 5).join(", ")}${anyUsages.length > 5 ? "..." : ""}` : void 0,
+		suggestion: "Replace any with proper types from the spec schema"
+	};
+}
+/**
+* Check if error codes from spec are handled.
+*/
+function checkErrorHandling(code, spec) {
+	const errors = spec.io.errors;
+	if (!errors || Object.keys(errors).length === 0) return {
+		name: "error_handling",
+		passed: true
+	};
+	const errorCodes = Object.keys(errors);
+	const missingErrors = [];
+	for (const errorCode of errorCodes) if (!code.includes(errorCode)) missingErrors.push(errorCode);
+	return {
+		name: "error_handling",
+		passed: missingErrors.length === 0,
+		details: missingErrors.length > 0 ? `Missing error handling for: ${missingErrors.join(", ")}` : void 0,
+		suggestion: "Implement handlers for all error cases defined in the spec"
+	};
+}
+/**
+* Check if events are emitted.
+*/
+function checkEventEmission(code, spec) {
+	const events = spec.sideEffects?.emits;
+	if (!events || events.length === 0) return {
+		name: "event_emission",
+		passed: true
+	};
+	const hasEmitPattern = code.includes("emit(") || code.includes(".emit(") || code.includes("publish(") || code.includes(".publish(") || code.includes("dispatchEvent") || code.includes("eventBus");
+	const eventNames = events.map((e) => {
+		if (isEmitDeclRef(e)) return e.ref.key;
+		return e.key;
+	});
+	const mentionedEvents = eventNames.filter((name) => code.includes(name));
+	return {
+		name: "event_emission",
+		passed: hasEmitPattern && mentionedEvents.length > 0,
+		details: !hasEmitPattern ? "No event emission pattern found" : mentionedEvents.length === 0 ? `Events not referenced: ${eventNames.join(", ")}` : void 0,
+		suggestion: "Emit events as specified in sideEffects.emits"
+	};
+}
+/**
+* Check for validation of input.
+*/
+function checkInputValidation(code, spec) {
+	if (!spec.io.input) return {
+		name: "input_validation",
+		passed: true
+	};
+	const hasValidation = code.includes(".parse(") || code.includes(".safeParse(") || code.includes("validate(") || code.includes(".validate(") || code.includes("schema.") || code.includes("zodSchema") || code.includes(".getZod()");
+	return {
+		name: "input_validation",
+		passed: hasValidation,
+		details: hasValidation ? void 0 : "No input validation pattern found",
+		suggestion: "Validate input using the schema: schema.parse(input) or schema.safeParse(input)"
+	};
+}
+/**
+* Check for async/await usage on async operations.
+*/
+function checkAsyncPatterns(code, spec) {
+	const isAsync = /export\s+(const\s+\w+\s*=\s*)?async/.test(code) || /async\s+function/.test(code);
+	if (!(spec.meta.kind === "command")) return {
+		name: "async_patterns",
+		passed: true
+	};
+	return {
+		name: "async_patterns",
+		passed: isAsync,
+		details: isAsync ? void 0 : "Handler should be async for command operations",
+		suggestion: "Make the handler function async: export async function handle(...)"
+	};
+}
+/**
+* Run all structure checks and produce a verification report.
+*/
+function verifyStructure(input) {
+	const { spec, implementationCode, implementationPath } = input;
+	const startTime = Date.now();
+	const checks = [
+		checkHandlerExport(implementationCode),
+		checkContractsImport(implementationCode),
+		checkSchemaImport(implementationCode, spec),
+		checkNoAnyType(implementationCode),
+		checkErrorHandling(implementationCode, spec),
+		checkEventEmission(implementationCode, spec),
+		checkInputValidation(implementationCode, spec),
+		checkAsyncPatterns(implementationCode, spec)
+	];
+	const issues = checks.filter((c) => !c.passed).map((c) => ({
+		severity: c.name === "no_any_type" ? "warning" : "error",
+		category: c.name.includes("import") ? "import" : c.name.includes("export") ? "export" : "type",
+		message: c.details ?? `Check failed: ${c.name}`,
+		location: implementationPath ? { file: implementationPath } : void 0,
+		suggestion: c.suggestion
+	}));
+	const passedCount = checks.filter((c) => c.passed).length;
+	const score = Math.round(passedCount / checks.length * 100);
+	const passed = issues.filter((i) => i.severity === "error").length === 0;
+	const suggestions = checks.filter((c) => !c.passed && c.suggestion).map((c) => c.suggestion);
+	const errorCount = Object.keys(spec.io.errors ?? {}).length;
+	return {
+		tier: "structure",
+		passed,
+		score,
+		issues,
+		suggestions,
+		coverage: {
+			scenarios: {
+				total: 0,
+				covered: 0
+			},
+			errors: {
+				total: errorCount,
+				handled: checks.find((c) => c.name === "error_handling")?.passed ? errorCount : 0
+			},
+			fields: {
+				total: checks.length,
+				implemented: passedCount
+			}
+		},
+		meta: {
+			specName: spec.meta.key,
+			specVersion: spec.meta.version,
+			implementationPath: implementationPath ?? "unknown",
+			verifiedAt: (/* @__PURE__ */ new Date()).toISOString(),
+			duration: Date.now() - startTime
+		}
+	};
+}
+
+//#endregion
+export { verifyStructure };
+//# sourceMappingURL=structure-verifier.mjs.map

package/dist/services/verify/structure-verifier.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure-verifier.mjs","names":[],"sources":["../../../src/services/verify/structure-verifier.ts"],"sourcesContent":["/**\n * Tier 1: Structure Verification\n *\n * Verifies that the implementation has correct TypeScript structure:\n * - Types match spec I/O schemas\n * - Required exports exist\n * - Imports are correct\n */\n\nimport type { AnyOperationSpec } from '@contractspec/lib.contracts';\nimport { isEmitDeclRef } from '@contractspec/lib.contracts/operations';\nimport type {\n  VerificationIssue,\n  VerificationReport,\n} from '@contractspec/lib.contracts/llm';\nimport type { StructureCheck, VerifyInput } from './types';\n\n/**\n * Check if code exports a handler function.\n */\nfunction checkHandlerExport(code: string): StructureCheck {\n  const hasExport =\n    /export\\s+(async\\s+)?function\\s+\\w+/.test(code) ||\n    /export\\s+const\\s+\\w+\\s*=\\s*(async\\s*)?\\(/.test(code) ||\n    /export\\s+default\\s+(async\\s+)?function/.test(code) ||\n    /export\\s+\\{\\s*\\w+/.test(code);\n\n  return {\n    name: 'handler_export',\n    passed: hasExport,\n    details: hasExport ? undefined : 'No exported handler function found',\n    suggestion:\n      'Export a function that handles the operation: export async function handle(...) { }',\n  };\n}\n\n/**\n * Check if code imports from @contractspec/lib.contracts.\n */\nfunction checkContractsImport(code: string): StructureCheck {\n  const hasImport =\n    code.includes(\"from '@contractspec/lib.contracts'\") ||\n    code.includes('from \"@contractspec/lib.contracts\"');\n\n  return {\n    name: 'contracts_import',\n    passed: hasImport,\n    details: hasImport\n      ? undefined\n      : 'Missing import from @contractspec/lib.contracts',\n    suggestion: \"Add: import { ... } from '@contractspec/lib.contracts';\",\n  };\n}\n\n/**\n * Check if code imports from @contractspec/lib.schema.\n */\nfunction checkSchemaImport(\n  code: string,\n  spec: AnyOperationSpec\n): StructureCheck {\n  // Only required if spec uses schema types\n  const needsSchema = spec.io.input !== null || spec.io.output !== null;\n  if (!needsSchema) {\n    return { name: 'schema_import', passed: true };\n  }\n\n  const hasImport =\n    code.includes(\"from '@contractspec/lib.schema'\") ||\n    code.includes('from \"@contractspec/lib.schema\"');\n\n  return {\n    name: 'schema_import',\n    passed: hasImport,\n    details: hasImport\n      ? undefined\n      : 'Missing import from @contractspec/lib.schema',\n    suggestion: \"Add: import { ... } from '@contractspec/lib.schema';\",\n  };\n}\n\n/**\n * Check for TypeScript any usage.\n */\nfunction checkNoAnyType(code: string): StructureCheck {\n  // Match : any, as any, <any>, but not in comments or strings\n  const anyPattern = /:\\s*any\\b|as\\s+any\\b|<any>/;\n\n  // Simple check - could be enhanced with AST parsing\n  const lines = code.split('\\n');\n  const anyUsages: number[] = [];\n\n  for (let i = 0; i < lines.length; i++) {\n    const line = lines[i] ?? '';\n    // Skip comments\n    if (line.trim().startsWith('//') || line.trim().startsWith('*')) continue;\n    if (anyPattern.test(line)) {\n      anyUsages.push(i + 1);\n    }\n  }\n\n  return {\n    name: 'no_any_type',\n    passed: anyUsages.length === 0,\n    details:\n      anyUsages.length > 0\n        ? `Found 'any' type on lines: ${anyUsages.slice(0, 5).join(', ')}${anyUsages.length > 5 ? '...' : ''}`\n        : undefined,\n    suggestion: 'Replace any with proper types from the spec schema',\n  };\n}\n\n/**\n * Check if error codes from spec are handled.\n */\nfunction checkErrorHandling(\n  code: string,\n  spec: AnyOperationSpec\n): StructureCheck {\n  const errors = spec.io.errors;\n  if (!errors || Object.keys(errors).length === 0) {\n    return { name: 'error_handling', passed: true };\n  }\n\n  const errorCodes = Object.keys(errors);\n  const missingErrors: string[] = [];\n\n  for (const errorCode of errorCodes) {\n    // Check if error code is mentioned in code\n    if (!code.includes(errorCode)) {\n      missingErrors.push(errorCode);\n    }\n  }\n\n  return {\n    name: 'error_handling',\n    passed: missingErrors.length === 0,\n    details:\n      missingErrors.length > 0\n        ? `Missing error handling for: ${missingErrors.join(', ')}`\n        : undefined,\n    suggestion: 'Implement handlers for all error cases defined in the spec',\n  };\n}\n\n/**\n * Check if events are emitted.\n */\nfunction checkEventEmission(\n  code: string,\n  spec: AnyOperationSpec\n): StructureCheck {\n  const events = spec.sideEffects?.emits;\n  if (!events || events.length === 0) {\n    return { name: 'event_emission', passed: true };\n  }\n\n  // Look for event emission patterns\n  const hasEmitPattern =\n    code.includes('emit(') ||\n    code.includes('.emit(') ||\n    code.includes('publish(') ||\n    code.includes('.publish(') ||\n    code.includes('dispatchEvent') ||\n    code.includes('eventBus');\n\n  const eventNames = events.map((e) => {\n    if (isEmitDeclRef(e)) {\n      return e.ref.key;\n    }\n    return e.key;\n  });\n\n  const mentionedEvents = eventNames.filter((name) => code.includes(name));\n\n  return {\n    name: 'event_emission',\n    passed: hasEmitPattern && mentionedEvents.length > 0,\n    details: !hasEmitPattern\n      ? 'No event emission pattern found'\n      : mentionedEvents.length === 0\n        ? `Events not referenced: ${eventNames.join(', ')}`\n        : undefined,\n    suggestion: 'Emit events as specified in sideEffects.emits',\n  };\n}\n\n/**\n * Check for validation of input.\n */\nfunction checkInputValidation(\n  code: string,\n  spec: AnyOperationSpec\n): StructureCheck {\n  if (!spec.io.input) {\n    return { name: 'input_validation', passed: true };\n  }\n\n  // Look for validation patterns\n  const hasValidation =\n    code.includes('.parse(') ||\n    code.includes('.safeParse(') ||\n    code.includes('validate(') ||\n    code.includes('.validate(') ||\n    code.includes('schema.') ||\n    code.includes('zodSchema') ||\n    code.includes('.getZod()');\n\n  return {\n    name: 'input_validation',\n    passed: hasValidation,\n    details: hasValidation ? undefined : 'No input validation pattern found',\n    suggestion:\n      'Validate input using the schema: schema.parse(input) or schema.safeParse(input)',\n  };\n}\n\n/**\n * Check for async/await usage on async operations.\n */\nfunction checkAsyncPatterns(\n  code: string,\n  spec: AnyOperationSpec\n): StructureCheck {\n  // Check if handler is async\n  const isAsync =\n    /export\\s+(const\\s+\\w+\\s*=\\s*)?async/.test(code) ||\n    /async\\s+function/.test(code);\n\n  // For commands, async is typically expected\n  const expectsAsync = spec.meta.kind === 'command';\n\n  if (!expectsAsync) {\n    return { name: 'async_patterns', passed: true };\n  }\n\n  return {\n    name: 'async_patterns',\n    passed: isAsync,\n    details: isAsync\n      ? undefined\n      : 'Handler should be async for command operations',\n    suggestion:\n      'Make the handler function async: export async function handle(...)',\n  };\n}\n\n/**\n * Run all structure checks and produce a verification report.\n */\nexport function verifyStructure(input: VerifyInput): VerificationReport {\n  const { spec, implementationCode, implementationPath } = input;\n  const startTime = Date.now();\n\n  const checks: StructureCheck[] = [\n    checkHandlerExport(implementationCode),\n    checkContractsImport(implementationCode),\n    checkSchemaImport(implementationCode, spec),\n    checkNoAnyType(implementationCode),\n    checkErrorHandling(implementationCode, spec),\n    checkEventEmission(implementationCode, spec),\n    checkInputValidation(implementationCode, spec),\n    checkAsyncPatterns(implementationCode, spec),\n  ];\n\n  // Convert checks to issues\n  const issues: VerificationIssue[] = checks\n    .filter((c) => !c.passed)\n    .map((c) => ({\n      severity:\n        c.name === 'no_any_type' ? ('warning' as const) : ('error' as const),\n      category: c.name.includes('import')\n        ? ('import' as const)\n        : c.name.includes('export')\n          ? ('export' as const)\n          : ('type' as const),\n      message: c.details ?? `Check failed: ${c.name}`,\n      location: implementationPath ? { file: implementationPath } : undefined,\n      suggestion: c.suggestion,\n    }));\n\n  const passedCount = checks.filter((c) => c.passed).length;\n  const score = Math.round((passedCount / checks.length) * 100);\n  const passed = issues.filter((i) => i.severity === 'error').length === 0;\n\n  // Generate suggestions\n  const suggestions = checks\n    .filter((c) => !c.passed && c.suggestion)\n    // eslint-disable-next-line @typescript-eslint/no-non-null-assertion\n    .map((c) => c.suggestion!);\n\n  // Calculate coverage\n  const errorCount = Object.keys(spec.io.errors ?? {}).length;\n  const handledErrors = checks.find((c) => c.name === 'error_handling')?.passed\n    ? errorCount\n    : 0;\n\n  return {\n    tier: 'structure',\n    passed,\n    score,\n    issues,\n    suggestions,\n    coverage: {\n      scenarios: { total: 0, covered: 0 }, // Not applicable for structure tier\n      errors: { total: errorCount, handled: handledErrors },\n      fields: { total: checks.length, implemented: passedCount },\n    },\n    meta: {\n      specName: spec.meta.key,\n      specVersion: spec.meta.version,\n      implementationPath: implementationPath ?? 'unknown',\n      verifiedAt: new Date().toISOString(),\n      duration: Date.now() - startTime,\n    },\n  };\n}\n"],"mappings":";;;;;;AAoBA,SAAS,mBAAmB,MAA8B;CACxD,MAAM,YACJ,qCAAqC,KAAK,KAAK,IAC/C,2CAA2C,KAAK,KAAK,IACrD,yCAAyC,KAAK,KAAK,IACnD,oBAAoB,KAAK,KAAK;AAEhC,QAAO;EACL,MAAM;EACN,QAAQ;EACR,SAAS,YAAY,SAAY;EACjC,YACE;EACH;;;;;AAMH,SAAS,qBAAqB,MAA8B;CAC1D,MAAM,YACJ,KAAK,SAAS,qCAAqC,IACnD,KAAK,SAAS,uCAAqC;AAErD,QAAO;EACL,MAAM;EACN,QAAQ;EACR,SAAS,YACL,SACA;EACJ,YAAY;EACb;;;;;AAMH,SAAS,kBACP,MACA,MACgB;AAGhB,KAAI,EADgB,KAAK,GAAG,UAAU,QAAQ,KAAK,GAAG,WAAW,MAE/D,QAAO;EAAE,MAAM;EAAiB,QAAQ;EAAM;CAGhD,MAAM,YACJ,KAAK,SAAS,kCAAkC,IAChD,KAAK,SAAS,oCAAkC;AAElD,QAAO;EACL,MAAM;EACN,QAAQ;EACR,SAAS,YACL,SACA;EACJ,YAAY;EACb;;;;;AAMH,SAAS,eAAe,MAA8B;CAEpD,MAAM,aAAa;CAGnB,MAAM,QAAQ,KAAK,MAAM,KAAK;CAC9B,MAAM,YAAsB,EAAE;AAE9B,MAAK,IAAI,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;EACrC,MAAM,OAAO,MAAM,MAAM;AAEzB,MAAI,KAAK,MAAM,CAAC,WAAW,KAAK,IAAI,KAAK,MAAM,CAAC,WAAW,IAAI,CAAE;AACjE,MAAI,WAAW,KAAK,KAAK,CACvB,WAAU,KAAK,IAAI,EAAE;;AAIzB,QAAO;EACL,MAAM;EACN,QAAQ,UAAU,WAAW;EAC7B,SACE,UAAU,SAAS,IACf,8BAA8B,UAAU,MAAM,GAAG,EAAE,CAAC,KAAK,KAAK,GAAG,UAAU,SAAS,IAAI,QAAQ,OAChG;EACN,YAAY;EACb;;;;;AAMH,SAAS,mBACP,MACA,MACgB;CAChB,MAAM,SAAS,KAAK,GAAG;AACvB,KAAI,CAAC,UAAU,OAAO,KAAK,OAAO,CAAC,WAAW,EAC5C,QAAO;EAAE,MAAM;EAAkB,QAAQ;EAAM;CAGjD,MAAM,aAAa,OAAO,KAAK,OAAO;CACtC,MAAM,gBAA0B,EAAE;AAElC,MAAK,MAAM,aAAa,WAEtB,KAAI,CAAC,KAAK,SAAS,UAAU,CAC3B,eAAc,KAAK,UAAU;AAIjC,QAAO;EACL,MAAM;EACN,QAAQ,cAAc,WAAW;EACjC,SACE,cAAc,SAAS,IACnB,+BAA+B,cAAc,KAAK,KAAK,KACvD;EACN,YAAY;EACb;;;;;AAMH,SAAS,mBACP,MACA,MACgB;CAChB,MAAM,SAAS,KAAK,aAAa;AACjC,KAAI,CAAC,UAAU,OAAO,WAAW,EAC/B,QAAO;EAAE,MAAM;EAAkB,QAAQ;EAAM;CAIjD,MAAM,iBACJ,KAAK,SAAS,QAAQ,IACtB,KAAK,SAAS,SAAS,IACvB,KAAK,SAAS,WAAW,IACzB,KAAK,SAAS,YAAY,IAC1B,KAAK,SAAS,gBAAgB,IAC9B,KAAK,SAAS,WAAW;CAE3B,MAAM,aAAa,OAAO,KAAK,MAAM;AACnC,MAAI,cAAc,EAAE,CAClB,QAAO,EAAE,IAAI;AAEf,SAAO,EAAE;GACT;CAEF,MAAM,kBAAkB,WAAW,QAAQ,SAAS,KAAK,SAAS,KAAK,CAAC;AAExE,QAAO;EACL,MAAM;EACN,QAAQ,kBAAkB,gBAAgB,SAAS;EACnD,SAAS,CAAC,iBACN,oCACA,gBAAgB,WAAW,IACzB,0BAA0B,WAAW,KAAK,KAAK,KAC/C;EACN,YAAY;EACb;;;;;AAMH,SAAS,qBACP,MACA,MACgB;AAChB,KAAI,CAAC,KAAK,GAAG,MACX,QAAO;EAAE,MAAM;EAAoB,QAAQ;EAAM;CAInD,MAAM,gBACJ,KAAK,SAAS,UAAU,IACxB,KAAK,SAAS,cAAc,IAC5B,KAAK,SAAS,YAAY,IAC1B,KAAK,SAAS,aAAa,IAC3B,KAAK,SAAS,UAAU,IACxB,KAAK,SAAS,YAAY,IAC1B,KAAK,SAAS,YAAY;AAE5B,QAAO;EACL,MAAM;EACN,QAAQ;EACR,SAAS,gBAAgB,SAAY;EACrC,YACE;EACH;;;;;AAMH,SAAS,mBACP,MACA,MACgB;CAEhB,MAAM,UACJ,sCAAsC,KAAK,KAAK,IAChD,mBAAmB,KAAK,KAAK;AAK/B,KAAI,EAFiB,KAAK,KAAK,SAAS,WAGtC,QAAO;EAAE,MAAM;EAAkB,QAAQ;EAAM;AAGjD,QAAO;EACL,MAAM;EACN,QAAQ;EACR,SAAS,UACL,SACA;EACJ,YACE;EACH;;;;;AAMH,SAAgB,gBAAgB,OAAwC;CACtE,MAAM,EAAE,MAAM,oBAAoB,uBAAuB;CACzD,MAAM,YAAY,KAAK,KAAK;CAE5B,MAAM,SAA2B;EAC/B,mBAAmB,mBAAmB;EACtC,qBAAqB,mBAAmB;EACxC,kBAAkB,oBAAoB,KAAK;EAC3C,eAAe,mBAAmB;EAClC,mBAAmB,oBAAoB,KAAK;EAC5C,mBAAmB,oBAAoB,KAAK;EAC5C,qBAAqB,oBAAoB,KAAK;EAC9C,mBAAmB,oBAAoB,KAAK;EAC7C;CAGD,MAAM,SAA8B,OACjC,QAAQ,MAAM,CAAC,EAAE,OAAO,CACxB,KAAK,OAAO;EACX,UACE,EAAE,SAAS,gBAAiB,YAAuB;EACrD,UAAU,EAAE,KAAK,SAAS,SAAS,GAC9B,WACD,EAAE,KAAK,SAAS,SAAS,GACtB,WACA;EACP,SAAS,EAAE,WAAW,iBAAiB,EAAE;EACzC,UAAU,qBAAqB,EAAE,MAAM,oBAAoB,GAAG;EAC9D,YAAY,EAAE;EACf,EAAE;CAEL,MAAM,cAAc,OAAO,QAAQ,MAAM,EAAE,OAAO,CAAC;CACnD,MAAM,QAAQ,KAAK,MAAO,cAAc,OAAO,SAAU,IAAI;CAC7D,MAAM,SAAS,OAAO,QAAQ,MAAM,EAAE,aAAa,QAAQ,CAAC,WAAW;CAGvE,MAAM,cAAc,OACjB,QAAQ,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,CAExC,KAAK,MAAM,EAAE,WAAY;CAG5B,MAAM,aAAa,OAAO,KAAK,KAAK,GAAG,UAAU,EAAE,CAAC,CAAC;AAKrD,QAAO;EACL,MAAM;EACN;EACA;EACA;EACA;EACA,UAAU;GACR,WAAW;IAAE,OAAO;IAAG,SAAS;IAAG;GACnC,QAAQ;IAAE,OAAO;IAAY,SAZX,OAAO,MAAM,MAAM,EAAE,SAAS,iBAAiB,EAAE,SACnE,aACA;IAUqD;GACrD,QAAQ;IAAE,OAAO,OAAO;IAAQ,aAAa;IAAa;GAC3D;EACD,MAAM;GACJ,UAAU,KAAK,KAAK;GACpB,aAAa,KAAK,KAAK;GACvB,oBAAoB,sBAAsB;GAC1C,6BAAY,IAAI,MAAM,EAAC,aAAa;GACpC,UAAU,KAAK,KAAK,GAAG;GACxB;EACF"}

package/dist/services/verify/types.d.mts

@@ -0,0 +1,137 @@
+import { AnyOperationSpec } from "@contractspec/lib.contracts";
+import { VerificationIssue, VerificationReport, VerificationTier } from "@contractspec/lib.contracts/llm";
+
+//#region src/services/verify/types.d.ts
+
+/** Configuration for the verification service */
+interface VerifyConfig {
+  /** Enable verbose logging */
+  verbose?: boolean;
+  /** API key for AI verification (tier 3) */
+  aiApiKey?: string;
+  /** AI provider for tier 3 verification */
+  aiProvider?: 'anthropic' | 'openai' | 'local';
+}
+/** Options for running verification */
+interface VerifyOptions {
+  /** Which tiers to run (default: all up to specified) */
+  tiers?: VerificationTier[];
+  /** Stop on first failure */
+  failFast?: boolean;
+  /** Include suggestions in report */
+  includeSuggestions?: boolean;
+}
+/** Input for verification */
+interface VerifyInput {
+  /** Spec to verify against */
+  spec: AnyOperationSpec;
+  /** Implementation code to verify */
+  implementationCode: string;
+  /** Implementation file path (for error reporting) */
+  implementationPath?: string;
+}
+/** Result of running all verification tiers */
+interface VerifyResult {
+  /** Overall pass/fail */
+  passed: boolean;
+  /** Combined score (0-100) */
+  score: number;
+  /** Reports from each tier that was run */
+  reports: Map<VerificationTier, VerificationReport>;
+  /** All issues across all tiers */
+  allIssues: VerificationIssue[];
+  /** Summary message */
+  summary: string;
+  /** Duration in ms */
+  duration: number;
+}
+/** Structure check result */
+interface StructureCheck {
+  /** Check name */
+  name: string;
+  /** Check passed */
+  passed: boolean;
+  /** Details if failed */
+  details?: string;
+  /** Suggested fix */
+  suggestion?: string;
+}
+/** Behavior check result */
+interface BehaviorCheck {
+  /** Scenario or example name */
+  name: string;
+  /** Check type */
+  type: 'scenario' | 'example' | 'error';
+  /** Check passed */
+  passed: boolean;
+  /** Expected behavior */
+  expected?: string;
+  /** Actual behavior */
+  actual?: string;
+  /** Details */
+  details?: string;
+}
+/** AI review result */
+interface AIReviewResult {
+  /** Overall compliance */
+  compliant: boolean;
+  /** Confidence score (0-1) */
+  confidence: number;
+  /** Findings */
+  findings: {
+    category: string;
+    severity: 'error' | 'warning' | 'info';
+    message: string;
+    location?: string;
+    suggestion?: string;
+  }[];
+  /** Raw AI response */
+  rawResponse?: string;
+}
+/** Field match type for semantic analysis */
+type FieldMatchType = 'exact' | 'compatible' | 'mismatch' | 'missing';
+/** Field mapping between spec and implementation */
+interface FieldMapping {
+  /** Field name from spec */
+  specField: string;
+  /** Field type from spec */
+  specType: string;
+  /** Corresponding field in implementation (if found) */
+  implementationField?: string;
+  /** Field type in implementation */
+  implementationType?: string;
+  /** Match quality */
+  match: FieldMatchType;
+  /** AI confidence in this mapping (0-1) */
+  aiConfidence: number;
+  /** Suggestion if mismatch */
+  suggestion?: string;
+}
+/** Intent alignment analysis */
+interface IntentAlignment {
+  /** Overall alignment score (0-100) */
+  score: number;
+  /** Issues with intent alignment */
+  issues: string[];
+  /** Suggestions for better alignment */
+  suggestions: string[];
+}
+/** Full semantic verification result */
+interface SemanticVerificationResult {
+  /** Field-by-field mappings */
+  fieldMappings: FieldMapping[];
+  /** Intent alignment analysis */
+  intentAlignment: IntentAlignment;
+  /** Additional semantic issues found */
+  semanticIssues: {
+    category: string;
+    severity: 'error' | 'warning' | 'info';
+    message: string;
+    suggestion?: string;
+  }[];
+  /** Raw AI response for debugging */
+  rawResponse?: string;
+}
+//#endregion
+export { AIReviewResult, BehaviorCheck, FieldMapping, FieldMatchType, IntentAlignment, SemanticVerificationResult, StructureCheck, VerifyConfig, VerifyInput, VerifyOptions, VerifyResult };
+//# sourceMappingURL=types.d.mts.map

package/dist/services/verify/types.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.mts","names":[],"sources":["../../../src/services/verify/types.ts"],"sourcesContent":[],"mappings":";;;;;AAsBA;AAUiB,UApBA,YAAA,CAoBW;EAUX;EAMF,OAAA,CAAA,EAAA,OAAA;EAAkB;EAAtB,QAAA,CAAA,EAAA,MAAA;EAEE;EAAiB,UAAA,CAAA,EAAA,WAAA,GAAA,QAAA,GAAA,OAAA;AAQ9B;AAYA;AAgBiB,UAhEA,aAAA,CAgEc;EAkBnB;EAGK,KAAA,CAAA,EAnFP,gBAmFmB,EAAA;EAkBZ;EAUA,QAAA,CAAA,EAAA,OAAA;;;;;UAvGA,WAAA;;QAET;;;;;;;UAQS,YAAA;;;;;;WAMN,IAAI,kBAAkB;;aAEpB;;;;;;;UAQI,cAAA;;;;;;;;;;;UAYA,aAAA;;;;;;;;;;;;;;;UAgBA,cAAA;;;;;;;;;;;;;;;;;KAkBL,cAAA;;UAGK,YAAA;;;;;;;;;;SAUR;;;;;;;UAQQ,eAAA;;;;;;;;;UAUA,0BAAA;;iBAEA;;mBAEE"}