{
  "positive_likelihood_float_underflow_log_regression": {
    "old_pi": [
      "1/2",
      "1/2"
    ],
    "old_p": [
      "1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    ],
    "responsibility_rows": [
      [
        "1/2",
        "1/2"
      ],
      [
        "1/2",
        "1/2"
      ]
    ],
    "Nk": [
      "1",
      "1"
    ],
    "weighted_heads": [
      "1",
      "1"
    ],
    "correct_denominators_m_times_Nk": [
      "1",
      "1"
    ],
    "new_pi": [
      "1/2",
      "1/2"
    ],
    "new_p": [
      "1",
      "1"
    ],
    "wrong_divide_heads_by_number_of_groups": [
      "1/2",
      "1/2"
    ],
    "old_exact_likelihood": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "new_exact_likelihood": "1",
    "old_log_likelihood": -1842.0680743952364,
    "new_log_likelihood": 0.0,
    "independent_all_latent_assignments": 4,
    "weighted_Bernoulli_score_oracle": []
  },
  "log_display_computed_from_integer_numerator_minus_denominator": true,
  "groups": [
    [
      0,
      0,
      0
    ],
    [
      0,
      0,
      1
    ],
    [
      1,
      1,
      0
    ],
    [
      1,
      1,
      1
    ]
  ],
  "latent_contract": "one hidden component per complete three-flip group, not per individual flip",
  "initial_exact_likelihood": "441/1048576",
  "two_actual_EM_steps": [
    {
      "old_pi": [
        "1/2",
        "1/2"
      ],
      "old_p": [
        "1/4",
        "3/4"
      ],
      "responsibility_rows": [
        [
          "27/28",
          "1/28"
        ],
        [
          "3/4",
          "1/4"
        ],
        [
          "1/4",
          "3/4"
        ],
        [
          "1/28",
          "27/28"
        ]
      ],
      "Nk": [
        "2",
        "2"
      ],
      "weighted_heads": [
        "19/14",
        "65/14"
      ],
      "correct_denominators_m_times_Nk": [
        "6",
        "6"
      ],
      "new_pi": [
        "1/2",
        "1/2"
      ],
      "new_p": [
        "19/84",
        "65/84"
      ],
      "wrong_divide_heads_by_number_of_groups": [
        "19/56",
        "65/56"
      ],
      "old_exact_likelihood": "441/1048576",
      "new_exact_likelihood": "1903006455025/4406682508591104",
      "old_log_likelihood": -7.77389873575206,
      "new_log_likelihood": -7.747442439387516,
      "independent_all_latent_assignments": 16,
      "weighted_Bernoulli_score_oracle": [
        {
          "component": 0,
          "score": "0",
          "second_derivative": "-42336/1235"
        },
        {
          "component": 1,
          "score": "0",
          "second_derivative": "-42336/1235"
        }
      ]
    },
    {
      "old_pi": [
        "1/2",
        "1/2"
      ],
      "old_p": [
        "19/84",
        "65/84"
      ],
      "responsibility_rows": [
        [
          "274625/281484",
          "6859/281484"
        ],
        [
          "65/84",
          "19/84"
        ],
        [
          "19/84",
          "65/84"
        ],
        [
          "6859/281484",
          "274625/281484"
        ]
      ],
      "Nk": [
        "2",
        "2"
      ],
      "weighted_heads": [
        "60955/46914",
        "220529/46914"
      ],
      "correct_denominators_m_times_Nk": [
        "6",
        "6"
      ],
      "new_pi": [
        "1/2",
        "1/2"
      ],
      "new_p": [
        "60955/281484",
        "220529/281484"
      ],
      "wrong_divide_heads_by_number_of_groups": [
        "60955/187656",
        "220529/187656"
      ],
      "old_exact_likelihood": "1903006455025/4406682508591104",
      "new_exact_likelihood": "30391025640067234903502228656535059918225/70065977355864903332146483845019789824098304",
      "old_log_likelihood": -7.747442439387516,
      "new_log_likelihood": -7.743045255159714,
      "independent_all_latent_assignments": 16,
      "weighted_Bernoulli_score_oracle": [
        {
          "component": 0,
          "score": "0",
          "second_derivative": "-475399453536/13442345195"
        },
        {
          "component": 1,
          "score": "0",
          "second_derivative": "-475399453536/13442345195"
        }
      ]
    }
  ],
  "symmetric_initialization_stays_symmetric": {
    "old_pi": [
      "1/2",
      "1/2"
    ],
    "old_p": [
      "1/2",
      "1/2"
    ],
    "responsibility_rows": [
      [
        "1/2",
        "1/2"
      ],
      [
        "1/2",
        "1/2"
      ],
      [
        "1/2",
        "1/2"
      ],
      [
        "1/2",
        "1/2"
      ]
    ],
    "Nk": [
      "2",
      "2"
    ],
    "weighted_heads": [
      "3",
      "3"
    ],
    "correct_denominators_m_times_Nk": [
      "6",
      "6"
    ],
    "new_pi": [
      "1/2",
      "1/2"
    ],
    "new_p": [
      "1/2",
      "1/2"
    ],
    "wrong_divide_heads_by_number_of_groups": [
      "3/4",
      "3/4"
    ],
    "old_exact_likelihood": "1/4096",
    "new_exact_likelihood": "1/4096",
    "old_log_likelihood": -8.317766166719343,
    "new_log_likelihood": -8.317766166719343,
    "independent_all_latent_assignments": 16,
    "weighted_Bernoulli_score_oracle": [
      {
        "component": 0,
        "score": "0",
        "second_derivative": "-24"
      },
      {
        "component": 1,
        "score": "0",
        "second_derivative": "-24"
      }
    ]
  },
  "label_swap_step": {
    "old_pi": [
      "1/2",
      "1/2"
    ],
    "old_p": [
      "3/4",
      "1/4"
    ],
    "responsibility_rows": [
      [
        "1/28",
        "27/28"
      ],
      [
        "1/4",
        "3/4"
      ],
      [
        "3/4",
        "1/4"
      ],
      [
        "27/28",
        "1/28"
      ]
    ],
    "Nk": [
      "2",
      "2"
    ],
    "weighted_heads": [
      "65/14",
      "19/14"
    ],
    "correct_denominators_m_times_Nk": [
      "6",
      "6"
    ],
    "new_pi": [
      "1/2",
      "1/2"
    ],
    "new_p": [
      "65/84",
      "19/84"
    ],
    "wrong_divide_heads_by_number_of_groups": [
      "65/56",
      "19/56"
    ],
    "old_exact_likelihood": "441/1048576",
    "new_exact_likelihood": "1903006455025/4406682508591104",
    "old_log_likelihood": -7.77389873575206,
    "new_log_likelihood": -7.747442439387516,
    "independent_all_latent_assignments": 16,
    "weighted_Bernoulli_score_oracle": [
      {
        "component": 0,
        "score": "0",
        "second_derivative": "-42336/1235"
      },
      {
        "component": 1,
        "score": "0",
        "second_derivative": "-42336/1235"
      }
    ]
  },
  "invalid_cases_rejected": [
    "empty",
    "nonbinary",
    "unequal_lengths",
    "invalid_pi",
    "invalid_p",
    "zero_likelihood"
  ],
  "scope": "observed ordered binary groups, no binomial multiplicity factor; Fraction responsibilities/parameters/likelihood and floating natural log display; two likelihood improvements not global optimum/true latent coin discovery/real model training"
}