{
 "ecosystem": "npm",
 "errata": [
  {
   "action": "Not for automatic application — format removed: there is no replacement to apply. Show this correction to the user as a lead. ts.ScriptTarget is not available in typescript 7.0.2; remove or replace this use. The same code works on typescript 6.0.2: pin a version before 7.0.2 if you cannot change the code.",
   "alternatives": [
    {
     "action": "Not for automatic application — the patched example does not run on 7.0.2: exit code 1, TypeError: Cannot read properties of undefined (reading 'CommonJS'). Show this correction to the user as a lead. Replace the old line with the new one; the rest of the code can stay.",
     "applicability": {
      "exit_code": 1,
      "line": 35,
      "method": "literal_patch",
      "occurrences": 1,
      "patched_sha": "6cb2b9f9a3bd",
      "reason": "the patched example does not run on 7.0.2: exit code 1, TypeError: Cannot read properties of undefined (reading 'CommonJS')",
      "run_on": "7.0.2",
      "status": "fails"
     },
     "by_notes": false,
     "changelog_ref": {
      "quote": "",
      "url": ""
     },
     "confirmations": 3,
     "detect": [
      "ts.ScriptTarget.ES2020"
     ],
     "equivalence": "same",
     "format": "replace",
     "kind": "changed",
     "right": "target: \"ES2020\",",
     "seen_in_models": [
      "claude-sonnet-5-5",
      "gpt-6.1-sol",
      "gemini-3.8-flash"
     ],
     "wrong": "target: ts.ScriptTarget.ES2020,"
    },
    {
     "action": "Not for automatic application — the patched example does not run on 7.0.2: exit code 1, ReferenceError: stripTypeScriptTypes is not defined. Show this correction to the user as a lead. Review before applying: this fix runs on typescript 7.0.2, but its printed output differs from what the original printed on 6.0.2 (observed stdout of one example) — it may do different work. Rewrite the block as shown; the failing call does not appear in the new version of the block.",
     "applicability": {
      "exit_code": 1,
      "line": 18,
      "method": "literal_patch",
      "occurrences": 1,
      "patched_sha": "a519cef84355",
      "reason": "the patched example does not run on 7.0.2: exit code 1, ReferenceError: stripTypeScriptTypes is not defined",
      "run_on": "7.0.2",
      "status": "fails"
     },
     "by_notes": true,
     "changelog_ref": {
      "quote": "target: es5 is no longer supported.",
      "url": "https://github.com/microsoft/TypeScript/releases/tag/v7.0.2"
     },
     "confirmations": 2,
     "detect": [
      "ts.ScriptTarget.ES5"
     ],
     "equivalence": "differs",
     "format": "fragment",
     "kind": "behavior_changed",
     "right": "const result = {\noutputText: stripTypeScriptTypes(source, {\nmode: 'transform',\nsourceUrl: 'example.ts'\n})\n};",
     "seen_in_models": [
      "gpt-6.1-sol"
     ],
     "wrong": "const result = ts.transpileModule(source, {\ncompilerOptions: {\ntarget: ts.ScriptTarget.ES5,\nmodule: ts.ModuleKind.CommonJS,\nnewLine: ts.NewLineKind.LineFeed\n},\nfileName: 'example.ts'\n});"
    },
    {
     "action": "Not for automatic application — the patched example does not run on 7.0.2: exit code 1, ReferenceError: stripTypeScriptTypes is not defined. Show this correction to the user as a lead. Review before applying: this fix runs on typescript 7.0.2, but its printed output differs from what the original printed on 6.0.2 (observed stdout of one example) — it may do different work. Rewrite the block as shown; the failing call does not appear in the new version of the block.",
     "applicability": {
      "exit_code": 1,
      "line": 14,
      "method": "literal_patch",
      "occurrences": 1,
      "patched_sha": "19a55afb986b",
      "reason": "the patched example does not run on 7.0.2: exit code 1, ReferenceError: stripTypeScriptTypes is not defined",
      "run_on": "7.0.2",
      "status": "fails"
     },
     "by_notes": true,
     "changelog_ref": {
      "quote": "target: es5 is no longer supported.",
      "url": "https://github.com/microsoft/TypeScript/releases/tag/v7.0.2"
     },
     "confirmations": 1,
     "detect": [
      "ts.ScriptTarget.ES5"
     ],
     "equivalence": "differs",
     "format": "fragment",
     "kind": "behavior_changed",
     "right": "const result = {\noutputText: stripTypeScriptTypes(source, { mode: \"transform\" })\n};",
     "seen_in_models": [
      "gpt-6.1-sol"
     ],
     "wrong": "const result = ts.transpileModule(source, {\ncompilerOptions: {\ntarget: ts.ScriptTarget.ES5,\nmodule: ts.ModuleKind.CommonJS\n}\n});"
    }
   ],
   "applicability": {
    "method": "literal_patch",
    "reason": "format removed: there is no replacement to apply",
    "run_on": "7.0.2",
    "status": "not_applicable"
   },
   "by_notes": false,
   "changelog_ref": {
    "quote": "",
    "url": ""
   },
   "confirmations": {
    "failed": 0,
    "worked": 22
   },
   "detect": [
    "ts.ScriptTarget.ES2020"
   ],
   "ecosystem": "npm",
   "equivalence": "same",
   "error_kind": "undefined_prop",
   "error_signature": {
    "message": "Cannot read properties of undefined (reading 'ES2020')",
    "norm": "undefined_prop:es2020",
    "type": "TypeError"
   },
   "first_seen": "2026-10-20T16:11:13+00:00",
   "format": "removed",
   "format_version": 2,
   "id": "npm/typescript/7.0.2/0001",
   "json": "https://formachines.ai/errata/npm/typescript/0001-baseurl/index.json",
   "kind": "removed",
   "package": "typescript",
   "proof": {
    "applicability": {
     "method": "literal_patch",
     "reason": "format removed: there is no replacement to apply",
     "run_on": "7.0.2",
     "status": "not_applicable"
    },
    "auto_apply": false,
    "auto_apply_reason": "the patch gives not_applicable when applied word for word",
    "auto_apply_rule": "Automatic application is allowed only when proof.equivalent is true and proof.applicability.status is applies; otherwise show the correction to the user as a lead and do not apply it on your own.",
    "equivalence": "same",
    "equivalent": true,
    "fails_on": "7.0.2",
    "fixed_on": "7.0.2",
    "level": "differential",
    "method": {
     "fix_on": "7.0.2",
     "name": "stdout_match",
     "normalization": "lines stripped, blank lines dropped, runs of whitespace collapsed; memory addresses, timestamps and temporary paths masked",
     "original_on": "6.0.2",
     "scope": "the observable stdout of one example script; return values, files, other inputs and exception types are not compared, so a match is not a proof of equivalent behaviour"
    },
    "works_on": "6.0.2"
   },
   "right": "",
   "seen_in_models": [
    "claude-sonnet-5-5",
    "gpt-6.1-sol",
    "gemini-3.8-flash"
   ],
   "seq": 1,
   "slug": "baseurl",
   "source": "pipeline",
   "symbol": "ts.ScriptTarget",
   "updated": "2026-10-27T17:20:00+00:00",
   "url": "https://formachines.ai/errata/npm/typescript/0001-baseurl/",
   "variant_confirmations": 16,
   "variant_models": [
    "gpt-6.1-sol",
    "claude-sonnet-5-5",
    "gemini-3.8-flash"
   ],
   "verified": "sandbox",
   "versions": {
    "changed_in": ">6.0.2,<=7.0.2",
    "fails_on": "7.0.2",
    "works_on": "6.0.2"
   },
   "wrong": "target: ts.ScriptTarget.ES2020,"
  },
  {
   "action": "Not for automatic application — the patched example does not run on 7.0.2: exit code 1, TypeError: Cannot read properties of undefined (reading 'Node10'). Show this correction to the user as a lead. Replace the old line with the new one; the rest of the code can stay.",
   "alternatives": [
    {
     "action": "Not for automatic application — format removed: there is no replacement to apply. Show this correction to the user as a lead. ts.ModuleKind is not available in typescript 7.0.2; remove or replace this use. The same code works on typescript 6.0.2: pin a version before 7.0.2 if you cannot change the code. Release notes: import express from \"express\";",
     "applicability": {
      "method": "literal_patch",
      "reason": "format removed: there is no replacement to apply",
      "run_on": "7.0.2",
      "status": "not_applicable"
     },
     "by_notes": true,
     "changelog_ref": {
      "quote": "esModuleInterop and allowSyntheticDefaultImports cannot be set to false.",
      "url": "https://github.com/microsoft/TypeScript/releases/tag/v7.0.2"
     },
     "confirmations": 10,
     "detect": [
      "ts.ModuleKind.CommonJS"
     ],
     "equivalence": "not_comparable",
     "format": "removed",
     "kind": "removed",
     "right": "",
     "seen_in_models": [
      "claude-sonnet-5-5",
      "gemini-3.8-flash",
      "gpt-6.1-sol"
     ],
     "wrong": "module: ts.ModuleKind.CommonJS,"
    }
   ],
   "applicability": {
    "exit_code": 1,
    "line": 35,
    "method": "literal_patch",
    "occurrences": 1,
    "patched_sha": "00a3fd63c357",
    "reason": "the patched example does not run on 7.0.2: exit code 1, TypeError: Cannot read properties of undefined (reading 'Node10')",
    "run_on": "7.0.2",
    "status": "fails"
   },
   "by_notes": false,
   "changelog_ref": {
    "quote": "",
    "url": ""
   },
   "confirmations": {
    "failed": 0,
    "worked": 14
   },
   "detect": [
    "ts.ModuleKind.CommonJS"
   ],
   "ecosystem": "npm",
   "equivalence": "same",
   "error_kind": "undefined_prop",
   "error_signature": {
    "message": "Cannot read properties of undefined (reading 'CommonJS')",
    "norm": "undefined_prop:commonjs",
    "type": "TypeError"
   },
   "first_seen": "2026-10-20T16:11:13+00:00",
   "format": "replace",
   "format_version": 2,
   "id": "npm/typescript/7.0.2/0004",
   "json": "https://formachines.ai/errata/npm/typescript/0004-moduleresolution-node/index.json",
   "kind": "changed",
   "package": "typescript",
   "proof": {
    "applicability": {
     "exit_code": 1,
     "line": 35,
     "method": "literal_patch",
     "occurrences": 1,
     "patched_sha": "00a3fd63c357",
     "reason": "the patched example does not run on 7.0.2: exit code 1, TypeError: Cannot read properties of undefined (reading 'Node10')",
     "run_on": "7.0.2",
     "status": "fails"
    },
    "auto_apply": false,
    "auto_apply_reason": "the patch gives fails when applied word for word",
    "auto_apply_rule": "Automatic application is allowed only when proof.equivalent is true and proof.applicability.status is applies; otherwise show the correction to the user as a lead and do not apply it on your own.",
    "equivalence": "same",
    "equivalent": true,
    "fails_on": "7.0.2",
    "fixed_on": "7.0.2",
    "level": "differential",
    "method": {
     "fix_on": "7.0.2",
     "name": "stdout_match",
     "normalization": "lines stripped, blank lines dropped, runs of whitespace collapsed; memory addresses, timestamps and temporary paths masked",
     "original_on": "6.0.2",
     "scope": "the observable stdout of one example script; return values, files, other inputs and exception types are not compared, so a match is not a proof of equivalent behaviour"
    },
    "works_on": "6.0.2"
   },
   "right": "module: 'commonjs',",
   "seen_in_models": [
    "gpt-6.1-sol",
    "claude-sonnet-5-5",
    "gemini-3.8-flash"
   ],
   "seq": 4,
   "slug": "moduleresolution-node",
   "source": "pipeline",
   "symbol": "ts.ModuleKind",
   "updated": "2026-10-27T17:19:59+00:00",
   "url": "https://formachines.ai/errata/npm/typescript/0004-moduleresolution-node/",
   "variant_confirmations": 4,
   "variant_models": [
    "gpt-6.1-sol"
   ],
   "verified": "sandbox",
   "versions": {
    "changed_in": ">6.0.2,<=7.0.2",
    "fails_on": "7.0.2",
    "works_on": "6.0.2"
   },
   "wrong": "module: ts.ModuleKind.CommonJS,"
  }
 ],
 "fails_on": [
  "7.0.2"
 ],
 "license": "https://creativecommons.org/licenses/by/4.0/",
 "models": [
  {
   "checked": 24,
   "model": "claude-sonnet-5-5",
   "outdated": 20,
   "share": 0.83
  },
  {
   "checked": 24,
   "model": "gpt-6.1-sol",
   "outdated": 20,
   "share": 0.83
  },
  {
   "checked": 12,
   "model": "gemini-3.8-flash",
   "outdated": 10,
   "share": 0.83
  }
 ],
 "new_version": "7.0.2",
 "old_version": "6.0.2",
 "package": "typescript",
 "updated": "2026-10-27"
}