@agentcontract/core 0.1.0

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../node_modules/tsup/assets/cjs_shims.js","../src/audit.ts","../src/index.ts","../src/loader.ts","../src/models.ts","../src/exceptions.ts","../src/enforce.ts","../src/runner.ts","../src/validators/pattern.ts","../src/validators/cost.ts","../src/validators/latency.ts","../src/validators/llm.ts","../src/validators/base.ts"],"sourcesContent":["// Shim globals in cjs bundle\n// There's a weird bug that esbuild will always inject importMetaUrl\n// if we export it as `const importMetaUrl = ... __filename ...`\n// But using a function will not cause this issue\n\nconst getImportMetaUrl = () => \n  typeof document === \"undefined\" \n    ? new URL(`file:${__filename}`).href \n    : (document.currentScript && document.currentScript.tagName.toUpperCase() === 'SCRIPT') \n      ? document.currentScript.src \n      : new URL(\"main.js\", document.baseURI).href;\n\nexport const importMetaUrl = /* @__PURE__ */ getImportMetaUrl()\n","/** Audit trail — tamper-evident JSONL entries for every run. */\n\nimport { createHash, createHmac } from 'crypto';\nimport { appendFileSync } from 'fs';\nimport type { RunResult } from './runner.js';\n\nexport class AuditWriter {\n  constructor(private logPath = 'agentcontract-audit.jsonl') {}\n\n  write(result: RunResult, contractPath = ''): Record<string, unknown> {\n    const entry = this._buildEntry(result, contractPath);\n    appendFileSync(this.logPath, JSON.stringify(entry) + '\\n', 'utf-8');\n    return entry;\n  }\n\n  private _buildEntry(result: RunResult, contractPath: string): Record<string, unknown> {\n    const ctx = result.context;\n    const inputHash = createHash('sha256').update(ctx.input).digest('hex');\n    const outputHash = createHash('sha256').update(ctx.output).digest('hex');\n\n    const entry: Record<string, unknown> = {\n      run_id: result.runId,\n      agent: result.agent,\n      contract: contractPath,\n      contract_version: result.contractVersion,\n      timestamp: new Date().toISOString(),\n      input_hash: inputHash,\n      output_hash: outputHash,\n      duration_ms: Math.round(ctx.durationMs * 100) / 100,\n      cost_usd: Math.round(ctx.costUsd * 1_000_000) / 1_000_000,\n      violations: result.violations.map((v) => ({\n        clause_type: v.clauseType,\n        clause_name: v.clauseName,\n        clause_text: v.clauseText,\n        severity: v.severity,\n        action_taken: v.actionTaken,\n        judge: v.judge,\n        details: v.details,\n      })),\n      outcome: result.outcome,\n    };\n\n    const auditKey = process.env['AGENTCONTRACT_AUDIT_KEY'];\n    if (auditKey) {\n      const payload = JSON.stringify(entry, Object.keys(entry).sort());\n      entry['signature'] = createHmac('sha256', auditKey).update(payload).digest('hex');\n    }\n\n    return entry;\n  }\n}\n","/**\n * @agentcontract/core — Behavioral contracts for AI agents.\n * TypeScript reference implementation of the AgentContract specification.\n * https://github.com/agentcontract/spec\n */\n\nexport const VERSION = '0.1.0';\nexport const SPEC_VERSION = '0.1.0';\n\nexport { loadContract } from './loader.js';\nexport { enforce } from './enforce.js';\nexport { ContractRunner } from './runner.js';\nexport { AuditWriter } from './audit.js';\nexport { makeContext } from './validators/base.js';\n\nexport type { Contract, Clause, Assertion, Limits, OnViolation } from './models.js';\nexport type { RunContext, ValidationResult, Validator } from './validators/base.js';\nexport type { RunResult, ViolationRecord } from './runner.js';\nexport type { EnforceOptions } from './enforce.js';\n\nexport {\n  ContractError,\n  ContractLoadError,\n  ContractPreconditionError,\n  ContractViolation,\n} from './exceptions.js';\n","/** Contract loading and validation. */\n\nimport { readFileSync } from 'fs';\nimport { extname } from 'path';\nimport yaml from 'js-yaml';\nimport { Contract } from './models.js';\nimport { ContractLoadError } from './exceptions.js';\n\nexport function loadContract(filePath: string): Contract {\n  const ext = extname(filePath).toLowerCase();\n  if (!['.yaml', '.yml', '.json'].includes(ext)) {\n    throw new ContractLoadError(\n      `Unsupported file format: ${ext}. Use .contract.yaml or .contract.json`\n    );\n  }\n\n  let raw: string;\n  try {\n    raw = readFileSync(filePath, 'utf-8');\n  } catch {\n    throw new ContractLoadError(`Contract file not found: ${filePath}`);\n  }\n\n  let data: unknown;\n  try {\n    data = ext === '.json' ? JSON.parse(raw) : yaml.load(raw);\n  } catch (e) {\n    throw new ContractLoadError(`Failed to parse contract file: ${e}`);\n  }\n\n  if (typeof data !== 'object' || data === null || Array.isArray(data)) {\n    throw new ContractLoadError('Contract file must be a YAML/JSON object at the root level.');\n  }\n\n  const result = Contract.safeParse(data);\n  if (!result.success) {\n    const issues = result.error.issues\n      .map((i) => `  ${i.path.join('.')}: ${i.message}`)\n      .join('\\n');\n    throw new ContractLoadError(`Contract schema validation failed:\\n${issues}`);\n  }\n\n  return result.data;\n}\n","/** Zod schemas for the AgentContract specification. */\n\nimport { z } from 'zod';\n\nexport const JudgeType = z.enum(['deterministic', 'llm']).default('deterministic');\nexport type JudgeType = z.infer<typeof JudgeType>;\n\nexport const ViolationAction = z.enum(['warn', 'block', 'rollback', 'halt_and_alert']).default('block');\nexport type ViolationAction = z.infer<typeof ViolationAction>;\n\nexport const AssertionType = z.enum(['pattern', 'schema', 'llm', 'cost', 'latency', 'custom']);\nexport type AssertionType = z.infer<typeof AssertionType>;\n\n/** A clause is either a plain string or an object with text + judge. */\nexport const ClauseObject = z.object({\n  text: z.string().min(1),\n  judge: JudgeType,\n  description: z.string().default(''),\n});\nexport type ClauseObject = z.infer<typeof ClauseObject>;\n\nexport const Clause = z.union([z.string().min(1), ClauseObject]);\nexport type Clause = z.infer<typeof Clause>;\n\nexport const PreconditionClause = z.union([\n  z.string().min(1),\n  z.object({\n    text: z.string().min(1),\n    judge: JudgeType,\n    on_fail: z.enum(['block', 'warn']).default('block'),\n    description: z.string().default(''),\n  }),\n]);\nexport type PreconditionClause = z.infer<typeof PreconditionClause>;\n\nexport const Assertion = z.object({\n  name: z.string().regex(/^[a-z][a-z0-9_]*$/),\n  type: AssertionType,\n  description: z.string().default(''),\n  // pattern\n  must_not_match: z.string().optional(),\n  must_match: z.string().optional(),\n  // schema\n  schema: z.record(z.string(), z.unknown()).optional(),\n  // llm\n  prompt: z.string().optional(),\n  pass_when: z.string().optional(),\n  model: z.string().optional(),\n  // cost\n  max_usd: z.number().nonnegative().optional(),\n  // latency\n  max_ms: z.number().int().positive().optional(),\n  // custom\n  plugin: z.string().optional(),\n}).passthrough();\nexport type Assertion = z.infer<typeof Assertion>;\n\nexport const Limits = z.object({\n  max_tokens: z.number().int().positive().optional(),\n  max_input_tokens: z.number().int().positive().optional(),\n  max_latency_ms: z.number().int().positive().optional(),\n  max_cost_usd: z.number().nonnegative().optional(),\n  max_tool_calls: z.number().int().nonnegative().optional(),\n  max_steps: z.number().int().positive().optional(),\n}).default({});\nexport type Limits = z.infer<typeof Limits>;\n\nexport const OnViolation = z.object({\n  default: ViolationAction,\n}).catchall(z.string()).default({ default: 'block' });\nexport type OnViolation = z.infer<typeof OnViolation>;\n\nexport const Contract = z.object({\n  agent: z.string().min(1),\n  'spec-version': z.string(),\n  version: z.string(),\n  description: z.string().default(''),\n  author: z.string().default(''),\n  created: z.string().default(''),\n  tags: z.array(z.string()).default([]),\n  extends: z.string().optional(),\n  must: z.array(Clause).default([]),\n  must_not: z.array(Clause).default([]),\n  can: z.array(z.string()).default([]),\n  requires: z.array(PreconditionClause).default([]),\n  ensures: z.array(Clause).default([]),\n  invariant: z.array(Clause).default([]),\n  assert: z.array(Assertion).default([]),\n  limits: Limits,\n  on_violation: OnViolation,\n});\nexport type Contract = z.infer<typeof Contract>;\n\n/** Helpers */\nexport function getClauseText(clause: Clause): string {\n  return typeof clause === 'string' ? clause : clause.text;\n}\n\nexport function getClauseJudge(clause: Clause): JudgeType {\n  return typeof clause === 'string' ? 'deterministic' : clause.judge;\n}\n\nexport function getViolationAction(onViolation: OnViolation, name: string): string {\n  return (onViolation as Record<string, string>)[name] ?? onViolation.default;\n}\n","/** AgentContract exceptions. */\n\nexport class ContractError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'ContractError';\n  }\n}\n\nexport class ContractLoadError extends ContractError {\n  constructor(message: string) {\n    super(message);\n    this.name = 'ContractLoadError';\n  }\n}\n\nexport class ContractPreconditionError extends ContractError {\n  clause: string;\n  details: string;\n\n  constructor(clause: string, details = '') {\n    super(`[PRECONDITION FAILED] ${clause}${details ? ': ' + details : ''}`);\n    this.name = 'ContractPreconditionError';\n    this.clause = clause;\n    this.details = details;\n  }\n}\n\nexport class ContractViolation extends ContractError {\n  violations: Array<{ clause_type: string; clause_text: string; action_taken: string }>;\n\n  constructor(violations: Array<{ clause_type: string; clause_text: string; action_taken: string }>) {\n    const lines = violations.map(\n      (v) => `[${v.action_taken.toUpperCase()}] ${v.clause_type.toUpperCase()}: \"${v.clause_text}\"`\n    );\n    super('AgentContractViolation:\\n' + lines.join('\\n'));\n    this.name = 'ContractViolation';\n    this.violations = violations;\n  }\n}\n","/** enforce() — wraps any agent function with contract validation. */\n\nimport { Contract, getViolationAction, PreconditionClause } from './models.js';\nimport { ContractPreconditionError, ContractViolation } from './exceptions.js';\nimport { ContractRunner } from './runner.js';\nimport { makeContext } from './validators/base.js';\nimport { LLMValidator } from './validators/llm.js';\n\nexport interface EnforceOptions {\n  audit?: boolean;\n  auditPath?: string;\n  costFn?: (result: unknown) => number;\n}\n\ntype AgentFn<T extends string | Promise<string>> = (input: string) => T;\n\nexport function enforce<T extends string | Promise<string>>(\n  contract: Contract,\n  fn: AgentFn<T>,\n  options: EnforceOptions = {},\n): AgentFn<Promise<string>> {\n  const { audit = true, auditPath = 'agentcontract-audit.jsonl', costFn } = options;\n  const runner = new ContractRunner(contract);\n\n  return async (input: string): Promise<string> => {\n    // Preconditions\n    await checkPreconditions(contract, input);\n\n    // Run agent with timing\n    const start = performance.now();\n    const result = await Promise.resolve(fn(input));\n    const durationMs = performance.now() - start;\n\n    const output = String(result ?? '');\n    const costUsd = costFn ? costFn(result) : 0;\n\n    const ctx = makeContext({ input, output, durationMs, costUsd });\n    const runResult = await runner.run(ctx);\n\n    if (audit) {\n      const { AuditWriter } = await import('./audit.js');\n      new AuditWriter(auditPath).write(runResult);\n    }\n\n    // Warn violations → stderr\n    const warnViolations = runResult.violations.filter((v) => v.actionTaken === 'warn');\n    for (const v of warnViolations) {\n      process.stderr.write(\n        `[AgentContract WARN] ${v.clauseType.toUpperCase()}: \"${v.clauseText}\" — ${v.details}\\n`\n      );\n    }\n\n    // Blocking violations → throw\n    const blocking = runResult.violations.filter((v) =>\n      ['block', 'rollback', 'halt_and_alert'].includes(v.actionTaken)\n    );\n    if (blocking.length > 0) {\n      throw new ContractViolation(\n        blocking.map((v) => ({\n          clause_type: v.clauseType,\n          clause_text: v.clauseText,\n          action_taken: v.actionTaken,\n        }))\n      );\n    }\n\n    return output;\n  };\n}\n\nasync function checkPreconditions(contract: Contract, input: string): Promise<void> {\n  for (const precondition of contract.requires) {\n    let text: string;\n    let judge: string;\n    let onFail: string;\n\n    if (typeof precondition === 'string') {\n      text = precondition;\n      judge = 'deterministic';\n      onFail = 'block';\n    } else {\n      text = precondition.text;\n      judge = precondition.judge;\n      onFail = precondition.on_fail;\n    }\n\n    let passed = true;\n    let details = '';\n\n    if (judge === 'deterministic') {\n      if (/non-empty|not empty/i.test(text)) {\n        passed = input.trim().length > 0;\n        details = passed ? '' : 'Input is empty.';\n      }\n    } else if (judge === 'llm') {\n      const ctx = makeContext({ input, output: '' });\n      const result = await new LLMValidator(`requires:${text.slice(0, 30)}`, text, 'requires').validate(ctx);\n      passed = result.passed;\n      details = result.details;\n    }\n\n    if (!passed && onFail === 'block') {\n      throw new ContractPreconditionError(text, details);\n    }\n  }\n}\n","/** Contract validation runner — orchestrates all validators per spec §6.1. */\n\nimport { randomUUID } from 'crypto';\nimport {\n  Contract,\n  Assertion,\n  getClauseText,\n  getClauseJudge,\n  getViolationAction,\n} from './models.js';\nimport type { RunContext, ValidationResult } from './validators/base.js';\nimport { PatternValidator } from './validators/pattern.js';\nimport { CostValidator } from './validators/cost.js';\nimport { LatencyValidator } from './validators/latency.js';\nimport { LLMValidator } from './validators/llm.js';\n\nexport interface ViolationRecord {\n  clauseType: string;\n  clauseName: string;\n  clauseText: string;\n  severity: string;\n  actionTaken: string;\n  judge: string;\n  details: string;\n}\n\nexport interface RunResult {\n  passed: boolean;\n  runId: string;\n  agent: string;\n  contractVersion: string;\n  violations: ViolationRecord[];\n  context: RunContext;\n  outcome: 'pass' | 'violation';\n}\n\nexport class ContractRunner {\n  constructor(private contract: Contract) {}\n\n  async run(context: RunContext, runId?: string): Promise<RunResult> {\n    const rid = runId ?? randomUUID();\n    const violations: ViolationRecord[] = [];\n    const c = this.contract;\n    const ov = c.on_violation;\n\n    // 1. limits\n    violations.push(...this._checkLimits(context));\n\n    // 2. assert\n    for (const assertion of c.assert) {\n      const result = await this._runAssertion(assertion, context);\n      if (!result.passed) {\n        const action = getViolationAction(ov, assertion.name);\n        violations.push({\n          clauseType: 'assert',\n          clauseName: assertion.name,\n          clauseText: result.clauseText,\n          severity: action,\n          actionTaken: action,\n          judge: result.judge,\n          details: result.details,\n        });\n      }\n    }\n\n    // 3. must\n    for (const clause of c.must) {\n      const text = getClauseText(clause);\n      const judge = getClauseJudge(clause);\n      const result = await this._evaluateClause(text, 'must', judge, context);\n      if (!result.passed) {\n        const action = getViolationAction(ov, `must:${text.slice(0, 30)}`);\n        violations.push({ clauseType: 'must', clauseName: `must:${text.slice(0, 30)}`, clauseText: text, severity: action, actionTaken: action, judge, details: result.details });\n      }\n    }\n\n    // 4. must_not\n    for (const clause of c.must_not) {\n      const text = getClauseText(clause);\n      const judge = getClauseJudge(clause);\n      const result = await this._evaluateClause(text, 'must_not', judge, context);\n      if (!result.passed) {\n        const action = getViolationAction(ov, `must_not:${text.slice(0, 30)}`);\n        violations.push({ clauseType: 'must_not', clauseName: `must_not:${text.slice(0, 30)}`, clauseText: text, severity: action, actionTaken: action, judge, details: result.details });\n      }\n    }\n\n    // 5. ensures\n    for (const clause of c.ensures) {\n      const text = getClauseText(clause);\n      const judge = getClauseJudge(clause);\n      const result = await this._evaluateClause(text, 'ensures', judge, context);\n      if (!result.passed) {\n        const action = getViolationAction(ov, `ensures:${text.slice(0, 30)}`);\n        violations.push({ clauseType: 'ensures', clauseName: `ensures:${text.slice(0, 30)}`, clauseText: text, severity: action, actionTaken: action, judge, details: result.details });\n      }\n    }\n\n    const blocking = ['block', 'rollback', 'halt_and_alert'];\n    const passed = !violations.some((v) => blocking.includes(v.actionTaken));\n\n    return { passed, runId: rid, agent: c.agent, contractVersion: c.version, violations, context, outcome: passed ? 'pass' : 'violation' };\n  }\n\n  private _checkLimits(context: RunContext): ViolationRecord[] {\n    const records: ViolationRecord[] = [];\n    const limits = this.contract.limits;\n    const ov = this.contract.on_violation;\n\n    if (limits.max_latency_ms != null) {\n      const r = new LatencyValidator('max_latency_ms', limits.max_latency_ms).validate(context);\n      if (!r.passed) {\n        const action = getViolationAction(ov, 'max_latency_ms');\n        records.push({ clauseType: 'limits', clauseName: 'max_latency_ms', clauseText: r.clauseText, severity: action, actionTaken: action, judge: 'deterministic', details: r.details });\n      }\n    }\n\n    if (limits.max_cost_usd != null) {\n      const r = new CostValidator('max_cost_usd', limits.max_cost_usd).validate(context);\n      if (!r.passed) {\n        const action = getViolationAction(ov, 'max_cost_usd');\n        records.push({ clauseType: 'limits', clauseName: 'max_cost_usd', clauseText: r.clauseText, severity: action, actionTaken: action, judge: 'deterministic', details: r.details });\n      }\n    }\n\n    if (limits.max_tokens != null && context.output) {\n      const estimated = Math.floor(context.output.length / 4);\n      if (estimated > limits.max_tokens) {\n        const action = getViolationAction(ov, 'max_tokens');\n        records.push({ clauseType: 'limits', clauseName: 'max_tokens', clauseText: `output must not exceed ${limits.max_tokens} tokens`, severity: action, actionTaken: action, judge: 'deterministic', details: `Estimated ${estimated} tokens exceeds limit of ${limits.max_tokens}` });\n      }\n    }\n\n    return records;\n  }\n\n  private async _runAssertion(assertion: Assertion, context: RunContext): Promise<ValidationResult> {\n    switch (assertion.type) {\n      case 'pattern':\n        return new PatternValidator(assertion.name, assertion.must_not_match, assertion.must_match, assertion.description).validate(context);\n      case 'cost':\n        return new CostValidator(assertion.name, assertion.max_usd ?? 0, assertion.description).validate(context);\n      case 'latency':\n        return new LatencyValidator(assertion.name, assertion.max_ms ?? 0, assertion.description).validate(context);\n      case 'llm':\n        return new LLMValidator(assertion.name, assertion.description || assertion.name, 'assert', assertion.prompt, assertion.pass_when ?? 'NO', assertion.model).validate(context);\n      default:\n        return { passed: false, clauseName: assertion.name, clauseText: assertion.description || assertion.name, clauseType: 'assert', judge: 'deterministic', details: `Unsupported assertion type: ${assertion.type}` };\n    }\n  }\n\n  private async _evaluateClause(text: string, clauseType: string, judge: string, context: RunContext): Promise<ValidationResult> {\n    if (judge === 'llm') {\n      return new LLMValidator(`${clauseType}:${text.slice(0, 30)}`, text, clauseType).validate(context);\n    }\n    // Deterministic natural language: pass by default (no handler registered)\n    return { passed: true, clauseName: `${clauseType}:${text.slice(0, 30)}`, clauseText: text, clauseType, judge: 'deterministic', details: '' };\n  }\n}\n","/** Regex pattern validator. */\n\nimport type { RunContext, ValidationResult, Validator } from './base.js';\n\nexport class PatternValidator implements Validator {\n  constructor(\n    private name: string,\n    private mustNotMatch?: string,\n    private mustMatch?: string,\n    private description = '',\n  ) {}\n\n  validate(context: RunContext): ValidationResult {\n    const output = context.output;\n\n    if (this.mustNotMatch) {\n      const re = new RegExp(this.mustNotMatch);\n      const match = re.exec(output);\n      if (match) {\n        return {\n          passed: false,\n          clauseName: this.name,\n          clauseText: this.description || `must_not_match: ${this.mustNotMatch}`,\n          clauseType: 'assert',\n          judge: 'deterministic',\n          details: `Forbidden pattern found: '${match[0].slice(0, 50)}'`,\n        };\n      }\n    }\n\n    if (this.mustMatch) {\n      const re = new RegExp(this.mustMatch);\n      if (!re.test(output)) {\n        return {\n          passed: false,\n          clauseName: this.name,\n          clauseText: this.description || `must_match: ${this.mustMatch}`,\n          clauseType: 'assert',\n          judge: 'deterministic',\n          details: 'Required pattern not found in output.',\n        };\n      }\n    }\n\n    return {\n      passed: true,\n      clauseName: this.name,\n      clauseText: this.description || this.name,\n      clauseType: 'assert',\n      judge: 'deterministic',\n      details: '',\n    };\n  }\n}\n","/** Cost validator. */\n\nimport type { RunContext, ValidationResult, Validator } from './base.js';\n\nexport class CostValidator implements Validator {\n  constructor(\n    private name: string,\n    private maxUsd: number,\n    private description = '',\n  ) {}\n\n  validate(context: RunContext): ValidationResult {\n    const passed = context.costUsd <= this.maxUsd;\n    return {\n      passed,\n      clauseName: this.name,\n      clauseText: this.description || `cost must not exceed $${this.maxUsd.toFixed(4)} USD`,\n      clauseType: 'assert',\n      judge: 'deterministic',\n      details: passed\n        ? ''\n        : `Run cost $${context.costUsd.toFixed(4)} exceeded limit $${this.maxUsd.toFixed(4)}`,\n    };\n  }\n}\n","/** Latency validator. */\n\nimport type { RunContext, ValidationResult, Validator } from './base.js';\n\nexport class LatencyValidator implements Validator {\n  constructor(\n    private name: string,\n    private maxMs: number,\n    private description = '',\n  ) {}\n\n  validate(context: RunContext): ValidationResult {\n    const passed = context.durationMs <= this.maxMs;\n    return {\n      passed,\n      clauseName: this.name,\n      clauseText: this.description || `latency must not exceed ${this.maxMs}ms`,\n      clauseType: 'assert',\n      judge: 'deterministic',\n      details: passed\n        ? ''\n        : `Run took ${Math.round(context.durationMs)}ms, exceeded limit of ${this.maxMs}ms`,\n    };\n  }\n}\n","/** LLM judge validator. */\n\nimport type { RunContext, ValidationResult, Validator } from './base.js';\n\nconst DEFAULT_JUDGE_MODEL = 'claude-haiku-4-5-20251001';\n\nconst JUDGE_SYSTEM_PROMPT =\n  'You are an impartial compliance judge evaluating an AI agent\\'s behavior against a specific ' +\n  'contract clause. Evaluate objectively based only on the evidence provided. ' +\n  'Your response must be a single word: YES or NO, followed optionally by one sentence of reasoning.';\n\nexport class LLMValidator implements Validator {\n  constructor(\n    private name: string,\n    private clauseText: string,\n    private clauseType: string,\n    private prompt?: string,\n    private passWhen = 'NO',\n    private model = DEFAULT_JUDGE_MODEL,\n    private description = '',\n  ) {}\n\n  async validate(context: RunContext): Promise<ValidationResult> {\n    let Anthropic: typeof import('@anthropic-ai/sdk').default;\n    try {\n      const mod = await import('@anthropic-ai/sdk');\n      Anthropic = mod.default;\n    } catch {\n      return {\n        passed: false,\n        clauseName: this.name,\n        clauseText: this.clauseText,\n        clauseType: this.clauseType,\n        judge: 'llm',\n        details: '@anthropic-ai/sdk not installed. Run: npm install @anthropic-ai/sdk',\n      };\n    }\n\n    const client = new Anthropic();\n    const userPrompt = this.prompt\n      ? `${this.prompt}\\n\\n--- AGENT INPUT ---\\n${context.input}\\n\\n--- AGENT OUTPUT ---\\n${context.output}`\n      : `Contract clause: \"${this.clauseText}\"\\n\\n--- AGENT INPUT ---\\n${context.input}\\n\\n--- AGENT OUTPUT ---\\n${context.output}\\n\\nDoes the agent's output satisfy the contract clause? Answer YES if satisfied, NO if violated.`;\n\n    try {\n      const response = await client.messages.create({\n        model: this.model,\n        max_tokens: 64,\n        system: JUDGE_SYSTEM_PROMPT,\n        messages: [{ role: 'user', content: userPrompt }],\n      });\n\n      const raw = response.content[0].type === 'text' ? response.content[0].text.trim() : '';\n      const firstWord = raw.split(/\\s+/)[0]?.toUpperCase().replace(/[.,;:]$/, '') ?? '';\n      const passed = firstWord === this.passWhen.toUpperCase();\n      const reasoning = raw.slice(firstWord.length).trim();\n\n      return {\n        passed,\n        clauseName: this.name,\n        clauseText: this.clauseText,\n        clauseType: this.clauseType,\n        judge: 'llm',\n        details: reasoning,\n      };\n    } catch (e) {\n      return {\n        passed: false,\n        clauseName: this.name,\n        clauseText: this.clauseText,\n        clauseType: this.clauseType,\n        judge: 'llm',\n        details: `Judge model error: ${e}`,\n      };\n    }\n  }\n}\n","/** Base validator types. */\n\nexport interface RunContext {\n  input: string;\n  output: string;\n  durationMs: number;\n  costUsd: number;\n  toolCalls: unknown[];\n  steps: number;\n  metadata: Record<string, unknown>;\n}\n\nexport function makeContext(partial: Partial<RunContext> & { input: string; output: string }): RunContext {\n  return {\n    durationMs: 0,\n    costUsd: 0,\n    toolCalls: [],\n    steps: 0,\n    metadata: {},\n    ...partial,\n  };\n}\n\nexport interface ValidationResult {\n  passed: boolean;\n  clauseName: string;\n  clauseText: string;\n  clauseType: string;\n  judge: 'deterministic' | 'llm';\n  details: string;\n}\n\nexport interface Validator {\n  validate(context: RunContext): ValidationResult | Promise<ValidationResult>;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACAA;AAAA;AAAA;AAAA;AAAA,IAEAA,gBACAC,YAGa;AANb;AAAA;AAAA;AAAA;AAEA,IAAAD,iBAAuC;AACvC,IAAAC,aAA+B;AAGxB,IAAM,cAAN,MAAkB;AAAA,MACvB,YAAoB,UAAU,6BAA6B;AAAvC;AAAA,MAAwC;AAAA,MAE5D,MAAM,QAAmB,eAAe,IAA6B;AACnE,cAAM,QAAQ,KAAK,YAAY,QAAQ,YAAY;AACnD,uCAAe,KAAK,SAAS,KAAK,UAAU,KAAK,IAAI,MAAM,OAAO;AAClE,eAAO;AAAA,MACT;AAAA,MAEQ,YAAY,QAAmB,cAA+C;AACpF,cAAM,MAAM,OAAO;AACnB,cAAM,gBAAY,2BAAW,QAAQ,EAAE,OAAO,IAAI,KAAK,EAAE,OAAO,KAAK;AACrE,cAAM,iBAAa,2BAAW,QAAQ,EAAE,OAAO,IAAI,MAAM,EAAE,OAAO,KAAK;AAEvE,cAAM,QAAiC;AAAA,UACrC,QAAQ,OAAO;AAAA,UACf,OAAO,OAAO;AAAA,UACd,UAAU;AAAA,UACV,kBAAkB,OAAO;AAAA,UACzB,YAAW,oBAAI,KAAK,GAAE,YAAY;AAAA,UAClC,YAAY;AAAA,UACZ,aAAa;AAAA,UACb,aAAa,KAAK,MAAM,IAAI,aAAa,GAAG,IAAI;AAAA,UAChD,UAAU,KAAK,MAAM,IAAI,UAAU,GAAS,IAAI;AAAA,UAChD,YAAY,OAAO,WAAW,IAAI,CAAC,OAAO;AAAA,YACxC,aAAa,EAAE;AAAA,YACf,aAAa,EAAE;AAAA,YACf,aAAa,EAAE;AAAA,YACf,UAAU,EAAE;AAAA,YACZ,cAAc,EAAE;AAAA,YAChB,OAAO,EAAE;AAAA,YACT,SAAS,EAAE;AAAA,UACb,EAAE;AAAA,UACF,SAAS,OAAO;AAAA,QAClB;AAEA,cAAM,WAAW,QAAQ,IAAI,yBAAyB;AACtD,YAAI,UAAU;AACZ,gBAAM,UAAU,KAAK,UAAU,OAAO,OAAO,KAAK,KAAK,EAAE,KAAK,CAAC;AAC/D,gBAAM,WAAW,QAAI,2BAAW,UAAU,QAAQ,EAAE,OAAO,OAAO,EAAE,OAAO,KAAK;AAAA,QAClF;AAEA,eAAO;AAAA,MACT;AAAA,IACF;AAAA;AAAA;;;AClDA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACAA;AAEA,gBAA6B;AAC7B,kBAAwB;AACxB,qBAAiB;;;ACJjB;AAEA,iBAAkB;AAEX,IAAM,YAAY,aAAE,KAAK,CAAC,iBAAiB,KAAK,CAAC,EAAE,QAAQ,eAAe;AAG1E,IAAM,kBAAkB,aAAE,KAAK,CAAC,QAAQ,SAAS,YAAY,gBAAgB,CAAC,EAAE,QAAQ,OAAO;AAG/F,IAAM,gBAAgB,aAAE,KAAK,CAAC,WAAW,UAAU,OAAO,QAAQ,WAAW,QAAQ,CAAC;AAItF,IAAM,eAAe,aAAE,OAAO;AAAA,EACnC,MAAM,aAAE,OAAO,EAAE,IAAI,CAAC;AAAA,EACtB,OAAO;AAAA,EACP,aAAa,aAAE,OAAO,EAAE,QAAQ,EAAE;AACpC,CAAC;AAGM,IAAM,SAAS,aAAE,MAAM,CAAC,aAAE,OAAO,EAAE,IAAI,CAAC,GAAG,YAAY,CAAC;AAGxD,IAAM,qBAAqB,aAAE,MAAM;AAAA,EACxC,aAAE,OAAO,EAAE,IAAI,CAAC;AAAA,EAChB,aAAE,OAAO;AAAA,IACP,MAAM,aAAE,OAAO,EAAE,IAAI,CAAC;AAAA,IACtB,OAAO;AAAA,IACP,SAAS,aAAE,KAAK,CAAC,SAAS,MAAM,CAAC,EAAE,QAAQ,OAAO;AAAA,IAClD,aAAa,aAAE,OAAO,EAAE,QAAQ,EAAE;AAAA,EACpC,CAAC;AACH,CAAC;AAGM,IAAM,YAAY,aAAE,OAAO;AAAA,EAChC,MAAM,aAAE,OAAO,EAAE,MAAM,mBAAmB;AAAA,EAC1C,MAAM;AAAA,EACN,aAAa,aAAE,OAAO,EAAE,QAAQ,EAAE;AAAA;AAAA,EAElC,gBAAgB,aAAE,OAAO,EAAE,SAAS;AAAA,EACpC,YAAY,aAAE,OAAO,EAAE,SAAS;AAAA;AAAA,EAEhC,QAAQ,aAAE,OAAO,aAAE,OAAO,GAAG,aAAE,QAAQ,CAAC,EAAE,SAAS;AAAA;AAAA,EAEnD,QAAQ,aAAE,OAAO,EAAE,SAAS;AAAA,EAC5B,WAAW,aAAE,OAAO,EAAE,SAAS;AAAA,EAC/B,OAAO,aAAE,OAAO,EAAE,SAAS;AAAA;AAAA,EAE3B,SAAS,aAAE,OAAO,EAAE,YAAY,EAAE,SAAS;AAAA;AAAA,EAE3C,QAAQ,aAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAAA;AAAA,EAE7C,QAAQ,aAAE,OAAO,EAAE,SAAS;AAC9B,CAAC,EAAE,YAAY;AAGR,IAAM,SAAS,aAAE,OAAO;AAAA,EAC7B,YAAY,aAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAAA,EACjD,kBAAkB,aAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAAA,EACvD,gBAAgB,aAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAAA,EACrD,cAAc,aAAE,OAAO,EAAE,YAAY,EAAE,SAAS;AAAA,EAChD,gBAAgB,aAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS;AAAA,EACxD,WAAW,aAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAClD,CAAC,EAAE,QAAQ,CAAC,CAAC;AAGN,IAAM,cAAc,aAAE,OAAO;AAAA,EAClC,SAAS;AACX,CAAC,EAAE,SAAS,aAAE,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,QAAQ,CAAC;AAG7C,IAAM,WAAW,aAAE,OAAO;AAAA,EAC/B,OAAO,aAAE,OAAO,EAAE,IAAI,CAAC;AAAA,EACvB,gBAAgB,aAAE,OAAO;AAAA,EACzB,SAAS,aAAE,OAAO;AAAA,EAClB,aAAa,aAAE,OAAO,EAAE,QAAQ,EAAE;AAAA,EAClC,QAAQ,aAAE,OAAO,EAAE,QAAQ,EAAE;AAAA,EAC7B,SAAS,aAAE,OAAO,EAAE,QAAQ,EAAE;AAAA,EAC9B,MAAM,aAAE,MAAM,aAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AAAA,EACpC,SAAS,aAAE,OAAO,EAAE,SAAS;AAAA,EAC7B,MAAM,aAAE,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,EAChC,UAAU,aAAE,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,EACpC,KAAK,aAAE,MAAM,aAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AAAA,EACnC,UAAU,aAAE,MAAM,kBAAkB,EAAE,QAAQ,CAAC,CAAC;AAAA,EAChD,SAAS,aAAE,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,EACnC,WAAW,aAAE,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,EACrC,QAAQ,aAAE,MAAM,SAAS,EAAE,QAAQ,CAAC,CAAC;AAAA,EACrC,QAAQ;AAAA,EACR,cAAc;AAChB,CAAC;AAIM,SAAS,cAAc,QAAwB;AACpD,SAAO,OAAO,WAAW,WAAW,SAAS,OAAO;AACtD;AAEO,SAAS,eAAe,QAA2B;AACxD,SAAO,OAAO,WAAW,WAAW,kBAAkB,OAAO;AAC/D;AAEO,SAAS,mBAAmB,aAA0B,MAAsB;AACjF,SAAQ,YAAuC,IAAI,KAAK,YAAY;AACtE;;;ACxGA;AAEO,IAAM,gBAAN,cAA4B,MAAM;AAAA,EACvC,YAAY,SAAiB;AAC3B,UAAM,OAAO;AACb,SAAK,OAAO;AAAA,EACd;AACF;AAEO,IAAM,oBAAN,cAAgC,cAAc;AAAA,EACnD,YAAY,SAAiB;AAC3B,UAAM,OAAO;AACb,SAAK,OAAO;AAAA,EACd;AACF;AAEO,IAAM,4BAAN,cAAwC,cAAc;AAAA,EAC3D;AAAA,EACA;AAAA,EAEA,YAAY,QAAgB,UAAU,IAAI;AACxC,UAAM,yBAAyB,MAAM,GAAG,UAAU,OAAO,UAAU,EAAE,EAAE;AACvE,SAAK,OAAO;AACZ,SAAK,SAAS;AACd,SAAK,UAAU;AAAA,EACjB;AACF;AAEO,IAAM,oBAAN,cAAgC,cAAc;AAAA,EACnD;AAAA,EAEA,YAAY,YAAuF;AACjG,UAAM,QAAQ,WAAW;AAAA,MACvB,CAAC,MAAM,IAAI,EAAE,aAAa,YAAY,CAAC,KAAK,EAAE,YAAY,YAAY,CAAC,MAAM,EAAE,WAAW;AAAA,IAC5F;AACA,UAAM,8BAA8B,MAAM,KAAK,IAAI,CAAC;AACpD,SAAK,OAAO;AACZ,SAAK,aAAa;AAAA,EACpB;AACF;;;AF/BO,SAAS,aAAa,UAA4B;AACvD,QAAM,UAAM,qBAAQ,QAAQ,EAAE,YAAY;AAC1C,MAAI,CAAC,CAAC,SAAS,QAAQ,OAAO,EAAE,SAAS,GAAG,GAAG;AAC7C,UAAM,IAAI;AAAA,MACR,4BAA4B,GAAG;AAAA,IACjC;AAAA,EACF;AAEA,MAAI;AACJ,MAAI;AACF,cAAM,wBAAa,UAAU,OAAO;AAAA,EACtC,QAAQ;AACN,UAAM,IAAI,kBAAkB,4BAA4B,QAAQ,EAAE;AAAA,EACpE;AAEA,MAAI;AACJ,MAAI;AACF,WAAO,QAAQ,UAAU,KAAK,MAAM,GAAG,IAAI,eAAAC,QAAK,KAAK,GAAG;AAAA,EAC1D,SAAS,GAAG;AACV,UAAM,IAAI,kBAAkB,kCAAkC,CAAC,EAAE;AAAA,EACnE;AAEA,MAAI,OAAO,SAAS,YAAY,SAAS,QAAQ,MAAM,QAAQ,IAAI,GAAG;AACpE,UAAM,IAAI,kBAAkB,6DAA6D;AAAA,EAC3F;AAEA,QAAM,SAAS,SAAS,UAAU,IAAI;AACtC,MAAI,CAAC,OAAO,SAAS;AACnB,UAAM,SAAS,OAAO,MAAM,OACzB,IAAI,CAAC,MAAM,KAAK,EAAE,KAAK,KAAK,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,EAChD,KAAK,IAAI;AACZ,UAAM,IAAI,kBAAkB;AAAA,EAAuC,MAAM,EAAE;AAAA,EAC7E;AAEA,SAAO,OAAO;AAChB;;;AG3CA;;;ACAA;AAEA,oBAA2B;;;ACF3B;AAIO,IAAM,mBAAN,MAA4C;AAAA,EACjD,YACU,MACA,cACA,WACA,cAAc,IACtB;AAJQ;AACA;AACA;AACA;AAAA,EACP;AAAA,EAEH,SAAS,SAAuC;AAC9C,UAAM,SAAS,QAAQ;AAEvB,QAAI,KAAK,cAAc;AACrB,YAAM,KAAK,IAAI,OAAO,KAAK,YAAY;AACvC,YAAM,QAAQ,GAAG,KAAK,MAAM;AAC5B,UAAI,OAAO;AACT,eAAO;AAAA,UACL,QAAQ;AAAA,UACR,YAAY,KAAK;AAAA,UACjB,YAAY,KAAK,eAAe,mBAAmB,KAAK,YAAY;AAAA,UACpE,YAAY;AAAA,UACZ,OAAO;AAAA,UACP,SAAS,6BAA6B,MAAM,CAAC,EAAE,MAAM,GAAG,EAAE,CAAC;AAAA,QAC7D;AAAA,MACF;AAAA,IACF;AAEA,QAAI,KAAK,WAAW;AAClB,YAAM,KAAK,IAAI,OAAO,KAAK,SAAS;AACpC,UAAI,CAAC,GAAG,KAAK,MAAM,GAAG;AACpB,eAAO;AAAA,UACL,QAAQ;AAAA,UACR,YAAY,KAAK;AAAA,UACjB,YAAY,KAAK,eAAe,eAAe,KAAK,SAAS;AAAA,UAC7D,YAAY;AAAA,UACZ,OAAO;AAAA,UACP,SAAS;AAAA,QACX;AAAA,MACF;AAAA,IACF;AAEA,WAAO;AAAA,MACL,QAAQ;AAAA,MACR,YAAY,KAAK;AAAA,MACjB,YAAY,KAAK,eAAe,KAAK;AAAA,MACrC,YAAY;AAAA,MACZ,OAAO;AAAA,MACP,SAAS;AAAA,IACX;AAAA,EACF;AACF;;;ACrDA;AAIO,IAAM,gBAAN,MAAyC;AAAA,EAC9C,YACU,MACA,QACA,cAAc,IACtB;AAHQ;AACA;AACA;AAAA,EACP;AAAA,EAEH,SAAS,SAAuC;AAC9C,UAAM,SAAS,QAAQ,WAAW,KAAK;AACvC,WAAO;AAAA,MACL;AAAA,MACA,YAAY,KAAK;AAAA,MACjB,YAAY,KAAK,eAAe,yBAAyB,KAAK,OAAO,QAAQ,CAAC,CAAC;AAAA,MAC/E,YAAY;AAAA,MACZ,OAAO;AAAA,MACP,SAAS,SACL,KACA,aAAa,QAAQ,QAAQ,QAAQ,CAAC,CAAC,oBAAoB,KAAK,OAAO,QAAQ,CAAC,CAAC;AAAA,IACvF;AAAA,EACF;AACF;;;ACxBA;AAIO,IAAM,mBAAN,MAA4C;AAAA,EACjD,YACU,MACA,OACA,cAAc,IACtB;AAHQ;AACA;AACA;AAAA,EACP;AAAA,EAEH,SAAS,SAAuC;AAC9C,UAAM,SAAS,QAAQ,cAAc,KAAK;AAC1C,WAAO;AAAA,MACL;AAAA,MACA,YAAY,KAAK;AAAA,MACjB,YAAY,KAAK,eAAe,2BAA2B,KAAK,KAAK;AAAA,MACrE,YAAY;AAAA,MACZ,OAAO;AAAA,MACP,SAAS,SACL,KACA,YAAY,KAAK,MAAM,QAAQ,UAAU,CAAC,yBAAyB,KAAK,KAAK;AAAA,IACnF;AAAA,EACF;AACF;;;ACxBA;AAIA,IAAM,sBAAsB;AAE5B,IAAM,sBACJ;AAIK,IAAM,eAAN,MAAwC;AAAA,EAC7C,YACU,MACA,YACA,YACA,QACA,WAAW,MACX,QAAQ,qBACR,cAAc,IACtB;AAPQ;AACA;AACA;AACA;AACA;AACA;AACA;AAAA,EACP;AAAA,EAEH,MAAM,SAAS,SAAgD;AAC7D,QAAI;AACJ,QAAI;AACF,YAAM,MAAM,MAAM,OAAO,mBAAmB;AAC5C,kBAAY,IAAI;AAAA,IAClB,QAAQ;AACN,aAAO;AAAA,QACL,QAAQ;AAAA,QACR,YAAY,KAAK;AAAA,QACjB,YAAY,KAAK;AAAA,QACjB,YAAY,KAAK;AAAA,QACjB,OAAO;AAAA,QACP,SAAS;AAAA,MACX;AAAA,IACF;AAEA,UAAM,SAAS,IAAI,UAAU;AAC7B,UAAM,aAAa,KAAK,SACpB,GAAG,KAAK,MAAM;AAAA;AAAA;AAAA,EAA4B,QAAQ,KAAK;AAAA;AAAA;AAAA,EAA6B,QAAQ,MAAM,KAClG,qBAAqB,KAAK,UAAU;AAAA;AAAA;AAAA,EAA6B,QAAQ,KAAK;AAAA;AAAA;AAAA,EAA6B,QAAQ,MAAM;AAAA;AAAA;AAE7H,QAAI;AACF,YAAM,WAAW,MAAM,OAAO,SAAS,OAAO;AAAA,QAC5C,OAAO,KAAK;AAAA,QACZ,YAAY;AAAA,QACZ,QAAQ;AAAA,QACR,UAAU,CAAC,EAAE,MAAM,QAAQ,SAAS,WAAW,CAAC;AAAA,MAClD,CAAC;AAED,YAAM,MAAM,SAAS,QAAQ,CAAC,EAAE,SAAS,SAAS,SAAS,QAAQ,CAAC,EAAE,KAAK,KAAK,IAAI;AACpF,YAAM,YAAY,IAAI,MAAM,KAAK,EAAE,CAAC,GAAG,YAAY,EAAE,QAAQ,WAAW,EAAE,KAAK;AAC/E,YAAM,SAAS,cAAc,KAAK,SAAS,YAAY;AACvD,YAAM,YAAY,IAAI,MAAM,UAAU,MAAM,EAAE,KAAK;AAEnD,aAAO;AAAA,QACL;AAAA,QACA,YAAY,KAAK;AAAA,QACjB,YAAY,KAAK;AAAA,QACjB,YAAY,KAAK;AAAA,QACjB,OAAO;AAAA,QACP,SAAS;AAAA,MACX;AAAA,IACF,SAAS,GAAG;AACV,aAAO;AAAA,QACL,QAAQ;AAAA,QACR,YAAY,KAAK;AAAA,QACjB,YAAY,KAAK;AAAA,QACjB,YAAY,KAAK;AAAA,QACjB,OAAO;AAAA,QACP,SAAS,sBAAsB,CAAC;AAAA,MAClC;AAAA,IACF;AAAA,EACF;AACF;;;AJvCO,IAAM,iBAAN,MAAqB;AAAA,EAC1B,YAAoB,UAAoB;AAApB;AAAA,EAAqB;AAAA,EAEzC,MAAM,IAAI,SAAqB,OAAoC;AACjE,UAAM,MAAM,aAAS,0BAAW;AAChC,UAAM,aAAgC,CAAC;AACvC,UAAM,IAAI,KAAK;AACf,UAAM,KAAK,EAAE;AAGb,eAAW,KAAK,GAAG,KAAK,aAAa,OAAO,CAAC;AAG7C,eAAW,aAAa,EAAE,QAAQ;AAChC,YAAM,SAAS,MAAM,KAAK,cAAc,WAAW,OAAO;AAC1D,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,SAAS,mBAAmB,IAAI,UAAU,IAAI;AACpD,mBAAW,KAAK;AAAA,UACd,YAAY;AAAA,UACZ,YAAY,UAAU;AAAA,UACtB,YAAY,OAAO;AAAA,UACnB,UAAU;AAAA,UACV,aAAa;AAAA,UACb,OAAO,OAAO;AAAA,UACd,SAAS,OAAO;AAAA,QAClB,CAAC;AAAA,MACH;AAAA,IACF;AAGA,eAAW,UAAU,EAAE,MAAM;AAC3B,YAAM,OAAO,cAAc,MAAM;AACjC,YAAM,QAAQ,eAAe,MAAM;AACnC,YAAM,SAAS,MAAM,KAAK,gBAAgB,MAAM,QAAQ,OAAO,OAAO;AACtE,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,SAAS,mBAAmB,IAAI,QAAQ,KAAK,MAAM,GAAG,EAAE,CAAC,EAAE;AACjE,mBAAW,KAAK,EAAE,YAAY,QAAQ,YAAY,QAAQ,KAAK,MAAM,GAAG,EAAE,CAAC,IAAI,YAAY,MAAM,UAAU,QAAQ,aAAa,QAAQ,OAAO,SAAS,OAAO,QAAQ,CAAC;AAAA,MAC1K;AAAA,IACF;AAGA,eAAW,UAAU,EAAE,UAAU;AAC/B,YAAM,OAAO,cAAc,MAAM;AACjC,YAAM,QAAQ,eAAe,MAAM;AACnC,YAAM,SAAS,MAAM,KAAK,gBAAgB,MAAM,YAAY,OAAO,OAAO;AAC1E,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,SAAS,mBAAmB,IAAI,YAAY,KAAK,MAAM,GAAG,EAAE,CAAC,EAAE;AACrE,mBAAW,KAAK,EAAE,YAAY,YAAY,YAAY,YAAY,KAAK,MAAM,GAAG,EAAE,CAAC,IAAI,YAAY,MAAM,UAAU,QAAQ,aAAa,QAAQ,OAAO,SAAS,OAAO,QAAQ,CAAC;AAAA,MAClL;AAAA,IACF;AAGA,eAAW,UAAU,EAAE,SAAS;AAC9B,YAAM,OAAO,cAAc,MAAM;AACjC,YAAM,QAAQ,eAAe,MAAM;AACnC,YAAM,SAAS,MAAM,KAAK,gBAAgB,MAAM,WAAW,OAAO,OAAO;AACzE,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,SAAS,mBAAmB,IAAI,WAAW,KAAK,MAAM,GAAG,EAAE,CAAC,EAAE;AACpE,mBAAW,KAAK,EAAE,YAAY,WAAW,YAAY,WAAW,KAAK,MAAM,GAAG,EAAE,CAAC,IAAI,YAAY,MAAM,UAAU,QAAQ,aAAa,QAAQ,OAAO,SAAS,OAAO,QAAQ,CAAC;AAAA,MAChL;AAAA,IACF;AAEA,UAAM,WAAW,CAAC,SAAS,YAAY,gBAAgB;AACvD,UAAM,SAAS,CAAC,WAAW,KAAK,CAAC,MAAM,SAAS,SAAS,EAAE,WAAW,CAAC;AAEvE,WAAO,EAAE,QAAQ,OAAO,KAAK,OAAO,EAAE,OAAO,iBAAiB,EAAE,SAAS,YAAY,SAAS,SAAS,SAAS,SAAS,YAAY;AAAA,EACvI;AAAA,EAEQ,aAAa,SAAwC;AAC3D,UAAM,UAA6B,CAAC;AACpC,UAAM,SAAS,KAAK,SAAS;AAC7B,UAAM,KAAK,KAAK,SAAS;AAEzB,QAAI,OAAO,kBAAkB,MAAM;AACjC,YAAM,IAAI,IAAI,iBAAiB,kBAAkB,OAAO,cAAc,EAAE,SAAS,OAAO;AACxF,UAAI,CAAC,EAAE,QAAQ;AACb,cAAM,SAAS,mBAAmB,IAAI,gBAAgB;AACtD,gBAAQ,KAAK,EAAE,YAAY,UAAU,YAAY,kBAAkB,YAAY,EAAE,YAAY,UAAU,QAAQ,aAAa,QAAQ,OAAO,iBAAiB,SAAS,EAAE,QAAQ,CAAC;AAAA,MAClL;AAAA,IACF;AAEA,QAAI,OAAO,gBAAgB,MAAM;AAC/B,YAAM,IAAI,IAAI,cAAc,gBAAgB,OAAO,YAAY,EAAE,SAAS,OAAO;AACjF,UAAI,CAAC,EAAE,QAAQ;AACb,cAAM,SAAS,mBAAmB,IAAI,cAAc;AACpD,gBAAQ,KAAK,EAAE,YAAY,UAAU,YAAY,gBAAgB,YAAY,EAAE,YAAY,UAAU,QAAQ,aAAa,QAAQ,OAAO,iBAAiB,SAAS,EAAE,QAAQ,CAAC;AAAA,MAChL;AAAA,IACF;AAEA,QAAI,OAAO,cAAc,QAAQ,QAAQ,QAAQ;AAC/C,YAAM,YAAY,KAAK,MAAM,QAAQ,OAAO,SAAS,CAAC;AACtD,UAAI,YAAY,OAAO,YAAY;AACjC,cAAM,SAAS,mBAAmB,IAAI,YAAY;AAClD,gBAAQ,KAAK,EAAE,YAAY,UAAU,YAAY,cAAc,YAAY,0BAA0B,OAAO,UAAU,WAAW,UAAU,QAAQ,aAAa,QAAQ,OAAO,iBAAiB,SAAS,aAAa,SAAS,4BAA4B,OAAO,UAAU,GAAG,CAAC;AAAA,MAClR;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEA,MAAc,cAAc,WAAsB,SAAgD;AAChG,YAAQ,UAAU,MAAM;AAAA,MACtB,KAAK;AACH,eAAO,IAAI,iBAAiB,UAAU,MAAM,UAAU,gBAAgB,UAAU,YAAY,UAAU,WAAW,EAAE,SAAS,OAAO;AAAA,MACrI,KAAK;AACH,eAAO,IAAI,cAAc,UAAU,MAAM,UAAU,WAAW,GAAG,UAAU,WAAW,EAAE,SAAS,OAAO;AAAA,MAC1G,KAAK;AACH,eAAO,IAAI,iBAAiB,UAAU,MAAM,UAAU,UAAU,GAAG,UAAU,WAAW,EAAE,SAAS,OAAO;AAAA,MAC5G,KAAK;AACH,eAAO,IAAI,aAAa,UAAU,MAAM,UAAU,eAAe,UAAU,MAAM,UAAU,UAAU,QAAQ,UAAU,aAAa,MAAM,UAAU,KAAK,EAAE,SAAS,OAAO;AAAA,MAC7K;AACE,eAAO,EAAE,QAAQ,OAAO,YAAY,UAAU,MAAM,YAAY,UAAU,eAAe,UAAU,MAAM,YAAY,UAAU,OAAO,iBAAiB,SAAS,+BAA+B,UAAU,IAAI,GAAG;AAAA,IACpN;AAAA,EACF;AAAA,EAEA,MAAc,gBAAgB,MAAc,YAAoB,OAAe,SAAgD;AAC7H,QAAI,UAAU,OAAO;AACnB,aAAO,IAAI,aAAa,GAAG,UAAU,IAAI,KAAK,MAAM,GAAG,EAAE,CAAC,IAAI,MAAM,UAAU,EAAE,SAAS,OAAO;AAAA,IAClG;AAEA,WAAO,EAAE,QAAQ,MAAM,YAAY,GAAG,UAAU,IAAI,KAAK,MAAM,GAAG,EAAE,CAAC,IAAI,YAAY,MAAM,YAAY,OAAO,iBAAiB,SAAS,GAAG;AAAA,EAC7I;AACF;;;AK9JA;AAYO,SAAS,YAAY,SAA8E;AACxG,SAAO;AAAA,IACL,YAAY;AAAA,IACZ,SAAS;AAAA,IACT,WAAW,CAAC;AAAA,IACZ,OAAO;AAAA,IACP,UAAU,CAAC;AAAA,IACX,GAAG;AAAA,EACL;AACF;;;ANLO,SAAS,QACd,UACA,IACA,UAA0B,CAAC,GACD;AAC1B,QAAM,EAAE,QAAQ,MAAM,YAAY,6BAA6B,OAAO,IAAI;AAC1E,QAAM,SAAS,IAAI,eAAe,QAAQ;AAE1C,SAAO,OAAO,UAAmC;AAE/C,UAAM,mBAAmB,UAAU,KAAK;AAGxC,UAAM,QAAQ,YAAY,IAAI;AAC9B,UAAM,SAAS,MAAM,QAAQ,QAAQ,GAAG,KAAK,CAAC;AAC9C,UAAM,aAAa,YAAY,IAAI,IAAI;AAEvC,UAAM,SAAS,OAAO,UAAU,EAAE;AAClC,UAAM,UAAU,SAAS,OAAO,MAAM,IAAI;AAE1C,UAAM,MAAM,YAAY,EAAE,OAAO,QAAQ,YAAY,QAAQ,CAAC;AAC9D,UAAM,YAAY,MAAM,OAAO,IAAI,GAAG;AAEtC,QAAI,OAAO;AACT,YAAM,EAAE,aAAAC,aAAY,IAAI,MAAM;AAC9B,UAAIA,aAAY,SAAS,EAAE,MAAM,SAAS;AAAA,IAC5C;AAGA,UAAM,iBAAiB,UAAU,WAAW,OAAO,CAAC,MAAM,EAAE,gBAAgB,MAAM;AAClF,eAAW,KAAK,gBAAgB;AAC9B,cAAQ,OAAO;AAAA,QACb,wBAAwB,EAAE,WAAW,YAAY,CAAC,MAAM,EAAE,UAAU,YAAO,EAAE,OAAO;AAAA;AAAA,MACtF;AAAA,IACF;AAGA,UAAM,WAAW,UAAU,WAAW;AAAA,MAAO,CAAC,MAC5C,CAAC,SAAS,YAAY,gBAAgB,EAAE,SAAS,EAAE,WAAW;AAAA,IAChE;AACA,QAAI,SAAS,SAAS,GAAG;AACvB,YAAM,IAAI;AAAA,QACR,SAAS,IAAI,CAAC,OAAO;AAAA,UACnB,aAAa,EAAE;AAAA,UACf,aAAa,EAAE;AAAA,UACf,cAAc,EAAE;AAAA,QAClB,EAAE;AAAA,MACJ;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AACF;AAEA,eAAe,mBAAmB,UAAoB,OAA8B;AAClF,aAAW,gBAAgB,SAAS,UAAU;AAC5C,QAAI;AACJ,QAAI;AACJ,QAAI;AAEJ,QAAI,OAAO,iBAAiB,UAAU;AACpC,aAAO;AACP,cAAQ;AACR,eAAS;AAAA,IACX,OAAO;AACL,aAAO,aAAa;AACpB,cAAQ,aAAa;AACrB,eAAS,aAAa;AAAA,IACxB;AAEA,QAAI,SAAS;AACb,QAAI,UAAU;AAEd,QAAI,UAAU,iBAAiB;AAC7B,UAAI,uBAAuB,KAAK,IAAI,GAAG;AACrC,iBAAS,MAAM,KAAK,EAAE,SAAS;AAC/B,kBAAU,SAAS,KAAK;AAAA,MAC1B;AAAA,IACF,WAAW,UAAU,OAAO;AAC1B,YAAM,MAAM,YAAY,EAAE,OAAO,QAAQ,GAAG,CAAC;AAC7C,YAAM,SAAS,MAAM,IAAI,aAAa,YAAY,KAAK,MAAM,GAAG,EAAE,CAAC,IAAI,MAAM,UAAU,EAAE,SAAS,GAAG;AACrG,eAAS,OAAO;AAChB,gBAAU,OAAO;AAAA,IACnB;AAEA,QAAI,CAAC,UAAU,WAAW,SAAS;AACjC,YAAM,IAAI,0BAA0B,MAAM,OAAO;AAAA,IACnD;AAAA,EACF;AACF;;;AJ7FA;AANO,IAAM,UAAU;AAChB,IAAM,eAAe;","names":["import_crypto","import_fs","yaml","AuditWriter"]}

