{
  "schema": "JDPSP-LIFTING-0.1",
  "paper_id": "JDPSP-03",
  "source_domain": {
    "formal_space": null,
    "reference_scope": null,
    "scale": null,
    "context": null
  },
  "target_domain": {
    "formal_space": null,
    "reference_scope": null,
    "scale": null,
    "context": null
  },
  "direction": "down|horizontal|up",
  "transport_type": "restriction|conditioning|marginalization|pushforward|kernel|extension|gluing|aggregation|other",
  "formal_map": null,
  "kernel": null,
  "aggregation_map": null,
  "compatibility_conditions": [],
  "regularity_conditions": [],
  "selection_rule": null,
  "lift_status": "L0|L1|L2|L3|L4",
  "uniqueness_status": "unknown|obstructed|nonunique|unique|rule-selected",
  "approximation_tolerance": null,
  "proof_or_external_theorem": null,
  "empirical_evidence": null
}