@lucern/graph-primitives 0.3.0-alpha.1 → 0.3.0-alpha.11

package/dist/evaluators/lintCheckerEvaluator.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/evaluators/shared.ts","../../src/evaluators/lintCheckerEvaluator.ts"],"names":[],"mappings":";AAmBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AA8BO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MAAM,OAAA,CAAQ,KAAA,EAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,SAAS,EAAE,CAAA;AACtD;AAEO,SAAS,4BAA4B,KAAA,EAAoC;AAC9E,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAkBO,SAAS,kBAAA,CACd,UACA,OAAA,EACS;AACT,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;AAEO,SAAS,kBAAA,CACd,UACA,QAAA,EACS;AACT,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAS,IAAA,CAAK,CAAC,YAAY,kBAAA,CAAmB,QAAA,EAAU,OAAO,CAAC,CAAA;AACzE;;;AClHA,SAAS,YAAY,SAAA,EAA0D;AAC7E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,MAAA,CAAO,YAAY,CAAA,CAC7C,GAAA,CAAI,QAAQ,CAAA,CACZ,MAAA,CAAO,CAAC,OAAA,KAA+B,OAAA,CAAQ,OAAO,CAAC,CAAA;AAC1D,EAAA,IAAI,YAAA,CAAa,WAAW,CAAA,EAAG;AAC7B,IAAA,MAAM,IAAI,MAAM,kDAAkD,CAAA;AAAA,EACpE;AAEA,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,IAAI,WAAW,OAAA,EAAS;AACtB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,oBAAA,EAAuB,OAAO,MAAA,CAAO,MAAM,CAAC,CAAA,CAAE,CAAA;AAAA,EAChE;AAEA,EAAA,OAAO;AAAA,IACL,YAAA;AAAA,IACA;AAAA,GACF;AACF;AAEA,SAAS,iBAAiB,UAAA,EAA6C;AACrE,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,MAAA,GACJ,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA,IAAK,SAAS,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,UAAU,CAAA;AAC7E,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,OAAO,QAAQ,MAAA,CAAO,WAAW,CAAA,CAC9B,GAAA,CAAI,CAAC,KAAA,KAAU;AACd,IAAA,MAAM,UAAA,GAAa,SAAS,KAAK,CAAA;AACjC,IAAA,IAAI,CAAC,UAAA,EAAY;AACf,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA;AAC7C,IAAA,MAAM,UAAA,GAAa,QAAA,CAAS,QAAA,EAAU,IAAI,CAAA;AAC1C,IAAA,MAAM,QAAA,GACJ,QAAA,CAAS,UAAA,CAAW,QAAQ,KAC5B,QAAA,CAAS,UAAA,CAAW,IAAI,CAAA,IACxB,SAAS,QAAA,EAAU,QAAQ,CAAA,IAC3B,QAAA,CAAS,YAAY,IAAI,CAAA;AAC3B,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA,IAAK,OAAA;AAClD,IAAA,MAAM,OAAA,GACJ,SAAS,UAAA,CAAW,OAAO,KAC3B,QAAA,CAAS,UAAA,CAAW,WAAW,CAAA,IAC/B,YAAA;AACF,IAAA,OAAO;AAAA,MACL,QAAA,EAAU,QAAA,GAAW,iBAAA,CAAkB,QAAQ,CAAA,GAAI,IAAA;AAAA,MACnD,OAAA;AAAA,MACA;AAAA,KACF;AAAA,EACF,CAAC,CAAA,CACA,MAAA;AAAA,IACC,CAAC,UAAA,KAAmD,OAAA,CAAQ,UAAU;AAAA,GACxE;AACJ;AAEA,SAAS,qBAAA,CACP,UACA,UAAA,EACwB;AACxB,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,OAAO,gBAAA,CAAiB,UAAU,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,UAAA,KAC1C,kBAAA,CAAmB,UAAA,CAAW,QAAA,EAAU,OAAO,YAAY;AAAA,GAC7D;AACF;AAEO,IAAM,oBAAA,GAAsD;AAAA,EACjE,IAAA,EAAM,cAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,IAAI,aAAa,CAAA,EAAG;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,OAAO,qBAAA,CAAsB,QAAA,EAAU,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAAA,EAC9D,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AAEA,IAAA,MAAM,QAAA,GAAW,2BAAA,CAA4B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,MAAM,kBAAA,GAAqB,qBAAA,CAAsB,IAAA,CAAK,QAAA,EAAU,KAAK,UAAU,CAAA;AAE/E,IAAA,IAAI,mBAAmB,MAAA,KAAW,CAAA,IAAK,QAAA,KAAa,CAAA,IAAK,aAAa,IAAA,EAAM;AAC1E,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,SAAA,EACE;AAAA,OACJ;AAAA,IACF;AAEA,IAAA,MAAM,qBACJ,QAAA,KAAa,CAAA,IAAM,QAAA,KAAa,IAAA,IAAQ,mBAAmB,MAAA,KAAW,CAAA;AAExE,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,SAAA,EAAW,kBAAA,GACP,CAAA,gDAAA,EAAmD,MAAA,CAAO,YAAA,CAAa,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA,GACjF,CAAA,eAAA,EAAkB,kBAAA,CAAmB,MAAM,uBAAuB,kBAAA,CAC/D,GAAA;AAAA,QAAI,CAAC,UAAA,KACJ,UAAA,CAAW,QAAA,GACP,CAAA,EAAG,UAAA,CAAW,QAAQ,CAAA,EAAA,EAAK,UAAA,CAAW,QAAQ,CAAA,CAAA,CAAA,GAC9C,UAAA,CAAW;AAAA,OACjB,CACC,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,MACjB,IAAA,EAAM;AAAA,QACJ,QAAA;AAAA,QACA,cAAc,MAAA,CAAO,YAAA;AAAA,QACrB,QAAQ,MAAA,CAAO,MAAA;AAAA,QACf;AAAA;AACF,KACF;AAAA,EACF;AACF","file":"lintCheckerEvaluator.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(value: unknown): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch {\n    return null;\n  }\n}\n\nexport function patternMatchesPath(\n  filePath: string,\n  pattern: string\n): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[]\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Lint-based engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asNumber,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  normalizeFilePath,\n  normalizeToolResultEnvelope,\n  somePatternMatches,\n} from \"./shared\";\nimport type { EngineeringEpistemicEvaluator } from \"./testRunnerEvaluator\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ntype ParsedLintDiagnostic = {\n  filePath: string | null;\n  message: string;\n  severity: string;\n};\n\ntype LintCheckerConfig = {\n  filePatterns: string[];\n  linter: \"biome\";\n};\n\nfunction parseConfig(condition: EpistemicContractCondition): LintCheckerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"lint_checker requires evaluatorConfig with { filePatterns: string[], linter: \\\"biome\\\" }.\"\n    );\n  }\n\n  const filePatterns = asArray(record.filePatterns)\n    .map(asString)\n    .filter((pattern): pattern is string => Boolean(pattern));\n  if (filePatterns.length === 0) {\n    throw new Error(\"lint_checker requires at least one file pattern.\");\n  }\n\n  const linter = asString(record.linter);\n  if (linter !== \"biome\") {\n    throw new Error(`Unsupported linter: ${String(record.linter)}`);\n  }\n\n  return {\n    filePatterns,\n    linter,\n  };\n}\n\nfunction parseDiagnostics(resultData: unknown): ParsedLintDiagnostic[] {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const record =\n    asRecord(envelope.report) ?? asRecord(envelope.data) ?? asRecord(resultData);\n  if (!record) {\n    return [];\n  }\n\n  return asArray(record.diagnostics)\n    .map((entry) => {\n      const diagnostic = asRecord(entry);\n      if (!diagnostic) {\n        return null;\n      }\n      const location = asRecord(diagnostic.location);\n      const pathRecord = asRecord(location?.path);\n      const filePath =\n        asString(diagnostic.filePath) ??\n        asString(diagnostic.file) ??\n        asString(location?.filePath) ??\n        asString(pathRecord?.file);\n      const severity = asString(diagnostic.severity) ?? \"error\";\n      const message =\n        asString(diagnostic.message) ??\n        asString(diagnostic.description) ??\n        \"Lint issue\";\n      return {\n        filePath: filePath ? normalizeFilePath(filePath) : null,\n        message,\n        severity,\n      };\n    })\n    .filter(\n      (diagnostic): diagnostic is ParsedLintDiagnostic => Boolean(diagnostic)\n    );\n}\n\nfunction getMatchedDiagnostics(\n  contract: AnyContract,\n  resultData: unknown\n): ParsedLintDiagnostic[] {\n  const config = parseConfig(contract.condition);\n  return parseDiagnostics(resultData).filter((diagnostic) =>\n    somePatternMatches(diagnostic.filePath, config.filePatterns)\n  );\n}\n\nexport const lintCheckerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"lint_checker\",\n  matches({ contract, resultData }) {\n    const envelope = normalizeToolResultEnvelope(resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    if (exitCode === 0) {\n      return true;\n    }\n    return getMatchedDiagnostics(contract, resultData).length > 0;\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"lint_checker requires Biome lint resultData.\",\n      };\n    }\n\n    const envelope = normalizeToolResultEnvelope(args.resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    const matchedDiagnostics = getMatchedDiagnostics(args.contract, args.resultData);\n\n    if (matchedDiagnostics.length === 0 && exitCode !== 0 && exitCode !== null) {\n      return {\n        result: \"inconclusive\",\n        rationale:\n          \"Biome reported issues, but none matched the configured file patterns.\",\n      };\n    }\n\n    const conditionSatisfied =\n      exitCode === 0 || (exitCode !== null && matchedDiagnostics.length === 0);\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `Biome reported no matching lint diagnostics for ${config.filePatterns.join(\", \")}.`\n        : `Biome reported ${matchedDiagnostics.length} matching issue(s): ${matchedDiagnostics\n            .map((diagnostic) =>\n              diagnostic.filePath\n                ? `${diagnostic.filePath} (${diagnostic.severity})`\n                : diagnostic.message\n            )\n            .join(\", \")}.`,\n      data: {\n        exitCode,\n        filePatterns: config.filePatterns,\n        linter: config.linter,\n        matchedDiagnostics,\n      },\n    };\n  },\n};\n"]}
+{"version":3,"sources":["../../src/evaluators/shared.ts","../../src/evaluators/lintCheckerEvaluator.ts"],"names":[],"mappings":";AAoBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AA8BO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MAAM,OAAA,CAAQ,KAAA,EAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,SAAS,EAAE,CAAA;AACtD;AAEO,SAAS,4BACd,KAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAyBO,SAAS,kBAAA,CAAmB,UAAkB,OAAA,EAA0B;AAC7E,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;AAEO,SAAS,kBAAA,CACd,UACA,QAAA,EACS;AACT,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAS,IAAA,CAAK,CAAC,YAAY,kBAAA,CAAmB,QAAA,EAAU,OAAO,CAAC,CAAA;AACzE;;;ACzHA,SAAS,YAAY,SAAA,EAA0D;AAC7E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,MAAA,CAAO,YAAY,CAAA,CAC7C,GAAA,CAAI,QAAQ,CAAA,CACZ,MAAA,CAAO,CAAC,OAAA,KAA+B,OAAA,CAAQ,OAAO,CAAC,CAAA;AAC1D,EAAA,IAAI,YAAA,CAAa,WAAW,CAAA,EAAG;AAC7B,IAAA,MAAM,IAAI,MAAM,kDAAkD,CAAA;AAAA,EACpE;AAEA,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,IAAI,WAAW,OAAA,EAAS;AACtB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,oBAAA,EAAuB,OAAO,MAAA,CAAO,MAAM,CAAC,CAAA,CAAE,CAAA;AAAA,EAChE;AAEA,EAAA,OAAO;AAAA,IACL,YAAA;AAAA,IACA;AAAA,GACF;AACF;AAEA,SAAS,iBAAiB,UAAA,EAA6C;AACrE,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,MAAA,GACJ,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA,IAAK,SAAS,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,UAAU,CAAA;AAC7E,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,OAAO,QAAQ,MAAA,CAAO,WAAW,CAAA,CAC9B,GAAA,CAAI,CAAC,KAAA,KAAU;AACd,IAAA,MAAM,UAAA,GAAa,SAAS,KAAK,CAAA;AACjC,IAAA,IAAI,CAAC,UAAA,EAAY;AACf,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA;AAC7C,IAAA,MAAM,UAAA,GAAa,QAAA,CAAS,QAAA,EAAU,IAAI,CAAA;AAC1C,IAAA,MAAM,QAAA,GACJ,QAAA,CAAS,UAAA,CAAW,QAAQ,KAC5B,QAAA,CAAS,UAAA,CAAW,IAAI,CAAA,IACxB,SAAS,QAAA,EAAU,QAAQ,CAAA,IAC3B,QAAA,CAAS,YAAY,IAAI,CAAA;AAC3B,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA,IAAK,OAAA;AAClD,IAAA,MAAM,OAAA,GACJ,SAAS,UAAA,CAAW,OAAO,KAC3B,QAAA,CAAS,UAAA,CAAW,WAAW,CAAA,IAC/B,YAAA;AACF,IAAA,OAAO;AAAA,MACL,QAAA,EAAU,QAAA,GAAW,iBAAA,CAAkB,QAAQ,CAAA,GAAI,IAAA;AAAA,MACnD,OAAA;AAAA,MACA;AAAA,KACF;AAAA,EACF,CAAC,CAAA,CACA,MAAA;AAAA,IACC,CAAC,UAAA,KAAmD,OAAA,CAAQ,UAAU;AAAA,GACxE;AACJ;AAEA,SAAS,qBAAA,CACP,UACA,UAAA,EACwB;AACxB,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,OAAO,gBAAA,CAAiB,UAAU,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,UAAA,KAC1C,kBAAA,CAAmB,UAAA,CAAW,QAAA,EAAU,OAAO,YAAY;AAAA,GAC7D;AACF;AAEO,IAAM,oBAAA,GAAsD;AAAA,EACjE,IAAA,EAAM,cAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,IAAI,aAAa,CAAA,EAAG;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,OAAO,qBAAA,CAAsB,QAAA,EAAU,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAAA,EAC9D,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AAEA,IAAA,MAAM,QAAA,GAAW,2BAAA,CAA4B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,MAAM,kBAAA,GAAqB,qBAAA,CAAsB,IAAA,CAAK,QAAA,EAAU,KAAK,UAAU,CAAA;AAE/E,IAAA,IAAI,mBAAmB,MAAA,KAAW,CAAA,IAAK,QAAA,KAAa,CAAA,IAAK,aAAa,IAAA,EAAM;AAC1E,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,SAAA,EACE;AAAA,OACJ;AAAA,IACF;AAEA,IAAA,MAAM,qBACJ,QAAA,KAAa,CAAA,IAAM,QAAA,KAAa,IAAA,IAAQ,mBAAmB,MAAA,KAAW,CAAA;AAExE,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,SAAA,EAAW,kBAAA,GACP,CAAA,gDAAA,EAAmD,MAAA,CAAO,YAAA,CAAa,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA,GACjF,CAAA,eAAA,EAAkB,kBAAA,CAAmB,MAAM,uBAAuB,kBAAA,CAC/D,GAAA;AAAA,QAAI,CAAC,UAAA,KACJ,UAAA,CAAW,QAAA,GACP,CAAA,EAAG,UAAA,CAAW,QAAQ,CAAA,EAAA,EAAK,UAAA,CAAW,QAAQ,CAAA,CAAA,CAAA,GAC9C,UAAA,CAAW;AAAA,OACjB,CACC,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,MACjB,IAAA,EAAM;AAAA,QACJ,QAAA;AAAA,QACA,cAAc,MAAA,CAAO,YAAA;AAAA,QACrB,QAAQ,MAAA,CAAO,MAAA;AAAA,QACf;AAAA;AACF,KACF;AAAA,EACF;AACF","file":"lintCheckerEvaluator.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\nimport { debugGraphPrimitiveFallback } from \"../debug\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean,\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(\n  value: unknown,\n): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[evaluators/shared] Failed to parse JSON candidate\",\n      {\n        error,\n        valueType: typeof value,\n      },\n    );\n    return null;\n  }\n}\n\nexport function patternMatchesPath(filePath: string, pattern: string): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[],\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Lint-based engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asNumber,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  normalizeFilePath,\n  normalizeToolResultEnvelope,\n  somePatternMatches,\n} from \"./shared\";\nimport type { EngineeringEpistemicEvaluator } from \"./testRunnerEvaluator\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ntype ParsedLintDiagnostic = {\n  filePath: string | null;\n  message: string;\n  severity: string;\n};\n\ntype LintCheckerConfig = {\n  filePatterns: string[];\n  linter: \"biome\";\n};\n\nfunction parseConfig(condition: EpistemicContractCondition): LintCheckerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"lint_checker requires evaluatorConfig with { filePatterns: string[], linter: \\\"biome\\\" }.\"\n    );\n  }\n\n  const filePatterns = asArray(record.filePatterns)\n    .map(asString)\n    .filter((pattern): pattern is string => Boolean(pattern));\n  if (filePatterns.length === 0) {\n    throw new Error(\"lint_checker requires at least one file pattern.\");\n  }\n\n  const linter = asString(record.linter);\n  if (linter !== \"biome\") {\n    throw new Error(`Unsupported linter: ${String(record.linter)}`);\n  }\n\n  return {\n    filePatterns,\n    linter,\n  };\n}\n\nfunction parseDiagnostics(resultData: unknown): ParsedLintDiagnostic[] {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const record =\n    asRecord(envelope.report) ?? asRecord(envelope.data) ?? asRecord(resultData);\n  if (!record) {\n    return [];\n  }\n\n  return asArray(record.diagnostics)\n    .map((entry) => {\n      const diagnostic = asRecord(entry);\n      if (!diagnostic) {\n        return null;\n      }\n      const location = asRecord(diagnostic.location);\n      const pathRecord = asRecord(location?.path);\n      const filePath =\n        asString(diagnostic.filePath) ??\n        asString(diagnostic.file) ??\n        asString(location?.filePath) ??\n        asString(pathRecord?.file);\n      const severity = asString(diagnostic.severity) ?? \"error\";\n      const message =\n        asString(diagnostic.message) ??\n        asString(diagnostic.description) ??\n        \"Lint issue\";\n      return {\n        filePath: filePath ? normalizeFilePath(filePath) : null,\n        message,\n        severity,\n      };\n    })\n    .filter(\n      (diagnostic): diagnostic is ParsedLintDiagnostic => Boolean(diagnostic)\n    );\n}\n\nfunction getMatchedDiagnostics(\n  contract: AnyContract,\n  resultData: unknown\n): ParsedLintDiagnostic[] {\n  const config = parseConfig(contract.condition);\n  return parseDiagnostics(resultData).filter((diagnostic) =>\n    somePatternMatches(diagnostic.filePath, config.filePatterns)\n  );\n}\n\nexport const lintCheckerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"lint_checker\",\n  matches({ contract, resultData }) {\n    const envelope = normalizeToolResultEnvelope(resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    if (exitCode === 0) {\n      return true;\n    }\n    return getMatchedDiagnostics(contract, resultData).length > 0;\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"lint_checker requires Biome lint resultData.\",\n      };\n    }\n\n    const envelope = normalizeToolResultEnvelope(args.resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    const matchedDiagnostics = getMatchedDiagnostics(args.contract, args.resultData);\n\n    if (matchedDiagnostics.length === 0 && exitCode !== 0 && exitCode !== null) {\n      return {\n        result: \"inconclusive\",\n        rationale:\n          \"Biome reported issues, but none matched the configured file patterns.\",\n      };\n    }\n\n    const conditionSatisfied =\n      exitCode === 0 || (exitCode !== null && matchedDiagnostics.length === 0);\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `Biome reported no matching lint diagnostics for ${config.filePatterns.join(\", \")}.`\n        : `Biome reported ${matchedDiagnostics.length} matching issue(s): ${matchedDiagnostics\n            .map((diagnostic) =>\n              diagnostic.filePath\n                ? `${diagnostic.filePath} (${diagnostic.severity})`\n                : diagnostic.message\n            )\n            .join(\", \")}.`,\n      data: {\n        exitCode,\n        filePatterns: config.filePatterns,\n        linter: config.linter,\n        matchedDiagnostics,\n      },\n    };\n  },\n};\n"]}