package/dist/index.mjs

@@ -0,0 +1,29 @@
+import {
+  ContractError,
+  ContractLoadError,
+  ContractPreconditionError,
+  ContractRunner,
+  ContractViolation,
+  SPEC_VERSION,
+  VERSION,
+  enforce,
+  loadContract,
+  makeContext
+} from "./chunk-UHNX2RBZ.mjs";
+import {
+  AuditWriter
+} from "./chunk-BVUHPJDU.mjs";
+export {
+  AuditWriter,
+  ContractError,
+  ContractLoadError,
+  ContractPreconditionError,
+  ContractRunner,
+  ContractViolation,
+  SPEC_VERSION,
+  VERSION,
+  enforce,
+  loadContract,
+  makeContext
+};
+//# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/package.json

@@ -0,0 +1,54 @@
+{
+  "name": "@agentcontract/core",
+  "version": "0.1.0",
+  "description": "Behavioral contracts for AI agents — TypeScript implementation of the AgentContract specification",
+  "main": "dist/index.js",
+  "module": "dist/index.mjs",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.mjs",
+      "require": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "bin": {
+    "agentcontract": "dist/cli.js"
+  },
+  "files": ["dist"],
+  "scripts": {
+    "build": "tsup",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "lint": "tsc --noEmit",
+    "prepublishOnly": "npm run build && npm test"
+  },
+  "keywords": ["ai", "agents", "contracts", "llm", "safety", "compliance", "validation", "agentcontract"],
+  "author": "Mauro Moro",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/agentcontract/agentcontract-ts.git"
+  },
+  "homepage": "https://github.com/agentcontract/spec",
+  "bugs": { "url": "https://github.com/agentcontract/agentcontract-ts/issues" },
+  "engines": { "node": ">=18" },
+  "dependencies": {
+    "commander": "^13.0.0",
+    "js-yaml": "^4.1.0",
+    "zod": "^3.22.0"
+  },
+  "devDependencies": {
+    "@types/js-yaml": "^4.0.9",
+    "@types/node": "^22.0.0",
+    "tsup": "^8.0.0",
+    "typescript": "^5.4.0",
+    "vitest": "^2.0.0"
+  },
+  "peerDependencies": {
+    "@anthropic-ai/sdk": ">=0.20.0"
+  },
+  "peerDependenciesMeta": {
+    "@anthropic-ai/sdk": { "optional": true }
+  }
+}