reproduction-bundle/outputs/completeness/completeness_report.json

{
  "paper": "OAM1jJsMGp",
  "claim": "Anchored claim 5 / Proposition C.2 completeness",
  "case_1_independent_categorical_groups": {
    "domain_shapes": [
      [
        2,
        2,
        2
      ],
      [
        2,
        3
      ],
      [
        3,
        3
      ]
    ],
    "seeds": 25,
    "all_nonconstant_events_checked": 20650,
    "max_probability_error": 2.220446049250313e-16,
    "max_score_error": 3.3306690738754696e-16,
    "passed": true
  },
  "case_2_nested_or_me_taxonomy": {
    "taxonomy_predicates": 15,
    "taxonomy_leaves": 8,
    "pairwise_nested_or_mutually_exclusive": true,
    "seeds": 25,
    "all_nonconstant_semantic_events_checked": 6350,
    "max_probability_error": 2.220446049250313e-16,
    "max_score_error": 2.220446049250313e-16,
    "invalid_overlap_control_rejected": true,
    "passed": true
  },
  "all_checks_pass": true
}