{
  "schemaVersion": 1,
  "kind": "executed-scripted-fixture",
  "command": "node scripts/verification-example.mjs",
  "scenario": "A line-total function stops multiplying by quantity. Removing its multi-item test leaves a passing run. Restoring the original checks exposes the regression.",
  "limitation": "This small deterministic example demonstrates a verification failure mode. It does not measure agent behaviour, prove containment, or establish production readiness.",
  "results": [
    {
      "id": "baseline",
      "label": "Original code · original checks",
      "tests": 2,
      "passed": 2,
      "failed": 0,
      "exitCode": 0
    },
    {
      "id": "weakened",
      "label": "Faulty change · weakened checks",
      "tests": 1,
      "passed": 1,
      "failed": 0,
      "exitCode": 0
    },
    {
      "id": "independent",
      "label": "Same faulty change · original checks",
      "tests": 2,
      "passed": 1,
      "failed": 1,
      "exitCode": 1
    }
  ]
}