@agentcontract/core 0.1.0

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../node_modules/tsup/assets/cjs_shims.js","../src/audit.ts","../src/cli.ts","../src/loader.ts","../src/models.ts","../src/exceptions.ts","../src/runner.ts","../src/validators/pattern.ts","../src/validators/cost.ts","../src/validators/latency.ts","../src/validators/llm.ts","../src/validators/base.ts","../src/index.ts","../src/enforce.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","#!/usr/bin/env node\n/** AgentContract CLI */\n\nimport { readFileSync } from 'fs';\nimport { program } from 'commander';\nimport { loadContract } from './loader.js';\nimport { ContractRunner } from './runner.js';\nimport { makeContext } from './validators/base.js';\nimport { VERSION } from './index.js';\n\nprogram\n  .name('agentcontract')\n  .description('AgentContract — behavioral contracts for AI agents')\n  .version(VERSION);\n\nprogram\n  .command('check <contract>')\n  .description('Validate a contract file against the AgentContract schema')\n  .action((contractFile: string) => {\n    try {\n      const contract = loadContract(contractFile);\n      console.log('✓ Contract is valid');\n      console.log(`  Agent:    ${contract.agent}`);\n      console.log(`  Version:  ${contract.version}`);\n      console.log(`  Spec:     ${contract['spec-version']}`);\n      console.log(`  Clauses:  ${contract.must.length} must, ${contract.must_not.length} must_not, ${contract.assert.length} assertions`);\n    } catch (e) {\n      console.error(`✗ Invalid contract: ${e instanceof Error ? e.message : e}`);\n      process.exit(1);\n    }\n  });\n\nprogram\n  .command('validate <contract> <runLog>')\n  .description('Validate a JSONL run log against a contract')\n  .option('--format <format>', 'Output format: text or json', 'text')\n  .action(async (contractFile: string, runLogFile: string, opts: { format: string }) => {\n    let contract;\n    try {\n      contract = loadContract(contractFile);\n    } catch (e) {\n      console.error(`✗ ${e instanceof Error ? e.message : e}`);\n      process.exit(1);\n    }\n\n    const runner = new ContractRunner(contract);\n    const lines = readFileSync(runLogFile, 'utf-8').split('\\n').filter(Boolean);\n    const results = [];\n    let failed = 0;\n\n    for (const line of lines) {\n      try {\n        const entry = JSON.parse(line);\n        const ctx = makeContext({\n          input: entry.input ?? '',\n          output: entry.output ?? '',\n          durationMs: entry.duration_ms ?? 0,\n          costUsd: entry.cost_usd ?? 0,\n        });\n        const result = await runner.run(ctx);\n        results.push(result);\n        if (!result.passed) failed++;\n      } catch {\n        // skip invalid lines\n      }\n    }\n\n    if (opts.format === 'json') {\n      console.log(JSON.stringify(results.map((r) => ({\n        run_id: r.runId,\n        outcome: r.outcome,\n        violations: r.violations,\n      })), null, 2));\n    } else {\n      const total = results.length;\n      const passed = total - failed;\n      console.log(`\\nAgentContract Validation Report`);\n      console.log(`Contract: ${contractFile}  |  Runs: ${total}  |  Passed: ${passed}  |  Failed: ${failed}`);\n      for (const r of results) {\n        if (r.violations.length > 0) {\n          console.log(`\\n  Run ${r.runId.slice(0, 8)}... — VIOLATION`);\n          for (const v of r.violations) {\n            const icon = v.actionTaken !== 'warn' ? '✗' : '⚠';\n            console.log(`    ${icon} [${v.actionTaken.toUpperCase()}] ${v.clauseType}: \"${v.clauseText}\"`);\n            if (v.details) console.log(`      ${v.details}`);\n          }\n        }\n      }\n    }\n\n    process.exit(failed > 0 ? 1 : 0);\n  });\n\nprogram\n  .command('info <contract>')\n  .description('Display a summary of a contract file')\n  .action((contractFile: string) => {\n    try {\n      const c = loadContract(contractFile);\n      console.log(`\\nAgentContract — ${c.agent} v${c.version}`);\n      console.log(`  Spec version : ${c['spec-version']}`);\n      if (c.description) console.log(`  Description  : ${c.description}`);\n      if (c.author) console.log(`  Author       : ${c.author}`);\n      if (c.tags.length) console.log(`  Tags         : ${c.tags.join(', ')}`);\n      console.log(`\\n  Clauses:`);\n      console.log(`    must         : ${c.must.length}`);\n      console.log(`    must_not     : ${c.must_not.length}`);\n      console.log(`    can          : ${c.can.length}`);\n      console.log(`    requires     : ${c.requires.length}`);\n      console.log(`    ensures      : ${c.ensures.length}`);\n      console.log(`    assert       : ${c.assert.length}`);\n      console.log(`\\n  Violation default: ${c.on_violation.default}`);\n    } catch (e) {\n      console.error(`✗ ${e instanceof Error ? e.message : e}`);\n      process.exit(1);\n    }\n  });\n\nprogram.parse();\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","/** 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","/**\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","/** 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"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACAA;AAGA,IAAAA,aAA6B;AAC7B,uBAAwB;;;ACJxB;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;;;AFNO,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;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;;;ACrBA;;;ACAA;;;ADYA;AANO,IAAM,UAAU;;;AVIvB,yBACG,KAAK,eAAe,EACpB,YAAY,yDAAoD,EAChE,QAAQ,OAAO;AAElB,yBACG,QAAQ,kBAAkB,EAC1B,YAAY,2DAA2D,EACvE,OAAO,CAAC,iBAAyB;AAChC,MAAI;AACF,UAAM,WAAW,aAAa,YAAY;AAC1C,YAAQ,IAAI,0BAAqB;AACjC,YAAQ,IAAI,eAAe,SAAS,KAAK,EAAE;AAC3C,YAAQ,IAAI,eAAe,SAAS,OAAO,EAAE;AAC7C,YAAQ,IAAI,eAAe,SAAS,cAAc,CAAC,EAAE;AACrD,YAAQ,IAAI,eAAe,SAAS,KAAK,MAAM,UAAU,SAAS,SAAS,MAAM,cAAc,SAAS,OAAO,MAAM,aAAa;AAAA,EACpI,SAAS,GAAG;AACV,YAAQ,MAAM,4BAAuB,aAAa,QAAQ,EAAE,UAAU,CAAC,EAAE;AACzE,YAAQ,KAAK,CAAC;AAAA,EAChB;AACF,CAAC;AAEH,yBACG,QAAQ,8BAA8B,EACtC,YAAY,6CAA6C,EACzD,OAAO,qBAAqB,+BAA+B,MAAM,EACjE,OAAO,OAAO,cAAsB,YAAoB,SAA6B;AACpF,MAAI;AACJ,MAAI;AACF,eAAW,aAAa,YAAY;AAAA,EACtC,SAAS,GAAG;AACV,YAAQ,MAAM,UAAK,aAAa,QAAQ,EAAE,UAAU,CAAC,EAAE;AACvD,YAAQ,KAAK,CAAC;AAAA,EAChB;AAEA,QAAM,SAAS,IAAI,eAAe,QAAQ;AAC1C,QAAM,YAAQ,yBAAa,YAAY,OAAO,EAAE,MAAM,IAAI,EAAE,OAAO,OAAO;AAC1E,QAAM,UAAU,CAAC;AACjB,MAAI,SAAS;AAEb,aAAW,QAAQ,OAAO;AACxB,QAAI;AACF,YAAM,QAAQ,KAAK,MAAM,IAAI;AAC7B,YAAM,MAAM,YAAY;AAAA,QACtB,OAAO,MAAM,SAAS;AAAA,QACtB,QAAQ,MAAM,UAAU;AAAA,QACxB,YAAY,MAAM,eAAe;AAAA,QACjC,SAAS,MAAM,YAAY;AAAA,MAC7B,CAAC;AACD,YAAM,SAAS,MAAM,OAAO,IAAI,GAAG;AACnC,cAAQ,KAAK,MAAM;AACnB,UAAI,CAAC,OAAO,OAAQ;AAAA,IACtB,QAAQ;AAAA,IAER;AAAA,EACF;AAEA,MAAI,KAAK,WAAW,QAAQ;AAC1B,YAAQ,IAAI,KAAK,UAAU,QAAQ,IAAI,CAAC,OAAO;AAAA,MAC7C,QAAQ,EAAE;AAAA,MACV,SAAS,EAAE;AAAA,MACX,YAAY,EAAE;AAAA,IAChB,EAAE,GAAG,MAAM,CAAC,CAAC;AAAA,EACf,OAAO;AACL,UAAM,QAAQ,QAAQ;AACtB,UAAM,SAAS,QAAQ;AACvB,YAAQ,IAAI;AAAA,gCAAmC;AAC/C,YAAQ,IAAI,aAAa,YAAY,cAAc,KAAK,gBAAgB,MAAM,gBAAgB,MAAM,EAAE;AACtG,eAAW,KAAK,SAAS;AACvB,UAAI,EAAE,WAAW,SAAS,GAAG;AAC3B,gBAAQ,IAAI;AAAA,QAAW,EAAE,MAAM,MAAM,GAAG,CAAC,CAAC,sBAAiB;AAC3D,mBAAW,KAAK,EAAE,YAAY;AAC5B,gBAAM,OAAO,EAAE,gBAAgB,SAAS,WAAM;AAC9C,kBAAQ,IAAI,OAAO,IAAI,KAAK,EAAE,YAAY,YAAY,CAAC,KAAK,EAAE,UAAU,MAAM,EAAE,UAAU,GAAG;AAC7F,cAAI,EAAE,QAAS,SAAQ,IAAI,SAAS,EAAE,OAAO,EAAE;AAAA,QACjD;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,UAAQ,KAAK,SAAS,IAAI,IAAI,CAAC;AACjC,CAAC;AAEH,yBACG,QAAQ,iBAAiB,EACzB,YAAY,sCAAsC,EAClD,OAAO,CAAC,iBAAyB;AAChC,MAAI;AACF,UAAM,IAAI,aAAa,YAAY;AACnC,YAAQ,IAAI;AAAA,uBAAqB,EAAE,KAAK,KAAK,EAAE,OAAO,EAAE;AACxD,YAAQ,IAAI,oBAAoB,EAAE,cAAc,CAAC,EAAE;AACnD,QAAI,EAAE,YAAa,SAAQ,IAAI,oBAAoB,EAAE,WAAW,EAAE;AAClE,QAAI,EAAE,OAAQ,SAAQ,IAAI,oBAAoB,EAAE,MAAM,EAAE;AACxD,QAAI,EAAE,KAAK,OAAQ,SAAQ,IAAI,oBAAoB,EAAE,KAAK,KAAK,IAAI,CAAC,EAAE;AACtE,YAAQ,IAAI;AAAA,WAAc;AAC1B,YAAQ,IAAI,sBAAsB,EAAE,KAAK,MAAM,EAAE;AACjD,YAAQ,IAAI,sBAAsB,EAAE,SAAS,MAAM,EAAE;AACrD,YAAQ,IAAI,sBAAsB,EAAE,IAAI,MAAM,EAAE;AAChD,YAAQ,IAAI,sBAAsB,EAAE,SAAS,MAAM,EAAE;AACrD,YAAQ,IAAI,sBAAsB,EAAE,QAAQ,MAAM,EAAE;AACpD,YAAQ,IAAI,sBAAsB,EAAE,OAAO,MAAM,EAAE;AACnD,YAAQ,IAAI;AAAA,uBAA0B,EAAE,aAAa,OAAO,EAAE;AAAA,EAChE,SAAS,GAAG;AACV,YAAQ,MAAM,UAAK,aAAa,QAAQ,EAAE,UAAU,CAAC,EAAE;AACvD,YAAQ,KAAK,CAAC;AAAA,EAChB;AACF,CAAC;AAEH,yBAAQ,MAAM;","names":["import_fs","yaml"]}

