@mathscan/geometry-engine 0.1.0

package/dist/validation/getGeometryExerciseWarnings.d.ts

@@ -0,0 +1,17 @@
+import { GeometryExercise } from '../schemas/exercise.schema.js';
+export interface GeometryExerciseWarning {
+    path: Array<string | number>;
+    message: string;
+}
+/**
+ * What is wrong with an exercise without being invalid. Today that is one rule:
+ * a given placed where the viewport cannot show it.
+ *
+ * Only a **free** point is checked. A derived point has no stored coordinates —
+ * it is wherever the graph puts it, which depends on the entities it is built
+ * on — so warning about it would mean resolving the whole exercise, and where
+ * an authoring warning belongs for a construction that lands off-screen is an
+ * M3 question about the authoring UI rather than about the document.
+ */
+export declare function getGeometryExerciseWarnings(exercise: GeometryExercise): GeometryExerciseWarning[];
+//# sourceMappingURL=getGeometryExerciseWarnings.d.ts.map

package/dist/validation/getGeometryExerciseWarnings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"getGeometryExerciseWarnings.d.ts","sourceRoot":"","sources":["../../src/validation/getGeometryExerciseWarnings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAElE,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IAC5B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED;;;;;;;;;GASG;AACH,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,gBAAgB,GAAG,uBAAuB,EAAE,CAUjG"}

package/dist/validation/goals/create.d.cts

@@ -0,0 +1,3 @@
+import { CreateGoal } from '../../schemas/goals/createGoal.schema.cjs';
+import { GoalKindHandler } from './goalKindHandler.cjs';
+export declare const createGoalHandler: GoalKindHandler<CreateGoal>;

package/dist/validation/goals/create.d.ts

@@ -0,0 +1,4 @@
+import { CreateGoal } from '../../schemas/goals/createGoal.schema.js';
+import { GoalKindHandler } from './goalKindHandler.js';
+export declare const createGoalHandler: GoalKindHandler<CreateGoal>;
+//# sourceMappingURL=create.d.ts.map

package/dist/validation/goals/create.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/create.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uCAAuC,CAAA;AAEvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAOxD,eAAO,MAAM,iBAAiB,EAAE,eAAe,CAAC,UAAU,CAgBzD,CAAA"}

package/dist/validation/goals/goalContext.d.cts

@@ -0,0 +1,44 @@
+import { GoalCandidate } from '../../geometry/goalCandidate.cjs';
+import { ObjectTypeName } from '../../schemas/objectTypeName.schema.cjs';
+import { Point, PointId } from '../../geometry/point.cjs';
+import { ValidationContext } from '../types.cjs';
+export declare function requirePoint(points: ReadonlyMap<string, Point>, id: string): Point;
+export declare function requirePoints(points: ReadonlyMap<string, Point>, ids: [PointId, PointId]): [Point, Point];
+/**
+ * The two live points a goal's reference object runs between.
+ *
+ * Every kind that names a reference wanted exactly this — the endpoint pair,
+ * resolved — so the lookup, the type test and the resolution are one call
+ * rather than three lines repeated in four handlers. It reads the exercise's
+ * entity record directly since M2.6.c.1: a given object is an
+ * `EntityDefinition` like any other and its endpoints are its parents, which
+ * is the reference API generalization M2.3.c made and the reason no handler
+ * has to know what a segment is made of.
+ *
+ * Throws, as the point lookups here do: a goal naming a reference the exercise
+ * does not declare — or one with no direction, a point or a circle — is refused
+ * by the schema, so reaching this is a bug rather than bad data.
+ */
+export declare function requireReferenceEndpoints(ctx: ValidationContext, referenceObjectId: string): [Point, Point];
+export declare function isConstructionOfType(candidate: GoalCandidate, objectType: ObjectTypeName): boolean;
+/**
+ * The same, for the three kinds that measure a *direction* rather than a shape:
+ * the requested type must be one that has one.
+ *
+ * The exercise schema already refuses `objectType: 'circle'` on these kinds
+ * (M2.G.3). This repeats the test because grading takes its exercise from any
+ * caller — a host that migrated a stored document without parsing it, or a
+ * store in memory — and a circle read through `candidateEndpoints()` is graded
+ * as the segment from its centre to its through-point.
+ */
+export declare function isDirectedConstructionOfType(candidate: GoalCandidate, objectType: ObjectTypeName): boolean;
+/**
+ * The two points a candidate construction runs between — `endpointsOf()` over a
+ * v1 `GeometryObject`, asked of a definition instead (M2.6.c.2).
+ *
+ * A pair, because that is what the measurement seam takes: a length, an angle
+ * or a midpoint has nowhere to put a third parent, so a kind that names one or
+ * three is refused rather than silently truncated. A caller that merely asks
+ * *which* points a candidate names calls `parentsOfDefinition()`.
+ */
+export declare function candidateEndpoints(candidate: GoalCandidate): [PointId, PointId];

