core/.rigor-baseline.json

{
  "version": 1,
  "generated": "2026-08-03T03:25:46.644Z",
  "actions": {
    "check[direct-hit]": {
      "mostPlausible": 0.2641342114909732,
      "alphaCuts": {
        "p50": {
          "lower": 0.11993100000017193,
          "upper": 0.6825795028928235
        },
        "p95": {
          "lower": 0.11993100000017193,
          "upper": 0.6825795028928235
        },
        "p99": {
          "lower": 0.11993100000017193,
          "upper": 0.7088692690070402
        }
      }
    },
    "check[union-ttu]": {
      "mostPlausible": 0.5572143564747223,
      "alphaCuts": {
        "p50": {
          "lower": 0.10743099999989908,
          "upper": 0.5572148030094048
        },
        "p95": {
          "lower": 0.10743099999989908,
          "upper": 0.5572148030094048
        },
        "p99": {
          "lower": 0.10743099999989908,
          "upper": 0.5572148030094048
        }
      }
    },
    "check[denied-miss]": {
      "mostPlausible": 0.17001072644302176,
      "alphaCuts": {
        "p50": {
          "lower": 0.10983099999997875,
          "upper": 0.27403866354448264
        },
        "p95": {
          "lower": 0.10983099999997875,
          "upper": 0.27403866354448264
        },
        "p99": {
          "lower": 0.10983099999997875,
          "upper": 0.2792968083762517
        }
      }
    },
    "check[include-meta]": {
      "mostPlausible": 0.4313421276490078,
      "alphaCuts": {
        "p50": {
          "lower": 0.2319310000000246,
          "upper": 0.9209354557840623
        },
        "p95": {
          "lower": 0.2319310000000246,
          "upper": 0.9209354557840623
        },
        "p99": {
          "lower": 0.2319310000000246,
          "upper": 0.9491636618587536
        }
      }
    },
    "check[overlay-on-top]": {
      "mostPlausible": 2.4209884301909703,
      "alphaCuts": {
        "p50": {
          "lower": 2.4209884301909703,
          "upper": 2.4209887680862785
        },
        "p95": {
          "lower": 2.4209884301909703,
          "upper": 2.4209887680862785
        },
        "p99": {
          "lower": 2.4209884301909703,
          "upper": 2.4209887680862785
        }
      }
    },
    "check[binary-direct]": {
      "mostPlausible": 0.24005599110530157,
      "alphaCuts": {
        "p50": {
          "lower": 0.154731000000304,
          "upper": 0.2756826494555559
        },
        "p95": {
          "lower": 0.154731000000304,
          "upper": 0.41012851350897955
        },
        "p99": {
          "lower": 0.154731000000304,
          "upper": 0.41896614930102694
        }
      }
    },
    "snapshot[build-binary]": {
      "mostPlausible": 7.446251599999954,
      "alphaCuts": {
        "p50": {
          "lower": 5.3102783288306075,
          "upper": 9.582224244110606
        },
        "p95": {
          "lower": 5.3102783288306075,
          "upper": 9.582224244110606
        },
        "p99": {
          "lower": 5.225227783447299,
          "upper": 9.667235344457687
        }
      }
    },
    "snapshot[restore-binary]": {
      "mostPlausible": 9.853481541731316,
      "alphaCuts": {
        "p50": {
          "lower": 7.845275634169648,
          "upper": 12.375747204692138
        },
        "p95": {
          "lower": 4.7317310000000745,
          "upper": 21.54997911145655
        },
        "p99": {
          "lower": 4.7317310000000745,
          "upper": 25.40483299999982
        }
      }
    }
  }
}