@lucern/graph-primitives 0.1.0-alpha.2

package/dist/evaluators/testRunnerEvaluator.js

@@ -0,0 +1,232 @@
+// src/evaluators/shared.ts
+function asArray(value) {
+  return Array.isArray(value) ? value : [];
+}
+function asNumber(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : null;
+}
+function asRecord(value) {
+  return value && typeof value === "object" && !Array.isArray(value) ? value : null;
+}
+function asString(value) {
+  return typeof value === "string" && value.trim().length > 0 ? value.trim() : null;
+}
+function deriveDirectionalResult(direction, conditionSatisfied) {
+  if (direction === "falsifies") {
+    return conditionSatisfied ? "disconfirmed" : "confirmed";
+  }
+  return conditionSatisfied ? "confirmed" : "disconfirmed";
+}
+function extractTextCandidates(value) {
+  const record = asRecord(value);
+  if (!record) {
+    const candidate = asString(value);
+    return candidate ? [candidate] : [];
+  }
+  const candidates = [
+    record.stdout,
+    record.stderr,
+    record.output,
+    record.text,
+    record.message,
+    record.raw
+  ].map(asString).filter((candidate) => Boolean(candidate));
+  for (const nestedKey of ["report", "result", "data", "payload"]) {
+    const nested = record[nestedKey];
+    if (nested !== value) {
+      candidates.push(...extractTextCandidates(nested));
+    }
+  }
+  return Array.from(new Set(candidates));
+}
+function normalizeFilePath(value) {
+  return value.replace(/\\/g, "/").replace(/^\.\//, "");
+}
+function normalizeToolResultEnvelope(value) {
+  const record = asRecord(value);
+  if (!record) {
+    return {
+      output: asString(value) ?? void 0
+    };
+  }
+  const exitCode = asNumber(record.exitCode) ?? asNumber(record.code) ?? asNumber(record.status) ?? null;
+  return {
+    command: asString(record.command) ?? void 0,
+    data: record.data ?? record.payload,
+    exitCode,
+    output: asString(record.output) ?? void 0,
+    report: record.report ?? record.json ?? record.result ?? record.payload ?? void 0,
+    stderr: asString(record.stderr) ?? void 0,
+    stdout: asString(record.stdout) ?? void 0
+  };
+}
+function parseJsonCandidate(value) {
+  if (value === null || value === void 0) {
+    return null;
+  }
+  if (typeof value !== "string") {
+    return value;
+  }
+  try {
+    return JSON.parse(value);
+  } catch {
+    return null;
+  }
+}
+function patternMatchesPath(filePath, pattern) {
+  const normalizedPath = normalizeFilePath(filePath);
+  const normalizedPattern = normalizeFilePath(pattern);
+  const escaped = normalizedPattern.replace(/[.+^${}()|[\]\\]/g, "\\$&");
+  const regexPattern = escaped.replace(/\\\*\\\*/g, ".*").replace(/\\\*/g, "[^/]*").replace(/\\\?/g, "[^/]");
+  return new RegExp(`^${regexPattern}$`).test(normalizedPath);
+}
+
+// src/evaluators/testRunnerEvaluator.ts
+function parseConfig(condition) {
+  const record = asRecord(condition.evaluatorConfig);
+  if (!record) {
+    throw new Error(
+      'test_runner requires evaluatorConfig with { testPattern, runner: "vitest" }.'
+    );
+  }
+  const testPattern = asString(record.testPattern);
+  if (!testPattern) {
+    throw new Error("test_runner requires a non-empty testPattern.");
+  }
+  const runner = asString(record.runner);
+  if (runner !== "vitest") {
+    throw new Error(`Unsupported test runner: ${String(record.runner)}`);
+  }
+  return {
+    runner,
+    testPattern
+  };
+}
+function collectFailedTests(value) {
+  const record = asRecord(value);
+  if (!record) {
+    return [];
+  }
+  const fullName = asString(record.fullName);
+  const title = asString(record.title);
+  const label = fullName ?? title ?? "unnamed test";
+  const status = asString(record.status);
+  const state = asString(asRecord(record.result)?.state);
+  const isFailed = status === "failed" || status === "fail" || state === "failed" || state === "fail";
+  const failures = isFailed ? [label] : [];
+  for (const nestedKey of ["assertionResults", "tests", "tasks"]) {
+    for (const nested of asArray(record[nestedKey])) {
+      failures.push(...collectFailedTests(nested));
+    }
+  }
+  return failures;
+}
+function collectPassedTests(value) {
+  const record = asRecord(value);
+  if (!record) {
+    return [];
+  }
+  const fullName = asString(record.fullName);
+  const title = asString(record.title);
+  const label = fullName ?? title ?? "unnamed test";
+  const status = asString(record.status);
+  const state = asString(asRecord(record.result)?.state);
+  const isPassed = status === "passed" || state === "passed";
+  const passed = isPassed ? [label] : [];
+  for (const nestedKey of ["assertionResults", "tests", "tasks"]) {
+    for (const nested of asArray(record[nestedKey])) {
+      passed.push(...collectPassedTests(nested));
+    }
+  }
+  return passed;
+}
+function parseSuite(value) {
+  const record = asRecord(value);
+  if (!record) {
+    return null;
+  }
+  const filePath = asString(record.name) ?? asString(record.file) ?? asString(record.filePath) ?? asString(record.filepath);
+  if (!filePath) {
+    return null;
+  }
+  return {
+    failedTests: Array.from(new Set(collectFailedTests(record))),
+    filePath: normalizeFilePath(filePath),
+    passedTests: Array.from(new Set(collectPassedTests(record)))
+  };
+}
+function parseVitestSuites(resultData) {
+  const envelope = normalizeToolResultEnvelope(resultData);
+  const candidates = [
+    envelope.report,
+    envelope.data,
+    envelope.stdout,
+    envelope.output,
+    ...extractTextCandidates(resultData)
+  ];
+  for (const candidate of candidates) {
+    const parsed = parseJsonCandidate(candidate);
+    const report = asRecord(parsed);
+    if (!report) {
+      continue;
+    }
+    const suites = asArray(report.testResults).map(parseSuite).filter((suite) => Boolean(suite));
+    if (suites.length > 0) {
+      return suites;
+    }
+    const fileSuites = asArray(report.files).map(parseSuite).filter((suite) => Boolean(suite));
+    if (fileSuites.length > 0) {
+      return fileSuites;
+    }
+  }
+  return [];
+}
+function getMatchedSuites(contract, resultData) {
+  const config = parseConfig(contract.condition);
+  return parseVitestSuites(resultData).filter(
+    (suite) => patternMatchesPath(suite.filePath, config.testPattern)
+  );
+}
+var testRunnerEvaluator = {
+  name: "test_runner",
+  matches({ contract, resultData }) {
+    return getMatchedSuites(contract, resultData).length > 0;
+  },
+  evaluate(args) {
+    const config = parseConfig(args.contract.condition);
+    const matchedSuites = getMatchedSuites(args.contract, args.resultData);
+    if (!args.resultData) {
+      return {
+        result: "error",
+        rationale: "test_runner requires Vitest JSON resultData."
+      };
+    }
+    if (matchedSuites.length === 0) {
+      return {
+        result: "inconclusive",
+        rationale: `No Vitest suites matched ${config.testPattern}.`
+      };
+    }
+    const failedTests = matchedSuites.flatMap((suite) => suite.failedTests);
+    const passedTests = matchedSuites.flatMap((suite) => suite.passedTests);
+    const conditionSatisfied = failedTests.length === 0;
+    return {
+      result: deriveDirectionalResult(
+        args.contract.direction,
+        conditionSatisfied
+      ),
+      rationale: conditionSatisfied ? `Vitest matched ${matchedSuites.length} suite(s) for ${config.testPattern}; all ${passedTests.length} test assertions passed.` : `Vitest matched ${matchedSuites.length} suite(s) for ${config.testPattern}; failing tests: ${failedTests.join(", ")}.`,
+      data: {
+        runner: config.runner,
+        testPattern: config.testPattern,
+        matchedFiles: matchedSuites.map((suite) => suite.filePath),
+        failedTests,
+        passedTestCount: passedTests.length
+      }
+    };
+  }
+};
+
+export { testRunnerEvaluator };
+//# sourceMappingURL=testRunnerEvaluator.js.map
+//# sourceMappingURL=testRunnerEvaluator.js.map

package/dist/evaluators/testRunnerEvaluator.js.map

@@ -0,0 +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"]}

package/dist/evaluators/tscCheckerEvaluator.d.ts

@@ -0,0 +1,11 @@
+import { EngineeringEpistemicEvaluator } from './testRunnerEvaluator.js';
+import '@lucern/confidence';
+import '../epistemicContracts.js';
+import '../convex.js';
+import 'convex/values';
+
+/** Typecheck-based engineering evaluator for epistemic contracts. */
+
+declare const tscCheckerEvaluator: EngineeringEpistemicEvaluator;
+
+export { tscCheckerEvaluator };

package/dist/evaluators/tscCheckerEvaluator.js

@@ -0,0 +1,189 @@
+// src/evaluators/shared.ts
+function asArray(value) {
+  return Array.isArray(value) ? value : [];
+}
+function asNumber(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : null;
+}
+function asRecord(value) {
+  return value && typeof value === "object" && !Array.isArray(value) ? value : null;
+}
+function asString(value) {
+  return typeof value === "string" && value.trim().length > 0 ? value.trim() : null;
+}
+function deriveDirectionalResult(direction, conditionSatisfied) {
+  if (direction === "falsifies") {
+    return conditionSatisfied ? "disconfirmed" : "confirmed";
+  }
+  return conditionSatisfied ? "confirmed" : "disconfirmed";
+}
+function extractTextCandidates(value) {
+  const record = asRecord(value);
+  if (!record) {
+    const candidate = asString(value);
+    return candidate ? [candidate] : [];
+  }
+  const candidates = [
+    record.stdout,
+    record.stderr,
+    record.output,
+    record.text,
+    record.message,
+    record.raw
+  ].map(asString).filter((candidate) => Boolean(candidate));
+  for (const nestedKey of ["report", "result", "data", "payload"]) {
+    const nested = record[nestedKey];
+    if (nested !== value) {
+      candidates.push(...extractTextCandidates(nested));
+    }
+  }
+  return Array.from(new Set(candidates));
+}
+function normalizeFilePath(value) {
+  return value.replace(/\\/g, "/").replace(/^\.\//, "");
+}
+function normalizeToolResultEnvelope(value) {
+  const record = asRecord(value);
+  if (!record) {
+    return {
+      output: asString(value) ?? void 0
+    };
+  }
+  const exitCode = asNumber(record.exitCode) ?? asNumber(record.code) ?? asNumber(record.status) ?? null;
+  return {
+    command: asString(record.command) ?? void 0,
+    data: record.data ?? record.payload,
+    exitCode,
+    output: asString(record.output) ?? void 0,
+    report: record.report ?? record.json ?? record.result ?? record.payload ?? void 0,
+    stderr: asString(record.stderr) ?? void 0,
+    stdout: asString(record.stdout) ?? void 0
+  };
+}
+function patternMatchesPath(filePath, pattern) {
+  const normalizedPath = normalizeFilePath(filePath);
+  const normalizedPattern = normalizeFilePath(pattern);
+  const escaped = normalizedPattern.replace(/[.+^${}()|[\]\\]/g, "\\$&");
+  const regexPattern = escaped.replace(/\\\*\\\*/g, ".*").replace(/\\\*/g, "[^/]*").replace(/\\\?/g, "[^/]");
+  return new RegExp(`^${regexPattern}$`).test(normalizedPath);
+}
+function somePatternMatches(filePath, patterns) {
+  if (!filePath) {
+    return false;
+  }
+  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));
+}
+
+// src/evaluators/tscCheckerEvaluator.ts
+function parseConfig(condition) {
+  const record = asRecord(condition.evaluatorConfig);
+  if (!record) {
+    throw new Error(
+      "tsc_checker requires evaluatorConfig with { filePatterns: string[] }."
+    );
+  }
+  const filePatterns = asArray(record.filePatterns).map(asString).filter((pattern) => Boolean(pattern));
+  if (filePatterns.length === 0) {
+    throw new Error("tsc_checker requires at least one file pattern.");
+  }
+  return { filePatterns };
+}
+function parseStructuredDiagnostics(resultData) {
+  const envelope = normalizeToolResultEnvelope(resultData);
+  const record = asRecord(envelope.report) ?? asRecord(envelope.data) ?? asRecord(resultData);
+  if (!record) {
+    return [];
+  }
+  return asArray(record.diagnostics).flatMap((entry) => {
+    const diagnostic = asRecord(entry);
+    if (!diagnostic) {
+      return [];
+    }
+    const filePath = asString(diagnostic.filePath) ?? asString(diagnostic.file) ?? asString(asRecord(diagnostic.location)?.filePath) ?? asString(asRecord(asRecord(diagnostic.location)?.path)?.file);
+    const message = asString(diagnostic.message) ?? "TypeScript error";
+    return [
+      {
+        code: asString(diagnostic.code) ?? void 0,
+        filePath: filePath ? normalizeFilePath(filePath) : null,
+        message
+      }
+    ];
+  });
+}
+function parseTextDiagnostics(resultData) {
+  const diagnostics = [];
+  const patterns = [
+    /^(.+?)\((\d+),(\d+)\): error TS(\d+): (.+)$/gm,
+    /^(.+?):(\d+):(\d+) - error TS(\d+): (.+)$/gm
+  ];
+  for (const text of extractTextCandidates(resultData)) {
+    for (const pattern of patterns) {
+      for (const match of text.matchAll(pattern)) {
+        diagnostics.push({
+          code: match[4],
+          filePath: normalizeFilePath(match[1] ?? ""),
+          message: match[5] ?? "TypeScript error"
+        });
+      }
+    }
+  }
+  return diagnostics;
+}
+function parseDiagnostics(resultData) {
+  const structured = parseStructuredDiagnostics(resultData);
+  return structured.length > 0 ? structured : parseTextDiagnostics(resultData);
+}
+function getMatchedDiagnostics(contract, resultData) {
+  const config = parseConfig(contract.condition);
+  return parseDiagnostics(resultData).filter(
+    (diagnostic) => somePatternMatches(diagnostic.filePath, config.filePatterns)
+  );
+}
+var tscCheckerEvaluator = {
+  name: "tsc_checker",
+  matches({ contract, resultData }) {
+    const envelope = normalizeToolResultEnvelope(resultData);
+    const exitCode = asNumber(envelope.exitCode);
+    if (exitCode === 0) {
+      return true;
+    }
+    return getMatchedDiagnostics(contract, resultData).length > 0;
+  },
+  evaluate(args) {
+    const config = parseConfig(args.contract.condition);
+    if (!args.resultData) {
+      return {
+        result: "error",
+        rationale: "tsc_checker requires TypeScript diagnostic resultData."
+      };
+    }
+    const envelope = normalizeToolResultEnvelope(args.resultData);
+    const exitCode = asNumber(envelope.exitCode);
+    const matchedDiagnostics = getMatchedDiagnostics(args.contract, args.resultData);
+    if (matchedDiagnostics.length === 0 && exitCode !== 0 && exitCode !== null) {
+      return {
+        result: "inconclusive",
+        rationale: "TypeScript reported errors, but none matched the configured file patterns."
+      };
+    }
+    const conditionSatisfied = exitCode === 0 || exitCode !== null && matchedDiagnostics.length === 0;
+    return {
+      result: deriveDirectionalResult(
+        args.contract.direction,
+        conditionSatisfied
+      ),
+      rationale: conditionSatisfied ? `TypeScript reported no matching diagnostics for ${config.filePatterns.join(", ")}.` : `TypeScript found ${matchedDiagnostics.length} matching diagnostic(s): ${matchedDiagnostics.map(
+        (diagnostic) => diagnostic.filePath ? `${diagnostic.filePath}${diagnostic.code ? ` (TS${diagnostic.code})` : ""}` : diagnostic.message
+      ).join(", ")}.`,
+      data: {
+        exitCode,
+        filePatterns: config.filePatterns,
+        matchedDiagnostics
+      }
+    };
+  }
+};
+
+export { tscCheckerEvaluator };
+//# sourceMappingURL=tscCheckerEvaluator.js.map
+//# sourceMappingURL=tscCheckerEvaluator.js.map

