Principia | Prerequisite Tree Generator

[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_153":154,"_155":156},"routes/_app.x.$handle.$name",{"_95":94,"_32":45,"_103":85,"_27":104,"_13":14,"_105":-5,"_11":106,"_107":108,"_109":110,"_111":112,"_113":114,"_20":-5,"_115":-5,"_116":-5,"_117":25,"_118":119,"_120":57,"_121":-5,"_122":-5,"_123":124},"routes/_app.x.$handle.$name.branch.$branch.version.$version.diff",{"_11":12,"_13":14,"_15":16,"_17":-5,"_18":-5},"project",{"_43":44,"_32":45,"_38":46,"_47":-5,"_48":25,"_49":50,"_51":50,"_52":-5,"_53":-5,"_18":54,"_55":31,"_56":57,"_58":57,"_59":-5,"_60":61,"_62":63,"_64":-5,"_65":-5,"_66":-5,"_67":-5,"_68":69,"_70":69,"_71":72,"_73":72,"_74":72,"_75":69,"_76":69,"_77":78,"_79":80,"_81":82,"_83":25},"version",4,"changes",[19],"aiChatInfo","userId",{"_20":21,"_22":23,"_24":25,"_26":25,"_27":28,"_29":28},"file",{"_30":31,"_32":28,"_33":34,"_35":37,"_38":39,"_40":14,"_41":42,"_24":25},"previous",{"_30":31,"_32":28,"_33":34,"_35":36},"deleted",false,"deletedHere","path","main.ts","latestPath","fileId","42bf035e-a28a-11f0-96b3-0224a6c84d84","name","fileType","http","content","// Learn more: https://docs.val.town/vals/http/\nexport default async function (req: Request): Promise {\n return Response.json({ ok: true })\n}","// @ts-ignore\nimport { OpenAI } from \"https://esm.town/v/std/openai?v=4\";\n// @ts-ignore\nimport { blob } from \"https://esm.town/v/std/blob?v=11\";\n// @ts-ignore\nimport { nanoid } from \"npm:nanoid\";\n\n// --- AI BEHAVIORAL GUIDELINES ---\nconst GENERATION_STYLE_GUIDE =\n \"As the AI logician 'Principia', you must adopt the persona of a rigorous epistemologist. Your deconstruction of facts must be precise, methodical, and devoid of speculation. Employ a formal, academic tone and vocabulary. The objective is to produce a logically sound breakdown of knowledge, as if preparing a formal proof, not a casual explanation.\";\n\nconst DECONSTRUCT_FACT_PROMPT = `\nYou are 'Principia', an expert logician and epistemologist. Your task is to perform a rigorous deconstruction of the {Target Fact}. Your final output must be a single, minified JSON object. Do not include any explanations or conversational text outside of the JSON.\n\nThe structure MUST be:\n{\n \"prerequisites\": [\n { \"fact\": \"A critical, immediate prerequisite fact.\", \"justification\": \"A brief explanation of why this fact is necessary to understand the target.\" }\n ]\n}\n`;\n\nconst AUDITOR_PROMPT = `\nYou are 'Meta-Principia', an epistemological auditor. The logician 'Principia' has concluded that the following statement is a foundational, atomic fact: \"{Target Fact}\".\n\nYour task is to challenge this conclusion with extreme skepticism. Scrutinize the statement for any unstated assumptions, hidden dependencies, or more fundamental concepts upon which it relies.\n\nIs this fact truly self-evident, or can it be deconstructed further? If it can, provide the more fundamental prerequisite facts using the same JSON format as Principia.\n\nIf you agree the fact is atomic and cannot be deconstructed, you MUST return an empty \"prerequisites\" array.\n\n--- EXAMPLE ---\nUSER: {Target Fact}: \"1 + 1 = 2.\"\nASSISTANT:\n{\n \"prerequisites\": [\n { \"fact\": \"The number '1' is defined as the successor to '0'.\", \"justification\": \"The statement relies on the definition of the number 1.\" },\n { \"fact\": \"The operation '+' (addition) is defined.\", \"justification\": \"The symbol '+' must have a defined operational meaning.\" }\n ]\n}\n--- END EXAMPLE ---\n`;\n\n// --- Type Definitions ---\ninterface Prerequisite {\n fact: string;\n justification: string;\n}\n\ninterface FactNode {\n id: string;\n fact: string;\n justification?: string;\n children: FactNode[];\n depth: number;\n}\n\ninterface JobState {\n status: \"processing\" | \"complete\" | \"error\";\n error?: string;\n tree: FactNode | null;\n}\n\n// --- CORE AI & TREE LOGIC ---\nconst MAX_DEPTH = 4;\nconst AUDIT_DEPTH_INTERVAL = 2;\nconst openai = new OpenAI();\n\nasync function callAI(fact: string, prompt: string): Promise {\n try {\n const completion = await openai.chat.completions.create({\n model: \"gpt-4o\",\n messages: [\n { role: \"system\", content: GENERATION_STYLE_GUIDE },\n { role: \"user\", content: prompt.replace(\"{Target Fact}\", fact) },\n ],\n response_format: { type: \"json_object\" },\n });\n const content = completion.choices[0].message.content;\n if (!content) return [];\n\n const parsed = JSON.parse(content);\n // Handle cases where the AI might return an empty object or not the array\n if (parsed && Array.isArray(parsed.prerequisites)) {\n return parsed.prerequisites;\n }\n return [];\n } catch (error) {\n console.error(`AI call failed for fact \"${fact}\":`, error);\n // Don't throw, return empty to allow the process to continue\n return [];\n }\n}\n\n/**\n * The \"Transfer Function\": Builds the dependency tree in the background using a\n * robust, breadth-first (level-by-level) approach to prevent race conditions.\n */\nasync function buildTreeInBackground(jobId: string, rootNode: FactNode) {\n try {\n let currentLevelNodes = [rootNode];\n\n for (let depth = 0; depth < MAX_DEPTH; depth++) {\n if (currentLevelNodes.length === 0) break; // No more nodes to process\n\n // 1. In parallel, get prerequisites for all nodes on the current level.\n const childPromises = currentLevelNodes.map(async (node) => {\n let prerequisites = await callAI(node.fact, DECONSTRUCT_FACT_PROMPT);\n\n // Auditor Intervention Logic: If the main AI finds nothing, or at\n // specific depths, the auditor challenges the result.\n if (\n prerequisites.length === 0 ||\n (node.depth > 0 && node.depth % AUDIT_DEPTH_INTERVAL === 0)\n ) {\n const deeperPrerequisites = await callAI(node.fact, AUDITOR_PROMPT);\n if (deeperPrerequisites.length > 0) {\n prerequisites = deeperPrerequisites;\n }\n }\n\n // Filter for valid prerequisites to prevent errors from malformed AI responses\n const validPrerequisites = prerequisites.filter((p) =>\n p && typeof p.fact === \"string\" && p.fact.trim() !== \"\"\n );\n\n node.children = validPrerequisites.map((p) => ({\n id: nanoid(),\n fact: p.fact,\n justification: p.justification,\n children: [],\n depth: node.depth + 1,\n }));\n\n return node.children;\n });\n\n const nextLevelNodesNested = await Promise.all(childPromises);\n\n // 2. After the whole level is processed, save the updated tree state once.\n await blob.setJSON(jobId, { status: \"processing\", tree: rootNode });\n\n // 3. Set up the next level for the next loop iteration.\n currentLevelNodes = nextLevelNodesNested.flat();\n }\n\n // 4. Finally, mark the job as complete.\n await blob.setJSON(jobId, { status: \"complete\", tree: rootNode });\n } catch (error) {\n console.error(\"Tree building error:\", error);\n await blob.setJSON(jobId, {\n status: \"error\",\n tree: rootNode, // Send partial tree on error\n error: error.message,\n });\n }\n}\n\nfunction generateHtml(sourceUrl: string): string {\n // The complete HTML/CSS/React frontend code is returned here.\n // It has been significantly enhanced for UI/UX.\n return `\n\n\n \n \n Principia | Prerequisite Tree Generator\n 🌳\">\n \n \n \n \n \n \n\n\n\n

\n\n\n`;\n}\n\n// --- HTTP REQUEST HANDLER ---\nexport default async function (req: Request): Promise {\n const url = new URL(req.url);\n const path = url.pathname;\n const headers = { \"Content-Type\": \"application/json\" };\n\n try {\n // === POST /start : Start a new tree generation job ===\n if (req.method === \"POST\" && path.endsWith(\"/start\")) {\n const { fact } = await req.json();\n if (!fact || typeof fact !== \"string\" || fact.trim().length === 0) {\n throw new Error(\"A valid, non-empty 'fact' string is required.\");\n }\n\n const jobId = nanoid();\n const rootNode: FactNode = {\n id: nanoid(),\n fact: fact,\n children: [],\n depth: 0,\n };\n\n // Set the initial state before starting the background process.\n await blob.setJSON(jobId, { status: \"processing\", tree: rootNode });\n\n // Execute the long-running process without awaiting it.\n buildTreeInBackground(jobId, rootNode);\n\n return new Response(JSON.stringify({ jobId }), { headers });\n }\n\n // === GET /status : Poll for the status of a job ===\n if (req.method === \"GET\" && path.endsWith(\"/status\")) {\n const jobId = url.searchParams.get(\"jobId\");\n if (!jobId) throw new Error(\"A 'jobId' query parameter is required.\");\n\n const state = await blob.getJSON(jobId);\n if (!state) {\n return new Response(\n JSON.stringify({ status: \"error\", error: \"Job not found.\" }),\n { status: 404, headers },\n );\n }\n return new Response(JSON.stringify(state), { headers });\n }\n\n // === GET / : Serve the frontend HTML ===\n if (req.method === \"GET\" && (path === \"/\" || path.endsWith(\"/ui\"))) {\n const sourceUrl = `https://${url.hostname}${\n url.pathname.substring(0, url.pathname.lastIndexOf(\"/\"))\n }`;\n return new Response(generateHtml(sourceUrl), {\n headers: { \"Content-Type\": \"text/html\" },\n });\n }\n\n // Default 404\n return new Response(JSON.stringify({ error: \"Not Found\" }), {\n status: 404,\n headers,\n });\n } catch (error) {\n const errorMessage = error instanceof Error\n ? error.message\n : \"An unknown server error occurred.\";\n return new Response(JSON.stringify({ error: errorMessage }), {\n status: 400,\n headers,\n });\n }\n}","createdAt",["D",1759737523682],"branchVersion","branchId","42bc87a0-a28a-11f0-96b3-0224a6c84d84","id","42bc2c88-a28a-11f0-96b3-0224a6c84d84","totem",["D",1759737515725],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","imageUrl","0199b749-1e1c-7399-b093-a7ba99382572","pinnedFileId","pinPreview",true,"pinMigrated","screenshotVersion","likeCount",0,"orgId","0199b749-1e1c-7399-b093-a97ac9fff69e","tursoName","tursoHostname","tursoMeasuredAt","pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_95":94,"_102":98},"org",{"_95":94,"_96":-5,"_97":98,"_18":54,"_99":100,"_101":25},"branch",{"_13":84,"_32":85,"_43":42,"_86":44,"_87":-5,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":45,"_93":94},"isOwned",16,"main","projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","volt","handle","displayName","avatar","https://img.clerk.com/eyJ0eXBlIjoiZGVmYXVsdCIsImlpZCI6Imluc18yTm10cGhQUklwU0tqZHNiOHNnNGd2ZjJURFUiLCJyaWQiOiJ1c2VyXzMzZm1qMllGY2JhQmhhWFYwVXVvQ05aT2tJciJ9","tier","free","canRestrictVals","profileImageUrl","branchName","","adoptOrgId",{"_43":44,"_32":45,"_38":149,"_47":-5,"_48":25,"_49":50,"_51":50,"_52":-5,"_53":-5,"_18":54,"_55":31,"_56":57,"_58":57,"_59":-5,"_60":61,"_62":63,"_64":-5,"_65":-5,"_66":-5,"_67":-5,"_68":69,"_70":69,"_71":72,"_73":72,"_74":72,"_75":69,"_76":69,"_77":150,"_79":151,"_81":152,"_83":25},"tree",[144],"files",[144],"counts",{"_133":61,"_134":135,"_136":61,"_137":138,"_139":140},"contents",[125],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_43":126,"_32":28,"_30":31,"_127":-5,"_41":42,"_40":14,"_128":25,"_38":129,"_13":130,"_33":34,"_35":37,"_24":25,"_131":45,"_27":132},"477bb59a-a28a-11f0-bafa-0224a6c84d84","parentId","latest",["D",1759737523682],3,"label",[28],"pulls","branches",1,"forks","envVars",{"_141":61,"_143":61},"connections",{"_141":61,"_142":61},"count","unfilledCount","emptyCount",{"_43":126,"_32":28,"_30":31,"_127":-5,"_41":42,"_40":14,"_128":25,"_38":145,"_13":130,"_33":34,"_35":37,"_24":25,"_131":45,"_146":147,"_27":148},["D",1759737523682],"children",[],[28],["D",1759737515725],{"_95":94,"_102":98},{"_95":94,"_96":-5,"_97":98,"_18":54,"_99":100,"_101":25},{"_13":84,"_32":85,"_43":42,"_86":44,"_87":-5,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":45,"_93":94},"ctx",{"_77":-5,"_122":186,"_187":188,"_189":190,"_191":25,"_192":25,"_193":25,"_194":57,"_195":-5,"_196":-7,"_197":-7,"_198":61,"_199":25,"_200":25,"_201":-5,"_202":25,"_203":25,"_204":25,"_205":-5},"ENV",{"_157":158,"_159":160,"_161":85,"_162":163,"_164":165,"_166":167,"_168":169,"_170":171,"_172":173,"_174":175,"_176":177,"_178":179,"_180":181,"_182":183,"_184":185},"REACT_APP_SENTRY_DSN","https://586020d86f05489db63a554690acf1e9@o1398359.ingest.sentry.io/6724499","RENDER_GIT_COMMIT","e87eb04e707cf64e7e532c8e8ec395f209e17f15","RENDER_GIT_BRANCH","POSTHOG_API_TOKEN","phc_nmoyuAkStEZuUp69rYlg1DZgrIt19Gx0Y4Hwf8tGgJP","POSTHOG_API_HOST","https://wart.val.town","WEB_API_TEMPLATE","https://{val}.web.val.run","APP_URL","https://www.val.town","MODULE_URL","https://esm.town","VANITY_WEB_API_TEMPLATE","https://{label}.val.run/","DENOLS_URL","https://lsp.val.town","NODE_ENV","production","CLOUDFLARE_TURNSTILE_SITE_KEY","0x4AAAAAACtaIZJH7s9rBMZ6","GOOGLE_CLIENT_ID","875989696899-jtsqkhlbdv5jrlsk8631p7ipjg3c6o62.apps.googleusercontent.com","STRIPE_PUBLISHABLE_KEY","pk_live_51N2zvWEpZTTLipIkVEwXrUG9AT0yeOOEYxszarZT1jpsZV58Ly6wlg3SltZpHN26CUalOBmUSY7adQRQiSkCZz2500qSXNkf8Y","API_URL","https://api.val.town",[],"preferencesKeybindings","default","preferencesTheme","light","preferencesFixers","preferencesCopilot","preferencesSelectionAi","preferencesCloseBrackets","preferencesChatPanelState","preferencesDprint","preferencesDenofmt","notificationCount","flagDenols","isBusinessOrgMember","businessOrgHandle","isBusinessOrgAdmin","isHigherTownieTier","navCollapsed","currentOrgId"]

Diff · v4