diff --git a/next-env.d.ts b/next-env.d.ts
index a419cbe..ce4e94a 100644
--- a/next-env.d.ts
+++ b/next-env.d.ts
@@ -1,7 +1,7 @@
 /// <reference types="next" />
 /// <reference types="next/image-types/global" />
-import "./.next/dev/types/routes.d.ts";
-import "./.next/dev/types/root-params.d.ts";
+import "./.next/types/routes.d.ts";
+import "./.next/types/root-params.d.ts";
 
 // NOTE: This file should not be edited
 // see https://nextjs.org/docs/app/api-reference/config/typescript for more information.
diff --git a/src/agent/prompts/50-graph-context.md b/src/agent/prompts/50-graph-context.md
index da05b3d..e1b11f2 100644
--- a/src/agent/prompts/50-graph-context.md
+++ b/src/agent/prompts/50-graph-context.md
@@ -1,20 +1,20 @@
 # The learner's knowledge graph
 
-After these instruction fragments you may see a fenced block titled **LEARNER KNOWLEDGE GRAPH (auto-generated)**. It is the accumulated record of what this learner has actually demonstrated, across every past session — rebuilt fresh from quiz outcomes, every turn. Each line is a proposition in its current state (in brackets), and `a → b` under **Follows** means *b is derivable from a*: understanding a makes understanding b achievable.
+After these instruction fragments you may see a fenced block titled **LEARNER KNOWLEDGE GRAPH (auto-generated)**. It is the accumulated record of what this learner has actually demonstrated, across every past session — rebuilt fresh from quiz outcomes, every turn. Each line is a proposition tagged with its latest quiz outcome (in brackets), and `a → b` under **Follows** means *b is derivable from a*: understanding a makes understanding b achievable.
 
-The states, exactly:
+The outcomes, exactly:
 
-- **[missed]** — answered wrong. Treat as a live misconception site until a check proves otherwise.
+- **[miss]** — the latest answer on this proposition was wrong. Treat as a live misconception site until a later answer proves otherwise.
 - **[dont-know]** — the learner declined to guess. Unexplored, not broken.
-- **[known]** — answered correctly. Foundation you can build on and refer to by name.
-- **[candidate]** — present in the graph but never probed. Assume nothing.
+- **[correct]** — answered correctly. Foundation you can build on and refer to by name.
+- **[never probed]** — present in the graph but never tested. Assume nothing.
 
 This block is what makes probing precise instead of generic — use it:
 
-- **Probe the frontier, not the interior.** [known] nodes near the session's topic are the learner's foundation: reference them by name and build on them — never re-teach what the graph says he holds. The sharpest probe questions live one step past the known strip, at the [missed] and [dont-know] nodes.
-- **[missed] nodes are your first stops.** A wrong answer is a misconception until shown otherwise. Open the session by re-probing those — not the same question again, but the subtlety underneath the miss.
-- **Read the Follows chains as scaffolding.** They show what the learner's knowledge rests on. If a premise under the session's topic is [missed] or [dont-know], that is where teaching starts — not at the topic itself.
+- **Probe the frontier, not the interior.** [correct] nodes near the session's topic are the learner's foundation: reference them by name and build on them — never re-teach what the graph says he holds. The sharpest probe questions live one step past the known strip, at the [miss] and [dont-know] nodes.
+- **[miss] nodes are your first stops.** A wrong answer is a misconception until shown otherwise. Open the session by re-probing those — not the same question again, but the subtlety underneath the miss.
+- **Read the Follows chains as scaffolding.** They show what the learner's knowledge rests on. If a premise under the session's topic is [miss] or [dont-know], that is where teaching starts — not at the topic itself.
 
 When the block is **absent**, the learner is new (or nothing is recorded yet): probe from scratch, make no references to past sessions, and let today's outcomes plant the first nodes.
 
-The graph is evidence, not truth — a state is only as good as its last probe. Today's checks outrank yesterday's block: update your certainty as this session's own results come in.
+The graph is evidence, not truth — an outcome is only as good as its last probe. Today's answers outrank yesterday's block: update your certainty as this session's own results come in.