diff --git a/src/components/CurationSection.tsx b/src/components/CurationSection.tsx
index de5b495..3f51e56 100644
--- a/src/components/CurationSection.tsx
+++ b/src/components/CurationSection.tsx
@@ -1,9 +1,22 @@
 import { getFileIdentities } from "@/serverFns/latex.server";
-import { Group, Loader, SimpleGrid, Stack, Text, Title } from "@mantine/core";
+import {
+  Group,
+  Loader,
+  Select,
+  SimpleGrid,
+  Stack,
+  Text,
+  Title,
+} from "@mantine/core";
 import { useQuery } from "@tanstack/react-query";
 import { StexCuration } from "./StexCuration";
 
-export function CurationSection() {
+type Props = {
+  curationLevel: string | null;
+  setCurationLevel: (value: string | null) => void;
+};
+
+export function CurationSection({ curationLevel, setCurationLevel }: Props) {
   const { data: fileGroups = [], isLoading } = useQuery({
     queryKey: ["fileIdentities"],
     queryFn: getFileIdentities,
@@ -11,6 +24,18 @@ export function CurationSection() {
 
   return (
     <Stack w="100%" maw={1200} gap="lg">
+      <Select
+        label="Curation Level"
+        value={curationLevel}
+        onChange={setCurationLevel}
+        data={[
+          { value: "EXTRACTED", label: "EXTRACTED" },
+          { value: "SNIFIED", label: "sn-ified" },
+          { value: "FINALIZED", label: "finalized in file" },
+          { value: "SUBMITTED", label: "submitted to mathhub" },
+        ]}
+        w={250}
+      />
       <Group justify="space-between" align="center">
         <Stack gap={4}>
           <Title order={3}>FTML Definitions by File</Title>
diff --git a/src/components/ExtractedTextList.tsx b/src/components/ExtractedTextList.tsx
index 95c6c46..fa50d40 100644
--- a/src/components/ExtractedTextList.tsx
+++ b/src/components/ExtractedTextList.tsx
@@ -13,6 +13,7 @@ import { FolderSymlink } from "lucide-react";
 import { FtmlPreview } from "./FtmlPreview";
 
 interface ExtractedTextPanelProps {
+  isLocked?: boolean;
   extracts: ExtractedItem[];
   editingId: string | null;
   selectedId: string | null;
@@ -21,13 +22,14 @@ interface ExtractedTextPanelProps {
     id: string,
     statement: ExtractedItem["statement"],
   ) => Promise<void>;
+  onDownload?: (item: ExtractedItem) => void;
   onDelete: (id: string) => void;
   onSelection: (extractId: string) => void;
   onOpenSemanticPanel: (definitionId: string) => void;
   showPageNumber?: boolean;
   showDefinitionMeta?: boolean;
-  onEditDefinitionMeta?: (item: ExtractedItem) => void; 
-  showDefinitionMetaIconOnly?: boolean; 
+  onEditDefinitionMeta?: (item: ExtractedItem) => void;
+  showDefinitionMetaIconOnly?: boolean;
 }
 
 export function ExtractedTextPanel({
@@ -43,6 +45,7 @@ export function ExtractedTextPanel({
   showDefinitionMeta = true,
   showDefinitionMetaIconOnly = false,
   onEditDefinitionMeta,
+  isLocked = false,
 }: ExtractedTextPanelProps) {
   return (
     <Paper withBorder p="md" h="100%" radius="md" bg="blue.0">
@@ -84,6 +87,7 @@ export function ExtractedTextPanel({
                       <ActionIcon
                         size="sm"
                         color="red"
+                        disabled={isLocked}
                         onClick={() => onDelete(item.id)}
                       >
                         <IconTrash size={14} />
@@ -92,6 +96,7 @@ export function ExtractedTextPanel({
                       <ActionIcon
                         size="sm"
                         variant="subtle"
+                        disabled={isLocked}
                         onClick={() => onToggleEdit(item.id)}
                       >
                         <IconPencil size={16} />
@@ -100,6 +105,7 @@ export function ExtractedTextPanel({
                       <ActionIcon
                         size="sm"
                         variant="subtle"
+                        disabled={isLocked}
                         onClick={() => onOpenSemanticPanel(item.id)}
                       >
                         <IconSettings size={16} />
diff --git a/src/components/StexCuration.tsx b/src/components/StexCuration.tsx
index cd894cc..a6b544c 100644
--- a/src/components/StexCuration.tsx
+++ b/src/components/StexCuration.tsx
@@ -1,5 +1,7 @@
 import { queryClient } from "@/queryClient";
+import { generateStexFromFtml } from "@/server/ftml/generateStexFromFtml";
 import { ExtractedItem } from "@/server/text-selection";
+import { getCombinedDefinitionFtml } from "@/serverFns/definitionAggregate.server";
 import {
   deleteDefinition,
   updateDefinition,
@@ -7,20 +9,26 @@ import {
 import {
   FileIdentity,
   getDefinitionsByIdentity,
+  getLatexHistory,
 } from "@/serverFns/latex.server";
 import { FtmlStatement } from "@/types/ftml.types";
 import {
+  ActionIcon,
   Badge,
   Box,
+  Button,
   Group,
   Loader,
+  Menu,
+  Modal,
   Paper,
   ScrollArea,
   Stack,
   Text,
+  Textarea,
 } from "@mantine/core";
 import { useQuery } from "@tanstack/react-query";
-import { FolderSymlink } from "lucide-react";
+import { ChevronDown, Download, FolderSymlink } from "lucide-react";
 import { useState } from "react";
 import { DefinitionIdentityDialog } from "./DefinitionFilePathDialog";
 import { ExtractedTextPanel } from "./ExtractedTextList";
@@ -35,6 +43,8 @@ export function StexCuration({ identity }: { identity: FileIdentity }) {
   const [semanticPanelDefId, setSemanticPanelDefId] = useState<string | null>(
     null,
   );
+  const [latexOpen, setLatexOpen] = useState(false);
+  const [latexCode, setLatexCode] = useState("");
 
   const { data, isLoading } = useQuery({
     queryKey: ["definitionsByIdentity", identity],
@@ -44,12 +54,73 @@ export function StexCuration({ identity }: { identity: FileIdentity }) {
       }),
   });
 
+  const { data: latexHistory } = useQuery({
+    queryKey: [
+      "latex-status",
+      identity.documentId,
+      identity.futureRepo,
+      identity.filePath,
+      identity.fileName,
+      identity.language,
+    ],
+    queryFn: () =>
+      getLatexHistory({
+        data: identity,
+      }),
+  });
+
+  const latexStatus = latexHistory?.status ?? "EXTRACTED";
+
   const hasSymbols = (data?.symbols.length ?? 0) > 0;
   function handleEditDefinitionMeta(item: ExtractedItem) {
     setDefinitionMetaTarget(item);
     setDefinitionMetaEditOpen(true);
   }
 
+  async function handleDownload() {
+    try {
+      const ftmlAst = await getCombinedDefinitionFtml({
+        data: {
+          documentId: identity.documentId,
+          futureRepo: identity.futureRepo,
+          filePath: identity.filePath,
+          fileName: identity.fileName,
+          language: identity.language,
+        },
+      });
+
+      if (!ftmlAst) {
+        alert("No FTML found.");
+        return;
+      }
+
+      const stex = await generateStexFromFtml(ftmlAst, identity.fileName);
+
+      if (!stex) {
+        alert("LaTeX generation failed.");
+        return;
+      }
+
+      const blob = new Blob([stex], {
+        type: "application/x-tex",
+      });
+
+      const url = URL.createObjectURL(blob);
+
+      const a = document.createElement("a");
+      a.href = url;
+      a.download = `${identity.fileName}.${identity.language}.tex`;
+      document.body.appendChild(a);
+      a.click();
+      document.body.removeChild(a);
+
+      setTimeout(() => URL.revokeObjectURL(url), 100);
+    } catch (error) {
+      console.error(error);
+      alert("Something went wrong while downloading.");
+    }
+  }
+
   async function handleDelete(id: string) {
     await deleteDefinition({ data: { id } });
     await queryClient.invalidateQueries({
@@ -73,6 +144,33 @@ export function StexCuration({ identity }: { identity: FileIdentity }) {
     setSemanticPanelDefId(id);
     setSemanticPanelOpen(true);
   }
+
+  async function handleOpenLatexPreview() {
+    try {
+      const ftmlAst = await getCombinedDefinitionFtml({
+        data: {
+          documentId: identity.documentId,
+          futureRepo: identity.futureRepo,
+          filePath: identity.filePath,
+          fileName: identity.fileName,
+          language: identity.language,
+        },
+      });
+
+      if (!ftmlAst) {
+        alert("No FTML found");
+        return;
+      }
+
+      const stex = await generateStexFromFtml(ftmlAst, identity.fileName);
+
+      setLatexCode(stex || "");
+      setLatexOpen(true);
+    } catch (e) {
+      console.error(e);
+      alert("Failed to load LaTeX preview");
+    }
+  }
   return (
     <>
       <Paper
@@ -105,9 +203,15 @@ export function StexCuration({ identity }: { identity: FileIdentity }) {
               backgroundColor: "var(--mantine-color-gray-0)",
             }}
           >
-            <Text size="xs" fw={600} c="gray.7" mb={6} tt="uppercase">
-              Symbol Declared
-            </Text>
+            <Group justify="space-between" align="center">
+              <Text size="xs" fw={600} c="gray.7" tt="uppercase">
+                Symbol Declared
+              </Text>
+
+              <ActionIcon size="sm" variant="subtle" onClick={handleDownload}>
+                <Download size={16} />
+              </ActionIcon>
+            </Group>
 
             {hasSymbols ? (
               <Group gap={6}>
@@ -144,9 +248,71 @@ export function StexCuration({ identity }: { identity: FileIdentity }) {
             }}
           >
             <Box px="md" pt="sm" pb="xs">
-              <Text size="xs" fw={600} c="gray.7" tt="uppercase">
-                Definitions
-              </Text>
+              <Group justify="space-between" align="center">
+                <Text size="xs" fw={600} c="gray.7" tt="uppercase">
+                  Definitions
+                </Text>
+
+                <Menu shadow="md" width={220}>
+                  <Menu.Target>
+                    <Button
+                      size="xs"
+                      variant="light"
+                      rightSection={<ChevronDown size={14} />}
+                      color={latexStatus === "SUBMITTED" ? "green" : "gray"}
+                    >
+                      {latexStatus === "SUBMITTED"
+                        ? "MathHub Submitted"
+                        : "MathHub Status"}
+                    </Button>
+                  </Menu.Target>
+
+                  <Menu.Dropdown>
+                    <Menu.Label>MathHub Actions</Menu.Label>
+
+                    <Menu.Item
+                      disabled={latexStatus === "SUBMITTED"}
+                      onClick={async () => {
+                        // todo updatelatuxstatus
+
+                        await queryClient.invalidateQueries({
+                          queryKey: [
+                            "latex-status",
+                            identity.documentId,
+                            identity.futureRepo,
+                            identity.filePath,
+                            identity.fileName,
+                            identity.language,
+                          ],
+                        });
+                      }}
+                    >
+                      Submit to MathHub
+                    </Menu.Item>
+
+                    <Menu.Item
+                      color="red"
+                      disabled={latexStatus !== "SUBMITTED"}
+                      onClick={async () => {
+                        // todo updatelatexstatus
+
+                        await queryClient.invalidateQueries({
+                          queryKey: [
+                            "latex-status",
+                            identity.documentId,
+                            identity.futureRepo,
+                            identity.filePath,
+                            identity.fileName,
+                            identity.language,
+                          ],
+                        });
+                      }}
+                    >
+                      Unsubmit from MathHub
+                    </Menu.Item>
+                  </Menu.Dropdown>
+                </Menu>
+              </Group>
             </Box>
 
             <ScrollArea
@@ -170,6 +336,7 @@ export function StexCuration({ identity }: { identity: FileIdentity }) {
                     selectedId={null}
                     onToggleEdit={handleToggleEdit}
                     onUpdate={handleUpdate}
+                    onDownload={handleDownload}
                     onDelete={handleDelete}
                     onSelection={() => {}}
                     onOpenSemanticPanel={handleOpenSemanticPanel}
@@ -177,6 +344,7 @@ export function StexCuration({ identity }: { identity: FileIdentity }) {
                     showDefinitionMeta
                     showDefinitionMetaIconOnly
                     onEditDefinitionMeta={handleEditDefinitionMeta}
+                    isLocked={latexStatus === "SUBMITTED"}
                   />
                 </Stack>
               )}
@@ -190,29 +358,60 @@ export function StexCuration({ identity }: { identity: FileIdentity }) {
               borderBottom: "1px solid var(--mantine-color-gray-2)",
             }}
           >
-            <Group
-              gap={6}
-              style={{ cursor: "pointer" }}
-              onClick={() => {
-                setDefinitionMetaTarget(null);
-                setDefinitionMetaEditOpen(true);
-              }}
-            >
-              <FolderSymlink size={14} />
-              <Text size="xs" c="dimmed" ff="monospace" lh={1.4}>
-                {[
-                  identity.futureRepo,
-                  identity.filePath,
-                  identity.fileName,
-                  identity.language,
-                ]
-                  .filter(Boolean)
-                  .join(" / ")}
-              </Text>
+            <Group justify="space-between">
+              <Group
+                gap={6}
+                style={{ cursor: "pointer" }}
+                onClick={() => {
+                  setDefinitionMetaTarget(null);
+                  setDefinitionMetaEditOpen(true);
+                }}
+              >
+                <FolderSymlink size={14} />
+                <Text size="xs" c="dimmed" ff="monospace" lh={1.4}>
+                  {[
+                    identity.futureRepo,
+                    identity.filePath,
+                    identity.fileName,
+                    identity.language,
+                  ]
+                    .filter(Boolean)
+                    .join(" / ")}
+                </Text>
+              </Group>
+              <Group mt="xs" w="100%">
+                <Button
+                  size="xs"
+                  variant="light"
+                  ml="auto"
+                  onClick={handleOpenLatexPreview}
+                >
+                  Open LaTeX Editor
+                </Button>
+              </Group>
             </Group>
           </Box>
         </Stack>
       </Paper>
+      <Modal
+        opened={latexOpen}
+        onClose={() => setLatexOpen(false)}
+        title="LaTeX Preview"
+        size="xl"
+      >
+        <Textarea
+          value={latexCode}
+          readOnly
+          autosize
+          minRows={25}
+          styles={{
+            input: {
+              fontFamily: "monospace",
+              fontSize: 13,
+            },
+          }}
+        />
+      </Modal>
       <DefinitionIdentityDialog
         opened={definitionMetaEditOpen}
         onClose={() => {
diff --git a/src/routes/create-latex.tsx b/src/routes/create-latex.tsx
index 5be8a40..8d094a5 100644
--- a/src/routes/create-latex.tsx
+++ b/src/routes/create-latex.tsx
@@ -7,6 +7,7 @@ import {
   saveLatexDraft,
   saveLatexFinal,
 } from "@/serverFns/latex.server";
+
 import {
   ActionIcon,
   Badge,
@@ -20,8 +21,8 @@ import {
   Text,
   Textarea,
   Title,
-  Tooltip,
 } from "@mantine/core";
+
 import { useQuery } from "@tanstack/react-query";
 import { createFileRoute, redirect, useNavigate } from "@tanstack/react-router";
 import { Download } from "lucide-react";
@@ -236,8 +237,32 @@ ${lines.join("\n")}`;
             <Group>
               <Title order={2}>LaTeX Editor</Title>
               <Badge>sTeX</Badge>
+
+              {historyData?.status === "SUBMITTED" && (
+                <Badge color="green">MathHub Submitted</Badge>
+              )}
             </Group>
+
             <Group>
+              <Button
+                size="xs"
+                color={historyData?.status === "SUBMITTED" ? "gray" : "green"}
+                disabled={historyData?.status === "SUBMITTED"}
+                onClick={async () => {
+                  const confirmSubmit = confirm(
+                    "Submit to MathHub? Editing will be locked.",
+                  );
+                  if (!confirmSubmit) return;
+                  //todo definition updatestatus
+                  alert("✅ MathHub Submitted Successfully");
+                  await refetchHistory();
+                }}
+              >
+                {historyData?.status === "SUBMITTED"
+                  ? "MathHub Submitted"
+                  : "Submit to MathHub"}
+              </Button>
+
               <Button
                 size="xs"
                 variant="light"
@@ -282,8 +307,9 @@ ${lines.join("\n")}`;
           </Stack>
         </Modal>
 
-        <Paper withBorder style={{ flex: 1, minHeight: 0 }}>
+        <Paper withBorder style={{ flex: 1 }}>
           <Textarea
+            readOnly={historyData?.status === "SUBMITTED"}
             value={displayLatex}
             onChange={(e) => {
               setEditedLatex(e.currentTarget.value);
@@ -298,7 +324,8 @@ ${lines.join("\n")}`;
                 fontFamily: "monospace",
                 fontSize: 14,
                 height: "100%",
-                resize: "none",
+                backgroundColor: "white",
+                opacity: 1,
               },
             }}
           />
@@ -310,7 +337,8 @@ ${lines.join("\n")}`;
               {displayLatex.length} characters •{" "}
               {displayLatex.split("\n").length} lines
             </Text>
-            <Group>
+
+            <Group gap="sm">
               <Button
                 variant="default"
                 onClick={() =>
@@ -323,33 +351,23 @@ ${lines.join("\n")}`;
                 Back
               </Button>
 
-              <Group gap="sm">
-                <Tooltip
-                  label={
-                    isFromHistory
-                      ? "Drafts disabled for restored history."
-                      : undefined
-                  }
-                >
-                  <Button
-                    variant="default"
-                    onClick={handleSaveDraft}
-                    loading={savingDraft}
-                    disabled={isFromHistory}
-                  >
-                    Save Draft
-                  </Button>
-                </Tooltip>
-
-                <Button
-                  variant="gradient"
-                  gradient={{ from: "violet", to: "grape" }}
-                  onClick={handleSaveFinal}
-                  loading={savingFinal}
-                >
-                  Save Final
-                </Button>
-              </Group>
+              <Button
+                onClick={handleSaveDraft}
+                loading={savingDraft}
+                disabled={isFromHistory || historyData?.status === "SUBMITTED"}
+              >
+                Save Draft
+              </Button>
+
+              <Button
+                variant="gradient"
+                gradient={{ from: "violet", to: "grape" }}
+                onClick={handleSaveFinal}
+                loading={savingFinal}
+                disabled={historyData?.status === "SUBMITTED"}
+              >
+                Save Final
+              </Button>
             </Group>
           </Group>
         </Paper>
diff --git a/src/routes/index.tsx b/src/routes/index.tsx
index bab2788..7dc9c65 100644
--- a/src/routes/index.tsx
+++ b/src/routes/index.tsx
@@ -13,6 +13,9 @@ export const Route = createFileRoute("/")({
 
 function App() {
   const [opened, setOpened] = useState(false);
+  const [curationLevel, setCurationLevel] = useState<string | null>(
+    "EXTRACTED",
+  );
 
   const { data: user } = useQuery({
     queryKey: ["currentUser"],
@@ -39,7 +42,10 @@ function App() {
 
         {isLoggedIn && (
           <>
-            <CurationSection />
+            <CurationSection
+              curationLevel={curationLevel}
+              setCurationLevel={setCurationLevel}
+            />
             <Divider w="100%" maw={1000} />
             <FinalizedDocumentsSection />
           </>
diff --git a/src/serverFns/latex.server.ts b/src/serverFns/latex.server.ts
index 59bd16e..7a42fb7 100644
--- a/src/serverFns/latex.server.ts
+++ b/src/serverFns/latex.server.ts
@@ -61,6 +61,10 @@ export const saveLatexDraft = createServerFn({ method: "POST" })
       where: { documentId, futureRepo, filePath, fileName, language },
     });
 
+    if (existing?.isFinal) {
+      throw new Error("Document already submitted. Editing is locked.");
+    }
+
     const history = normalizeHistory(existing?.history);
 
     const nextHistory = [
@@ -78,7 +82,6 @@ export const saveLatexDraft = createServerFn({ method: "POST" })
           language,
           finalLatex: "",
           history: JSON.parse(JSON.stringify(nextHistory)),
-          isFinal: false,
         },
       });
     } else {
@@ -102,6 +105,10 @@ export const saveLatexFinal = createServerFn({ method: "POST" })
       where: { documentId, futureRepo, filePath, fileName, language },
     });
 
+    if (existing?.isFinal) {
+      throw new Error("Document already submitted. Editing is locked.");
+    }
+
     if (!existing) {
       await prisma.latexTable.create({
         data: {
@@ -138,6 +145,7 @@ export const getLatexHistory = createServerFn({ method: "GET" })
       history: normalizeHistory(record?.history),
       finalLatex: record?.finalLatex ?? "",
       isFinal: record?.isFinal ?? false,
+      status: record?.isFinal ? "SUBMITTED" : "EXTRACTED",
     };
   });
 
@@ -155,6 +163,7 @@ export const getFileIdentities = createServerFn({ method: "GET" }).handler(
     const definitions = await prisma.definition.findMany({
       distinct: ["futureRepo", "filePath", "fileName", "language"],
       select: {
+        documentId: true,
         futureRepo: true,
         filePath: true,
         fileName: true,
@@ -173,6 +182,7 @@ export const getFileIdentities = createServerFn({ method: "GET" }).handler(
 );
 
 export type FileIdentity = {
+  documentId: string;
   futureRepo: string;
   filePath: string;
   fileName: string;