File size: 894 Bytes
4adaccc
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
{
  "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
}