Screen a diff for runtime bugs

import { noul, TypeSafeClient, type JsonValue } from "@typesafe-ai/sdk";

// Illustrative input, not a recorded model test.
const state: JsonValue = {
  "file": {
    "path": "src/checkout.ts",
    "patch": "@@ -1 +1 @@\n-if (total > balance) throw new Error('Insufficient funds');\n+if (total < balance) throw new Error('Insufficient funds');"
  },
  "changedTests": []
};
const client = new TypeSafeClient();
try {
  const response = await client.systemOne({
    model: "jev-latest",
    state,
    questions: {
      correctness: noul(
        {
          "question": "Does file.patch directly support that this change likely introduces incorrect runtime behavior?",
          "inspect": "file.patch",
          "focus": "Concrete behavior, state, data-flow, or async errors introduced by added or modified lines",
          "ignore": [
            "Style preferences",
            "Naming concerns",
            "Unsupported speculation"
          ]
        },
        {
          "true": {
            "what": "The patch contains a realistic path to a wrong runtime result",
            "examples": [
              "A condition now handles the opposite case",
              "A value is written to the wrong field"
            ]
          },
          "false": {
            "what": "The patch is correct, non-behavioral, or lacks direct evidence of a bug",
            "examples": [
              "Formatting only",
              "A refactor that preserves data flow"
            ]
          }
        }
      )
    },
  });

  const probability = response.answers.correctness.noul;
  console.log({ probability, action: probability >= 0.5 ? "inspect_patch" : "continue_review" });
} catch (error) {
  console.error("Decision unavailable; use your fallback or human review.", error);
  process.exitCode = 1;
}