dsh-diagnostic-tutor 0.1.0 → 0.2.0

package/lib/types/lesson.d.ts

@@ -53,13 +53,64 @@ export declare const MAX_PROMPT_CHARS = 1000;
 export declare const MAX_TITLE_CHARS = 200;
 export declare const MAX_STEP_CHARS = 400;
 export declare const MAX_STEPS = 12;
+export declare const MAX_MATH_TEX_CHARS = 2000;
+export declare const MAX_MATHML_CHARS = 12000;
+export declare const MAX_MATH_FRAGMENTS = 24;
+export declare const MAX_ID_CHARS = 120;
+export declare const MAX_CODE_CHARS = 6000;
+export declare const MAX_CODE_LANGUAGE_CHARS = 40;
+export declare const MAX_QUIZ_QUESTIONS = 8;
+export declare const MAX_QUIZ_OPTIONS = 8;
+export declare const MAX_QUIZ_ANSWER_CHARS = 2000;
+export declare const MAX_FLASHCARD_SIDE_CHARS = 2000;
+export declare const MAX_FLASHCARD_TAGS = 8;
+export declare const MAX_COMPARISON_COLUMNS = 8;
+export declare const MAX_COMPARISON_ROWS = 20;
+export declare const MAX_COMPARISON_CELL_CHARS = 500;
+export declare const MAX_LESSON_BYTES = 262144;
+/** A citation into one stored source. */
+export declare const SourceRefSchema: z.ZodObject<{
+    sourceId: z.ZodString;
+    locator: z.ZodString;
+}, z.core.$strict>;
+export type SourceRef = z.infer<typeof SourceRefSchema>;
+export declare const MathFragmentSchema: z.ZodObject<{
+    tex: z.ZodString;
+    display: z.ZodBoolean;
+    mathml: z.ZodString;
+}, z.core.$strip>;
+export type MathFragmentRecord = z.infer<typeof MathFragmentSchema>;
 export declare const TextBlockSchema: z.ZodObject<{
     type: z.ZodLiteral<"text">;
     content: z.ZodObject<{
         md: z.ZodString;
+        math: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            tex: z.ZodString;
+            display: z.ZodBoolean;
+            mathml: z.ZodString;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>;
+export declare const FormulaBlockSchema: z.ZodObject<{
+    type: z.ZodLiteral<"formula">;
+    content: z.ZodObject<{
+        tex: z.ZodString;
+        display: z.ZodOptional<z.ZodBoolean>;
+        mathml: z.ZodOptional<z.ZodString>;
+        caption: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>;
 export declare const ExampleBlockSchema: z.ZodObject<{
     type: z.ZodLiteral<"example">;
@@ -70,6 +121,10 @@ export declare const ExampleBlockSchema: z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>;
 export declare const DiagramBlockSchema: z.ZodObject<{
     type: z.ZodLiteral<"diagram">;
@@ -83,6 +138,10 @@ export declare const DiagramBlockSchema: z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>;
 export declare const CheckBlockSchema: z.ZodObject<{
     type: z.ZodLiteral<"check">;
@@ -96,15 +155,122 @@ export declare const CheckBlockSchema: z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>;
+export declare const CodeBlockSchema: z.ZodObject<{
+    type: z.ZodLiteral<"code">;
+    content: z.ZodObject<{
+        language: z.ZodOptional<z.ZodString>;
+        source: z.ZodString;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>;
+export declare const QuizQuestionSchema: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        mcq: "mcq";
+        short: "short";
+    }>;
+    prompt: z.ZodString;
+    options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    answer: z.ZodOptional<z.ZodString>;
+    rubric: z.ZodOptional<z.ZodString>;
+    explanation: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const QuizBlockSchema: z.ZodObject<{
+    type: z.ZodLiteral<"quiz">;
+    content: z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        questions: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                mcq: "mcq";
+                short: "short";
+            }>;
+            prompt: z.ZodString;
+            options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            answer: z.ZodOptional<z.ZodString>;
+            rubric: z.ZodOptional<z.ZodString>;
+            explanation: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>;
+export declare const FlashcardBlockSchema: z.ZodObject<{
+    type: z.ZodLiteral<"flashcard">;
+    content: z.ZodObject<{
+        front: z.ZodString;
+        back: z.ZodString;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>;
+export declare const ResourceBlockSchema: z.ZodObject<{
+    type: z.ZodLiteral<"resource">;
+    content: z.ZodObject<{
+        title: z.ZodString;
+        sourceId: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        url: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>;
+export declare const ComparisonBlockSchema: z.ZodObject<{
+    type: z.ZodLiteral<"comparison">;
+    content: z.ZodObject<{
+        columns: z.ZodArray<z.ZodString>;
+        rows: z.ZodArray<z.ZodArray<z.ZodString>>;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>;
 /** Every block type this version understands. */
 export declare const BLOCK_SCHEMAS: readonly [z.ZodObject<{
     type: z.ZodLiteral<"text">;
     content: z.ZodObject<{
         md: z.ZodString;
+        math: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            tex: z.ZodString;
+            display: z.ZodBoolean;
+            mathml: z.ZodString;
+        }, z.core.$strip>>>;
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"example">;
     content: z.ZodObject<{
@@ -114,6 +280,10 @@ export declare const BLOCK_SCHEMAS: readonly [z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"diagram">;
     content: z.ZodObject<{
@@ -126,6 +296,10 @@ export declare const BLOCK_SCHEMAS: readonly [z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"check">;
     content: z.ZodObject<{
@@ -138,14 +312,118 @@ export declare const BLOCK_SCHEMAS: readonly [z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"formula">;
+    content: z.ZodObject<{
+        tex: z.ZodString;
+        display: z.ZodOptional<z.ZodBoolean>;
+        mathml: z.ZodOptional<z.ZodString>;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"code">;
+    content: z.ZodObject<{
+        language: z.ZodOptional<z.ZodString>;
+        source: z.ZodString;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"quiz">;
+    content: z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        questions: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                mcq: "mcq";
+                short: "short";
+            }>;
+            prompt: z.ZodString;
+            options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            answer: z.ZodOptional<z.ZodString>;
+            rubric: z.ZodOptional<z.ZodString>;
+            explanation: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"flashcard">;
+    content: z.ZodObject<{
+        front: z.ZodString;
+        back: z.ZodString;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"resource">;
+    content: z.ZodObject<{
+        title: z.ZodString;
+        sourceId: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        url: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"comparison">;
+    content: z.ZodObject<{
+        columns: z.ZodArray<z.ZodString>;
+        rows: z.ZodArray<z.ZodArray<z.ZodString>>;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>];
-export declare const BlockSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+export declare const KnownBlockSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     type: z.ZodLiteral<"text">;
     content: z.ZodObject<{
         md: z.ZodString;
+        math: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            tex: z.ZodString;
+            display: z.ZodBoolean;
+            mathml: z.ZodString;
+        }, z.core.$strip>>>;
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"example">;
     content: z.ZodObject<{
@@ -155,6 +433,10 @@ export declare const BlockSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"diagram">;
     content: z.ZodObject<{
@@ -167,6 +449,10 @@ export declare const BlockSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"check">;
     content: z.ZodObject<{
@@ -179,13 +465,298 @@ export declare const BlockSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     }, z.core.$strip>;
     id: z.ZodString;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"formula">;
+    content: z.ZodObject<{
+        tex: z.ZodString;
+        display: z.ZodOptional<z.ZodBoolean>;
+        mathml: z.ZodOptional<z.ZodString>;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"code">;
+    content: z.ZodObject<{
+        language: z.ZodOptional<z.ZodString>;
+        source: z.ZodString;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"quiz">;
+    content: z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        questions: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                mcq: "mcq";
+                short: "short";
+            }>;
+            prompt: z.ZodString;
+            options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            answer: z.ZodOptional<z.ZodString>;
+            rubric: z.ZodOptional<z.ZodString>;
+            explanation: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"flashcard">;
+    content: z.ZodObject<{
+        front: z.ZodString;
+        back: z.ZodString;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"resource">;
+    content: z.ZodObject<{
+        title: z.ZodString;
+        sourceId: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        url: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"comparison">;
+    content: z.ZodObject<{
+        columns: z.ZodArray<z.ZodString>;
+        rows: z.ZodArray<z.ZodArray<z.ZodString>>;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>], "type">;
+/**
+ * A block authored by a newer host.
+ *
+ * The durable boundary accepts it so an old client does not refuse to open a
+ * document. Writes from the current model still go through `KnownBlockSchema`;
+ * only records already on disk can carry an unknown type.
+ */
+export declare const UnknownBlockSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodString;
+    content: z.ZodUnknown;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>;
+export declare const BlockSchema: z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"text">;
+    content: z.ZodObject<{
+        md: z.ZodString;
+        math: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            tex: z.ZodString;
+            display: z.ZodBoolean;
+            mathml: z.ZodString;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"example">;
+    content: z.ZodObject<{
+        title: z.ZodString;
+        steps: z.ZodArray<z.ZodString>;
+        takeaway: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"diagram">;
+    content: z.ZodObject<{
+        format: z.ZodEnum<{
+            ascii: "ascii";
+            mermaid: "mermaid";
+        }>;
+        spec: z.ZodString;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"check">;
+    content: z.ZodObject<{
+        prompt: z.ZodString;
+        expect: z.ZodOptional<z.ZodEnum<{
+            reasoning: "reasoning";
+            answer: "answer";
+        }>>;
+        hint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"formula">;
+    content: z.ZodObject<{
+        tex: z.ZodString;
+        display: z.ZodOptional<z.ZodBoolean>;
+        mathml: z.ZodOptional<z.ZodString>;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"code">;
+    content: z.ZodObject<{
+        language: z.ZodOptional<z.ZodString>;
+        source: z.ZodString;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"quiz">;
+    content: z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        questions: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                mcq: "mcq";
+                short: "short";
+            }>;
+            prompt: z.ZodString;
+            options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            answer: z.ZodOptional<z.ZodString>;
+            rubric: z.ZodOptional<z.ZodString>;
+            explanation: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"flashcard">;
+    content: z.ZodObject<{
+        front: z.ZodString;
+        back: z.ZodString;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"resource">;
+    content: z.ZodObject<{
+        title: z.ZodString;
+        sourceId: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        url: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"comparison">;
+    content: z.ZodObject<{
+        columns: z.ZodArray<z.ZodString>;
+        rows: z.ZodArray<z.ZodArray<z.ZodString>>;
+        caption: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    id: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>], "type">, z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodString;
+    content: z.ZodUnknown;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        locator: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strip>]>;
 export type TextBlock = z.infer<typeof TextBlockSchema>;
 export type ExampleBlock = z.infer<typeof ExampleBlockSchema>;
 export type DiagramBlock = z.infer<typeof DiagramBlockSchema>;
 export type CheckBlock = z.infer<typeof CheckBlockSchema>;
-export type Block = z.infer<typeof BlockSchema>;
-export type BlockType = Block['type'];
+export type FormulaBlock = z.infer<typeof FormulaBlockSchema>;
+export type CodeBlock = z.infer<typeof CodeBlockSchema>;
+export type QuizBlock = z.infer<typeof QuizBlockSchema>;
+export type FlashcardBlock = z.infer<typeof FlashcardBlockSchema>;
+export type ResourceBlock = z.infer<typeof ResourceBlockSchema>;
+export type ComparisonBlock = z.infer<typeof ComparisonBlockSchema>;
+export type KnownBlock = z.infer<typeof KnownBlockSchema>;
+export type UnknownBlock = z.infer<typeof UnknownBlockSchema>;
+/** A block this build can render. Kept as the default `Block` name for callers. */
+export type Block = KnownBlock;
+/** A block read from storage; it may have been authored by a newer host. */
+export type StoredBlock = z.infer<typeof BlockSchema>;
+export type BlockType = KnownBlock['type'];
 /** The block types this build can render, for diagnostics and tests. */
 export declare const SUPPORTED_BLOCK_TYPES: readonly BlockType[];
 /**
@@ -208,13 +779,22 @@ export declare const LessonSchema: z.ZodObject<{
     courseId: z.ZodString;
     nodeId: z.ZodString;
     title: z.ZodString;
-    blocks: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+    blocks: z.ZodArray<z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
         type: z.ZodLiteral<"text">;
         content: z.ZodObject<{
             md: z.ZodString;
+            math: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                tex: z.ZodString;
+                display: z.ZodBoolean;
+                mathml: z.ZodString;
+            }, z.core.$strip>>>;
         }, z.core.$strip>;
         id: z.ZodString;
         metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
     }, z.core.$strip>, z.ZodObject<{
         type: z.ZodLiteral<"example">;
         content: z.ZodObject<{
@@ -224,6 +804,10 @@ export declare const LessonSchema: z.ZodObject<{
         }, z.core.$strip>;
         id: z.ZodString;
         metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
     }, z.core.$strip>, z.ZodObject<{
         type: z.ZodLiteral<"diagram">;
         content: z.ZodObject<{
@@ -236,6 +820,10 @@ export declare const LessonSchema: z.ZodObject<{
         }, z.core.$strip>;
         id: z.ZodString;
         metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
     }, z.core.$strip>, z.ZodObject<{
         type: z.ZodLiteral<"check">;
         content: z.ZodObject<{
@@ -248,7 +836,111 @@ export declare const LessonSchema: z.ZodObject<{
         }, z.core.$strip>;
         id: z.ZodString;
         metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    }, z.core.$strip>], "type">>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"formula">;
+        content: z.ZodObject<{
+            tex: z.ZodString;
+            display: z.ZodOptional<z.ZodBoolean>;
+            mathml: z.ZodOptional<z.ZodString>;
+            caption: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        id: z.ZodString;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"code">;
+        content: z.ZodObject<{
+            language: z.ZodOptional<z.ZodString>;
+            source: z.ZodString;
+            caption: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        id: z.ZodString;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"quiz">;
+        content: z.ZodObject<{
+            title: z.ZodOptional<z.ZodString>;
+            questions: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                kind: z.ZodEnum<{
+                    mcq: "mcq";
+                    short: "short";
+                }>;
+                prompt: z.ZodString;
+                options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                answer: z.ZodOptional<z.ZodString>;
+                rubric: z.ZodOptional<z.ZodString>;
+                explanation: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>;
+        id: z.ZodString;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"flashcard">;
+        content: z.ZodObject<{
+            front: z.ZodString;
+            back: z.ZodString;
+            tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>;
+        id: z.ZodString;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"resource">;
+        content: z.ZodObject<{
+            title: z.ZodString;
+            sourceId: z.ZodOptional<z.ZodString>;
+            locator: z.ZodOptional<z.ZodString>;
+            url: z.ZodOptional<z.ZodString>;
+            note: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        id: z.ZodString;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"comparison">;
+        content: z.ZodObject<{
+            columns: z.ZodArray<z.ZodString>;
+            rows: z.ZodArray<z.ZodArray<z.ZodString>>;
+            caption: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        id: z.ZodString;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strip>], "type">, z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodString;
+        content: z.ZodUnknown;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        sourceRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            locator: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strip>]>>;
     origin: z.ZodEnum<{
         prototype: "prototype";
         tutor: "tutor";