{
  "schema": "ordinary-joint-core-checks/v1",
  "field": "Q with symbolic positive psi-prime factor",
  "partial_coordinate_sums": [
    {
      "N": 1,
      "vector_norm_squared": "1",
      "normalized_derivative_norm_squared": 1
    },
    {
      "N": 2,
      "vector_norm_squared": "5/4",
      "normalized_derivative_norm_squared": 2
    },
    {
      "N": 3,
      "vector_norm_squared": "49/36",
      "normalized_derivative_norm_squared": 3
    },
    {
      "N": 4,
      "vector_norm_squared": "205/144",
      "normalized_derivative_norm_squared": 4
    },
    {
      "N": 5,
      "vector_norm_squared": "5269/3600",
      "normalized_derivative_norm_squared": 5
    },
    {
      "N": 6,
      "vector_norm_squared": "5369/3600",
      "normalized_derivative_norm_squared": 6
    },
    {
      "N": 7,
      "vector_norm_squared": "266681/176400",
      "normalized_derivative_norm_squared": 7
    },
    {
      "N": 8,
      "vector_norm_squared": "1077749/705600",
      "normalized_derivative_norm_squared": 8
    },
    {
      "N": 9,
      "vector_norm_squared": "9778141/6350400",
      "normalized_derivative_norm_squared": 9
    },
    {
      "N": 10,
      "vector_norm_squared": "1968329/1270080",
      "normalized_derivative_norm_squared": 10
    }
  ],
  "nested_cutoff_supports": [
    {
      "k": 1,
      "epsilon": "1/4",
      "next_epsilon": "1/16",
      "strict_next_plateau_on_previous_support": true
    },
    {
      "k": 2,
      "epsilon": "1/16",
      "next_epsilon": "1/64",
      "strict_next_plateau_on_previous_support": true
    },
    {
      "k": 3,
      "epsilon": "1/64",
      "next_epsilon": "1/256",
      "strict_next_plateau_on_previous_support": true
    },
    {
      "k": 4,
      "epsilon": "1/256",
      "next_epsilon": "1/1024",
      "strict_next_plateau_on_previous_support": true
    }
  ],
  "compact_probability_fibres_retained": true,
  "whole_vector_boundary_estimate_proved_in_text": true,
  "source_essential_full_joint_core_proved_in_text": true,
  "actual_entire_inverse_class_retained": true,
  "transported_operator_graph_domains_retained": true,
  "canonical_normal_covariance_proved": false,
  "full_normal_source_domain_preservation_proved": false,
  "original_physical_sum_proved": false,
  "original_Bott_comparison_proved": false,
  "finite_samples_prove_infinite_domain_claim": false,
  "canvas": [
    1800,
    1430
  ],
  "text_canvas_overflows": []
}