{
  "approximation": {
    "extra_support_source_safe_abstract_bad": true,
    "larger_box_accepted": true,
    "pessimistic_labels_accepted": true,
    "sharp_tolerance": [
      {
        "epsilon": "1/10",
        "equality_retains_bad_action": true,
        "required_tolerance": "1/5",
        "three_underinflations_rejected": true
      },
      {
        "epsilon": "1/2",
        "equality_retains_bad_action": true,
        "required_tolerance": "1",
        "three_underinflations_rejected": true
      },
      {
        "epsilon": "1/100000000000000000000000000000000000000000000000000",
        "equality_retains_bad_action": true,
        "required_tolerance": "1/50000000000000000000000000000000000000000000000000",
        "three_underinflations_rejected": true
      }
    ]
  },
  "artifact": "AH004-REDUCTION-v1",
  "corpus": {
    "abstract_bad_path_instances": 3949,
    "exact_models": 63,
    "mapped_bad_path_instances": 2175,
    "mismatches": 0,
    "over_models": 60,
    "parameter_cells": 2105,
    "source_bad_path_instances": 4920
  },
  "integration": {
    "abstract_hash": "87b08229efa1f0efef1a7737963559a12084ec5c9f434c6a844ef828c2f3d444",
    "abstract_nodes": 2,
    "attempts": 40,
    "events": [
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 1,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 1,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 2,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 2,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 3,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 3,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 4,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 4,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 5,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 5,
        "value": null
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 6,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 6,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 7,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 7,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 8,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 8,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 9,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 9,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 10,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 10,
        "value": null
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 11,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 11,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 12,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 12,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 13,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 13,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 14,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 14,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 15,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 15,
        "value": null
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 16,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 16,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 17,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 17,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 18,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 18,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 19,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 19,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 20,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 20,
        "value": null
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 21,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 21,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 22,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 22,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 23,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 23,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 24,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 24,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 25,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 25,
        "value": null
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 26,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 26,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 27,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 27,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 28,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 28,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 29,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 29,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 30,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 30,
        "value": null
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 31,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 31,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 32,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 32,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 33,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 33,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 34,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 34,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 35,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 35,
        "value": null
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 36,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 36,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 37,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 37,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 38,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 38,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 39,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 39,
        "value": "1/2"
      },
      {
        "bet": "1",
        "kind": "commit",
        "receipt": 40,
        "test": "q0/O1/K1"
      },
      {
        "kind": "resolve",
        "receipt": 40,
        "value": null
      }
    ],
    "first_safe": {
      "at": 14,
      "certificate": {
        "alpha": "1/16",
        "evidence_hash": "53ef9847c696d091604191beac644fc7bb16c977115aeadb03bf5fb53d15f137",
        "lower": {
          "q0": "269297/16384",
          "q1": "23537/16384"
        },
        "model_hash": "87b08229efa1f0efef1a7737963559a12084ec5c9f434c6a844ef828c2f3d444"
      },
      "wealth": {
        "q0/K1/O1": "1",
        "q0/O1/K1": "531441/16384"
      }
    },
    "first_safe_attempt": 14,
    "missing": 8,
    "relation": {
      "abstract_hash": "87b08229efa1f0efef1a7737963559a12084ec5c9f434c6a844ef828c2f3d444",
      "actions": {
        "left": {
          "K0": "K0",
          "K1": "K1",
          "O0": "O0",
          "O1": "O1"
        },
        "right": {
          "K0": "K0",
          "K1": "K1",
          "O0": "O0",
          "O1": "O1"
        },
        "root": {
          "K0": "K0",
          "K1": "K1",
          "O0": "O0",
          "O1": "O1"
        }
      },
      "mode": "exact",
      "nodes": {
        "left": "q0",
        "right": "q0",
        "root": "q1"
      },
      "schema": "AH004-REDUCTION-v1",
      "source_hash": "7cc4c4f1d150625be05c92317b12ecdc316aa6ce408e3e0439e653f69be218f2"
    },
    "source_hash": "7cc4c4f1d150625be05c92317b12ecdc316aa6ce408e3e0439e653f69be218f2",
    "source_nodes": 3,
    "transfer": "TRANSFER_CERTIFICATE_VALID",
    "unsafe_theta_one": "NOT_CERTIFIED"
  },
  "limits": "Same-author bounded graph-to-graph checks; source semantics, sensors and independence not certified.",
  "multidimensional": {
    "box_distortion_controls": 72,
    "dimensions": [
      1,
      2,
      3
    ],
    "fixed_coordinate_identity": true,
    "underboundary_controls": 72
  },
  "mutations": {
    "count": 22,
    "rejected": [
      {
        "name": "wrong-source_hash",
        "reason": "Both original graph bindings required"
      },
      {
        "name": "wrong-abstract_hash",
        "reason": "Both original graph bindings required"
      },
      {
        "name": "missing-original-node",
        "reason": "Map must cover every original node"
      },
      {
        "name": "missing-original-action",
        "reason": "Missing original action at right"
      },
      {
        "name": "noninjective-action-map",
        "reason": "Action map is not a bijection over ALL competitors at right"
      },
      {
        "name": "wrong-root",
        "reason": "Root not preserved"
      },
      {
        "name": "unknown-node",
        "reason": "Unknown abstract node"
      },
      {
        "name": "schema",
        "reason": "Certificate schema"
      },
      {
        "name": "mode",
        "reason": "Reduction mode"
      },
      {
        "name": "permission-map",
        "reason": "Permission bit changed at left/K0"
      },
      {
        "name": "bad-label-erased-with-new-hash",
        "reason": "Blocking action became preserving at left/O0"
      },
      {
        "name": "successor-erased-with-new-hash",
        "reason": "Original positive-support successor lost at root/K0"
      },
      {
        "name": "narrow-domain",
        "reason": "Abstract domain does not cover source domain"
      },
      {
        "name": "different-target",
        "reason": "Target/dimension mismatch"
      },
      {
        "name": "removed-paired-competitor",
        "reason": "Action map is not a bijection over ALL competitors at left"
      },
      {
        "name": "empty-box",
        "reason": "EMPTY parameter box; never vacuous SAFE"
      },
      {
        "name": "negative-eta",
        "reason": "Invalid target or tolerance"
      },
      {
        "name": "float-score",
        "reason": "Use exact integers, rational strings or Fraction"
      },
      {
        "name": "cycle",
        "reason": "Cyclic graph: unroll the finite observable history first"
      },
      {
        "name": "dangling",
        "reason": "Dangling successor"
      },
      {
        "name": "missing-pair",
        "reason": "Every base needs both bits with identical channel classification"
      },
      {
        "name": "duplicate-node",
        "reason": "Duplicate node or missing root"
      }
    ],
    "terminal_graph": true,
    "valid_action_renaming": true
  },
  "scaling": {
    "abstract_nodes": 11,
    "action_checks": 8188,
    "gap_checks": 24564,
    "source_nodes": 2047,
    "source_paths_not_enumerated": true,
    "successor_checks": 4092
  },
  "status": "PASS",
  "targets": {
    "channel-alias": {
      "corrected_nodes": 3,
      "known_bad_path": [
        [
          "root",
          "K1"
        ],
        [
          "right",
          "WORK1"
        ]
      ],
      "new_transfer": "UNKNOWN",
      "rejection": "Blocking action became preserving at right/WORK0",
      "source_bad_probability_fair_fork": "1/2",
      "wrong_graph_bad_probability": "0",
      "wrong_graph_internal_certificate": {
        "inequalities": 0,
        "valid": true
      }
    },
    "common-affine-shift": {
      "abstract_nodes": 2,
      "gap_distortion": "0",
      "shift": "1000000+7*theta",
      "source_nodes": 3
    },
    "extra-competitor": {
      "abstract_bad": false,
      "internal_certificate": true,
      "rejection": "Action map is not a bijection over ALL competitors at root",
      "source_bad": true
    },
    "midpoint": {
      "rejection": "Uncovered score-gap distortion at root/K0/O0",
      "theta_one_source_bad": true,
      "theta_zero_both_safe": true
    },
    "score-alias": {
      "corrected_nodes": 3,
      "known_bad_path": [
        [
          "root",
          "K1"
        ],
        [
          "right",
          "O1"
        ]
      ],
      "new_transfer": "UNKNOWN",
      "rejection": "Uncovered score-gap distortion at right/O0/K0",
      "source_bad_probability_fair_fork": "1/2",
      "wrong_graph_bad_probability": "0",
      "wrong_graph_internal_certificate": {
        "inequalities": 0,
        "valid": true
      }
    }
  }
}