package/dist/evaluators/tscCheckerEvaluator.js.map

@@ -0,0 +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"]}

package/dist/globalId-DKh9d_uD.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Shared UUID v4 generator for global IDs.
+ *
+ * Uses crypto.getRandomValues() for collision-safe generation.
+ * Replaces the Math.random()-based UUID pattern that was duplicated
+ * across 7+ files.
+ *
+ * @module convex/lib/globalId
+ */
+/**
+ * Generate a UUID v4 global ID using crypto-safe random bytes.
+ */
+declare function generateGlobalId(): string;
+
+declare const globalId_generateGlobalId: typeof generateGlobalId;
+declare namespace globalId {
+  export { globalId_generateGlobalId as generateGlobalId };
+}
+
+export { generateGlobalId as a, globalId as g };

package/dist/globalId.d.ts

@@ -0,0 +1 @@
+export { a as generateGlobalId } from './globalId-DKh9d_uD.js';

package/dist/globalId.js

@@ -0,0 +1,15 @@
+// src/globalId.ts
+function generateGlobalId() {
+  const bytes = new Uint8Array(16);
+  crypto.getRandomValues(bytes);
+  bytes[6] = bytes[6] & 15 | 64;
+  bytes[8] = bytes[8] & 63 | 128;
+  const hex = Array.from(bytes, (b) => b.toString(16).padStart(2, "0")).join(
+    ""
+  );
+  return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`;
+}
+
+export { generateGlobalId };
+//# sourceMappingURL=globalId.js.map
+//# sourceMappingURL=globalId.js.map

package/dist/globalId.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/globalId.ts"],"names":[],"mappings":";AAaO,SAAS,gBAAA,GAA2B;AACzC,EAAA,MAAM,KAAA,GAAQ,IAAI,UAAA,CAAW,EAAE,CAAA;AAC/B,EAAA,MAAA,CAAO,gBAAgB,KAAK,CAAA;AAE5B,EAAA,KAAA,CAAM,CAAC,CAAA,GAAK,KAAA,CAAM,CAAC,IAAI,EAAA,GAAQ,EAAA;AAC/B,EAAA,KAAA,CAAM,CAAC,CAAA,GAAK,KAAA,CAAM,CAAC,IAAI,EAAA,GAAQ,GAAA;AAC/B,EAAA,MAAM,GAAA,GAAM,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,CAAC,CAAA,KAAM,CAAA,CAAE,QAAA,CAAS,EAAE,CAAA,CAAE,QAAA,CAAS,CAAA,EAAG,GAAG,CAAC,CAAA,CAAE,IAAA;AAAA,IACpE;AAAA,GACF;AACA,EAAA,OAAO,CAAA,EAAG,GAAA,CAAI,KAAA,CAAM,CAAA,EAAG,CAAC,CAAC,CAAA,CAAA,EAAI,GAAA,CAAI,KAAA,CAAM,CAAA,EAAG,EAAE,CAAC,CAAA,CAAA,EAAI,GAAA,CAAI,KAAA,CAAM,EAAA,EAAI,EAAE,CAAC,CAAA,CAAA,EAAI,GAAA,CAAI,KAAA,CAAM,EAAA,EAAI,EAAE,CAAC,CAAA,CAAA,EAAI,GAAA,CAAI,KAAA,CAAM,EAAE,CAAC,CAAA,CAAA;AAC1G","file":"globalId.js","sourcesContent":["/**\n * Shared UUID v4 generator for global IDs.\n *\n * Uses crypto.getRandomValues() for collision-safe generation.\n * Replaces the Math.random()-based UUID pattern that was duplicated\n * across 7+ files.\n *\n * @module convex/lib/globalId\n */\n\n/**\n * Generate a UUID v4 global ID using crypto-safe random bytes.\n */\nexport function generateGlobalId(): string {\n  const bytes = new Uint8Array(16);\n  crypto.getRandomValues(bytes);\n  // Set version (4) and variant (RFC 4122)\n  bytes[6] = (bytes[6] & 0x0f) | 0x40;\n  bytes[8] = (bytes[8] & 0x3f) | 0x80;\n  const hex = Array.from(bytes, (b) => b.toString(16).padStart(2, \"0\")).join(\n    \"\"\n  );\n  return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`;\n}\n"]}

