{
  "status": "PASS",
  "version": "0.1",
  "reading_edition": "0.12",
  "physical_promotion": 0,
  "scope": "Exact conditional selector/classification; sources do not adopt selector axioms. Constructor-team only.",
  "metric_witnesses": [
    {
      "complement_weight": "1/2",
      "fine_barycenter_norm_squared": "5/4",
      "observable_cases": [
        {
          "lambda": "0",
          "value": "1/2",
          "fraction": "2/5",
          "complement_blind": true
        },
        {
          "lambda": "1/2",
          "value": "7/8",
          "fraction": "7/10",
          "complement_blind": false
        },
        {
          "lambda": "1",
          "value": "5/4",
          "fraction": "1",
          "complement_blind": false
        }
      ]
    },
    {
      "complement_weight": "1",
      "fine_barycenter_norm_squared": "2",
      "observable_cases": [
        {
          "lambda": "0",
          "value": "1/2",
          "fraction": "1/4",
          "complement_blind": true
        },
        {
          "lambda": "1/2",
          "value": "5/4",
          "fraction": "5/8",
          "complement_blind": false
        },
        {
          "lambda": "1",
          "value": "2",
          "fraction": "1",
          "complement_blind": false
        }
      ]
    },
    {
      "complement_weight": "2",
      "fine_barycenter_norm_squared": "7/2",
      "observable_cases": [
        {
          "lambda": "0",
          "value": "1/2",
          "fraction": "1/7",
          "complement_blind": true
        },
        {
          "lambda": "1/2",
          "value": "2",
          "fraction": "4/7",
          "complement_blind": false
        },
        {
          "lambda": "1",
          "value": "7/2",
          "fraction": "1",
          "complement_blind": false
        }
      ]
    }
  ],
  "fixed_carrier_source_metric": "I in declared orthonormal simplex coordinates",
  "cross_refinement_metric_source_selection": "OPEN",
  "full_metric_classification": "Chain retraction plus positive complement pairing",
  "conditional_metric": "H*=R^T G R+Q^T Q, after explicit unit residual calibration and orthogonal split",
  "conditional_observable": "K_U=R^T D_U R, after positive code calibration and complement blindness",
  "complete_effect_count": 16,
  "fine_barycenter_complete_fractions": [
    "1/8",
    "1/8",
    "0",
    "0",
    "0",
    "0",
    "0",
    "0",
    "0",
    "0",
    "0",
    "0",
    "0",
    "0",
    "0",
    "3/4"
  ],
  "coarse_current_replays": 16,
  "diagonal_metric_no_go": {
    "old_vertex": 0,
    "fine_flag": [
      2,
      3
    ],
    "weighted_raise_coefficient": "0 for any positive diagonal H",
    "transported_raise_coefficient": "1"
  },
  "source_selected_axioms": false,
  "independent_human_review": "PENDING",
  "checker_sha256": "cdcb024c6567f8003092d46326c766bc8a02112df24ac20dd87818d074bac5eb",
  "subdivision_checker_sha256": "1bc01c94ac77a723622060736f0c4cf586fceefea1a037ac899f65ee3d6d414f"
}