package/dist/evaluators/sentryCheckerEvaluator.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/evaluators/shared.ts","../../src/evaluators/sentryCheckerEvaluator.ts"],"names":[],"mappings":";AAmBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAkCO,SAAS,4BAA4B,KAAA,EAAoC;AAC9E,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;;;AClFA,SAAS,YAAY,SAAA,EAA4D;AAC/E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,UAAA,GAAa,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACzC,EAAA,MAAM,UAAA,GAAa,QAAA,CAAS,MAAA,CAAO,UAAU,CAAA;AAC7C,EAAA,IAAI,CAAC,UAAA,IAAc,UAAA,KAAe,IAAA,EAAM;AACtC,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,OAAO;AAAA,IACL,MAAA,EAAQ,UAAA;AAAA,IACR;AAAA,GACF;AACF;AAEA,SAAS,mBAAmB,UAAA,EAI1B;AACA,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA,IAAK,SAAS,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,UAAU,CAAA;AAC1F,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,aAAA,EAAe,IAAA;AAAA,MACf,UAAA,EAAY,IAAA;AAAA,MACZ,UAAA,EAAY;AAAA,KACd;AAAA,EACF;AAEA,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAA;AAC1C,EAAA,MAAM,aAAA,GACJ,SAAS,MAAA,CAAO,aAAa,MAC5B,SAAA,CAAU,MAAA,GAAS,CAAA,GAAI,SAAA,CAAU,MAAA,GAAS,IAAA,CAAA;AAE7C,EAAA,OAAO;AAAA,IACL,aAAA;AAAA,IACA,UAAA,EAAY,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AAAA,IAClC,UAAA,EAAY,QAAA,CAAS,MAAA,CAAO,UAAU;AAAA,GACxC;AACF;AAEA,SAAS,aAAA,CAAc,UAAuB,UAAA,EAA8B;AAC1E,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,MAAM,OAAA,GAAU,mBAAmB,UAAU,CAAA;AAC7C,EAAA,OAAO,CAAC,OAAA,CAAQ,UAAA,IAAc,OAAA,CAAQ,eAAe,MAAA,CAAO,MAAA;AAC9D;AAEO,IAAM,sBAAA,GAAwD;AAAA,EACnE,IAAA,EAAM,gBAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,OAAO,aAAA,CAAc,UAAU,UAAU,CAAA;AAAA,EAC3C,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AAEA,IAAA,MAAM,OAAA,GAAU,kBAAA,CAAmB,IAAA,CAAK,UAAU,CAAA;AAClD,IAAA,IAAI,OAAA,CAAQ,kBAAkB,IAAA,EAAM;AAClC,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AACA,IAAA,IAAI,CAAC,aAAA,CAAc,IAAA,CAAK,QAAA,EAAU,IAAA,CAAK,UAAU,CAAA,EAAG;AAClD,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,WAAW,CAAA,uBAAA,EAA0B,OAAA,CAAQ,UAAU,CAAA,MAAA,EAAS,OAAO,MAAM,CAAA,CAAA;AAAA,OAC/E;AAAA,IACF;AAEA,IAAA,MAAM,kBAAA,GAAqB,QAAQ,aAAA,KAAkB,CAAA;AAErD,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,WAAW,kBAAA,GACP,CAAA,mCAAA,EAAsC,MAAA,CAAO,MAAM,SAAS,MAAA,CAAO,UAAU,CAAA,QAAA,CAAA,GAC7E,CAAA,gBAAA,EAAmB,QAAQ,aAAa,CAAA,iBAAA,EAAoB,OAAO,MAAM,CAAA,MAAA,EAAS,OAAO,UAAU,CAAA,QAAA,CAAA;AAAA,MACvG,IAAA,EAAM;AAAA,QACJ,eAAe,OAAA,CAAQ,aAAA;AAAA,QACvB,QAAQ,MAAA,CAAO,MAAA;AAAA,QACf,YAAY,MAAA,CAAO;AAAA;AACrB,KACF;AAAA,EACF;AACF","file":"sentryCheckerEvaluator.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(value: unknown): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch {\n    return null;\n  }\n}\n\nexport function patternMatchesPath(\n  filePath: string,\n  pattern: string\n): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[]\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Sentry-backed engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asNumber,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  normalizeToolResultEnvelope,\n} from \"./shared\";\nimport type { EngineeringEpistemicEvaluator } from \"./testRunnerEvaluator\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ntype SentryCheckerConfig = {\n  module: string;\n  windowDays: number;\n};\n\nfunction parseConfig(condition: EpistemicContractCondition): SentryCheckerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"sentry_checker requires evaluatorConfig with { module, windowDays }.\"\n    );\n  }\n\n  const moduleName = asString(record.module);\n  const windowDays = asNumber(record.windowDays);\n  if (!moduleName || windowDays === null) {\n    throw new Error(\n      \"sentry_checker requires a module name and numeric windowDays.\"\n    );\n  }\n\n  return {\n    module: moduleName,\n    windowDays,\n  };\n}\n\nfunction parseIncidentCount(resultData: unknown): {\n  incidentCount: number | null;\n  moduleName: string | null;\n  windowDays: number | null;\n} {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const record = asRecord(envelope.report) ?? asRecord(envelope.data) ?? asRecord(resultData);\n  if (!record) {\n    return {\n      incidentCount: null,\n      moduleName: null,\n      windowDays: null,\n    };\n  }\n\n  const incidents = asArray(record.incidents);\n  const incidentCount =\n    asNumber(record.incidentCount) ??\n    (incidents.length > 0 ? incidents.length : null);\n\n  return {\n    incidentCount,\n    moduleName: asString(record.module),\n    windowDays: asNumber(record.windowDays),\n  };\n}\n\nfunction matchesModule(contract: AnyContract, resultData: unknown): boolean {\n  const config = parseConfig(contract.condition);\n  const payload = parseIncidentCount(resultData);\n  return !payload.moduleName || payload.moduleName === config.module;\n}\n\nexport const sentryCheckerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"sentry_checker\",\n  matches({ contract, resultData }) {\n    return matchesModule(contract, resultData);\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"sentry_checker requires incident count resultData.\",\n      };\n    }\n\n    const payload = parseIncidentCount(args.resultData);\n    if (payload.incidentCount === null) {\n      return {\n        result: \"error\",\n        rationale: \"sentry_checker could not determine an incident count.\",\n      };\n    }\n    if (!matchesModule(args.contract, args.resultData)) {\n      return {\n        result: \"inconclusive\",\n        rationale: `Sentry result targeted ${payload.moduleName}, not ${config.module}.`,\n      };\n    }\n\n    const conditionSatisfied = payload.incidentCount === 0;\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `Sentry reported zero incidents for ${config.module} over ${config.windowDays} day(s).`\n        : `Sentry reported ${payload.incidentCount} incident(s) for ${config.module} over ${config.windowDays} day(s).`,\n      data: {\n        incidentCount: payload.incidentCount,\n        module: config.module,\n        windowDays: config.windowDays,\n      },\n    };\n  },\n};\n"]}
+{"version":3,"sources":["../../src/evaluators/shared.ts","../../src/evaluators/sentryCheckerEvaluator.ts"],"names":[],"mappings":";AAoBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAkCO,SAAS,4BACd,KAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;;;ACrFA,SAAS,YAAY,SAAA,EAA4D;AAC/E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,UAAA,GAAa,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACzC,EAAA,MAAM,UAAA,GAAa,QAAA,CAAS,MAAA,CAAO,UAAU,CAAA;AAC7C,EAAA,IAAI,CAAC,UAAA,IAAc,UAAA,KAAe,IAAA,EAAM;AACtC,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,OAAO;AAAA,IACL,MAAA,EAAQ,UAAA;AAAA,IACR;AAAA,GACF;AACF;AAEA,SAAS,mBAAmB,UAAA,EAI1B;AACA,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA,IAAK,SAAS,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,UAAU,CAAA;AAC1F,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,aAAA,EAAe,IAAA;AAAA,MACf,UAAA,EAAY,IAAA;AAAA,MACZ,UAAA,EAAY;AAAA,KACd;AAAA,EACF;AAEA,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAA;AAC1C,EAAA,MAAM,aAAA,GACJ,SAAS,MAAA,CAAO,aAAa,MAC5B,SAAA,CAAU,MAAA,GAAS,CAAA,GAAI,SAAA,CAAU,MAAA,GAAS,IAAA,CAAA;AAE7C,EAAA,OAAO;AAAA,IACL,aAAA;AAAA,IACA,UAAA,EAAY,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AAAA,IAClC,UAAA,EAAY,QAAA,CAAS,MAAA,CAAO,UAAU;AAAA,GACxC;AACF;AAEA,SAAS,aAAA,CAAc,UAAuB,UAAA,EAA8B;AAC1E,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,MAAM,OAAA,GAAU,mBAAmB,UAAU,CAAA;AAC7C,EAAA,OAAO,CAAC,OAAA,CAAQ,UAAA,IAAc,OAAA,CAAQ,eAAe,MAAA,CAAO,MAAA;AAC9D;AAEO,IAAM,sBAAA,GAAwD;AAAA,EACnE,IAAA,EAAM,gBAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,OAAO,aAAA,CAAc,UAAU,UAAU,CAAA;AAAA,EAC3C,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AAEA,IAAA,MAAM,OAAA,GAAU,kBAAA,CAAmB,IAAA,CAAK,UAAU,CAAA;AAClD,IAAA,IAAI,OAAA,CAAQ,kBAAkB,IAAA,EAAM;AAClC,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AACA,IAAA,IAAI,CAAC,aAAA,CAAc,IAAA,CAAK,QAAA,EAAU,IAAA,CAAK,UAAU,CAAA,EAAG;AAClD,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,WAAW,CAAA,uBAAA,EAA0B,OAAA,CAAQ,UAAU,CAAA,MAAA,EAAS,OAAO,MAAM,CAAA,CAAA;AAAA,OAC/E;AAAA,IACF;AAEA,IAAA,MAAM,kBAAA,GAAqB,QAAQ,aAAA,KAAkB,CAAA;AAErD,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,WAAW,kBAAA,GACP,CAAA,mCAAA,EAAsC,MAAA,CAAO,MAAM,SAAS,MAAA,CAAO,UAAU,CAAA,QAAA,CAAA,GAC7E,CAAA,gBAAA,EAAmB,QAAQ,aAAa,CAAA,iBAAA,EAAoB,OAAO,MAAM,CAAA,MAAA,EAAS,OAAO,UAAU,CAAA,QAAA,CAAA;AAAA,MACvG,IAAA,EAAM;AAAA,QACJ,eAAe,OAAA,CAAQ,aAAA;AAAA,QACvB,QAAQ,MAAA,CAAO,MAAA;AAAA,QACf,YAAY,MAAA,CAAO;AAAA;AACrB,KACF;AAAA,EACF;AACF","file":"sentryCheckerEvaluator.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\nimport { debugGraphPrimitiveFallback } from \"../debug\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean,\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(\n  value: unknown,\n): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[evaluators/shared] Failed to parse JSON candidate\",\n      {\n        error,\n        valueType: typeof value,\n      },\n    );\n    return null;\n  }\n}\n\nexport function patternMatchesPath(filePath: string, pattern: string): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[],\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Sentry-backed engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asNumber,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  normalizeToolResultEnvelope,\n} from \"./shared\";\nimport type { EngineeringEpistemicEvaluator } from \"./testRunnerEvaluator\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ntype SentryCheckerConfig = {\n  module: string;\n  windowDays: number;\n};\n\nfunction parseConfig(condition: EpistemicContractCondition): SentryCheckerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"sentry_checker requires evaluatorConfig with { module, windowDays }.\"\n    );\n  }\n\n  const moduleName = asString(record.module);\n  const windowDays = asNumber(record.windowDays);\n  if (!moduleName || windowDays === null) {\n    throw new Error(\n      \"sentry_checker requires a module name and numeric windowDays.\"\n    );\n  }\n\n  return {\n    module: moduleName,\n    windowDays,\n  };\n}\n\nfunction parseIncidentCount(resultData: unknown): {\n  incidentCount: number | null;\n  moduleName: string | null;\n  windowDays: number | null;\n} {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const record = asRecord(envelope.report) ?? asRecord(envelope.data) ?? asRecord(resultData);\n  if (!record) {\n    return {\n      incidentCount: null,\n      moduleName: null,\n      windowDays: null,\n    };\n  }\n\n  const incidents = asArray(record.incidents);\n  const incidentCount =\n    asNumber(record.incidentCount) ??\n    (incidents.length > 0 ? incidents.length : null);\n\n  return {\n    incidentCount,\n    moduleName: asString(record.module),\n    windowDays: asNumber(record.windowDays),\n  };\n}\n\nfunction matchesModule(contract: AnyContract, resultData: unknown): boolean {\n  const config = parseConfig(contract.condition);\n  const payload = parseIncidentCount(resultData);\n  return !payload.moduleName || payload.moduleName === config.module;\n}\n\nexport const sentryCheckerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"sentry_checker\",\n  matches({ contract, resultData }) {\n    return matchesModule(contract, resultData);\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"sentry_checker requires incident count resultData.\",\n      };\n    }\n\n    const payload = parseIncidentCount(args.resultData);\n    if (payload.incidentCount === null) {\n      return {\n        result: \"error\",\n        rationale: \"sentry_checker could not determine an incident count.\",\n      };\n    }\n    if (!matchesModule(args.contract, args.resultData)) {\n      return {\n        result: \"inconclusive\",\n        rationale: `Sentry result targeted ${payload.moduleName}, not ${config.module}.`,\n      };\n    }\n\n    const conditionSatisfied = payload.incidentCount === 0;\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `Sentry reported zero incidents for ${config.module} over ${config.windowDays} day(s).`\n        : `Sentry reported ${payload.incidentCount} incident(s) for ${config.module} over ${config.windowDays} day(s).`,\n      data: {\n        incidentCount: payload.incidentCount,\n        module: config.module,\n        windowDays: config.windowDays,\n      },\n    };\n  },\n};\n"]}

