{
  "scope": "Source formula proof and Python binary64 translation. Go was not executed. Settlement at result >= target is an explicit assumption; no deployed operator verified.",
  "assumption": "Uniform 52-bit h, positive targets strictly above 1x, inclusive settlement in cents; no entropy claim.",
  "rows": [
    {
      "edgeSettingPercent": 0,
      "target": 1.01,
      "firstWinningH": 45035996273705,
      "winningCount": 4458563631096791,
      "totalGridPoints": 4503599627370496,
      "translatedBinary64RtpFraction": "450314926740775891/450359962737049600",
      "translatedBinary64Rtp": 0.9999,
      "translatedBinary64EdgePercent": 0.010000000000000897,
      "realArithmeticFirstWinningH": 45035996273705,
      "continuousRtpFraction": "9999/10000",
      "continuousRtp": 0.9999
    },
    {
      "edgeSettingPercent": 0,
      "target": 2.0,
      "firstWinningH": 2263115390638441,
      "winningCount": 2240484236732055,
      "totalGridPoints": 4503599627370496,
      "translatedBinary64RtpFraction": "2240484236732055/2251799813685248",
      "translatedBinary64Rtp": 0.9949748743718589,
      "translatedBinary64EdgePercent": 0.5025125628141058,
      "realArithmeticFirstWinningH": 2263115390638441,
      "continuousRtpFraction": "198/199",
      "continuousRtp": 0.9949748743718593
    },
    {
      "edgeSettingPercent": 0,
      "target": 100.0,
      "firstWinningH": 4459009532049997,
      "winningCount": 44590095320499,
      "totalGridPoints": 4503599627370496,
      "translatedBinary64RtpFraction": "1114752383012475/1125899906842624",
      "translatedBinary64Rtp": 0.9900990099009688,
      "translatedBinary64EdgePercent": 0.9900990099031226,
      "realArithmeticFirstWinningH": 4459009532049997,
      "continuousRtpFraction": "100/101",
      "continuousRtp": 0.9900990099009901
    },
    {
      "edgeSettingPercent": 0,
      "target": 10000.0,
      "firstWinningH": 4503153770561530,
      "winningCount": 445856808966,
      "totalGridPoints": 4503599627370496,
      "translatedBinary64RtpFraction": "139330252801875/140737488355328",
      "translatedBinary64Rtp": 0.9900009899999063,
      "translatedBinary64EdgePercent": 0.9999010000093733,
      "realArithmeticFirstWinningH": 4503153770561530,
      "continuousRtpFraction": "10000/10101",
      "continuousRtp": 0.99000099000099
    },
    {
      "edgeSettingPercent": 5,
      "target": 1.01,
      "firstWinningH": 270080937173643,
      "winningCount": 4233518690196853,
      "totalGridPoints": 4503599627370496,
      "translatedBinary64RtpFraction": "427585387709882153/450359962737049600",
      "translatedBinary64Rtp": 0.9494302848575712,
      "translatedBinary64EdgePercent": 5.05697151424288,
      "realArithmeticFirstWinningH": 270080937173643,
      "continuousRtpFraction": "63327/66700",
      "continuousRtp": 0.9494302848575712
    },
    {
      "edgeSettingPercent": 5,
      "target": 2.0,
      "firstWinningH": 2375674257090692,
      "winningCount": 2127925370279804,
      "totalGridPoints": 4503599627370496,
      "translatedBinary64RtpFraction": "531981342569951/562949953421312",
      "translatedBinary64Rtp": 0.9449886963074601,
      "translatedBinary64EdgePercent": 5.501130369253993,
      "realArithmeticFirstWinningH": 2375674257090692,
      "continuousRtpFraction": "1254/1327",
      "continuousRtp": 0.9449886963074604
    },
    {
      "edgeSettingPercent": 5,
      "target": 100.0,
      "firstWinningH": 4461239248639098,
      "winningCount": 42360378731398,
      "totalGridPoints": 4503599627370496,
      "translatedBinary64RtpFraction": "529504734142475/562949953421312",
      "translatedBinary64Rtp": 0.9405893559887968,
      "translatedBinary64EdgePercent": 5.941064401120322,
      "realArithmeticFirstWinningH": 4461239248639098,
      "continuousRtpFraction": "188100/199981",
      "continuousRtp": 0.940589355988819
    },
    {
      "edgeSettingPercent": 5,
      "target": 10000.0,
      "firstWinningH": 4503176063423157,
      "winningCount": 423563947339,
      "totalGridPoints": 4503599627370496,
      "translatedBinary64RtpFraction": "264727467086875/281474976710656",
      "translatedBinary64Rtp": 0.9405008934737502,
      "translatedBinary64EdgePercent": 5.949910652624979,
      "realArithmeticFirstWinningH": 4503176063423157,
      "continuousRtpFraction": "18810000/19999981",
      "continuousRtp": 0.9405008934758488
    }
  ],
  "cpuSeconds": 0.00025299999999999975
}

STDERR