package/dist/validation/goals/goalContext.d.ts

@@ -0,0 +1,45 @@
+import { GoalCandidate } from '../../geometry/goalCandidate.js';
+import { ObjectTypeName } from '../../schemas/objectTypeName.schema.js';
+import { Point, PointId } from '../../geometry/point.js';
+import { ValidationContext } from '../types.js';
+export declare function requirePoint(points: ReadonlyMap<string, Point>, id: string): Point;
+export declare function requirePoints(points: ReadonlyMap<string, Point>, ids: [PointId, PointId]): [Point, Point];
+/**
+ * The two live points a goal's reference object runs between.
+ *
+ * Every kind that names a reference wanted exactly this — the endpoint pair,
+ * resolved — so the lookup, the type test and the resolution are one call
+ * rather than three lines repeated in four handlers. It reads the exercise's
+ * entity record directly since M2.6.c.1: a given object is an
+ * `EntityDefinition` like any other and its endpoints are its parents, which
+ * is the reference API generalization M2.3.c made and the reason no handler
+ * has to know what a segment is made of.
+ *
+ * Throws, as the point lookups here do: a goal naming a reference the exercise
+ * does not declare — or one with no direction, a point or a circle — is refused
+ * by the schema, so reaching this is a bug rather than bad data.
+ */
+export declare function requireReferenceEndpoints(ctx: ValidationContext, referenceObjectId: string): [Point, Point];
+export declare function isConstructionOfType(candidate: GoalCandidate, objectType: ObjectTypeName): boolean;
+/**
+ * The same, for the three kinds that measure a *direction* rather than a shape:
+ * the requested type must be one that has one.
+ *
+ * The exercise schema already refuses `objectType: 'circle'` on these kinds
+ * (M2.G.3). This repeats the test because grading takes its exercise from any
+ * caller — a host that migrated a stored document without parsing it, or a
+ * store in memory — and a circle read through `candidateEndpoints()` is graded
+ * as the segment from its centre to its through-point.
+ */
+export declare function isDirectedConstructionOfType(candidate: GoalCandidate, objectType: ObjectTypeName): boolean;
+/**
+ * The two points a candidate construction runs between — `endpointsOf()` over a
+ * v1 `GeometryObject`, asked of a definition instead (M2.6.c.2).
+ *
+ * A pair, because that is what the measurement seam takes: a length, an angle
+ * or a midpoint has nowhere to put a third parent, so a kind that names one or
+ * three is refused rather than silently truncated. A caller that merely asks
+ * *which* points a candidate names calls `parentsOfDefinition()`.
+ */
+export declare function candidateEndpoints(candidate: GoalCandidate): [PointId, PointId];
+//# sourceMappingURL=goalContext.d.ts.map

package/dist/validation/goals/goalContext.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goalContext.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/goalContext.ts"],"names":[],"mappings":"AAKA,OAAO,EAAoB,KAAK,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAEnF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAA;AACzE,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAA;AAEjD,wBAAgB,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,KAAK,CAIlF;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EAClC,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,GACtB,CAAC,KAAK,EAAE,KAAK,CAAC,CAEhB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,iBAAiB,EACtB,iBAAiB,EAAE,MAAM,GACxB,CAAC,KAAK,EAAE,KAAK,CAAC,CAUhB;AAID,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,cAAc,GACzB,OAAO,CAET;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,cAAc,GACzB,OAAO,CAET;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,aAAa,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAS/E"}

package/dist/validation/goals/goalKindHandler.d.cts

@@ -0,0 +1,26 @@
+import { GeometryGoal } from '../../schemas/goals/geometryGoal.schema.cjs';
+import { GoalKindDeclaration } from '../../schemas/goals/goalKindDeclaration.cjs';
+import { GoalCandidate } from '../../geometry/goalCandidate.cjs';
+import { RevealContext, RevealedAnswerShape, ValidationContext } from '../types.cjs';
+/**
+ * Everything a goal kind can answer: its declaration (kind, schema, referenced
+ * givens, authoring rules — see `schemas/goals/goalKindDeclaration.ts`) plus
+ * how it judges a student's work.
+ *
+ * `accepts()` is the precondition of the three members below it: a candidate a
+ * kind cannot be satisfied by is never measured, so `satisfies()` and
+ * `isRelevantAttempt()` are written for candidates of the shape the kind
+ * expects and must be reached through the registry's dispatchers
+ * (`goalSatisfiedBy()`, `isRelevantGoalAttempt()`), which apply it.
+ */
+export interface GoalKindHandler<TGoal extends GeometryGoal = GeometryGoal, TCandidate extends GoalCandidate = GoalCandidate> extends GoalKindDeclaration<TGoal> {
+    accepts(candidate: GoalCandidate, goal: TGoal): candidate is TCandidate;
+    satisfies(candidate: TCandidate, goal: TGoal, ctx: ValidationContext): boolean;
+    isRelevantAttempt(candidate: TCandidate, goal: TGoal, ctx: ValidationContext): boolean;
+    buildRevealedAnswer(goal: TGoal, ctx: RevealContext): RevealedAnswerShape | null;
+}
+export type GoalKindRegistry = {
+    [K in GeometryGoal['type']]: GoalKindHandler<Extract<GeometryGoal, {
+        type: K;
+    }>>;
+};

