{
  "suite": "RCIG K3NEWMAN Strategic Confluence Kernel v0.27 adversarial conformance",
  "total": 14,
  "passed": 14,
  "failed": 0,
  "all_passed": true,
  "results": [
    {
      "case": "positive_newman_compression",
      "expected_accepted": true,
      "accepted": true,
      "pass": true,
      "errors": [],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": true
      },
      "confluence_results": [
        {
          "id": "newman:scnf-source",
          "source_program_id": "scnf_source",
          "grammar_membership_verified": true,
          "termination_basis_verified": true,
          "local_confluence_basis_verified": true,
          "newman_confluence_conclusion": true,
          "source_value": "1/1",
          "witness_state_count": 6,
          "witness_step_count": 5,
          "canonical_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
          "canonical_ast": {
            "op": "quantify",
            "quantifier": "max",
            "player": "max",
            "variable": "v_max",
            "filter_id": "all",
            "body": {
              "op": "quantify",
              "quantifier": "max",
              "player": "min",
              "variable": "v_min",
              "filter_id": "all",
              "body": {
                "op": "payoff",
                "metric": "silent_divergence_probability"
              }
            }
          },
          "expected_match": true,
          "witness_trace": [
            {
              "rule": "commute_same_extremum_accept_all_v0.1",
              "path": [],
              "from_sha256": "9657ebae6ad3fc0d0e7ac8dbb2b66225f5812c07a0a9ecf77f54592d5a0767a2",
              "to_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "measure_before": [
                1,
                2,
                2
              ],
              "measure_after": [
                0,
                2,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "to_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "measure_before": [
                0,
                2,
                2
              ],
              "measure_after": [
                0,
                1,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [],
              "from_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "to_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "measure_before": [
                0,
                1,
                2
              ],
              "measure_after": [
                0,
                0,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "to_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "measure_before": [
                0,
                0,
                2
              ],
              "measure_after": [
                0,
                0,
                1
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [],
              "from_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "to_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
              "measure_before": [
                0,
                0,
                1
              ],
              "measure_after": [
                0,
                0,
                0
              ],
              "value": "1/1"
            }
          ],
          "source_graph_exhaustively_enumerated": false,
          "accepted": true
        }
      ]
    },
    {
      "case": "exhaustive_vs_newman_same_canonical",
      "expected_accepted": true,
      "accepted": true,
      "pass": true,
      "errors": [],
      "basis_result": {},
      "confluence_results": []
    },
    {
      "case": "standalone_basis_report_matches_recompute",
      "expected_accepted": true,
      "accepted": true,
      "pass": true,
      "errors": [],
      "basis_result": {},
      "confluence_results": []
    },
    {
      "case": "basis_digest_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "critical-pair basis digest mismatch"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "0000000000000000000000000000000000000000000000000000000000000000",
        "match": false
      },
      "confluence_results": []
    },
    {
      "case": "basis_pair_count_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "critical-pair basis mismatch: expected_critical_pair_count=831 but recomputed critical_pair_count=832"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": false
      },
      "confluence_results": []
    },
    {
      "case": "basis_configuration_count_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "critical-pair basis mismatch: expected_configuration_count=511 but recomputed configuration_count=512"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": false
      },
      "confluence_results": []
    },
    {
      "case": "witness_step_cap_too_small",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "Newman claim newman:scnf-source: normalization failed: deterministic normalization exceeds step cap 4"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": true
      },
      "confluence_results": []
    },
    {
      "case": "canonical_digest_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "Newman claim newman:scnf-source: expected AST digest mismatch",
        "Newman claim newman:scnf-source: canonical result mismatch"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": true
      },
      "confluence_results": [
        {
          "id": "newman:scnf-source",
          "source_program_id": "scnf_source",
          "grammar_membership_verified": true,
          "termination_basis_verified": true,
          "local_confluence_basis_verified": true,
          "newman_confluence_conclusion": true,
          "source_value": "1/1",
          "witness_state_count": 6,
          "witness_step_count": 5,
          "canonical_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
          "canonical_ast": {
            "op": "quantify",
            "quantifier": "max",
            "player": "max",
            "variable": "v_max",
            "filter_id": "all",
            "body": {
              "op": "quantify",
              "quantifier": "max",
              "player": "min",
              "variable": "v_min",
              "filter_id": "all",
              "body": {
                "op": "payoff",
                "metric": "silent_divergence_probability"
              }
            }
          },
          "expected_match": false,
          "witness_trace": [
            {
              "rule": "commute_same_extremum_accept_all_v0.1",
              "path": [],
              "from_sha256": "9657ebae6ad3fc0d0e7ac8dbb2b66225f5812c07a0a9ecf77f54592d5a0767a2",
              "to_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "measure_before": [
                1,
                2,
                2
              ],
              "measure_after": [
                0,
                2,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "to_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "measure_before": [
                0,
                2,
                2
              ],
              "measure_after": [
                0,
                1,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [],
              "from_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "to_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "measure_before": [
                0,
                1,
                2
              ],
              "measure_after": [
                0,
                0,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "to_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "measure_before": [
                0,
                0,
                2
              ],
              "measure_after": [
                0,
                0,
                1
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [],
              "from_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "to_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
              "measure_before": [
                0,
                0,
                1
              ],
              "measure_after": [
                0,
                0,
                0
              ],
              "value": "1/1"
            }
          ],
          "source_graph_exhaustively_enumerated": false,
          "accepted": false
        }
      ]
    },
    {
      "case": "unknown_source_program",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "Newman claims must reference programs declared in strategy_normal_form.program_ids"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": true
      },
      "confluence_results": []
    },
    {
      "case": "duplicate_newman_claim_id",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "duplicate Newman claim id newman:scnf-source"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": true
      },
      "confluence_results": [
        {
          "id": "newman:scnf-source",
          "source_program_id": "scnf_source",
          "grammar_membership_verified": true,
          "termination_basis_verified": true,
          "local_confluence_basis_verified": true,
          "newman_confluence_conclusion": true,
          "source_value": "1/1",
          "witness_state_count": 6,
          "witness_step_count": 5,
          "canonical_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
          "canonical_ast": {
            "op": "quantify",
            "quantifier": "max",
            "player": "max",
            "variable": "v_max",
            "filter_id": "all",
            "body": {
              "op": "quantify",
              "quantifier": "max",
              "player": "min",
              "variable": "v_min",
              "filter_id": "all",
              "body": {
                "op": "payoff",
                "metric": "silent_divergence_probability"
              }
            }
          },
          "expected_match": true,
          "witness_trace": [
            {
              "rule": "commute_same_extremum_accept_all_v0.1",
              "path": [],
              "from_sha256": "9657ebae6ad3fc0d0e7ac8dbb2b66225f5812c07a0a9ecf77f54592d5a0767a2",
              "to_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "measure_before": [
                1,
                2,
                2
              ],
              "measure_after": [
                0,
                2,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "to_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "measure_before": [
                0,
                2,
                2
              ],
              "measure_after": [
                0,
                1,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [],
              "from_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "to_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "measure_before": [
                0,
                1,
                2
              ],
              "measure_after": [
                0,
                0,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "to_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "measure_before": [
                0,
                0,
                2
              ],
              "measure_after": [
                0,
                0,
                1
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [],
              "from_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "to_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
              "measure_before": [
                0,
                0,
                1
              ],
              "measure_after": [
                0,
                0,
                0
              ],
              "value": "1/1"
            }
          ],
          "source_graph_exhaustively_enumerated": false,
          "accepted": true
        }
      ]
    },
    {
      "case": "missing_basis_trust",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "Newman verifier: verdict trust_base omits required trust: rcig.strategy.scnf_critical_pair_basis.v0.1"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": true
      },
      "confluence_results": [
        {
          "id": "newman:scnf-source",
          "source_program_id": "scnf_source",
          "grammar_membership_verified": true,
          "termination_basis_verified": true,
          "local_confluence_basis_verified": true,
          "newman_confluence_conclusion": true,
          "source_value": "1/1",
          "witness_state_count": 6,
          "witness_step_count": 5,
          "canonical_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
          "canonical_ast": {
            "op": "quantify",
            "quantifier": "max",
            "player": "max",
            "variable": "v_max",
            "filter_id": "all",
            "body": {
              "op": "quantify",
              "quantifier": "max",
              "player": "min",
              "variable": "v_min",
              "filter_id": "all",
              "body": {
                "op": "payoff",
                "metric": "silent_divergence_probability"
              }
            }
          },
          "expected_match": true,
          "witness_trace": [
            {
              "rule": "commute_same_extremum_accept_all_v0.1",
              "path": [],
              "from_sha256": "9657ebae6ad3fc0d0e7ac8dbb2b66225f5812c07a0a9ecf77f54592d5a0767a2",
              "to_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "measure_before": [
                1,
                2,
                2
              ],
              "measure_after": [
                0,
                2,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "to_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "measure_before": [
                0,
                2,
                2
              ],
              "measure_after": [
                0,
                1,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [],
              "from_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "to_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "measure_before": [
                0,
                1,
                2
              ],
              "measure_after": [
                0,
                0,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "to_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "measure_before": [
                0,
                0,
                2
              ],
              "measure_after": [
                0,
                0,
                1
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [],
              "from_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "to_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
              "measure_before": [
                0,
                0,
                1
              ],
              "measure_after": [
                0,
                0,
                0
              ],
              "value": "1/1"
            }
          ],
          "source_graph_exhaustively_enumerated": false,
          "accepted": true
        }
      ]
    },
    {
      "case": "missing_newman_trust",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "Newman verifier: verdict trust_base omits required trust: rcig.strategy.newman_confluence.v0.1"
      ],
      "basis_result": {
        "profile": "two_player_depth2_scnf_critical_pair_basis_v0.1",
        "configuration_count": 512,
        "fork_configuration_count": 360,
        "one_step_edge_count": 1056,
        "critical_pair_count": 832,
        "overlap_class_count": 9,
        "rule_edge_counts": {
          "alpha_rename_v0.1": 512,
          "commute_same_extremum_accept_all_v0.1": 32,
          "identical_filter_alias_v0.1": 512
        },
        "every_edge_measure_descends": true,
        "every_critical_pair_one_step_diamond": true,
        "basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "declared_basis_sha256": "3748e4feaae6685d698bfaf7b2baea12a827277110b5cf91ae56048c59f9e457",
        "match": true
      },
      "confluence_results": [
        {
          "id": "newman:scnf-source",
          "source_program_id": "scnf_source",
          "grammar_membership_verified": true,
          "termination_basis_verified": true,
          "local_confluence_basis_verified": true,
          "newman_confluence_conclusion": true,
          "source_value": "1/1",
          "witness_state_count": 6,
          "witness_step_count": 5,
          "canonical_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
          "canonical_ast": {
            "op": "quantify",
            "quantifier": "max",
            "player": "max",
            "variable": "v_max",
            "filter_id": "all",
            "body": {
              "op": "quantify",
              "quantifier": "max",
              "player": "min",
              "variable": "v_min",
              "filter_id": "all",
              "body": {
                "op": "payoff",
                "metric": "silent_divergence_probability"
              }
            }
          },
          "expected_match": true,
          "witness_trace": [
            {
              "rule": "commute_same_extremum_accept_all_v0.1",
              "path": [],
              "from_sha256": "9657ebae6ad3fc0d0e7ac8dbb2b66225f5812c07a0a9ecf77f54592d5a0767a2",
              "to_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "measure_before": [
                1,
                2,
                2
              ],
              "measure_after": [
                0,
                2,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "3b445a742654462ed72480dff4ca7d00d3c2bb73e77d30dde022a8570ca2b56e",
              "to_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "measure_before": [
                0,
                2,
                2
              ],
              "measure_after": [
                0,
                1,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "identical_filter_alias_v0.1",
              "path": [],
              "from_sha256": "c8295e62df3ea32fd753e3fc92de3114cc251976b861d14f0ba1b8bf405e1ac9",
              "to_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "measure_before": [
                0,
                1,
                2
              ],
              "measure_after": [
                0,
                0,
                2
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [
                "body"
              ],
              "from_sha256": "8d6b5630a8f5ffd5053678a3e3d118b44b9c43bec525b17c384a9feb25b222bd",
              "to_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "measure_before": [
                0,
                0,
                2
              ],
              "measure_after": [
                0,
                0,
                1
              ],
              "value": "1/1"
            },
            {
              "rule": "alpha_rename_v0.1",
              "path": [],
              "from_sha256": "1b0879d8bf3a3b83d5fffbb7d0a9e552e441f8652d193f47f1d4c8e2531f248b",
              "to_sha256": "1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351",
              "measure_before": [
                0,
                0,
                1
              ],
              "measure_after": [
                0,
                0,
                0
              ],
              "value": "1/1"
            }
          ],
          "source_graph_exhaustively_enumerated": false,
          "accepted": true
        }
      ]
    },
    {
      "case": "source_semantics_escape_expected_canonical",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "base-k3qir: program scnf_source: pair-relative filter all_alias evaluated before both players are bound",
        "base-k3qir: quantifier claim references unknown/unexecuted program scnf_source"
      ],
      "basis_result": {},
      "confluence_results": []
    },
    {
      "case": "unsupported_scnf_player_order",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "schema:strategy_normal_form/player_order/0: 'max' was expected",
        "schema:strategy_normal_form/player_order/1: 'min' was expected"
      ],
      "basis_result": {},
      "confluence_results": []
    }
  ]
}