Lexicon Garden

org.cairnsproto.draft.check

A deterministic WASM program anyone can re-run under the Cairns check profile.

Repository @cairnsproto.org did:plc:np7ezqujtsry4bkogisaabul namespace authority
Details · record, key tid
Kindrecord
Record keytid
Authoritydraft.cairnsproto.org
Indexed
Compare Edit in builder → Fork →

Record

record · key tid

Properties

accepts

array

Hashes of the payload schemas the check accepts. Absent when the input isn't a payload, as for the transform interpreter, whose input is a script and a source.

  • minLength: 1
  • maxLength: 64
itemsref
Reference

createdAt

requiredstring · datetime

gasLimit

requiredinteger
  • minimum: 1

license

requiredstring

SPDX expression or URL for the module and its source.

  • maxLength: 512

module

requiredblob
  • maxSize: 5000000
  • accept: application/wasm

output

ref

Hash of the output schema. Absent when another record names it, as each transform names the schema of its interpreter run's output.

Reference

profile

requiredref
Reference

proves

requiredstring

The exact claim a passing result supports.

  • maxLength: 3000

source

ref
Reference

#profile

object

Properties

instrumenter

requiredstring

Tool and exact version that checked the module against the profile. Runners apply the profile's own metering pass.

  • maxLength: 256

version

requiredstring
  • maxLength: 64

#sourceRef

object

The git commit the module was built from.

Properties

commit

requiredstring
  • minLength: 40
  • maxLength: 64

repo

requiredstring · uri