{
  "calls": [
    {
      "argumentAfter": {
        "nil": true,
        "values": []
      },
      "argumentBefore": {
        "nil": true,
        "values": []
      },
      "callable": "example.org/loop-invariant-teaching/baseline.FirstNegative",
      "case": "nil",
      "functionFile": "example.org/loop-invariant-teaching/baseline/scan.go",
      "functionLine": 14,
      "returnedIndex": 0,
      "variant": "baseline"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": []
      },
      "argumentBefore": {
        "nil": false,
        "values": []
      },
      "callable": "example.org/loop-invariant-teaching/baseline.FirstNegative",
      "case": "empty",
      "functionFile": "example.org/loop-invariant-teaching/baseline/scan.go",
      "functionLine": 14,
      "returnedIndex": 0,
      "variant": "baseline"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          -1,
          2
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          -1,
          2
        ]
      },
      "callable": "example.org/loop-invariant-teaching/baseline.FirstNegative",
      "case": "negative-first",
      "functionFile": "example.org/loop-invariant-teaching/baseline/scan.go",
      "functionLine": 14,
      "returnedIndex": 2,
      "variant": "baseline"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          2,
          -1,
          3
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          2,
          -1,
          3
        ]
      },
      "callable": "example.org/loop-invariant-teaching/baseline.FirstNegative",
      "case": "negative-middle",
      "functionFile": "example.org/loop-invariant-teaching/baseline/scan.go",
      "functionLine": 14,
      "returnedIndex": 1,
      "variant": "baseline"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          2,
          0,
          -1
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          2,
          0,
          -1
        ]
      },
      "callable": "example.org/loop-invariant-teaching/baseline.FirstNegative",
      "case": "negative-last",
      "functionFile": "example.org/loop-invariant-teaching/baseline/scan.go",
      "functionLine": 14,
      "returnedIndex": 2,
      "variant": "baseline"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          0
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          0
        ]
      },
      "callable": "example.org/loop-invariant-teaching/baseline.FirstNegative",
      "case": "zero-only",
      "functionFile": "example.org/loop-invariant-teaching/baseline/scan.go",
      "functionLine": 14,
      "returnedIndex": 1,
      "variant": "baseline"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          1,
          0,
          3
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          1,
          0,
          3
        ]
      },
      "callable": "example.org/loop-invariant-teaching/baseline.FirstNegative",
      "case": "all-nonnegative",
      "functionFile": "example.org/loop-invariant-teaching/baseline/scan.go",
      "functionLine": 14,
      "returnedIndex": 3,
      "variant": "baseline"
    },
    {
      "argumentAfter": {
        "nil": true,
        "values": []
      },
      "argumentBefore": {
        "nil": true,
        "values": []
      },
      "callable": "example.org/loop-invariant-teaching/corrected.FirstNegative",
      "case": "nil",
      "functionFile": "example.org/loop-invariant-teaching/corrected/scan.go",
      "functionLine": 14,
      "returnedIndex": 0,
      "variant": "corrected"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": []
      },
      "argumentBefore": {
        "nil": false,
        "values": []
      },
      "callable": "example.org/loop-invariant-teaching/corrected.FirstNegative",
      "case": "empty",
      "functionFile": "example.org/loop-invariant-teaching/corrected/scan.go",
      "functionLine": 14,
      "returnedIndex": 0,
      "variant": "corrected"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          -1,
          2
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          -1,
          2
        ]
      },
      "callable": "example.org/loop-invariant-teaching/corrected.FirstNegative",
      "case": "negative-first",
      "functionFile": "example.org/loop-invariant-teaching/corrected/scan.go",
      "functionLine": 14,
      "returnedIndex": 0,
      "variant": "corrected"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          2,
          -1,
          3
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          2,
          -1,
          3
        ]
      },
      "callable": "example.org/loop-invariant-teaching/corrected.FirstNegative",
      "case": "negative-middle",
      "functionFile": "example.org/loop-invariant-teaching/corrected/scan.go",
      "functionLine": 14,
      "returnedIndex": 1,
      "variant": "corrected"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          2,
          0,
          -1
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          2,
          0,
          -1
        ]
      },
      "callable": "example.org/loop-invariant-teaching/corrected.FirstNegative",
      "case": "negative-last",
      "functionFile": "example.org/loop-invariant-teaching/corrected/scan.go",
      "functionLine": 14,
      "returnedIndex": 2,
      "variant": "corrected"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          0
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          0
        ]
      },
      "callable": "example.org/loop-invariant-teaching/corrected.FirstNegative",
      "case": "zero-only",
      "functionFile": "example.org/loop-invariant-teaching/corrected/scan.go",
      "functionLine": 14,
      "returnedIndex": 1,
      "variant": "corrected"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          1,
          0,
          3
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          1,
          0,
          3
        ]
      },
      "callable": "example.org/loop-invariant-teaching/corrected.FirstNegative",
      "case": "all-nonnegative",
      "functionFile": "example.org/loop-invariant-teaching/corrected/scan.go",
      "functionLine": 14,
      "returnedIndex": 3,
      "variant": "corrected"
    },
    {
      "argumentAfter": {
        "nil": true,
        "values": []
      },
      "argumentBefore": {
        "nil": true,
        "values": []
      },
      "callable": "example.org/loop-invariant-teaching/weak.FirstNegative",
      "case": "nil",
      "functionFile": "example.org/loop-invariant-teaching/weak/scan.go",
      "functionLine": 14,
      "returnedIndex": 0,
      "variant": "weak"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": []
      },
      "argumentBefore": {
        "nil": false,
        "values": []
      },
      "callable": "example.org/loop-invariant-teaching/weak.FirstNegative",
      "case": "empty",
      "functionFile": "example.org/loop-invariant-teaching/weak/scan.go",
      "functionLine": 14,
      "returnedIndex": 0,
      "variant": "weak"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          -1,
          2
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          -1,
          2
        ]
      },
      "callable": "example.org/loop-invariant-teaching/weak.FirstNegative",
      "case": "negative-first",
      "functionFile": "example.org/loop-invariant-teaching/weak/scan.go",
      "functionLine": 14,
      "returnedIndex": 2,
      "variant": "weak"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          2,
          -1,
          3
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          2,
          -1,
          3
        ]
      },
      "callable": "example.org/loop-invariant-teaching/weak.FirstNegative",
      "case": "negative-middle",
      "functionFile": "example.org/loop-invariant-teaching/weak/scan.go",
      "functionLine": 14,
      "returnedIndex": 1,
      "variant": "weak"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          2,
          0,
          -1
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          2,
          0,
          -1
        ]
      },
      "callable": "example.org/loop-invariant-teaching/weak.FirstNegative",
      "case": "negative-last",
      "functionFile": "example.org/loop-invariant-teaching/weak/scan.go",
      "functionLine": 14,
      "returnedIndex": 2,
      "variant": "weak"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          0
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          0
        ]
      },
      "callable": "example.org/loop-invariant-teaching/weak.FirstNegative",
      "case": "zero-only",
      "functionFile": "example.org/loop-invariant-teaching/weak/scan.go",
      "functionLine": 14,
      "returnedIndex": 1,
      "variant": "weak"
    },
    {
      "argumentAfter": {
        "nil": false,
        "values": [
          1,
          0,
          3
        ]
      },
      "argumentBefore": {
        "nil": false,
        "values": [
          1,
          0,
          3
        ]
      },
      "callable": "example.org/loop-invariant-teaching/weak.FirstNegative",
      "case": "all-nonnegative",
      "functionFile": "example.org/loop-invariant-teaching/weak/scan.go",
      "functionLine": 14,
      "returnedIndex": 3,
      "variant": "weak"
    }
  ],
  "goarch": "arm64",
  "goos": "darwin",
  "method": "Actual exported Go function calls; compiler coverage counts independently retain entry-block execution. Independent Python literal oracle evaluates output after calls.",
  "runtime": "go1.26.3"
}