@classytic/labs 0.6.0 → 0.7.0

package/dist/domains/math/calculus/implicit-parametric-derivative/model.mjs

@@ -5,7 +5,7 @@ import { calculusExpressionSchema, calculusRangeSchema, pointSchema } from "../.
 import { nearestParameter, projectToImplicitCurve, traceImplicitCurve } from "./contour.mjs";
 import { isRefusal } from "@classytic/stage/result";
 import { z } from "zod";
-import { compileExpr, evaluate, implicitDerivative, parametricDerivative, toLatex } from "@classytic/stage/math";
+import { classifyDerivativeRatio, compileExpr, evaluate, implicitDerivative, parametricDerivative, toLatex } from "@classytic/stage/math";
 
 //#region src/domains/math/calculus/implicit-parametric-derivative/model.ts
 /**
@@ -216,7 +216,8 @@ const implicitParametricDerivativeModel = defineLabModel({
 			const fx = s.FxNum(x, y);
 			const fy = s.FyNum(x, y);
 			const gradient = s.dydxNum(x, y);
-			const vertical = !Number.isFinite(gradient) || Math.abs(fy) < 1e-9;
+			const tangent = classifyDerivativeRatio(-fx, fy);
+			const vertical = tangent === "vertical";
 			return {
 				kind: "implicit",
 				x,
@@ -224,6 +225,7 @@ const implicitParametricDerivativeModel = defineLabModel({
 				fx,
 				fy,
 				gradient,
+				tangent,
 				vertical
 			};
 		}
@@ -233,7 +235,8 @@ const implicitParametricDerivativeModel = defineLabModel({
 		const dxdt = s.dxdtNum(t);
 		const dydt = s.dydtNum(t);
 		const gradient = s.dydxNum(t);
-		const vertical = !Number.isFinite(gradient) || Math.abs(dxdt) < 1e-9;
+		const tangent = classifyDerivativeRatio(dydt, dxdt);
+		const vertical = tangent === "vertical";
 		return {
 			kind: "parametric",
 			t,
@@ -242,6 +245,7 @@ const implicitParametricDerivativeModel = defineLabModel({
 			dxdt,
 			dydt,
 			gradient,
+			tangent,
 			vertical,
 			traced: st.traced
 		};
@@ -255,7 +259,7 @@ const implicitParametricDerivativeModel = defineLabModel({
 		t: s.kind === "parametric" ? s.startT === s.tMax ? s.tMin : s.tMax : 0,
 		traced: true
 	}),
-	describe: (s, _st, r) => s.presentation === "trace" && r.kind === "parametric" ? `${s.parameterLabel} = ${r.t.toFixed(3)}, point (${r.x.toFixed(3)}, ${r.y.toFixed(3)}).` : r.kind === "implicit" ? `Point (${r.x.toFixed(2)}, ${r.y.toFixed(2)}). ${r.vertical ? "Vertical tangent: dy/dx undefined." : `dy/dx = ${r.gradient.toFixed(3)}.`}` : `t = ${r.t.toFixed(2)}, point (${r.x.toFixed(2)}, ${r.y.toFixed(2)}). ${r.vertical ? "Vertical tangent: dy/dx undefined." : `dy/dx = ${r.gradient.toFixed(3)}.`}`
+	describe: (s, _st, r) => s.presentation === "trace" && r.kind === "parametric" ? `${s.parameterLabel} = ${r.t.toFixed(3)}, point (${r.x.toFixed(3)}, ${r.y.toFixed(3)}).` : r.kind === "implicit" ? `Point (${r.x.toFixed(2)}, ${r.y.toFixed(2)}). ${r.tangent === "singular" ? "Singular point: the derivative ratio is 0/0; investigate the limiting tangent." : r.tangent === "undefined" ? "Derivative undefined at this point." : r.vertical ? "Vertical tangent: dy/dx undefined." : `dy/dx = ${r.gradient.toFixed(3)}.`}` : `t = ${r.t.toFixed(2)}, point (${r.x.toFixed(2)}, ${r.y.toFixed(2)}). ${r.tangent === "singular" ? "Singular point: the derivative ratio is 0/0; investigate the limiting tangent." : r.tangent === "undefined" ? "Derivative undefined at this point." : r.vertical ? "Vertical tangent: dy/dx undefined." : `dy/dx = ${r.gradient.toFixed(3)}.`}`
 });
 
 //#endregion

package/dist/domains/math/calculus/implicit-parametric-derivative/runtime.mjs

@@ -30,7 +30,7 @@ function ImplicitParametricDerivative(props) {
 			fmt(reading.y),
 			")"
 		] })] }) : reading.kind === "implicit" ? /* @__PURE__ */ jsxs(Fragment, { children: [
-			/* @__PURE__ */ jsx("strong", { children: reading.vertical ? "Vertical tangent: dy/dx undefined" : "Fx and Fy divide to give dy/dx" }),
+			/* @__PURE__ */ jsx("strong", { children: reading.tangent === "singular" ? "Singular point: investigate the limiting tangent" : reading.tangent === "undefined" ? "Derivative undefined at this point" : reading.vertical ? "Vertical tangent: dy/dx undefined" : "Fx and Fy divide to give dy/dx" }),
 			/* @__PURE__ */ jsxs("span", { children: [
 				"(",
 				reading.x.toFixed(2),
@@ -38,13 +38,13 @@ function ImplicitParametricDerivative(props) {
 				reading.y.toFixed(2),
 				")"
 			] }),
-			/* @__PURE__ */ jsxs("span", { children: ["dy/dx ", reading.vertical ? "undefined" : reading.gradient.toFixed(3)] })
+			/* @__PURE__ */ jsxs("span", { children: ["dy/dx ", reading.tangent !== "finite" ? "undefined" : reading.gradient.toFixed(3)] })
 		] }) : /* @__PURE__ */ jsxs(Fragment, { children: [
-			/* @__PURE__ */ jsx("strong", { children: reading.vertical ? "Vertical tangent: dy/dx undefined" : "dy/dt over dx/dt gives dy/dx" }),
+			/* @__PURE__ */ jsx("strong", { children: reading.tangent === "singular" ? "Singular point: investigate the limiting tangent" : reading.tangent === "undefined" ? "Derivative undefined at this point" : reading.vertical ? "Vertical tangent: dy/dx undefined" : "dy/dt over dx/dt gives dy/dx" }),
 			/* @__PURE__ */ jsxs("span", { children: ["t ", reading.t.toFixed(2)] }),
-			/* @__PURE__ */ jsxs("span", { children: ["dy/dx ", reading.vertical ? "undefined" : reading.gradient.toFixed(3)] })
+			/* @__PURE__ */ jsxs("span", { children: ["dy/dx ", reading.tangent !== "finite" ? "undefined" : reading.gradient.toFixed(3)] })
 		] }),
-		observation: ({ reading }) => trace ? null : reading.kind === "implicit" ? reading.vertical ? /* @__PURE__ */ jsxs(Fragment, { children: [
+		observation: ({ reading }) => trace ? null : reading.tangent === "singular" ? /* @__PURE__ */ jsx(Fragment, { children: "Both component derivatives vanish here, so their ratio is 0/0. This does not establish a vertical tangent. Investigate the limiting curve separately." }) : reading.tangent === "undefined" ? /* @__PURE__ */ jsx(Fragment, { children: "The derivative cannot be evaluated at this point; no tangent is inferred." }) : reading.kind === "implicit" ? reading.vertical ? /* @__PURE__ */ jsxs(Fragment, { children: [
 			/* @__PURE__ */ jsx(Tex, { tex: "F_y" }),
 			" rounds to ",
 			/* @__PURE__ */ jsx(Tex, { tex: "0" }),
@@ -103,7 +103,7 @@ function ImplicitParametricDerivative(props) {
 					}),
 					/* @__PURE__ */ jsxs("div", {
 						className: "math-result-probe",
-						children: [/* @__PURE__ */ jsx("span", { children: "dy/dx = -Fx/Fy" }), /* @__PURE__ */ jsx("strong", { children: reading.vertical ? "undefined (vertical)" : fmt(reading.gradient) })]
+						children: [/* @__PURE__ */ jsx("span", { children: "dy/dx = -Fx/Fy" }), /* @__PURE__ */ jsx("strong", { children: reading.tangent === "singular" ? "indeterminate (0/0)" : reading.vertical ? "undefined (vertical)" : reading.tangent === "undefined" ? "undefined" : fmt(reading.gradient) })]
 					}),
 					/* @__PURE__ */ jsxs("div", {
 						className: "math-equation-detail",
@@ -184,7 +184,7 @@ function ImplicitParametricDerivative(props) {
 				}),
 				/* @__PURE__ */ jsxs("div", {
 					className: "math-result-probe",
-					children: [/* @__PURE__ */ jsx("span", { children: "dy/dx" }), /* @__PURE__ */ jsx("strong", { children: reading.vertical ? "undefined (vertical)" : fmt(reading.gradient) })]
+					children: [/* @__PURE__ */ jsx("span", { children: "dy/dx" }), /* @__PURE__ */ jsx("strong", { children: reading.tangent === "singular" ? "indeterminate (0/0)" : reading.vertical ? "undefined (vertical)" : reading.tangent === "undefined" ? "undefined" : fmt(reading.gradient) })]
 				}),
 				/* @__PURE__ */ jsxs("div", {
 					className: "math-equation-detail",

package/dist/domains/math/calculus/implicit-parametric-derivative/scene.mjs

@@ -2,11 +2,12 @@
 
 import { useControl } from "../../../../runtime/use-control.mjs";
 import { useLabView } from "../../../../runtime/use-lab-view.mjs";
-import { MovableDot as MovableDot$1 } from "../../../../kit/movable-dot.mjs";
+import { MovableDot } from "../../../../kit/movable-dot.mjs";
 import { nearestParameter } from "./contour.mjs";
 import { implicitParametricDerivativeModel } from "./model.mjs";
-import { Axes, Grid, Plot, Point, Polyline, Segment, Stage } from "@classytic/stage";
 import { jsx, jsxs } from "react/jsx-runtime";
+import { Stage } from "@classytic/stage/view";
+import { Axes, Grid, Plot, Point, Polyline, Segment } from "@classytic/stage/primitives";
 
 //#region src/domains/math/calculus/implicit-parametric-derivative/scene.tsx
 function ImplicitParametricDerivativeScene({ height = 340 } = {}) {
@@ -35,7 +36,7 @@ function ImplicitParametricDerivativeScene({ height = 340 } = {}) {
 					color: "var(--stage-fg)",
 					weight: 2.5
 				}, i)),
-				!vertical ? /* @__PURE__ */ jsx(Segment, {
+				r.tangent === "finite" ? /* @__PURE__ */ jsx(Segment, {
 					from: {
 						x: xMin,
 						y: lineY(r.gradient, xMin)
@@ -66,7 +67,7 @@ function ImplicitParametricDerivativeScene({ height = 340 } = {}) {
 					r: 6,
 					color: "var(--stage-fg)"
 				}),
-				!point.hidden ? /* @__PURE__ */ jsx(MovableDot$1, {
+				!point.hidden ? /* @__PURE__ */ jsx(MovableDot, {
 					control: point,
 					color: "var(--stage-fg)",
 					ariaLabel: "point on the curve"
@@ -87,7 +88,7 @@ function ImplicitParametricDerivativeScene({ height = 340 } = {}) {
 		},
 		height,
 		preserveAspect: s.presentation === "trace",
-		ariaLabel: `Parametric curve x = ${s.xt}, y = ${s.yt}, ${s.parameterLabel} = ${r.t.toFixed(2)}${s.presentation === "trace" ? "; equal Cartesian scales" : "; tangent shown"}`,
+		ariaLabel: `Parametric curve x = ${s.xt}, y = ${s.yt}, ${s.parameterLabel} = ${r.t.toFixed(2)}${s.presentation === "trace" ? "; equal Cartesian scales" : r.tangent === "singular" ? "; singular point, tangent requires investigation" : r.tangent === "undefined" ? "; derivative undefined" : "; tangent shown"}`,
 		children: [
 			/* @__PURE__ */ jsx(Grid, {}),
 			/* @__PURE__ */ jsx(Axes, { labels: true }),
@@ -97,7 +98,7 @@ function ImplicitParametricDerivativeScene({ height = 340 } = {}) {
 				color: "var(--stage-fg)",
 				weight: 3
 			}),
-			s.presentation !== "trace" && !vertical && Number.isFinite(r.x) && Number.isFinite(r.y) ? /* @__PURE__ */ jsx(Segment, {
+			s.presentation !== "trace" && r.tangent === "finite" && Number.isFinite(r.x) && Number.isFinite(r.y) ? /* @__PURE__ */ jsx(Segment, {
 				from: {
 					x: xMin,
 					y: lineY(r.gradient, xMin)
@@ -128,7 +129,7 @@ function ImplicitParametricDerivativeScene({ height = 340 } = {}) {
 				r: 6,
 				color: "var(--stage-fg)"
 			}) : null,
-			Number.isFinite(r.x) && Number.isFinite(r.y) && !t.hidden ? /* @__PURE__ */ jsx(MovableDot$1, {
+			Number.isFinite(r.x) && Number.isFinite(r.y) && !t.hidden ? /* @__PURE__ */ jsx(MovableDot, {
 				control: t,
 				toPoint: (tt) => ({
 					x: xNum(tt),

package/dist/domains/math/calculus/integral-explorer/scene.mjs

@@ -3,12 +3,10 @@
 import { FigText } from "../../../../kit/figure/text.mjs";
 import { Figure, HUE, STROKE, alpha } from "../../../../kit/figure/figure.mjs";
 import { GripKey, GripSlider } from "../../../../kit/figure/grip.mjs";
-import { useNarrow } from "../../../../kit/figure/narrow.mjs";
-import { GraphPanel, sceneGraph } from "../../../../kit/scene/graph.mjs";
-import "../../../../kit/scene/index.mjs";
-import "../../../../kit/figure/index.mjs";
 import { useControl } from "../../../../runtime/use-control.mjs";
 import { useLabView } from "../../../../runtime/use-lab-view.mjs";
+import { useNarrow } from "../../../../kit/figure/narrow.mjs";
+import { GraphPanel, sceneGraph } from "../../../../kit/scene/graph.mjs";
 import { integralExplorerModel } from "./model.mjs";
 import { jsx, jsxs } from "react/jsx-runtime";
 
@@ -116,6 +114,7 @@ function IntegralExplorerScene() {
 		ref,
 		children: /* @__PURE__ */ jsxs(Figure, {
 			viewBox: [L.w, L.h],
+			composition: "content",
 			domain: "math",
 			interactive: true,
 			label,

package/dist/domains/math/calculus/integration-workbench/activity.mjs

@@ -5,21 +5,22 @@ import { FAMILY_LABEL, FAMILY_MISS, FAMILY_RULE, choicesFor, integrationWorkbenc
 /**
 * "Classify before you solve", over one or two integrands in turn (the rounds pattern,
 * docs/LAB-MODEL.md §5): name the technique, then step through the engine's own working to the
-* check. A second integrand (`transfer`) is a round of a DIFFERENT family, so the learner has to
-* re-classify rather than repeat the first answer; its prediction needs `lock: true` since it comes
-* after the first round's play.
+* check. A second integrand (`transfer`) repeats that cycle. Author-supplied u or a scope with
+* fewer than two eligible choices opens directly on working; it does not assess technique selection.
 */
 const CLASSIFY_HINT = "A technique is chosen from the shape of the integrand: what is multiplied, what is inside what, and whether a derivative is sitting next to its function.";
 const WORK_LEAD = "Step through the engine’s working and check the answer by differentiating it.";
 const UNSOLVED_LEAD = "See every technique the engine tried, and the area it still finds.";
 const integrationWorkbenchActivity = defineActivity(integrationWorkbenchModel, (s) => {
 	const n = s.cases.length;
-	const questions = s.cases.map((c, i) => {
+	const questions = s.cases.flatMap((c, i) => {
 		const alsoValid = c.kind === "solved" ? c.alsoValid : [];
-		return {
+		const choices = choicesFor(c.family, c.source, alsoValid).filter((fam) => !s.methods || s.methods.includes(fam));
+		if (s.substitution !== undefined || choices.length < 2) return [];
+		return [{
 			id: `technique-${i}`,
 			prompt: "Which technique does this integral call for first?",
-			choices: choicesFor(c.family, c.source, alsoValid).map((fam) => ({
+			choices: choices.map((fam) => ({
 				value: fam,
 				label: FAMILY_LABEL[fam],
 				...fam === c.family ? {} : { feedback: FAMILY_MISS[fam] }
@@ -27,9 +28,9 @@ const integrationWorkbenchActivity = defineActivity(integrationWorkbenchModel, (
 			answer: c.family,
 			explain: FAMILY_RULE[c.family],
 			hints: [CLASSIFY_HINT]
-		};
+		}];
 	});
-	const steps = s.cases.flatMap((c, i) => [{
+	const steps = s.cases.flatMap((c, i) => [...questions.some((q) => q.id === `technique-${i}`) ? [{
 		id: `technique-${i}`,
 		phase: "predict",
 		title: "Name the technique",
@@ -39,7 +40,7 @@ const integrationWorkbenchActivity = defineActivity(integrationWorkbenchModel, (
 			lock: true
 		},
 		success: `technique-${i}`
-	}, {
+	}] : [], {
 		id: `check-${i}`,
 		phase: i === n - 1 && n > 1 ? "transfer" : "act",
 		title: "Follow the working",
@@ -54,8 +55,8 @@ const integrationWorkbenchActivity = defineActivity(integrationWorkbenchModel, (
 	}]);
 	return {
 		pattern: "classification",
-		title: "Name the technique, then watch it work",
-		objectives: ["Classify each integrand, follow the exact working, and verify the antiderivative."],
+		title: questions.length ? "Name the technique, then watch it work" : "Follow and verify the authored technique",
+		objectives: [questions.length ? "Classify each integrand, follow the exact working, and verify the antiderivative." : "Follow the authored working and verify the antiderivative by differentiation."],
 		steps,
 		questions,
 		success: questions.map((q) => ({

package/dist/domains/math/calculus/integration-workbench/manifest.mjs

@@ -14,6 +14,21 @@ var manifest_default = defineLab({
 			name: "default",
 			props: {}
 		},
+		{
+			name: "By-parts working within an authored scope",
+			props: {
+				f: "x*exp(x)",
+				methods: ["by-parts"]
+			}
+		},
+		{
+			name: "Use exactly this substitution",
+			props: {
+				f: "x/(x+1)^3",
+				substitution: "3*x+3",
+				domain: [0, 3]
+			}
+		},
 		{
 			name: "Which part is u? (integration by parts, harder cases)",
 			props: {

package/dist/domains/math/calculus/integration-workbench/model.mjs

@@ -1,9 +1,9 @@
 import { defineLabModel } from "../../../../model/define.mjs";
-import { refuse as refuse$1 } from "../../../../model/index.mjs";
+import "../../../../model/index.mjs";
 import { calculusExpressionSchema, calculusRangeSchema } from "../../schemas.mjs";
-import { isRefusal } from "@classytic/stage/result";
+import { isRefusal, refuse } from "@classytic/stage/result";
 import { z } from "zod";
-import { chooseByPartsSplit, compileExpr, evaluate, freeVars, integralToLatex, polyTex, quadrature, rationalNode, solveIntegral, toLatex } from "@classytic/stage/math";
+import { chooseByPartsSplit, compileExpr, evaluate, freeVars, integralToLatex, isDecisiveVerifyFailure, polyTex, quadrature, rationalNode, solveIntegral, toLatex } from "@classytic/stage/math";
 
 //#region src/domains/math/calculus/integration-workbench/model.ts
 /**
@@ -34,7 +34,7 @@ const FAMILY_LABEL = {
 	"partial-fractions": "Partial fractions",
 	"trig-identity": "Trig identity",
 	"standard-form": "Standard form",
-	"no-formula": "No formula exists"
+	"no-formula": "Not resolved by this engine"
 };
 /** The one-sentence reason a family applies: shown once the learner has named it. */
 const FAMILY_RULE = {
@@ -45,7 +45,7 @@ const FAMILY_RULE = {
 	"partial-fractions": "A fraction of polynomials whose bottom factorises. Split it into simple fractions, then each one integrates to a logarithm.",
 	"trig-identity": "A power or product of trig functions. An identity rewrites it into pieces that integrate directly.",
 	"standard-form": "A constant over a quadratic that does not factorise. It matches a standard arctan or arcsin form.",
-	"no-formula": "Every technique fails. This integral has no formula built from elementary functions, although the area under the curve still exists."
+	"no-formula": "The supported techniques did not produce a verified antiderivative. This search does not prove that no elementary formula exists."
 };
 /** Coaching when the learner picks this family and it is wrong. It never names the right one. */
 const FAMILY_MISS = {
@@ -454,7 +454,7 @@ function rejectedOf(r) {
 	}));
 }
 /** Build the whole case for one integrand. Never throws. */
-function buildCase(source) {
+function buildCase(source, substitution) {
 	const compiled = compileExpr(source);
 	if (isRefusal(compiled)) return {
 		kind: "error",
@@ -471,7 +471,7 @@ function buildCase(source) {
 	const fTex = tex(ast);
 	let result;
 	try {
-		result = solveIntegral(ast, "x");
+		result = solveIntegral(ast, "x", { substitution });
 	} catch (e) {
 		return {
 			kind: "error",
@@ -480,6 +480,12 @@ function buildCase(source) {
 		};
 	}
 	if (result.method === "unsolved") {
+		if (substitution) return {
+			kind: "error",
+			source,
+			error: result.reason,
+			refusal: refuse("substitution-unavailable", result.reason, { prop: "substitution" })
+		};
 		const f = (v) => evaluate(ast, { x: v });
 		const value = Number.isFinite(f(0)) && Number.isFinite(f(1)) ? quadrature(f, 0, 1, 400) : Number.NaN;
 		return {
@@ -505,8 +511,8 @@ function buildCase(source) {
 		source,
 		ast,
 		fTex,
-		family,
-		alsoValid,
+		family: substitution ? "substitution" : family,
+		alsoValid: substitution ? [] : alsoValid,
 		engineMethod: result.method,
 		steps: result.trace.steps.map(convertStep),
 		F: result.antiderivative,
@@ -517,6 +523,15 @@ function buildCase(source) {
 		rejected: rejectedOf(result)
 	};
 }
+/** Presentation of Stage's existing verdict; unavailable/inconclusive is not a mismatch. */
+function verificationSummary(result) {
+	if (!result) return "verification is unavailable";
+	if (result.pass) return "the sampled derivative and area checks agree with the integrand";
+	if (isDecisiveVerifyFailure(result)) return result.reason === "derivative-mismatch" ? "the sampled derivative check found a mismatch" : "the sampled area check found a mismatch";
+	if (result.reason === "not-differentiable") return "verification is inconclusive: the engine could not differentiate the candidate";
+	if (result.reason === "insufficient-domain") return "verification is inconclusive: too few finite points or converged intervals";
+	return "verification is inconclusive";
+}
 /** The family a learner must name for this case: the answer key of the predict question. */
 function answerOf(c) {
 	return c.kind === "error" ? null : c.family;
@@ -610,12 +625,31 @@ const integrationWorkbenchModel = defineLabModel({
 	id: "integration-workbench",
 	params: z.object({
 		f: calculusExpressionSchema.default("x*exp(x)").describe("the integrand in x, e.g. 'x*exp(x)', 'x/(1+x^2)', 'sin(x)^5'"),
-		transfer: calculusExpressionSchema.optional().describe("a second integrand that needs a DIFFERENT technique, for the transfer round; omit for one integrand"),
+		transfer: calculusExpressionSchema.optional().describe("a second integrand for applying and checking the working; omit for one integrand"),
+		methods: z.array(z.enum([
+			"power-rule",
+			"substitution",
+			"f-prime-over-f",
+			"by-parts",
+			"partial-fractions",
+			"trig-identity",
+			"standard-form",
+			"no-formula"
+		])).min(1).max(8).refine((xs) => new Set(xs).size === xs.length, "Choose each technique once").optional().describe("Allowed technique families: refuse integrands whose verified working falls outside this scope"),
+		substitution: calculusExpressionSchema.optional().describe("Authored u in x, used exactly as supplied; refuses when this substitution cannot be verified"),
 		domain: calculusRangeSchema.optional().describe("x-window of the check plot"),
 		initialStep: z.number().int().min(0).optional().describe("preview/gallery use only — the 0-based step of the first integrand's working to open on; past the end shows the check"),
 		revealed: z.boolean().default(false).describe("preview/gallery use only — pre-answers the first prediction so the working shows immediately")
 	}),
 	resolve(p) {
+		let substitution;
+		if (p.substitution !== undefined) {
+			const compiled = compileExpr(p.substitution);
+			if (isRefusal(compiled)) return refuse(compiled.code, compiled.message, { prop: "substitution" });
+			if (compiled.vars.some((v) => v !== "x")) return refuse("bad-equation", "The authored substitution must use x as its only variable.", { prop: "substitution" });
+			substitution = compiled.ast;
+			if (p.methods && !p.methods.includes("substitution")) return refuse("method-outside-scope", "Include substitution in methods when an authored substitution is supplied.", { prop: "methods" });
+		}
 		const sources = p.transfer ? [{
 			source: p.f,
 			prop: "f"
@@ -628,8 +662,9 @@ const integrationWorkbenchModel = defineLabModel({
 		}];
 		const built = [];
 		for (const { source, prop } of sources) {
-			const c = buildCase(source);
-			if (c.kind === "error") return refuse$1("bad-equation", c.error, { prop });
+			const c = buildCase(source, substitution);
+			if (c.kind === "error") return c.refusal ?? refuse("bad-equation", c.error, { prop });
+			if (p.methods && !p.methods.includes(c.family)) return refuse("method-outside-scope", `The verified working uses ${FAMILY_LABEL[c.family]}, outside the authored technique scope.`, { prop });
 			built.push(c);
 		}
 		return {
@@ -696,8 +731,8 @@ const integrationWorkbenchModel = defineLabModel({
 		frame: s.cases.map((c) => frameCountOf(c) - 1),
 		stepped: s.cases.map(() => true)
 	}),
-	describe: (_s, st, r) => r.active.kind === "unsolved" ? `Integrand ${st.view + 1} of ${r.n}: no elementary formula; every technique failed.` : r.atEnd ? `Integrand ${st.view + 1} of ${r.n}: check reached, ${r.active.verified?.pass ? "the derivative matches" : "the derivative does not match"} the integrand.` : `Integrand ${st.view + 1} of ${r.n}: step ${r.frame + 1} of ${r.frameCount}, ${r.active.steps[r.frame]?.label ?? ""}.`
+	describe: (_s, st, r) => r.active.kind === "unsolved" ? `Integrand ${st.view + 1} of ${r.n}: the supported search did not resolve a verified antiderivative.` : r.atEnd ? `Integrand ${st.view + 1} of ${r.n}: check reached, ${verificationSummary(r.active.verified)}.` : `Integrand ${st.view + 1} of ${r.n}: step ${r.frame + 1} of ${r.frameCount}, ${r.active.steps[r.frame]?.label ?? ""}.`
 });
 
 //#endregion
-export { FAMILY_DISTRACTORS, FAMILY_LABEL, FAMILY_MISS, FAMILY_RULE, LIATE, STEP_LABEL, buildCase, choicesFor, integralTex, integrationWorkbenchModel, methodLabel, residualTex, robustWindow, sampleRuns };
+export { FAMILY_DISTRACTORS, FAMILY_LABEL, FAMILY_MISS, FAMILY_RULE, LIATE, STEP_LABEL, buildCase, choicesFor, integralTex, integrationWorkbenchModel, methodLabel, residualTex, robustWindow, sampleRuns, verificationSummary };

package/dist/domains/math/calculus/integration-workbench/runtime.mjs

@@ -4,7 +4,7 @@ import { LiveRegion } from "../../../../kit/frame.mjs";
 import { useLab } from "../../../../runtime/use-lab.mjs";
 import { AuthoredActivityRuntime } from "../../../../kit/authored-activity-runtime.mjs";
 import { useEarned } from "../../../../kit/shell/earned.mjs";
-import { integrationWorkbenchModel, methodLabel } from "./model.mjs";
+import { integrationWorkbenchModel, methodLabel, verificationSummary } from "./model.mjs";
 import { integrationWorkbenchActivity } from "./activity.mjs";
 import { IntegrationWorkbenchScene } from "./scene.mjs";
 import { jsx, jsxs } from "react/jsx-runtime";
@@ -21,7 +21,7 @@ function Narration({ said }) {
 	return /* @__PURE__ */ jsx(LiveRegion, { children: useEarned() ? said : "Name the technique to reveal the working." });
 }
 function IntegrationWorkbench(props) {
-	const modelProps = text(props.f) ?? text(props.transfer) ? props : {
+	const modelProps = text(props.f) ?? text(props.transfer) ?? text(props.substitution) ?? props.methods ? props : {
 		...props,
 		transfer: "x/(1+x^2)"
 	};
@@ -57,7 +57,7 @@ function IntegrationWorkbench(props) {
 				"."
 			]
 		}) }),
-		observation: ({ reading }) => /* @__PURE__ */ jsx(WhenNamed, { children: reading.active.kind === "unsolved" ? "Every technique failed. Numerical methods still find its value." : reading.atEnd ? "Differentiation undoes integration: the derivative of the answer lies exactly on the integrand." : null }),
+		observation: ({ reading }) => /* @__PURE__ */ jsx(WhenNamed, { children: reading.active.kind === "unsolved" ? "The engine did not resolve this integral. Numerical quadrature can still estimate a finite area." : reading.atEnd ? `Check reached: ${verificationSummary(reading.active.verified)}.` : null }),
 		transcript: () => /* @__PURE__ */ jsx(Narration, { said: lab.session?.describe() ?? "" }),
 		children: /* @__PURE__ */ jsx(IntegrationWorkbenchScene, {})
 	});

package/dist/domains/math/calculus/integration-workbench/scene.mjs

@@ -6,12 +6,12 @@ import { useControl } from "../../../../runtime/use-control.mjs";
 import { useLabView } from "../../../../runtime/use-lab-view.mjs";
 import { CoordPlane } from "../../../../kit/coords.mjs";
 import { useEarned } from "../../../../kit/shell/earned.mjs";
-import { FAMILY_LABEL, LIATE, STEP_LABEL, integralTex, integrationWorkbenchModel, methodLabel, residualTex, robustWindow, sampleRuns } from "./model.mjs";
+import { FAMILY_LABEL, LIATE, STEP_LABEL, integralTex, integrationWorkbenchModel, methodLabel, residualTex, robustWindow, sampleRuns, verificationSummary } from "./model.mjs";
 import { TraceDescription, TraceLine, TraceNav, TraceRail, TraceStepCard } from "../../../../kit/engine-trace.mjs";
 import { useMemo } from "react";
-import { Polygon, Polyline } from "@classytic/stage";
 import { Fragment as Fragment$1, jsx, jsxs } from "react/jsx-runtime";
 import { evaluate } from "@classytic/stage/math";
+import { Polygon, Polyline } from "@classytic/stage/primitives";
 
 //#region src/domains/math/calculus/integration-workbench/scene.tsx
 /**
@@ -110,23 +110,25 @@ function CheckCard({ c, total }) {
 		ariaLabel: `Step ${total} of ${total}: check`,
 		children: [
 			/* @__PURE__ */ jsx(TraceLine, { tex: `${integralTex(c.ast)} = ${c.FTex} + C` }),
-			/* @__PURE__ */ jsx(TraceDescription, { children: "Differentiate the answer. If the derivative gives back the integrand, the answer is right: on the plot the dashed curve of F'(x) lies on f(x)." }),
+			/* @__PURE__ */ jsx(TraceDescription, { children: "Compare F' with f where both are defined. Sampled agreement supports this check; it does not establish an identity over every point of the domain." }),
 			/* @__PURE__ */ jsxs("dl", {
 				className: "math-iw-evidence",
-				children: [readable(c.dFTex) && /* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsx("dt", { children: "F'(x)" }), /* @__PURE__ */ jsx("dd", { children: /* @__PURE__ */ jsx(Tex, { tex: c.dFTex }) })] }), d && /* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsx("dt", { children: "matches f(x)" }), /* @__PURE__ */ jsxs("dd", {
-					className: "math-iw-verdict",
-					"data-pass": v?.pass || undefined,
-					children: [
-						v?.pass ? "at" : "fails at",
-						" ",
+				children: [
+					readable(c.dFTex) && /* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsx("dt", { children: "F'(x)" }), /* @__PURE__ */ jsx("dd", { children: /* @__PURE__ */ jsx(Tex, { tex: c.dFTex }) })] }),
+					/* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsx("dt", { children: "verification" }), /* @__PURE__ */ jsxs("dd", {
+						className: "math-iw-verdict",
+						"data-pass": v?.pass || undefined,
+						children: [verificationSummary(v), "."]
+					})] }),
+					d && v && /* @__PURE__ */ jsxs(Fragment$1, { children: [/* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsx("dt", { children: "finite derivative samples" }), /* @__PURE__ */ jsxs("dd", { children: [
 						d.valid,
 						" of ",
-						v?.samples,
-						" points, largest gap",
-						" ",
-						/* @__PURE__ */ jsx(Tex, { tex: residualTex(v?.maxResidual ?? NaN) })
-					]
-				})] })]
+						v.samples,
+						" usable; ",
+						d.skipped,
+						" skipped"
+					] })] }), /* @__PURE__ */ jsxs("div", { children: [/* @__PURE__ */ jsx("dt", { children: "largest sampled relative gap" }), /* @__PURE__ */ jsx("dd", { children: (d.valid > 0 || v.checks.quadrature.valid > 0) && Number.isFinite(v.maxResidual) ? /* @__PURE__ */ jsx(Tex, { tex: residualTex(v.maxResidual) }) : "Unavailable" })] })] })
+				]
 			}),
 			/* @__PURE__ */ jsx(RejectedNote, { rejected: c.rejected })
 		]
@@ -137,7 +139,7 @@ function UnsolvedCard({ c }) {
 		index: 0,
 		total: 1,
 		head: "Engine verdict",
-		chip: "No formula",
+		chip: "Not resolved",
 		data: { unsolved: true },
 		children: [
 			/* @__PURE__ */ jsx("ol", {
@@ -153,9 +155,9 @@ function UnsolvedCard({ c }) {
 				] }, m))
 			}),
 			/* @__PURE__ */ jsxs(TraceDescription, { children: [
-				"Every technique the engine knows failed. Its reason: ",
+				"The supported search did not produce a verified antiderivative. Its reason: ",
 				c.reason,
-				". A failed search is not a proof on its own, but for integrands such as e^(x^2) and sin(x)/x it has been proved that no formula built from powers, logs, exponentials and trig functions exists."
+				". This is an engine limit, not a proof that an elementary formula does not exist."
 			] }),
 			c.area && /* @__PURE__ */ jsx("dl", {
 				className: "math-iw-evidence",

package/dist/domains/math/calculus/limit-explorer/scene.mjs

@@ -1,14 +1,15 @@
 'use client';
 
 import { STROKE } from "../../../../kit/figure/figure.mjs";
-import "../../../../kit/figure/index.mjs";
 import { useControl } from "../../../../runtime/use-control.mjs";
 import { useLabView } from "../../../../runtime/use-lab-view.mjs";
-import { MovableDot as MovableDot$1 } from "../../../../kit/movable-dot.mjs";
+import { MovableDot } from "../../../../kit/movable-dot.mjs";
 import { limitExplorerModel } from "./model.mjs";
+import { fmt, useCoords } from "@classytic/stage/core";
 import { Fragment } from "react";
-import { Axes, Grid, Plot, Point, Segment, Stage, fmt, useCoords } from "@classytic/stage";
 import { jsx, jsxs } from "react/jsx-runtime";
+import { Stage } from "@classytic/stage/view";
+import { Axes, Grid, Plot, Point, Segment } from "@classytic/stage/primitives";
 
 //#region src/domains/math/calculus/limit-explorer/scene.tsx
 /** Model-controlled diagram; the kit owns pointer and keyboard availability. */
@@ -87,7 +88,7 @@ function LimitExplorerScene() {
 					color: "var(--stage-good)"
 				})] }, hstep);
 			}),
-			/* @__PURE__ */ jsx(MovableDot$1, {
+			/* @__PURE__ */ jsx(MovableDot, {
 				control: c,
 				keyboardStep: .5,
 				toPoint: (value) => ({

package/dist/domains/math/calculus/newton-method/scene.mjs

@@ -1,14 +1,14 @@
 'use client';
 
 import { GripKey } from "../../../../kit/figure/grip.mjs";
-import "../../../../kit/figure/index.mjs";
 import { useControl } from "../../../../runtime/use-control.mjs";
 import { useLabView } from "../../../../runtime/use-lab-view.mjs";
-import { MovableDot as MovableDot$1 } from "../../../../kit/movable-dot.mjs";
+import { MovableDot } from "../../../../kit/movable-dot.mjs";
 import { newtonMethodModel } from "./model.mjs";
 import { Fragment } from "react";
-import { Axes, Grid, Plot, Point, Segment, Stage } from "@classytic/stage";
 import { jsx, jsxs } from "react/jsx-runtime";
+import { Stage } from "@classytic/stage/view";
+import { Axes, Grid, Plot, Point, Segment } from "@classytic/stage/primitives";
 
 //#region src/domains/math/calculus/newton-method/scene.tsx
 /** Model-controlled diagram; the kit owns pointer and keyboard availability. */
@@ -97,7 +97,7 @@ function NewtonMethodScene({ height = 340 }) {
 				r: 5,
 				color: "var(--stage-good)"
 			}),
-			/* @__PURE__ */ jsx(MovableDot$1, {
+			/* @__PURE__ */ jsx(MovableDot, {
 				control: startControl,
 				keyboardStep: .5,
 				toPoint: (value) => ({

package/dist/domains/math/calculus/phase-portrait/scene.mjs

@@ -1,13 +1,13 @@
 'use client';
 
-import { FigureValueControl } from "../../../../kit/figure/value-control.mjs";
-import "../../../../kit/figure/index.mjs";
 import { useControl } from "../../../../runtime/use-control.mjs";
 import { useLabView } from "../../../../runtime/use-lab-view.mjs";
-import { MovableDot as MovableDot$1 } from "../../../../kit/movable-dot.mjs";
+import { MovableDot } from "../../../../kit/movable-dot.mjs";
+import { FigureValueControl } from "../../../../kit/figure/value-control.mjs";
 import { phasePortraitModel } from "./model.mjs";
-import { Axes, Grid, Polyline, Stage, Vector } from "@classytic/stage";
 import { Fragment, jsx, jsxs } from "react/jsx-runtime";
+import { Stage } from "@classytic/stage/view";
+import { Axes, Grid, Polyline, Vector } from "@classytic/stage/primitives";
 
 //#region src/domains/math/calculus/phase-portrait/scene.tsx
 /** The solver's two settings, which no object carries: small values in the plane's top corner. */
@@ -70,7 +70,7 @@ function PhasePortraitScene({ height = 420 }) {
 				color: "var(--stage-good)",
 				weight: 3
 			}),
-			/* @__PURE__ */ jsx(MovableDot$1, {
+			/* @__PURE__ */ jsx(MovableDot, {
 				control: point,
 				color: "var(--stage-accent)",
 				ariaLabel: "initial state in phase space"