[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_353":354,"_355":356},"routes/_app.x.$handle.$name",{"_100":99,"_32":45,"_108":90,"_27":109,"_13":14,"_110":-5,"_11":111,"_112":113,"_114":115,"_116":117,"_118":119,"_20":-5,"_120":-5,"_121":-5,"_122":25,"_123":124,"_125":59,"_126":-5,"_127":-5,"_128":129},"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":53,"_54":-5,"_18":55,"_56":57,"_58":59,"_60":-5,"_61":-5,"_62":63,"_64":65,"_66":67,"_68":69,"_70":71,"_72":-5,"_73":74,"_75":74,"_76":77,"_78":77,"_79":77,"_80":74,"_81":74,"_82":83,"_84":85,"_86":87,"_88":25},"version",29,"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","db.ts","latestPath","fileId","f99c90d8-5c83-11f1-b6d4-1607ee4eb77e","name","fileType","script","content","import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\n\n// primer data layer: schema + seed + Leitner scheduling + the windowed session query.\n// One val-scoped SQLite DB. Generation (the cron/LLM) is NOT here yet — the\n// prototype runs on the seed grid and exercises only the *review* dynamics.\n\nexport type Grade = \"got\" | \"almost\" | \"miss\";\n\n// --- Leitner ---------------------------------------------------------------\n// Intervals by box (1..5), in ms. Box 1 = due again next session.\nconst DAY = 86_400_000;\nconst INTERVALS = [0, 0, 1 * DAY, 3 * DAY, 7 * DAY, 21 * DAY]; // index by box\n\nexport function nextBox(box: number, grade: Grade): number {\n if (grade === \"got\") return Math.min(box + 1, 5);\n if (grade === \"miss\") return 1;\n return box; // \"almost\" holds at the same box\n}\nexport function dueAt(box: number, now: number): number {\n return now + (INTERVALS[box] ?? 0);\n}\n\nconst SESSION_CAP = 12; // capped re-entry: max cards surfaced per session\n\n// --- Init / seed (idempotent, once per warm instance) ----------------------\nlet ready: Promise | null = null;\nexport function init(): Promise {\n return (ready ??= setup());\n}\n\nasync function setup() {\n await sqlite.batch([\n `CREATE TABLE IF NOT EXISTS profiles (id INTEGER PRIMARY KEY, label TEXT NOT NULL)`,\n `CREATE TABLE IF NOT EXISTS nodes (id INTEGER PRIMARY KEY, parent INTEGER, label TEXT NOT NULL, ord INTEGER DEFAULT 0)`,\n `CREATE TABLE IF NOT EXISTS cards (\n id INTEGER PRIMARY KEY,\n node_id INTEGER NOT NULL,\n op TEXT NOT NULL,\n operands TEXT NOT NULL,\n level INTEGER NOT NULL DEFAULT 1,\n q TEXT NOT NULL,\n a TEXT NOT NULL,\n content_hash TEXT,\n superseded_by INTEGER,\n UNIQUE(node_id, op, operands, level)\n )`,\n `CREATE TABLE IF NOT EXISTS box_state (\n profile_id INTEGER NOT NULL,\n card_id INTEGER NOT NULL,\n box INTEGER NOT NULL DEFAULT 1,\n due_at INTEGER NOT NULL DEFAULT 0,\n PRIMARY KEY (profile_id, card_id)\n )`,\n `CREATE TABLE IF NOT EXISTS reviews (\n id INTEGER PRIMARY KEY,\n profile_id INTEGER NOT NULL,\n card_id INTEGER NOT NULL,\n grade TEXT NOT NULL,\n ts INTEGER NOT NULL\n )`,\n `CREATE TABLE IF NOT EXISTS generators (\n id INTEGER PRIMARY KEY,\n node_id INTEGER NOT NULL,\n op TEXT NOT NULL,\n fn TEXT NOT NULL,\n sig TEXT,\n created INTEGER NOT NULL,\n UNIQUE(node_id, op)\n )`,\n `CREATE TABLE IF NOT EXISTS meta (k TEXT PRIMARY KEY, v TEXT)`,\n ]);\n await migrateSeed();\n}\n\nconst SEED_VERSION = \"2\"; // bump to wipe + reseed structure on next deploy\n\nasync function migrateSeed() {\n const r = await sqlite.execute(`SELECT v FROM meta WHERE k = 'seed_version'`);\n if (r.rows[0]?.v === SEED_VERSION) return;\n await sqlite.batch([\n `DELETE FROM cards`,\n `DELETE FROM nodes`,\n `DELETE FROM box_state`,\n `DELETE FROM reviews`,\n `DELETE FROM generators`,\n `DELETE FROM profiles`,\n ]);\n await seed();\n await sqlite.execute({\n sql: `INSERT INTO meta (k, v) VALUES ('seed_version', ?) ON CONFLICT(k) DO UPDATE SET v = excluded.v`,\n args: [SEED_VERSION],\n });\n}\n\nasync function seed() {\n await sqlite.batch([\n { sql: `INSERT INTO profiles (id, label) VALUES (?, ?)`, args: [1, \"Ada\"] },\n { sql: `INSERT INTO profiles (id, label) VALUES (?, ?)`, args: [2, \"Bea\"] },\n ]);\n\n // Recursive 2×2 partition. Top: four quadrants (parent NULL). One quadrant\n // (Numbers) is pre-subdivided into its own four, to show the recursion. A node\n // with children is a branch (tap to descend); a node with cards is a leaf\n // (tap to review). [id, parent, label, ord (0..3 = quadrant position)]\n const nodes: [number, number | null, string, number][] = [\n [1, null, \"Words\", 0],\n [2, null, \"Numbers\", 1],\n [3, null, \"Nature\", 2],\n [4, null, \"World\", 3],\n [21, 2, \"Counting\", 0],\n [22, 2, \"Addition\", 1],\n [23, 2, \"Subtraction\", 2],\n [24, 2, \"Comparing\", 3],\n ];\n await sqlite.batch(\n nodes.map(([id, parent, label, ord]) => ({\n sql: `INSERT INTO nodes (id, parent, label, ord) VALUES (?, ?, ?, ?)`,\n args: [id, parent, label, ord],\n })),\n );\n\n // Seed cards — recall-style ops only (name / recall-instance / compose),\n // each with a pre-rendered question and answer. [node, op, operands, level, q, a]\n const cards: [number, string, string, number, string, string][] = [\n [11, \"name\", \"3+4\", 1, \"3 + 4 = ?\", \"7\"],\n [11, \"name\", \"6+5\", 1, \"6 + 5 = ?\", \"11\"],\n [11, \"name\", \"8+7\", 2, \"8 + 7 = ?\", \"15\"],\n [11, \"name\", \"9+6\", 2, \"9 + 6 = ?\", \"15\"],\n [12, \"name\", \"after-9\", 1, \"What comes after 9?\", \"10\"],\n [12, \"name\", \"after-19\", 1, \"What comes after 19?\", \"20\"],\n [12, \"name\", \"after-99\", 2, \"What comes after 99?\", \"100\"],\n [21, \"name\", \"cat\", 1, \"Spell the word: cat\", \"c — a — t\"],\n [21, \"name\", \"tree\", 1, \"Spell the word: tree\", \"t — r — e — e\"],\n [21, \"name\", \"friend\", 2, \"Spell the word: friend\", \"f — r — i — e — n — d\"],\n [22, \"name\", \"hot\", 1, \"Opposite of hot ?\", \"cold\"],\n [22, \"name\", \"up\", 1, \"Opposite of up ?\", \"down\"],\n [22, \"name\", \"fast\", 1, \"Opposite of fast ?\", \"slow\"],\n [31, \"recall-instance\", \"flies\", 1, \"Name an animal that can fly.\", \"e.g. bird, bat, butterfly\"],\n [31, \"recall-instance\", \"farm\", 1, \"Name a farm animal.\", \"e.g. cow, pig, sheep, hen\"],\n [31, \"compose\", \"red+fish\", 2, \"Say it together: a red fish\", \"a red fish\"],\n ];\n await sqlite.batch(\n cards.map(([node, op, operands, level, q, a]) => ({\n sql: `INSERT INTO cards (node_id, op, operands, level, q, a) VALUES (?, ?, ?, ?, ?, ?)`,\n args: [node, op, operands, level, q, a],\n })),\n );\n}\n\n// --- Queries ---------------------------------------------------------------\nexport async function getProfiles() {\n const r = await sqlite.execute(`SELECT id, label FROM profiles ORDER BY id`);\n return r.rows.map((row) => ({ id: Number(row.id), label: String(row.label) }));\n}\n\nexport async function getBranches() {\n const r = await sqlite.execute(\n `SELECT id, label FROM nodes WHERE parent IS NULL ORDER BY ord`,\n );\n return r.rows.map((row) => ({ id: Number(row.id), label: String(row.label) }));\n}\n\n// The windowed session batch: cards in the chosen branch that are due (or new)\n// for this profile, oldest-due first, capped. Pre-rendered, flat for the device.\nexport async function getSessionBatch(profileId: number, branchId: number) {\n const now = Date.now();\n const r = await sqlite.execute({\n sql: `\n SELECT c.id, c.op, c.q, c.a\n FROM cards c\n LEFT JOIN box_state b ON b.card_id = c.id AND b.profile_id = ?\n WHERE c.superseded_by IS NULL\n AND (c.node_id = ? OR c.node_id IN (SELECT id FROM nodes WHERE parent = ?))\n AND (b.card_id IS NULL OR b.due_at <= ?)\n ORDER BY COALESCE(b.due_at, 0) ASC, c.level ASC, c.id ASC\n LIMIT ?\n `,\n args: [profileId, branchId, branchId, now, SESSION_CAP],\n });\n return r.rows.map((row) => ({\n id: Number(row.id),\n op: String(row.op),\n q: String(row.q),\n a: String(row.a),\n }));\n}\n\n// Apply a batch of grades: advance Leitner boxes and log reviews. Atomic.\nexport async function applyGrades(\n profileId: number,\n grades: { id: number; grade: Grade }[],\n) {\n if (!grades?.length) return 0;\n const now = Date.now();\n const ids = grades.map((g) => g.id);\n const placeholders = ids.map(() => \"?\").join(\",\");\n const cur = await sqlite.execute({\n sql: `SELECT card_id, box FROM box_state WHERE profile_id = ? AND card_id IN (${placeholders})`,\n args: [profileId, ...ids],\n });\n const boxOf = new Map(cur.rows.map((row) => [Number(row.card_id), Number(row.box)]));\n\n const stmts: { sql: string; args: unknown[] }[] = [];\n for (const g of grades) {\n const prev = boxOf.get(g.id) ?? 1;\n const nb = nextBox(prev, g.grade);\n const due = dueAt(nb, now);\n stmts.push({\n sql: `INSERT INTO box_state (profile_id, card_id, box, due_at) VALUES (?, ?, ?, ?)\n ON CONFLICT(profile_id, card_id) DO UPDATE SET box = excluded.box, due_at = excluded.due_at`,\n args: [profileId, g.id, nb, due],\n });\n stmts.push({\n sql: `INSERT INTO reviews (profile_id, card_id, grade, ts) VALUES (?, ?, ?, ?)`,\n args: [profileId, g.id, g.grade, now],\n });\n }\n await sqlite.batch(stmts);\n return grades.length;\n}\n\n// --- Generation support (pure-function model) ------------------------------\nconst MASTERY_BOX = 3; // box at/above which a card counts as mastered\nconst NODE_CARD_CAP = 24; // ceiling on cards per node — bounds growth\n\nexport type Generator = { id: number; node_id: number; op: string; fn: string; sig: string };\n\nexport async function getGenerator(nodeId: number, op: string): Promise {\n const r = await sqlite.execute({\n sql: `SELECT id, node_id, op, fn, sig FROM generators WHERE node_id = ? AND op = ?`,\n args: [nodeId, op],\n });\n if (!r.rows.length) return null;\n const row = r.rows[0];\n return {\n id: Number(row.id),\n node_id: Number(row.node_id),\n op: String(row.op),\n fn: String(row.fn),\n sig: String(row.sig ?? \"\"),\n };\n}\n\nexport async function saveGenerator(nodeId: number, op: string, fn: string, sig: string): Promise {\n await sqlite.execute({\n sql: `INSERT INTO generators (node_id, op, fn, sig, created) VALUES (?, ?, ?, ?, ?)\n ON CONFLICT(node_id, op) DO UPDATE SET fn = excluded.fn, sig = excluded.sig, created = excluded.created`,\n args: [nodeId, op, fn, sig, Date.now()],\n });\n}\n\n// Canonical param strings already materialised for this family (for DRY dedup).\nexport async function existingParams(nodeId: number, op: string): Promise {\n const r = await sqlite.execute({\n sql: `SELECT operands FROM cards WHERE node_id = ? AND op = ?`,\n args: [nodeId, op],\n });\n return r.rows.map((row) => String(row.operands));\n}\n\n// Existing rendered questions for this family (human-readable, to steer the\n// proposer away from semantic duplicates of the seed cards).\nexport async function existingQuestions(nodeId: number, op: string): Promise {\n const r = await sqlite.execute({\n sql: `SELECT q FROM cards WHERE node_id = ? AND op = ? AND q != ''`,\n args: [nodeId, op],\n });\n return r.rows.map((row) => String(row.q));\n}\n\n// Insert a materialised card. OR IGNORE → the UNIQUE coordinate enforces DRY.\nexport async function insertCard(\n nodeId: number,\n op: string,\n operands: string,\n level: number,\n q: string,\n a: string,\n): Promise {\n const r = await sqlite.execute({\n sql: `INSERT OR IGNORE INTO cards (node_id, op, operands, level, q, a) VALUES (?, ?, ?, ?, ?, ?)`,\n args: [nodeId, op, operands, level, q, a],\n });\n return (r.rowsAffected ?? 0) > 0;\n}\n\n// Nodes whose current cards are fully mastered and under the cap — the frontier\n// is solid, so the ladder may unfold. New (unmastered) cards then block regrowth\n// until they too are learned. `force` bypasses the gate for on-demand testing.\nexport async function nodesReadyToGrow(opts?: { force?: number }) {\n const r = await sqlite.execute(`\n SELECT n.id, n.label,\n (SELECT op FROM cards WHERE node_id = n.id GROUP BY op ORDER BY COUNT(*) DESC LIMIT 1) AS op,\n (SELECT COALESCE(MAX(level), 1) FROM cards WHERE node_id = n.id) AS level,\n (SELECT COUNT(*) FROM cards WHERE node_id = n.id) AS filled,\n (SELECT COUNT(DISTINCT c.id) FROM cards c JOIN box_state b ON b.card_id = c.id\n WHERE c.node_id = n.id AND b.box >= ${MASTERY_BOX}) AS mastered\n FROM nodes n\n `);\n const all = r.rows.map((row) => ({\n id: Number(row.id),\n label: String(row.label),\n op: row.op ? String(row.op) : \"name\",\n level: Number(row.level),\n filled: Number(row.filled),\n mastered: Number(row.mastered),\n }));\n if (opts?.force) return all.filter((n) => n.id === opts.force);\n return all.filter((n) => n.filled > 0 && n.filled < NODE_CARD_CAP && n.mastered >= n.filled);\n}\n","import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\n\n// primer data layer: schema + seed + Leitner scheduling + the windowed session query.\n// One val-scoped SQLite DB. Generation (the cron/LLM) is NOT here yet — the\n// prototype runs on the seed grid and exercises only the *review* dynamics.\n\nexport type Grade = \"got\" | \"almost\" | \"miss\";\n\n// --- Leitner ---------------------------------------------------------------\n// Intervals by box (1..5), in ms. Box 1 = due again next session.\nconst DAY = 86_400_000;\nconst INTERVALS = [0, 0, 1 * DAY, 3 * DAY, 7 * DAY, 21 * DAY]; // index by box\n\nexport function nextBox(box: number, grade: Grade): number {\n if (grade === \"got\") return Math.min(box + 1, 5);\n if (grade === \"miss\") return 1;\n return box; // \"almost\" holds at the same box\n}\nexport function dueAt(box: number, now: number): number {\n return now + (INTERVALS[box] ?? 0);\n}\n\nconst SESSION_CAP = 12; // capped re-entry: max cards surfaced per session\n\n// --- Init / seed (idempotent, once per warm instance) ----------------------\nlet ready: Promise | null = null;\nexport function init(): Promise {\n return (ready ??= setup());\n}\n\nasync function setup() {\n await sqlite.batch([\n `CREATE TABLE IF NOT EXISTS profiles (id INTEGER PRIMARY KEY, label TEXT NOT NULL)`,\n `CREATE TABLE IF NOT EXISTS nodes (id INTEGER PRIMARY KEY, parent INTEGER, label TEXT NOT NULL, ord INTEGER DEFAULT 0)`,\n `CREATE TABLE IF NOT EXISTS cards (\n id INTEGER PRIMARY KEY,\n node_id INTEGER NOT NULL,\n op TEXT NOT NULL,\n operands TEXT NOT NULL,\n level INTEGER NOT NULL DEFAULT 1,\n q TEXT NOT NULL,\n a TEXT NOT NULL,\n content_hash TEXT,\n superseded_by INTEGER,\n UNIQUE(node_id, op, operands, level)\n )`,\n `CREATE TABLE IF NOT EXISTS box_state (\n profile_id INTEGER NOT NULL,\n card_id INTEGER NOT NULL,\n box INTEGER NOT NULL DEFAULT 1,\n due_at INTEGER NOT NULL DEFAULT 0,\n PRIMARY KEY (profile_id, card_id)\n )`,\n `CREATE TABLE IF NOT EXISTS reviews (\n id INTEGER PRIMARY KEY,\n profile_id INTEGER NOT NULL,\n card_id INTEGER NOT NULL,\n grade TEXT NOT NULL,\n ts INTEGER NOT NULL\n )`,\n `CREATE TABLE IF NOT EXISTS generators (\n id INTEGER PRIMARY KEY,\n node_id INTEGER NOT NULL,\n op TEXT NOT NULL,\n fn TEXT NOT NULL,\n sig TEXT,\n created INTEGER NOT NULL,\n UNIQUE(node_id, op)\n )`,\n `CREATE TABLE IF NOT EXISTS meta (k TEXT PRIMARY KEY, v TEXT)`,\n ]);\n await migrateSeed();\n}\n\nconst SEED_VERSION = \"2\"; // bump to wipe + reseed structure on next deploy\n\nasync function migrateSeed() {\n const r = await sqlite.execute(`SELECT v FROM meta WHERE k = 'seed_version'`);\n if (r.rows[0]?.v === SEED_VERSION) return;\n await sqlite.batch([\n `DELETE FROM cards`,\n `DELETE FROM nodes`,\n `DELETE FROM box_state`,\n `DELETE FROM reviews`,\n `DELETE FROM generators`,\n `DELETE FROM profiles`,\n ]);\n await seed();\n await sqlite.execute({\n sql: `INSERT INTO meta (k, v) VALUES ('seed_version', ?) ON CONFLICT(k) DO UPDATE SET v = excluded.v`,\n args: [SEED_VERSION],\n });\n}\n\nasync function seed() {\n await sqlite.batch([\n { sql: `INSERT INTO profiles (id, label) VALUES (?, ?)`, args: [1, \"Ada\"] },\n { sql: `INSERT INTO profiles (id, label) VALUES (?, ?)`, args: [2, \"Bea\"] },\n ]);\n\n // Recursive 2×2 partition. Top: four quadrants (parent NULL). One quadrant\n // (Numbers) is pre-subdivided into its own four, to show the recursion. A node\n // with children is a branch (tap to descend); a node with cards is a leaf\n // (tap to review). [id, parent, label, ord (0..3 = quadrant position)]\n const nodes: [number, number | null, string, number][] = [\n [1, null, \"Words\", 0],\n [2, null, \"Numbers\", 1],\n [3, null, \"Nature\", 2],\n [4, null, \"World\", 3],\n [21, 2, \"Counting\", 0],\n [22, 2, \"Addition\", 1],\n [23, 2, \"Subtraction\", 2],\n [24, 2, \"Comparing\", 3],\n ];\n await sqlite.batch(\n nodes.map(([id, parent, label, ord]) => ({\n sql: `INSERT INTO nodes (id, parent, label, ord) VALUES (?, ?, ?, ?)`,\n args: [id, parent, label, ord],\n })),\n );\n\n // Seed cards — retrieval ops only (name / recall-instance). The answer is\n // never present in the question. Production ops (spelling, say/compose) are\n // parked for the audio path. [node, op, operands, level, q, a]\n const cards: [number, string, string, number, string, string][] = [\n // Words → opposites\n [1, \"name\", \"opp-hot\", 1, \"Opposite of hot ?\", \"cold\"],\n [1, \"name\", \"opp-up\", 1, \"Opposite of up ?\", \"down\"],\n [1, \"name\", \"opp-fast\", 1, \"Opposite of fast ?\", \"slow\"],\n [1, \"name\", \"opp-big\", 1, \"Opposite of big ?\", \"small\"],\n // Numbers › Counting\n [21, \"name\", \"after-9\", 1, \"What comes after 9?\", \"10\"],\n [21, \"name\", \"after-19\", 1, \"What comes after 19?\", \"20\"],\n [21, \"name\", \"after-99\", 2, \"What comes after 99?\", \"100\"],\n // Numbers › Addition\n [22, \"name\", \"3+4\", 1, \"3 + 4 = ?\", \"7\"],\n [22, \"name\", \"6+5\", 1, \"6 + 5 = ?\", \"11\"],\n [22, \"name\", \"8+7\", 2, \"8 + 7 = ?\", \"15\"],\n // Numbers › Subtraction\n [23, \"name\", \"5-2\", 1, \"5 − 2 = ?\", \"3\"],\n [23, \"name\", \"10-4\", 1, \"10 − 4 = ?\", \"6\"],\n [23, \"name\", \"15-7\", 2, \"15 − 7 = ?\", \"8\"],\n // Numbers › Comparing\n [24, \"name\", \"cmp-7-4\", 1, \"Which is bigger: 7 or 4?\", \"7\"],\n [24, \"name\", \"cmp-3-8\", 1, \"Which is bigger: 3 or 8?\", \"8\"],\n // Nature → animals\n [3, \"recall-instance\", \"farm\", 1, \"Name a farm animal.\", \"e.g. cow, pig, sheep, hen\"],\n [3, \"recall-instance\", \"flies\", 1, \"Name an animal that can fly.\", \"e.g. bird, bat, butterfly\"],\n [3, \"recall-instance\", \"sea\", 1, \"Name a sea animal.\", \"e.g. fish, whale, crab\"],\n // World → everyday facts\n [4, \"name\", \"days-week\", 1, \"How many days in a week?\", \"7\"],\n [4, \"name\", \"after-mon\", 1, \"What day comes after Monday?\", \"Tuesday\"],\n [4, \"name\", \"car-wheels\", 1, \"How many wheels does a car have?\", \"4\"],\n ];\n await sqlite.batch(\n cards.map(([node, op, operands, level, q, a]) => ({\n sql: `INSERT INTO cards (node_id, op, operands, level, q, a) VALUES (?, ?, ?, ?, ?, ?)`,\n args: [node, op, operands, level, q, a],\n })),\n );\n}\n\n// --- Queries ---------------------------------------------------------------\nexport async function getProfiles() {\n const r = await sqlite.execute(`SELECT id, label FROM profiles ORDER BY id`);\n return r.rows.map((row) => ({ id: Number(row.id), label: String(row.label) }));\n}\n\nexport async function getBranches() {\n const r = await sqlite.execute(\n `SELECT id, label FROM nodes WHERE parent IS NULL ORDER BY ord`,\n );\n return r.rows.map((row) => ({ id: Number(row.id), label: String(row.label) }));\n}\n\n// The windowed session batch: cards in the chosen branch that are due (or new)\n// for this profile, oldest-due first, capped. Pre-rendered, flat for the device.\nexport async function getSessionBatch(profileId: number, branchId: number) {\n const now = Date.now();\n const r = await sqlite.execute({\n sql: `\n SELECT c.id, c.op, c.q, c.a\n FROM cards c\n LEFT JOIN box_state b ON b.card_id = c.id AND b.profile_id = ?\n WHERE c.superseded_by IS NULL\n AND (c.node_id = ? OR c.node_id IN (SELECT id FROM nodes WHERE parent = ?))\n AND (b.card_id IS NULL OR b.due_at <= ?)\n ORDER BY COALESCE(b.due_at, 0) ASC, c.level ASC, c.id ASC\n LIMIT ?\n `,\n args: [profileId, branchId, branchId, now, SESSION_CAP],\n });\n return r.rows.map((row) => ({\n id: Number(row.id),\n op: String(row.op),\n q: String(row.q),\n a: String(row.a),\n }));\n}\n\n// Apply a batch of grades: advance Leitner boxes and log reviews. Atomic.\nexport async function applyGrades(\n profileId: number,\n grades: { id: number; grade: Grade }[],\n) {\n if (!grades?.length) return 0;\n const now = Date.now();\n const ids = grades.map((g) => g.id);\n const placeholders = ids.map(() => \"?\").join(\",\");\n const cur = await sqlite.execute({\n sql: `SELECT card_id, box FROM box_state WHERE profile_id = ? AND card_id IN (${placeholders})`,\n args: [profileId, ...ids],\n });\n const boxOf = new Map(cur.rows.map((row) => [Number(row.card_id), Number(row.box)]));\n\n const stmts: { sql: string; args: unknown[] }[] = [];\n for (const g of grades) {\n const prev = boxOf.get(g.id) ?? 1;\n const nb = nextBox(prev, g.grade);\n const due = dueAt(nb, now);\n stmts.push({\n sql: `INSERT INTO box_state (profile_id, card_id, box, due_at) VALUES (?, ?, ?, ?)\n ON CONFLICT(profile_id, card_id) DO UPDATE SET box = excluded.box, due_at = excluded.due_at`,\n args: [profileId, g.id, nb, due],\n });\n stmts.push({\n sql: `INSERT INTO reviews (profile_id, card_id, grade, ts) VALUES (?, ?, ?, ?)`,\n args: [profileId, g.id, g.grade, now],\n });\n }\n await sqlite.batch(stmts);\n return grades.length;\n}\n\n// --- Generation support (pure-function model) ------------------------------\nconst MASTERY_BOX = 3; // box at/above which a card counts as mastered\nconst NODE_CARD_CAP = 24; // ceiling on cards per node — bounds growth\n\nexport type Generator = { id: number; node_id: number; op: string; fn: string; sig: string };\n\nexport async function getGenerator(nodeId: number, op: string): Promise {\n const r = await sqlite.execute({\n sql: `SELECT id, node_id, op, fn, sig FROM generators WHERE node_id = ? AND op = ?`,\n args: [nodeId, op],\n });\n if (!r.rows.length) return null;\n const row = r.rows[0];\n return {\n id: Number(row.id),\n node_id: Number(row.node_id),\n op: String(row.op),\n fn: String(row.fn),\n sig: String(row.sig ?? \"\"),\n };\n}\n\nexport async function saveGenerator(nodeId: number, op: string, fn: string, sig: string): Promise {\n await sqlite.execute({\n sql: `INSERT INTO generators (node_id, op, fn, sig, created) VALUES (?, ?, ?, ?, ?)\n ON CONFLICT(node_id, op) DO UPDATE SET fn = excluded.fn, sig = excluded.sig, created = excluded.created`,\n args: [nodeId, op, fn, sig, Date.now()],\n });\n}\n\n// Canonical param strings already materialised for this family (for DRY dedup).\nexport async function existingParams(nodeId: number, op: string): Promise {\n const r = await sqlite.execute({\n sql: `SELECT operands FROM cards WHERE node_id = ? AND op = ?`,\n args: [nodeId, op],\n });\n return r.rows.map((row) => String(row.operands));\n}\n\n// Existing rendered questions for this family (human-readable, to steer the\n// proposer away from semantic duplicates of the seed cards).\nexport async function existingQuestions(nodeId: number, op: string): Promise {\n const r = await sqlite.execute({\n sql: `SELECT q FROM cards WHERE node_id = ? AND op = ? AND q != ''`,\n args: [nodeId, op],\n });\n return r.rows.map((row) => String(row.q));\n}\n\n// Insert a materialised card. OR IGNORE → the UNIQUE coordinate enforces DRY.\nexport async function insertCard(\n nodeId: number,\n op: string,\n operands: string,\n level: number,\n q: string,\n a: string,\n): Promise {\n const r = await sqlite.execute({\n sql: `INSERT OR IGNORE INTO cards (node_id, op, operands, level, q, a) VALUES (?, ?, ?, ?, ?, ?)`,\n args: [nodeId, op, operands, level, q, a],\n });\n return (r.rowsAffected ?? 0) > 0;\n}\n\n// Nodes whose current cards are fully mastered and under the cap — the frontier\n// is solid, so the ladder may unfold. New (unmastered) cards then block regrowth\n// until they too are learned. `force` bypasses the gate for on-demand testing.\nexport async function nodesReadyToGrow(opts?: { force?: number }) {\n const r = await sqlite.execute(`\n SELECT n.id, n.label,\n (SELECT op FROM cards WHERE node_id = n.id GROUP BY op ORDER BY COUNT(*) DESC LIMIT 1) AS op,\n (SELECT COALESCE(MAX(level), 1) FROM cards WHERE node_id = n.id) AS level,\n (SELECT COUNT(*) FROM cards WHERE node_id = n.id) AS filled,\n (SELECT COUNT(DISTINCT c.id) FROM cards c JOIN box_state b ON b.card_id = c.id\n WHERE c.node_id = n.id AND b.box >= ${MASTERY_BOX}) AS mastered\n FROM nodes n\n `);\n const all = r.rows.map((row) => ({\n id: Number(row.id),\n label: String(row.label),\n op: row.op ? String(row.op) : \"name\",\n level: Number(row.level),\n filled: Number(row.filled),\n mastered: Number(row.mastered),\n }));\n if (opts?.force) return all.filter((n) => n.id === opts.force);\n return all.filter((n) => n.filled > 0 && n.filled < NODE_CARD_CAP && n.mastered >= n.filled);\n}\n","createdAt",["D",1780267224007],"branchVersion","branchId","b3ea59c8-5c81-11f1-90de-ee650bb23af1","id","b3e98642-5c81-11f1-90de-ee650bb23af1","primer",["D",1780184756415],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","Spaced-repetition learning substrate for the Mochi device","imageUrl","21f2e37e-8066-4730-9dc7-d27cf8d3c9f3","pinnedFileId","0123f508-5c84-11f1-8efd-1607ee4eb77e","pinPreview",true,"pinMigrated","screenshotVersion","likeCount",1,"orgId","0630d977-f678-453e-926c-52043293f59f","tursoName","b3e986425c8111f190deee650bb23af1","tursoHostname","b3e986425c8111f190deee650bb23af1-val-town.aws-us-east-2.turso.io","tursoMeasuredAt",["D",1789510270483],"pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_100":99,"_107":103},"org",{"_100":99,"_101":-5,"_102":103,"_18":55,"_104":105,"_106":25},"branch",{"_13":89,"_32":90,"_43":42,"_91":44,"_92":-5,"_93":-5,"_94":-5,"_95":-5,"_96":-5,"_97":45,"_98":99},"isOwned",86,"main","projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","c15r","handle","displayName","avatar","https://img.clerk.com/eyJ0eXBlIjoicHJveHkiLCJzcmMiOiJodHRwczovL2ltYWdlcy5jbGVyay5kZXYvb2F1dGhfZ2l0aHViL2ltZ18yb2RJNlc1czZ1NlpZRmoxdGJ2eFVNNVhmeTYifQ","tier","pro","canRestrictVals","profileImageUrl","branchName","","adoptOrgId",{"_43":44,"_32":45,"_38":348,"_47":-5,"_48":25,"_49":50,"_51":50,"_52":53,"_54":-5,"_18":55,"_56":57,"_58":59,"_60":-5,"_61":-5,"_62":63,"_64":65,"_66":67,"_68":69,"_70":349,"_72":-5,"_73":74,"_75":74,"_76":77,"_78":77,"_79":77,"_80":74,"_81":74,"_82":350,"_84":351,"_86":352,"_88":25},"tree",[214,226,227,228,229,230,231,232,233],"files",[214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],"counts",{"_204":146,"_205":63,"_206":146,"_207":208,"_209":210},"contents",[130,131,132,133,134,135,136,137,138],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_43":197,"_32":198,"_30":199,"_142":-5,"_41":42,"_40":200,"_144":59,"_38":201,"_13":146,"_33":202,"_35":-5,"_24":25,"_148":-5,"_27":203},{"_43":191,"_32":192,"_30":193,"_142":-5,"_41":42,"_40":63,"_144":25,"_38":194,"_13":146,"_33":20,"_35":195,"_24":25,"_148":-5,"_27":196},{"_43":184,"_32":185,"_30":186,"_142":-5,"_41":42,"_40":187,"_144":25,"_38":188,"_13":146,"_33":20,"_35":189,"_24":25,"_148":-5,"_27":190},{"_43":176,"_32":177,"_30":178,"_142":-5,"_41":42,"_40":179,"_144":59,"_38":180,"_13":146,"_33":181,"_35":182,"_24":25,"_148":-5,"_27":183},{"_43":172,"_32":28,"_30":31,"_142":-5,"_41":42,"_40":14,"_144":25,"_38":173,"_13":174,"_33":34,"_35":37,"_24":25,"_148":-5,"_27":175},{"_43":165,"_32":166,"_30":167,"_142":-5,"_41":42,"_40":168,"_144":25,"_38":169,"_13":146,"_33":34,"_35":170,"_24":25,"_148":-5,"_27":171},{"_43":157,"_32":158,"_30":57,"_142":-5,"_41":42,"_40":159,"_144":25,"_38":160,"_13":161,"_33":162,"_35":163,"_24":25,"_148":-5,"_27":164},{"_43":150,"_32":151,"_30":152,"_142":-5,"_41":42,"_40":153,"_144":59,"_38":154,"_13":146,"_33":34,"_35":155,"_24":25,"_148":-5,"_27":156},{"_43":139,"_32":140,"_30":141,"_142":-5,"_41":42,"_40":143,"_144":59,"_38":145,"_13":146,"_33":34,"_35":147,"_24":25,"_148":-5,"_27":149},"ba83eb14-5cd1-11f1-8414-1607ee4eb77e","test_gen.ts","ba83ebe6-5cd1-11f1-8414-1607ee4eb77e","parentId",25,"latest",["D",1780219127217],0,"import { runGenerator, safeBody } from \"./gen.ts\";\n\n// Verifies the materialisation seam end-to-end WITHOUT any API key: hand-written\n// generator bodies (exactly what the LLM is asked to emit) applied to params.\n// Run with: run_file. Proves the executor + guards + arithmetic-correct-by-code.\n\nconst addBody = \"return { q: `${p.x} + ${p.y} = ?`, a: String(p.x + p.y) };\";\nconst spellBody = \"return { q: `Spell: ${p.word}`, a: p.word.split('').join(' - ') };\";\nconst oppBody = \"return { q: `Opposite of ${p.word}?`, a: p.opposite };\";\nconst evilBody = \"return fetch('http://evil').then(() => ({ q: 'x', a: 'y' }));\";\nconst loopBody = \"while (true) {} return { q: 'x', a: 'y' };\";\n\nconsole.log(\"guard add :\", safeBody(addBody)); // true\nconsole.log(\"guard spell:\", safeBody(spellBody)); // true\nconsole.log(\"guard opp :\", safeBody(oppBody)); // true\nconsole.log(\"guard evil :\", safeBody(evilBody)); // false (fetch)\nconsole.log(\"guard loop :\", safeBody(loopBody)); // false (while(true))\nconsole.log(\"add 7,8 :\", JSON.stringify(runGenerator(addBody, { x: 7, y: 8 })));\nconsole.log(\"add 13,9 :\", JSON.stringify(runGenerator(addBody, { x: 13, y: 9 })));\nconsole.log(\"spell :\", JSON.stringify(runGenerator(spellBody, { word: \"friend\" })));\nconsole.log(\"opposite :\", JSON.stringify(runGenerator(oppBody, { word: \"big\", opposite: \"small\" })));\n\nexport default () => \"ok\";\n","label",[140],"84d9aa12-5cd1-11f1-8371-1607ee4eb77e","llm.ts","84d9aae4-5cd1-11f1-8371-1607ee4eb77e",18,["D",1780219037184],"import OpenAI from \"npm:openai\";\n\n// BYO-key OpenAI access for the generation crons. The key is a Val Town secret\n// (OPENAI_API_KEY) — server-side, per the key-locus decision for this private\n// family substrate. Absent key → hasKey() is false and generation no-ops cleanly.\n\nconst KEY = Deno.env.get(\"OPENAI_API_KEY\");\nconst MODEL = Deno.env.get(\"PRIMER_MODEL\") ?? \"gpt-4o-mini\";\n\nexport const hasKey = () => !!KEY;\n\n// Ask for a JSON object and parse it. Returns null on absent key or parse failure\n// so callers can degrade gracefully rather than throw inside a cron.\nexport async function completeJSON(system: string, user: string): Promise {\n if (!KEY) return null;\n const client = new OpenAI({ apiKey: KEY });\n const r = await client.chat.completions.create({\n model: MODEL,\n temperature: 0.5,\n response_format: { type: \"json_object\" },\n messages: [\n { role: \"system\", content: system },\n { role: \"user\", content: user },\n ],\n });\n const text = r.choices[0]?.message?.content ?? \"\";\n try {\n return JSON.parse(text) as T;\n } catch {\n const m = text.match(/\\{[\\s\\S]*\\}/);\n return m ? (JSON.parse(m[0]) as T) : null;\n }\n}\n",[151],"5ca5cf88-5cd3-11f1-afef-1607ee4eb77e","index.ts",26,["D",1780219828726],4,"http","import { parseVal, serveFile } from \"https://esm.town/v/std/utils/index.ts\";\nimport { Hono } from \"npm:hono\";\nimport { applyGrades, getBranches, getProfiles, getSessionBatch, init } from \"./db.ts\";\nimport { tickGenerate } from \"./gen.ts\";\n\n// Device-scoped bearer token. Provisioned out-of-band (firmware / Val Town secret),\n// never typed into the constrained UI. Defaults to \"dev-token\" so the prototype\n// runs immediately; set PRIMER_DEVICE_TOKEN to lock it down for real.\nconst TOKEN = Deno.env.get(\"PRIMER_DEVICE_TOKEN\") ?? \"dev-token\";\n\nconst app = new Hono();\n\n// --- Frontend (open; it's only the simulator chrome + JS, no data) ---\napp.get(\"/\", () => serveFile(\"/frontend/index.html\"));\napp.get(\"/frontend/**/*\", (c) => serveFile(c.req.path));\napp.get(\"/source\", (c) => c.redirect(parseVal().links.self.val));\n\n// --- API (bearer-gated, device-scoped; profile named per request) ---\napp.use(\"/api/*\", async (c, next) => {\n if (c.req.header(\"Authorization\") !== `Bearer ${TOKEN}`) {\n return c.json({ error: \"unauthorized\" }, 401);\n }\n await init();\n await next();\n});\n\napp.get(\"/api/profiles\", async (c) => c.json({ profiles: await getProfiles() }));\napp.get(\"/api/branches\", async (c) => c.json({ branches: await getBranches() }));\napp.get(\"/api/session/:profile/:branch\", async (c) =>\n c.json({\n cards: await getSessionBatch(\n Number(c.req.param(\"profile\")),\n Number(c.req.param(\"branch\")),\n ),\n }));\napp.post(\"/api/grades\", async (c) => {\n const body = await c.req.json();\n const applied = await applyGrades(Number(body.profile), body.grades ?? []);\n return c.json({ ok: true, applied });\n});\n\n// Admin: run a generation tick on demand. ?force= bypasses the mastery\n// gate so a node can be grown for testing without first mastering its cards.\napp.post(\"/api/admin/generate\", async (c) => {\n return c.json(await tickGenerate({}));\n});\napp.post(\"/api/admin/generate/:force\", async (c) => {\n const force = Number(c.req.param(\"force\")) || undefined;\n return c.json(await tickGenerate({ force }));\n});\n\n// Surface real stack traces instead of \"Internal Server Error\".\napp.onError((err) => Promise.reject(err));\n\nexport default app.fetch;\n",[158],"ab7c4594-5cd1-11f1-a34b-1607ee4eb77e","gen.ts","ab7c4652-5cd1-11f1-a34b-1607ee4eb77e",21,["D",1780219102004],"import {\n existingParams,\n existingQuestions,\n type Generator,\n getGenerator,\n insertCard,\n nodesReadyToGrow,\n saveGenerator,\n} from \"./db.ts\";\nimport { completeJSON, hasKey } from \"./llm.ts\";\n\n// Generation = curriculum (decide WHAT to teach) + materialisation (turn that\n// into cards). The two stay separate so the materialisation strategy is\n// swappable — see the SEAM below.\n\nconst canon = (p: unknown) => JSON.stringify(p);\n\n// ============================================================================\n// === MATERIALISATION SEAM ===================================================\n// The generator-function strategy lives entirely here. It is the part we're\n// least sure about: it only pays off if families are large, and a bad function\n// breaks a whole family. If it doesn't earn its keep, REPLACE THIS BLOCK with a\n// per-card renderer (ensureGenerator → no-op; apply → one LLM call per param).\n// Nothing outside this block — coordinate space, scheduler, windowing,\n// curriculum — depends on how cards get rendered.\n// ============================================================================\n\n// Guard for executing LLM-authored code. Single-tenant + own key keeps risk low;\n// the real answer at scale is a sandboxed worker. This is defence-in-depth only.\nconst BANNED =\n /\\b(fetch|Deno|globalThis|process|require|import|eval|XMLHttpRequest|constructor|setTimeout|setInterval)\\b|while\\s*\$\\s*true\\s*\$/;\n\nexport function safeBody(body: string): boolean {\n return typeof body === \"string\" && body.length > 0 && body.length < 2000 && !BANNED.test(body);\n}\n\n// Run an LLM-authored pure function body: (p) => { q, a }. Returns null on any\n// failure or malformed output, so one bad apply can't poison the batch.\nexport function runGenerator(fnBody: string, p: unknown): { q: string; a: string } | null {\n try {\n const fn = new Function(\"p\", `\"use strict\";\\n${fnBody}`);\n const out = fn(p) as { q?: unknown; a?: unknown };\n if (out && typeof out.q === \"string\" && typeof out.a === \"string\" && out.q && out.a) {\n return { q: out.q.slice(0, 160), a: out.a.slice(0, 160) };\n }\n } catch (e) {\n console.error(\"generator threw:\", String(e));\n }\n return null;\n}\n\nconst SYSTEM_AUTHOR =\n \"You author a PURE JavaScript function BODY that builds one flashcard for a child aged 6 to 8. \" +\n \"The body receives one argument `p` (a parameters object) and must end by returning { q, a } — \" +\n \"q the question string the child answers from memory, a the short answer revealed after. \" +\n \"Pure only: string building and basic arithmetic; NO fetch, Deno, globals, imports, timers, or loops over untrusted data. \" +\n 'Return JSON {\"fn\": string, \"sig\": string}: fn is the function body only (no function wrapper), ' +\n \"sig is a one-line description of the shape of p. Keep q and a short and plain.\";\n\n// Ensure a family has a generator function; author one if missing.\nasync function ensureGenerator(\n node: { id: number; label: string; op: string },\n example?: string,\n): Promise {\n const existing = await getGenerator(node.id, node.op);\n if (existing) return existing;\n const user = `Card family — topic: ${node.label}; task type: ${node.op}.` +\n (example ? ` Example card: ${example}` : \"\") + ` Author the generator.`;\n const a = await completeJSON<{ fn: string; sig: string }>(SYSTEM_AUTHOR, user);\n if (!a?.fn || !safeBody(a.fn)) return null;\n await saveGenerator(node.id, node.op, a.fn, String(a.sig ?? \"\"));\n return await getGenerator(node.id, node.op);\n}\n\n// Apply the family function to params → rendered cards (pure, no LLM).\nfunction apply(gen: Generator, params: unknown[]): { p: unknown; q: string; a: string }[] {\n const out: { p: unknown; q: string; a: string }[] = [];\n for (const p of params) {\n const card = runGenerator(gen.fn, p);\n if (card) out.push({ p, ...card });\n }\n return out;\n}\n// ============================================================================\n// === END SEAM ===============================================================\n// ============================================================================\n\n// --- Curriculum (control plane): decide WHAT instances to teach -------------\nconst SYSTEM_PARAMS =\n \"You propose parameter objects for a flashcard generator, for a child aged 6 to 8. \" +\n 'Return JSON {\"params\": object[]} — new parameter objects matching the given shape, age-appropriate, ' +\n \"slightly more advanced than what is covered, with NO duplicates of the covered set.\";\n\nasync function proposeParams(\n node: { label: string; op: string; level: number },\n sig: string,\n coveredQuestions: string[],\n existingKeys: Set,\n n: number,\n): Promise {\n const user = `Topic: ${node.label}; task: ${node.op}; level: ${node.level}; parameter shape: ${sig}. ` +\n `Already covered: ${coveredQuestions.join(\" | \") || \"(none)\"}. Propose ${n} new parameter objects.`;\n const j = await completeJSON<{ params: unknown[] }>(SYSTEM_PARAMS, user);\n return (j?.params ?? []).filter((p) => !existingKeys.has(canon(p))).slice(0, n);\n}\n\n// --- The generation tick ----------------------------------------------------\nexport async function tickGenerate(opts?: { perNode?: number; force?: number }) {\n if (!hasKey()) return { skipped: \"no OPENAI_API_KEY set\" };\n const perNode = opts?.perNode ?? 4;\n const nodes = await nodesReadyToGrow({ force: opts?.force });\n const report: Record[] = [];\n\n for (const node of nodes) {\n const seedExample = (await existingQuestions(node.id, node.op))[0];\n const gen = await ensureGenerator(node, seedExample); // SEAM\n if (!gen) {\n report.push({ node: node.label, error: \"no safe generator authored\" });\n continue;\n }\n const coveredQ = await existingQuestions(node.id, node.op);\n const keys = new Set(await existingParams(node.id, node.op));\n const params = await proposeParams(node, gen.sig, coveredQ, keys, perNode);\n const cards = apply(gen, params); // SEAM\n let made = 0;\n for (const c of cards) {\n if (await insertCard(node.id, node.op, canon(c.p), node.level, c.q, c.a)) made++;\n }\n report.push({ node: node.label, op: node.op, proposed: params.length, made });\n }\n return report.length ? report : { idle: \"nothing ready to grow\" };\n}\n",[166],"b66fe094-5d41-11f1-a5c3-1607ee4eb77e",["D",1780267224007],5,[28],"aeb1d7ba-5cd1-11f1-aac7-1607ee4eb77e","cron_generate.ts","aeb1d86e-5cd1-11f1-aac7-1607ee4eb77e",22,["D",1780219107386],"interval","import { tickGenerate } from \"./gen.ts\";\n\n// Background generation. Runs on a schedule (set the cadence in the val's\n// settings — e.g. hourly). Cheap because materialisation is a pure function;\n// no-ops without an OPENAI_API_KEY. Incremental + invisible, by design.\nexport default async function () {\n const r = await tickGenerate();\n console.log(\"primer generate:\", JSON.stringify(r));\n}\n",[177],"d42f2e16-5c81-11f1-9562-ee650bb23af1","SPEC.md","d42f2eb6-5c81-11f1-9562-ee650bb23af1",2,["D",1780184810537],"# primer — design spec\n\nThe detailed design behind `README.md`. Sections are roughly independent; the load-bearing ideas are the **coordinate space** (§2) and the **three-component decomposition** (§1).\n\n## 1. Architecture\n\n### One substrate, three readers\n\nThe shared thing is the **card state** — every card, its coordinate, and per-child review history. Three components observe it independently and act at their own tempo. They never call each other; they coordinate only through the shared state. A blackboard, not a pipeline.\n\n- **Scheduler** (timing) — reads review history, decides what is *ripe*. Per-card, global, topic-blind.\n- **Curriculum** (structure) — reads the whole grid plus mastery and attention; extends the *coordinate space* (new nodes, operands, ladder rungs). Slow, global, low-volume. The control plane.\n- **Cards** (surface) — reads one empty coordinate, renders it. Fast, local, parallel, contextless. The data plane.\n\n### The coordinate space is the seam\n\nCurriculum lays down empty addressable slots; the card process consumes them; the scheduler times whatever exists. None talk directly — the coordinate space *is* the medium between them. Stigmergic: mark where a cell should be, let another component build it.\n\n### Invariant — structure is additive\n\nCurriculum **appends** to the coordinate space; it never mutates or deletes a live slot. A concept that turns out wrong is **superseded**, not deleted — a rarer, deliberate act. Append-only structure means the card process always sees a consistent, monotonically growing space, and the components never race. (Monotone growth ⇒ no coordination needed — the CALM intuition.)\n\n### Federation with Mochi\n\nprimer is a **self-contained val** — own SQLite, own generation, forkable alone. Mochi is its own substrate (an LLM pet with memory and ChatGPT-realtime voice). The **device** stitches them into one world; primer is reached through a *zone* in the pet's world. The zone is the seam — no shared backend.\n\n**Separate for now.** A later, deliberate coupling: the child's progress and current interests feed Mochi's context, so the pet knows what she's learning. That is the one link between the substrates, so it stays an explicit future choice.\n\n### Partitioning\n\nState is per child. The **tree is shared** — one coordinate space both daughters climb — but mastery, Leitner boxes, and the interest window are per child. The 8-year-old lives higher up the same ladders the 6-year-old climbs toward.\n\nAuth is **device-scoped** (bearer token). The **profile (child) is named per request** — one device serves either daughter; the token only gates access to the substrate.\n\n## 2. Data model\n\n### The grid (tech-tree)\n\nA **low-n, shallow** tree: categories → subcategories (nodes). Hand-seeded skeleton; curriculum deepens it. Low-n is load-bearing, not just minimal — it keeps the recombination space small enough that combinations stay coherent.\n\nNavigation is **self-directed**: across branches the child roams free (interest); within a branch, depth is **mastery-ordered** (count to 5 before count to 10). A sustained period of interest makes progress along that branch.\n\n### The card coordinate\n\n (node, operation, operands, level)\n\n- **node** — location in the grid (e.g. `numbers/addition`).\n- **operation** — cognitive template, a small fixed set (below).\n- **operands** — from the node's mastered-primitive vocabulary (words, numbers).\n- **level** — ladder rung.\n\nA **UNIQUE constraint on this tuple enforces DRY**: a proposed card whose coordinate exists fails to insert. Duplication is structurally impossible, not merely discouraged.\n\nA \"harder version of a similar question\" is **not** a near-duplicate — it is a *different coordinate by design* (same operands, higher operation or level). `(colour, name, apple, L1)` and `(colour, recall-instance, {red,3}, L2)` are different addresses. The structure encodes redundant-vs-progressive instead of asking similarity to guess.\n\n### Operations\n\nCognitive templates: `recognise · name · recall-instance · compose · contrast`. This set also doubles as the device's layout vocabulary (§5).\n\n**Note — reconcile with the 3-button grade model (§3).** Recall-style ops (`name`, `recall-instance`, `compose`) fit cleanly: attempt → reveal → self-grade with the three buttons. Answer-selection ops (`recognise`, `contrast`) want answer *input*, which contends for those same buttons — so they are likely **deferred** until there is a separate answer-input affordance (or the audio path). The prototype can ship recall-style only.\n\n### MECE as coverage\n\n- **Mutually exclusive** — unique coordinates plus a curated primitive vocabulary (no synonym primitives; `puppy` and `dog` as separate atoms would slip a real duplicate past the coordinate).\n- **Collectively exhaustive** — a *query*: which eligible slots in the active branch are empty? That set is the generator's worklist.\n\n### Tables (sketch)\n\n- `profiles` — children; id, label.\n- `nodes` — the grid; id, parent, label, order.\n- `operands` — per-node vocabulary; node_id, token.\n- `cards` — id, node_id, operation, operands (canonical), level, q (rendered), a (rendered), opts (rendered; recognition only), content_hash, superseded_by. `UNIQUE(node_id, operation, operands, level)`.\n- `reviews` — profile_id, card_id, grade, ts.\n- `box_state` — profile_id, card_id, leitner_box, due_at.\n- `mastery` — profile_id, node_id/operand, mastered_at (gates ladders and recombination).\n- `attention` — profile_id, node_id, rolling weight (drives windowing, with hysteresis).\n\n`content_hash` is a canonical-form hash of the rendered question — a cheap backstop for surface dupes from overlapping templates. Embeddings, if ever used, are a *same-coordinate* collision flag only, never a cross-card filter (that would eat the ladder).\n\n## 3. Review — grading, scheduling, windowing\n\n### Grading — three-button self-report\n\nThe child grades herself: **got it / almost / didn't know** — hardware-native on a three-button device. (At 6 and 8 they read the labels; `almost` still blurs toward `got it` for the younger — don't over-trust the middle.)\n\nThe **sequence is load-bearing**: attempt → reveal → grade. She must commit to a recall attempt *before* the answer appears, or the grade is noise.\n\nSelf-report is a **soft signal** — kids over-report. Generation treats it as *evidence, not truth*: several consistent `got it`s before laddering up, never one.\n\n**Deferred — audio judging.** The device has audio in/out (ChatGPT-realtime, Mochi side). A *spoken* answer captured before reveal makes the pre-commit real and recorded, and an LLM judge turns the grade from a claim into verification. But it puts the key on the *review* path (a call per answer, latency, cost), so adopt it **selectively** — occasional judging to *calibrate* self-report against ground truth, buttons the rest of the time.\n\n### Scheduling — Leitner\n\nLeitner boxes, over SM-2, for legibility, kid-fit, and a clean mastery signal (top box ⇒ trigger laddering/recombination).\n\nGrade → transition: `got it` promotes, `didn't know` demotes to box 1, `almost` holds. The three grades map onto the three generation moves: `didn't know` → scaffold down, `almost` → hold and add a near-variant, sustained `got it` → ladder up or recombine.\n\nThe scheduler is **independent and global** — per-card, decides what is *ripe*, topic-blind.\n\n### Windowing — self-direction over the ripe set\n\nSelf-direction is a **lens over scheduled content**, not a separate session generator. A card surfaces when it is both **due** (scheduler) and **in the interest window** (branch in focus). Dormant branches still go due but never enter a session — the window is elsewhere.\n\n**Hard window** is the default — purest self-direction, simplest. Wrinkle: returning to a long-dormant branch surfaces a backlog at once, rough for a child. Mitigation: **capped re-entry** — a limit on stale cards per session, or a warm-up.\n\n**Within-session stability, between-session adaptation** — window and generation recompute on the cron *between* sessions, so difficulty never shifts under the child mid-flow.\n\n## 4. Generation\n\nTwo parallel processes, split because global-awareness work and high-volume work are *different* work. Conflating them produces repetitive content.\n\n### Curriculum (control plane)\n\nSlow, global, low-volume. Reads the **whole grid** (small — low-n fits in context) plus mastery and attention; emits **structural edits**: a sub-node, new operands, a ladder rung. The model's judgement about the shape of knowledge lives here, and DRY/MECE are enforced here — it sees everything because everything is small. Edits are **additive**; retraction is **supersede** (§1).\n\n**Triggers** (not every tick): a mastery milestone (node mostly mastered → extend), sustained attention crossing the hysteresis line (deepen the attended branch), or the active region running out of empty slots.\n\n### Cards (data plane)\n\nFast, local, parallel. A pure function from one empty coordinate to a rendered card. **Sees no other card** — the coordinate guarantees uniqueness — so it cannot duplicate. The model does *surface realisation only*: phrasing, distractor choice. Could be a cheaper model. Each tick **fills one slot**, then idles when the region is covered.\n\nGeneration emits small **learning units** (teach card + tests), not bare flashcards — introduce material before quizzing (the Quantum Country move).\n\n### Why the context problem dissolves\n\nYou never send existing cards. Curriculum sends the whole (small) grid; the card process gets specific *empty* coordinates plus the (small) operand vocabulary. Existing cards are structurally unaddressable as targets, so context stays O(gap-list) regardless of deck size.\n\n### Distractors sit on the seam\n\n\"What are the wrong answers\" is more structural than free — draw distractors from the operand vocabulary; don't let the card process invent them, or they get repetitive or absurd. (Applies to recognition ops.)\n\n### Execution — key and cron\n\nGeneration runs **server-side** on a Val.town cron (interval val). The OpenAI key is a **Val.town secret**.\n\nA deliberate trade of the \"no keys on server\" posture — justified for a *private family* substrate on own infra, unlike the giftable Mochi case where that posture is load-bearing. The win: true background generation, matching the original \"periodic consolidation\" intent.\n\n**BYO-key cost shape**: a few expensive structural passes (curriculum) plus many tiny cheap renders (cards) — not many expensive calls each straining to see everything.\n\n## 5. API & device\n\n### Auth\n\nBearer token in `Authorization`. **Device-scoped, not child-scoped** — gates the substrate; the profile is named per request. A deliberate step down from sync's OAuth/passkeys, fit for a private device.\n\n### Efficient query — session-batched, not card-streamed\n\nePaper round-trips are slow, so the device does not fetch per card.\n\n- `GET /session?profile=…` → one **session batch**: the windowed due cards (small, by construction). Each card **pre-rendered** (ready-to-draw strings; the device never templates).\n- The device walks the batch **offline** — render, flip, capture grade.\n- `POST /grades` → all grades in one request at session end.\n\nOne fetch, one post. The server consolidates afterwards on its cron.\n\n### Payload — pre-rendered, flat, parser-friendly\n\nShaped for ArduinoJson: short flat keys, no deep nesting, strings rendered server-side. A card is roughly:\n\n { \"id\": 12, \"op\": \"name\", \"q\": \"…\", \"a\": \"…\" }\n\n`op` is the operation tag; `opts` appears only for recognition-style ops.\n\n### Procedural UI — the middle path\n\nThe device parses the batch and procedurally generates UI. Two extremes: *lean* (payload carries `op` + strings; device owns a fixed layout per operation — the low-n template set is the layout vocabulary; UI evolution needs a firmware flash) and *generic* (server sends an explicit widget list; UI evolves without a flash, at a heavier payload/interpreter).\n\n**Chosen: the middle** — a small declarative payload (`op` + strings + ids) read by a **fixed widget interpreter**. The low-n stable operation set makes the lean coupling cheap, while the interpreter stays generic enough to grow.\n\nUse **partial refresh** for front→back so only the reveal region redraws (full-refresh ghosts and is slow).\n\n### The zone\n\nprimer is reached through a **zone in Mochi's world**. Entering hands control to the embedded primer client (which talks to this API); leaving returns to the pet. The zone is the only integration point.\n\n## 6. Open / deferred\n\n- **Operation set vs buttons** (§2/§3) — ship recall-style ops first; `recognise`/`contrast` deferred pending an answer-input affordance.\n- **Audio judging** (§3) — selective calibration of self-report; not built.\n- **Pet-context coupling** (§1) — progress/interests → Mochi's memory; explicit future choice, the one thing that links the substrates.\n- **Cold start** — who authors the initial grid skeleton and seed primitives, so day-one isn't empty and the card process has known-good operands to combine.\n- **Shared-device profile selection** — the in-world \"who's playing\" mechanism before the zone loads.\n",[185],"b3ef1bf2-5c81-11f1-90de-ee650bb23af1","README.md","b3ef1c9c-5c81-11f1-90de-ee650bb23af1",["D",1780184756442],"# primer\n\nA self-contained spaced-repetition substrate for children, embedded as a zone in the Mochi virtual pet. Cards are generated and consolidated in the background; the deck unfolds along the child's interests rather than following a fixed curriculum.\n\n> Working name — _primer_, after the Young Lady's Illustrated Primer (Diamond Age): an adaptive book that teaches a child and grows with her. Rename freely.\n\n## Lineage\n\n- **Anki / spaced repetition** — the retention engine (Leitner boxes).\n- **Quantum Country** — cards as a mnemonic medium. Generation emits small *learning units* (a teach card + its tests), not bare flashcards.\n- **Diamond Age primer** — adaptive, child-directed, grows with the learner.\n- **Substrate thesis** — one shared card state; independent self-activating components (scheduler, curriculum, cards) observe it and act at their own tempo. Coordination is stigmergic, through the shared coordinate space, not message-passing.\n\n## Who and what\n\n- Two readers, 6 and 8. One shared tree; each climbs to her own depth, gated by her own mastery. State partitioned per child.\n- Form factor: the Mochi device — ESP32 + ePaper. Monochrome, slow refresh, a few buttons, audio in/out. Text-centric: written question, text reveal, graded by button. Content gravitates to text-symbolic domains — arithmetic, spelling, vocabulary, factual recall.\n\n## The core loop\n\n1. Child enters the primer zone in Mochi's world.\n2. Device fetches one **session batch** of due cards (the current interest window) over a bearer-token API.\n3. Per card: attempt → reveal → grade (got it / almost / didn't know). Graded **offline**, on-device.\n4. Device posts all grades back in one request at session end.\n5. Server consolidates between sessions on a cron: updates Leitner boxes, runs curriculum + card generation, recomputes the next window.\n\nAdaptation lands one session later by design — stable within a session, adaptive between them.\n\n## Status\n\nDesign phase. `SPEC.md` holds the converged design; implementation follows.\n",[192],"0fc603ae-5cc4-11f1-b9e7-1607ee4eb77e","frontend","6e562c3d-ef4d-4748-8d41-a53973623f6e",6,["D",1780213257290],"directory",[198],"pulls","branches","forks","envVars",{"_211":63,"_213":146},"connections",{"_211":146,"_212":146},"count","unfilledCount","emptyCount",{"_43":197,"_32":198,"_30":199,"_142":-5,"_41":42,"_40":200,"_144":59,"_38":345,"_13":146,"_33":202,"_35":-5,"_24":25,"_148":-5,"_235":346,"_27":347},{"_43":341,"_32":300,"_30":294,"_142":199,"_41":42,"_40":312,"_144":59,"_38":342,"_13":146,"_33":202,"_35":-5,"_24":25,"_148":-5,"_235":343,"_27":344},{"_43":333,"_32":334,"_30":335,"_142":294,"_41":42,"_40":336,"_144":25,"_38":337,"_13":146,"_33":34,"_35":338,"_24":25,"_148":-5,"_235":339,"_27":340},{"_43":325,"_32":326,"_30":327,"_142":294,"_41":42,"_40":328,"_144":59,"_38":329,"_13":146,"_33":34,"_35":330,"_24":25,"_148":-5,"_235":331,"_27":332},{"_43":317,"_32":318,"_30":319,"_142":294,"_41":42,"_40":320,"_144":59,"_38":321,"_13":63,"_33":34,"_35":322,"_24":25,"_148":-5,"_235":323,"_27":324},{"_43":309,"_32":310,"_30":311,"_142":294,"_41":42,"_40":312,"_144":59,"_38":313,"_13":146,"_33":34,"_35":314,"_24":25,"_148":-5,"_235":315,"_27":316},{"_43":301,"_32":302,"_30":303,"_142":294,"_41":42,"_40":304,"_144":59,"_38":305,"_13":146,"_33":34,"_35":306,"_24":25,"_148":-5,"_235":307,"_27":308},{"_43":291,"_32":292,"_30":293,"_142":294,"_41":42,"_40":295,"_144":59,"_38":296,"_13":146,"_33":34,"_35":297,"_24":25,"_148":-5,"_235":298,"_27":299},{"_43":283,"_32":284,"_30":285,"_142":199,"_41":42,"_40":286,"_144":25,"_38":287,"_13":146,"_33":34,"_35":288,"_24":25,"_148":-5,"_235":289,"_27":290},{"_43":275,"_32":276,"_30":277,"_142":199,"_41":42,"_40":278,"_144":59,"_38":279,"_13":63,"_33":34,"_35":280,"_24":25,"_148":-5,"_235":281,"_27":282},{"_43":267,"_32":268,"_30":269,"_142":199,"_41":42,"_40":270,"_144":59,"_38":271,"_13":146,"_33":20,"_35":272,"_24":25,"_148":-5,"_235":273,"_27":274},{"_43":259,"_32":260,"_30":261,"_142":199,"_41":42,"_40":262,"_144":59,"_38":263,"_13":146,"_33":34,"_35":264,"_24":25,"_148":-5,"_235":265,"_27":266},{"_43":191,"_32":192,"_30":193,"_142":-5,"_41":42,"_40":63,"_144":25,"_38":256,"_13":146,"_33":20,"_35":195,"_24":25,"_148":-5,"_235":257,"_27":258},{"_43":184,"_32":185,"_30":186,"_142":-5,"_41":42,"_40":187,"_144":25,"_38":253,"_13":146,"_33":20,"_35":189,"_24":25,"_148":-5,"_235":254,"_27":255},{"_43":176,"_32":177,"_30":178,"_142":-5,"_41":42,"_40":179,"_144":59,"_38":250,"_13":146,"_33":181,"_35":182,"_24":25,"_148":-5,"_235":251,"_27":252},{"_43":172,"_32":28,"_30":31,"_142":-5,"_41":42,"_40":14,"_144":25,"_38":247,"_13":174,"_33":34,"_35":37,"_24":25,"_148":-5,"_235":248,"_27":249},{"_43":165,"_32":166,"_30":167,"_142":-5,"_41":42,"_40":168,"_144":25,"_38":244,"_13":146,"_33":34,"_35":170,"_24":25,"_148":-5,"_235":245,"_27":246},{"_43":157,"_32":158,"_30":57,"_142":-5,"_41":42,"_40":159,"_144":25,"_38":241,"_13":161,"_33":162,"_35":163,"_24":25,"_148":-5,"_235":242,"_27":243},{"_43":150,"_32":151,"_30":152,"_142":-5,"_41":42,"_40":153,"_144":59,"_38":238,"_13":146,"_33":34,"_35":155,"_24":25,"_148":-5,"_235":239,"_27":240},{"_43":139,"_32":140,"_30":141,"_142":-5,"_41":42,"_40":143,"_144":59,"_38":234,"_13":146,"_33":34,"_35":147,"_24":25,"_148":-5,"_235":236,"_27":237},["D",1780219127217],"children",[],[140],["D",1780219037184],[],[151],["D",1780219828726],[],[158],["D",1780219102004],[],[166],["D",1780267224007],[],[28],["D",1780219107386],[],[177],["D",1780184810537],[],[185],["D",1780184756442],[],[192],"439e3070-5cc4-11f1-8455-1607ee4eb77e","index.tsx","439e3138-5cc4-11f1-8455-1607ee4eb77e",14,["D",1780213344285],"/** @jsxImportSource https://esm.sh/react@18.2.0 */\nimport { createRoot } from \"https://esm.sh/react-dom@18.2.0/client\";\nimport { App } from \"./components/App.tsx\";\n\nconst root = document.getElementById(\"root\");\nif (!root) throw new Error(\"No root element found\");\ncreateRoot(root).render();\n",[],[198,260],"46231c52-5cc4-11f1-ac2d-1607ee4eb77e","index.html","46231d24-5cc4-11f1-ac2d-1607ee4eb77e",15,["D",1780213348502],"\n\n \n \n \n primer — device prototype\n \n \n \n

\n \n \n \n\n",[],[198,268],"34f6bc1e-5cc8-11f1-aad0-1607ee4eb77e","device.ts","0fc5dbd6-5cc4-11f1-b9e7-1607ee4eb77e",16,["D",1780215037675],"// The device envelope. Every UI component reads from here, so the web\n// prototype can never accidentally exceed what the ePaper + ESP32 will do.\n// When real hardware specs land, change them HERE and the whole sim follows.\n\nexport const DEVICE = {\n // ePaper panel, portrait. Logical px ~= device px at 1x.\n screen: { w: 296, h: 416 },\n\n // Monochrome only. No colour is reachable on the panel — the sim renders\n // strictly in these two inks so we never design something we can't ship.\n ink: \"#111111\",\n paper: \"#f4f4ee\",\n\n // Capacitive touch on the eInk panel — tap is a real device gesture, not a\n // sim-only convenience. So tapping the card to reveal is faithful.\n touch: true,\n // Three physical buttons, which map exactly to the grade taxonomy.\n // (Touch also unlocks the deferred selection ops — recognise/contrast — later.)\n buttons: 3,\n\n // ePaper is slow. Simulated refresh delays make the rhythm honest:\n // full refresh flashes and is slow; partial refresh (the card flip) is quicker.\n refresh: { full: 700, partial: 200 },\n} as const;\n\n// The three buttons, in fixed order. Doubles as the grade vocabulary.\nexport const GRADES = [\n { key: \"miss\", label: \"Didn't know\" },\n { key: \"almost\", label: \"Almost\" },\n { key: \"got\", label: \"Got it\" },\n] as const;\n\nexport type GradeKey = (typeof GRADES)[number][\"key\"];\n\n// Bearer token. In the sim it's the dev token; on device it's provisioned to\n// firmware. Never entered through this UI — it models a device credential.\nexport const DEVICE_TOKEN = \"dev-token\";\n",[],[198,276],"154c88e8-5cc4-11f1-a41f-1607ee4eb77e","api.ts","154c8988-5cc4-11f1-a41f-1607ee4eb77e",7,["D",1780213266576],"import { DEVICE_TOKEN, type GradeKey } from \"./device.ts\";\n\n// Models the device's entire network surface: two calls per session.\n// Fetch one batch, post the buffered grades. No per-card round trips.\n\nexport type Card = { id: number; op: string; q: string; a: string };\nexport type Profile = { id: number; label: string };\nexport type Branch = { id: number; label: string };\n\nconst auth = { Authorization: `Bearer ${DEVICE_TOKEN}` };\n\nasync function get(path: string): Promise {\n const r = await fetch(path, { headers: auth });\n if (!r.ok) throw new Error(`${path} → ${r.status}`);\n return r.json();\n}\n\nexport async function fetchProfiles(): Promise {\n return (await get<{ profiles: Profile[] }>(\"/api/profiles\")).profiles;\n}\n\nexport async function fetchBranches(): Promise {\n return (await get<{ branches: Branch[] }>(\"/api/branches\")).branches;\n}\n\n// One fetch at session start: the windowed due batch for this profile + branch.\nexport async function fetchSession(profile: number, branch: number): Promise {\n return (await get<{ cards: Card[] }>(`/api/session/${profile}/${branch}`)).cards;\n}\n\n// One post at session end: all buffered grades together.\nexport async function postGrades(\n profile: number,\n grades: { id: number; grade: GradeKey }[],\n): Promise {\n const r = await fetch(\"/api/grades\", {\n method: \"POST\",\n headers: { ...auth, \"Content-Type\": \"application/json\" },\n body: JSON.stringify({ profile, grades }),\n });\n if (!r.ok) throw new Error(`/api/grades → ${r.status}`);\n return (await r.json()).applied;\n}\n",[],[198,284],"3051c3c4-5cc4-11f1-9010-1607ee4eb77e","ZoneEntry.tsx","3051c48c-5cc4-11f1-9010-1607ee4eb77e","9e07f141-773d-42a7-8481-8834afece6d2",11,["D",1780213311908],"/** @jsxImportSource https://esm.sh/react@18.2.0 */\nimport { DEVICE } from \"../device.ts\";\nimport type { Branch, Profile } from \"../api.ts\";\nimport { ButtonBar } from \"./ButtonBar.tsx\";\n\n// Entering the primer zone in Mochi's world: pick who's playing (device is\n// shared, profile chosen per session), then which branch — self-directed,\n// free choice across branches. Both are list picks driven by the 3 buttons:\n// Down / Select / (back). Models in-world navigation, not a rich menu.\nexport function ZoneEntry({\n title,\n items,\n cursor,\n onButton,\n}: {\n title: string;\n items: (Profile | Branch)[];\n cursor: number;\n onButton: (i: number) => void;\n}) {\n return (\n

\n {title}\n

\n {items.map((it, i) => (\n \n {i === cursor ? \"▶\" : \"\"}\n {it.label}\n

\n ))}\n

\n \n \n );\n}\n",[],[198,300,292],"components","359ffe90-5cc4-11f1-8d9c-1607ee4eb77e","SessionEnd.tsx","359fff76-5cc4-11f1-8d9c-1607ee4eb77e",12,["D",1780213320815],"/** @jsxImportSource https://esm.sh/react@18.2.0 */\nimport { DEVICE } from \"../device.ts\";\nimport { ButtonBar } from \"./ButtonBar.tsx\";\n\n// End of the session batch. Grades have been posted in one request; the server\n// will consolidate (boxes, generation, next window) between now and next time —\n// so there's nothing adaptive to show here, by design. Just a tally + exit.\nexport function SessionEnd({\n counts,\n syncing,\n onDone,\n}: {\n counts: { got: number; almost: number; miss: number };\n syncing: boolean;\n onDone: () => void;\n}) {\n const total = counts.got + counts.almost + counts.miss;\n return (\n