package/dist/validation/goals/goalKindHandler.d.ts

@@ -0,0 +1,27 @@
+import { GeometryGoal } from '../../schemas/goals/geometryGoal.schema.js';
+import { GoalKindDeclaration } from '../../schemas/goals/goalKindDeclaration.js';
+import { GoalCandidate } from '../../geometry/goalCandidate.js';
+import { RevealContext, RevealedAnswerShape, ValidationContext } from '../types.js';
+/**
+ * Everything a goal kind can answer: its declaration (kind, schema, referenced
+ * givens, authoring rules — see `schemas/goals/goalKindDeclaration.ts`) plus
+ * how it judges a student's work.
+ *
+ * `accepts()` is the precondition of the three members below it: a candidate a
+ * kind cannot be satisfied by is never measured, so `satisfies()` and
+ * `isRelevantAttempt()` are written for candidates of the shape the kind
+ * expects and must be reached through the registry's dispatchers
+ * (`goalSatisfiedBy()`, `isRelevantGoalAttempt()`), which apply it.
+ */
+export interface GoalKindHandler<TGoal extends GeometryGoal = GeometryGoal, TCandidate extends GoalCandidate = GoalCandidate> extends GoalKindDeclaration<TGoal> {
+    accepts(candidate: GoalCandidate, goal: TGoal): candidate is TCandidate;
+    satisfies(candidate: TCandidate, goal: TGoal, ctx: ValidationContext): boolean;
+    isRelevantAttempt(candidate: TCandidate, goal: TGoal, ctx: ValidationContext): boolean;
+    buildRevealedAnswer(goal: TGoal, ctx: RevealContext): RevealedAnswerShape | null;
+}
+export type GoalKindRegistry = {
+    [K in GeometryGoal['type']]: GoalKindHandler<Extract<GeometryGoal, {
+        type: K;
+    }>>;
+};
+//# sourceMappingURL=goalKindHandler.d.ts.map

package/dist/validation/goals/goalKindHandler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goalKindHandler.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/goalKindHandler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAA;AAC3E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAA;AAClF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAA;AAErF;;;;;;;;;;GAUG;AACH,MAAM,WAAW,eAAe,CAC9B,KAAK,SAAS,YAAY,GAAG,YAAY,EACzC,UAAU,SAAS,aAAa,GAAG,aAAa,CAChD,SAAQ,mBAAmB,CAAC,KAAK,CAAC;IAClC,OAAO,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,GAAG,SAAS,IAAI,UAAU,CAAA;IACvE,SAAS,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,GAAG,OAAO,CAAA;IAC9E,iBAAiB,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,GAAG,OAAO,CAAA;IACtF,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,GAAG,mBAAmB,GAAG,IAAI,CAAA;CACjF;AAED,MAAM,MAAM,gBAAgB,GAAG;KAC5B,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,YAAY,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;CACjF,CAAA"}

package/dist/validation/goals/index.d.cts

@@ -0,0 +1,14 @@
+import { GoalKindHandler, GoalKindRegistry } from './goalKindHandler.cjs';
+import { GeometryGoal } from '../../schemas/goals/geometryGoal.schema.cjs';
+import { GoalCandidate } from '../../geometry/goalCandidate.cjs';
+import { RevealContext, RevealedAnswerShape, ValidationContext } from '../types.cjs';
+export type { GoalKindHandler, GoalKindRegistry } from './goalKindHandler.cjs';
+export declare const goalKindRegistry: GoalKindRegistry;
+export declare function getGoalKindHandler(kind: string): GoalKindHandler;
+/** Every given the goal names — what removing one of them would orphan. */
+export declare function referencedGivenIds(goal: GeometryGoal): readonly string[];
+/** Whether this candidate could satisfy this goal at all, before measuring. */
+export declare function goalAcceptsCandidate(candidate: GoalCandidate, goal: GeometryGoal): boolean;
+export declare function goalSatisfiedBy(candidate: GoalCandidate, goal: GeometryGoal, ctx: ValidationContext): boolean;
+export declare function isRelevantGoalAttempt(candidate: GoalCandidate, goal: GeometryGoal, ctx: ValidationContext): boolean;
+export declare function revealedAnswerFor(goal: GeometryGoal, ctx: RevealContext): RevealedAnswerShape | null;

package/dist/validation/goals/index.d.ts

