@agentcontract/core 0.1.0

package/dist/chunk-UHNX2RBZ.mjs

@@ -0,0 +1,526 @@
+// src/loader.ts
+import { readFileSync } from "fs";
+import { extname } from "path";
+import yaml from "js-yaml";
+
+// src/models.ts
+import { z } from "zod";
+var JudgeType = z.enum(["deterministic", "llm"]).default("deterministic");
+var ViolationAction = z.enum(["warn", "block", "rollback", "halt_and_alert"]).default("block");
+var AssertionType = z.enum(["pattern", "schema", "llm", "cost", "latency", "custom"]);
+var ClauseObject = z.object({
+  text: z.string().min(1),
+  judge: JudgeType,
+  description: z.string().default("")
+});
+var Clause = z.union([z.string().min(1), ClauseObject]);
+var PreconditionClause = z.union([
+  z.string().min(1),
+  z.object({
+    text: z.string().min(1),
+    judge: JudgeType,
+    on_fail: z.enum(["block", "warn"]).default("block"),
+    description: z.string().default("")
+  })
+]);
+var Assertion = z.object({
+  name: z.string().regex(/^[a-z][a-z0-9_]*$/),
+  type: AssertionType,
+  description: z.string().default(""),
+  // pattern
+  must_not_match: z.string().optional(),
+  must_match: z.string().optional(),
+  // schema
+  schema: z.record(z.string(), z.unknown()).optional(),
+  // llm
+  prompt: z.string().optional(),
+  pass_when: z.string().optional(),
+  model: z.string().optional(),
+  // cost
+  max_usd: z.number().nonnegative().optional(),
+  // latency
+  max_ms: z.number().int().positive().optional(),
+  // custom
+  plugin: z.string().optional()
+}).passthrough();
+var Limits = z.object({
+  max_tokens: z.number().int().positive().optional(),
+  max_input_tokens: z.number().int().positive().optional(),
+  max_latency_ms: z.number().int().positive().optional(),
+  max_cost_usd: z.number().nonnegative().optional(),
+  max_tool_calls: z.number().int().nonnegative().optional(),
+  max_steps: z.number().int().positive().optional()
+}).default({});
+var OnViolation = z.object({
+  default: ViolationAction
+}).catchall(z.string()).default({ default: "block" });
+var Contract = z.object({
+  agent: z.string().min(1),
+  "spec-version": z.string(),
+  version: z.string(),
+  description: z.string().default(""),
+  author: z.string().default(""),
+  created: z.string().default(""),
+  tags: z.array(z.string()).default([]),
+  extends: z.string().optional(),
+  must: z.array(Clause).default([]),
+  must_not: z.array(Clause).default([]),
+  can: z.array(z.string()).default([]),
+  requires: z.array(PreconditionClause).default([]),
+  ensures: z.array(Clause).default([]),
+  invariant: z.array(Clause).default([]),
+  assert: z.array(Assertion).default([]),
+  limits: Limits,
+  on_violation: OnViolation
+});
+function getClauseText(clause) {
+  return typeof clause === "string" ? clause : clause.text;
+}
+function getClauseJudge(clause) {
+  return typeof clause === "string" ? "deterministic" : clause.judge;
+}
+function getViolationAction(onViolation, name) {
+  return onViolation[name] ?? onViolation.default;
+}
+
+// src/exceptions.ts
+var ContractError = class extends Error {
+  constructor(message) {
+    super(message);
+    this.name = "ContractError";
+  }
+};
+var ContractLoadError = class extends ContractError {
+  constructor(message) {
+    super(message);
+    this.name = "ContractLoadError";
+  }
+};
+var ContractPreconditionError = class extends ContractError {
+  clause;
+  details;
+  constructor(clause, details = "") {
+    super(`[PRECONDITION FAILED] ${clause}${details ? ": " + details : ""}`);
+    this.name = "ContractPreconditionError";
+    this.clause = clause;
+    this.details = details;
+  }
+};
+var ContractViolation = class extends ContractError {
+  violations;
+  constructor(violations) {
+    const lines = violations.map(
+      (v) => `[${v.action_taken.toUpperCase()}] ${v.clause_type.toUpperCase()}: "${v.clause_text}"`
+    );
+    super("AgentContractViolation:\n" + lines.join("\n"));
+    this.name = "ContractViolation";
+    this.violations = violations;
+  }
+};
+
+// src/loader.ts
+function loadContract(filePath) {
+  const ext = extname(filePath).toLowerCase();
+  if (![".yaml", ".yml", ".json"].includes(ext)) {
+    throw new ContractLoadError(
+      `Unsupported file format: ${ext}. Use .contract.yaml or .contract.json`
+    );
+  }
+  let raw;
+  try {
+    raw = readFileSync(filePath, "utf-8");
+  } catch {
+    throw new ContractLoadError(`Contract file not found: ${filePath}`);
+  }
+  let data;
+  try {
+    data = ext === ".json" ? JSON.parse(raw) : yaml.load(raw);
+  } catch (e) {
+    throw new ContractLoadError(`Failed to parse contract file: ${e}`);
+  }
+  if (typeof data !== "object" || data === null || Array.isArray(data)) {
+    throw new ContractLoadError("Contract file must be a YAML/JSON object at the root level.");
+  }
+  const result = Contract.safeParse(data);
+  if (!result.success) {
+    const issues = result.error.issues.map((i) => `  ${i.path.join(".")}: ${i.message}`).join("\n");
+    throw new ContractLoadError(`Contract schema validation failed:
+${issues}`);
+  }
+  return result.data;
+}
+
+// src/runner.ts
+import { randomUUID } from "crypto";
+
+// src/validators/pattern.ts
+var PatternValidator = class {
+  constructor(name, mustNotMatch, mustMatch, description = "") {
+    this.name = name;
+    this.mustNotMatch = mustNotMatch;
+    this.mustMatch = mustMatch;
+    this.description = description;
+  }
+  validate(context) {
+    const output = context.output;
+    if (this.mustNotMatch) {
+      const re = new RegExp(this.mustNotMatch);
+      const match = re.exec(output);
+      if (match) {
+        return {
+          passed: false,
+          clauseName: this.name,
+          clauseText: this.description || `must_not_match: ${this.mustNotMatch}`,
+          clauseType: "assert",
+          judge: "deterministic",
+          details: `Forbidden pattern found: '${match[0].slice(0, 50)}'`
+        };
+      }
+    }
+    if (this.mustMatch) {
+      const re = new RegExp(this.mustMatch);
+      if (!re.test(output)) {
+        return {
+          passed: false,
+          clauseName: this.name,
+          clauseText: this.description || `must_match: ${this.mustMatch}`,
+          clauseType: "assert",
+          judge: "deterministic",
+          details: "Required pattern not found in output."
+        };
+      }
+    }
+    return {
+      passed: true,
+      clauseName: this.name,
+      clauseText: this.description || this.name,
+      clauseType: "assert",
+      judge: "deterministic",
+      details: ""
+    };
+  }
+};
+
+// src/validators/cost.ts
+var CostValidator = class {
+  constructor(name, maxUsd, description = "") {
+    this.name = name;
+    this.maxUsd = maxUsd;
+    this.description = description;
+  }
+  validate(context) {
+    const passed = context.costUsd <= this.maxUsd;
+    return {
+      passed,
+      clauseName: this.name,
+      clauseText: this.description || `cost must not exceed $${this.maxUsd.toFixed(4)} USD`,
+      clauseType: "assert",
+      judge: "deterministic",
+      details: passed ? "" : `Run cost $${context.costUsd.toFixed(4)} exceeded limit $${this.maxUsd.toFixed(4)}`
+    };
+  }
+};
+
+// src/validators/latency.ts
+var LatencyValidator = class {
+  constructor(name, maxMs, description = "") {
+    this.name = name;
+    this.maxMs = maxMs;
+    this.description = description;
+  }
+  validate(context) {
+    const passed = context.durationMs <= this.maxMs;
+    return {
+      passed,
+      clauseName: this.name,
+      clauseText: this.description || `latency must not exceed ${this.maxMs}ms`,
+      clauseType: "assert",
+      judge: "deterministic",
+      details: passed ? "" : `Run took ${Math.round(context.durationMs)}ms, exceeded limit of ${this.maxMs}ms`
+    };
+  }
+};
+
+// src/validators/llm.ts
+var DEFAULT_JUDGE_MODEL = "claude-haiku-4-5-20251001";
+var JUDGE_SYSTEM_PROMPT = "You are an impartial compliance judge evaluating an AI agent's behavior against a specific contract clause. Evaluate objectively based only on the evidence provided. Your response must be a single word: YES or NO, followed optionally by one sentence of reasoning.";
+var LLMValidator = class {
+  constructor(name, clauseText, clauseType, prompt, passWhen = "NO", model = DEFAULT_JUDGE_MODEL, description = "") {
+    this.name = name;
+    this.clauseText = clauseText;
+    this.clauseType = clauseType;
+    this.prompt = prompt;
+    this.passWhen = passWhen;
+    this.model = model;
+    this.description = description;
+  }
+  async validate(context) {
+    let Anthropic;
+    try {
+      const mod = await import("@anthropic-ai/sdk");
+      Anthropic = mod.default;
+    } catch {
+      return {
+        passed: false,
+        clauseName: this.name,
+        clauseText: this.clauseText,
+        clauseType: this.clauseType,
+        judge: "llm",
+        details: "@anthropic-ai/sdk not installed. Run: npm install @anthropic-ai/sdk"
+      };
+    }
+    const client = new Anthropic();
+    const userPrompt = this.prompt ? `${this.prompt}
+
+--- AGENT INPUT ---
+${context.input}
+
+--- AGENT OUTPUT ---
+${context.output}` : `Contract clause: "${this.clauseText}"
+
+--- AGENT INPUT ---
+${context.input}
+
+--- AGENT OUTPUT ---
+${context.output}
+
+Does the agent's output satisfy the contract clause? Answer YES if satisfied, NO if violated.`;
+    try {
+      const response = await client.messages.create({
+        model: this.model,
+        max_tokens: 64,
+        system: JUDGE_SYSTEM_PROMPT,
+        messages: [{ role: "user", content: userPrompt }]
+      });
+      const raw = response.content[0].type === "text" ? response.content[0].text.trim() : "";
+      const firstWord = raw.split(/\s+/)[0]?.toUpperCase().replace(/[.,;:]$/, "") ?? "";
+      const passed = firstWord === this.passWhen.toUpperCase();
+      const reasoning = raw.slice(firstWord.length).trim();
+      return {
+        passed,
+        clauseName: this.name,
+        clauseText: this.clauseText,
+        clauseType: this.clauseType,
+        judge: "llm",
+        details: reasoning
+      };
+    } catch (e) {
+      return {
+        passed: false,
+        clauseName: this.name,
+        clauseText: this.clauseText,
+        clauseType: this.clauseType,
+        judge: "llm",
+        details: `Judge model error: ${e}`
+      };
+    }
+  }
+};
+
+// src/runner.ts
+var ContractRunner = class {
+  constructor(contract) {
+    this.contract = contract;
+  }
+  async run(context, runId) {
+    const rid = runId ?? randomUUID();
+    const violations = [];
+    const c = this.contract;
+    const ov = c.on_violation;
+    violations.push(...this._checkLimits(context));
+    for (const assertion of c.assert) {
+      const result = await this._runAssertion(assertion, context);
+      if (!result.passed) {
+        const action = getViolationAction(ov, assertion.name);
+        violations.push({
+          clauseType: "assert",
+          clauseName: assertion.name,
+          clauseText: result.clauseText,
+          severity: action,
+          actionTaken: action,
+          judge: result.judge,
+          details: result.details
+        });
+      }
+    }
+    for (const clause of c.must) {
+      const text = getClauseText(clause);
+      const judge = getClauseJudge(clause);
+      const result = await this._evaluateClause(text, "must", judge, context);
+      if (!result.passed) {
+        const action = getViolationAction(ov, `must:${text.slice(0, 30)}`);
+        violations.push({ clauseType: "must", clauseName: `must:${text.slice(0, 30)}`, clauseText: text, severity: action, actionTaken: action, judge, details: result.details });
+      }
+    }
+    for (const clause of c.must_not) {
+      const text = getClauseText(clause);
+      const judge = getClauseJudge(clause);
+      const result = await this._evaluateClause(text, "must_not", judge, context);
+      if (!result.passed) {
+        const action = getViolationAction(ov, `must_not:${text.slice(0, 30)}`);
+        violations.push({ clauseType: "must_not", clauseName: `must_not:${text.slice(0, 30)}`, clauseText: text, severity: action, actionTaken: action, judge, details: result.details });
+      }
+    }
+    for (const clause of c.ensures) {
+      const text = getClauseText(clause);
+      const judge = getClauseJudge(clause);
+      const result = await this._evaluateClause(text, "ensures", judge, context);
+      if (!result.passed) {
+        const action = getViolationAction(ov, `ensures:${text.slice(0, 30)}`);
+        violations.push({ clauseType: "ensures", clauseName: `ensures:${text.slice(0, 30)}`, clauseText: text, severity: action, actionTaken: action, judge, details: result.details });
+      }
+    }
+    const blocking = ["block", "rollback", "halt_and_alert"];
+    const passed = !violations.some((v) => blocking.includes(v.actionTaken));
+    return { passed, runId: rid, agent: c.agent, contractVersion: c.version, violations, context, outcome: passed ? "pass" : "violation" };
+  }
+  _checkLimits(context) {
+    const records = [];
+    const limits = this.contract.limits;
+    const ov = this.contract.on_violation;
+    if (limits.max_latency_ms != null) {
+      const r = new LatencyValidator("max_latency_ms", limits.max_latency_ms).validate(context);
+      if (!r.passed) {
+        const action = getViolationAction(ov, "max_latency_ms");
+        records.push({ clauseType: "limits", clauseName: "max_latency_ms", clauseText: r.clauseText, severity: action, actionTaken: action, judge: "deterministic", details: r.details });
+      }
+    }
+    if (limits.max_cost_usd != null) {
+      const r = new CostValidator("max_cost_usd", limits.max_cost_usd).validate(context);
+      if (!r.passed) {
+        const action = getViolationAction(ov, "max_cost_usd");
+        records.push({ clauseType: "limits", clauseName: "max_cost_usd", clauseText: r.clauseText, severity: action, actionTaken: action, judge: "deterministic", details: r.details });
+      }
+    }
+    if (limits.max_tokens != null && context.output) {
+      const estimated = Math.floor(context.output.length / 4);
+      if (estimated > limits.max_tokens) {
+        const action = getViolationAction(ov, "max_tokens");
+        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}` });
+      }
+    }
+    return records;
+  }
+  async _runAssertion(assertion, context) {
+    switch (assertion.type) {
+      case "pattern":
+        return new PatternValidator(assertion.name, assertion.must_not_match, assertion.must_match, assertion.description).validate(context);
+      case "cost":
+        return new CostValidator(assertion.name, assertion.max_usd ?? 0, assertion.description).validate(context);
+      case "latency":
+        return new LatencyValidator(assertion.name, assertion.max_ms ?? 0, assertion.description).validate(context);
+      case "llm":
+        return new LLMValidator(assertion.name, assertion.description || assertion.name, "assert", assertion.prompt, assertion.pass_when ?? "NO", assertion.model).validate(context);
+      default:
+        return { passed: false, clauseName: assertion.name, clauseText: assertion.description || assertion.name, clauseType: "assert", judge: "deterministic", details: `Unsupported assertion type: ${assertion.type}` };
+    }
+  }
+  async _evaluateClause(text, clauseType, judge, context) {
+    if (judge === "llm") {
+      return new LLMValidator(`${clauseType}:${text.slice(0, 30)}`, text, clauseType).validate(context);
+    }
+    return { passed: true, clauseName: `${clauseType}:${text.slice(0, 30)}`, clauseText: text, clauseType, judge: "deterministic", details: "" };
+  }
+};
+
+// src/validators/base.ts
+function makeContext(partial) {
+  return {
+    durationMs: 0,
+    costUsd: 0,
+    toolCalls: [],
+    steps: 0,
+    metadata: {},
+    ...partial
+  };
+}
+
+// src/enforce.ts
+function enforce(contract, fn, options = {}) {
+  const { audit = true, auditPath = "agentcontract-audit.jsonl", costFn } = options;
+  const runner = new ContractRunner(contract);
+  return async (input) => {
+    await checkPreconditions(contract, input);
+    const start = performance.now();
+    const result = await Promise.resolve(fn(input));
+    const durationMs = performance.now() - start;
+    const output = String(result ?? "");
+    const costUsd = costFn ? costFn(result) : 0;
+    const ctx = makeContext({ input, output, durationMs, costUsd });
+    const runResult = await runner.run(ctx);
+    if (audit) {
+      const { AuditWriter: AuditWriter2 } = await import("./audit-DNON4W2Q.mjs");
+      new AuditWriter2(auditPath).write(runResult);
+    }
+    const warnViolations = runResult.violations.filter((v) => v.actionTaken === "warn");
+    for (const v of warnViolations) {
+      process.stderr.write(
+        `[AgentContract WARN] ${v.clauseType.toUpperCase()}: "${v.clauseText}" \u2014 ${v.details}
+`
+      );
+    }
+    const blocking = runResult.violations.filter(
+      (v) => ["block", "rollback", "halt_and_alert"].includes(v.actionTaken)
+    );
+    if (blocking.length > 0) {
+      throw new ContractViolation(
+        blocking.map((v) => ({
+          clause_type: v.clauseType,
+          clause_text: v.clauseText,
+          action_taken: v.actionTaken
+        }))
+      );
+    }
+    return output;
+  };
+}
+async function checkPreconditions(contract, input) {
+  for (const precondition of contract.requires) {
+    let text;
+    let judge;
+    let onFail;
+    if (typeof precondition === "string") {
+      text = precondition;
+      judge = "deterministic";
+      onFail = "block";
+    } else {
+      text = precondition.text;
+      judge = precondition.judge;
+      onFail = precondition.on_fail;
+    }
+    let passed = true;
+    let details = "";
+    if (judge === "deterministic") {
+      if (/non-empty|not empty/i.test(text)) {
+        passed = input.trim().length > 0;
+        details = passed ? "" : "Input is empty.";
+      }
+    } else if (judge === "llm") {
+      const ctx = makeContext({ input, output: "" });
+      const result = await new LLMValidator(`requires:${text.slice(0, 30)}`, text, "requires").validate(ctx);
+      passed = result.passed;
+      details = result.details;
+    }
+    if (!passed && onFail === "block") {
+      throw new ContractPreconditionError(text, details);
+    }
+  }
+}
+
+// src/index.ts
+var VERSION = "0.1.0";
+var SPEC_VERSION = "0.1.0";
+
+export {
+  ContractError,
+  ContractLoadError,
+  ContractPreconditionError,
+  ContractViolation,
+  loadContract,
+  ContractRunner,
+  makeContext,
+  enforce,
+  VERSION,
+  SPEC_VERSION
+};
+//# sourceMappingURL=chunk-UHNX2RBZ.mjs.map

package/dist/chunk-UHNX2RBZ.mjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../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/enforce.ts","../src/index.ts"],"sourcesContent":["/** 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","/** 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","/**\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"],"mappings":";AAEA,SAAS,oBAAoB;AAC7B,SAAS,eAAe;AACxB,OAAO,UAAU;;;ACFjB,SAAS,SAAS;AAEX,IAAM,YAAY,EAAE,KAAK,CAAC,iBAAiB,KAAK,CAAC,EAAE,QAAQ,eAAe;AAG1E,IAAM,kBAAkB,EAAE,KAAK,CAAC,QAAQ,SAAS,YAAY,gBAAgB,CAAC,EAAE,QAAQ,OAAO;AAG/F,IAAM,gBAAgB,EAAE,KAAK,CAAC,WAAW,UAAU,OAAO,QAAQ,WAAW,QAAQ,CAAC;AAItF,IAAM,eAAe,EAAE,OAAO;AAAA,EACnC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;AAAA,EACtB,OAAO;AAAA,EACP,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE;AACpC,CAAC;AAGM,IAAM,SAAS,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,YAAY,CAAC;AAGxD,IAAM,qBAAqB,EAAE,MAAM;AAAA,EACxC,EAAE,OAAO,EAAE,IAAI,CAAC;AAAA,EAChB,EAAE,OAAO;AAAA,IACP,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;AAAA,IACtB,OAAO;AAAA,IACP,SAAS,EAAE,KAAK,CAAC,SAAS,MAAM,CAAC,EAAE,QAAQ,OAAO;AAAA,IAClD,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE;AAAA,EACpC,CAAC;AACH,CAAC;AAGM,IAAM,YAAY,EAAE,OAAO;AAAA,EAChC,MAAM,EAAE,OAAO,EAAE,MAAM,mBAAmB;AAAA,EAC1C,MAAM;AAAA,EACN,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE;AAAA;AAAA,EAElC,gBAAgB,EAAE,OAAO,EAAE,SAAS;AAAA,EACpC,YAAY,EAAE,OAAO,EAAE,SAAS;AAAA;AAAA,EAEhC,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAG,EAAE,QAAQ,CAAC,EAAE,SAAS;AAAA;AAAA,EAEnD,QAAQ,EAAE,OAAO,EAAE,SAAS;AAAA,EAC5B,WAAW,EAAE,OAAO,EAAE,SAAS;AAAA,EAC/B,OAAO,EAAE,OAAO,EAAE,SAAS;AAAA;AAAA,EAE3B,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS;AAAA;AAAA,EAE3C,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAAA;AAAA,EAE7C,QAAQ,EAAE,OAAO,EAAE,SAAS;AAC9B,CAAC,EAAE,YAAY;AAGR,IAAM,SAAS,EAAE,OAAO;AAAA,EAC7B,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAAA,EACjD,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAAA,EACvD,gBAAgB,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAAA,EACrD,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS;AAAA,EAChD,gBAAgB,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS;AAAA,EACxD,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;AAClD,CAAC,EAAE,QAAQ,CAAC,CAAC;AAGN,IAAM,cAAc,EAAE,OAAO;AAAA,EAClC,SAAS;AACX,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,QAAQ,CAAC;AAG7C,IAAM,WAAW,EAAE,OAAO;AAAA,EAC/B,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC;AAAA,EACvB,gBAAgB,EAAE,OAAO;AAAA,EACzB,SAAS,EAAE,OAAO;AAAA,EAClB,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE;AAAA,EAClC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE;AAAA,EAC7B,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE;AAAA,EAC9B,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AAAA,EACpC,SAAS,EAAE,OAAO,EAAE,SAAS;AAAA,EAC7B,MAAM,EAAE,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,EAChC,UAAU,EAAE,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,EACpC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AAAA,EACnC,UAAU,EAAE,MAAM,kBAAkB,EAAE,QAAQ,CAAC,CAAC;AAAA,EAChD,SAAS,EAAE,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,EACnC,WAAW,EAAE,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,EACrC,QAAQ,EAAE,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;;;ACtGO,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,MAAM,QAAQ,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,UAAM,aAAa,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,KAAK,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;;;AGzCA,SAAS,kBAAkB;;;ACEpB,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;;;ACjDO,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;;;ACpBO,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;;;ACpBA,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,SAAS,WAAW;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;;;AKlJO,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;;;ACLO,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,aAAAA,aAAY,IAAI,MAAM,OAAO,sBAAY;AACjD,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;;;ACnGO,IAAM,UAAU;AAChB,IAAM,eAAe;","names":["AuditWriter"]}

package/dist/cli.d.mts

@@ -0,0 +1 @@
+#!/usr/bin/env node

package/dist/cli.d.ts

@@ -0,0 +1 @@
+#!/usr/bin/env node