package/dist/graphTypes-CpgIuCdo.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Graph Type Registry for Convex
+ *
+ * This file mirrors the canonical type registry at lib/ontology/types.ts
+ * but is compatible with Convex's bundling requirements.
+ *
+ * IMPORTANT: Keep this file in sync with lib/ontology/types.ts
+ * The frontend uses lib/ontology/types.ts, Convex uses this file.
+ *
+ * @see /docs/architecture/UNIFIED_GRAPH_ARCHITECTURE.md
+ */
+type EpistemicLayer = "L4" | "L3" | "L2" | "L1" | "ontological" | "organizational";
+declare const NODE_TYPE_TO_LABEL: Record<string, string>;
+/**
+ * Epistemic Kernel v2: 6 canonical edge types + ontological edges.
+ *
+ * Weight and metadata carry nuance that previously required 67 separate type strings.
+ * See: docs/architecture/epistemic-kernel-v2.md
+ */
+declare const EDGE_TYPE_TO_REL: Record<string, string>;
+/**
+ * Get the epistemic layer for a node type
+ */
+declare function getNodeLayer(nodeType: string): EpistemicLayer;
+/**
+ * Get the Neo4j label for a node type
+ */
+declare function getNeo4jLabel(nodeType: string): string;
+/**
+ * Get the Neo4j relationship type for an edge type
+ */
+declare function getNeo4jRelType(edgeType: string): string;
+/**
+ * Check if an edge type is deprecated.
+ *
+ * Kernel v2: only the 6 canonical epistemic types, L4 decision types,
+ * and ontological types are active. All legacy types (67 old types) are deprecated.
+ */
+declare function isDeprecatedEdgeType(edgeType: string): boolean;
+
+declare const graphTypes_EDGE_TYPE_TO_REL: typeof EDGE_TYPE_TO_REL;
+type graphTypes_EpistemicLayer = EpistemicLayer;
+declare const graphTypes_NODE_TYPE_TO_LABEL: typeof NODE_TYPE_TO_LABEL;
+declare const graphTypes_getNeo4jLabel: typeof getNeo4jLabel;
+declare const graphTypes_getNeo4jRelType: typeof getNeo4jRelType;
+declare const graphTypes_getNodeLayer: typeof getNodeLayer;
+declare const graphTypes_isDeprecatedEdgeType: typeof isDeprecatedEdgeType;
+declare namespace graphTypes {
+  export { graphTypes_EDGE_TYPE_TO_REL as EDGE_TYPE_TO_REL, type graphTypes_EpistemicLayer as EpistemicLayer, graphTypes_NODE_TYPE_TO_LABEL as NODE_TYPE_TO_LABEL, graphTypes_getNeo4jLabel as getNeo4jLabel, graphTypes_getNeo4jRelType as getNeo4jRelType, graphTypes_getNodeLayer as getNodeLayer, graphTypes_isDeprecatedEdgeType as isDeprecatedEdgeType };
+}
+
+export { type EpistemicLayer as E, NODE_TYPE_TO_LABEL as N, getNeo4jLabel as a, getNeo4jRelType as b, getNodeLayer as c, EDGE_TYPE_TO_REL as d, graphTypes as g, isDeprecatedEdgeType as i };

package/dist/graphTypes.d.ts

@@ -0,0 +1 @@
+export { d as EDGE_TYPE_TO_REL, E as EpistemicLayer, N as NODE_TYPE_TO_LABEL, a as getNeo4jLabel, b as getNeo4jRelType, c as getNodeLayer, i as isDeprecatedEdgeType } from './graphTypes-CpgIuCdo.js';