Files
learnharness/tests/question-tools.test.ts
T
amosblomqvist cab1632c74 feat(T2a): tool-toggle seam + phase-based question principles
Part 1 — tool availability (the settings seam, machinery generic):
- core/pending.ts: TOGGLEABLE_TOOLS (today: research, demo, visual —
  the model-facing tool names), EnabledTools = the JSON-native seam
  shape Partial<Record<string, boolean>> (absent key = enabled, so old
  records behave exactly as today), filterEnabledTools shared helper.
  quiz/ask_user_question are always-on FOR NOW (user-decided); the
  filtering is generic so future toggleables (question-tool variants,
  the read tool, …) need no factory change.
- createProberTools/createTeacherTools take enabled?: EnabledTools; the
  composition root (chat-handler, Platform's lane this wave) passes the
  resolved settings through. probe_done is re-added after the filter —
  always-on by construction (it ends the phase; a prober that can never
  conclude is a lockout).
- Prompts stay STATIC under toggles this wave (user-decided); standing
  principle recorded: tools ship self-contained usage guidance in their
  descriptions; system prompts reference only always-on tools.

Part 2 — phase-based question-writing principles (user-locked wording,
drafted with the user over three iterations):
- NEW teacher/21-question-principles.md (composes after 20-teaching):
  answerable-by-reasoning-from-the-session (the fairness rule that
  filters unanswerable questions without forbidding visible answers),
  never-just-reciting-your-words-back, PREFER problems that apply the
  knowledge (preference, not hard rule — honest recall is the fallback,
  not the habit), catch-confusion-early-and-nameable (wrong options as
  real misconceptions), answer-is-signal-not-verdict.
- prober/10-probe-doctrine.md: 'no rush' retired; quick-measurement
  directive in — every question moves an edge (bracket, narrow, or
  characterize); a bracketed strand is done.

Tests: TOGGLEABLE_TOOLS pin, prober/teacher filtering (absent = full,
false drops exactly that tool, probe_done survives), prompt pins (the
principles compose verbatim into the teacher prompt, the no-rush
framing is gone from the prober). 547/547, typecheck/lint/build green.
2026-09-19 14:06:07 +03:00

201 lines
8.1 KiB
TypeScript

/**
* The agent-split question tools (docs/probe-teach-split.md §1):
*
* - teachQuizToolFor — the TEACHER's quiz: the shared authoring contract +
* the per-session plan-nodeId validation (position signal; a mismatched id
* is rejected at the call boundary and returns to the agent to fix).
* - createProberTools — the PROBER's quiz has NO nodeId field at all (the
* schema is built from quizInputBase; the key is stripped if the model
* tries anyway), plus ask + probe_done.
*
* The grading contract (question-core) is shared and untouched by both.
*/
import assert from "node:assert/strict";
import * as fs from "node:fs";
import * as path from "node:path";
import { after, describe, it } from "node:test";
import { createProberTools, createTeacherTools, teachQuizToolFor, type TeacherToolContext } from "../src/agent/tools.ts";
import { TOGGLEABLE_TOOLS } from "../src/core/pending.ts";
import { jobStore } from "../src/store/jobs.ts";
import { probeQuizInputSchema } from "../src/core/question-core.ts";
import { chatStore } from "../src/store/chats.ts";
import { PATHS } from "../config.ts";
const dataDir = path.join(PATHS.root, "data");
fs.mkdirSync(dataDir, { recursive: true });
const createdChats: string[] = [];
after(() => {
for (const id of createdChats) {
try {
fs.unlinkSync(path.join(PATHS.chats, `${id}.json`));
} catch {
/* scratch cleanup, best effort */
}
}
});
function newChat(title: string): string {
const chat = chatStore.createChat(title);
createdChats.push(chat.id);
return chat.id;
}
const validQuiz = {
question: "What is 2 + 2?",
options: [
{ label: "3", value: "3" },
{ label: "4", value: "4" },
],
correctAnswer: "4",
explanation: "Arithmetic.",
};
interface QuizToolSpec {
schema: { safeParse: (v: unknown) => { success: boolean; error?: { issues: Array<{ message: string }> } } };
}
/** teachQuizToolFor returns the single quiz tool; createProberTools a registry. */
const schemaOf = (toolLike: unknown) => (toolLike as QuizToolSpec).schema;
const quizSchemaOf = (tools: Record<string, unknown>) => schemaOf(tools.quiz);
describe("teachQuizToolFor: the dynamic plan-nodeId validation (position signal)", () => {
it("accepts a nodeId that matches a node of the session's tree", () => {
const chatId = newChat("NodeId: valid");
chatStore.saveTree(chatId, {
nodes: [
{ id: "arith", title: "Arithmetic" },
{ id: "expressions", title: "Expressions" },
],
edges: [{ from: "arith", to: "expressions" }],
version: 1,
});
const res = schemaOf(teachQuizToolFor({ chatId, chatStore })).safeParse({
...validQuiz,
nodeId: "expressions",
});
assert.equal(res.success, true);
});
it("rejects a nodeId that matches no node — with a message listing the slugs", () => {
const chatId = newChat("NodeId: typo");
chatStore.saveTree(chatId, {
nodes: [{ id: "arith", title: "Arithmetic" }],
edges: [],
version: 1,
});
const res = schemaOf(teachQuizToolFor({ chatId, chatStore })).safeParse({
...validQuiz,
nodeId: "arithmetic", // the typo — slug is 'arith'
});
assert.equal(res.success, false);
const msg = res.error!.issues.map((i) => i.message).join("\n");
assert.match(msg, /matches no node/);
assert.match(msg, /arith/);
});
it("no tree yet: ANY nodeId is rejected — omit it for ad-hoc checks", () => {
const chatId = newChat("NodeId: no tree");
const schema = schemaOf(teachQuizToolFor({ chatId, chatStore }));
const res = schema.safeParse({ ...validQuiz, nodeId: "anything" });
assert.equal(res.success, false);
assert.match(res.error!.issues.at(-1)!.message, /No plan map exists yet/);
// …while an untagged ad-hoc check is fine
const plain = schema.safeParse(validQuiz);
assert.equal(plain.success, true);
});
it("reads the LIVE record — a plan_init mutation mid-turn is honored immediately", () => {
const chatId = newChat("NodeId: live record");
const schema = schemaOf(teachQuizToolFor({ chatId, chatStore }));
const before = schema.safeParse({ ...validQuiz, nodeId: "fresh-node" });
assert.equal(before.success, false, "no tree yet → rejected");
chatStore.saveTree(chatId, {
nodes: [{ id: "fresh-node", title: "Just initialized" }],
edges: [],
version: 1,
});
const after = schema.safeParse({ ...validQuiz, nodeId: "fresh-node" });
assert.equal(after.success, true, "the same id validates once the tree exists — same turn");
});
it("the shared grading rules still chain FIRST (schema-valid ⇔ gradeable)", () => {
const chatId = newChat("NodeId: grading rules intact");
const res = schemaOf(teachQuizToolFor({ chatId, chatStore })).safeParse({
...validQuiz,
correctAnswer: "42", // matches no option — question-core's rule
nodeId: "ghost", // also bad — BOTH problems surface
});
assert.equal(res.success, false);
const msgs = res.error!.issues.map((i) => i.message).join("\n");
assert.match(msgs, /correctAnswer/);
assert.match(msgs, /matches no node/);
});
});
describe("the prober's quiz: no nodeId field at all", () => {
it("the probe schema accepts a plain quiz and STRIPS a smuggled nodeId", () => {
const plain = probeQuizInputSchema.safeParse(validQuiz);
assert.equal(plain.success, true);
const smuggled = probeQuizInputSchema.safeParse({ ...validQuiz, nodeId: "anything" });
assert.equal(smuggled.success, true, "the field doesn't exist — zod strips it");
assert.equal("nodeId" in smuggled.data, false, "stripped, not tolerated");
});
it("the prober's tool registry carries the nodeId-less quiz and probe_done only", () => {
const chatId = newChat("Prober: registry");
const tools = createProberTools({ chatId, chatStore, deliver: () => {} });
assert.deepEqual(Object.keys(tools).sort(), ["ask_user_question", "probe_done", "quiz"]);
const schema = quizSchemaOf(tools);
assert.equal(schema.safeParse({ ...validQuiz, nodeId: "anything" }).success, true, "no session check to fail");
});
});
// ─── tool availability (2026-09 settings seam) ───────────────────────────────
describe("tool toggles (core/pending.ts + factories)", () => {
it("TOGGLEABLE_TOOLS: today only the sub-agent dispatch tools; quiz/ask stay off the list", () => {
// The user-toggleable vocabulary Platform's settings validates against.
// quiz/ask_user_question are always-on FOR NOW (user-decided 2026-09-15);
// they join when settings exposes them — the factory seam is generic.
assert.deepEqual(TOGGLEABLE_TOOLS, ["research", "demo", "visual"]);
});
it("createProberTools: absent record = full set; explicit false drops exactly that tool; probe_done survives everything", () => {
const chatId = newChat("Prober: toggles");
const ctx = { chatId, chatStore, deliver: () => {} };
assert.deepEqual(Object.keys(createProberTools(ctx)).sort(), ["ask_user_question", "probe_done", "quiz"]);
const noAsk = createProberTools(ctx, { ask_user_question: false });
assert.deepEqual(Object.keys(noAsk).sort(), ["probe_done", "quiz"]);
// quiz off is honored by the generic machinery too (future toggleable),
// but probe_done is never droppable — it is how the phase ends.
const noQuiz = createProberTools(ctx, { quiz: false });
assert.deepEqual(Object.keys(noQuiz).sort(), ["ask_user_question", "probe_done"]);
assert.ok(createProberTools(ctx, { probe_done: false }).probe_done, "probe_done always-on");
});
it("createTeacherTools: {research: false} removes exactly research; unknown keys are no-ops", () => {
const chatId = newChat("Teacher: toggles");
const ctx: TeacherToolContext = {
chatId,
chatStore,
jobStore,
spawn: () => {},
};
const full = Object.keys(createTeacherTools(ctx)).sort();
assert.deepEqual(full, ["ask_user_question", "demo", "plan_init", "quiz", "research", "visual"]);
const noResearch = Object.keys(createTeacherTools(ctx, { research: false })).sort();
assert.deepEqual(noResearch, ["ask_user_question", "demo", "plan_init", "quiz", "visual"]);
// absent = enabled: an empty record and undefined behave identically
assert.deepEqual(
Object.keys(createTeacherTools(ctx, {})).sort(),
full,
"absent keys mean enabled — old records behave exactly as today",
);
});
});