{
  "runtime": "v24.18.0",
  "caseOrigin": "Original fictional LIST-3 and Tiny Summary inputs;local model runs only",
  "formatRuns": [
    {
      "mode": "weak",
      "implementation": "correct",
      "exitCode": 0,
      "pass": 4,
      "fail": 0,
      "cases": [
        {
          "case": "W1",
          "pass": true
        },
        {
          "case": "W2",
          "pass": true
        },
        {
          "case": "W3",
          "pass": true
        },
        {
          "case": "W4",
          "pass": true
        }
      ]
    },
    {
      "mode": "weak",
      "implementation": "firstOnly",
      "exitCode": 0,
      "pass": 4,
      "fail": 0,
      "cases": [
        {
          "case": "W1",
          "pass": true
        },
        {
          "case": "W2",
          "pass": true
        },
        {
          "case": "W3",
          "pass": true
        },
        {
          "case": "W4",
          "pass": true
        }
      ]
    },
    {
      "mode": "weak",
      "implementation": "sortedUnique",
      "exitCode": 0,
      "pass": 4,
      "fail": 0,
      "cases": [
        {
          "case": "W1",
          "pass": true
        },
        {
          "case": "W2",
          "pass": true
        },
        {
          "case": "W3",
          "pass": true
        },
        {
          "case": "W4",
          "pass": true
        }
      ]
    },
    {
      "mode": "strong",
      "implementation": "correct",
      "exitCode": 0,
      "pass": 6,
      "fail": 0,
      "cases": [
        {
          "case": "C0",
          "pass": true
        },
        {
          "case": "C1",
          "pass": true
        },
        {
          "case": "C2",
          "pass": true
        },
        {
          "case": "C3",
          "pass": true
        },
        {
          "case": "C4",
          "pass": true
        },
        {
          "case": "C5",
          "pass": true
        }
      ]
    },
    {
      "mode": "strong",
      "implementation": "firstOnly",
      "exitCode": 1,
      "pass": 2,
      "fail": 4,
      "cases": [
        {
          "case": "C0",
          "pass": true
        },
        {
          "case": "C1",
          "pass": true
        },
        {
          "case": "C2",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- src/z.js\n",
          "expected": "- src/z.js\n- src/a.js\n"
        },
        {
          "case": "C3",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- src/a.js\n",
          "expected": "- src/a.js\n- src/a.js\n"
        },
        {
          "case": "C4",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- notes/Read Me.md\n",
          "expected": "- notes/Read Me.md\n- 界面/按钮.js\n"
        },
        {
          "case": "C5",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- docs/z.md\n",
          "expected": "- docs/z.md\n- src/app.js\n- docs/a.md\n"
        }
      ]
    },
    {
      "mode": "strong",
      "implementation": "sortedUnique",
      "exitCode": 1,
      "pass": 3,
      "fail": 3,
      "cases": [
        {
          "case": "C0",
          "pass": true
        },
        {
          "case": "C1",
          "pass": true
        },
        {
          "case": "C2",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- src/a.js\n- src/z.js\n",
          "expected": "- src/z.js\n- src/a.js\n"
        },
        {
          "case": "C3",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- src/a.js\n",
          "expected": "- src/a.js\n- src/a.js\n"
        },
        {
          "case": "C4",
          "pass": true
        },
        {
          "case": "C5",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- docs/a.md\n- docs/z.md\n- src/app.js\n",
          "expected": "- docs/z.md\n- src/app.js\n- docs/a.md\n"
        }
      ]
    },
    {
      "mode": "contradictory",
      "implementation": "correct",
      "exitCode": 1,
      "pass": 0,
      "fail": 1,
      "cases": [
        {
          "case": "BAD-SORTED-ORACLE",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- src/z.js\n- src/a.js\n",
          "expected": "- src/a.js\n- src/z.js\n"
        }
      ]
    },
    {
      "mode": "contradictory",
      "implementation": "firstOnly",
      "exitCode": 1,
      "pass": 0,
      "fail": 1,
      "cases": [
        {
          "case": "BAD-SORTED-ORACLE",
          "pass": false,
          "name": "AssertionError",
          "code": "ERR_ASSERTION",
          "actual": "- src/z.js\n",
          "expected": "- src/a.js\n- src/z.js\n"
        }
      ]
    },
    {
      "mode": "contradictory",
      "implementation": "sortedUnique",
      "exitCode": 0,
      "pass": 1,
      "fail": 0,
      "cases": [
        {
          "case": "BAD-SORTED-ORACLE",
          "pass": true
        }
      ]
    }
  ],
  "preservation": {
    "runtime": "v24.18.0",
    "proposalPreservesBytes": true,
    "rowCountCases": 5,
    "unchangedTotalOnNamedCase": 15,
    "negativeCases": [
      {
        "case": "title-reset",
        "rejected": true,
        "reason": "preserve human bytes: labels.mjs\n+ actual - expected\n\n+ 'export const REPORT_TITLE = \"Weekly summary\";\\n'\n- 'export const REPORT_TITLE = \"Weekly summary — preview\";\\n'\n"
      },
      {
        "case": "untracked-drop",
        "rejected": true,
        "reason": "preserve file inventory including untracked draft\n+ actual - expected\n\n  [\n    'README.md',\n    'labels.mjs',\n-   'notes/release-draft.md',\n    'summary.mjs'\n  ]\n"
      },
      {
        "case": "human-hunk-reset",
        "rejected": true,
        "reason": "preserve totalUnits human hunk\n+ actual - expected\n\n  'export function totalUnits(rows) {\\n' +\n+   '  return rows.reduce((sum, row) => sum + row.quantity, 0);\\n' +\n-   '  // Human draft: missing quantities need a decision.\\n' +\n-   '  return rows.reduce((sum, row) => sum + (row.quantity ?? 0), 0);\\n' +\n    '}\\n' +\n    '\\n'\n"
      },
      {
        "case": "baseline-only",
        "rejected": true,
        "reason": "preserve file inventory including untracked draft\n+ actual - expected\n\n  [\n    'README.md',\n    'labels.mjs',\n-   'notes/release-draft.md',\n    'summary.mjs'\n  ]\n"
      },
      {
        "case": "late-human-edit",
        "rejected": true,
        "reason": "captured working-file snapshot is stale;stop before proposing against changed bytes\n+ actual - expected\n... Skipped lines\n\n  {\n    'README.md': '# Tiny summary\\n\\nThe report shows a row count and unit total.\\n',\n    'labels.mjs': 'export const REPORT_TITLE = \"Weekly summary — preview\";\\n',\n    'notes/release-draft.md': '# Release draft\\n' +\n      '\\n' +\n...\n      'export function rowCount(rows) {\\n' +\n+     '  return -1; // Human draft, not agreed\\n' +\n-     '  return rows.length;\\n' +\n      '}\\n'\n  }\n"
      }
    ],
    "ambiguousTotalUnitsRequest": "HELD_NO_POLICY_SUPPLIED",
    "gitCommandsExecuted": 0,
    "realProjectFilesReadOrChanged": 0
  },
  "reproduceFormat": "node format-runner.mjs strong firstOnly",
  "reproducePreservation": "node preservation-check.mjs",
  "expectedFailureMeaning": "Wrong-code and contradictory-oracle cases deliberately exit1;raw assertion stacks retained separately in author audit logs.",
  "notEstablished": [
    "customer-project behavior",
    "exhaustive correctness",
    "real Git index/worktree handling",
    "concurrent application safety"
  ]
}