science.alt.dataset.verificationMethod

lexicon.store View official

Documentation

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.

main string

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.

ConstraintsmaxLength: 50 bytes
Known Values (other values may be valid)
codeReview formalProof signedHash automatedTest
View raw schema 
{
  "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"
  ]
}
automatedTest token

Automated test suite verification

Referencescience.alt.dataset.verificationMethod#automatedTest

Tokens have no data representation. Use the reference string as a value.

View raw schema 
{
  "type": "token",
  "description": "Automated test suite verification"
}
codeReview token

Manual code review by a trusted party

Referencescience.alt.dataset.verificationMethod#codeReview

Tokens have no data representation. Use the reference string as a value.

View raw schema 
{
  "type": "token",
  "description": "Manual code review by a trusted party"
}
formalProof token

Machine-checkable correctness proof (Coq, Lean, etc.)

Referencescience.alt.dataset.verificationMethod#formalProof

Tokens have no data representation. Use the reference string as a value.

View raw schema 
{
  "type": "token",
  "description": "Machine-checkable correctness proof (Coq, Lean, etc.)"
}
signedHash token

Cryptographic signature over code hash at referenced commit

Referencescience.alt.dataset.verificationMethod#signedHash

Tokens have no data representation. Use the reference string as a value.

View raw schema 
{
  "type": "token",
  "description": "Cryptographic signature over code hash at referenced commit"
}

Lexicon Garden

@