{
  "oracle": "Independent before-execution literal cases and recursive exact Python types/keys/values; no expected index is computed from implementation or PrefixOK.",
  "rows": [
    {
      "variant": "baseline",
      "case": "nil",
      "expectedIndex": 0,
      "actualIndex": 0,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "baseline",
      "case": "empty",
      "expectedIndex": 0,
      "actualIndex": 0,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "baseline",
      "case": "negative-first",
      "expectedIndex": 0,
      "actualIndex": 2,
      "responseMatches": false,
      "inputUnchangedIncludingNilness": true,
      "accepted": false
    },
    {
      "variant": "baseline",
      "case": "negative-middle",
      "expectedIndex": 1,
      "actualIndex": 1,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "baseline",
      "case": "negative-last",
      "expectedIndex": 2,
      "actualIndex": 2,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "baseline",
      "case": "zero-only",
      "expectedIndex": 1,
      "actualIndex": 1,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "baseline",
      "case": "all-nonnegative",
      "expectedIndex": 3,
      "actualIndex": 3,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "corrected",
      "case": "nil",
      "expectedIndex": 0,
      "actualIndex": 0,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "corrected",
      "case": "empty",
      "expectedIndex": 0,
      "actualIndex": 0,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "corrected",
      "case": "negative-first",
      "expectedIndex": 0,
      "actualIndex": 0,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "corrected",
      "case": "negative-middle",
      "expectedIndex": 1,
      "actualIndex": 1,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "corrected",
      "case": "negative-last",
      "expectedIndex": 2,
      "actualIndex": 2,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "corrected",
      "case": "zero-only",
      "expectedIndex": 1,
      "actualIndex": 1,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "corrected",
      "case": "all-nonnegative",
      "expectedIndex": 3,
      "actualIndex": 3,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "weak",
      "case": "nil",
      "expectedIndex": 0,
      "actualIndex": 0,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "weak",
      "case": "empty",
      "expectedIndex": 0,
      "actualIndex": 0,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "weak",
      "case": "negative-first",
      "expectedIndex": 0,
      "actualIndex": 2,
      "responseMatches": false,
      "inputUnchangedIncludingNilness": true,
      "accepted": false
    },
    {
      "variant": "weak",
      "case": "negative-middle",
      "expectedIndex": 1,
      "actualIndex": 1,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "weak",
      "case": "negative-last",
      "expectedIndex": 2,
      "actualIndex": 2,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "weak",
      "case": "zero-only",
      "expectedIndex": 1,
      "actualIndex": 1,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    },
    {
      "variant": "weak",
      "case": "all-nonnegative",
      "expectedIndex": 3,
      "actualIndex": 3,
      "responseMatches": true,
      "inputUnchangedIncludingNilness": true,
      "accepted": true
    }
  ],
  "casesPerVariant": 7,
  "operationCalls": 21,
  "passedByVariant": {
    "baseline": 6,
    "corrected": 7,
    "weak": 6
  }
}