package/dist/evaluators/shared.js

@@ -1,3 +1,15 @@
+// src/debug.ts
+function isGraphPrimitiveDebugEnabled() {
+  const env = globalThis.process?.env;
+  return env?.LUCERN_COMPAT_FALLBACK_DEBUG === "1" || env?.LUCERN_GRAPH_DEBUG === "1";
+}
+function debugGraphPrimitiveFallback(message, context) {
+  if (!isGraphPrimitiveDebugEnabled()) {
+    return;
+  }
+  console.debug(message, context ?? {});
+}
+
 // src/evaluators/shared.ts
 function asArray(value) {
   return Array.isArray(value) ? value : [];
@@ -69,7 +81,14 @@ function parseJsonCandidate(value) {
   }
   try {
     return JSON.parse(value);
-  } catch {
+  } catch (error) {
+    debugGraphPrimitiveFallback(
+      "[evaluators/shared] Failed to parse JSON candidate",
+      {
+        error,
+        valueType: typeof value
+      }
+    );
     return null;
   }
 }

package/dist/evaluators/shared.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/evaluators/shared.ts"],"names":[],"mappings":";AAmBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAEO,SAAS,sBAAsB,KAAA,EAA0B;AAC9D,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,SAAA,GAAY,SAAS,KAAK,CAAA;AAChC,IAAA,OAAO,SAAA,GAAY,CAAC,SAAS,CAAA,GAAI,EAAC;AAAA,EACpC;AAEA,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,IAAA;AAAA,IACP,MAAA,CAAO,OAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT,CACG,IAAI,QAAQ,CAAA,CACZ,OAAO,CAAC,SAAA,KAAmC,OAAA,CAAQ,SAAS,CAAC,CAAA;AAEhE,EAAA,KAAA,MAAW,aAAa,CAAC,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAS,CAAA,EAAG;AAC/D,IAAA,MAAM,MAAA,GAAS,OAAO,SAAS,CAAA;AAC/B,IAAA,IAAI,WAAW,KAAA,EAAO;AACpB,MAAA,UAAA,CAAW,IAAA,CAAK,GAAG,qBAAA,CAAsB,MAAM,CAAC,CAAA;AAAA,IAClD;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,IAAA,CAAK,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AACvC;AAEO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MAAM,OAAA,CAAQ,KAAA,EAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,SAAS,EAAE,CAAA;AACtD;AAEO,SAAS,4BAA4B,KAAA,EAAoC;AAC9E,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAEO,SAAS,mBAAgC,KAAA,EAA0B;AACxE,EAAA,IAAI,KAAA,KAAU,IAAA,IAAQ,KAAA,KAAU,MAAA,EAAW;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,MAAM,KAAK,CAAA;AAAA,EACzB,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,IAAA;AAAA,EACT;AACF;AAEO,SAAS,kBAAA,CACd,UACA,OAAA,EACS;AACT,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;AAEO,SAAS,kBAAA,CACd,UACA,QAAA,EACS;AACT,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAS,IAAA,CAAK,CAAC,YAAY,kBAAA,CAAmB,QAAA,EAAU,OAAO,CAAC,CAAA;AACzE","file":"shared.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(value: unknown): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch {\n    return null;\n  }\n}\n\nexport function patternMatchesPath(\n  filePath: string,\n  pattern: string\n): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[]\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n"]}
+{"version":3,"sources":["../../src/debug.ts","../../src/evaluators/shared.ts"],"names":[],"mappings":";AAMA,SAAS,4BAAA,GAAwC;AAC/C,EAAA,MAAM,GAAA,GAAO,WAA8C,OAAA,EAAS,GAAA;AACpE,EAAA,OACE,GAAA,EAAK,4BAAA,KAAiC,GAAA,IACtC,GAAA,EAAK,kBAAA,KAAuB,GAAA;AAEhC;AAsBO,SAAS,2BAAA,CACd,SACA,OAAA,EACM;AACN,EAAA,IAAI,CAAC,8BAA6B,EAAG;AACnC,IAAA;AAAA,EACF;AACA,EAAA,OAAA,CAAQ,KAAA,CAAM,OAAA,EAAS,OAAA,IAAW,EAAE,CAAA;AACtC;;;ACtBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAEO,SAAS,sBAAsB,KAAA,EAA0B;AAC9D,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,SAAA,GAAY,SAAS,KAAK,CAAA;AAChC,IAAA,OAAO,SAAA,GAAY,CAAC,SAAS,CAAA,GAAI,EAAC;AAAA,EACpC;AAEA,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,IAAA;AAAA,IACP,MAAA,CAAO,OAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT,CACG,IAAI,QAAQ,CAAA,CACZ,OAAO,CAAC,SAAA,KAAmC,OAAA,CAAQ,SAAS,CAAC,CAAA;AAEhE,EAAA,KAAA,MAAW,aAAa,CAAC,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAS,CAAA,EAAG;AAC/D,IAAA,MAAM,MAAA,GAAS,OAAO,SAAS,CAAA;AAC/B,IAAA,IAAI,WAAW,KAAA,EAAO;AACpB,MAAA,UAAA,CAAW,IAAA,CAAK,GAAG,qBAAA,CAAsB,MAAM,CAAC,CAAA;AAAA,IAClD;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,IAAA,CAAK,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AACvC;AAEO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MAAM,OAAA,CAAQ,KAAA,EAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,SAAS,EAAE,CAAA;AACtD;AAEO,SAAS,4BACd,KAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAEO,SAAS,mBAAgC,KAAA,EAA0B;AACxE,EAAA,IAAI,KAAA,KAAU,IAAA,IAAQ,KAAA,KAAU,MAAA,EAAW;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,MAAM,KAAK,CAAA;AAAA,EACzB,SAAS,KAAA,EAAO;AACd,IAAA,2BAAA;AAAA,MACE,oDAAA;AAAA,MACA;AAAA,QACE,KAAA;AAAA,QACA,WAAW,OAAO;AAAA;AACpB,KACF;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACF;AAEO,SAAS,kBAAA,CAAmB,UAAkB,OAAA,EAA0B;AAC7E,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;AAEO,SAAS,kBAAA,CACd,UACA,QAAA,EACS;AACT,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAS,IAAA,CAAK,CAAC,YAAY,kBAAA,CAAmB,QAAA,EAAU,OAAO,CAAC,CAAA;AACzE","file":"shared.js","sourcesContent":["type GraphPrimitiveDebugEnvironment = {\n  process?: {\n    env?: Record<string, string | undefined>;\n  };\n};\n\nfunction isGraphPrimitiveDebugEnabled(): boolean {\n  const env = (globalThis as GraphPrimitiveDebugEnvironment).process?.env;\n  return (\n    env?.LUCERN_COMPAT_FALLBACK_DEBUG === \"1\" ||\n    env?.LUCERN_GRAPH_DEBUG === \"1\"\n  );\n}\n\nexport function formatGraphPrimitiveError(error: unknown): string {\n  if (error instanceof Error) {\n    return `${error.name}: ${error.message}`;\n  }\n  if (typeof error === \"string\") {\n    return error;\n  }\n  if (error === null) {\n    return \"null\";\n  }\n  if (error === undefined) {\n    return \"undefined\";\n  }\n  try {\n    return JSON.stringify(error);\n  } catch {\n    return Object.prototype.toString.call(error);\n  }\n}\n\nexport function debugGraphPrimitiveFallback(\n  message: string,\n  context?: Record<string, unknown>\n): void {\n  if (!isGraphPrimitiveDebugEnabled()) {\n    return;\n  }\n  console.debug(message, context ?? {});\n}\n","/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\nimport { debugGraphPrimitiveFallback } from \"../debug\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean,\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(\n  value: unknown,\n): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[evaluators/shared] Failed to parse JSON candidate\",\n      {\n        error,\n        valueType: typeof value,\n      },\n    );\n    return null;\n  }\n}\n\nexport function patternMatchesPath(filePath: string, pattern: string): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[],\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n"]}

