{
  "status": "pass",
  "scope": "logical composition and reversal orientation only",
  "does_not_verify": [
    "FPRD-T91's imported Alur-Madhusudan construction",
    "Kim-Park Theorem 4.19",
    "the Kim-Park Lean artifact",
    "the underlying cell-probe lower bound"
  ],
  "imported_fact_count": 7,
  "visible_lifts_checked": 2,
  "peg_sca_orientation_checks": 2,
  "fprd_c02": "resolved negatively",
  "transport_hard_projection": "C",
  "peg_hard_projection": "L=C^R",
  "delta_str_C": "infinity",
  "delta_str_L": "finite"
}