meshful.ai

{
  "oneOf": [
    {
      "type": "object",
      "properties": {
        "source": {
          "const": "stored"
        },
        "scope": {
          "const": "personal"
        },
        "deck_id": {
          "type": "string",
          "minLength": 1,
          "maxLength": 257,
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]*$"
        }
      },
      "required": [
        "source",
        "scope",
        "deck_id"
      ],
      "additionalProperties": false
    },
    {
      "type": "object",
      "properties": {
        "source": {
          "const": "candidate"
        },
        "operation": {
          "const": "create"
        },
        "deck": {
          "type": "object",
          "properties": {
            "schema_version": {
              "const": "normalized-definition-deck.v2",
              "description": "Use normalized-definition-deck.v2 exactly. The authoring guide version is not a payload field."
            },
            "deck_id": {
              "type": "string",
              "minLength": 1,
              "maxLength": 128,
              "pattern": "^[a-z0-9](?:[a-z0-9_-]{0,127})$",
              "description": "Stable lowercase deck identity. Create a new personal deck unless the user explicitly requested replacement; never infer replacement from an ID collision."
            },
            "title": {
              "type": "string",
              "minLength": 1,
              "maxLength": 200,
              "pattern": "\\S",
              "description": "A concise learner-facing title whose bounded promise the cards fulfill."
            },
            "cards": {
              "type": "array",
              "items": {
                "type": "object",
                "properties": {
                  "id": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 128,
                    "pattern": "^[a-z0-9](?:[a-z0-9_-]{0,127})$",
                    "description": "Stable lowercase deck-local concept ID, not a positional number or a deck-qualified storage ID. Preserve it during repairs."
                  },
                  "term": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 300,
                    "pattern": "\\S",
                    "description": "Plain-text, unambiguous label for exactly one singular, atomic, retrievable concept or one unitary named theorem, law, method, problem, process, or object. Split true multi-target comparisons, lists, alternatives, paired operations, generic relationships, umbrellas, and bundles. If the content already targets one concept, narrow extraneous objective wording to exactly one replacement front while preserving semantic identity. A visible and/or/versus/vs./slash/comma/ampersand or a generic colon suffix such as role/use/scope/statement is a presumptive defect unless this is a true established proper name with an explicit outside-payload rationale."
                  },
                  "definition": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 8000,
                    "pattern": "\\S",
                    "description": "Accurate, concise definition of the front's one concept, stated directly and including distinguishing conditions and notation. A formula alone is not a sufficient definition: accompany it with short prose identifying non-obvious symbols, the relevant domain, quantifiers or conditions, and what the relationship means. State truth-changing theorem hypotheses and comparison inequalities/directions directly; never hide them behind phrases such as 'under the theorem hypotheses.' Put actual mathematical notation in balanced $...$ / $$...$$ TeX rather than raw pseudocode such as integral_a^b, abs(...), or sqrt(...). Do not use circular meta-language such as 'the definition of', 'the idea that', 'the concept of', or 'the question whether' in place of the content. Supports simple Markdown and math; no raw HTML or remote embeds."
                  },
                  "criteria": {
                    "type": "array",
                    "items": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 500,
                      "pattern": "\\S"
                    },
                    "maxItems": 12,
                    "minItems": 1,
                    "uniqueItems": true,
                    "description": "Minimal observable requirements for the front's one core defining meaning; never use criteria to preserve multiple concepts hidden behind one front. 1–12 allowed, not a quota. A complete equivalent definition or complete alternative characterization must pass without separately reciting another equivalent form, optional examples, consequences, contrasts, error checks, applications, or reference values."
                  },
                  "tags": {
                    "type": "array",
                    "items": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 100,
                      "pattern": "\\S"
                    },
                    "maxItems": 5,
                    "uniqueItems": true,
                    "description": "Optional organizational labels, not criteria or prerequisites; at most 5. Omitted means [] for new cards but preserves existing tags on replacement. Explicit [] clears tags."
                  }
                },
                "required": [
                  "id",
                  "term",
                  "definition",
                  "criteria"
                ],
                "additionalProperties": false
              },
              "maxItems": 50,
              "minItems": 1,
              "description": "Complete atomic definition cards for this normalized-v2 payload. Each front tests exactly one term or concept; a flagged front must be split, narrowed to the one concept its content already targets, or receive an explicit outside-payload proper-name exception rationale. Coverage determines the count; never merge or omit independently recallable in-scope concepts to stay small. A full-payload call permits 1–50 cards; a larger requested scope uses the course-batch instructions rather than shrinking."
            },
            "edges": {
              "type": "array",
              "items": {
                "type": "object",
                "properties": {
                  "from": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 128,
                    "pattern": "^[a-z0-9](?:[a-z0-9_-]{0,127})$",
                    "description": "ID of the prerequisite card in this payload."
                  },
                  "to": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 128,
                    "pattern": "^[a-z0-9](?:[a-z0-9_-]{0,127})$",
                    "description": "ID of the dependent card in this payload."
                  }
                },
                "required": [
                  "from",
                  "to"
                ],
                "additionalProperties": false
              },
              "maxItems": 250,
              "uniqueItems": true,
              "description": "Sparse deck-local direct hard prerequisites, from prerequisite to dependent. Usually give a card zero or one direct parent; use two only when both concepts are independently necessary. Treat three or more as a presumptive semantic defect requiring exact justification, but never enforce a maximum parent count or indegree quota: every independently necessary direct parent must survive. Decide directness against the full planned deck before batching; validation does not auto-reduce."
            }
          },
          "required": [
            "schema_version",
            "deck_id",
            "title",
            "cards",
            "edges"
          ],
          "additionalProperties": false
        }
      },
      "required": [
        "source",
        "operation",
        "deck"
      ],
      "additionalProperties": false
    },
    {
      "type": "object",
      "properties": {
        "source": {
          "const": "candidate"
        },
        "operation": {
          "const": "replace"
        },
        "target_deck_id": {
          "type": "string",
          "minLength": 1,
          "maxLength": 257,
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]*$"
        },
        "expected_deck_revision": {
          "type": "integer",
          "minimum": 1
        },
        "deck": {
          "type": "object",
          "properties": {
            "schema_version": {
              "const": "normalized-definition-deck.v2",
              "description": "Use normalized-definition-deck.v2 exactly. The authoring guide version is not a payload field."
            },
            "deck_id": {
              "type": "string",
              "minLength": 1,
              "maxLength": 128,
              "pattern": "^[a-z0-9](?:[a-z0-9_-]{0,127})$",
              "description": "Stable lowercase deck identity. Create a new personal deck unless the user explicitly requested replacement; never infer replacement from an ID collision."
            },
            "title": {
              "type": "string",
              "minLength": 1,
              "maxLength": 200,
              "pattern": "\\S",
              "description": "A concise learner-facing title whose bounded promise the cards fulfill."
            },
            "cards": {
              "type": "array",
              "items": {
                "type": "object",
                "properties": {
                  "id": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 128,
                    "pattern": "^[a-z0-9](?:[a-z0-9_-]{0,127})$",
                    "description": "Stable lowercase deck-local concept ID, not a positional number or a deck-qualified storage ID. Preserve it during repairs."
                  },
                  "term": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 300,
                    "pattern": "\\S",
                    "description": "Plain-text, unambiguous label for exactly one singular, atomic, retrievable concept or one unitary named theorem, law, method, problem, process, or object. Split true multi-target comparisons, lists, alternatives, paired operations, generic relationships, umbrellas, and bundles. If the content already targets one concept, narrow extraneous objective wording to exactly one replacement front while preserving semantic identity. A visible and/or/versus/vs./slash/comma/ampersand or a generic colon suffix such as role/use/scope/statement is a presumptive defect unless this is a true established proper name with an explicit outside-payload rationale."
                  },
                  "definition": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 8000,
                    "pattern": "\\S",
                    "description": "Accurate, concise definition of the front's one concept, stated directly and including distinguishing conditions and notation. A formula alone is not a sufficient definition: accompany it with short prose identifying non-obvious symbols, the relevant domain, quantifiers or conditions, and what the relationship means. State truth-changing theorem hypotheses and comparison inequalities/directions directly; never hide them behind phrases such as 'under the theorem hypotheses.' Put actual mathematical notation in balanced $...$ / $$...$$ TeX rather than raw pseudocode such as integral_a^b, abs(...), or sqrt(...). Do not use circular meta-language such as 'the definition of', 'the idea that', 'the concept of', or 'the question whether' in place of the content. Supports simple Markdown and math; no raw HTML or remote embeds."
                  },
                  "criteria": {
                    "type": "array",
                    "items": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 500,
                      "pattern": "\\S"
                    },
                    "maxItems": 12,
                    "minItems": 1,
                    "uniqueItems": true,
                    "description": "Minimal observable requirements for the front's one core defining meaning; never use criteria to preserve multiple concepts hidden behind one front. 1–12 allowed, not a quota. A complete equivalent definition or complete alternative characterization must pass without separately reciting another equivalent form, optional examples, consequences, contrasts, error checks, applications, or reference values."
                  },
                  "tags": {
                    "type": "array",
                    "items": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 100,
                      "pattern": "\\S"
                    },
                    "maxItems": 5,
                    "uniqueItems": true,
                    "description": "Optional organizational labels, not criteria or prerequisites; at most 5. Omitted means [] for new cards but preserves existing tags on replacement. Explicit [] clears tags."
                  }
                },
                "required": [
                  "id",
                  "term",
                  "definition",
                  "criteria"
                ],
                "additionalProperties": false
              },
              "maxItems": 50,
              "minItems": 1,
              "description": "Complete atomic definition cards for this normalized-v2 payload. Each front tests exactly one term or concept; a flagged front must be split, narrowed to the one concept its content already targets, or receive an explicit outside-payload proper-name exception rationale. Coverage determines the count; never merge or omit independently recallable in-scope concepts to stay small. A full-payload call permits 1–50 cards; a larger requested scope uses the course-batch instructions rather than shrinking."
            },
            "edges": {
              "type": "array",
              "items": {
                "type": "object",
                "properties": {
                  "from": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 128,
                    "pattern": "^[a-z0-9](?:[a-z0-9_-]{0,127})$",
                    "description": "ID of the prerequisite card in this payload."
                  },
                  "to": {
                    "type": "string",
                    "minLength": 1,
                    "maxLength": 128,
                    "pattern": "^[a-z0-9](?:[a-z0-9_-]{0,127})$",
                    "description": "ID of the dependent card in this payload."
                  }
                },
                "required": [
                  "from",
                  "to"
                ],
                "additionalProperties": false
              },
              "maxItems": 250,
              "uniqueItems": true,
              "description": "Sparse deck-local direct hard prerequisites, from prerequisite to dependent. Usually give a card zero or one direct parent; use two only when both concepts are independently necessary. Treat three or more as a presumptive semantic defect requiring exact justification, but never enforce a maximum parent count or indegree quota: every independently necessary direct parent must survive. Decide directness against the full planned deck before batching; validation does not auto-reduce."
            }
          },
          "required": [
            "schema_version",
            "deck_id",
            "title",
            "cards",
            "edges"
          ],
          "additionalProperties": false
        }
      },
      "required": [
        "source",
        "operation",
        "target_deck_id",
        "expected_deck_revision",
        "deck"
      ],
      "additionalProperties": false
    }
  ]
}