@@ -0,0 +1,15 @@
+import { GoalKindHandler, GoalKindRegistry } from './goalKindHandler.js';
+import { GeometryGoal } from '../../schemas/goals/geometryGoal.schema.js';
+import { GoalCandidate } from '../../geometry/goalCandidate.js';
+import { RevealContext, RevealedAnswerShape, ValidationContext } from '../types.js';
+export type { GoalKindHandler, GoalKindRegistry } from './goalKindHandler.js';
+export declare const goalKindRegistry: GoalKindRegistry;
+export declare function getGoalKindHandler(kind: string): GoalKindHandler;
+/** Every given the goal names — what removing one of them would orphan. */
+export declare function referencedGivenIds(goal: GeometryGoal): readonly string[];
+/** Whether this candidate could satisfy this goal at all, before measuring. */
+export declare function goalAcceptsCandidate(candidate: GoalCandidate, goal: GeometryGoal): boolean;
+export declare function goalSatisfiedBy(candidate: GoalCandidate, goal: GeometryGoal, ctx: ValidationContext): boolean;
+export declare function isRelevantGoalAttempt(candidate: GoalCandidate, goal: GeometryGoal, ctx: ValidationContext): boolean;
+export declare function revealedAnswerFor(goal: GeometryGoal, ctx: RevealContext): RevealedAnswerShape | null;
+//# sourceMappingURL=index.d.ts.map

package/dist/validation/goals/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/index.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAC1E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAA;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAA;AAErF,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAE1E,eAAO,MAAM,gBAAgB,EAAE,gBAO7B,CAAA;AAOF,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAIhE;AAED,2EAA2E;AAC3E,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,CAExE;AAED,+EAA+E;AAC/E,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,GAAG,OAAO,CAE1F;AAED,wBAAgB,eAAe,CAC7B,SAAS,EAAE,aAAa,EACxB,IAAI,EAAE,YAAY,EAClB,GAAG,EAAE,iBAAiB,GACrB,OAAO,CAGT;AAED,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,aAAa,EACxB,IAAI,EAAE,YAAY,EAClB,GAAG,EAAE,iBAAiB,GACrB,OAAO,CAGT;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,YAAY,EAClB,GAAG,EAAE,aAAa,GACjB,mBAAmB,GAAG,IAAI,CAE5B"}

package/dist/validation/goals/midpoint.d.cts

@@ -0,0 +1,4 @@
+import { CandidatePoint } from '../../geometry/goalCandidate.cjs';
+import { MidpointGoal } from '../../schemas/goals/midpointGoal.schema.cjs';
+import { GoalKindHandler } from './goalKindHandler.cjs';
+export declare const midpointGoalHandler: GoalKindHandler<MidpointGoal, CandidatePoint>;

package/dist/validation/goals/midpoint.d.ts

@@ -0,0 +1,5 @@
+import { CandidatePoint } from '../../geometry/goalCandidate.js';
+import { MidpointGoal } from '../../schemas/goals/midpointGoal.schema.js';
+import { GoalKindHandler } from './goalKindHandler.js';
+export declare const midpointGoalHandler: GoalKindHandler<MidpointGoal, CandidatePoint>;
+//# sourceMappingURL=midpoint.d.ts.map

package/dist/validation/goals/midpoint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"midpoint.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/midpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,cAAc,EAEpB,MAAM,8BAA8B,CAAA;AAGrC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAA;AAI3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAUxD,eAAO,MAAM,mBAAmB,EAAE,eAAe,CAAC,YAAY,EAAE,cAAc,CAqB7E,CAAA"}

package/dist/validation/goals/parallel.d.cts

@@ -0,0 +1,3 @@
+import { ParallelGoal } from '../../schemas/goals/parallelGoal.schema.cjs';
+import { GoalKindHandler } from './goalKindHandler.cjs';
+export declare const parallelGoalHandler: GoalKindHandler<ParallelGoal>;

package/dist/validation/goals/parallel.d.ts

@@ -0,0 +1,4 @@
+import { ParallelGoal } from '../../schemas/goals/parallelGoal.schema.js';
+import { GoalKindHandler } from './goalKindHandler.js';
+export declare const parallelGoalHandler: GoalKindHandler<ParallelGoal>;
+//# sourceMappingURL=parallel.d.ts.map

package/dist/validation/goals/parallel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parallel.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/parallel.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAA;AAY3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAQxD,eAAO,MAAM,mBAAmB,EAAE,eAAe,CAAC,YAAY,CA6C7D,CAAA"}

package/dist/validation/goals/perpendicular.d.cts

@@ -0,0 +1,3 @@
+import { PerpendicularGoal } from '../../schemas/goals/perpendicularGoal.schema.cjs';
+import { GoalKindHandler } from './goalKindHandler.cjs';
+export declare const perpendicularGoalHandler: GoalKindHandler<PerpendicularGoal>;

package/dist/validation/goals/perpendicular.d.ts

@@ -0,0 +1,4 @@
+import { PerpendicularGoal } from '../../schemas/goals/perpendicularGoal.schema.js';
+import { GoalKindHandler } from './goalKindHandler.js';
+export declare const perpendicularGoalHandler: GoalKindHandler<PerpendicularGoal>;
+//# sourceMappingURL=perpendicular.d.ts.map