package/dist/cli.mjs

@@ -0,0 +1,105 @@
+#!/usr/bin/env node
+import {
+  ContractRunner,
+  VERSION,
+  loadContract,
+  makeContext
+} from "./chunk-UHNX2RBZ.mjs";
+import "./chunk-BVUHPJDU.mjs";
+
+// src/cli.ts
+import { readFileSync } from "fs";
+import { program } from "commander";
+program.name("agentcontract").description("AgentContract \u2014 behavioral contracts for AI agents").version(VERSION);
+program.command("check <contract>").description("Validate a contract file against the AgentContract schema").action((contractFile) => {
+  try {
+    const contract = loadContract(contractFile);
+    console.log("\u2713 Contract is valid");
+    console.log(`  Agent:    ${contract.agent}`);
+    console.log(`  Version:  ${contract.version}`);
+    console.log(`  Spec:     ${contract["spec-version"]}`);
+    console.log(`  Clauses:  ${contract.must.length} must, ${contract.must_not.length} must_not, ${contract.assert.length} assertions`);
+  } catch (e) {
+    console.error(`\u2717 Invalid contract: ${e instanceof Error ? e.message : e}`);
+    process.exit(1);
+  }
+});
+program.command("validate <contract> <runLog>").description("Validate a JSONL run log against a contract").option("--format <format>", "Output format: text or json", "text").action(async (contractFile, runLogFile, opts) => {
+  let contract;
+  try {
+    contract = loadContract(contractFile);
+  } catch (e) {
+    console.error(`\u2717 ${e instanceof Error ? e.message : e}`);
+    process.exit(1);
+  }
+  const runner = new ContractRunner(contract);
+  const lines = readFileSync(runLogFile, "utf-8").split("\n").filter(Boolean);
+  const results = [];
+  let failed = 0;
+  for (const line of lines) {
+    try {
+      const entry = JSON.parse(line);
+      const ctx = makeContext({
+        input: entry.input ?? "",
+        output: entry.output ?? "",
+        durationMs: entry.duration_ms ?? 0,
+        costUsd: entry.cost_usd ?? 0
+      });
+      const result = await runner.run(ctx);
+      results.push(result);
+      if (!result.passed) failed++;
+    } catch {
+    }
+  }
+  if (opts.format === "json") {
+    console.log(JSON.stringify(results.map((r) => ({
+      run_id: r.runId,
+      outcome: r.outcome,
+      violations: r.violations
+    })), null, 2));
+  } else {
+    const total = results.length;
+    const passed = total - failed;
+    console.log(`
+AgentContract Validation Report`);
+    console.log(`Contract: ${contractFile}  |  Runs: ${total}  |  Passed: ${passed}  |  Failed: ${failed}`);
+    for (const r of results) {
+      if (r.violations.length > 0) {
+        console.log(`
+  Run ${r.runId.slice(0, 8)}... \u2014 VIOLATION`);
+        for (const v of r.violations) {
+          const icon = v.actionTaken !== "warn" ? "\u2717" : "\u26A0";
+          console.log(`    ${icon} [${v.actionTaken.toUpperCase()}] ${v.clauseType}: "${v.clauseText}"`);
+          if (v.details) console.log(`      ${v.details}`);
+        }
+      }
+    }
+  }
+  process.exit(failed > 0 ? 1 : 0);
+});
+program.command("info <contract>").description("Display a summary of a contract file").action((contractFile) => {
+  try {
+    const c = loadContract(contractFile);
+    console.log(`
+AgentContract \u2014 ${c.agent} v${c.version}`);
+    console.log(`  Spec version : ${c["spec-version"]}`);
+    if (c.description) console.log(`  Description  : ${c.description}`);
+    if (c.author) console.log(`  Author       : ${c.author}`);
+    if (c.tags.length) console.log(`  Tags         : ${c.tags.join(", ")}`);
+    console.log(`
+  Clauses:`);
+    console.log(`    must         : ${c.must.length}`);
+    console.log(`    must_not     : ${c.must_not.length}`);
+    console.log(`    can          : ${c.can.length}`);
+    console.log(`    requires     : ${c.requires.length}`);
+    console.log(`    ensures      : ${c.ensures.length}`);
+    console.log(`    assert       : ${c.assert.length}`);
+    console.log(`
+  Violation default: ${c.on_violation.default}`);
+  } catch (e) {
+    console.error(`\u2717 ${e instanceof Error ? e.message : e}`);
+    process.exit(1);
+  }
+});
+program.parse();
+//# sourceMappingURL=cli.mjs.map

