alexmandClaude
76d76353d9
- Rename manuspec to paperspec everywhere outside pixi.toml: prose, the tools, provenance tool names and the fixture key derivations, so every fixture and vector is rebuilt. - Move the namespace addresses under the site, mirroring the repository: schema $id https://paperspec.scient.ing/schemas/<file>, the JSON-LD context https://paperspec.scient.ing/context/scienting-1.jsonld, and term IRIs https://paperspec.scient.ing/vocab#<term>. Format identifiers (scienting-*) and URNs (urn:scienting:) are unchanged. - tools/site.py (standard library only) builds _site/: every file of the repository at its own path, each Markdown file rendered as a page with sidebar navigation, heading anchors matching the forge's, folder listings, a vocabulary page for the context's IRIs, a heading search and a 404 page; light and dark themes. - check.py builds the site and checks that every Markdown file has a page, every internal link and fragment resolves, no Markdown is left unrendered, and every $id, the context address and the vocabulary IRIs are files of the site. - deploy/: a Caddyfile with the media types and CORS the data needs, and a guide; .gitea/workflows/site.yml builds on main and publishes with rsync when the SITE_* secrets are set. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
352 lines
7.6 KiB
JSON
352 lines
7.6 KiB
JSON
{
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
"$id": "https://paperspec.scient.ing/schemas/exercise.schema.json",
|
|
"title": "Exercise",
|
|
"description": "scienting-exercise/1: the body of an exercise annotation; spec/19-exercises.md.",
|
|
"type": "object",
|
|
"properties": {
|
|
"format": {
|
|
"const": "scienting-exercise/1"
|
|
},
|
|
"exercise": {
|
|
"enum": [
|
|
"anchor",
|
|
"check",
|
|
"trace",
|
|
"reproduce",
|
|
"verify"
|
|
]
|
|
},
|
|
"prompt": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"summary": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"key": {
|
|
"type": "object",
|
|
"properties": {
|
|
"elements": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"properties": {
|
|
"anchors": {
|
|
"type": "array",
|
|
"items": {
|
|
"$ref": "anchor.schema.json"
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"points": {
|
|
"$ref": "common.schema.json#/$defs/decimal"
|
|
},
|
|
"feedback": {
|
|
"type": "object",
|
|
"properties": {
|
|
"hit": {
|
|
"type": "string"
|
|
},
|
|
"miss": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"required": [
|
|
"anchors",
|
|
"points"
|
|
],
|
|
"additionalProperties": false
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"verdict": {
|
|
"type": "object",
|
|
"properties": {
|
|
"value": {
|
|
"enum": [
|
|
"supports",
|
|
"partly",
|
|
"does-not",
|
|
"cannot-tell"
|
|
]
|
|
},
|
|
"points": {
|
|
"$ref": "common.schema.json#/$defs/decimal"
|
|
},
|
|
"feedback": {
|
|
"type": "object",
|
|
"properties": {
|
|
"hit": {
|
|
"type": "string"
|
|
},
|
|
"miss": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"required": [
|
|
"value",
|
|
"points"
|
|
],
|
|
"additionalProperties": false
|
|
},
|
|
"chain": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"properties": {
|
|
"anchors": {
|
|
"type": "array",
|
|
"items": {
|
|
"$ref": "anchor.schema.json"
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"points": {
|
|
"$ref": "common.schema.json#/$defs/decimal"
|
|
},
|
|
"feedback": {
|
|
"type": "object",
|
|
"properties": {
|
|
"hit": {
|
|
"type": "string"
|
|
},
|
|
"miss": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"required": [
|
|
"anchors",
|
|
"points"
|
|
],
|
|
"additionalProperties": false
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"value": {
|
|
"$ref": "common.schema.json#/$defs/decimal"
|
|
},
|
|
"tolerance": {
|
|
"$ref": "common.schema.json#/$defs/decimal"
|
|
},
|
|
"unit": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"digitization": {
|
|
"$ref": "common.schema.json#/$defs/recordId"
|
|
},
|
|
"points": {
|
|
"$ref": "common.schema.json#/$defs/decimal"
|
|
},
|
|
"feedback": {
|
|
"type": "object",
|
|
"properties": {
|
|
"hit": {
|
|
"type": "string"
|
|
},
|
|
"miss": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [],
|
|
"additionalProperties": false
|
|
},
|
|
"errors": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"properties": {
|
|
"anchors": {
|
|
"type": "array",
|
|
"items": {
|
|
"$ref": "anchor.schema.json"
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"verdict": {
|
|
"enum": [
|
|
"supports",
|
|
"partly",
|
|
"does-not",
|
|
"cannot-tell"
|
|
]
|
|
},
|
|
"points": {
|
|
"$ref": "common.schema.json#/$defs/decimal"
|
|
},
|
|
"feedback": {
|
|
"type": "object",
|
|
"properties": {
|
|
"hit": {
|
|
"type": "string"
|
|
},
|
|
"miss": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"required": [
|
|
"anchors",
|
|
"verdict",
|
|
"points"
|
|
],
|
|
"additionalProperties": false
|
|
},
|
|
"minItems": 1
|
|
}
|
|
},
|
|
"required": [],
|
|
"additionalProperties": false
|
|
},
|
|
"rule": {
|
|
"type": "object",
|
|
"properties": {
|
|
"match": {
|
|
"enum": [
|
|
"same-node",
|
|
"overlap",
|
|
"chain"
|
|
]
|
|
},
|
|
"min_overlap": {
|
|
"$ref": "common.schema.json#/$defs/decimal"
|
|
}
|
|
},
|
|
"required": [
|
|
"match"
|
|
],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"required": [
|
|
"format",
|
|
"exercise",
|
|
"prompt",
|
|
"key",
|
|
"rule"
|
|
],
|
|
"additionalProperties": false,
|
|
"allOf": [
|
|
{
|
|
"if": {
|
|
"properties": {
|
|
"exercise": {
|
|
"const": "anchor"
|
|
}
|
|
}
|
|
},
|
|
"then": {
|
|
"properties": {
|
|
"key": {
|
|
"required": [
|
|
"elements"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"if": {
|
|
"properties": {
|
|
"exercise": {
|
|
"const": "check"
|
|
}
|
|
}
|
|
},
|
|
"then": {
|
|
"properties": {
|
|
"key": {
|
|
"required": [
|
|
"elements",
|
|
"verdict"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"if": {
|
|
"properties": {
|
|
"exercise": {
|
|
"const": "trace"
|
|
}
|
|
}
|
|
},
|
|
"then": {
|
|
"properties": {
|
|
"key": {
|
|
"required": [
|
|
"chain"
|
|
]
|
|
},
|
|
"rule": {
|
|
"properties": {
|
|
"match": {
|
|
"const": "chain"
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"if": {
|
|
"properties": {
|
|
"exercise": {
|
|
"const": "reproduce"
|
|
}
|
|
}
|
|
},
|
|
"then": {
|
|
"properties": {
|
|
"key": {
|
|
"required": [
|
|
"value",
|
|
"tolerance",
|
|
"points"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"if": {
|
|
"properties": {
|
|
"exercise": {
|
|
"const": "verify"
|
|
}
|
|
}
|
|
},
|
|
"then": {
|
|
"required": [
|
|
"summary"
|
|
],
|
|
"properties": {
|
|
"key": {
|
|
"required": [
|
|
"errors"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
}
|
|
]
|
|
}
|