{
  "source_sha256": "8845ca23e178e043ef0c7bac01be3afba9cabbefd866c366921387a8ca843aec",
  "row_id": "O13",
  "operation": "APPEND_ONLY_CORRECTION_PROPOSAL",
  "original_exact_form": "A_0/hbar; equivalently A_0 = xi_hbar^[native/phys] hbar = 1/xi_hbar^[phys/native]",
  "replacement_equalities": [
    "xi_hbar[native/phys] = A0/hbar",
    "xi_hbar[native/phys] = 1/xi_hbar[phys/native]",
    "A0 = xi_hbar[native/phys]*hbar"
  ],
  "assumptions": [
    "hbar != 0",
    "A0 != 0 for reciprocal identity",
    "A0 and hbar have action dimensions"
  ],
  "status": "CONSTRUCTOR_CHECKED; NON_CONSTRUCTOR_REVIEW_PENDING",
  "physical_promotion": 0
}