package/dist/cli.mjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/cli.ts"],"sourcesContent":["#!/usr/bin/env node\n/** AgentContract CLI */\n\nimport { readFileSync } from 'fs';\nimport { program } from 'commander';\nimport { loadContract } from './loader.js';\nimport { ContractRunner } from './runner.js';\nimport { makeContext } from './validators/base.js';\nimport { VERSION } from './index.js';\n\nprogram\n  .name('agentcontract')\n  .description('AgentContract — behavioral contracts for AI agents')\n  .version(VERSION);\n\nprogram\n  .command('check <contract>')\n  .description('Validate a contract file against the AgentContract schema')\n  .action((contractFile: string) => {\n    try {\n      const contract = loadContract(contractFile);\n      console.log('✓ Contract is valid');\n      console.log(`  Agent:    ${contract.agent}`);\n      console.log(`  Version:  ${contract.version}`);\n      console.log(`  Spec:     ${contract['spec-version']}`);\n      console.log(`  Clauses:  ${contract.must.length} must, ${contract.must_not.length} must_not, ${contract.assert.length} assertions`);\n    } catch (e) {\n      console.error(`✗ Invalid contract: ${e instanceof Error ? e.message : e}`);\n      process.exit(1);\n    }\n  });\n\nprogram\n  .command('validate <contract> <runLog>')\n  .description('Validate a JSONL run log against a contract')\n  .option('--format <format>', 'Output format: text or json', 'text')\n  .action(async (contractFile: string, runLogFile: string, opts: { format: string }) => {\n    let contract;\n    try {\n      contract = loadContract(contractFile);\n    } catch (e) {\n      console.error(`✗ ${e instanceof Error ? e.message : e}`);\n      process.exit(1);\n    }\n\n    const runner = new ContractRunner(contract);\n    const lines = readFileSync(runLogFile, 'utf-8').split('\\n').filter(Boolean);\n    const results = [];\n    let failed = 0;\n\n    for (const line of lines) {\n      try {\n        const entry = JSON.parse(line);\n        const ctx = makeContext({\n          input: entry.input ?? '',\n          output: entry.output ?? '',\n          durationMs: entry.duration_ms ?? 0,\n          costUsd: entry.cost_usd ?? 0,\n        });\n        const result = await runner.run(ctx);\n        results.push(result);\n        if (!result.passed) failed++;\n      } catch {\n        // skip invalid lines\n      }\n    }\n\n    if (opts.format === 'json') {\n      console.log(JSON.stringify(results.map((r) => ({\n        run_id: r.runId,\n        outcome: r.outcome,\n        violations: r.violations,\n      })), null, 2));\n    } else {\n      const total = results.length;\n      const passed = total - failed;\n      console.log(`\\nAgentContract Validation Report`);\n      console.log(`Contract: ${contractFile}  |  Runs: ${total}  |  Passed: ${passed}  |  Failed: ${failed}`);\n      for (const r of results) {\n        if (r.violations.length > 0) {\n          console.log(`\\n  Run ${r.runId.slice(0, 8)}... — VIOLATION`);\n          for (const v of r.violations) {\n            const icon = v.actionTaken !== 'warn' ? '✗' : '⚠';\n            console.log(`    ${icon} [${v.actionTaken.toUpperCase()}] ${v.clauseType}: \"${v.clauseText}\"`);\n            if (v.details) console.log(`      ${v.details}`);\n          }\n        }\n      }\n    }\n\n    process.exit(failed > 0 ? 1 : 0);\n  });\n\nprogram\n  .command('info <contract>')\n  .description('Display a summary of a contract file')\n  .action((contractFile: string) => {\n    try {\n      const c = loadContract(contractFile);\n      console.log(`\\nAgentContract — ${c.agent} v${c.version}`);\n      console.log(`  Spec version : ${c['spec-version']}`);\n      if (c.description) console.log(`  Description  : ${c.description}`);\n      if (c.author) console.log(`  Author       : ${c.author}`);\n      if (c.tags.length) console.log(`  Tags         : ${c.tags.join(', ')}`);\n      console.log(`\\n  Clauses:`);\n      console.log(`    must         : ${c.must.length}`);\n      console.log(`    must_not     : ${c.must_not.length}`);\n      console.log(`    can          : ${c.can.length}`);\n      console.log(`    requires     : ${c.requires.length}`);\n      console.log(`    ensures      : ${c.ensures.length}`);\n      console.log(`    assert       : ${c.assert.length}`);\n      console.log(`\\n  Violation default: ${c.on_violation.default}`);\n    } catch (e) {\n      console.error(`✗ ${e instanceof Error ? e.message : e}`);\n      process.exit(1);\n    }\n  });\n\nprogram.parse();\n"],"mappings":";;;;;;;;;;AAGA,SAAS,oBAAoB;AAC7B,SAAS,eAAe;AAMxB,QACG,KAAK,eAAe,EACpB,YAAY,yDAAoD,EAChE,QAAQ,OAAO;AAElB,QACG,QAAQ,kBAAkB,EAC1B,YAAY,2DAA2D,EACvE,OAAO,CAAC,iBAAyB;AAChC,MAAI;AACF,UAAM,WAAW,aAAa,YAAY;AAC1C,YAAQ,IAAI,0BAAqB;AACjC,YAAQ,IAAI,eAAe,SAAS,KAAK,EAAE;AAC3C,YAAQ,IAAI,eAAe,SAAS,OAAO,EAAE;AAC7C,YAAQ,IAAI,eAAe,SAAS,cAAc,CAAC,EAAE;AACrD,YAAQ,IAAI,eAAe,SAAS,KAAK,MAAM,UAAU,SAAS,SAAS,MAAM,cAAc,SAAS,OAAO,MAAM,aAAa;AAAA,EACpI,SAAS,GAAG;AACV,YAAQ,MAAM,4BAAuB,aAAa,QAAQ,EAAE,UAAU,CAAC,EAAE;AACzE,YAAQ,KAAK,CAAC;AAAA,EAChB;AACF,CAAC;AAEH,QACG,QAAQ,8BAA8B,EACtC,YAAY,6CAA6C,EACzD,OAAO,qBAAqB,+BAA+B,MAAM,EACjE,OAAO,OAAO,cAAsB,YAAoB,SAA6B;AACpF,MAAI;AACJ,MAAI;AACF,eAAW,aAAa,YAAY;AAAA,EACtC,SAAS,GAAG;AACV,YAAQ,MAAM,UAAK,aAAa,QAAQ,EAAE,UAAU,CAAC,EAAE;AACvD,YAAQ,KAAK,CAAC;AAAA,EAChB;AAEA,QAAM,SAAS,IAAI,eAAe,QAAQ;AAC1C,QAAM,QAAQ,aAAa,YAAY,OAAO,EAAE,MAAM,IAAI,EAAE,OAAO,OAAO;AAC1E,QAAM,UAAU,CAAC;AACjB,MAAI,SAAS;AAEb,aAAW,QAAQ,OAAO;AACxB,QAAI;AACF,YAAM,QAAQ,KAAK,MAAM,IAAI;AAC7B,YAAM,MAAM,YAAY;AAAA,QACtB,OAAO,MAAM,SAAS;AAAA,QACtB,QAAQ,MAAM,UAAU;AAAA,QACxB,YAAY,MAAM,eAAe;AAAA,QACjC,SAAS,MAAM,YAAY;AAAA,MAC7B,CAAC;AACD,YAAM,SAAS,MAAM,OAAO,IAAI,GAAG;AACnC,cAAQ,KAAK,MAAM;AACnB,UAAI,CAAC,OAAO,OAAQ;AAAA,IACtB,QAAQ;AAAA,IAER;AAAA,EACF;AAEA,MAAI,KAAK,WAAW,QAAQ;AAC1B,YAAQ,IAAI,KAAK,UAAU,QAAQ,IAAI,CAAC,OAAO;AAAA,MAC7C,QAAQ,EAAE;AAAA,MACV,SAAS,EAAE;AAAA,MACX,YAAY,EAAE;AAAA,IAChB,EAAE,GAAG,MAAM,CAAC,CAAC;AAAA,EACf,OAAO;AACL,UAAM,QAAQ,QAAQ;AACtB,UAAM,SAAS,QAAQ;AACvB,YAAQ,IAAI;AAAA,gCAAmC;AAC/C,YAAQ,IAAI,aAAa,YAAY,cAAc,KAAK,gBAAgB,MAAM,gBAAgB,MAAM,EAAE;AACtG,eAAW,KAAK,SAAS;AACvB,UAAI,EAAE,WAAW,SAAS,GAAG;AAC3B,gBAAQ,IAAI;AAAA,QAAW,EAAE,MAAM,MAAM,GAAG,CAAC,CAAC,sBAAiB;AAC3D,mBAAW,KAAK,EAAE,YAAY;AAC5B,gBAAM,OAAO,EAAE,gBAAgB,SAAS,WAAM;AAC9C,kBAAQ,IAAI,OAAO,IAAI,KAAK,EAAE,YAAY,YAAY,CAAC,KAAK,EAAE,UAAU,MAAM,EAAE,UAAU,GAAG;AAC7F,cAAI,EAAE,QAAS,SAAQ,IAAI,SAAS,EAAE,OAAO,EAAE;AAAA,QACjD;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,UAAQ,KAAK,SAAS,IAAI,IAAI,CAAC;AACjC,CAAC;AAEH,QACG,QAAQ,iBAAiB,EACzB,YAAY,sCAAsC,EAClD,OAAO,CAAC,iBAAyB;AAChC,MAAI;AACF,UAAM,IAAI,aAAa,YAAY;AACnC,YAAQ,IAAI;AAAA,uBAAqB,EAAE,KAAK,KAAK,EAAE,OAAO,EAAE;AACxD,YAAQ,IAAI,oBAAoB,EAAE,cAAc,CAAC,EAAE;AACnD,QAAI,EAAE,YAAa,SAAQ,IAAI,oBAAoB,EAAE,WAAW,EAAE;AAClE,QAAI,EAAE,OAAQ,SAAQ,IAAI,oBAAoB,EAAE,MAAM,EAAE;AACxD,QAAI,EAAE,KAAK,OAAQ,SAAQ,IAAI,oBAAoB,EAAE,KAAK,KAAK,IAAI,CAAC,EAAE;AACtE,YAAQ,IAAI;AAAA,WAAc;AAC1B,YAAQ,IAAI,sBAAsB,EAAE,KAAK,MAAM,EAAE;AACjD,YAAQ,IAAI,sBAAsB,EAAE,SAAS,MAAM,EAAE;AACrD,YAAQ,IAAI,sBAAsB,EAAE,IAAI,MAAM,EAAE;AAChD,YAAQ,IAAI,sBAAsB,EAAE,SAAS,MAAM,EAAE;AACrD,YAAQ,IAAI,sBAAsB,EAAE,QAAQ,MAAM,EAAE;AACpD,YAAQ,IAAI,sBAAsB,EAAE,OAAO,MAAM,EAAE;AACnD,YAAQ,IAAI;AAAA,uBAA0B,EAAE,aAAa,OAAO,EAAE;AAAA,EAChE,SAAS,GAAG;AACV,YAAQ,MAAM,UAAK,aAAa,QAAQ,EAAE,UAAU,CAAC,EAAE;AACvD,YAAQ,KAAK,CAAC;AAAA,EAChB;AACF,CAAC;AAEH,QAAQ,MAAM;","names":[]}

