websims-sd.pages.dev

{
  "type": "object",
  "properties": {
    "candidateId": {
      "type": "string",
      "minLength": 1,
      "maxLength": 64
    },
    "targetKind": {
      "type": "string",
      "enum": [
        "node",
        "edge",
        "step",
        "candidate"
      ],
      "description": "What the note is pinned to (candidate = a whole version). A step is a 0-based index into that version's counterexample."
    },
    "targetId": {
      "type": "string",
      "minLength": 1,
      "maxLength": 64,
      "description": "Node id, edge id, step index as a string, or version id."
    },
    "text": {
      "type": "string",
      "minLength": 1,
      "maxLength": 400,
      "description": "The note, one or two sentences. Say what, and cite where when you can."
    },
    "tone": {
      "type": "string",
      "enum": [
        "info",
        "warn",
        "bad"
      ],
      "default": "info"
    }
  },
  "additionalProperties": false,
  "required": [
    "targetKind",
    "targetId",
    "text"
  ]
}