{
  "schema": "sots-abi-heldout/1",
  "session": "run-d94d4516b9d898793318805e",
  "binary_sha256": "970b7de729956a53094c7eb98aba4270aee98e2fed5daf0d39e290013c90c841",
  "challenge": "direct PE exact versus minus-one/plus-one shifted return encodings",
  "ablations": [
    {
      "name": "observed-alloc",
      "address": "0x57e5e3",
      "expected": "c20400",
      "exact": "c20400",
      "minus_one": "5dc204",
      "plus_one": "0400cc",
      "exact_pass": true,
      "shifted_negative_control_pass": true
    },
    {
      "name": "player-append",
      "address": "0x86c62d",
      "expected": "c20400",
      "exact": "c20400",
      "minus_one": "5dc204",
      "plus_one": "040055",
      "exact_pass": true,
      "shifted_negative_control_pass": true
    },
    {
      "name": "player-copy",
      "address": "0x7694bf",
      "expected": "c20400",
      "exact": "c20400",
      "minus_one": "5dc204",
      "plus_one": "0400cc",
      "exact_pass": true,
      "shifted_negative_control_pass": true
    },
    {
      "name": "observed-push",
      "address": "0x7b739e",
      "expected": "c20400",
      "exact": "c20400",
      "minus_one": "5dc204",
      "plus_one": "0400cc",
      "exact_pass": true,
      "shifted_negative_control_pass": true
    },
    {
      "name": "observed-realloc",
      "address": "0x7b35ee",
      "expected": "c20400",
      "exact": "c20400",
      "minus_one": "5dc204",
      "plus_one": "04008b",
      "exact_pass": true,
      "shifted_negative_control_pass": true
    },
    {
      "name": "string-alloc",
      "address": "0x424ad9",
      "expected": "c20800",
      "exact": "c20800",
      "minus_one": "5dc208",
      "plus_one": "08008b",
      "exact_pass": true,
      "shifted_negative_control_pass": true
    },
    {
      "name": "dedup",
      "address": "0x825e64",
      "expected": "c20800",
      "exact": "c20800",
      "minus_one": "5dc208",
      "plus_one": "0800cc",
      "exact_pass": true,
      "shifted_negative_control_pass": true
    }
  ],
  "branch_exposures": {
    "observed_stride_0x2c": true,
    "observed_deep_copy_call": true,
    "player_stride_0x74": true,
    "player_deep_copy_call": true,
    "player_three_delete_calls": true,
    "description_inequality_call": true,
    "dedup_stride_0x74": true,
    "three_float_unordered_or_unequal_rejections": true
  },
  "actual_state_checks": {
    "evnxid_has_4": true,
    "turn3_bucket_has_2": true,
    "event3_position_defaults": true,
    "whole_state_rebuild": true,
    "rng_leaf": true
  },
  "pass": true
}