package/dist/evaluators/testRunnerEvaluator.js

@@ -1,3 +1,15 @@
+// src/debug.ts
+function isGraphPrimitiveDebugEnabled() {
+  const env = globalThis.process?.env;
+  return env?.LUCERN_COMPAT_FALLBACK_DEBUG === "1" || env?.LUCERN_GRAPH_DEBUG === "1";
+}
+function debugGraphPrimitiveFallback(message, context) {
+  if (!isGraphPrimitiveDebugEnabled()) {
+    return;
+  }
+  console.debug(message, context ?? {});
+}
+
 // src/evaluators/shared.ts
 function asArray(value) {
   return Array.isArray(value) ? value : [];
@@ -69,7 +81,14 @@ function parseJsonCandidate(value) {
   }
   try {
     return JSON.parse(value);
-  } catch {
+  } catch (error) {
+    debugGraphPrimitiveFallback(
+      "[evaluators/shared] Failed to parse JSON candidate",
+      {
+        error,
+        valueType: typeof value
+      }
+    );
     return null;
   }
 }

package/dist/evaluators/testRunnerEvaluator.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/evaluators/shared.ts","../../src/evaluators/testRunnerEvaluator.ts"],"names":[],"mappings":";AAmBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAEO,SAAS,sBAAsB,KAAA,EAA0B;AAC9D,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,SAAA,GAAY,SAAS,KAAK,CAAA;AAChC,IAAA,OAAO,SAAA,GAAY,CAAC,SAAS,CAAA,GAAI,EAAC;AAAA,EACpC;AAEA,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,IAAA;AAAA,IACP,MAAA,CAAO,OAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT,CACG,IAAI,QAAQ,CAAA,CACZ,OAAO,CAAC,SAAA,KAAmC,OAAA,CAAQ,SAAS,CAAC,CAAA;AAEhE,EAAA,KAAA,MAAW,aAAa,CAAC,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAS,CAAA,EAAG;AAC/D,IAAA,MAAM,MAAA,GAAS,OAAO,SAAS,CAAA;AAC/B,IAAA,IAAI,WAAW,KAAA,EAAO;AACpB,MAAA,UAAA,CAAW,IAAA,CAAK,GAAG,qBAAA,CAAsB,MAAM,CAAC,CAAA;AAAA,IAClD;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,IAAA,CAAK,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AACvC;AAEO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MAAM,OAAA,CAAQ,KAAA,EAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,SAAS,EAAE,CAAA;AACtD;AAEO,SAAS,4BAA4B,KAAA,EAAoC;AAC9E,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAEO,SAAS,mBAAgC,KAAA,EAA0B;AACxE,EAAA,IAAI,KAAA,KAAU,IAAA,IAAQ,KAAA,KAAU,MAAA,EAAW;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,MAAM,KAAK,CAAA;AAAA,EACzB,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,IAAA;AAAA,EACT;AACF;AAEO,SAAS,kBAAA,CACd,UACA,OAAA,EACS;AACT,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;;;ACvGA,SAAS,YAAY,SAAA,EAAyD;AAC5E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,WAAA,GAAc,QAAA,CAAS,MAAA,CAAO,WAAW,CAAA;AAC/C,EAAA,IAAI,CAAC,WAAA,EAAa;AAChB,IAAA,MAAM,IAAI,MAAM,+CAA+C,CAAA;AAAA,EACjE;AAEA,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,IAAI,WAAW,QAAA,EAAU;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,yBAAA,EAA4B,OAAO,MAAA,CAAO,MAAM,CAAC,CAAA,CAAE,CAAA;AAAA,EACrE;AAEA,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA;AAAA,GACF;AACF;AAEA,SAAS,mBAAmB,KAAA,EAA0B;AACpD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,QAAA,GAAW,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA;AACzC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,MAAA,CAAO,KAAK,CAAA;AACnC,EAAA,MAAM,KAAA,GAAQ,YAAY,KAAA,IAAS,cAAA;AACnC,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,MAAM,QAAQ,QAAA,CAAS,QAAA,CAAS,MAAA,CAAO,MAAM,GAAG,KAAK,CAAA;AACrD,EAAA,MAAM,WACJ,MAAA,KAAW,QAAA,IACX,WAAW,MAAA,IACX,KAAA,KAAU,YACV,KAAA,KAAU,MAAA;AAEZ,EAAA,MAAM,QAAA,GAAW,QAAA,GAAW,CAAC,KAAK,IAAI,EAAC;AACvC,EAAA,KAAA,MAAW,SAAA,IAAa,CAAC,kBAAA,EAAoB,OAAA,EAAS,OAAO,CAAA,EAAG;AAC9D,IAAA,KAAA,MAAW,MAAA,IAAU,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAC,CAAA,EAAG;AAC/C,MAAA,QAAA,CAAS,IAAA,CAAK,GAAG,kBAAA,CAAmB,MAAM,CAAC,CAAA;AAAA,IAC7C;AAAA,EACF;AAEA,EAAA,OAAO,QAAA;AACT;AAEA,SAAS,mBAAmB,KAAA,EAA0B;AACpD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,QAAA,GAAW,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA;AACzC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,MAAA,CAAO,KAAK,CAAA;AACnC,EAAA,MAAM,KAAA,GAAQ,YAAY,KAAA,IAAS,cAAA;AACnC,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,MAAM,QAAQ,QAAA,CAAS,QAAA,CAAS,MAAA,CAAO,MAAM,GAAG,KAAK,CAAA;AACrD,EAAA,MAAM,QAAA,GAAW,MAAA,KAAW,QAAA,IAAY,KAAA,KAAU,QAAA;AAElD,EAAA,MAAM,MAAA,GAAS,QAAA,GAAW,CAAC,KAAK,IAAI,EAAC;AACrC,EAAA,KAAA,MAAW,SAAA,IAAa,CAAC,kBAAA,EAAoB,OAAA,EAAS,OAAO,CAAA,EAAG;AAC9D,IAAA,KAAA,MAAW,MAAA,IAAU,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAC,CAAA,EAAG;AAC/C,MAAA,MAAA,CAAO,IAAA,CAAK,GAAG,kBAAA,CAAmB,MAAM,CAAC,CAAA;AAAA,IAC3C;AAAA,EACF;AAEA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,WAAW,KAAA,EAAoC;AACtD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,IAAI,KACpB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,SAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,OAAO,QAAQ,CAAA;AAC1B,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,OAAO;AAAA,IACL,WAAA,EAAa,MAAM,IAAA,CAAK,IAAI,IAAI,kBAAA,CAAmB,MAAM,CAAC,CAAC,CAAA;AAAA,IAC3D,QAAA,EAAU,kBAAkB,QAAQ,CAAA;AAAA,IACpC,WAAA,EAAa,MAAM,IAAA,CAAK,IAAI,IAAI,kBAAA,CAAmB,MAAM,CAAC,CAAC;AAAA,GAC7D;AACF;AAEA,SAAS,kBAAkB,UAAA,EAAoC;AAC7D,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,QAAA,CAAS,MAAA;AAAA,IACT,QAAA,CAAS,IAAA;AAAA,IACT,QAAA,CAAS,MAAA;AAAA,IACT,QAAA,CAAS,MAAA;AAAA,IACT,GAAG,sBAAsB,UAAU;AAAA,GACrC;AAEA,EAAA,KAAA,MAAW,aAAa,UAAA,EAAY;AAClC,IAAA,MAAM,MAAA,GAAS,mBAAmB,SAAS,CAAA;AAC3C,IAAA,MAAM,MAAA,GAAS,SAAS,MAAM,CAAA;AAC9B,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,MAAA,CAAO,WAAW,CAAA,CACtC,GAAA,CAAI,UAAU,CAAA,CACd,MAAA,CAAO,CAAC,KAAA,KAAgC,OAAA,CAAQ,KAAK,CAAC,CAAA;AACzD,IAAA,IAAI,MAAA,CAAO,SAAS,CAAA,EAAG;AACrB,MAAA,OAAO,MAAA;AAAA,IACT;AAEA,IAAA,MAAM,UAAA,GAAa,OAAA,CAAQ,MAAA,CAAO,KAAK,CAAA,CACpC,GAAA,CAAI,UAAU,CAAA,CACd,MAAA,CAAO,CAAC,KAAA,KAAgC,OAAA,CAAQ,KAAK,CAAC,CAAA;AACzD,IAAA,IAAI,UAAA,CAAW,SAAS,CAAA,EAAG;AACzB,MAAA,OAAO,UAAA;AAAA,IACT;AAAA,EACF;AAEA,EAAA,OAAO,EAAC;AACV;AAEA,SAAS,gBAAA,CACP,UACA,UAAA,EACe;AACf,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,OAAO,iBAAA,CAAkB,UAAU,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,KAAA,KAC3C,kBAAA,CAAmB,KAAA,CAAM,QAAA,EAAU,OAAO,WAAW;AAAA,GACvD;AACF;AAMO,IAAM,mBAAA,GAAqD;AAAA,EAChE,IAAA,EAAM,aAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,OAAO,gBAAA,CAAiB,QAAA,EAAU,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAAA,EACzD,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,MAAM,aAAA,GAAgB,gBAAA,CAAiB,IAAA,CAAK,QAAA,EAAU,KAAK,UAAU,CAAA;AACrE,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AACA,IAAA,IAAI,aAAA,CAAc,WAAW,CAAA,EAAG;AAC9B,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,SAAA,EAAW,CAAA,yBAAA,EAA4B,MAAA,CAAO,WAAW,CAAA,CAAA;AAAA,OAC3D;AAAA,IACF;AAEA,IAAA,MAAM,cAAc,aAAA,CAAc,OAAA,CAAQ,CAAC,KAAA,KAAU,MAAM,WAAW,CAAA;AACtE,IAAA,MAAM,cAAc,aAAA,CAAc,OAAA,CAAQ,CAAC,KAAA,KAAU,MAAM,WAAW,CAAA;AACtE,IAAA,MAAM,kBAAA,GAAqB,YAAY,MAAA,KAAW,CAAA;AAElD,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,SAAA,EAAW,qBACP,CAAA,eAAA,EAAkB,aAAA,CAAc,MAAM,CAAA,cAAA,EAAiB,MAAA,CAAO,WAAW,CAAA,MAAA,EAAS,WAAA,CAAY,MAAM,6BACpG,CAAA,eAAA,EAAkB,aAAA,CAAc,MAAM,CAAA,cAAA,EAAiB,MAAA,CAAO,WAAW,CAAA,iBAAA,EAAoB,WAAA,CAAY,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,MACvH,IAAA,EAAM;AAAA,QACJ,QAAQ,MAAA,CAAO,MAAA;AAAA,QACf,aAAa,MAAA,CAAO,WAAA;AAAA,QACpB,cAAc,aAAA,CAAc,GAAA,CAAI,CAAC,KAAA,KAAU,MAAM,QAAQ,CAAA;AAAA,QACzD,WAAA;AAAA,QACA,iBAAiB,WAAA,CAAY;AAAA;AAC/B,KACF;AAAA,EACF;AACF","file":"testRunnerEvaluator.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(value: unknown): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch {\n    return null;\n  }\n}\n\nexport function patternMatchesPath(\n  filePath: string,\n  pattern: string\n): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[]\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Test-runner engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluator,\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  extractTextCandidates,\n  normalizeFilePath,\n  normalizeToolResultEnvelope,\n  parseJsonCandidate,\n  patternMatchesPath,\n} from \"./shared\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ntype ParsedSuite = {\n  failedTests: string[];\n  filePath: string;\n  passedTests: string[];\n};\n\ntype TestRunnerConfig = {\n  runner: \"vitest\";\n  testPattern: string;\n};\n\nfunction parseConfig(condition: EpistemicContractCondition): TestRunnerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"test_runner requires evaluatorConfig with { testPattern, runner: \\\"vitest\\\" }.\"\n    );\n  }\n\n  const testPattern = asString(record.testPattern);\n  if (!testPattern) {\n    throw new Error(\"test_runner requires a non-empty testPattern.\");\n  }\n\n  const runner = asString(record.runner);\n  if (runner !== \"vitest\") {\n    throw new Error(`Unsupported test runner: ${String(record.runner)}`);\n  }\n\n  return {\n    runner,\n    testPattern,\n  };\n}\n\nfunction collectFailedTests(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    return [];\n  }\n\n  const fullName = asString(record.fullName);\n  const title = asString(record.title);\n  const label = fullName ?? title ?? \"unnamed test\";\n  const status = asString(record.status);\n  const state = asString(asRecord(record.result)?.state);\n  const isFailed =\n    status === \"failed\" ||\n    status === \"fail\" ||\n    state === \"failed\" ||\n    state === \"fail\";\n\n  const failures = isFailed ? [label] : [];\n  for (const nestedKey of [\"assertionResults\", \"tests\", \"tasks\"]) {\n    for (const nested of asArray(record[nestedKey])) {\n      failures.push(...collectFailedTests(nested));\n    }\n  }\n\n  return failures;\n}\n\nfunction collectPassedTests(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    return [];\n  }\n\n  const fullName = asString(record.fullName);\n  const title = asString(record.title);\n  const label = fullName ?? title ?? \"unnamed test\";\n  const status = asString(record.status);\n  const state = asString(asRecord(record.result)?.state);\n  const isPassed = status === \"passed\" || state === \"passed\";\n\n  const passed = isPassed ? [label] : [];\n  for (const nestedKey of [\"assertionResults\", \"tests\", \"tasks\"]) {\n    for (const nested of asArray(record[nestedKey])) {\n      passed.push(...collectPassedTests(nested));\n    }\n  }\n\n  return passed;\n}\n\nfunction parseSuite(value: unknown): ParsedSuite | null {\n  const record = asRecord(value);\n  if (!record) {\n    return null;\n  }\n\n  const filePath =\n    asString(record.name) ??\n    asString(record.file) ??\n    asString(record.filePath) ??\n    asString(record.filepath);\n  if (!filePath) {\n    return null;\n  }\n\n  return {\n    failedTests: Array.from(new Set(collectFailedTests(record))),\n    filePath: normalizeFilePath(filePath),\n    passedTests: Array.from(new Set(collectPassedTests(record))),\n  };\n}\n\nfunction parseVitestSuites(resultData: unknown): ParsedSuite[] {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const candidates = [\n    envelope.report,\n    envelope.data,\n    envelope.stdout,\n    envelope.output,\n    ...extractTextCandidates(resultData),\n  ];\n\n  for (const candidate of candidates) {\n    const parsed = parseJsonCandidate(candidate);\n    const report = asRecord(parsed);\n    if (!report) {\n      continue;\n    }\n\n    const suites = asArray(report.testResults)\n      .map(parseSuite)\n      .filter((suite): suite is ParsedSuite => Boolean(suite));\n    if (suites.length > 0) {\n      return suites;\n    }\n\n    const fileSuites = asArray(report.files)\n      .map(parseSuite)\n      .filter((suite): suite is ParsedSuite => Boolean(suite));\n    if (fileSuites.length > 0) {\n      return fileSuites;\n    }\n  }\n\n  return [];\n}\n\nfunction getMatchedSuites(\n  contract: AnyContract,\n  resultData: unknown\n): ParsedSuite[] {\n  const config = parseConfig(contract.condition);\n  return parseVitestSuites(resultData).filter((suite) =>\n    patternMatchesPath(suite.filePath, config.testPattern)\n  );\n}\n\nexport type EngineeringEpistemicEvaluator = EpistemicEvaluator & {\n  matches(args: { contract: AnyContract; resultData: unknown }): boolean;\n};\n\nexport const testRunnerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"test_runner\",\n  matches({ contract, resultData }) {\n    return getMatchedSuites(contract, resultData).length > 0;\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    const matchedSuites = getMatchedSuites(args.contract, args.resultData);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"test_runner requires Vitest JSON resultData.\",\n      };\n    }\n    if (matchedSuites.length === 0) {\n      return {\n        result: \"inconclusive\",\n        rationale: `No Vitest suites matched ${config.testPattern}.`,\n      };\n    }\n\n    const failedTests = matchedSuites.flatMap((suite) => suite.failedTests);\n    const passedTests = matchedSuites.flatMap((suite) => suite.passedTests);\n    const conditionSatisfied = failedTests.length === 0;\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `Vitest matched ${matchedSuites.length} suite(s) for ${config.testPattern}; all ${passedTests.length} test assertions passed.`\n        : `Vitest matched ${matchedSuites.length} suite(s) for ${config.testPattern}; failing tests: ${failedTests.join(\", \")}.`,\n      data: {\n        runner: config.runner,\n        testPattern: config.testPattern,\n        matchedFiles: matchedSuites.map((suite) => suite.filePath),\n        failedTests,\n        passedTestCount: passedTests.length,\n      },\n    };\n  },\n};\n"]}
+{"version":3,"sources":["../../src/debug.ts","../../src/evaluators/shared.ts","../../src/evaluators/testRunnerEvaluator.ts"],"names":[],"mappings":";AAMA,SAAS,4BAAA,GAAwC;AAC/C,EAAA,MAAM,GAAA,GAAO,WAA8C,OAAA,EAAS,GAAA;AACpE,EAAA,OACE,GAAA,EAAK,4BAAA,KAAiC,GAAA,IACtC,GAAA,EAAK,kBAAA,KAAuB,GAAA;AAEhC;AAsBO,SAAS,2BAAA,CACd,SACA,OAAA,EACM;AACN,EAAA,IAAI,CAAC,8BAA6B,EAAG;AACnC,IAAA;AAAA,EACF;AACA,EAAA,OAAA,CAAQ,KAAA,CAAM,OAAA,EAAS,OAAA,IAAW,EAAE,CAAA;AACtC;;;ACtBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAEO,SAAS,sBAAsB,KAAA,EAA0B;AAC9D,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,SAAA,GAAY,SAAS,KAAK,CAAA;AAChC,IAAA,OAAO,SAAA,GAAY,CAAC,SAAS,CAAA,GAAI,EAAC;AAAA,EACpC;AAEA,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,IAAA;AAAA,IACP,MAAA,CAAO,OAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT,CACG,IAAI,QAAQ,CAAA,CACZ,OAAO,CAAC,SAAA,KAAmC,OAAA,CAAQ,SAAS,CAAC,CAAA;AAEhE,EAAA,KAAA,MAAW,aAAa,CAAC,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAS,CAAA,EAAG;AAC/D,IAAA,MAAM,MAAA,GAAS,OAAO,SAAS,CAAA;AAC/B,IAAA,IAAI,WAAW,KAAA,EAAO;AACpB,MAAA,UAAA,CAAW,IAAA,CAAK,GAAG,qBAAA,CAAsB,MAAM,CAAC,CAAA;AAAA,IAClD;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,IAAA,CAAK,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AACvC;AAEO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MAAM,OAAA,CAAQ,KAAA,EAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,SAAS,EAAE,CAAA;AACtD;AAEO,SAAS,4BACd,KAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAEO,SAAS,mBAAgC,KAAA,EAA0B;AACxE,EAAA,IAAI,KAAA,KAAU,IAAA,IAAQ,KAAA,KAAU,MAAA,EAAW;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,MAAM,KAAK,CAAA;AAAA,EACzB,SAAS,KAAA,EAAO;AACd,IAAA,2BAAA;AAAA,MACE,oDAAA;AAAA,MACA;AAAA,QACE,KAAA;AAAA,QACA,WAAW,OAAO;AAAA;AACpB,KACF;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACF;AAEO,SAAS,kBAAA,CAAmB,UAAkB,OAAA,EAA0B;AAC7E,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;;;AC9GA,SAAS,YAAY,SAAA,EAAyD;AAC5E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,WAAA,GAAc,QAAA,CAAS,MAAA,CAAO,WAAW,CAAA;AAC/C,EAAA,IAAI,CAAC,WAAA,EAAa;AAChB,IAAA,MAAM,IAAI,MAAM,+CAA+C,CAAA;AAAA,EACjE;AAEA,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,IAAI,WAAW,QAAA,EAAU;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,yBAAA,EAA4B,OAAO,MAAA,CAAO,MAAM,CAAC,CAAA,CAAE,CAAA;AAAA,EACrE;AAEA,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA;AAAA,GACF;AACF;AAEA,SAAS,mBAAmB,KAAA,EAA0B;AACpD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,QAAA,GAAW,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA;AACzC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,MAAA,CAAO,KAAK,CAAA;AACnC,EAAA,MAAM,KAAA,GAAQ,YAAY,KAAA,IAAS,cAAA;AACnC,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,MAAM,QAAQ,QAAA,CAAS,QAAA,CAAS,MAAA,CAAO,MAAM,GAAG,KAAK,CAAA;AACrD,EAAA,MAAM,WACJ,MAAA,KAAW,QAAA,IACX,WAAW,MAAA,IACX,KAAA,KAAU,YACV,KAAA,KAAU,MAAA;AAEZ,EAAA,MAAM,QAAA,GAAW,QAAA,GAAW,CAAC,KAAK,IAAI,EAAC;AACvC,EAAA,KAAA,MAAW,SAAA,IAAa,CAAC,kBAAA,EAAoB,OAAA,EAAS,OAAO,CAAA,EAAG;AAC9D,IAAA,KAAA,MAAW,MAAA,IAAU,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAC,CAAA,EAAG;AAC/C,MAAA,QAAA,CAAS,IAAA,CAAK,GAAG,kBAAA,CAAmB,MAAM,CAAC,CAAA;AAAA,IAC7C;AAAA,EACF;AAEA,EAAA,OAAO,QAAA;AACT;AAEA,SAAS,mBAAmB,KAAA,EAA0B;AACpD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,QAAA,GAAW,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA;AACzC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,MAAA,CAAO,KAAK,CAAA;AACnC,EAAA,MAAM,KAAA,GAAQ,YAAY,KAAA,IAAS,cAAA;AACnC,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,MAAM,QAAQ,QAAA,CAAS,QAAA,CAAS,MAAA,CAAO,MAAM,GAAG,KAAK,CAAA;AACrD,EAAA,MAAM,QAAA,GAAW,MAAA,KAAW,QAAA,IAAY,KAAA,KAAU,QAAA;AAElD,EAAA,MAAM,MAAA,GAAS,QAAA,GAAW,CAAC,KAAK,IAAI,EAAC;AACrC,EAAA,KAAA,MAAW,SAAA,IAAa,CAAC,kBAAA,EAAoB,OAAA,EAAS,OAAO,CAAA,EAAG;AAC9D,IAAA,KAAA,MAAW,MAAA,IAAU,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAC,CAAA,EAAG;AAC/C,MAAA,MAAA,CAAO,IAAA,CAAK,GAAG,kBAAA,CAAmB,MAAM,CAAC,CAAA;AAAA,IAC3C;AAAA,EACF;AAEA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,WAAW,KAAA,EAAoC;AACtD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,IAAI,KACpB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,SAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,OAAO,QAAQ,CAAA;AAC1B,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,OAAO;AAAA,IACL,WAAA,EAAa,MAAM,IAAA,CAAK,IAAI,IAAI,kBAAA,CAAmB,MAAM,CAAC,CAAC,CAAA;AAAA,IAC3D,QAAA,EAAU,kBAAkB,QAAQ,CAAA;AAAA,IACpC,WAAA,EAAa,MAAM,IAAA,CAAK,IAAI,IAAI,kBAAA,CAAmB,MAAM,CAAC,CAAC;AAAA,GAC7D;AACF;AAEA,SAAS,kBAAkB,UAAA,EAAoC;AAC7D,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,QAAA,CAAS,MAAA;AAAA,IACT,QAAA,CAAS,IAAA;AAAA,IACT,QAAA,CAAS,MAAA;AAAA,IACT,QAAA,CAAS,MAAA;AAAA,IACT,GAAG,sBAAsB,UAAU;AAAA,GACrC;AAEA,EAAA,KAAA,MAAW,aAAa,UAAA,EAAY;AAClC,IAAA,MAAM,MAAA,GAAS,mBAAmB,SAAS,CAAA;AAC3C,IAAA,MAAM,MAAA,GAAS,SAAS,MAAM,CAAA;AAC9B,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,MAAA,CAAO,WAAW,CAAA,CACtC,GAAA,CAAI,UAAU,CAAA,CACd,MAAA,CAAO,CAAC,KAAA,KAAgC,OAAA,CAAQ,KAAK,CAAC,CAAA;AACzD,IAAA,IAAI,MAAA,CAAO,SAAS,CAAA,EAAG;AACrB,MAAA,OAAO,MAAA;AAAA,IACT;AAEA,IAAA,MAAM,UAAA,GAAa,OAAA,CAAQ,MAAA,CAAO,KAAK,CAAA,CACpC,GAAA,CAAI,UAAU,CAAA,CACd,MAAA,CAAO,CAAC,KAAA,KAAgC,OAAA,CAAQ,KAAK,CAAC,CAAA;AACzD,IAAA,IAAI,UAAA,CAAW,SAAS,CAAA,EAAG;AACzB,MAAA,OAAO,UAAA;AAAA,IACT;AAAA,EACF;AAEA,EAAA,OAAO,EAAC;AACV;AAEA,SAAS,gBAAA,CACP,UACA,UAAA,EACe;AACf,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,OAAO,iBAAA,CAAkB,UAAU,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,KAAA,KAC3C,kBAAA,CAAmB,KAAA,CAAM,QAAA,EAAU,OAAO,WAAW;AAAA,GACvD;AACF;AAMO,IAAM,mBAAA,GAAqD;AAAA,EAChE,IAAA,EAAM,aAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,OAAO,gBAAA,CAAiB,QAAA,EAAU,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAAA,EACzD,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,MAAM,aAAA,GAAgB,gBAAA,CAAiB,IAAA,CAAK,QAAA,EAAU,KAAK,UAAU,CAAA;AACrE,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AACA,IAAA,IAAI,aAAA,CAAc,WAAW,CAAA,EAAG;AAC9B,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,SAAA,EAAW,CAAA,yBAAA,EAA4B,MAAA,CAAO,WAAW,CAAA,CAAA;AAAA,OAC3D;AAAA,IACF;AAEA,IAAA,MAAM,cAAc,aAAA,CAAc,OAAA,CAAQ,CAAC,KAAA,KAAU,MAAM,WAAW,CAAA;AACtE,IAAA,MAAM,cAAc,aAAA,CAAc,OAAA,CAAQ,CAAC,KAAA,KAAU,MAAM,WAAW,CAAA;AACtE,IAAA,MAAM,kBAAA,GAAqB,YAAY,MAAA,KAAW,CAAA;AAElD,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,SAAA,EAAW,qBACP,CAAA,eAAA,EAAkB,aAAA,CAAc,MAAM,CAAA,cAAA,EAAiB,MAAA,CAAO,WAAW,CAAA,MAAA,EAAS,WAAA,CAAY,MAAM,6BACpG,CAAA,eAAA,EAAkB,aAAA,CAAc,MAAM,CAAA,cAAA,EAAiB,MAAA,CAAO,WAAW,CAAA,iBAAA,EAAoB,WAAA,CAAY,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,MACvH,IAAA,EAAM;AAAA,QACJ,QAAQ,MAAA,CAAO,MAAA;AAAA,QACf,aAAa,MAAA,CAAO,WAAA;AAAA,QACpB,cAAc,aAAA,CAAc,GAAA,CAAI,CAAC,KAAA,KAAU,MAAM,QAAQ,CAAA;AAAA,QACzD,WAAA;AAAA,QACA,iBAAiB,WAAA,CAAY;AAAA;AAC/B,KACF;AAAA,EACF;AACF","file":"testRunnerEvaluator.js","sourcesContent":["type GraphPrimitiveDebugEnvironment = {\n  process?: {\n    env?: Record<string, string | undefined>;\n  };\n};\n\nfunction isGraphPrimitiveDebugEnabled(): boolean {\n  const env = (globalThis as GraphPrimitiveDebugEnvironment).process?.env;\n  return (\n    env?.LUCERN_COMPAT_FALLBACK_DEBUG === \"1\" ||\n    env?.LUCERN_GRAPH_DEBUG === \"1\"\n  );\n}\n\nexport function formatGraphPrimitiveError(error: unknown): string {\n  if (error instanceof Error) {\n    return `${error.name}: ${error.message}`;\n  }\n  if (typeof error === \"string\") {\n    return error;\n  }\n  if (error === null) {\n    return \"null\";\n  }\n  if (error === undefined) {\n    return \"undefined\";\n  }\n  try {\n    return JSON.stringify(error);\n  } catch {\n    return Object.prototype.toString.call(error);\n  }\n}\n\nexport function debugGraphPrimitiveFallback(\n  message: string,\n  context?: Record<string, unknown>\n): void {\n  if (!isGraphPrimitiveDebugEnabled()) {\n    return;\n  }\n  console.debug(message, context ?? {});\n}\n","/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\nimport { debugGraphPrimitiveFallback } from \"../debug\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean,\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(\n  value: unknown,\n): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[evaluators/shared] Failed to parse JSON candidate\",\n      {\n        error,\n        valueType: typeof value,\n      },\n    );\n    return null;\n  }\n}\n\nexport function patternMatchesPath(filePath: string, pattern: string): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[],\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Test-runner engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluator,\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  extractTextCandidates,\n  normalizeFilePath,\n  normalizeToolResultEnvelope,\n  parseJsonCandidate,\n  patternMatchesPath,\n} from \"./shared\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ntype ParsedSuite = {\n  failedTests: string[];\n  filePath: string;\n  passedTests: string[];\n};\n\ntype TestRunnerConfig = {\n  runner: \"vitest\";\n  testPattern: string;\n};\n\nfunction parseConfig(condition: EpistemicContractCondition): TestRunnerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"test_runner requires evaluatorConfig with { testPattern, runner: \\\"vitest\\\" }.\"\n    );\n  }\n\n  const testPattern = asString(record.testPattern);\n  if (!testPattern) {\n    throw new Error(\"test_runner requires a non-empty testPattern.\");\n  }\n\n  const runner = asString(record.runner);\n  if (runner !== \"vitest\") {\n    throw new Error(`Unsupported test runner: ${String(record.runner)}`);\n  }\n\n  return {\n    runner,\n    testPattern,\n  };\n}\n\nfunction collectFailedTests(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    return [];\n  }\n\n  const fullName = asString(record.fullName);\n  const title = asString(record.title);\n  const label = fullName ?? title ?? \"unnamed test\";\n  const status = asString(record.status);\n  const state = asString(asRecord(record.result)?.state);\n  const isFailed =\n    status === \"failed\" ||\n    status === \"fail\" ||\n    state === \"failed\" ||\n    state === \"fail\";\n\n  const failures = isFailed ? [label] : [];\n  for (const nestedKey of [\"assertionResults\", \"tests\", \"tasks\"]) {\n    for (const nested of asArray(record[nestedKey])) {\n      failures.push(...collectFailedTests(nested));\n    }\n  }\n\n  return failures;\n}\n\nfunction collectPassedTests(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    return [];\n  }\n\n  const fullName = asString(record.fullName);\n  const title = asString(record.title);\n  const label = fullName ?? title ?? \"unnamed test\";\n  const status = asString(record.status);\n  const state = asString(asRecord(record.result)?.state);\n  const isPassed = status === \"passed\" || state === \"passed\";\n\n  const passed = isPassed ? [label] : [];\n  for (const nestedKey of [\"assertionResults\", \"tests\", \"tasks\"]) {\n    for (const nested of asArray(record[nestedKey])) {\n      passed.push(...collectPassedTests(nested));\n    }\n  }\n\n  return passed;\n}\n\nfunction parseSuite(value: unknown): ParsedSuite | null {\n  const record = asRecord(value);\n  if (!record) {\n    return null;\n  }\n\n  const filePath =\n    asString(record.name) ??\n    asString(record.file) ??\n    asString(record.filePath) ??\n    asString(record.filepath);\n  if (!filePath) {\n    return null;\n  }\n\n  return {\n    failedTests: Array.from(new Set(collectFailedTests(record))),\n    filePath: normalizeFilePath(filePath),\n    passedTests: Array.from(new Set(collectPassedTests(record))),\n  };\n}\n\nfunction parseVitestSuites(resultData: unknown): ParsedSuite[] {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const candidates = [\n    envelope.report,\n    envelope.data,\n    envelope.stdout,\n    envelope.output,\n    ...extractTextCandidates(resultData),\n  ];\n\n  for (const candidate of candidates) {\n    const parsed = parseJsonCandidate(candidate);\n    const report = asRecord(parsed);\n    if (!report) {\n      continue;\n    }\n\n    const suites = asArray(report.testResults)\n      .map(parseSuite)\n      .filter((suite): suite is ParsedSuite => Boolean(suite));\n    if (suites.length > 0) {\n      return suites;\n    }\n\n    const fileSuites = asArray(report.files)\n      .map(parseSuite)\n      .filter((suite): suite is ParsedSuite => Boolean(suite));\n    if (fileSuites.length > 0) {\n      return fileSuites;\n    }\n  }\n\n  return [];\n}\n\nfunction getMatchedSuites(\n  contract: AnyContract,\n  resultData: unknown\n): ParsedSuite[] {\n  const config = parseConfig(contract.condition);\n  return parseVitestSuites(resultData).filter((suite) =>\n    patternMatchesPath(suite.filePath, config.testPattern)\n  );\n}\n\nexport type EngineeringEpistemicEvaluator = EpistemicEvaluator & {\n  matches(args: { contract: AnyContract; resultData: unknown }): boolean;\n};\n\nexport const testRunnerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"test_runner\",\n  matches({ contract, resultData }) {\n    return getMatchedSuites(contract, resultData).length > 0;\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    const matchedSuites = getMatchedSuites(args.contract, args.resultData);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"test_runner requires Vitest JSON resultData.\",\n      };\n    }\n    if (matchedSuites.length === 0) {\n      return {\n        result: \"inconclusive\",\n        rationale: `No Vitest suites matched ${config.testPattern}.`,\n      };\n    }\n\n    const failedTests = matchedSuites.flatMap((suite) => suite.failedTests);\n    const passedTests = matchedSuites.flatMap((suite) => suite.passedTests);\n    const conditionSatisfied = failedTests.length === 0;\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `Vitest matched ${matchedSuites.length} suite(s) for ${config.testPattern}; all ${passedTests.length} test assertions passed.`\n        : `Vitest matched ${matchedSuites.length} suite(s) for ${config.testPattern}; failing tests: ${failedTests.join(\", \")}.`,\n      data: {\n        runner: config.runner,\n        testPattern: config.testPattern,\n        matchedFiles: matchedSuites.map((suite) => suite.filePath),\n        failedTests,\n        passedTestCount: passedTests.length,\n      },\n    };\n  },\n};\n"]}

package/dist/evaluators/tscCheckerEvaluator.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/evaluators/shared.ts","../../src/evaluators/tscCheckerEvaluator.ts"],"names":[],"mappings":";AAmBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAEO,SAAS,sBAAsB,KAAA,EAA0B;AAC9D,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,SAAA,GAAY,SAAS,KAAK,CAAA;AAChC,IAAA,OAAO,SAAA,GAAY,CAAC,SAAS,CAAA,GAAI,EAAC;AAAA,EACpC;AAEA,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,IAAA;AAAA,IACP,MAAA,CAAO,OAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT,CACG,IAAI,QAAQ,CAAA,CACZ,OAAO,CAAC,SAAA,KAAmC,OAAA,CAAQ,SAAS,CAAC,CAAA;AAEhE,EAAA,KAAA,MAAW,aAAa,CAAC,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAS,CAAA,EAAG;AAC/D,IAAA,MAAM,MAAA,GAAS,OAAO,SAAS,CAAA;AAC/B,IAAA,IAAI,WAAW,KAAA,EAAO;AACpB,MAAA,UAAA,CAAW,IAAA,CAAK,GAAG,qBAAA,CAAsB,MAAM,CAAC,CAAA;AAAA,IAClD;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,IAAA,CAAK,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AACvC;AAEO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MAAM,OAAA,CAAQ,KAAA,EAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,SAAS,EAAE,CAAA;AACtD;AAEO,SAAS,4BAA4B,KAAA,EAAoC;AAC9E,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAkBO,SAAS,kBAAA,CACd,UACA,OAAA,EACS;AACT,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;AAEO,SAAS,kBAAA,CACd,UACA,QAAA,EACS;AACT,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAS,IAAA,CAAK,CAAC,YAAY,kBAAA,CAAmB,QAAA,EAAU,OAAO,CAAC,CAAA;AACzE;;;AClHA,SAAS,YAAY,SAAA,EAAyD;AAC5E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,MAAA,CAAO,YAAY,CAAA,CAC7C,GAAA,CAAI,QAAQ,CAAA,CACZ,MAAA,CAAO,CAAC,OAAA,KAA+B,OAAA,CAAQ,OAAO,CAAC,CAAA;AAC1D,EAAA,IAAI,YAAA,CAAa,WAAW,CAAA,EAAG;AAC7B,IAAA,MAAM,IAAI,MAAM,iDAAiD,CAAA;AAAA,EACnE;AAEA,EAAA,OAAO,EAAE,YAAA,EAAa;AACxB;AAEA,SAAS,2BAA2B,UAAA,EAAyC;AAC3E,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,MAAA,GACJ,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA,IAAK,SAAS,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,UAAU,CAAA;AAC7E,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,OAAO,QAAQ,MAAA,CAAO,WAAW,CAAA,CAAE,OAAA,CAAQ,CAAC,KAAA,KAA8B;AACtE,IAAA,MAAM,UAAA,GAAa,SAAS,KAAK,CAAA;AACjC,IAAA,IAAI,CAAC,UAAA,EAAY;AACf,MAAA,OAAO,EAAC;AAAA,IACV;AACA,IAAA,MAAM,QAAA,GACJ,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA,IAC5B,SAAS,UAAA,CAAW,IAAI,CAAA,IACxB,QAAA,CAAS,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA,EAAG,QAAQ,CAAA,IAChD,QAAA,CAAS,QAAA,CAAS,QAAA,CAAS,WAAW,QAAQ,CAAA,EAAG,IAAI,CAAA,EAAG,IAAI,CAAA;AAC9D,IAAA,MAAM,OAAA,GAAU,QAAA,CAAS,UAAA,CAAW,OAAO,CAAA,IAAK,kBAAA;AAChD,IAAA,OAAO;AAAA,MACL;AAAA,QACE,IAAA,EAAM,QAAA,CAAS,UAAA,CAAW,IAAI,CAAA,IAAK,MAAA;AAAA,QACnC,QAAA,EAAU,QAAA,GAAW,iBAAA,CAAkB,QAAQ,CAAA,GAAI,IAAA;AAAA,QACnD;AAAA;AACF,KACF;AAAA,EACF,CAAC,CAAA;AACL;AAEA,SAAS,qBAAqB,UAAA,EAAyC;AACrE,EAAA,MAAM,cAAkC,EAAC;AACzC,EAAA,MAAM,QAAA,GAAW;AAAA,IACf,+CAAA;AAAA,IACA;AAAA,GACF;AAEA,EAAA,KAAA,MAAW,IAAA,IAAQ,qBAAA,CAAsB,UAAU,CAAA,EAAG;AACpD,IAAA,KAAA,MAAW,WAAW,QAAA,EAAU;AAC9B,MAAA,KAAA,MAAW,KAAA,IAAS,IAAA,CAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC1C,QAAA,WAAA,CAAY,IAAA,CAAK;AAAA,UACf,IAAA,EAAM,MAAM,CAAC,CAAA;AAAA,UACb,QAAA,EAAU,iBAAA,CAAkB,KAAA,CAAM,CAAC,KAAK,EAAE,CAAA;AAAA,UAC1C,OAAA,EAAS,KAAA,CAAM,CAAC,CAAA,IAAK;AAAA,SACtB,CAAA;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,EAAA,OAAO,WAAA;AACT;AAEA,SAAS,iBAAiB,UAAA,EAAyC;AACjE,EAAA,MAAM,UAAA,GAAa,2BAA2B,UAAU,CAAA;AACxD,EAAA,OAAO,UAAA,CAAW,MAAA,GAAS,CAAA,GAAI,UAAA,GAAa,qBAAqB,UAAU,CAAA;AAC7E;AAEA,SAAS,qBAAA,CACP,UACA,UAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,OAAO,gBAAA,CAAiB,UAAU,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,UAAA,KAC1C,kBAAA,CAAmB,UAAA,CAAW,QAAA,EAAU,OAAO,YAAY;AAAA,GAC7D;AACF;AAEO,IAAM,mBAAA,GAAqD;AAAA,EAChE,IAAA,EAAM,aAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,IAAI,aAAa,CAAA,EAAG;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,OAAO,qBAAA,CAAsB,QAAA,EAAU,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAAA,EAC9D,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AAEA,IAAA,MAAM,QAAA,GAAW,2BAAA,CAA4B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,MAAM,kBAAA,GAAqB,qBAAA,CAAsB,IAAA,CAAK,QAAA,EAAU,KAAK,UAAU,CAAA;AAE/E,IAAA,IAAI,mBAAmB,MAAA,KAAW,CAAA,IAAK,QAAA,KAAa,CAAA,IAAK,aAAa,IAAA,EAAM;AAC1E,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,SAAA,EACE;AAAA,OACJ;AAAA,IACF;AAEA,IAAA,MAAM,qBACJ,QAAA,KAAa,CAAA,IAAM,QAAA,KAAa,IAAA,IAAQ,mBAAmB,MAAA,KAAW,CAAA;AAExE,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,SAAA,EAAW,kBAAA,GACP,CAAA,gDAAA,EAAmD,MAAA,CAAO,YAAA,CAAa,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA,GACjF,CAAA,iBAAA,EAAoB,kBAAA,CAAmB,MAAM,4BAA4B,kBAAA,CACtE,GAAA;AAAA,QAAI,CAAC,UAAA,KACJ,UAAA,CAAW,QAAA,GACP,CAAA,EAAG,WAAW,QAAQ,CAAA,EAAG,UAAA,CAAW,IAAA,GAAO,OAAO,UAAA,CAAW,IAAI,CAAA,CAAA,CAAA,GAAM,EAAE,KACzE,UAAA,CAAW;AAAA,OACjB,CACC,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,MACjB,IAAA,EAAM;AAAA,QACJ,QAAA;AAAA,QACA,cAAc,MAAA,CAAO,YAAA;AAAA,QACrB;AAAA;AACF,KACF;AAAA,EACF;AACF","file":"tscCheckerEvaluator.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(value: unknown): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch {\n    return null;\n  }\n}\n\nexport function patternMatchesPath(\n  filePath: string,\n  pattern: string\n): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[]\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Typecheck-based engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asNumber,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  extractTextCandidates,\n  normalizeFilePath,\n  normalizeToolResultEnvelope,\n  somePatternMatches,\n} from \"./shared\";\nimport type { EngineeringEpistemicEvaluator } from \"./testRunnerEvaluator\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ntype ParsedDiagnostic = {\n  code?: string;\n  filePath: string | null;\n  message: string;\n};\n\ntype TscCheckerConfig = {\n  filePatterns: string[];\n};\n\nfunction parseConfig(condition: EpistemicContractCondition): TscCheckerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"tsc_checker requires evaluatorConfig with { filePatterns: string[] }.\"\n    );\n  }\n\n  const filePatterns = asArray(record.filePatterns)\n    .map(asString)\n    .filter((pattern): pattern is string => Boolean(pattern));\n  if (filePatterns.length === 0) {\n    throw new Error(\"tsc_checker requires at least one file pattern.\");\n  }\n\n  return { filePatterns };\n}\n\nfunction parseStructuredDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const record =\n    asRecord(envelope.report) ?? asRecord(envelope.data) ?? asRecord(resultData);\n  if (!record) {\n    return [];\n  }\n\n  return asArray(record.diagnostics).flatMap((entry): ParsedDiagnostic[] => {\n      const diagnostic = asRecord(entry);\n      if (!diagnostic) {\n        return [];\n      }\n      const filePath =\n        asString(diagnostic.filePath) ??\n        asString(diagnostic.file) ??\n        asString(asRecord(diagnostic.location)?.filePath) ??\n        asString(asRecord(asRecord(diagnostic.location)?.path)?.file);\n      const message = asString(diagnostic.message) ?? \"TypeScript error\";\n      return [\n        {\n          code: asString(diagnostic.code) ?? undefined,\n          filePath: filePath ? normalizeFilePath(filePath) : null,\n          message,\n        },\n      ];\n    });\n}\n\nfunction parseTextDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const diagnostics: ParsedDiagnostic[] = [];\n  const patterns = [\n    /^(.+?)\\((\\d+),(\\d+)\\): error TS(\\d+): (.+)$/gm,\n    /^(.+?):(\\d+):(\\d+) - error TS(\\d+): (.+)$/gm,\n  ];\n\n  for (const text of extractTextCandidates(resultData)) {\n    for (const pattern of patterns) {\n      for (const match of text.matchAll(pattern)) {\n        diagnostics.push({\n          code: match[4],\n          filePath: normalizeFilePath(match[1] ?? \"\"),\n          message: match[5] ?? \"TypeScript error\",\n        });\n      }\n    }\n  }\n\n  return diagnostics;\n}\n\nfunction parseDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const structured = parseStructuredDiagnostics(resultData);\n  return structured.length > 0 ? structured : parseTextDiagnostics(resultData);\n}\n\nfunction getMatchedDiagnostics(\n  contract: AnyContract,\n  resultData: unknown\n): ParsedDiagnostic[] {\n  const config = parseConfig(contract.condition);\n  return parseDiagnostics(resultData).filter((diagnostic) =>\n    somePatternMatches(diagnostic.filePath, config.filePatterns)\n  );\n}\n\nexport const tscCheckerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"tsc_checker\",\n  matches({ contract, resultData }) {\n    const envelope = normalizeToolResultEnvelope(resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    if (exitCode === 0) {\n      return true;\n    }\n    return getMatchedDiagnostics(contract, resultData).length > 0;\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"tsc_checker requires TypeScript diagnostic resultData.\",\n      };\n    }\n\n    const envelope = normalizeToolResultEnvelope(args.resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    const matchedDiagnostics = getMatchedDiagnostics(args.contract, args.resultData);\n\n    if (matchedDiagnostics.length === 0 && exitCode !== 0 && exitCode !== null) {\n      return {\n        result: \"inconclusive\",\n        rationale:\n          \"TypeScript reported errors, but none matched the configured file patterns.\",\n      };\n    }\n\n    const conditionSatisfied =\n      exitCode === 0 || (exitCode !== null && matchedDiagnostics.length === 0);\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `TypeScript reported no matching diagnostics for ${config.filePatterns.join(\", \")}.`\n        : `TypeScript found ${matchedDiagnostics.length} matching diagnostic(s): ${matchedDiagnostics\n            .map((diagnostic) =>\n              diagnostic.filePath\n                ? `${diagnostic.filePath}${diagnostic.code ? ` (TS${diagnostic.code})` : \"\"}`\n                : diagnostic.message\n            )\n            .join(\", \")}.`,\n      data: {\n        exitCode,\n        filePatterns: config.filePatterns,\n        matchedDiagnostics,\n      },\n    };\n  },\n};\n"]}
+{"version":3,"sources":["../../src/evaluators/shared.ts","../../src/evaluators/tscCheckerEvaluator.ts"],"names":[],"mappings":";AAoBO,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAEO,SAAS,sBAAsB,KAAA,EAA0B;AAC9D,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,SAAA,GAAY,SAAS,KAAK,CAAA;AAChC,IAAA,OAAO,SAAA,GAAY,CAAC,SAAS,CAAA,GAAI,EAAC;AAAA,EACpC;AAEA,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,IAAA;AAAA,IACP,MAAA,CAAO,OAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT,CACG,IAAI,QAAQ,CAAA,CACZ,OAAO,CAAC,SAAA,KAAmC,OAAA,CAAQ,SAAS,CAAC,CAAA;AAEhE,EAAA,KAAA,MAAW,aAAa,CAAC,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAS,CAAA,EAAG;AAC/D,IAAA,MAAM,MAAA,GAAS,OAAO,SAAS,CAAA;AAC/B,IAAA,IAAI,WAAW,KAAA,EAAO;AACpB,MAAA,UAAA,CAAW,IAAA,CAAK,GAAG,qBAAA,CAAsB,MAAM,CAAC,CAAA;AAAA,IAClD;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,IAAA,CAAK,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AACvC;AAEO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MAAM,OAAA,CAAQ,KAAA,EAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,SAAS,EAAE,CAAA;AACtD;AAEO,SAAS,4BACd,KAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAyBO,SAAS,kBAAA,CAAmB,UAAkB,OAAA,EAA0B;AAC7E,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;AAEO,SAAS,kBAAA,CACd,UACA,QAAA,EACS;AACT,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAS,IAAA,CAAK,CAAC,YAAY,kBAAA,CAAmB,QAAA,EAAU,OAAO,CAAC,CAAA;AACzE;;;ACzHA,SAAS,YAAY,SAAA,EAAyD;AAC5E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,MAAA,CAAO,YAAY,CAAA,CAC7C,GAAA,CAAI,QAAQ,CAAA,CACZ,MAAA,CAAO,CAAC,OAAA,KAA+B,OAAA,CAAQ,OAAO,CAAC,CAAA;AAC1D,EAAA,IAAI,YAAA,CAAa,WAAW,CAAA,EAAG;AAC7B,IAAA,MAAM,IAAI,MAAM,iDAAiD,CAAA;AAAA,EACnE;AAEA,EAAA,OAAO,EAAE,YAAA,EAAa;AACxB;AAEA,SAAS,2BAA2B,UAAA,EAAyC;AAC3E,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,MAAA,GACJ,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA,IAAK,SAAS,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,UAAU,CAAA;AAC7E,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,OAAO,QAAQ,MAAA,CAAO,WAAW,CAAA,CAAE,OAAA,CAAQ,CAAC,KAAA,KAA8B;AACtE,IAAA,MAAM,UAAA,GAAa,SAAS,KAAK,CAAA;AACjC,IAAA,IAAI,CAAC,UAAA,EAAY;AACf,MAAA,OAAO,EAAC;AAAA,IACV;AACA,IAAA,MAAM,QAAA,GACJ,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA,IAC5B,SAAS,UAAA,CAAW,IAAI,CAAA,IACxB,QAAA,CAAS,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA,EAAG,QAAQ,CAAA,IAChD,QAAA,CAAS,QAAA,CAAS,QAAA,CAAS,WAAW,QAAQ,CAAA,EAAG,IAAI,CAAA,EAAG,IAAI,CAAA;AAC9D,IAAA,MAAM,OAAA,GAAU,QAAA,CAAS,UAAA,CAAW,OAAO,CAAA,IAAK,kBAAA;AAChD,IAAA,OAAO;AAAA,MACL;AAAA,QACE,IAAA,EAAM,QAAA,CAAS,UAAA,CAAW,IAAI,CAAA,IAAK,MAAA;AAAA,QACnC,QAAA,EAAU,QAAA,GAAW,iBAAA,CAAkB,QAAQ,CAAA,GAAI,IAAA;AAAA,QACnD;AAAA;AACF,KACF;AAAA,EACF,CAAC,CAAA;AACL;AAEA,SAAS,qBAAqB,UAAA,EAAyC;AACrE,EAAA,MAAM,cAAkC,EAAC;AACzC,EAAA,MAAM,QAAA,GAAW;AAAA,IACf,+CAAA;AAAA,IACA;AAAA,GACF;AAEA,EAAA,KAAA,MAAW,IAAA,IAAQ,qBAAA,CAAsB,UAAU,CAAA,EAAG;AACpD,IAAA,KAAA,MAAW,WAAW,QAAA,EAAU;AAC9B,MAAA,KAAA,MAAW,KAAA,IAAS,IAAA,CAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC1C,QAAA,WAAA,CAAY,IAAA,CAAK;AAAA,UACf,IAAA,EAAM,MAAM,CAAC,CAAA;AAAA,UACb,QAAA,EAAU,iBAAA,CAAkB,KAAA,CAAM,CAAC,KAAK,EAAE,CAAA;AAAA,UAC1C,OAAA,EAAS,KAAA,CAAM,CAAC,CAAA,IAAK;AAAA,SACtB,CAAA;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,EAAA,OAAO,WAAA;AACT;AAEA,SAAS,iBAAiB,UAAA,EAAyC;AACjE,EAAA,MAAM,UAAA,GAAa,2BAA2B,UAAU,CAAA;AACxD,EAAA,OAAO,UAAA,CAAW,MAAA,GAAS,CAAA,GAAI,UAAA,GAAa,qBAAqB,UAAU,CAAA;AAC7E;AAEA,SAAS,qBAAA,CACP,UACA,UAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,OAAO,gBAAA,CAAiB,UAAU,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,UAAA,KAC1C,kBAAA,CAAmB,UAAA,CAAW,QAAA,EAAU,OAAO,YAAY;AAAA,GAC7D;AACF;AAEO,IAAM,mBAAA,GAAqD;AAAA,EAChE,IAAA,EAAM,aAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,IAAI,aAAa,CAAA,EAAG;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,OAAO,qBAAA,CAAsB,QAAA,EAAU,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAAA,EAC9D,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AAEA,IAAA,MAAM,QAAA,GAAW,2BAAA,CAA4B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,MAAM,kBAAA,GAAqB,qBAAA,CAAsB,IAAA,CAAK,QAAA,EAAU,KAAK,UAAU,CAAA;AAE/E,IAAA,IAAI,mBAAmB,MAAA,KAAW,CAAA,IAAK,QAAA,KAAa,CAAA,IAAK,aAAa,IAAA,EAAM;AAC1E,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,SAAA,EACE;AAAA,OACJ;AAAA,IACF;AAEA,IAAA,MAAM,qBACJ,QAAA,KAAa,CAAA,IAAM,QAAA,KAAa,IAAA,IAAQ,mBAAmB,MAAA,KAAW,CAAA;AAExE,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,SAAA,EAAW,kBAAA,GACP,CAAA,gDAAA,EAAmD,MAAA,CAAO,YAAA,CAAa,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA,GACjF,CAAA,iBAAA,EAAoB,kBAAA,CAAmB,MAAM,4BAA4B,kBAAA,CACtE,GAAA;AAAA,QAAI,CAAC,UAAA,KACJ,UAAA,CAAW,QAAA,GACP,CAAA,EAAG,WAAW,QAAQ,CAAA,EAAG,UAAA,CAAW,IAAA,GAAO,OAAO,UAAA,CAAW,IAAI,CAAA,CAAA,CAAA,GAAM,EAAE,KACzE,UAAA,CAAW;AAAA,OACjB,CACC,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,MACjB,IAAA,EAAM;AAAA,QACJ,QAAA;AAAA,QACA,cAAc,MAAA,CAAO,YAAA;AAAA,QACrB;AAAA;AACF,KACF;AAAA,EACF;AACF","file":"tscCheckerEvaluator.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\nimport { debugGraphPrimitiveFallback } from \"../debug\";\n\nexport type ToolResultEnvelope = {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n};\n\ntype AnyRecord = Record<string, unknown>;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean,\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value.replace(/\\\\/g, \"/\").replace(/^\\.\\//, \"\");\n}\n\nexport function normalizeToolResultEnvelope(\n  value: unknown,\n): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[evaluators/shared] Failed to parse JSON candidate\",\n      {\n        error,\n        valueType: typeof value,\n      },\n    );\n    return null;\n  }\n}\n\nexport function patternMatchesPath(filePath: string, pattern: string): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[],\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Typecheck-based engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asNumber,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  extractTextCandidates,\n  normalizeFilePath,\n  normalizeToolResultEnvelope,\n  somePatternMatches,\n} from \"./shared\";\nimport type { EngineeringEpistemicEvaluator } from \"./testRunnerEvaluator\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ntype ParsedDiagnostic = {\n  code?: string;\n  filePath: string | null;\n  message: string;\n};\n\ntype TscCheckerConfig = {\n  filePatterns: string[];\n};\n\nfunction parseConfig(condition: EpistemicContractCondition): TscCheckerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"tsc_checker requires evaluatorConfig with { filePatterns: string[] }.\"\n    );\n  }\n\n  const filePatterns = asArray(record.filePatterns)\n    .map(asString)\n    .filter((pattern): pattern is string => Boolean(pattern));\n  if (filePatterns.length === 0) {\n    throw new Error(\"tsc_checker requires at least one file pattern.\");\n  }\n\n  return { filePatterns };\n}\n\nfunction parseStructuredDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const record =\n    asRecord(envelope.report) ?? asRecord(envelope.data) ?? asRecord(resultData);\n  if (!record) {\n    return [];\n  }\n\n  return asArray(record.diagnostics).flatMap((entry): ParsedDiagnostic[] => {\n      const diagnostic = asRecord(entry);\n      if (!diagnostic) {\n        return [];\n      }\n      const filePath =\n        asString(diagnostic.filePath) ??\n        asString(diagnostic.file) ??\n        asString(asRecord(diagnostic.location)?.filePath) ??\n        asString(asRecord(asRecord(diagnostic.location)?.path)?.file);\n      const message = asString(diagnostic.message) ?? \"TypeScript error\";\n      return [\n        {\n          code: asString(diagnostic.code) ?? undefined,\n          filePath: filePath ? normalizeFilePath(filePath) : null,\n          message,\n        },\n      ];\n    });\n}\n\nfunction parseTextDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const diagnostics: ParsedDiagnostic[] = [];\n  const patterns = [\n    /^(.+?)\\((\\d+),(\\d+)\\): error TS(\\d+): (.+)$/gm,\n    /^(.+?):(\\d+):(\\d+) - error TS(\\d+): (.+)$/gm,\n  ];\n\n  for (const text of extractTextCandidates(resultData)) {\n    for (const pattern of patterns) {\n      for (const match of text.matchAll(pattern)) {\n        diagnostics.push({\n          code: match[4],\n          filePath: normalizeFilePath(match[1] ?? \"\"),\n          message: match[5] ?? \"TypeScript error\",\n        });\n      }\n    }\n  }\n\n  return diagnostics;\n}\n\nfunction parseDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const structured = parseStructuredDiagnostics(resultData);\n  return structured.length > 0 ? structured : parseTextDiagnostics(resultData);\n}\n\nfunction getMatchedDiagnostics(\n  contract: AnyContract,\n  resultData: unknown\n): ParsedDiagnostic[] {\n  const config = parseConfig(contract.condition);\n  return parseDiagnostics(resultData).filter((diagnostic) =>\n    somePatternMatches(diagnostic.filePath, config.filePatterns)\n  );\n}\n\nexport const tscCheckerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"tsc_checker\",\n  matches({ contract, resultData }) {\n    const envelope = normalizeToolResultEnvelope(resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    if (exitCode === 0) {\n      return true;\n    }\n    return getMatchedDiagnostics(contract, resultData).length > 0;\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"tsc_checker requires TypeScript diagnostic resultData.\",\n      };\n    }\n\n    const envelope = normalizeToolResultEnvelope(args.resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    const matchedDiagnostics = getMatchedDiagnostics(args.contract, args.resultData);\n\n    if (matchedDiagnostics.length === 0 && exitCode !== 0 && exitCode !== null) {\n      return {\n        result: \"inconclusive\",\n        rationale:\n          \"TypeScript reported errors, but none matched the configured file patterns.\",\n      };\n    }\n\n    const conditionSatisfied =\n      exitCode === 0 || (exitCode !== null && matchedDiagnostics.length === 0);\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `TypeScript reported no matching diagnostics for ${config.filePatterns.join(\", \")}.`\n        : `TypeScript found ${matchedDiagnostics.length} matching diagnostic(s): ${matchedDiagnostics\n            .map((diagnostic) =>\n              diagnostic.filePath\n                ? `${diagnostic.filePath}${diagnostic.code ? ` (TS${diagnostic.code})` : \"\"}`\n                : diagnostic.message\n            )\n            .join(\", \")}.`,\n      data: {\n        exitCode,\n        filePatterns: config.filePatterns,\n        matchedDiagnostics,\n      },\n    };\n  },\n};\n"]}