package/dist/validation/goals/perpendicular.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"perpendicular.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/perpendicular.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8CAA8C,CAAA;AAYrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAQxD,eAAO,MAAM,wBAAwB,EAAE,eAAe,CAAC,iBAAiB,CA0CvE,CAAA"}

package/dist/validation/goals/previewGeometry.d.cts

@@ -0,0 +1,9 @@
+import { ObjectTypeName } from '../../schemas/objectTypeName.schema.cjs';
+import { MathViewport } from '../../schemas/viewport.schema.cjs';
+import { Point } from '../../geometry/point.cjs';
+import { RevealedAnswerShape } from '../types.cjs';
+export declare function pointAtAngleAndLength(origin: Point, angleRadians: number, length: number): Point;
+export declare function viewportVisibilityScore(point: Point, viewport: MathViewport): number;
+export declare function mostVisibleInViewport(candidates: Point[], viewport: MathViewport): Point;
+export declare function previewLength(viewport: MathViewport, referenceLength: number): number;
+export declare function revealedShapeThrough(objectType: ObjectTypeName, from: Point, to: Point): RevealedAnswerShape;

package/dist/validation/goals/previewGeometry.d.ts

@@ -0,0 +1,10 @@
+import { ObjectTypeName } from '../../schemas/objectTypeName.schema.js';
+import { MathViewport } from '../../schemas/viewport.schema.js';
+import { Point } from '../../geometry/point.js';
+import { RevealedAnswerShape } from '../types.js';
+export declare function pointAtAngleAndLength(origin: Point, angleRadians: number, length: number): Point;
+export declare function viewportVisibilityScore(point: Point, viewport: MathViewport): number;
+export declare function mostVisibleInViewport(candidates: Point[], viewport: MathViewport): Point;
+export declare function previewLength(viewport: MathViewport, referenceLength: number): number;
+export declare function revealedShapeThrough(objectType: ObjectTypeName, from: Point, to: Point): RevealedAnswerShape;
+//# sourceMappingURL=previewGeometry.d.ts.map

package/dist/validation/goals/previewGeometry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"previewGeometry.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/previewGeometry.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAA;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AACjD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAA;AAEnD,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAKhG;AAKD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,GAAG,MAAM,CAQpF;AAID,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,YAAY,GAAG,KAAK,CAYxF;AAGD,wBAAgB,aAAa,CAAC,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,GAAG,MAAM,CAIrF;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,cAAc,EAC1B,IAAI,EAAE,KAAK,EACX,EAAE,EAAE,KAAK,GACR,mBAAmB,CAIrB"}

package/dist/validation/goals/segmentLength.d.cts

@@ -0,0 +1,3 @@
+import { SegmentLengthGoal } from '../../schemas/goals/segmentLengthGoal.schema.cjs';
+import { GoalKindHandler } from './goalKindHandler.cjs';
+export declare const segmentLengthGoalHandler: GoalKindHandler<SegmentLengthGoal>;

package/dist/validation/goals/segmentLength.d.ts

@@ -0,0 +1,4 @@
+import { SegmentLengthGoal } from '../../schemas/goals/segmentLengthGoal.schema.js';
+import { GoalKindHandler } from './goalKindHandler.js';
+export declare const segmentLengthGoalHandler: GoalKindHandler<SegmentLengthGoal>;
+//# sourceMappingURL=segmentLength.d.ts.map

package/dist/validation/goals/segmentLength.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"segmentLength.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/segmentLength.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8CAA8C,CAAA;AAKrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAIxD,eAAO,MAAM,wBAAwB,EAAE,eAAe,CAAC,iBAAiB,CAoCvE,CAAA"}

package/dist/validation/goals/throughPoints.d.cts

@@ -0,0 +1,5 @@
+import { Point } from '../../geometry/point.cjs';
+import { ThroughPointsGoal } from '../../schemas/goals/throughPointsGoal.schema.cjs';
+import { GoalKindHandler } from './goalKindHandler.cjs';
+export declare function satisfiesThroughPoints(candidatePoints: Point[], goalPoints: Point[]): boolean;
+export declare const throughPointsGoalHandler: GoalKindHandler<ThroughPointsGoal>;

package/dist/validation/goals/throughPoints.d.ts

@@ -0,0 +1,6 @@
+import { Point } from '../../geometry/point.js';
+import { ThroughPointsGoal } from '../../schemas/goals/throughPointsGoal.schema.js';
+import { GoalKindHandler } from './goalKindHandler.js';
+export declare function satisfiesThroughPoints(candidatePoints: Point[], goalPoints: Point[]): boolean;
+export declare const throughPointsGoalHandler: GoalKindHandler<ThroughPointsGoal>;
+//# sourceMappingURL=throughPoints.d.ts.map

