Spaces:
Running
Running
File size: 1,889 Bytes
1352348 399e448 1352348 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 | {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "index.schema.json",
"x-contract-version": 1,
"$defs": {
"IndexEntry": {
"additionalProperties": false,
"description": "One entry of report/index.json. `file` is relative to the batch dir.",
"properties": {
"game_id": {
"type": "string"
},
"file": {
"type": "string"
},
"seed": {
"type": "integer"
},
"days": {
"type": "integer"
},
"winner": {
"anyOf": [
{
"enum": [
"wolves",
"villagers",
"draw"
],
"type": "string"
},
{
"type": "null"
}
]
},
"seats": {
"patternProperties": {
"^p[0-9]$": {
"$ref": "#/$defs/IndexSeat"
}
},
"type": "object",
"additionalProperties": false
}
},
"required": [
"game_id",
"file",
"seed",
"days",
"winner",
"seats"
],
"title": "IndexEntry",
"type": "object"
},
"IndexSeat": {
"additionalProperties": false,
"properties": {
"name": {
"type": "string"
},
"model": {
"type": "string"
},
"role": {
"$ref": "#/$defs/Role"
}
},
"required": [
"name",
"model",
"role"
],
"title": "IndexSeat",
"type": "object"
},
"Role": {
"enum": [
"wolf",
"seer",
"doctor",
"villager"
],
"title": "Role",
"type": "string"
}
},
"items": {
"$ref": "#/$defs/IndexEntry"
},
"type": "array"
}
|