{
  "name": "szl_lambda_gate",
  "version": "0.2.0",
  "universal": true,
  "backends": [
    "cpu",
    "cuda"
  ],
  "author": "SZL Holdings",
  "license": "Apache-2.0",
  "lambda_status": "Conjecture 1 (open) — uniqueness unproven; advisory only",
  "provenance": {
    "lean_repo": "szl-holdings/lutar-lean",
    "doi_lutar_lean": "10.5281/zenodo.20434308"
  }
}