@contractspec/bundle.workspace 1.46.2 → 1.47.0

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

@@ -1 +0,0 @@
-{"version":3,"file":"behavior-verifier.js","names":["values: string[]","checks: BehaviorCheck[]","issues: VerificationIssue[]"],"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,MAAMA,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,MAAMC,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,MAAMA,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,MAAMC,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.ts

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

package/dist/services/verify/index.js

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

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

@@ -1,12 +0,0 @@
-import { VerifyInput } from "./types.js";
-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.ts.map

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

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

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

@@ -1,196 +0,0 @@
-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.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"structure-verifier.js","names":["anyUsages: number[]","missingErrors: string[]","checks: StructureCheck[]","issues: VerificationIssue[]"],"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,MAAMA,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,MAAMC,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,MAAMC,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,MAAMC,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.ts

@@ -1,137 +0,0 @@
-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.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","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"}

package/dist/services/verify/verify-service.d.ts

@@ -1,60 +0,0 @@
-import { VerifyConfig, VerifyOptions, VerifyResult } from "./types.js";
-import { AnyOperationSpec } from "@contractspec/lib.contracts";
-import { VerificationReport } from "@contractspec/lib.contracts/llm";
-
-//#region src/services/verify/verify-service.d.ts
-
-/**
- * Verification Service
- *
- * Main service for verifying implementations against specs.
- */
-declare class VerifyService {
-  private config;
-  constructor(config?: Partial<VerifyConfig>);
-  /**
-   * Run verification on an implementation.
-   */
-  verify(spec: AnyOperationSpec, implementationCode: string, options?: VerifyOptions): Promise<VerifyResult>;
-  /**
-   * Run only structure verification (Tier 1).
-   */
-  verifyStructure(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): VerificationReport;
-  /**
-   * Run only behavior verification (Tier 2).
-   */
-  verifyBehavior(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): VerificationReport;
-  /**
-   * Run only AI verification (Tier 3).
-   */
-  verifyAI(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): Promise<VerificationReport>;
-  /**
-   * Quick verification (structure only, fast).
-   */
-  quickVerify(spec: AnyOperationSpec, implementationCode: string): VerificationReport;
-  /**
-   * Format verification result as markdown.
-   */
-  formatAsMarkdown(result: VerifyResult): string;
-  /**
-   * Update configuration.
-   */
-  configure(config: Partial<VerifyConfig>): void;
-  /**
-   * Generate a human-readable summary of verification results.
-   */
-  private generateSummary;
-  /**
-   * Format tier name for display.
-   */
-  private formatTierName;
-}
-/**
- * Create a new VerifyService instance.
- */
-declare function createVerifyService(config?: Partial<VerifyConfig>): VerifyService;
-/** Default singleton instance */
-declare const verifyService: VerifyService;
-//#endregion
-export { VerifyService, createVerifyService, verifyService };
-//# sourceMappingURL=verify-service.d.ts.map

package/dist/services/verify/verify-service.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-service.d.ts","names":[],"sources":["../../../src/services/verify/verify-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;AAwIU,cAtGG,aAAA,CAsGH;EAGL,QAAA,MAAA;EAYK,WAAA,CAAA,MAAA,CAAA,EAlHY,OAkHZ,CAlHoB,YAkHpB,CAAA;EAGG;;;EAmBR,MAAA,CAAA,IAAA,EAhIK,gBAgIL,EAAA,kBAAA,EAAA,MAAA,EAAA,OAAA,CAAA,EA9HQ,aA8HR,CAAA,EA7HA,OA6HA,CA7HQ,YA6HR,CAAA;EAOsB;;;EAyEA,eAAA,CAAA,IAAA,EApIjB,gBAoIiB,EAAA,kBAAA,EAAA,MAAA,EAAA,kBAAA,CAAA,EAAA,MAAA,CAAA,EAjItB,kBAiIsB;EAuEX;;;EAEb,cAAA,CAAA,IAAA,EA9LO,gBA8LP,EAAA,kBAAA,EAAA,MAAA,EAAA,kBAAA,CAAA,EAAA,MAAA,CAAA,EA3LE,kBA2LF;EAAa;AAKhB;;iBApLU,4EAGL,QAAQ;;;;oBAiBH,+CAEL;;;;2BAOsB;;;;oBAyEP,QAAQ;;;;;;;;;;;;;iBAuEZ,mBAAA,UACL,QAAQ,gBAChB;;cAKU,eAAa"}