Listing: Listing

{
  "schema": "XVI-O1-ST.scope-ledger.v5",
  "scope_key_order": [
    "H", "A", "loop", "kappa_power", "external",
    "mass", "Psi", "prescription", "V", "R", "J"
  ],
  "scopes": {
    "s_Q03": {
      "H": "prescribed_cone_and_supported_lab",
      "A": "S_inv_PQ_normalization",
      "loop": 1,
      "kappa_power": 2,
      "external": "retained_bulk_two_point_QdS",
      "mass": 0,
      "Psi": "frozen_base_gauge_xi_1",
      "prescription": "XVI-P_p23_DRED_QdS_Q4S_MSbar_p22",
      "V": "11_p14r_over_Qi_plus_10_p22",
      "R": "23_named_rows_with_complete_scalar_expansions",
      "J": "Q03_bulk_11_4D_consistency_only"
    },
    "s_readout": {
      "base": "s_Q03",
      "patch": {
        "R": "D01_D03_D06_typeset_31_coefficients",
        "J": "component_mutations_and_attributed_ghost_equation"
      }
    },
    "s_phase": {
      "base": "s_readout",
      "patch": {
        "A": "cross_artifact_D01_array_comparison",
        "R": "14_exact_printed_coordinates",
        "J": "distinguish_f_tex_f_reg_and_a0"
      }
    },
    "s_grade": {
      "base": "s_Q03",
      "patch": {
        "A": "direct_cubic_to_quadratic_projection",
        "R": "21_direct_quadratic_coordinates",
        "J": "homogeneous_cubic_inputs_no_lowering_operation"
      }
    },
    "s_xi": {
      "base": "s_Q03",
      "patch": {
        "Psi": "declared_xi_family_xi_real_nonzero",
        "R": "complete_parameter_dependent_23_row_expansion",
        "J": "identified_gauge_family_consistency_maps"
      }
    },
    "s_kinetic": {
      "base": "s_xi",
      "patch": {
        "A": "declared_Q4S_kinetic_form",
        "loop": 0,
        "kappa_power": 0,
        "V": "symmetric_Q4S_tensors",
        "R": "rational_operator_inverse",
        "J": "trace_4_k_squared_nonzero_xi_nonzero"
      }
    },
    "s_xi_hh_restricted": {
      "base": "s_xi",
      "patch": {
        "A": "derivative_of_reported_hh_pole_block",
        "V": "source_restricted_Ktilde_X_h_primitive_image",
        "R": "source_declared_15_hh_structures",
        "J": "relaxed_rank_report_at_xi_1_and_2"
      }
    }
  },
  "results": [
    {
      "id": "Q03",
      "scope": "s_Q03",
      "status": "SUPPLIED_CLOSED",
      "evidence": "supplied_scientific_record",
      "new_replay": false,
      "original_matrix_artifact": null
    },
    {
      "id": "1a_tables",
      "scope": "s_readout",
      "status": "PROVED_FOR_PRINTED_DATA",
      "source_status": "Earned",
      "new_loop_execution": false,
      "independent_31_entry_engine_replay": false,
      "cross_artifact_dependency": "2a_phase_integrity"
    },
    {
      "id": "1b",
      "scope": "s_Q03",
      "status": "MISSING",
      "clean_machine_rebuild": false,
      "heterogeneous_rebuild": false
    },
    {
      "id": "1c",
      "scope": "s_grade",
      "status": "PROVED_GRADED",
      "matrix_shape": [21, 10],
      "rank": 0,
      "minor_rows": [],
      "minor_columns": [],
      "minor_determinant": "1",
      "left_kernel": "I_21",
      "universal_response_nonfeedback": false
    },
    {
      "id": "2a_propagator",
      "scope": "s_kinetic",
      "status": "PROVED_FOR_DECLARED_KINETIC_FORM",
      "action_hessian_reexecution": false
    },
    {
      "id": "2a_poles",
      "scope": "s_xi",
      "status": "SUPPLIED_RECORD",
      "printed_polynomial_arithmetic": "PROVED",
      "arithmetic_scope": [
        "degree", "13_of_14_variation", "formal_derivative"
      ],
      "D01_varying_structure_count": 13,
      "cross_artifact_phase_consistency": false,
      "new_loop_execution": false
    },
    {
      "id": "2a_phase_integrity",
      "scope": "s_phase",
      "status": "DISCREPANCY_RECORDED",
      "evidence": "exact_synthetic_witness",
      "python_index": 5,
      "displayed_structure": "B_6",
      "f_tex": "-4/3",
      "f_reg": "4/3",
      "a0": "4/3",
      "residual": "(8/3)*e_6",
      "original_matrix_artifact": null,
      "phase_consistent": false,
      "physical_sign_selected": false
    },
    {
      "id": "2a_restricted_hh",
      "scope": "s_xi_hh_restricted",
      "status": "SUPPLIED_RESTRICTED_OBSTRUCTION",
      "reported_rank": 7,
      "reported_augmented_rank": 8,
      "original_minor_artifact": null,
      "complete_left_kernel_artifact": null,
      "v4_recertified": false,
      "v5_recertified": false
    },
    {
      "id": "2a_full_exactness",
      "scope": "s_xi",
      "status": "OPEN",
      "enlarged_primitive_artifact": null,
      "enlargement_response_artifact": null,
      "physical_separator_artifact": null,
      "separator_construction": "Q_E*L_when_arrays_are_supplied"
    },
    {
      "id": "2a_full_rows",
      "scope": "s_xi",
      "status": "OPEN",
      "full_matrix_artifact": null
    },
    {"id": "2b_mass", "status": "PROGRAMME"},
    {"id": "2c_externals", "status": "PROGRAMME"},
    {"id": "3_three_point", "status": "OUTSIDE_Q03_SCOPE"},
    {"id": "4_four_point",
     "status": "PROGRAMME_RESOURCE_LIMIT_REPORTED"},
    {"id": "5_two_loop", "status": "PROGRAMME"}
  ],
  "historical_v4_source_flags": {
    "appendix_status": "PROPOSED",
    "appendix_executed": false,
    "appendix_verified": false
  },
  "supplied_v4_run": {
    "status": "SUPPLIED_FAILED_EXECUTION_RECORD",
    "reported_python": "3.10.21",
    "reported_sympy": "1.14.0",
    "reported_passed_suites": 8,
    "reported_failed_suites": 1,
    "reported_predicate_count": 1397,
    "failed_predicate": "corrected D01 phase",
    "post_phase_variation_checks_reached": false,
    "new_replay_in_v5": false,
    "digest_independently_authenticated": false
  },
  "production": {
    "appendix_status": "PROPOSED",
    "appendix_executed": false,
    "appendix_verified": false,
    "compilation_executed": false,
    "formal_proof_check": false,
    "new_loop_execution": false
  },
  "standing_boundaries": {
    "O1_outside_earned_scopes": "NOT_CLOSED",
    "bulk_symmetry_restored": false,
    "XVI_N_insertion": "FROZEN",
    "Route_B_discharged": false,
    "XV_B_admission_exit_opened": false,
    "inherited_characteristic_quantum_coefficient_admitted": false,
    "host_reconstructed": false
  }
}