science.alt.dataset.verificationMethod

{
  "id": "science.alt.dataset.verificationMethod",
  "defs": {
    "main": {
      "type": "string",
      "maxLength": 50,
      "description": "Verification method identifier for lens verification records. Known values correspond to token definitions in this Lexicon. New verification methods can be added as tokens without breaking changes.",
      "knownValues": [
        "codeReview",
        "formalProof",
        "signedHash",
        "automatedTest"
      ]
    },
    "codeReview": {
      "type": "token",
      "description": "Manual code review by a trusted party"
    },
    "signedHash": {
      "type": "token",
      "description": "Cryptographic signature over code hash at referenced commit"
    },
    "formalProof": {
      "type": "token",
      "description": "Machine-checkable correctness proof (Coq, Lean, etc.)"
    },
    "automatedTest": {
      "type": "token",
      "description": "Automated test suite verification"
    }
  },
  "$type": "com.atproto.lexicon.schema",
  "lexicon": 1
}