package/dist/validation/goals/throughPoints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"throughPoints.d.ts","sourceRoot":"","sources":["../../../src/validation/goals/throughPoints.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AACjD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8CAA8C,CAAA;AAKrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAWxD,wBAAgB,sBAAsB,CAAC,eAAe,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,OAAO,CAW7F;AAED,eAAO,MAAM,wBAAwB,EAAE,eAAe,CAAC,iBAAiB,CA6BvE,CAAA"}

package/dist/validation/gradingFingerprints.d.cts

@@ -0,0 +1,4 @@
+import { GeometryExercise } from '../schemas/exercise.schema.cjs';
+import { GeometryState } from '../schemas/geometryState.schema.cjs';
+export declare function fingerprintGeometryExercise(exercise: GeometryExercise): string;
+export declare function fingerprintGeometryAttempt(attempt: GeometryState): string;

package/dist/validation/gradingFingerprints.d.ts

@@ -0,0 +1,5 @@
+import { GeometryExercise } from '../schemas/exercise.schema.js';
+import { GeometryState } from '../schemas/geometryState.schema.js';
+export declare function fingerprintGeometryExercise(exercise: GeometryExercise): string;
+export declare function fingerprintGeometryAttempt(attempt: GeometryState): string;
+//# sourceMappingURL=gradingFingerprints.d.ts.map

package/dist/validation/gradingFingerprints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gradingFingerprints.d.ts","sourceRoot":"","sources":["../../src/validation/gradingFingerprints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAoDpE,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,gBAAgB,GAAG,MAAM,CAE9E;AAID,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAEzE"}

package/dist/validation/revealGeometryAnswers.d.cts

@@ -0,0 +1,3 @@
+import { GeometryExercise } from '../schemas/exercise.schema.cjs';
+import { RevealedAnswer } from './types.cjs';
+export declare function revealGeometryAnswers(exercise: GeometryExercise): RevealedAnswer[];

package/dist/validation/revealGeometryAnswers.d.ts

@@ -0,0 +1,4 @@
+import { GeometryExercise } from '../schemas/exercise.schema.js';
+import { RevealedAnswer } from './types.js';
+export declare function revealGeometryAnswers(exercise: GeometryExercise): RevealedAnswer[];
+//# sourceMappingURL=revealGeometryAnswers.d.ts.map

package/dist/validation/revealGeometryAnswers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revealGeometryAnswers.d.ts","sourceRoot":"","sources":["../../src/validation/revealGeometryAnswers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAGlE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAA;AAE7C,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,cAAc,EAAE,CASlF"}

package/dist/validation/revealGeometryAttempt.d.cts

@@ -0,0 +1,36 @@
+import { GeometryState } from '../schemas/geometryState.schema.cjs';
+/**
+ * Why no canonical attempt came back, as a code rather than a sentence (RFC
+ * 0005 § Decision 4). The three are kept apart because a host acts on them
+ * differently: a broken exercise is the whole widget's problem, a missing or
+ * malformed solution is an authoring gap, and an incorrect one means the
+ * authored answer and the goals disagree.
+ */
+export type RevealGeometryAttemptErrorCode = 'invalid-exercise' | 'invalid-canonical-attempt' | 'canonical-attempt-incorrect';
+export interface RevealGeometryAttemptIssue {
+    code: RevealGeometryAttemptErrorCode;
+    path: Array<string | number>;
+    message: string;
+}
+export type RevealGeometryAttemptResult = {
+    success: true;
+    data: GeometryState;
+    errors: [];
+} | {
+    success: false;
+    data: null;
+    errors: RevealGeometryAttemptIssue[];
+};
+/**
+ * The authored canonical attempt an exercise embeds, for a host's Reveal
+ * (ADR 0015). Synchronous and DOM-free, and safe on untrusted input: the
+ * exercise is migrated and parsed, then its `solution` is migrated, parsed and
+ * normalized as an attempt against that exercise, then graded under the
+ * exercise's own policy. Only a solution that grades correct is returned.
+ *
+ * Nothing is synthesized from goals and nothing is merged with student work:
+ * the host replaces its attempt value with `data`. Paths of a malformed
+ * solution are rooted at `solution`, so they point into the exercise document
+ * the host holds.
+ */
+export declare function revealGeometryAttempt(exerciseInput: unknown): RevealGeometryAttemptResult;

package/dist/validation/revealGeometryAttempt.d.ts

