{
  "family": "slip_or_tip",
  "generator_id": "slip-or-tip-mpmath-o3",
  "generator_version": "1.0.0",
  "seed": "20260927.slip-or-tip-o3",
  "mpmath_dps": 80,
  "precision_bits": 265,
  "library": "mpmath 1.4.1",
  "notes": "Level surface: P_slip = \u03bcW and P_tip = W b/(2 d); P is the smaller. + O3 mpmath tabulated P.",
  "vectors": [
    {
      "id": "o3-slip",
      "kind": "slip",
      "inputs": {
        "W": "100",
        "mu": "0.25",
        "b": "2",
        "d": "2"
      },
      "P_f64": 25.0,
      "P_decimal": "25.00000000000000000000000000000000000000",
      "P_slip_f64": 25.0,
      "P_slip_decimal": "25.00000000000000000000000000000000000000",
      "P_tip_f64": 50.0,
      "P_tip_decimal": "50.00000000000000000000000000000000000000",
      "mode": "slip"
    },
    {
      "id": "o3-tip",
      "kind": "tip",
      "inputs": {
        "W": "100",
        "mu": "0.6",
        "b": "2",
        "d": "2"
      },
      "P_f64": 50.0,
      "P_decimal": "50.00000000000000000000000000000000000000",
      "P_slip_f64": 60.0,
      "P_slip_decimal": "60.00000000000000000000000000000000000000",
      "P_tip_f64": 50.0,
      "P_tip_decimal": "50.00000000000000000000000000000000000000",
      "mode": "tip"
    },
    {
      "id": "o3-either",
      "kind": "either",
      "inputs": {
        "W": "100",
        "mu": "0.5",
        "b": "2",
        "d": "2"
      },
      "P_f64": 50.0,
      "P_decimal": "50.00000000000000000000000000000000000000",
      "P_slip_f64": 50.0,
      "P_slip_decimal": "50.00000000000000000000000000000000000000",
      "P_tip_f64": 50.0,
      "P_tip_decimal": "50.00000000000000000000000000000000000000",
      "mode": "either"
    },
    {
      "id": "o3-alias",
      "kind": "alias",
      "inputs": {
        "weight": "80",
        "mu_s": "0.2",
        "width": "3",
        "height": "1.5"
      },
      "P_f64": 16.0,
      "P_decimal": "16.00000000000000000000000000000000000000",
      "P_slip_f64": 16.0,
      "P_slip_decimal": "16.00000000000000000000000000000000000000",
      "P_tip_f64": 80.0,
      "P_tip_decimal": "80.00000000000000000000000000000000000000",
      "mode": "slip"
    },
    {
      "id": "o3-awkward",
      "kind": "awkward",
      "inputs": {
        "W": "137",
        "mu": "0.37",
        "b": "2.5",
        "d": "1.8"
      },
      "P_f64": 50.69,
      "P_decimal": "50.69000000000000000000000000000000000000",
      "P_slip_f64": 50.69,
      "P_slip_decimal": "50.69000000000000000000000000000000000000",
      "P_tip_f64": 95.13888888888889,
      "P_tip_decimal": "95.13888888888888888888888888888888888889",
      "mode": "slip"
    },
    {
      "id": "o3-small",
      "kind": "small",
      "inputs": {
        "W": "1",
        "mu": "0.1",
        "b": "0.4",
        "d": "0.2"
      },
      "P_f64": 0.1,
      "P_decimal": "0.1000000000000000000000000000000000000000",
      "P_slip_f64": 0.1,
      "P_slip_decimal": "0.1000000000000000000000000000000000000000",
      "P_tip_f64": 1.0,
      "P_tip_decimal": "1.000000000000000000000000000000000000000",
      "mode": "slip"
    },
    {
      "id": "o3-tall",
      "kind": "tall",
      "inputs": {
        "W": "200",
        "mu": "0.3",
        "b": "1",
        "d": "4"
      },
      "P_f64": 25.0,
      "P_decimal": "25.00000000000000000000000000000000000000",
      "P_slip_f64": 60.0,
      "P_slip_decimal": "60.00000000000000000000000000000000000000",
      "P_tip_f64": 25.0,
      "P_tip_decimal": "25.00000000000000000000000000000000000000",
      "mode": "tip"
    },
    {
      "id": "o3-wide",
      "kind": "wide",
      "inputs": {
        "W": "50",
        "mu": "0.4",
        "b": "6",
        "d": "1"
      },
      "P_f64": 20.0,
      "P_decimal": "20.00000000000000000000000000000000000000",
      "P_slip_f64": 20.0,
      "P_slip_decimal": "20.00000000000000000000000000000000000000",
      "P_tip_f64": 150.0,
      "P_tip_decimal": "150.0000000000000000000000000000000000000",
      "mode": "slip"
    }
  ]
}