\n SESSION DONE\n

{total}

cards reviewed

✓ got it — {counts.got}

~ almost — {counts.almost}

· didn't know — {counts.miss}

\n {syncing ? \"syncing…\" : \"synced\"}\n

\n \n

\n );\n}\n",[],[198,300,302],"1a721234-5cc4-11f1-ae05-1607ee4eb77e","Screen.tsx","1a721310-5cc4-11f1-ae05-1607ee4eb77e",8,["D",1780213275215],"/** @jsxImportSource https://esm.sh/react@18.2.0 */\nimport { DEVICE } from \"../device.ts\";\n\n// The bezel. Constrains every child to the panel's exact pixel envelope and\n// two inks, so nothing inside can render at a size or colour the device can't.\nexport function Screen({ children }: { children: React.ReactNode }) {\n return (\n

\n \n \n {children}\n

\n \n

\n {DEVICE.screen.w}×{DEVICE.screen.h} · monochrome · {DEVICE.buttons} buttons\n

\n \n );\n}\n",[],[198,300,310],"7fd0ca3c-5cd1-11f1-ac52-1607ee4eb77e","CardView.tsx","2a6c19be-5cc4-11f1-9e7b-1607ee4eb77e",17,["D",1780219028733],"/** @jsxImportSource https://esm.sh/react@18.2.0 */\nimport { useEffect, useState } from \"https://esm.sh/react@18.2.0\";\nimport { DEVICE, GRADES } from \"../device.ts\";\nimport type { Card } from \"../api.ts\";\nimport { ButtonBar } from \"./ButtonBar.tsx\";\n\n// The procedural UI interpreter — the firmware's job, in the sim.\n// Input: a card's `op` tag + pre-rendered q/a strings. The device owns a fixed\n// layout per operation (the low-n op set IS the layout vocabulary); the server\n// sends no layout. Add a new op → add a case here and reflash. That coupling is\n// the deliberate \"lean\" choice from the spec.\n\nconst OP_TAG: Record = {\n \"name\": \"RECALL\",\n \"recall-instance\": \"RECALL\",\n \"compose\": \"SAY\",\n};\n\nexport function CardView({\n card,\n index,\n total,\n onGrade,\n}: {\n card: Card;\n index: number;\n total: number;\n onGrade: (grade: string) => void;\n}) {\n const [revealed, setRevealed] = useState(false);\n const [flashing, setFlashing] = useState(false);\n\n // Reset to the front whenever a new card arrives. Models a full refresh.\n useEffect(() => {\n setRevealed(false);\n setFlashing(true);\n const t = setTimeout(() => setFlashing(false), DEVICE.refresh.full);\n return () => clearTimeout(t);\n }, [card.id]);\n\n const tag = OP_TAG[card.op] ?? card.op.toUpperCase();\n\n function reveal() {\n if (revealed || flashing) return;\n setFlashing(true); // partial refresh of the reveal region\n setRevealed(true);\n setTimeout(() => setFlashing(false), DEVICE.refresh.partial);\n }\n\n // Pre-commit: question first, answer only after a deliberate reveal.\n // Tapping the card is the primary reveal (capacitive panel); the centre\n // button is the secondary affordance / hint to the same single action.\n function handleButton(i: number) {\n if (!revealed) {\n if (i === 1) reveal();\n return;\n }\n onGrade(GRADES[i].key);\n }\n\n return (\n

