{
  "generatedAt": "2026-06-10T03:47:38.747Z",
  "summary": {
    "variables": 72,
    "states": 35,
    "canonicalClasses": 35,
    "automorphicStates": [
      "forced_belly_turn",
      "back_exposure",
      "smith_score",
      "defender_reversal",
      "front_headlock_control",
      "neutral_reset"
    ],
    "smithDominancePairs": 38,
    "defenderDominancePairs": 36,
    "rewriteCertificates": 53,
    "certifiedRewrites": 53,
    "rankRange": [
      0,
      17
    ]
  },
  "states": [
    {
      "state": "neutral_loaded_left",
      "rank": 4,
      "nullity": 68,
      "rowCount": 4
    },
    {
      "state": "penetration_flight",
      "rank": 0,
      "nullity": 72,
      "rowCount": 0
    },
    {
      "state": "four_point_entry",
      "rank": 9,
      "nullity": 63,
      "rowCount": 12
    },
    {
      "state": "inside_head_pressure",
      "rank": 10,
      "nullity": 62,
      "rowCount": 13
    },
    {
      "state": "grip_counter",
      "rank": 5,
      "nullity": 67,
      "rowCount": 5
    },
    {
      "state": "defensive_rotation",
      "rank": 7,
      "nullity": 65,
      "rowCount": 7
    },
    {
      "state": "smith_thigh_recovery",
      "rank": 11,
      "nullity": 61,
      "rowCount": 11
    },
    {
      "state": "defender_belly_down",
      "rank": 4,
      "nullity": 68,
      "rowCount": 6
    },
    {
      "state": "standing_counter_control",
      "rank": 11,
      "nullity": 61,
      "rowCount": 11
    },
    {
      "state": "centered_neck_load",
      "rank": 9,
      "nullity": 63,
      "rowCount": 11
    },
    {
      "state": "feet_hidden",
      "rank": 8,
      "nullity": 64,
      "rowCount": 8
    },
    {
      "state": "left_leg_selection",
      "rank": 14,
      "nullity": 58,
      "rowCount": 14
    },
    {
      "state": "seated_dump",
      "rank": 7,
      "nullity": 65,
      "rowCount": 8
    },
    {
      "state": "second_leg_scoop",
      "rank": 9,
      "nullity": 63,
      "rowCount": 9
    },
    {
      "state": "scoop_blocked",
      "rank": 4,
      "nullity": 68,
      "rowCount": 5
    },
    {
      "state": "crotch_lock_attempt",
      "rank": 4,
      "nullity": 68,
      "rowCount": 5
    },
    {
      "state": "crotch_lock_closed",
      "rank": 12,
      "nullity": 60,
      "rowCount": 13
    },
    {
      "state": "mill_interception",
      "rank": 10,
      "nullity": 62,
      "rowCount": 10
    },
    {
      "state": "head_post_mill",
      "rank": 15,
      "nullity": 57,
      "rowCount": 16
    },
    {
      "state": "left_thigh_pop",
      "rank": 4,
      "nullity": 68,
      "rowCount": 6
    },
    {
      "state": "feet_exposed",
      "rank": 2,
      "nullity": 70,
      "rowCount": 2
    },
    {
      "state": "strong_foot_scoop",
      "rank": 5,
      "nullity": 67,
      "rowCount": 5
    },
    {
      "state": "weak_foot_control",
      "rank": 2,
      "nullity": 70,
      "rowCount": 2
    },
    {
      "state": "leg_withdrawn",
      "rank": 5,
      "nullity": 67,
      "rowCount": 8
    },
    {
      "state": "opposite_leg_switch",
      "rank": 1,
      "nullity": 71,
      "rowCount": 2
    },
    {
      "state": "double_sprawl",
      "rank": 17,
      "nullity": 55,
      "rowCount": 17
    },
    {
      "state": "sprawl_asymmetry",
      "rank": 11,
      "nullity": 61,
      "rowCount": 11
    },
    {
      "state": "duck_under_access",
      "rank": 6,
      "nullity": 66,
      "rowCount": 6
    },
    {
      "state": "forced_belly_turn",
      "rank": 3,
      "nullity": 69,
      "rowCount": 4
    },
    {
      "state": "back_exposure",
      "rank": 3,
      "nullity": 69,
      "rowCount": 4
    },
    {
      "state": "right_side_access",
      "rank": 6,
      "nullity": 66,
      "rowCount": 7
    },
    {
      "state": "smith_score",
      "rank": 0,
      "nullity": 72,
      "rowCount": 0
    },
    {
      "state": "defender_reversal",
      "rank": 0,
      "nullity": 72,
      "rowCount": 0
    },
    {
      "state": "front_headlock_control",
      "rank": 17,
      "nullity": 55,
      "rowCount": 17
    },
    {
      "state": "neutral_reset",
      "rank": 4,
      "nullity": 68,
      "rowCount": 4
    }
  ],
  "classes": [
    {
      "id": "C01",
      "members": [
        {
          "state": "neutral_loaded_left",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C02",
      "members": [
        {
          "state": "penetration_flight",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C03",
      "members": [
        {
          "state": "four_point_entry",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C04",
      "members": [
        {
          "state": "inside_head_pressure",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C05",
      "members": [
        {
          "state": "grip_counter",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C06",
      "members": [
        {
          "state": "defensive_rotation",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C07",
      "members": [
        {
          "state": "smith_thigh_recovery",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C08",
      "members": [
        {
          "state": "defender_belly_down",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C09",
      "members": [
        {
          "state": "standing_counter_control",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C10",
      "members": [
        {
          "state": "centered_neck_load",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C11",
      "members": [
        {
          "state": "feet_hidden",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C12",
      "members": [
        {
          "state": "left_leg_selection",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C13",
      "members": [
        {
          "state": "seated_dump",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C14",
      "members": [
        {
          "state": "second_leg_scoop",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C15",
      "members": [
        {
          "state": "scoop_blocked",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C16",
      "members": [
        {
          "state": "crotch_lock_attempt",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C17",
      "members": [
        {
          "state": "crotch_lock_closed",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C18",
      "members": [
        {
          "state": "mill_interception",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C19",
      "members": [
        {
          "state": "head_post_mill",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C20",
      "members": [
        {
          "state": "left_thigh_pop",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C21",
      "members": [
        {
          "state": "feet_exposed",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C22",
      "members": [
        {
          "state": "strong_foot_scoop",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C23",
      "members": [
        {
          "state": "weak_foot_control",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C24",
      "members": [
        {
          "state": "leg_withdrawn",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C25",
      "members": [
        {
          "state": "opposite_leg_switch",
          "transform": "left_right_reflection",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C26",
      "members": [
        {
          "state": "double_sprawl",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C27",
      "members": [
        {
          "state": "sprawl_asymmetry",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C28",
      "members": [
        {
          "state": "duck_under_access",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C29",
      "members": [
        {
          "state": "forced_belly_turn",
          "transform": "identity",
          "automorphic": true
        }
      ]
    },
    {
      "id": "C30",
      "members": [
        {
          "state": "back_exposure",
          "transform": "identity",
          "automorphic": true
        }
      ]
    },
    {
      "id": "C31",
      "members": [
        {
          "state": "right_side_access",
          "transform": "identity",
          "automorphic": false
        }
      ]
    },
    {
      "id": "C32",
      "members": [
        {
          "state": "smith_score",
          "transform": "identity",
          "automorphic": true
        }
      ]
    },
    {
      "id": "C33",
      "members": [
        {
          "state": "defender_reversal",
          "transform": "identity",
          "automorphic": true
        }
      ]
    },
    {
      "id": "C34",
      "members": [
        {
          "state": "front_headlock_control",
          "transform": "identity",
          "automorphic": true
        }
      ]
    },
    {
      "id": "C35",
      "members": [
        {
          "state": "neutral_reset",
          "transform": "identity",
          "automorphic": true
        }
      ]
    }
  ],
  "certificates": [
    {
      "source": "neutral_loaded_left",
      "target": "penetration_flight",
      "operator": "penetrate",
      "actor": "smith",
      "predicates": [
        {
          "label": "target leg is loaded or delayed",
          "pass": true
        },
        {
          "label": "target state adds a reach relation",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "neutral_loaded_left",
      "target": "leg_withdrawn",
      "operator": "release",
      "actor": "defender",
      "predicates": [
        {
          "label": "interaction control decreases or graph resets",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "penetration_flight",
      "target": "four_point_entry",
      "operator": "post",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor has a mat support path after the rewrite",
          "pass": true
        },
        {
          "label": "support set or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "penetration_flight",
      "target": "leg_withdrawn",
      "operator": "release",
      "actor": "defender",
      "predicates": [
        {
          "label": "interaction control decreases or graph resets",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "four_point_entry",
      "target": "inside_head_pressure",
      "operator": "load",
      "actor": "smith",
      "predicates": [
        {
          "label": "load coupling increases or is preserved",
          "pass": true
        },
        {
          "label": "support path description changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "four_point_entry",
      "target": "grip_counter",
      "operator": "counter",
      "actor": "defender",
      "predicates": [
        {
          "label": "counter relation added or opponent grip altered",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "inside_head_pressure",
      "target": "grip_counter",
      "operator": "counter",
      "actor": "defender",
      "predicates": [
        {
          "label": "counter relation added or opponent grip altered",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "inside_head_pressure",
      "target": "centered_neck_load",
      "operator": "load",
      "actor": "smith",
      "predicates": [
        {
          "label": "load coupling increases or is preserved",
          "pass": true
        },
        {
          "label": "support path description changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "inside_head_pressure",
      "target": "smith_score",
      "operator": "dump",
      "actor": "smith",
      "predicates": [
        {
          "label": "source has control or forced threat",
          "pass": true
        },
        {
          "label": "target is seated, fallen, exposed, or terminal",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "grip_counter",
      "target": "defensive_rotation",
      "operator": "rotate",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor has an unblocked rotational axis",
          "pass": true
        },
        {
          "label": "orientation or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "grip_counter",
      "target": "centered_neck_load",
      "operator": "load",
      "actor": "smith",
      "predicates": [
        {
          "label": "load coupling increases or is preserved",
          "pass": true
        },
        {
          "label": "support path description changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "defensive_rotation",
      "target": "smith_thigh_recovery",
      "operator": "grip",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "defensive_rotation",
      "target": "defender_belly_down",
      "operator": "rotate",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor has an unblocked rotational axis",
          "pass": true
        },
        {
          "label": "orientation or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "smith_thigh_recovery",
      "target": "smith_score",
      "operator": "dump",
      "actor": "smith",
      "predicates": [
        {
          "label": "source has control or forced threat",
          "pass": true
        },
        {
          "label": "target is seated, fallen, exposed, or terminal",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "smith_thigh_recovery",
      "target": "defender_belly_down",
      "operator": "rotate",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor has an unblocked rotational axis",
          "pass": true
        },
        {
          "label": "orientation or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "defender_belly_down",
      "target": "standing_counter_control",
      "operator": "grip",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "defender_belly_down",
      "target": "smith_score",
      "operator": "dump",
      "actor": "smith",
      "predicates": [
        {
          "label": "source has control or forced threat",
          "pass": true
        },
        {
          "label": "target is seated, fallen, exposed, or terminal",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "defender_belly_down",
      "target": "neutral_reset",
      "operator": "release",
      "actor": "both",
      "predicates": [
        {
          "label": "interaction control decreases or graph resets",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "standing_counter_control",
      "target": "defender_reversal",
      "operator": "rotate",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor has an unblocked rotational axis",
          "pass": true
        },
        {
          "label": "orientation or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "standing_counter_control",
      "target": "neutral_reset",
      "operator": "release",
      "actor": "smith",
      "predicates": [
        {
          "label": "interaction control decreases or graph resets",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "centered_neck_load",
      "target": "feet_hidden",
      "operator": "shield",
      "actor": "smith",
      "predicates": [
        {
          "label": "hidden or shield relation increases",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "centered_neck_load",
      "target": "feet_exposed",
      "operator": "grip",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "feet_hidden",
      "target": "left_leg_selection",
      "operator": "grip",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "feet_hidden",
      "target": "left_thigh_pop",
      "operator": "impulse",
      "actor": "smith",
      "predicates": [
        {
          "label": "source contains a load edge",
          "pass": true
        },
        {
          "label": "target changes posture or side access",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "left_leg_selection",
      "target": "seated_dump",
      "operator": "dump",
      "actor": "smith",
      "predicates": [
        {
          "label": "source has control or forced threat",
          "pass": true
        },
        {
          "label": "target is seated, fallen, exposed, or terminal",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "seated_dump",
      "target": "second_leg_scoop",
      "operator": "scoop",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor maintains a limb control",
          "pass": true
        },
        {
          "label": "opponent support or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "seated_dump",
      "target": "scoop_blocked",
      "operator": "counter",
      "actor": "defender",
      "predicates": [
        {
          "label": "counter relation added or opponent grip altered",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "second_leg_scoop",
      "target": "forced_belly_turn",
      "operator": "rotate",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor has an unblocked rotational axis",
          "pass": true
        },
        {
          "label": "orientation or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "second_leg_scoop",
      "target": "back_exposure",
      "operator": "dump",
      "actor": "smith",
      "predicates": [
        {
          "label": "source has control or forced threat",
          "pass": true
        },
        {
          "label": "target is seated, fallen, exposed, or terminal",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "scoop_blocked",
      "target": "crotch_lock_attempt",
      "operator": "grip",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "scoop_blocked",
      "target": "second_leg_scoop",
      "operator": "scoop",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor maintains a limb control",
          "pass": true
        },
        {
          "label": "opponent support or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "crotch_lock_attempt",
      "target": "crotch_lock_closed",
      "operator": "grip",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "crotch_lock_attempt",
      "target": "mill_interception",
      "operator": "mill",
      "actor": "smith",
      "predicates": [
        {
          "label": "arm-and-leg or head-post structure exists",
          "pass": true
        },
        {
          "label": "rotation target changes posture",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "crotch_lock_closed",
      "target": "defender_reversal",
      "operator": "rotate",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor has an unblocked rotational axis",
          "pass": true
        },
        {
          "label": "orientation or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "mill_interception",
      "target": "head_post_mill",
      "operator": "mill",
      "actor": "smith",
      "predicates": [
        {
          "label": "arm-and-leg or head-post structure exists",
          "pass": true
        },
        {
          "label": "rotation target changes posture",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "head_post_mill",
      "target": "back_exposure",
      "operator": "mill",
      "actor": "smith",
      "predicates": [
        {
          "label": "arm-and-leg or head-post structure exists",
          "pass": true
        },
        {
          "label": "rotation target changes posture",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "left_thigh_pop",
      "target": "right_side_access",
      "operator": "rotate",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor has an unblocked rotational axis",
          "pass": true
        },
        {
          "label": "orientation or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "feet_exposed",
      "target": "strong_foot_scoop",
      "operator": "scoop",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor maintains a limb control",
          "pass": true
        },
        {
          "label": "opponent support or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "feet_exposed",
      "target": "weak_foot_control",
      "operator": "grip",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "feet_exposed",
      "target": "feet_hidden",
      "operator": "shield",
      "actor": "smith",
      "predicates": [
        {
          "label": "hidden or shield relation increases",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "strong_foot_scoop",
      "target": "standing_counter_control",
      "operator": "post",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor has a mat support path after the rewrite",
          "pass": true
        },
        {
          "label": "support set or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "strong_foot_scoop",
      "target": "neutral_reset",
      "operator": "release",
      "actor": "smith",
      "predicates": [
        {
          "label": "interaction control decreases or graph resets",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "weak_foot_control",
      "target": "mill_interception",
      "operator": "mill",
      "actor": "smith",
      "predicates": [
        {
          "label": "arm-and-leg or head-post structure exists",
          "pass": true
        },
        {
          "label": "rotation target changes posture",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "weak_foot_control",
      "target": "strong_foot_scoop",
      "operator": "scoop",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor maintains a limb control",
          "pass": true
        },
        {
          "label": "opponent support or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "leg_withdrawn",
      "target": "opposite_leg_switch",
      "operator": "switch_target",
      "actor": "smith",
      "predicates": [
        {
          "label": "original target is withdrawn and opposite target is reached",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "leg_withdrawn",
      "target": "double_sprawl",
      "operator": "sprawl",
      "actor": "defender",
      "predicates": [
        {
          "label": "target adds upper-body load",
          "pass": true
        },
        {
          "label": "target has bilateral or multiple controls",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "opposite_leg_switch",
      "target": "smith_score",
      "operator": "grip",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "opposite_leg_switch",
      "target": "double_sprawl",
      "operator": "sprawl",
      "actor": "defender",
      "predicates": [
        {
          "label": "target adds upper-body load",
          "pass": true
        },
        {
          "label": "target has bilateral or multiple controls",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "double_sprawl",
      "target": "sprawl_asymmetry",
      "operator": "duck_under",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor can rotate head or torso",
          "pass": true
        },
        {
          "label": "opponent control weakens or side access appears",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "double_sprawl",
      "target": "front_headlock_control",
      "operator": "pressure",
      "actor": "defender",
      "predicates": [
        {
          "label": "pressure or load relation is preserved",
          "pass": true
        },
        {
          "label": "opponent posture becomes no freer",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "double_sprawl",
      "target": "neutral_reset",
      "operator": "post",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor has a mat support path after the rewrite",
          "pass": true
        },
        {
          "label": "support set or posture changes",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "sprawl_asymmetry",
      "target": "duck_under_access",
      "operator": "duck_under",
      "actor": "smith",
      "predicates": [
        {
          "label": "actor can rotate head or torso",
          "pass": true
        },
        {
          "label": "opponent control weakens or side access appears",
          "pass": true
        }
      ],
      "valid": true
    },
    {
      "source": "sprawl_asymmetry",
      "target": "front_headlock_control",
      "operator": "grip",
      "actor": "defender",
      "predicates": [
        {
          "label": "actor gains a grip, reaches an exposed target, or completes an abstracted terminal capture",
          "pass": true
        },
        {
          "label": "control is directed at opponent or terminal capture is abstracted",
          "pass": true
        }
      ],
      "valid": true
    }
  ]
}