core/.rigor-baseline.json

{
  "version": 1,
  "generated": "2026-08-03T22:37:59.060Z",
  "actions": {
    "check[direct-hit]": {
      "mostPlausible": 0.10672237227527051,
      "alphaCuts": {
        "p50": {
          "lower": 0.105663874043709,
          "upper": 0.10779178510155751
        },
        "p95": {
          "lower": 0.10367558838055704,
          "upper": 0.10985914641251807
        },
        "p99": {
          "lower": 0.10273583797909441,
          "upper": 0.11086333384764993
        }
      }
    },
    "check[union-ttu]": {
      "mostPlausible": 0.11249228961043199,
      "alphaCuts": {
        "p50": {
          "lower": 0.111604019277894,
          "upper": 0.11338800600185026
        },
        "p95": {
          "lower": 0.10993048219120201,
          "upper": 0.11511402952231622
        },
        "p99": {
          "lower": 0.1091378967617418,
          "upper": 0.11594970606842417
        }
      }
    },
    "check[denied-miss]": {
      "mostPlausible": 0.08747524001151907,
      "alphaCuts": {
        "p50": {
          "lower": 0.08668417849217541,
          "upper": 0.08827353325683636
        },
        "p95": {
          "lower": 0.085196295997943,
          "upper": 0.08981478022606769
        },
        "p99": {
          "lower": 0.08449268650925873,
          "upper": 0.09056310270952082
        }
      }
    },
    "check[include-meta]": {
      "mostPlausible": 0.17368093893555905,
      "alphaCuts": {
        "p50": {
          "lower": 0.17235808249234505,
          "upper": 0.17501399072522753
        },
        "p95": {
          "lower": 0.1698647154489402,
          "upper": 0.17758260042495247
        },
        "p99": {
          "lower": 0.16868343694884977,
          "upper": 0.178826872871734
        }
      }
    },
    "check[overlay-on-top]": {
      "mostPlausible": 0.34658090606556824,
      "alphaCuts": {
        "p50": {
          "lower": 0.343563635087355,
          "upper": 0.3496248120197711
        },
        "p95": {
          "lower": 0.33788494447103923,
          "upper": 0.3555006559358586
        },
        "p99": {
          "lower": 0.33519739588838326,
          "upper": 0.35835082770353416
        }
      }
    },
    "check[binary-direct]": {
      "mostPlausible": 0.10136432040214981,
      "alphaCuts": {
        "p50": {
          "lower": 0.10038730449515523,
          "upper": 0.10235072528492808
        },
        "p95": {
          "lower": 0.0985518364498951,
          "upper": 0.10425698760463886
        },
        "p99": {
          "lower": 0.09768455509480933,
          "upper": 0.10518292733500886
        }
      }
    },
    "snapshot[build-binary]": {
      "mostPlausible": 2.848037533444555,
      "alphaCuts": {
        "p50": {
          "lower": 2.827413825511722,
          "upper": 2.868811889350609
        },
        "p95": {
          "lower": 2.788520370277795,
          "upper": 2.9088252291455836
        },
        "p99": {
          "lower": 2.770077133158435,
          "upper": 2.9281936091667653
        }
      }
    },
    "snapshot[restore-binary]": {
      "mostPlausible": 2.9488926124434385,
      "alphaCuts": {
        "p50": {
          "lower": 2.9247809483999716,
          "upper": 2.9732031186198484
        },
        "p95": {
          "lower": 2.8793716893148757,
          "upper": 3.020092288118393
        },
        "p99": {
          "lower": 2.8578657882531426,
          "upper": 3.0428172805315117
        }
      }
    }
  }
}