{
  "fixtureId": "axiom-repair-v1",
  "implementationCommit": "163a7ca12d0bed2f5bb7db6261057c5153fb90e8",
  "selectedRoot": "documents/repair/main.tex",
  "firstCompilerResult": {
    "status": "failure",
    "targetFile": "documents/repair/main.tex",
    "summary": "./documents/repair/main.tex:9: Undefined control sequence.",
    "issues": [
      {
        "severity": "error",
        "path": "documents/repair/main.tex",
        "line": 9,
        "message": "./documents/repair/main.tex:9: Undefined control sequence."
      },
      {
        "severity": "error",
        "path": "documents/repair/main.tex",
        "line": 9,
        "message": "./documents/repair/main.tex:9:  ==> Fatal error occurred, no output PDF file pr"
      }
    ],
    "logExcerpt": "This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024) (preloaded format=pdflatex 2024.5.4)  30 AUG 2026 16:00\nentering extended mode\n restricted /write18 enabled.\n file:line:error style messages enabled.\n %&-line parsing enabled.\n**documents/repair/main.tex\n(./documents/repair/main.tex\nLaTeX2e <2023-11-01> patch level 1\nL3 programming layer <2024-02-20>\n(/usr/local/texlive/2024/texmf-dist/tex/latex/base/article.cls\nDocument Class: article 2023/05/17 v1.4n Standard LaTeX document class\n(/usr/local/texlive/2024/texmf-dist/tex/latex/base/size10.clo\nFile: size10.clo 2023/05/17 v1.4n Standard LaTeX file (size option)\n)\n/c@part=/count188\n/c@section=/count189\n/c@subsection=/count190\n/c@subsubsection=/count191\n/c@paragraph=/count192\n/c@subparagraph=/count193\n/c@figure=/count194\n/c@table=/count195\n/abovecaptionskip=/skip48\n/belowcaptionskip=/skip49\n/bibindent=/dimen140\n)\n(/usr/local/texlive/2024/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def\nFile: l3backend-pdftex.def 2024-02-20 L3 backend support: PDF output (pdfTeX)\n/l__color_backend_stack_int=/count196\n/l__pdf_internal_box=/box51\n)\n(documents/repair/main.aux)\n/openout1 = `main.aux'.\n\nLaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 7.\nLaTeX Font Info:    ... okay on input line 7.\nLaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 7.\nLaTeX Font Info:    ... okay on input line 7.\nLaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 7.\nLaTeX Font Info:    ... okay on input line 7.\nLaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 7.\nLaTeX Font Info:    ... okay on input line 7.\nLaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 7.\nLaTeX Font Info:    ... okay on input line 7.\nLaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 7.\nLaTeX Font Info:    ... okay on input line 7.\nLaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 7.\nLaTeX Font Info:    ... okay on input line 7.\n\n./documents/repair/main.tex:9: Undefined control sequence.\nl.9 /undefinedEvidenceCommand\n                             {first compiler error} \nHere is how much of TeX's memory you used:\n 425 strings out of 474116\n 8245 string characters out of 5743683\n 1925187 words of memory out of 5000000\n 22868 multiletter control sequences out of 15000+600000\n 558674 words of font info for 38 fonts, out of 8000000 for 9000\n 1141 hyphenation exceptions out of 8191\n 35i,0n,50p,187b,94s stack positions out of 10000i,1000n,20000p,200000b,200000s\n\n./documents/repair/main.tex:9:  ==> Fatal error occurred, no output PDF file pr\noduced!",
    "firstIssue": {
      "severity": "error",
      "path": "documents/repair/main.tex",
      "line": 9,
      "message": "./documents/repair/main.tex:9: Undefined control sequence."
    }
  },
  "boundedAction": {
    "tool": "replace_lines",
    "line": 9,
    "changedFileCount": 1,
    "change": {
      "linesBefore": 10,
      "linesAfter": 10,
      "linesAdded": 0,
      "linesRemoved": 0,
      "linesDelta": 0,
      "shaBefore": "73d1a0849282a21dc2d2e57baba6e437b563d26b7b6be1341596f8060d5850f8",
      "shaAfter": "f4e90bc6b2ab81eb903321194e7202e1cbf8cb7d56fe4f75431242db5397c22f"
    },
    "diffPath": "axiom-repair.diff",
    "diffSha256": "e0ba84aa72b68f5b678a067e0c18fefb6cbe3cd89eef75dfd78b9b115b894960"
  },
  "retry": {
    "status": "success",
    "targetFile": "documents/repair/main.tex",
    "summary": "Build succeeded",
    "issues": []
  },
  "output": {
    "pdf": {
      "path": "artifacts/axiom-repair.pdf",
      "bytes": 24645,
      "sha256": "f6a8f835f57d97a1f13dad9dfd5210a913b19d0e901dcd619291898461c925d2"
    },
    "text": "Bounded repair fixture The bounded repair replaced one unsupported command. 1"
  }
}