{
  "version": "v3.12",
  "date": "2026-09-03",
  "status": "UMP4_COUNTEREXAMPLE_CONSTRAINT_ADAPTED_DOUBLE_CENTERING",
  "rh_claim": false,
  "UMP4": false,
  "averaged_UMP4": false,
  "eta_M_positive_proved": false,
  "eta_Q_positive_proved": false,
  "character_average_residual": 1.5246593050577406e-20,
  "max_mean_K4_residual": 2.3926439061309496e-17,
  "max_P3_mean_residual": 9.86864910777917e-19,
  "max_connected_mean_residual": 4.440892098500626e-16,
  "max_Kperp_alpha_axis_residual": 4.506850926720987e-16,
  "max_Kperp_beta_axis_residual": 4.506850926720987e-16,
  "max_Kperp_symmetry_residual": 1.0658141036401503e-14,
  "encoding": "UTF-8",
  "canonical_math_delimiters": [
    "$...$",
    "$$...$$"
  ],
  "artifacts": [
    {
      "name": "RH_ModulatedPairingUniformity_v3.12_2026-09-03.md",
      "sha256": "18e567a3680130707ecaa37abbf132688a3c324d4dbd8729bda2dddc894f48a4"
    },
    {
      "name": "v312_modulation_counterexample_reference.py",
      "sha256": "d6d0898d04685ede74086e5ed0622040a38375f1e9b3570bcd195433a428ba24"
    },
    {
      "name": "v312_q2_modulation_scaling.csv",
      "sha256": "8074cf6db25d5e4951d5632dc420ce22715389d086e0e20bcc2d0413f7249e48"
    },
    {
      "name": "v312_constraint_centering_crosscheck.csv",
      "sha256": "1dd0a7b2d010079e868b2329d277c6fa7f459e47e47f8f9bc1a96708d217eb67"
    },
    {
      "name": "v312_constraint_adapted_gate_schema.json",
      "sha256": "9f32af3e9e7a46b9b3be01a714bfe2d6d90d4f22ac16967f19705d27dcac91f8"
    }
  ],
  "validation": {
    "utf8_readback": true,
    "canonical_latex_delimiters": true,
    "canonical_source_no_chat_citations": true,
    "python_syntax": true,
    "q2_pointwise_resonance": true,
    "q2_character_average_identity": true,
    "constraint_centering_means": true,
    "double_axis_removal": true,
    "double_center_symmetry": true
  }
}