\n {/* Tappable face — primary reveal affordance */}\n \n

\n {tag}\n {index + 1} / {total}\n

\n\n

{card.q}

\n\n

\n {revealed\n ? (\n <>\n

ANSWER

{card.a}

\n \n )\n :

tap to reveal

}\n

\n\n {/* Buttons: REVEAL (centre, secondary) before; grade triad after */}\n {revealed\n ? g.label)} onPress={handleButton} disabled={flashing} />\n : }\n \n );\n}\n",[],[198,300,318],"1fa23432-5cc4-11f1-8c4d-1607ee4eb77e","ButtonBar.tsx","1fa234fa-5cc4-11f1-8c4d-1607ee4eb77e",9,["D",1780213283917],"/** @jsxImportSource https://esm.sh/react@18.2.0 */\nimport { DEVICE } from \"../device.ts\";\n\n// The three physical buttons along the bottom edge. This is the ENTIRE input\n// surface — every screen must express its choices as ≤3 of these. Pass exactly\n// DEVICE.buttons labels; a null label is a dead (unlabelled) key on that screen.\nexport function ButtonBar({\n labels,\n onPress,\n disabled,\n}: {\n labels: (string | null)[];\n onPress: (index: number) => void;\n disabled?: boolean;\n}) {\n const slots = Array.from({ length: DEVICE.buttons }, (_, i) => labels[i] ?? null);\n return (\n \n {slots.map((label, i) => (\n onPress(i)}\n className=\"py-3 text-[13px] font-bold uppercase tracking-wide disabled:opacity-25\"\n style={{\n background: DEVICE.paper,\n color: DEVICE.ink,\n borderLeft: i === 0 ? \"none\" : `1px solid ${DEVICE.ink}`,\n }}\n >\n {label ?? \"·\"}\n \n ))}\n \n );\n}\n",[],[198,300,326],"40e87d36-5cc4-11f1-9010-1607ee4eb77e","App.tsx","40e87eda-5cc4-11f1-9010-1607ee4eb77e",13,["D",1780213339743],"/** @jsxImportSource https://esm.sh/react@18.2.0 */\nimport { useEffect, useState } from \"https://esm.sh/react@18.2.0\";\nimport { type Branch, type Card, fetchBranches, fetchProfiles, fetchSession, postGrades, type Profile } from \"../api.ts\";\nimport type { GradeKey } from \"../device.ts\";\nimport { Screen } from \"./Screen.tsx\";\nimport { ZoneEntry } from \"./ZoneEntry.tsx\";\nimport { CardView } from \"./CardView.tsx\";\nimport { SessionEnd } from \"./SessionEnd.tsx\";\n\n// The device session state machine. The whole point: it can only do what the\n// firmware will. One fetch at start, grades buffered offline, one post at end.\n\ntype Phase = \"loading\" | \"profile\" | \"branch\" | \"review\" | \"empty\" | \"end\";\n\nexport function App() {\n const [phase, setPhase] = useState(\"loading\");\n const [profiles, setProfiles] = useState([]);\n const [branches, setBranches] = useState([]);\n const [cursor, setCursor] = useState(0);\n const [profile, setProfile] = useState(null);\n\n const [cards, setCards] = useState([]);\n const [pos, setPos] = useState(0);\n const [buffer, setBuffer] = useState<{ id: number; grade: GradeKey }[]>([]);\n const [syncing, setSyncing] = useState(false);\n\n useEffect(() => {\n fetchProfiles().then((p) => {\n setProfiles(p);\n setPhase(\"profile\");\n }).catch(() => setPhase(\"empty\"));\n }, []);\n\n // --- Zone entry: profile, then branch ---\n function pickProfile(i: number) {\n if (i === 0) { setCursor((c) => (c + 1) % profiles.length); return; }\n if (i === 1) {\n const p = profiles[cursor];\n setProfile(p);\n setCursor(0);\n fetchBranches().then((b) => { setBranches(b); setPhase(\"branch\"); });\n }\n }\n\n function pickBranch(i: number) {\n if (i === 0) { setCursor((c) => (c + 1) % branches.length); return; }\n if (i === 1) {\n const b = branches[cursor];\n // One fetch: the windowed due batch.\n fetchSession(profile!.id, b.id).then((batch) => {\n setCards(batch);\n setPos(0);\n setBuffer([]);\n setPhase(batch.length ? \"review\" : \"empty\");\n });\n }\n }\n\n // --- Review: buffer each grade offline; advance; post once at the end ---\n function grade(g: string) {\n const next = [...buffer, { id: cards[pos].id, grade: g as GradeKey }];\n setBuffer(next);\n if (pos + 1 < cards.length) {\n setPos(pos + 1);\n } else {\n setSyncing(true);\n setPhase(\"end\");\n postGrades(profile!.id, next).finally(() => setSyncing(false));\n }\n }\n\n function reset() {\n setProfile(null);\n setCursor(0);\n setCards([]);\n setBuffer([]);\n setPos(0);\n setPhase(\"profile\");\n }\n\n const counts = {\n got: buffer.filter((b) => b.grade === \"got\").length,\n almost: buffer.filter((b) => b.grade === \"almost\").length,\n miss: buffer.filter((b) => b.grade === \"miss\").length,\n };\n\n return (\n

