diy.razorgirl.winter.rule
Datalog derivation rule. Head predicate derived from body conditions using Soufflé syntax.
Details · record, key tid
| Kind | record |
|---|---|
| Record key | tid |
| Authority | winter.razorgirl.diy |
| Indexed |
Checks
Validmissing-primary-descriptiondefs.mainThe record has no description.unlimited-stringdefs.main.record.properties.args.items.properties.descriptionNo maxLength, maxGraphemes or format limits this string.unlimited-stringdefs.main.record.properties.args.items.properties.nameNo maxLength, maxGraphemes or format limits this string.unlimited-stringdefs.main.record.properties.args.items.properties.typeNo maxLength, maxGraphemes or format limits this string.unlimited-stringdefs.main.record.properties.body.itemsNo maxLength, maxGraphemes or format limits this string.unlimited-stringdefs.main.record.properties.constraints.itemsNo maxLength, maxGraphemes or format limits this string.unlimited-stringdefs.main.record.properties.headNo maxLength, maxGraphemes or format limits this string.
{
"$type": "com.atproto.lexicon.schema",
"defs": {
"main": {
"key": "tid",
"record": {
"properties": {
"args": {
"items": {
"properties": {
"description": {
"type": "string"
},
"name": {
"type": "string"
},
"type": {
"type": "string"
}
},
"required": [
"name"
],
"type": "object"
},
"type": "array"
},
"body": {
"items": {
"type": "string"
},
"type": "array"
},
"constraints": {
"items": {
"type": "string"
},
"type": "array"
},
"createdAt": {
"format": "datetime",
"type": "string"
},
"description": {
"maxLength": 1024,
"type": "string"
},
"enabled": {
"default": true,
"type": "boolean"
},
"head": {
"type": "string"
},
"name": {
"maxLength": 128,
"type": "string"
},
"priority": {
"default": 0,
"type": "integer"
}
},
"required": [
"name",
"description",
"head",
"body",
"createdAt"
],
"type": "object"
},
"type": "record"
}
},
"description": "Datalog derivation rule. Head predicate derived from body conditions using Soufflé syntax.",
"id": "diy.razorgirl.winter.rule",
"lexicon": 1
}