{
  "status": "PASS",
  "version": "0.1",
  "reading_edition": "0.11",
  "physical_promotion": 0,
  "old_f": [
    4,
    6,
    4,
    1
  ],
  "new_f": [
    15,
    50,
    60,
    24
  ],
  "dimensions": {
    "old": 15,
    "subdivided": 149,
    "complement": 134
  },
  "source_subdivision_gram_factors": [
    1,
    2,
    6,
    24
  ],
  "boundary_chain_identity": true,
  "old_boundary_ranks": [
    3,
    3,
    1
  ],
  "fine_boundary_ranks": [
    14,
    36,
    24
  ],
  "complement_boundary_ranks": [
    11,
    33,
    23
  ],
  "affine_retraction_chain_identity": true,
  "retraction_left_inverse": true,
  "unit_euclidean_generator_vertex_defect_squared": [
    "7",
    "7",
    "7",
    "7"
  ],
  "bounded_S_over_sqrt24_vertex_defect_squared": [
    "7/24",
    "7/24",
    "7/24",
    "7/24"
  ],
  "naive_factorial_metric_vertex_generator_defect_squared": [
    "11",
    "11",
    "11",
    "11"
  ],
  "metric_cases": [
    {
      "complement_degree_weights": [
        "1",
        "1",
        "1",
        "1"
      ],
      "all_three_conditions": "PASS",
      "positive_definite": "Exact split-norm proof; no numerical eigenvalue inference",
      "nonzero_off_diagonal_entries": 4182,
      "sample_coordinate_norms": {
        "0": {
          "coordinate": [
            1
          ],
          "metric_diagonal": "1"
        },
        "1": {
          "coordinate": [
            1,
            3
          ],
          "metric_diagonal": "3/4"
        },
        "2": {
          "coordinate": [
            1,
            3,
            7
          ],
          "metric_diagonal": "31/36"
        },
        "3": {
          "coordinate": [
            1,
            3,
            7,
            15
          ],
          "metric_diagonal": "553/576"
        }
      }
    },
    {
      "complement_degree_weights": [
        "2",
        "2",
        "2",
        "2"
      ],
      "all_three_conditions": "PASS",
      "positive_definite": "Exact split-norm proof; no numerical eigenvalue inference",
      "nonzero_off_diagonal_entries": 4182,
      "sample_coordinate_norms": {
        "0": {
          "coordinate": [
            1
          ],
          "metric_diagonal": "1"
        },
        "1": {
          "coordinate": [
            1,
            3
          ],
          "metric_diagonal": "5/4"
        },
        "2": {
          "coordinate": [
            1,
            3,
            7
          ],
          "metric_diagonal": "61/36"
        },
        "3": {
          "coordinate": [
            1,
            3,
            7,
            15
          ],
          "metric_diagonal": "1105/576"
        }
      }
    },
    {
      "complement_degree_weights": [
        "1/2",
        "2",
        "3",
        "4"
      ],
      "all_three_conditions": "PASS",
      "positive_definite": "Exact split-norm proof; no numerical eigenvalue inference",
      "nonzero_off_diagonal_entries": 4182,
      "sample_coordinate_norms": {
        "0": {
          "coordinate": [
            1
          ],
          "metric_diagonal": "1"
        },
        "1": {
          "coordinate": [
            1,
            3
          ],
          "metric_diagonal": "5/4"
        },
        "2": {
          "coordinate": [
            1,
            3,
            7
          ],
          "metric_diagonal": "91/36"
        },
        "3": {
          "coordinate": [
            1,
            3,
            7,
            15
          ],
          "metric_diagonal": "2209/576"
        }
      }
    }
  ],
  "weighted_adjoint_check": "BP^T H S=H S B^T; SPD makes this equivalent to weighted-adjoint intertwining",
  "sqrt2_role": "Only the edge degree factor among factorial normalizations; not universal subdivision or feedback law",
  "source_selected_metric": "OPEN",
  "source_selected_retraction": "OPEN",
  "independent_human_review": "PENDING",
  "scope": "Exact conditional metric extension, constructor-team checks. Original Euclidean no-go unchanged; no physical norm/time or funded event law.",
  "checker_sha256": "1bc01c94ac77a723622060736f0c4cf586fceefea1a037ac899f65ee3d6d414f"
}