Spaces:
Running
Running
Download devui/schema/index.schema.json from polter-dev/societysim: direct link, hf CLI and curl.
- Browser
- Download file 1.89 kB
-
https://huggingface.co/spaces/polter-dev/societysim/resolve/main/devui/schema/index.schema.json
- Command line
-
hf download hf://spaces/polter-dev/societysim/devui/schema/index.schema.json
-
curl -L -o index.schema.json https://huggingface.co/spaces/polter-dev/societysim/resolve/main/devui/schema/index.schema.json
1.89 kB
| { | |
| "$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" | |
| } | |