@@ -0,0 +1,37 @@
+import { GeometryState } from '../schemas/geometryState.schema.js';
+/**
+ * Why no canonical attempt came back, as a code rather than a sentence (RFC
+ * 0005 § Decision 4). The three are kept apart because a host acts on them
+ * differently: a broken exercise is the whole widget's problem, a missing or
+ * malformed solution is an authoring gap, and an incorrect one means the
+ * authored answer and the goals disagree.
+ */
+export type RevealGeometryAttemptErrorCode = 'invalid-exercise' | 'invalid-canonical-attempt' | 'canonical-attempt-incorrect';
+export interface RevealGeometryAttemptIssue {
+    code: RevealGeometryAttemptErrorCode;
+    path: Array<string | number>;
+    message: string;
+}
+export type RevealGeometryAttemptResult = {
+    success: true;
+    data: GeometryState;
+    errors: [];
+} | {
+    success: false;
+    data: null;
+    errors: RevealGeometryAttemptIssue[];
+};
+/**
+ * The authored canonical attempt an exercise embeds, for a host's Reveal
+ * (ADR 0015). Synchronous and DOM-free, and safe on untrusted input: the
+ * exercise is migrated and parsed, then its `solution` is migrated, parsed and
+ * normalized as an attempt against that exercise, then graded under the
+ * exercise's own policy. Only a solution that grades correct is returned.
+ *
+ * Nothing is synthesized from goals and nothing is merged with student work:
+ * the host replaces its attempt value with `data`. Paths of a malformed
+ * solution are rooted at `solution`, so they point into the exercise document
+ * the host holds.
+ */
+export declare function revealGeometryAttempt(exerciseInput: unknown): RevealGeometryAttemptResult;
+//# sourceMappingURL=revealGeometryAttempt.d.ts.map

package/dist/validation/revealGeometryAttempt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revealGeometryAttempt.d.ts","sourceRoot":"","sources":["../../src/validation/revealGeometryAttempt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAIpE;;;;;;GAMG;AACH,MAAM,MAAM,8BAA8B,GACxC,kBAAkB,GAAG,2BAA2B,GAAG,6BAA6B,CAAA;AAElF,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,8BAA8B,CAAA;IACpC,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IAC5B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,MAAM,2BAA2B,GACnC;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,EAAE,CAAA;CAAE,GAClD;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,0BAA0B,EAAE,CAAA;CAAE,CAAA;AAMxE;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CAAC,aAAa,EAAE,OAAO,GAAG,2BAA2B,CAkCzF"}

package/dist/validation/types.d.cts

@@ -0,0 +1,58 @@
+import { GeometryExercise } from '../schemas/exercise.schema.cjs';
+import { EntityId } from '../geometry/entityModel.cjs';
+import { Point, PointId } from '../geometry/point.cjs';
+export type GoalStatus = 'correct' | 'incorrect';
+export interface GoalResult {
+    id: string;
+    status: GoalStatus;
+}
+export interface ValidationResult {
+    status: GoalStatus;
+    goals: GoalResult[];
+}
+export interface GoalGeometryFeedback extends GoalResult {
+    constructionIds: string[];
+    pointIds: PointId[];
+}
+export interface GeometryValidationFeedback {
+    result: ValidationResult;
+    goals: GoalGeometryFeedback[];
+}
+export type DetailedGoalCode = 'goal-satisfied' | 'no-candidate' | 'unresolved-candidate' | 'goal-not-satisfied';
+export interface DetailedGoalResult extends GoalResult {
+    code: DetailedGoalCode;
+    matchedEntityIds: EntityId[];
+    relevantEntityIds: EntityId[];
+    unresolvedEntityIds: EntityId[];
+}
+export type GeometryDiagnosticCode = 'no-goals' | 'unresolved-entity' | 'extra-objects';
+export interface GeometryDiagnostic {
+    code: GeometryDiagnosticCode;
+    entityIds: EntityId[];
+}
+export interface DetailedGeometryFeedback {
+    feedback: GeometryValidationFeedback;
+    goals: DetailedGoalResult[];
+    diagnostics: GeometryDiagnostic[];
+    extraEntityIds: EntityId[];
+}
+export interface ValidationContext {
+    exercise: GeometryExercise;
+    points: ReadonlyMap<PointId, Point>;
+}
+export type RevealContext = ValidationContext;
+export type RevealedAnswerShape = {
+    type: 'segment';
+    from: Point;
+    to: Point;
+} | {
+    type: 'line';
+    through: [Point, Point];
+} | {
+    type: 'point';
+    at: Point;
+};
+export interface RevealedAnswer {
+    id: string;
+    shape: RevealedAnswerShape | null;
+}

package/dist/validation/types.d.ts