P R I M E R

\n \n {phase === \"loading\" && …}\n {phase === \"profile\" && (\n \n )}\n {phase === \"branch\" && (\n \n )}\n {phase === \"review\" && cards[pos] && (\n \n )}\n {phase === \"empty\" && Nothing due here.
Come back later.}\n {phase === \"end\" && }\n \n view source\n

\n );\n}\n\nfunction Centered({ children }: { children: React.ReactNode }) {\n return

{children}

;\n}\n",[],[198,300,334],"1a725302-5cc4-11f1-ae05-1607ee4eb77e",["D",1780213275215],[216,217,218,219,220,221],[198,300],["D",1780213257290],[215,222,223,224,225],[198],["D",1780184756415],["D",1789510270483],{"_100":99,"_107":103},{"_100":99,"_101":-5,"_102":103,"_18":55,"_104":105,"_106":25},{"_13":89,"_32":90,"_43":42,"_91":44,"_92":-5,"_93":-5,"_94":-5,"_95":-5,"_96":-5,"_97":45,"_98":99},"ctx",{"_82":-5,"_127":386,"_387":388,"_389":390,"_391":25,"_392":25,"_393":25,"_394":59,"_395":-5,"_396":-7,"_397":-7,"_398":146,"_399":25,"_400":25,"_401":-5,"_402":25,"_403":25,"_404":25,"_405":-5},"ENV",{"_357":358,"_359":360,"_361":90,"_362":363,"_364":365,"_366":367,"_368":369,"_370":371,"_372":373,"_374":375,"_376":377,"_378":379,"_380":381,"_382":383,"_384":385},"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 · v29