package/dist/index.d.ts

@@ -1,35 +1,35 @@
-export { b as beliefDecay } from './beliefDecay-Q_26RTc-.js';
-export { b as beliefEvidenceLinks } from './beliefEvidenceLinks-42FlR48t.js';
-export { b as beliefLifecycle } from './beliefLifecycle-C-AehZgF.js';
-export { c as contradictions } from './contradictions-Hdwl7zid.js';
+export { b as beliefDecay } from './beliefDecay-DZ6tkLYq.js';
+export { b as beliefEvidenceLinks } from './beliefEvidenceLinks-CWOXxxJg.js';
+export { b as beliefLifecycle } from './beliefLifecycle-y8WLXqQj.js';
+export { c as contradictions } from './contradictions-51VLsESq.js';
 export { i as edges } from './index-Dct1T70K.js';
 export { e as edgeValidation } from './edgeValidation-CeI0wc0r.js';
 export { e as entityBridge } from './entityBridge-DMaKooYn.js';
-export { e as entityLifecycle } from './entityLifecycle-BkhRJ-XI.js';
+export { e as entityLifecycle } from './entityLifecycle-CvgSK5FV.js';
 export { e as entityValidation } from './entityValidation-KLZ_Xl2D.js';
 export { i as evaluators } from './index-Dq-7R-gi.js';