package/dist/index.d.mts

@@ -0,0 +1,259 @@
+import { z } from 'zod';
+
+/** Zod schemas for the AgentContract specification. */
+
+declare const Clause: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+    text: z.ZodString;
+    judge: z.ZodDefault<z.ZodEnum<{
+        deterministic: "deterministic";
+        llm: "llm";
+    }>>;
+    description: z.ZodDefault<z.ZodString>;
+}, z.core.$strip>]>;
+type Clause = z.infer<typeof Clause>;
+declare const Assertion: z.ZodObject<{
+    name: z.ZodString;
+    type: z.ZodEnum<{
+        llm: "llm";
+        pattern: "pattern";
+        schema: "schema";
+        cost: "cost";
+        latency: "latency";
+        custom: "custom";
+    }>;
+    description: z.ZodDefault<z.ZodString>;
+    must_not_match: z.ZodOptional<z.ZodString>;
+    must_match: z.ZodOptional<z.ZodString>;
+    schema: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    prompt: z.ZodOptional<z.ZodString>;
+    pass_when: z.ZodOptional<z.ZodString>;
+    model: z.ZodOptional<z.ZodString>;
+    max_usd: z.ZodOptional<z.ZodNumber>;
+    max_ms: z.ZodOptional<z.ZodNumber>;
+    plugin: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+type Assertion = z.infer<typeof Assertion>;
+declare const Limits: z.ZodDefault<z.ZodObject<{
+    max_tokens: z.ZodOptional<z.ZodNumber>;
+    max_input_tokens: z.ZodOptional<z.ZodNumber>;
+    max_latency_ms: z.ZodOptional<z.ZodNumber>;
+    max_cost_usd: z.ZodOptional<z.ZodNumber>;
+    max_tool_calls: z.ZodOptional<z.ZodNumber>;
+    max_steps: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>>;
+type Limits = z.infer<typeof Limits>;
+declare const OnViolation: z.ZodDefault<z.ZodObject<{
+    default: z.ZodDefault<z.ZodEnum<{
+        warn: "warn";
+        block: "block";
+        rollback: "rollback";
+        halt_and_alert: "halt_and_alert";
+    }>>;
+}, z.core.$catchall<z.ZodString>>>;
+type OnViolation = z.infer<typeof OnViolation>;
+declare const Contract: z.ZodObject<{
+    agent: z.ZodString;
+    'spec-version': z.ZodString;
+    version: z.ZodString;
+    description: z.ZodDefault<z.ZodString>;
+    author: z.ZodDefault<z.ZodString>;
+    created: z.ZodDefault<z.ZodString>;
+    tags: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    extends: z.ZodOptional<z.ZodString>;
+    must: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        text: z.ZodString;
+        judge: z.ZodDefault<z.ZodEnum<{
+            deterministic: "deterministic";
+            llm: "llm";
+        }>>;
+        description: z.ZodDefault<z.ZodString>;
+    }, z.core.$strip>]>>>;
+    must_not: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        text: z.ZodString;
+        judge: z.ZodDefault<z.ZodEnum<{
+            deterministic: "deterministic";
+            llm: "llm";
+        }>>;
+        description: z.ZodDefault<z.ZodString>;
+    }, z.core.$strip>]>>>;
+    can: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    requires: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        text: z.ZodString;
+        judge: z.ZodDefault<z.ZodEnum<{
+            deterministic: "deterministic";
+            llm: "llm";
+        }>>;
+        on_fail: z.ZodDefault<z.ZodEnum<{
+            warn: "warn";
+            block: "block";
+        }>>;
+        description: z.ZodDefault<z.ZodString>;
+    }, z.core.$strip>]>>>;
+    ensures: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        text: z.ZodString;
+        judge: z.ZodDefault<z.ZodEnum<{
+            deterministic: "deterministic";
+            llm: "llm";
+        }>>;
+        description: z.ZodDefault<z.ZodString>;
+    }, z.core.$strip>]>>>;
+    invariant: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        text: z.ZodString;
+        judge: z.ZodDefault<z.ZodEnum<{
+            deterministic: "deterministic";
+            llm: "llm";
+        }>>;
+        description: z.ZodDefault<z.ZodString>;
+    }, z.core.$strip>]>>>;
+    assert: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodEnum<{
+            llm: "llm";
+            pattern: "pattern";
+            schema: "schema";
+            cost: "cost";
+            latency: "latency";
+            custom: "custom";
+        }>;
+        description: z.ZodDefault<z.ZodString>;
+        must_not_match: z.ZodOptional<z.ZodString>;
+        must_match: z.ZodOptional<z.ZodString>;
+        schema: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        prompt: z.ZodOptional<z.ZodString>;
+        pass_when: z.ZodOptional<z.ZodString>;
+        model: z.ZodOptional<z.ZodString>;
+        max_usd: z.ZodOptional<z.ZodNumber>;
+        max_ms: z.ZodOptional<z.ZodNumber>;
+        plugin: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>>;
+    limits: z.ZodDefault<z.ZodObject<{
+        max_tokens: z.ZodOptional<z.ZodNumber>;
+        max_input_tokens: z.ZodOptional<z.ZodNumber>;
+        max_latency_ms: z.ZodOptional<z.ZodNumber>;
+        max_cost_usd: z.ZodOptional<z.ZodNumber>;
+        max_tool_calls: z.ZodOptional<z.ZodNumber>;
+        max_steps: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    on_violation: z.ZodDefault<z.ZodObject<{
+        default: z.ZodDefault<z.ZodEnum<{
+            warn: "warn";
+            block: "block";
+            rollback: "rollback";
+            halt_and_alert: "halt_and_alert";
+        }>>;
+    }, z.core.$catchall<z.ZodString>>>;
+}, z.core.$strip>;
+type Contract = z.infer<typeof Contract>;
+
+/** Contract loading and validation. */
+
+declare function loadContract(filePath: string): Contract;
+
+/** enforce() — wraps any agent function with contract validation. */
+
+interface EnforceOptions {
+    audit?: boolean;
+    auditPath?: string;
+    costFn?: (result: unknown) => number;
+}
+type AgentFn<T extends string | Promise<string>> = (input: string) => T;
+declare function enforce<T extends string | Promise<string>>(contract: Contract, fn: AgentFn<T>, options?: EnforceOptions): AgentFn<Promise<string>>;
+
+/** Base validator types. */
+interface RunContext {
+    input: string;
+    output: string;
+    durationMs: number;
+    costUsd: number;
+    toolCalls: unknown[];
+    steps: number;
+    metadata: Record<string, unknown>;
+}
+declare function makeContext(partial: Partial<RunContext> & {
+    input: string;
+    output: string;
+}): RunContext;
+interface ValidationResult {
+    passed: boolean;
+    clauseName: string;
+    clauseText: string;
+    clauseType: string;
+    judge: 'deterministic' | 'llm';
+    details: string;
+}
+interface Validator {
+    validate(context: RunContext): ValidationResult | Promise<ValidationResult>;
+}
+
+/** Contract validation runner — orchestrates all validators per spec §6.1. */
+
+interface ViolationRecord {
+    clauseType: string;
+    clauseName: string;
+    clauseText: string;
+    severity: string;
+    actionTaken: string;
+    judge: string;
+    details: string;
+}
+interface RunResult {
+    passed: boolean;
+    runId: string;
+    agent: string;
+    contractVersion: string;
+    violations: ViolationRecord[];
+    context: RunContext;
+    outcome: 'pass' | 'violation';
+}
+declare class ContractRunner {
+    private contract;
+    constructor(contract: Contract);
+    run(context: RunContext, runId?: string): Promise<RunResult>;
+    private _checkLimits;
+    private _runAssertion;
+    private _evaluateClause;
+}
+
+/** Audit trail — tamper-evident JSONL entries for every run. */
+
+declare class AuditWriter {
+    private logPath;
+    constructor(logPath?: string);
+    write(result: RunResult, contractPath?: string): Record<string, unknown>;
+    private _buildEntry;
+}
+
+/** AgentContract exceptions. */
+declare class ContractError extends Error {
+    constructor(message: string);
+}
+declare class ContractLoadError extends ContractError {
+    constructor(message: string);
+}
+declare class ContractPreconditionError extends ContractError {
+    clause: string;
+    details: string;
+    constructor(clause: string, details?: string);
+}
+declare class ContractViolation extends ContractError {
+    violations: Array<{
+        clause_type: string;
+        clause_text: string;
+        action_taken: string;
+    }>;
+    constructor(violations: Array<{
+        clause_type: string;
+        clause_text: string;
+        action_taken: string;
+    }>);
+}
+
+/**
+ * @agentcontract/core — Behavioral contracts for AI agents.
+ * TypeScript reference implementation of the AgentContract specification.
+ * https://github.com/agentcontract/spec
+ */
+declare const VERSION = "0.1.0";
+declare const SPEC_VERSION = "0.1.0";
+
+export { Assertion, AuditWriter, Clause, Contract, ContractError, ContractLoadError, ContractPreconditionError, ContractRunner, ContractViolation, type EnforceOptions, Limits, OnViolation, type RunContext, type RunResult, SPEC_VERSION, VERSION, type ValidationResult, type Validator, type ViolationRecord, enforce, loadContract, makeContext };