@@ -0,0 +1,59 @@
+import { GeometryExercise } from '../schemas/exercise.schema.js';
+import { EntityId } from '../geometry/entityModel.js';
+import { Point, PointId } from '../geometry/point.js';
+export type GoalStatus = 'correct' | 'incorrect';
+export interface GoalResult {
+    id: string;
+    status: GoalStatus;
+}
+export interface ValidationResult {
+    status: GoalStatus;
+    goals: GoalResult[];
+}
+export interface GoalGeometryFeedback extends GoalResult {
+    constructionIds: string[];
+    pointIds: PointId[];
+}
+export interface GeometryValidationFeedback {
+    result: ValidationResult;
+    goals: GoalGeometryFeedback[];
+}
+export type DetailedGoalCode = 'goal-satisfied' | 'no-candidate' | 'unresolved-candidate' | 'goal-not-satisfied';
+export interface DetailedGoalResult extends GoalResult {
+    code: DetailedGoalCode;
+    matchedEntityIds: EntityId[];
+    relevantEntityIds: EntityId[];
+    unresolvedEntityIds: EntityId[];
+}
+export type GeometryDiagnosticCode = 'no-goals' | 'unresolved-entity' | 'extra-objects';
+export interface GeometryDiagnostic {
+    code: GeometryDiagnosticCode;
+    entityIds: EntityId[];
+}
+export interface DetailedGeometryFeedback {
+    feedback: GeometryValidationFeedback;
+    goals: DetailedGoalResult[];
+    diagnostics: GeometryDiagnostic[];
+    extraEntityIds: EntityId[];
+}
+export interface ValidationContext {
+    exercise: GeometryExercise;
+    points: ReadonlyMap<PointId, Point>;
+}
+export type RevealContext = ValidationContext;
+export type RevealedAnswerShape = {
+    type: 'segment';
+    from: Point;
+    to: Point;
+} | {
+    type: 'line';
+    through: [Point, Point];
+} | {
+    type: 'point';
+    at: Point;
+};
+export interface RevealedAnswer {
+    id: string;
+    shape: RevealedAnswerShape | null;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/validation/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/validation/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEvD,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,WAAW,CAAA;AAEhD,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,UAAU,CAAA;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,UAAU,CAAA;IAClB,KAAK,EAAE,UAAU,EAAE,CAAA;CACpB;AAED,MAAM,WAAW,oBAAqB,SAAQ,UAAU;IACtD,eAAe,EAAE,MAAM,EAAE,CAAA;IACzB,QAAQ,EAAE,OAAO,EAAE,CAAA;CACpB;AAED,MAAM,WAAW,0BAA0B;IACzC,MAAM,EAAE,gBAAgB,CAAA;IACxB,KAAK,EAAE,oBAAoB,EAAE,CAAA;CAC9B;AAUD,MAAM,MAAM,gBAAgB,GAC1B,gBAAgB,GAAG,cAAc,GAAG,sBAAsB,GAAG,oBAAoB,CAAA;AAEnF,MAAM,WAAW,kBAAmB,SAAQ,UAAU;IACpD,IAAI,EAAE,gBAAgB,CAAA;IAEtB,gBAAgB,EAAE,QAAQ,EAAE,CAAA;IAI5B,iBAAiB,EAAE,QAAQ,EAAE,CAAA;IAG7B,mBAAmB,EAAE,QAAQ,EAAE,CAAA;CAChC;AAED,MAAM,MAAM,sBAAsB,GAAG,UAAU,GAAG,mBAAmB,GAAG,eAAe,CAAA;AAEvF,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,sBAAsB,CAAA;IAC5B,SAAS,EAAE,QAAQ,EAAE,CAAA;CACtB;AAED,MAAM,WAAW,wBAAwB;IAGvC,QAAQ,EAAE,0BAA0B,CAAA;IACpC,KAAK,EAAE,kBAAkB,EAAE,CAAA;IAC3B,WAAW,EAAE,kBAAkB,EAAE,CAAA;IAKjC,cAAc,EAAE,QAAQ,EAAE,CAAA;CAC3B;AAKD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,gBAAgB,CAAA;IAO1B,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;CACpC;AAID,MAAM,MAAM,aAAa,GAAG,iBAAiB,CAAA;AAE7C,MAAM,MAAM,mBAAmB,GAC3B;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,KAAK,CAAA;CAAE,CAAA;AAEhC,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAA;CAClC"}

package/dist/validation/validateGeometryExercise.d.cts

@@ -0,0 +1,30 @@
+import { GeometryExercise } from '../schemas/exercise.schema.cjs';
+import { GeometryExerciseWarning } from './getGeometryExerciseWarnings.cjs';
+export interface GeometryExerciseValidationIssue {
+    path: Array<string | number>;
+    message: string;
+}
+export type GeometryExerciseValidationResult = {
+    success: true;
+    data: GeometryExercise;
+    errors: [];
+    warnings: GeometryExerciseWarning[];
+} | {
+    success: false;
+    data: null;
+    errors: GeometryExerciseValidationIssue[];
+    warnings: [];
+};
+/**
+ * The whole stored exercise, authored solution included. Stored exercises are
+ * brought up to the current version before their structure is checked, exactly
+ * as attempts are (M2.6.b), and an embedded `solution` is then migrated and
+ * checked against the exercise as an attempt (ADR 0015), with its issues rooted
+ * at `solution`. On success `data.solution` is that normalized attempt.
+ *
+ * Grading does not go through here: Check and the student component load the
+ * solution-free projection, so a broken solution never disables them. An
+ * authoring tool does, and learns about it at save time.
+ */
+export declare function validateGeometryExercise(input: unknown): GeometryExerciseValidationResult;
+export declare function validateGeometryExerciseJson(json: string): GeometryExerciseValidationResult;