-export { e as epistemicAnswers } from './epistemicAnswers-DSP1slZ9.js';
-export { e as epistemicBeliefs } from './epistemicBeliefs-DtFVTp-k.js';
-export { e as epistemicEdges } from './epistemicEdges-DcA8ErUG.js';
-export { e as epistemicEvidence } from './epistemicEvidence-Bo638XDP.js';
-export { e as epistemicHelpers } from './epistemicHelpers-Bd9xbaib.js';
-export { e as epistemicLinking } from './epistemicLinking-CyeLOIzN.js';
-export { e as epistemicNodes } from './epistemicNodes-BpD6Koud.js';
-export { e as epistemicQuestions } from './epistemicQuestions-CmEeY6zQ.js';
-export { e as epistemicSources } from './epistemicSources-ZazxHOK1.js';
+export { e as epistemicAnswers } from './epistemicAnswers-C5ib4z6_.js';
+export { e as epistemicBeliefs } from './epistemicBeliefs-DzKjZAeC.js';
+export { e as epistemicEdges } from './epistemicEdges-CvlKnEyy.js';
+export { e as epistemicEvidence } from './epistemicEvidence-xw6UUrwh.js';
+export { e as epistemicHelpers } from './epistemicHelpers-DevrYgPN.js';
+export { e as epistemicLinking } from './epistemicLinking-CfE00tHJ.js';
+export { e as epistemicNodes } from './epistemicNodes-DjSUfvyD.js';
+export { e as epistemicQuestions } from './epistemicQuestions-B_nUclrH.js';
+export { e as epistemicSources } from './epistemicSources-dlKj58Jp.js';
 export { g as globalId } from './globalId-DKh9d_uD.js';
 export { g as graphTypes } from './graphTypes-CpgIuCdo.js';
 export { h as helpers } from './helpers-BYHIk5vU.js';
 export { l as logicalRoleInference } from './logicalRoleInference-CJxqWi3u.js';
