packaged_replay/claim2.json

{
  "assessment": "falsified",
  "literal_reason": "The registered strict-positivity clause fails at the Corollary-2 identity-covariance constant-b boundary, where lambda=b and both exact and displayed optimal risks are zero.",
  "nonuniform_positive_optimal_risk": 0.013199999999999996,
  "proportionality_cells": [
    {
      "b": 0.025,
      "lambda_star": 0.025,
      "ratio": 1.0
    },
    {
      "b": 0.05,
      "lambda_star": 0.05,
      "ratio": 1.0
    },
    {
      "b": 0.1,
      "lambda_star": 0.1,
      "ratio": 1.0
    },
    {
      "b": 0.2,
      "lambda_star": 0.2,
      "ratio": 1.0
    },
    {
      "b": 0.3,
      "lambda_star": 0.3,
      "ratio": 1.0
    }
  ],
  "registered_conjunction_false": true,
  "uniform_exact_fixed_point_risk": 0.0,
  "uniform_lambda_star": 0.2,
  "uniform_leading_optimal_risk": 6.938893903907228e-18,
  "uniform_nonzero_b": 0.2
}