-export { o as ontologyApproval } from './ontologyApproval-Ba0Jjk1k.js';
-export { o as ontologyMatching } from './ontology-matching-Buhu23ss.js';
+export { o as ontologyApproval } from './ontologyApproval-CFYmqKmk.js';
+export { o as ontologyMatching } from './ontology-matching-C6rrz2VP.js';
 export { o as ontologyRegistry } from './ontologyRegistry-B67rPJ16.js';
-export { p as projectionReconciliation } from './projectionReconciliation-CxrXYGaB.js';
-export { p as projectionStaleness } from './projectionStaleness-CAdpIsaW.js';
-export { q as questionEvidenceLinks } from './questionEvidenceLinks-BdQD0TkM.js';
+export { p as projectionReconciliation } from './projectionReconciliation-jww2fBI0.js';
+export { p as projectionStaleness } from './projectionStaleness-CmdbpjVK.js';
+export { q as questionEvidenceLinks } from './questionEvidenceLinks-DFlyPpAj.js';
 export { r as resolvers } from './resolvers-Br1a6eLV.js';
 export { r as resolverTypes } from './resolverTypes-CC8Ea2E2.js';
-export { t as textMatching } from './text-matching-CMn2WnVD.js';
+export { t as textMatching } from './text-matching-DNg4M5Wd.js';
 export { t as topicScope } from './topicScope-By_zp4tt.js';
 import '@lucern/confidence';
 import './edges/propagationTypes.js';