@mathscan/geometry-engine 0.1.0

package/dist/coordinates/grid.d.cts

@@ -0,0 +1,8 @@
+import { Point } from '../geometry/point.cjs';
+import { MathViewport } from '../schemas/viewport.schema.cjs';
+export declare function gridStep(range: number): number;
+export declare function gridSteps(viewport: MathViewport): {
+    x: number;
+    y: number;
+};
+export declare function nearestGridPoint(at: Point, viewport: MathViewport): Point;

package/dist/coordinates/grid.d.ts

@@ -0,0 +1,9 @@
+import { Point } from '../geometry/point.js';
+import { MathViewport } from '../schemas/viewport.schema.js';
+export declare function gridStep(range: number): number;
+export declare function gridSteps(viewport: MathViewport): {
+    x: number;
+    y: number;
+};
+export declare function nearestGridPoint(at: Point, viewport: MathViewport): Point;
+//# sourceMappingURL=grid.d.ts.map

package/dist/coordinates/grid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"grid.d.ts","sourceRoot":"","sources":["../../src/coordinates/grid.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAG9D,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAa9C;AAED,wBAAgB,SAAS,CAAC,QAAQ,EAAE,YAAY,GAAG;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAG1E;AAiBD,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,GAAG,KAAK,CAOzE"}

package/dist/coordinates/lineClipping.d.cts

@@ -0,0 +1,3 @@
+import { Point } from '../geometry/point.cjs';
+import { MathViewport } from '../schemas/viewport.schema.cjs';
+export declare function clipLineToViewport(a: Point, b: Point, viewport: MathViewport): [Point, Point] | null;

package/dist/coordinates/lineClipping.d.ts

@@ -0,0 +1,4 @@
+import { Point } from '../geometry/point.js';
+import { MathViewport } from '../schemas/viewport.schema.js';
+export declare function clipLineToViewport(a: Point, b: Point, viewport: MathViewport): [Point, Point] | null;
+//# sourceMappingURL=lineClipping.d.ts.map

package/dist/coordinates/lineClipping.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lineClipping.d.ts","sourceRoot":"","sources":["../../src/coordinates/lineClipping.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAW9D,wBAAgB,kBAAkB,CAChC,CAAC,EAAE,KAAK,EACR,CAAC,EAAE,KAAK,EACR,QAAQ,EAAE,YAAY,GACrB,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,IAAI,CAqCvB"}

package/dist/coordinates/transform.d.cts

@@ -0,0 +1,18 @@
+import { Point } from '../geometry/point.cjs';
+import { MathViewport } from '../schemas/viewport.schema.cjs';
+export interface CanvasSize {
+    width: number;
+    height: number;
+    projection?: 'contain' | 'stretch';
+}
+export interface Placement {
+    scale: number;
+    scaleX: number;
+    scaleY: number;
+    offsetX: number;
+    offsetY: number;
+}
+export declare function computePlacement(viewport: MathViewport, canvas: CanvasSize): Placement;
+export declare function mathToScreen(point: Point, viewport: MathViewport, canvas: CanvasSize, placement?: Placement): Point;
+export declare function screenToMath(point: Point, viewport: MathViewport, canvas: CanvasSize, placement?: Placement): Point;
+export declare function screenLengthToMath(pixels: number, placement: Placement): number;

package/dist/coordinates/transform.d.ts

@@ -0,0 +1,19 @@
+import { Point } from '../geometry/point.js';
+import { MathViewport } from '../schemas/viewport.schema.js';
+export interface CanvasSize {
+    width: number;
+    height: number;
+    projection?: 'contain' | 'stretch';
+}
+export interface Placement {
+    scale: number;
+    scaleX: number;
+    scaleY: number;
+    offsetX: number;
+    offsetY: number;
+}
+export declare function computePlacement(viewport: MathViewport, canvas: CanvasSize): Placement;
+export declare function mathToScreen(point: Point, viewport: MathViewport, canvas: CanvasSize, placement?: Placement): Point;
+export declare function screenToMath(point: Point, viewport: MathViewport, canvas: CanvasSize, placement?: Placement): Point;
+export declare function screenLengthToMath(pixels: number, placement: Placement): number;
+//# sourceMappingURL=transform.d.ts.map

package/dist/coordinates/transform.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/coordinates/transform.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAE9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAE9D,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,CAAC,EAAE,SAAS,GAAG,SAAS,CAAA;CACnC;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,MAAM,CAAA;CAChB;AAKD,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,CAUtF;AAED,wBAAgB,YAAY,CAC1B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,UAAU,EAClB,SAAS,GAAE,SAA8C,GACxD,KAAK,CAOP;AAED,wBAAgB,YAAY,CAC1B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,UAAU,EAClB,SAAS,GAAE,SAA8C,GACxD,KAAK,CAOP;AAMD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,MAAM,CAE/E"}

package/dist/core.cjs

@@ -0,0 +1 @@
+Object.defineProperty(exports,Symbol.toStringTag,{value:`Module`});const e=require("./geometryState.schema-DKQ-durx.cjs"),t=require("./goals-CxR5qPDC.cjs"),n=require("./studentStore-DLftfFAl.cjs");exports.CALCULATION_EPSILON=e.$,exports.CONNECTION_SNAP_RADIUS_PX=e.et,exports.COORDINATE_EPSILON=e.tt,exports.GRADING_BOUNDARY_EPSILON=e.nt,exports.PARAMETER_EPSILON=e.rt,exports.PLACEMENT_SNAP_RADIUS_PX=e.it,exports.POINT_REUSE_EPSILON=e.at,exports.RELATIVE_DEGENERACY_EPSILON=e.ot,exports.addGivenLine=n.S,exports.addGivenPoint=n.C,exports.addGivenSegment=n.w,exports.addGoal=n.T,exports.addStudentPoint=n.t,exports.approximatelyEqual=e.st,exports.buildGeometryContext=t.d,exports.cancelGivenConstruction=n.E,exports.cancelStudentConstruction=n.n,exports.clipLineToViewport=n.it,exports.closestPointOnCircle=e.G,exports.closestPointOnLine=e.K,exports.closestPointOnSegment=e.q,exports.computePlacement=n.at,exports.computeSnap=n.Q,exports.coordinatesCoincide=e.ct,exports.createStore=n.Z,exports.createStudentStore=n.r,exports.createTeacherStore=n.D,exports.deleteStudentObject=n.i,exports.distanceBetween=e.ht,exports.distancePointToCircle=e.J,exports.distancePointToLine=e.Y,exports.distancePointToSegment=e.X,exports.endGivenPointDrag=n.O,exports.endStudentPointDrag=n.a,exports.entryOf=e.O,exports.executeConstruction=n.o,exports.executeGivenConstruction=n.k,exports.firstHit=n.lt,exports.getGivenRemovalImpact=n.A,exports.getStudentRemovalImpact=n.s,exports.gridStep=n.tt,exports.gridSteps=n.nt,exports.hitTest=n.ut,exports.isCandidatePoint=t.f,exports.isDegenerateAtScale=e.lt,exports.isGivenPointDraggable=n.j,exports.isSameStoredPoint=e.ut,exports.isStudentOwned=n.c,exports.isStudentPointDraggable=n.l,exports.isWithinSegmentParameter=e.dt,exports.loadExercise=n.M,exports.mathToScreen=n.ot,exports.midpointOf=e.gt,exports.moveGivenPoint=n.N,exports.moveStudentPoint=n.u,exports.nearestGridPoint=n.rt,exports.originForSnap=n.$,exports.parentsOfDefinition=e.F,exports.pickPointForPendingObject=n.P,exports.pickStudentPoint=n.d,exports.pixelRadiusToMathTolerance=e.ft,exports.pointAlong=e.Z,exports.projectionParameter=e.Q,exports.promoteGivenEntity=n.F,exports.promoteGivenPoint=n.I,exports.promoteStudentPoint=n.f,exports.redoStudentChange=n.p,exports.redoTeacherChange=n.L,exports.removeGiven=n.R,exports.removeGoal=n.z,exports.replaceGoal=n.B,exports.replaceStudentAttempt=n.m,exports.replaceStudentSession=n.h,exports.resetStudentAttempt=n.g,exports.resolveAgainstPoints=e.I,exports.revealStudentAnswer=n._,exports.screenLengthToMath=n.st,exports.screenToMath=n.ct,exports.selectGiven=n.V,exports.selectPendingObjectType=n.H,exports.selectStudentObject=n.v,exports.selectStudentObjectType=n.y,exports.setAllowedObjects=n.U,exports.setExtraObjectPolicy=n.W,exports.setGivenLabel=n.G,exports.setGivenPointDraggable=n.K,exports.setShowGrid=n.q,exports.setStudentReadOnly=n.b,exports.setTools=n.J,exports.setViewport=n.Y,exports.snapPosition=n.et,exports.undoStudentChange=n.x,exports.undoTeacherChange=n.X,exports.withinAuthoredDeviation=e.pt,exports.withinAuthoredTolerance=e.mt;

package/dist/core.mjs

@@ -0,0 +1,4 @@
+import { $ as e, F as t, G as n, I as r, J as i, K as a, O as o, Q as s, X as c, Y as l, Z as u, at as d, ct as f, dt as p, et as m, ft as h, gt as g, ht as _, it as v, lt as y, mt as b, nt as x, ot as S, pt as C, q as w, rt as T, st as E, tt as D, ut as O } from "./geometryState.schema-D0ixyGYE.js";
+import { d as k, f as A } from "./goals-C3ZwbEh_.js";
+import { $ as j, A as M, B as N, C as P, D as F, E as I, F as L, G as R, H as z, I as B, J as V, K as H, L as U, M as W, N as G, O as K, P as q, Q as J, R as Y, S as X, T as Z, U as Q, V as $, W as ee, X as te, Y as ne, Z as re, _ as ie, a as ae, at as oe, b as se, c as ce, ct as le, d as ue, et as de, f as fe, g as pe, h as me, i as he, it as ge, j as _e, k as ve, l as ye, lt as be, m as xe, n as Se, nt as Ce, o as we, ot as Te, p as Ee, q as De, r as Oe, rt as ke, s as Ae, st as je, t as Me, tt as Ne, u as Pe, ut as Fe, v as Ie, w as Le, x as Re, y as ze, z as Be } from "./studentStore-CEKTtMCh.js";
+export { e as CALCULATION_EPSILON, m as CONNECTION_SNAP_RADIUS_PX, D as COORDINATE_EPSILON, x as GRADING_BOUNDARY_EPSILON, T as PARAMETER_EPSILON, v as PLACEMENT_SNAP_RADIUS_PX, d as POINT_REUSE_EPSILON, S as RELATIVE_DEGENERACY_EPSILON, X as addGivenLine, P as addGivenPoint, Le as addGivenSegment, Z as addGoal, Me as addStudentPoint, E as approximatelyEqual, k as buildGeometryContext, I as cancelGivenConstruction, Se as cancelStudentConstruction, ge as clipLineToViewport, n as closestPointOnCircle, a as closestPointOnLine, w as closestPointOnSegment, oe as computePlacement, J as computeSnap, f as coordinatesCoincide, re as createStore, Oe as createStudentStore, F as createTeacherStore, he as deleteStudentObject, _ as distanceBetween, i as distancePointToCircle, l as distancePointToLine, c as distancePointToSegment, K as endGivenPointDrag, ae as endStudentPointDrag, o as entryOf, we as executeConstruction, ve as executeGivenConstruction, be as firstHit, M as getGivenRemovalImpact, Ae as getStudentRemovalImpact, Ne as gridStep, Ce as gridSteps, Fe as hitTest, A as isCandidatePoint, y as isDegenerateAtScale, _e as isGivenPointDraggable, O as isSameStoredPoint, ce as isStudentOwned, ye as isStudentPointDraggable, p as isWithinSegmentParameter, W as loadExercise, Te as mathToScreen, g as midpointOf, G as moveGivenPoint, Pe as moveStudentPoint, ke as nearestGridPoint, j as originForSnap, t as parentsOfDefinition, q as pickPointForPendingObject, ue as pickStudentPoint, h as pixelRadiusToMathTolerance, u as pointAlong, s as projectionParameter, L as promoteGivenEntity, B as promoteGivenPoint, fe as promoteStudentPoint, Ee as redoStudentChange, U as redoTeacherChange, Y as removeGiven, Be as removeGoal, N as replaceGoal, xe as replaceStudentAttempt, me as replaceStudentSession, pe as resetStudentAttempt, r as resolveAgainstPoints, ie as revealStudentAnswer, je as screenLengthToMath, le as screenToMath, $ as selectGiven, z as selectPendingObjectType, Ie as selectStudentObject, ze as selectStudentObjectType, Q as setAllowedObjects, ee as setExtraObjectPolicy, R as setGivenLabel, H as setGivenPointDraggable, De as setShowGrid, se as setStudentReadOnly, V as setTools, ne as setViewport, de as snapPosition, Re as undoStudentChange, te as undoTeacherChange, C as withinAuthoredDeviation, b as withinAuthoredTolerance };

package/dist/entries/core.d.cts

@@ -0,0 +1,16 @@
+export type { CircleDefinition, ConstructionOrigin, EntityCapabilities, EntityDefinition, EntityDefinitionOf, EntityId, EntityKind, EntityOperations, EntityPresentation, EntityRegistry, EntityRole, Evaluation, EvaluationIssue, EvaluationIssueLocation, FreeOrigin, FreePointDefinition, GeometryContext, IntersectionOrigin, IntersectionPointDefinition, LineDefinition, OnEntityOrigin, OnEntityPointDefinition, PointDefinition, ResolvedCircle, ResolvedEntity, ResolvedEntityOf, ResolvedLine, ResolvedPoint, ResolvedSegment, SegmentDefinition, ShapeDescriptor, } from '../geometry/entityModel.cjs';
+export { parentsOfDefinition, resolveAgainstPoints } from '../geometry/entities/index.cjs';
+export { entryOf } from '../geometry/entityRecord.cjs';
+export * from '../geometry/point.cjs';
+export * from '../geometry/goalCandidate.cjs';
+export * from '../geometry/distance.cjs';
+export * from '../geometry/hitTest.cjs';
+export * from '../state/geometryContext.cjs';
+export * from '../coordinates/transform.cjs';
+export * from '../coordinates/lineClipping.cjs';
+export * from '../coordinates/grid.cjs';
+export * from '../numerics/policy.cjs';
+export * from '../snapping/computeSnap.cjs';
+export * from '../store/createStore.cjs';
+export * from '../store/teacherStore.cjs';
+export * from '../store/studentStore.cjs';

package/dist/entries/core.d.ts

@@ -0,0 +1,17 @@
+export type { CircleDefinition, ConstructionOrigin, EntityCapabilities, EntityDefinition, EntityDefinitionOf, EntityId, EntityKind, EntityOperations, EntityPresentation, EntityRegistry, EntityRole, Evaluation, EvaluationIssue, EvaluationIssueLocation, FreeOrigin, FreePointDefinition, GeometryContext, IntersectionOrigin, IntersectionPointDefinition, LineDefinition, OnEntityOrigin, OnEntityPointDefinition, PointDefinition, ResolvedCircle, ResolvedEntity, ResolvedEntityOf, ResolvedLine, ResolvedPoint, ResolvedSegment, SegmentDefinition, ShapeDescriptor, } from '../geometry/entityModel.js';
+export { parentsOfDefinition, resolveAgainstPoints } from '../geometry/entities/index.js';
+export { entryOf } from '../geometry/entityRecord.js';
+export * from '../geometry/point.js';
+export * from '../geometry/goalCandidate.js';
+export * from '../geometry/distance.js';
+export * from '../geometry/hitTest.js';
+export * from '../state/geometryContext.js';
+export * from '../coordinates/transform.js';
+export * from '../coordinates/lineClipping.js';
+export * from '../coordinates/grid.js';
+export * from '../numerics/policy.js';
+export * from '../snapping/computeSnap.js';
+export * from '../store/createStore.js';
+export * from '../store/teacherStore.js';
+export * from '../store/studentStore.js';
+//# sourceMappingURL=core.d.ts.map

package/dist/entries/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/entries/core.ts"],"names":[],"mappings":"AAaA,YAAY,EACV,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,EACR,UAAU,EACV,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,2BAA2B,EAC3B,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,eAAe,EACf,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAA;AAKhC,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAMhF,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAGlD,cAAc,mBAAmB,CAAA;AACjC,cAAc,2BAA2B,CAAA;AACzC,cAAc,sBAAsB,CAAA;AACpC,cAAc,qBAAqB,CAAA;AAGnC,cAAc,0BAA0B,CAAA;AAGxC,cAAc,0BAA0B,CAAA;AACxC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,qBAAqB,CAAA;AAGnC,cAAc,oBAAoB,CAAA;AAGlC,cAAc,yBAAyB,CAAA;AAKvC,cAAc,sBAAsB,CAAA;AACpC,cAAc,uBAAuB,CAAA;AACrC,cAAc,uBAAuB,CAAA"}

package/dist/entries/react.d.cts

@@ -0,0 +1,18 @@
+export * from '../renderer/GeometryCanvas.cjs';
+export * from '../renderer/StudentGeometryCanvas.cjs';
+export * from '../renderer/StudentGeometryExercise.cjs';
+export * from '../renderer/Toolbar.cjs';
+export * from '../renderer/GeometryCompanion.cjs';
+export * from '../renderer/deriveSemanticScene.cjs';
+export * from '../renderer/entityDisplayName.cjs';
+export * from '../renderer/deriveRenderableGeometry.cjs';
+export * from '../renderer/GeometryGrid.cjs';
+export * from '../renderer/GeometryInstruments.cjs';
+export * from '../renderer/shapes/PointShape.cjs';
+export * from '../renderer/shapes/SegmentShape.cjs';
+export * from '../renderer/shapes/LineShape.cjs';
+export * from '../renderer/shapes/CircleShape.cjs';
+export * from '../renderer/shapes/EntityShape.cjs';
+export * from '../renderer/shapes/SnapMarker.cjs';
+export * from '../renderer/usePlacementSnap.cjs';
+export * from '../store/useStoreState.cjs';

package/dist/entries/react.d.ts

@@ -0,0 +1,19 @@
+export * from '../renderer/GeometryCanvas.js';
+export * from '../renderer/StudentGeometryCanvas.js';
+export * from '../renderer/StudentGeometryExercise.js';
+export * from '../renderer/Toolbar.js';
+export * from '../renderer/GeometryCompanion.js';
+export * from '../renderer/deriveSemanticScene.js';
+export * from '../renderer/entityDisplayName.js';
+export * from '../renderer/deriveRenderableGeometry.js';
+export * from '../renderer/GeometryGrid.js';
+export * from '../renderer/GeometryInstruments.js';
+export * from '../renderer/shapes/PointShape.js';
+export * from '../renderer/shapes/SegmentShape.js';
+export * from '../renderer/shapes/LineShape.js';
+export * from '../renderer/shapes/CircleShape.js';
+export * from '../renderer/shapes/EntityShape.js';
+export * from '../renderer/shapes/SnapMarker.js';
+export * from '../renderer/usePlacementSnap.js';
+export * from '../store/useStoreState.js';
+//# sourceMappingURL=react.d.ts.map

package/dist/entries/react.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react.d.ts","sourceRoot":"","sources":["../../src/entries/react.ts"],"names":[],"mappings":"AAOA,cAAc,4BAA4B,CAAA;AAC1C,cAAc,mCAAmC,CAAA;AAEjD,cAAc,qCAAqC,CAAA;AACnD,cAAc,qBAAqB,CAAA;AAInC,cAAc,+BAA+B,CAAA;AAC7C,cAAc,iCAAiC,CAAA;AAC/C,cAAc,+BAA+B,CAAA;AAC7C,cAAc,sCAAsC,CAAA;AACpD,cAAc,0BAA0B,CAAA;AACxC,cAAc,iCAAiC,CAAA;AAC/C,cAAc,+BAA+B,CAAA;AAC7C,cAAc,iCAAiC,CAAA;AAC/C,cAAc,8BAA8B,CAAA;AAC5C,cAAc,gCAAgC,CAAA;AAC9C,cAAc,gCAAgC,CAAA;AAC9C,cAAc,+BAA+B,CAAA;AAC7C,cAAc,8BAA8B,CAAA;AAG5C,cAAc,wBAAwB,CAAA"}

package/dist/entries/schemas.d.cts

@@ -0,0 +1,14 @@
+export { pointSchema, type Point } from '../schemas/point.schema.cjs';
+export * from '../schemas/identifier.schema.cjs';
+export * from '../schemas/objectTypeName.schema.cjs';
+export * from '../schemas/viewport.schema.cjs';
+export * from '../schemas/exercise.schema.cjs';
+export * from '../schemas/geometryState.schema.cjs';
+export * from '../schemas/migrate.cjs';
+export * from '../schemas/goals/createGoal.schema.cjs';
+export * from '../schemas/goals/throughPointsGoal.schema.cjs';
+export * from '../schemas/goals/perpendicularGoal.schema.cjs';
+export * from '../schemas/goals/parallelGoal.schema.cjs';
+export * from '../schemas/goals/segmentLengthGoal.schema.cjs';
+export * from '../schemas/goals/midpointGoal.schema.cjs';
+export * from '../schemas/goals/geometryGoal.schema.cjs';

package/dist/entries/schemas.d.ts

@@ -0,0 +1,15 @@
+export { pointSchema, type Point } from '../schemas/point.schema.js';
+export * from '../schemas/identifier.schema.js';
+export * from '../schemas/objectTypeName.schema.js';
+export * from '../schemas/viewport.schema.js';
+export * from '../schemas/exercise.schema.js';
+export * from '../schemas/geometryState.schema.js';
+export * from '../schemas/migrate.js';
+export * from '../schemas/goals/createGoal.schema.js';
+export * from '../schemas/goals/throughPointsGoal.schema.js';
+export * from '../schemas/goals/perpendicularGoal.schema.js';
+export * from '../schemas/goals/parallelGoal.schema.js';
+export * from '../schemas/goals/segmentLengthGoal.schema.js';
+export * from '../schemas/goals/midpointGoal.schema.js';
+export * from '../schemas/goals/geometryGoal.schema.js';
+//# sourceMappingURL=schemas.d.ts.map

package/dist/entries/schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/entries/schemas.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,WAAW,EAAE,KAAK,KAAK,EAAE,MAAM,yBAAyB,CAAA;AACjE,cAAc,8BAA8B,CAAA;AAC5C,cAAc,kCAAkC,CAAA;AAChD,cAAc,4BAA4B,CAAA;AAG1C,cAAc,4BAA4B,CAAA;AAC1C,cAAc,iCAAiC,CAAA;AAC/C,cAAc,oBAAoB,CAAA;AAGlC,cAAc,oCAAoC,CAAA;AAClD,cAAc,2CAA2C,CAAA;AACzD,cAAc,2CAA2C,CAAA;AACzD,cAAc,sCAAsC,CAAA;AACpD,cAAc,2CAA2C,CAAA;AACzD,cAAc,sCAAsC,CAAA;AACpD,cAAc,sCAAsC,CAAA"}

package/dist/entries/validation.d.cts

@@ -0,0 +1,12 @@
+export * from '../validation/types.cjs';
+export * from '../validation/validateGeometryState.cjs';
+export * from '../validation/validateGeometryStateInput.cjs';
+export * from '../validation/deriveGeometryCanvasFeedback.cjs';
+export * from '../validation/checkGeometryAnswer.cjs';
+export * from '../validation/geometryAttemptStatus.cjs';
+export * from '../validation/revealGeometryAnswers.cjs';
+export * from '../validation/revealGeometryAttempt.cjs';
+export * from '../validation/getGeometryExerciseWarnings.cjs';
+export * from '../validation/validateGeometryExercise.cjs';
+export { getGoalKindHandler } from '../validation/goals/index.cjs';
+export { intersectionsOf, type MeasuredObject } from '../measure/geometryAdapter.cjs';

package/dist/entries/validation.d.ts

@@ -0,0 +1,13 @@
+export * from '../validation/types.js';
+export * from '../validation/validateGeometryState.js';
+export * from '../validation/validateGeometryStateInput.js';
+export * from '../validation/deriveGeometryCanvasFeedback.js';
+export * from '../validation/checkGeometryAnswer.js';
+export * from '../validation/geometryAttemptStatus.js';
+export * from '../validation/revealGeometryAnswers.js';
+export * from '../validation/revealGeometryAttempt.js';
+export * from '../validation/getGeometryExerciseWarnings.js';
+export * from '../validation/validateGeometryExercise.js';
+export { getGoalKindHandler } from '../validation/goals/index.js';
+export { intersectionsOf, type MeasuredObject } from '../measure/geometryAdapter.js';
+//# sourceMappingURL=validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/entries/validation.ts"],"names":[],"mappings":"AAOA,cAAc,qBAAqB,CAAA;AACnC,cAAc,qCAAqC,CAAA;AACnD,cAAc,0CAA0C,CAAA;AACxD,cAAc,4CAA4C,CAAA;AAC1D,cAAc,mCAAmC,CAAA;AACjD,cAAc,qCAAqC,CAAA;AACnD,cAAc,qCAAqC,CAAA;AACnD,cAAc,qCAAqC,CAAA;AACnD,cAAc,2CAA2C,CAAA;AACzD,cAAc,wCAAwC,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAGxD,OAAO,EAAE,eAAe,EAAE,KAAK,cAAc,EAAE,MAAM,4BAA4B,CAAA"}

package/dist/exercise.schema-BV2b7rtN.cjs

@@ -0,0 +1,2 @@
+const e=require("./geometryState.schema-DKQ-durx.cjs");let t=require("zod");var n=t.z.number().finite().min(-100).max(100),r=t.z.tuple([n,n,n,n]).refine(([e,t,n,r])=>e<n&&t<r,{message:`viewport must satisfy xMin < xMax and yMin < yMax`}).refine(([e,,t])=>t-e>=1&&t-e<=100,{message:`viewport width must be between 1 and 100`}).refine(([,e,,t])=>t-e>=1&&t-e<=100,{message:`viewport height must be between 1 and 100`}),i=t.z.discriminatedUnion(`type`,[e.y,e.m,e.g,e._,e.h,e.v]),a=t.z.string().min(1).refine(e=>e===e.trim()),o=t.z.object({x:t.z.number().finite(),y:t.z.number().finite()}).strict(),s=t.z.tuple([a,a]).readonly(),c=t.z.number().finite().min(-100).max(100),l=t.z.number().positive().finite(),u=t.z.tuple([c,c,c,c]).refine(([e,t,n,r])=>e<n&&t<r).refine(([e,,t])=>t-e>=1&&t-e<=100).refine(([,e,,t])=>t-e>=1&&t-e<=100),d=[`point`,`segment`,`line`,`circle`],f=[`ruler`,`setSquare`,`protractor`],p=[`create`,`throughPoints`,`perpendicular`,`parallel`,`segmentLength`,`midpoint`],m=t.z.enum(d),h=t.z.number().positive().max(90),g=t.z.union([t.z.object({kind:t.z.literal(`point`),at:o}).strict(),t.z.object({kind:t.z.literal(`point`),on:a,t:t.z.number().finite()}).strict(),t.z.object({kind:t.z.literal(`point`),intersectionOf:s,which:t.z.union([t.z.literal(0),t.z.literal(1)]).optional()}).strict(),t.z.object({kind:t.z.literal(`segment`),parents:s}).strict(),t.z.object({kind:t.z.literal(`line`),parents:s}).strict(),t.z.object({kind:t.z.literal(`circle`),parents:s}).strict()]),_={create:{objectType:m},throughPoints:{objectType:m,pointIds:t.z.array(a).min(1)},perpendicular:{objectType:m,referenceObjectId:a,throughPointId:a,toleranceDegrees:h},parallel:{objectType:m,referenceObjectId:a,throughPointId:a,toleranceDegrees:h},segmentLength:{objectType:t.z.literal(`segment`),targetLength:l,toleranceUnits:l},midpoint:{objectType:t.z.literal(`point`),referenceObjectId:a,toleranceUnits:l}},v=t.z.union(p.map(e=>t.z.object({id:a,type:t.z.literal(e),..._[e]}).strict())),y=t.z.object({schemaVersion:t.z.literal(2),id:a,viewport:u,showGrid:t.z.boolean().optional(),entities:e.T(g),presentation:e.T(t.z.object({role:t.z.enum([`implicit`,`explicit`]),label:t.z.string().min(1).optional()}).strict()),draggableEntityIds:t.z.array(a),allowedObjects:t.z.array(m),tools:t.z.array(t.z.enum(f)),goals:t.z.array(v)}).strict();function b(e){let t=e.flatMap(e=>e.code===`unrecognized_keys`&&e.keys?e.keys.map(t=>[...e.path,t].join(`.`)):[e.path.join(`.`)||`the document`]);return[...new Set(t)]}function x(e,t,n){let r=e+1;return{from:e,to:r,migrate:i=>{let a=t.safeParse(i);if(!a.success&&n.safeParse({...i,schemaVersion:r}).success)throw Error(`a version ${e} exercise cannot carry ${b(a.error.issues).join(`, `)}`);return{...i}}}}function S(e){return x(2,y,e)}var C=y.extend({schemaVersion:t.z.literal(3),grading:t.z.object({extraObjects:t.z.enum([`allow`,`reject`])}).strict().optional()});function w(e){return x(3,C,e)}var T=t.z.enum([`ruler`,`setSquare`,`protractor`]),E=4,D=t.z.enum([`allow`,`reject`]),O=t.z.object({extraObjects:D}).strict(),k=t.z.object({schemaVersion:t.z.literal(4),id:e.D,viewport:r,showGrid:t.z.boolean().optional(),entities:e.T(e.c),presentation:e.T(e.s),draggableEntityIds:t.z.array(e.D),allowedObjects:t.z.array(e.b),tools:t.z.array(T),goals:t.z.array(i),grading:O.optional(),solution:e.n.optional()}).strict().superRefine((t,n)=>{for(let r of e.C(t,{parentsMustBeDeclared:!0}))n.addIssue({code:`custom`,path:r.path,message:r.message});for(let r of e.w(t.draggableEntityIds,`draggableEntityIds`,t,{pointsOnly:!0}))n.addIssue({code:`custom`,path:r.path,message:r.message});let r={definitionOf:n=>e.O(t.entities,n)},i=new Set;t.goals.forEach((t,a)=>{i.has(t.id)&&n.addIssue({code:`custom`,path:[`goals`,a,`id`],message:`duplicate goal id: ${t.id}`}),i.add(t.id);for(let i of e.d(t).crossReferenceIssues(t,r))n.addIssue({code:`custom`,path:[`goals`,a,...i.path],message:i.message})})}),A=[e.a,S(C),w({safeParse:t=>k.safeParse(typeof t==`object`&&t?e.u(t):t)})];function j(e){return k.parse(e)}function M(t){return e.o(t,A,4)}Object.defineProperty(exports,"a",{enumerable:!0,get:function(){return E}}),Object.defineProperty(exports,"c",{enumerable:!0,get:function(){return T}}),Object.defineProperty(exports,"i",{enumerable:!0,get:function(){return k}}),Object.defineProperty(exports,"l",{enumerable:!0,get:function(){return i}}),Object.defineProperty(exports,"n",{enumerable:!0,get:function(){return D}}),Object.defineProperty(exports,"o",{enumerable:!0,get:function(){return M}}),Object.defineProperty(exports,"r",{enumerable:!0,get:function(){return A}}),Object.defineProperty(exports,"s",{enumerable:!0,get:function(){return j}}),Object.defineProperty(exports,"t",{enumerable:!0,get:function(){return O}}),Object.defineProperty(exports,"u",{enumerable:!0,get:function(){return r}});
+//# sourceMappingURL=exercise.schema-BV2b7rtN.cjs.map

package/dist/exercise.schema-BV2b7rtN.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"exercise.schema-BV2b7rtN.cjs","names":[],"sources":["../src/schemas/viewport.schema.ts","../src/schemas/goals/geometryGoal.schema.ts","../src/schemas/exerciseV2.schema.ts","../src/schemas/v2ToV3.ts","../src/schemas/exerciseV3.schema.ts","../src/schemas/v3ToV4.ts","../src/schemas/exercise.schema.ts"],"sourcesContent":["import { z } from 'zod'\n\nconst viewportCoordinateSchema = z.number().finite().min(-100).max(100)\n\nexport const mathViewportSchema = z\n  .tuple([\n    viewportCoordinateSchema,\n    viewportCoordinateSchema,\n    viewportCoordinateSchema,\n    viewportCoordinateSchema,\n  ])\n  .refine(([xMin, yMin, xMax, yMax]) => xMin < xMax && yMin < yMax, {\n    message: 'viewport must satisfy xMin < xMax and yMin < yMax',\n  })\n  .refine(([xMin, , xMax]) => xMax - xMin >= 1 && xMax - xMin <= 100, {\n    message: 'viewport width must be between 1 and 100',\n  })\n  .refine(([, yMin, , yMax]) => yMax - yMin >= 1 && yMax - yMin <= 100, {\n    message: 'viewport height must be between 1 and 100',\n  })\n\nexport type MathViewport = z.infer<typeof mathViewportSchema>\n","import { z } from 'zod'\nimport { createGoalSchema } from './createGoal.schema'\nimport { throughPointsGoalSchema } from './throughPointsGoal.schema'\nimport { perpendicularGoalSchema } from './perpendicularGoal.schema'\nimport { parallelGoalSchema } from './parallelGoal.schema'\nimport { segmentLengthGoalSchema } from './segmentLengthGoal.schema'\nimport { midpointGoalSchema } from './midpointGoal.schema'\n\nexport const geometryGoalSchema = z.discriminatedUnion('type', [\n  createGoalSchema,\n  throughPointsGoalSchema,\n  perpendicularGoalSchema,\n  parallelGoalSchema,\n  segmentLengthGoalSchema,\n  midpointGoalSchema,\n])\n\nexport type GeometryGoal = z.infer<typeof geometryGoalSchema>\n","import { z } from 'zod'\nimport { entityRecordSchema } from './entityDocument'\n\nexport const v2ExerciseSchemaVersion = 2\n\n/**\n * The exercise document ADR 0008 froze, transcribed **whole** so the v2 → v3\n * step can check what it was handed before promoting it (ADR 0013).\n *\n * Frozen means frozen: nothing below is imported from the current vocabulary.\n * An earlier version of this file reused `entityDefinitionSchema`,\n * `entityPresentationSchema`, `objectTypeNameSchema`, `toolNameSchema` and\n * `geometryGoalSchema`, which would have silently admitted every later addition\n * to them — the `angle` entity kind, `angleMeasure` / `angleBisector` goals and\n * the `measureLabel` presentation entry ADR 0010 already plans — into a document\n * claiming to be version 2. A union member or an enum value is as much a version\n * change as a new field, and a shared schema cannot tell two versions apart.\n *\n * What is deliberately shared is machinery rather than vocabulary:\n * `entityRecordSchema()` supplies the `__proto__` refusal (M2.G.1) and the\n * record's id-key rule. If those change they change for every version at once,\n * which is a decision of its own rather than a new document feature.\n *\n * Two things this schema is not. It carries **no cross-reference refinements**:\n * it answers \"could version 2 have said this?\", never \"is this exercise\n * coherent?\" — the migrated document is parsed by `geometryExerciseSchema`,\n * whose refinements report a dangling id or a duplicate goal id at its real\n * path. And it carries **no issue messages**: nothing renders them, because\n * `v2ToV3.ts` reports the offending *paths* and the surviving document is\n * described by the current schema.\n *\n * `tests/schemas/v2ToV3.test.ts` § \"the frozen v2 vocabulary\" fails the day the\n * current schemas gain a kind, goal, object type, tool or presentation field\n * this file does not list, so the freeze cannot rot quietly.\n */\n\nconst id = z\n  .string()\n  .min(1)\n  .refine((value) => value === value.trim())\nconst point = z.object({ x: z.number().finite(), y: z.number().finite() }).strict()\nconst parents = z.tuple([id, id]).readonly()\nconst span = z.number().finite().min(-100).max(100)\nconst positive = z.number().positive().finite()\n\nconst viewport = z\n  .tuple([span, span, span, span])\n  .refine(([xMin, yMin, xMax, yMax]) => xMin < xMax && yMin < yMax)\n  .refine(([xMin, , xMax]) => xMax - xMin >= 1 && xMax - xMin <= 100)\n  .refine(([, yMin, , yMax]) => yMax - yMin >= 1 && yMax - yMin <= 100)\n\n/** v2's four entity kinds, its object types, its tools and its goal types. */\nexport const v2EntityKinds = ['point', 'segment', 'line', 'circle'] as const\nexport const v2ObjectTypeNames = ['point', 'segment', 'line', 'circle'] as const\nexport const v2ToolNames = ['ruler', 'setSquare', 'protractor'] as const\nexport const v2GoalTypes = [\n  'create',\n  'throughPoints',\n  'perpendicular',\n  'parallel',\n  'segmentLength',\n  'midpoint',\n] as const\n/** And the only two keys a v2 presentation entry had. */\nexport const v2PresentationKeys = ['role', 'label'] as const\n\nconst objectType = z.enum(v2ObjectTypeNames)\nconst angle = z.number().positive().max(90)\n\nconst definition = z.union([\n  z.object({ kind: z.literal('point'), at: point }).strict(),\n  z.object({ kind: z.literal('point'), on: id, t: z.number().finite() }).strict(),\n  z\n    .object({\n      kind: z.literal('point'),\n      intersectionOf: parents,\n      which: z.union([z.literal(0), z.literal(1)]).optional(),\n    })\n    .strict(),\n  z.object({ kind: z.literal('segment'), parents }).strict(),\n  z.object({ kind: z.literal('line'), parents }).strict(),\n  z.object({ kind: z.literal('circle'), parents }).strict(),\n])\n\n// One row per v2 goal kind: the fields it carried beyond `id` and `type`.\nconst goalFields = {\n  create: { objectType },\n  throughPoints: { objectType, pointIds: z.array(id).min(1) },\n  perpendicular: {\n    objectType,\n    referenceObjectId: id,\n    throughPointId: id,\n    toleranceDegrees: angle,\n  },\n  parallel: { objectType, referenceObjectId: id, throughPointId: id, toleranceDegrees: angle },\n  segmentLength: {\n    objectType: z.literal('segment'),\n    targetLength: positive,\n    toleranceUnits: positive,\n  },\n  midpoint: { objectType: z.literal('point'), referenceObjectId: id, toleranceUnits: positive },\n} as const\n\nconst goal = z.union(\n  v2GoalTypes.map((type) => z.object({ id, type: z.literal(type), ...goalFields[type] }).strict()),\n)\n\nexport const geometryExerciseV2Schema = z\n  .object({\n    schemaVersion: z.literal(v2ExerciseSchemaVersion),\n    id,\n    viewport,\n    showGrid: z.boolean().optional(),\n    entities: entityRecordSchema(definition),\n    presentation: entityRecordSchema(\n      z\n        .object({ role: z.enum(['implicit', 'explicit']), label: z.string().min(1).optional() })\n        .strict(),\n    ),\n    draggableEntityIds: z.array(id),\n    allowedObjects: z.array(objectType),\n    tools: z.array(z.enum(v2ToolNames)),\n    goals: z.array(goal),\n  })\n  .strict()\n","// The one-way v2 → v3 translation of a stored exercise (M3.H.6, ADR 0013).\n//\n// v3 adds one optional field, `grading`, and changes nothing else — so the\n// translation is the identity on every field a v2 document carries, and it\n// deliberately does **not** materialize a policy: absence means permissive,\n// and writing `{ extraObjects: 'allow' }` here would turn every historical\n// exercise into one that states a policy it never authored.\n//\n// The step does check its input, unlike `v1ToV2`'s translations, and for the\n// reason the human's version decision names: a v2 document carrying anything\n// version 2 could not say must be **rejected** rather than promoted into a\n// document where it is legal. Nothing downstream can catch that — after the hop\n// the vocabulary is the current one — so the gate has to be here. The v3 → v4\n// hop (ADR 0015) is the same kind of step, so both are built by one factory.\nimport type { ZodType } from 'zod'\nimport type { MigrationStep } from './migrate'\nimport { geometryExerciseV2Schema } from './exerciseV2.schema'\n\n/** The version the step below produces. */\nexport const v3SchemaVersion = 3\n\n/**\n * Just enough of a schema for the gate: the next version's parser, passed in\n * rather than imported to keep this module free of a cycle with\n * `exercise.schema.ts` — and small enough that a test can substitute a laxer\n * one and watch the gate react.\n */\nexport interface DocumentGate {\n  safeParse(input: unknown): { success: boolean }\n}\n\ninterface FrozenIssue {\n  code: string\n  path: PropertyKey[]\n  keys?: string[]\n}\n\n/** What the document said that the version it claims has no way to express. */\nfunction offendingPaths(issues: readonly FrozenIssue[]): string[] {\n  const named = issues.flatMap((issue) =>\n    issue.code === 'unrecognized_keys' && issue.keys\n      ? issue.keys.map((key) => [...issue.path, key].join('.'))\n      : [issue.path.join('.') || 'the document'],\n  )\n  return [...new Set(named)]\n}\n\n/**\n * An exercise hop that adds vocabulary and changes nothing it already had. The\n * refusal rule, stated exactly: **a document that is invalid at `from` and\n * valid at `from + 1` is refused.** That is what silent promotion means, and it\n * covers every way the next version can be wider — a new field, a new entity\n * kind, a new goal type, a new `allowedObjects` member, a new presentation\n * entry, a loosened value — without the step having to enumerate them or read\n * issue codes to guess which is which.\n *\n * A document that is invalid at **both** versions passes through untouched, so\n * an ordinary fault (a bad viewport, a dangling parent) is still reported by\n * `geometryExerciseSchema` at its own document path rather than refiled here as\n * one message under `schemaVersion`. It is rejected either way; only the quality\n * of the error differs, and the path is the better answer.\n *\n * `frozenSchema` must be a transcription of version `from` and `nextSchema` the\n * parser of version `from + 1` — frozen as well unless that is the current one,\n * because a current schema's version literal would never accept the promotion.\n */\nexport function createIdentityExerciseStep(\n  from: number,\n  frozenSchema: ZodType,\n  nextSchema: DocumentGate,\n): MigrationStep {\n  const to = from + 1\n  return {\n    from,\n    to,\n    migrate: (document) => {\n      const parsed = frozenSchema.safeParse(document)\n      if (!parsed.success && nextSchema.safeParse({ ...document, schemaVersion: to }).success) {\n        throw new Error(\n          `a version ${from} exercise cannot carry ${offendingPaths(parsed.error.issues).join(', ')}`,\n        )\n      }\n      // The input document, not a parsed copy: the shape is unchanged, so the\n      // stored values travel on untouched and `applyMigrations()` stamps the new\n      // version.\n      return { ...document }\n    },\n  }\n}\n\n/** The v2 → v3 hop, gated against the version 3 schema it is given. */\nexport function createGeometryExerciseV2ToV3(v3ExerciseSchema: DocumentGate): MigrationStep {\n  return createIdentityExerciseStep(2, geometryExerciseV2Schema, v3ExerciseSchema)\n}\n","import { z } from 'zod'\nimport { geometryExerciseV2Schema } from './exerciseV2.schema'\n\nexport const v3ExerciseSchemaVersion = 3\n\n/**\n * The exercise document ADR 0013 froze at version 3, so the v3 → v4 step can\n * check what it was handed before promoting it (ADR 0015) — and so the v2 → v3\n * step still has a version 3 to ask once the current schema has moved past it.\n *\n * Version 3 is version 2 plus `grading` and nothing else, so it is built on the\n * frozen v2 transcription rather than transcribed a second time. `grading` is\n * written out here with nothing imported from the current vocabulary, for the\n * reason `exerciseV2.schema.ts` gives: a shared schema admits every later\n * addition to it. Like that schema this one carries no cross-reference\n * refinements and no issue messages; it only answers \"could version 3 have\n * said this?\".\n */\nexport const geometryExerciseV3Schema = geometryExerciseV2Schema.extend({\n  schemaVersion: z.literal(v3ExerciseSchemaVersion),\n  grading: z\n    .object({ extraObjects: z.enum(['allow', 'reject']) })\n    .strict()\n    .optional(),\n})\n","// The one-way v3 → v4 translation of a stored exercise (M3.I.3, ADR 0015).\n//\n// v4 adds one optional field, `solution` — the authored canonical attempt — and\n// changes nothing else, so the translation is the identity plus a version and a\n// migrated v3 exercise simply has no solution. The gate is the v2 → v3 one a\n// version later: a v3 document carrying `solution`, or anything else version 3\n// could not say, is refused rather than promoted, because a v3 reader would\n// reject it too.\nimport type { MigrationStep } from './migrate'\nimport { geometryExerciseV3Schema } from './exerciseV3.schema'\nimport { createIdentityExerciseStep, type DocumentGate } from './v2ToV3'\n\nexport function createGeometryExerciseV3ToV4(currentExerciseSchema: DocumentGate): MigrationStep {\n  return createIdentityExerciseStep(3, geometryExerciseV3Schema, currentExerciseSchema)\n}\n","import { z } from 'zod'\nimport { entryOf } from '../geometry/entityRecord'\nimport { geometryIdSchema } from './identifier.schema'\nimport { objectTypeNameSchema } from './objectTypeName.schema'\nimport { mathViewportSchema } from './viewport.schema'\nimport { entityDefinitionSchema } from './entityDefinition.schema'\nimport { entityPresentationSchema } from './entityPresentation.schema'\nimport { entityDocumentIssues, entityIdListIssues, entityRecordSchema } from './entityDocument'\nimport { geometryGoalSchema } from './goals/geometryGoal.schema'\nimport { declarationFor, type GoalAuthoringContext } from './goals/goalKindDeclaration'\nimport { applyMigrations, type MigrationOutcome, type MigrationStep } from './migrate'\nimport { geometryExerciseV1ToV2 } from './v1ToV2'\nimport { createGeometryExerciseV2ToV3 } from './v2ToV3'\nimport { createGeometryExerciseV3ToV4 } from './v3ToV4'\nimport { geometryExerciseV3Schema } from './exerciseV3.schema'\nimport { withoutSolution } from './exerciseProjection'\nimport { geometryStateSchema } from './geometryState.schema'\n\nexport const toolNameSchema = z.enum(['ruler', 'setSquare', 'protractor'])\nexport type ToolName = z.infer<typeof toolNameSchema>\n\n// An exercise is stored and reloaded exactly as an attempt is, so it versions\n// and migrates the same way (M2.6.b). Raised to 2 at M2.6.c.1, with the\n// consumers that read what the step below produces: a stored v1 exercise is now\n// migrated on the way in and no longer has a schema of its own, because nothing\n// parses a v1 exercise — `geometryExerciseV1ToV2` reads the raw JSON.\n//\n// Raised to 3 at M3.H.6 for `grading` (ADR 0013). The human rejected adding the\n// field to v2: an older reader claims to support version 2 and would reject the\n// document anyway, so the version says out loud what the field means. **The\n// attempt document stays at 2** — the two versions are independent, and a v2\n// attempt is graded against a v3 exercise.\n//\n// Raised to 4 at M3.I.3 for `solution` (ADR 0015), for the same reason: a v3\n// reader must not be handed a v3 document it would reject.\nexport const latestGeometryExerciseVersion = 4\n\n// How strictly an attempt is graded for answer entities no goal needed\n// (RFC 0004 § Decision 6). `allow` is what every exercise did before v3, so\n// **absence means `allow`** and nothing materializes a default: an exercise that\n// states no policy is indistinguishable from one migrated from v2.\nexport const extraObjectPolicySchema = z.enum(['allow', 'reject'])\nexport type ExtraObjectPolicy = z.infer<typeof extraObjectPolicySchema>\n\n// Strict and with `extraObjects` required when the object is present: a\n// `grading: {}` that silently meant \"allow\" would be a second way to say\n// nothing, and a misspelled key inside it would be read as permissive.\nexport const exerciseGradingSchema = z.object({ extraObjects: extraObjectPolicySchema }).strict()\nexport type ExerciseGrading = z.infer<typeof exerciseGradingSchema>\n\n// The exercise document ADR 0008 froze. `givens[]` became the same `entities`\n// record the attempt uses since M2.6.c.2, so a given segment and a student\n// segment are the same shape and only the document they live in distinguishes\n// them. `label` lives in the `presentation` record and `draggable` became\n// `draggableEntityIds` — a list on the exercise and unrepresentable in an\n// attempt, so a tampered attempt cannot declare a pinned given draggable and\n// move the reference its own goals are measured against.\n//\n// `id`, `viewport`, `showGrid`, `allowedObjects`, `tools` and `goals` are\n// unchanged from v1, and the goals array migrates by identity.\n//\n// v3 adds `grading` and nothing else. An attempt cannot carry it — the\n// strictness policy is the author's, not the student's — and it is optional, so\n// a migrated v2 exercise is a v3 exercise with the field absent.\nexport const geometryExerciseSchema = z\n  .object({\n    schemaVersion: z.literal(latestGeometryExerciseVersion),\n    id: geometryIdSchema,\n    viewport: mathViewportSchema,\n    showGrid: z.boolean().optional(),\n    entities: entityRecordSchema(entityDefinitionSchema),\n    presentation: entityRecordSchema(entityPresentationSchema),\n    draggableEntityIds: z.array(geometryIdSchema),\n    allowedObjects: z.array(objectTypeNameSchema),\n    tools: z.array(toolNameSchema),\n    goals: z.array(geometryGoalSchema),\n    grading: exerciseGradingSchema.optional(),\n    // v4's authored canonical attempt (ADR 0015), a current-version attempt\n    // document. The loaders never hand it to this schema raw: a stored solution\n    // may be an older attempt version, so it is migrated and checked against the\n    // exercise on its own (`validateEmbeddedSolution()`), and Check and the\n    // student canvas load the solution-free projection instead, so a broken\n    // authored answer never disables them (RFC 0005 § Decision 4, option C).\n    solution: geometryStateSchema.optional(),\n  })\n  .strict()\n  .superRefine((exercise, context) => {\n    // An exercise is self-contained — nothing in it may name an id it does not\n    // declare — which is the half of the staging an attempt cannot have.\n    for (const issue of entityDocumentIssues(exercise, { parentsMustBeDeclared: true })) {\n      context.addIssue({ code: 'custom', path: issue.path, message: issue.message })\n    }\n    // Only a point can be dragged: dragging a segment would have to decide what\n    // happens to its endpoints, which is a command, not a stored capability.\n    for (const issue of entityIdListIssues(\n      exercise.draggableEntityIds,\n      'draggableEntityIds',\n      exercise,\n      { pointsOnly: true },\n    )) {\n      context.addIssue({ code: 'custom', path: issue.path, message: issue.message })\n    }\n\n    // Each goal kind's own cross-reference rules, from its declaration (M2.5),\n    // so this refinement stays the exercise-wide part. The entity record *is*\n    // the authoring context, so nothing translates.\n    const authoring: GoalAuthoringContext = {\n      definitionOf: (id) => entryOf(exercise.entities, id),\n    }\n    const goalIds = new Set<string>()\n    exercise.goals.forEach((goal, index) => {\n      if (goalIds.has(goal.id)) {\n        context.addIssue({\n          code: 'custom',\n          path: ['goals', index, 'id'],\n          message: `duplicate goal id: ${goal.id}`,\n        })\n      }\n      goalIds.add(goal.id)\n      for (const issue of declarationFor(goal).crossReferenceIssues(goal, authoring)) {\n        context.addIssue({\n          code: 'custom',\n          path: ['goals', index, ...issue.path],\n          message: issue.message,\n        })\n      }\n    })\n  })\n\nexport type GeometryExercise = z.infer<typeof geometryExerciseSchema>\n\n// One entry per version hop. Each gate asks the next version's schema whether\n// the document it is refusing would have been accepted there — the definition\n// of a silent promotion. For v2 → v3 that is the frozen v3 schema, because the\n// current one only accepts version 4; for v3 → v4 it is the current schema,\n// declared above, and passing it in keeps `v3ToV4.ts` out of an import cycle.\n//\n// The v3 → v4 gate asks without the solution: carrying `solution` at all is\n// what version 3 cannot say, whatever the solution contains. Asking with it\n// would let a v3 document with a *malformed* solution be invalid at both\n// versions, pass through, and then load cleanly on the solution-free path.\nexport const geometryExerciseMigrations: readonly MigrationStep[] = [\n  geometryExerciseV1ToV2,\n  createGeometryExerciseV2ToV3(geometryExerciseV3Schema),\n  createGeometryExerciseV3ToV4({\n    safeParse: (document) =>\n      geometryExerciseSchema.safeParse(\n        typeof document === 'object' && document !== null ? withoutSolution(document) : document,\n      ),\n  }),\n]\n\nexport function parseGeometryExercise(input: unknown): GeometryExercise {\n  return geometryExerciseSchema.parse(input)\n}\n\n// Brings a stored exercise up to the current version, the counterpart of\n// `migrateGeometryState()`. Structure is checked afterwards by the schema; this\n// only moves the shape forward, and it never mutates its input.\nexport function migrateGeometryExercise(input: unknown): MigrationOutcome {\n  return applyMigrations(input, geometryExerciseMigrations, latestGeometryExerciseVersion)\n}\n"],"mappings":"4EAEA,IAAM,EAA2B,EAAA,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,EAEzD,EAAqB,EAAA,EAC/B,MAAM,CACL,EACA,EACA,EACA,CACF,CAAC,CAAC,CACD,QAAQ,CAAC,EAAM,EAAM,EAAM,KAAU,EAAO,GAAQ,EAAO,EAAM,CAChE,QAAS,mDACX,CAAC,CAAC,CACD,QAAQ,CAAC,GAAQ,KAAU,EAAO,GAAQ,GAAK,EAAO,GAAQ,IAAK,CAClE,QAAS,0CACX,CAAC,CAAC,CACD,QAAQ,EAAG,GAAQ,KAAU,EAAO,GAAQ,GAAK,EAAO,GAAQ,IAAK,CACpE,QAAS,2CACX,CAAC,ECXU,EAAqB,EAAA,EAAE,mBAAmB,OAAQ,CAC7D,EAAA,EACA,EAAA,EACA,EAAA,EACA,EAAA,EACA,EAAA,EACA,EAAA,CACF,CAAC,ECqBK,EAAK,EAAA,EACR,OAAO,CAAC,CACR,IAAI,CAAC,CAAC,CACN,OAAQ,GAAU,IAAU,EAAM,KAAK,CAAC,EACrC,EAAQ,EAAA,EAAE,OAAO,CAAE,EAAG,EAAA,EAAE,OAAO,CAAC,CAAC,OAAO,EAAG,EAAG,EAAA,EAAE,OAAO,CAAC,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,OAAO,EAC5E,EAAU,EAAA,EAAE,MAAM,CAAC,EAAI,CAAE,CAAC,CAAC,CAAC,SAAS,EACrC,EAAO,EAAA,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,EAC5C,EAAW,EAAA,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAExC,EAAW,EAAA,EACd,MAAM,CAAC,EAAM,EAAM,EAAM,CAAI,CAAC,CAAC,CAC/B,QAAQ,CAAC,EAAM,EAAM,EAAM,KAAU,EAAO,GAAQ,EAAO,CAAI,CAAC,CAChE,QAAQ,CAAC,GAAQ,KAAU,EAAO,GAAQ,GAAK,EAAO,GAAQ,GAAG,CAAC,CAClE,QAAQ,EAAG,GAAQ,KAAU,EAAO,GAAQ,GAAK,EAAO,GAAQ,GAAG,EAIzD,EAAoB,CAAC,QAAS,UAAW,OAAQ,QAAQ,EACzD,EAAc,CAAC,QAAS,YAAa,YAAY,EACjD,EAAc,CACzB,SACA,gBACA,gBACA,WACA,gBACA,UACF,EAIM,EAAa,EAAA,EAAE,KAAK,CAAiB,EACrC,EAAQ,EAAA,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAEpC,EAAa,EAAA,EAAE,MAAM,CACzB,EAAA,EAAE,OAAO,CAAE,KAAM,EAAA,EAAE,QAAQ,OAAO,EAAG,GAAI,CAAM,CAAC,CAAC,CAAC,OAAO,EACzD,EAAA,EAAE,OAAO,CAAE,KAAM,EAAA,EAAE,QAAQ,OAAO,EAAG,GAAI,EAAI,EAAG,EAAA,EAAE,OAAO,CAAC,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,OAAO,EAC9E,EAAA,EACG,OAAO,CACN,KAAM,EAAA,EAAE,QAAQ,OAAO,EACvB,eAAgB,EAChB,MAAO,EAAA,EAAE,MAAM,CAAC,EAAA,EAAE,QAAQ,CAAC,EAAG,EAAA,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CACxD,CAAC,CAAC,CACD,OAAO,EACV,EAAA,EAAE,OAAO,CAAE,KAAM,EAAA,EAAE,QAAQ,SAAS,EAAG,SAAQ,CAAC,CAAC,CAAC,OAAO,EACzD,EAAA,EAAE,OAAO,CAAE,KAAM,EAAA,EAAE,QAAQ,MAAM,EAAG,SAAQ,CAAC,CAAC,CAAC,OAAO,EACtD,EAAA,EAAE,OAAO,CAAE,KAAM,EAAA,EAAE,QAAQ,QAAQ,EAAG,SAAQ,CAAC,CAAC,CAAC,OAAO,CAC1D,CAAC,EAGK,EAAa,CACjB,OAAQ,CAAE,YAAW,EACrB,cAAe,CAAE,aAAY,SAAU,EAAA,EAAE,MAAM,CAAE,CAAC,CAAC,IAAI,CAAC,CAAE,EAC1D,cAAe,CACb,aACA,kBAAmB,EACnB,eAAgB,EAChB,iBAAkB,CACpB,EACA,SAAU,CAAE,aAAY,kBAAmB,EAAI,eAAgB,EAAI,iBAAkB,CAAM,EAC3F,cAAe,CACb,WAAY,EAAA,EAAE,QAAQ,SAAS,EAC/B,aAAc,EACd,eAAgB,CAClB,EACA,SAAU,CAAE,WAAY,EAAA,EAAE,QAAQ,OAAO,EAAG,kBAAmB,EAAI,eAAgB,CAAS,CAC9F,EAEM,EAAO,EAAA,EAAE,MACb,EAAY,IAAK,GAAS,EAAA,EAAE,OAAO,CAAE,KAAI,KAAM,EAAA,EAAE,QAAQ,CAAI,EAAG,GAAG,EAAW,EAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CACjG,EAEa,EAA2B,EAAA,EACrC,OAAO,CACN,cAAe,EAAA,EAAE,QAAA,CAA+B,EAChD,KACA,WACA,SAAU,EAAA,EAAE,QAAQ,CAAC,CAAC,SAAS,EAC/B,SAAU,EAAA,EAAmB,CAAU,EACvC,aAAc,EAAA,EACZ,EAAA,EACG,OAAO,CAAE,KAAM,EAAA,EAAE,KAAK,CAAC,WAAY,UAAU,CAAC,EAAG,MAAO,EAAA,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAE,CAAC,CAAC,CACvF,OAAO,CACZ,EACA,mBAAoB,EAAA,EAAE,MAAM,CAAE,EAC9B,eAAgB,EAAA,EAAE,MAAM,CAAU,EAClC,MAAO,EAAA,EAAE,MAAM,EAAA,EAAE,KAAK,CAAW,CAAC,EAClC,MAAO,EAAA,EAAE,MAAM,CAAI,CACrB,CAAC,CAAC,CACD,OAAO,ECtFV,SAAS,EAAe,EAA0C,CAChE,IAAM,EAAQ,EAAO,QAAS,GAC5B,EAAM,OAAS,qBAAuB,EAAM,KACxC,EAAM,KAAK,IAAK,GAAQ,CAAC,GAAG,EAAM,KAAM,CAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EACtD,CAAC,EAAM,KAAK,KAAK,GAAG,GAAK,cAAc,CAC7C,EACA,MAAO,CAAC,GAAG,IAAI,IAAI,CAAK,CAAC,CAC3B,CAqBA,SAAgB,EACd,EACA,EACA,EACe,CACf,IAAM,EAAK,EAAO,EAClB,MAAO,CACL,OACA,KACA,QAAU,GAAa,CACrB,IAAM,EAAS,EAAa,UAAU,CAAQ,EAC9C,GAAI,CAAC,EAAO,SAAW,EAAW,UAAU,CAAE,GAAG,EAAU,cAAe,CAAG,CAAC,CAAC,CAAC,QAC9E,MAAU,MACR,aAAa,EAAK,yBAAyB,EAAe,EAAO,MAAM,MAAM,CAAC,CAAC,KAAK,IAAI,GAC1F,EAKF,MAAO,CAAE,GAAG,CAAS,CACvB,CACF,CACF,CAGA,SAAgB,EAA6B,EAA+C,CAC1F,OAAO,EAA2B,EAAG,EAA0B,CAAgB,CACjF,CC3EA,IAAa,EAA2B,EAAyB,OAAO,CACtE,cAAe,EAAA,EAAE,QAAA,CAA+B,EAChD,QAAS,EAAA,EACN,OAAO,CAAE,aAAc,EAAA,EAAE,KAAK,CAAC,QAAS,QAAQ,CAAC,CAAE,CAAC,CAAC,CACrD,OAAO,CAAC,CACR,SAAS,CACd,CAAC,ECZD,SAAgB,EAA6B,EAAoD,CAC/F,OAAO,EAA2B,EAAG,EAA0B,CAAqB,CACtF,CCIA,IAAa,EAAiB,EAAA,EAAE,KAAK,CAAC,QAAS,YAAa,YAAY,CAAC,EAiB5D,EAAgC,EAMhC,EAA0B,EAAA,EAAE,KAAK,CAAC,QAAS,QAAQ,CAAC,EAMpD,EAAwB,EAAA,EAAE,OAAO,CAAE,aAAc,CAAwB,CAAC,CAAC,CAAC,OAAO,EAiBnF,EAAyB,EAAA,EACnC,OAAO,CACN,cAAe,EAAA,EAAE,QAAA,CAAqC,EACtD,GAAI,EAAA,EACJ,SAAU,EACV,SAAU,EAAA,EAAE,QAAQ,CAAC,CAAC,SAAS,EAC/B,SAAU,EAAA,EAAmB,EAAA,CAAsB,EACnD,aAAc,EAAA,EAAmB,EAAA,CAAwB,EACzD,mBAAoB,EAAA,EAAE,MAAM,EAAA,CAAgB,EAC5C,eAAgB,EAAA,EAAE,MAAM,EAAA,CAAoB,EAC5C,MAAO,EAAA,EAAE,MAAM,CAAc,EAC7B,MAAO,EAAA,EAAE,MAAM,CAAkB,EACjC,QAAS,EAAsB,SAAS,EAOxC,SAAU,EAAA,EAAoB,SAAS,CACzC,CAAC,CAAC,CACD,OAAO,CAAC,CACR,aAAa,EAAU,IAAY,CAGlC,IAAK,IAAM,KAAS,EAAA,EAAqB,EAAU,CAAE,sBAAuB,EAAK,CAAC,EAChF,EAAQ,SAAS,CAAE,KAAM,SAAU,KAAM,EAAM,KAAM,QAAS,EAAM,OAAQ,CAAC,EAI/E,IAAK,IAAM,KAAS,EAAA,EAClB,EAAS,mBACT,qBACA,EACA,CAAE,WAAY,EAAK,CACrB,EACE,EAAQ,SAAS,CAAE,KAAM,SAAU,KAAM,EAAM,KAAM,QAAS,EAAM,OAAQ,CAAC,EAM/E,IAAM,EAAkC,CACtC,aAAe,GAAO,EAAA,EAAQ,EAAS,SAAU,CAAE,CACrD,EACM,EAAU,IAAI,IACpB,EAAS,MAAM,SAAS,EAAM,IAAU,CAClC,EAAQ,IAAI,EAAK,EAAE,GACrB,EAAQ,SAAS,CACf,KAAM,SACN,KAAM,CAAC,QAAS,EAAO,IAAI,EAC3B,QAAS,sBAAsB,EAAK,IACtC,CAAC,EAEH,EAAQ,IAAI,EAAK,EAAE,EACnB,IAAK,IAAM,KAAS,EAAA,EAAe,CAAI,CAAC,CAAC,qBAAqB,EAAM,CAAS,EAC3E,EAAQ,SAAS,CACf,KAAM,SACN,KAAM,CAAC,QAAS,EAAO,GAAG,EAAM,IAAI,EACpC,QAAS,EAAM,OACjB,CAAC,CAEL,CAAC,CACH,CAAC,EAcU,EAAuD,CAClE,EAAA,EACA,EAA6B,CAAwB,EACrD,EAA6B,CAC3B,UAAY,GACV,EAAuB,UACrB,OAAO,GAAa,UAAY,EAAoB,EAAA,EAAgB,CAAQ,EAAI,CAClF,CACJ,CAAC,CACH,EAEA,SAAgB,EAAsB,EAAkC,CACtE,OAAO,EAAuB,MAAM,CAAK,CAC3C,CAKA,SAAgB,EAAwB,EAAkC,CACxE,OAAO,EAAA,EAAgB,EAAO,EAAA,CAAyD,CACzF"}

package/dist/exercise.schema-ckVBW9XA.js

@@ -0,0 +1,212 @@
+import { C as e, D as t, O as n, T as r, _ as i, a, b as o, c as s, d as c, g as l, h as u, m as d, n as f, o as p, s as m, u as h, v as g, w as _, y as v } from "./geometryState.schema-D0ixyGYE.js";
+import { z as y } from "zod";
+//#region src/schemas/viewport.schema.ts
+var b = y.number().finite().min(-100).max(100), x = y.tuple([
+	b,
+	b,
+	b,
+	b
+]).refine(([e, t, n, r]) => e < n && t < r, { message: "viewport must satisfy xMin < xMax and yMin < yMax" }).refine(([e, , t]) => t - e >= 1 && t - e <= 100, { message: "viewport width must be between 1 and 100" }).refine(([, e, , t]) => t - e >= 1 && t - e <= 100, { message: "viewport height must be between 1 and 100" }), S = y.discriminatedUnion("type", [
+	v,
+	d,
+	l,
+	i,
+	u,
+	g
+]), C = y.string().min(1).refine((e) => e === e.trim()), w = y.object({
+	x: y.number().finite(),
+	y: y.number().finite()
+}).strict(), T = y.tuple([C, C]).readonly(), E = y.number().finite().min(-100).max(100), D = y.number().positive().finite(), O = y.tuple([
+	E,
+	E,
+	E,
+	E
+]).refine(([e, t, n, r]) => e < n && t < r).refine(([e, , t]) => t - e >= 1 && t - e <= 100).refine(([, e, , t]) => t - e >= 1 && t - e <= 100), k = [
+	"point",
+	"segment",
+	"line",
+	"circle"
+], A = [
+	"ruler",
+	"setSquare",
+	"protractor"
+], j = [
+	"create",
+	"throughPoints",
+	"perpendicular",
+	"parallel",
+	"segmentLength",
+	"midpoint"
+], M = y.enum(k), N = y.number().positive().max(90), P = y.union([
+	y.object({
+		kind: y.literal("point"),
+		at: w
+	}).strict(),
+	y.object({
+		kind: y.literal("point"),
+		on: C,
+		t: y.number().finite()
+	}).strict(),
+	y.object({
+		kind: y.literal("point"),
+		intersectionOf: T,
+		which: y.union([y.literal(0), y.literal(1)]).optional()
+	}).strict(),
+	y.object({
+		kind: y.literal("segment"),
+		parents: T
+	}).strict(),
+	y.object({
+		kind: y.literal("line"),
+		parents: T
+	}).strict(),
+	y.object({
+		kind: y.literal("circle"),
+		parents: T
+	}).strict()
+]), F = {
+	create: { objectType: M },
+	throughPoints: {
+		objectType: M,
+		pointIds: y.array(C).min(1)
+	},
+	perpendicular: {
+		objectType: M,
+		referenceObjectId: C,
+		throughPointId: C,
+		toleranceDegrees: N
+	},
+	parallel: {
+		objectType: M,
+		referenceObjectId: C,
+		throughPointId: C,
+		toleranceDegrees: N
+	},
+	segmentLength: {
+		objectType: y.literal("segment"),
+		targetLength: D,
+		toleranceUnits: D
+	},
+	midpoint: {
+		objectType: y.literal("point"),
+		referenceObjectId: C,
+		toleranceUnits: D
+	}
+}, I = y.union(j.map((e) => y.object({
+	id: C,
+	type: y.literal(e),
+	...F[e]
+}).strict())), L = y.object({
+	schemaVersion: y.literal(2),
+	id: C,
+	viewport: O,
+	showGrid: y.boolean().optional(),
+	entities: r(P),
+	presentation: r(y.object({
+		role: y.enum(["implicit", "explicit"]),
+		label: y.string().min(1).optional()
+	}).strict()),
+	draggableEntityIds: y.array(C),
+	allowedObjects: y.array(M),
+	tools: y.array(y.enum(A)),
+	goals: y.array(I)
+}).strict();
+//#endregion
+//#region src/schemas/v2ToV3.ts
+function R(e) {
+	let t = e.flatMap((e) => e.code === "unrecognized_keys" && e.keys ? e.keys.map((t) => [...e.path, t].join(".")) : [e.path.join(".") || "the document"]);
+	return [...new Set(t)];
+}
+function z(e, t, n) {
+	let r = e + 1;
+	return {
+		from: e,
+		to: r,
+		migrate: (i) => {
+			let a = t.safeParse(i);
+			if (!a.success && n.safeParse({
+				...i,
+				schemaVersion: r
+			}).success) throw Error(`a version ${e} exercise cannot carry ${R(a.error.issues).join(", ")}`);
+			return { ...i };
+		}
+	};
+}
+function B(e) {
+	return z(2, L, e);
+}
+var V = L.extend({
+	schemaVersion: y.literal(3),
+	grading: y.object({ extraObjects: y.enum(["allow", "reject"]) }).strict().optional()
+});
+//#endregion
+//#region src/schemas/v3ToV4.ts
+function H(e) {
+	return z(3, V, e);
+}
+//#endregion
+//#region src/schemas/exercise.schema.ts
+var U = y.enum([
+	"ruler",
+	"setSquare",
+	"protractor"
+]), W = 4, G = y.enum(["allow", "reject"]), K = y.object({ extraObjects: G }).strict(), q = y.object({
+	schemaVersion: y.literal(4),
+	id: t,
+	viewport: x,
+	showGrid: y.boolean().optional(),
+	entities: r(s),
+	presentation: r(m),
+	draggableEntityIds: y.array(t),
+	allowedObjects: y.array(o),
+	tools: y.array(U),
+	goals: y.array(S),
+	grading: K.optional(),
+	solution: f.optional()
+}).strict().superRefine((t, r) => {
+	for (let n of e(t, { parentsMustBeDeclared: !0 })) r.addIssue({
+		code: "custom",
+		path: n.path,
+		message: n.message
+	});
+	for (let e of _(t.draggableEntityIds, "draggableEntityIds", t, { pointsOnly: !0 })) r.addIssue({
+		code: "custom",
+		path: e.path,
+		message: e.message
+	});
+	let i = { definitionOf: (e) => n(t.entities, e) }, a = /* @__PURE__ */ new Set();
+	t.goals.forEach((e, t) => {
+		a.has(e.id) && r.addIssue({
+			code: "custom",
+			path: [
+				"goals",
+				t,
+				"id"
+			],
+			message: `duplicate goal id: ${e.id}`
+		}), a.add(e.id);
+		for (let n of c(e).crossReferenceIssues(e, i)) r.addIssue({
+			code: "custom",
+			path: [
+				"goals",
+				t,
+				...n.path
+			],
+			message: n.message
+		});
+	});
+}), J = [
+	a,
+	B(V),
+	H({ safeParse: (e) => q.safeParse(typeof e == "object" && e ? h(e) : e) })
+];
+function Y(e) {
+	return q.parse(e);
+}
+function X(e) {
+	return p(e, J, 4);
+}
+//#endregion
+export { W as a, U as c, q as i, S as l, G as n, X as o, J as r, Y as s, K as t, x as u };
+
+//# sourceMappingURL=exercise.schema-ckVBW9XA.js.map

package/dist/exercise.schema-ckVBW9XA.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exercise.schema-ckVBW9XA.js","names":[],"sources":["../src/schemas/viewport.schema.ts","../src/schemas/goals/geometryGoal.schema.ts","../src/schemas/exerciseV2.schema.ts","../src/schemas/v2ToV3.ts","../src/schemas/exerciseV3.schema.ts","../src/schemas/v3ToV4.ts","../src/schemas/exercise.schema.ts"],"sourcesContent":["import { z } from 'zod'\n\nconst viewportCoordinateSchema = z.number().finite().min(-100).max(100)\n\nexport const mathViewportSchema = z\n  .tuple([\n    viewportCoordinateSchema,\n    viewportCoordinateSchema,\n    viewportCoordinateSchema,\n    viewportCoordinateSchema,\n  ])\n  .refine(([xMin, yMin, xMax, yMax]) => xMin < xMax && yMin < yMax, {\n    message: 'viewport must satisfy xMin < xMax and yMin < yMax',\n  })\n  .refine(([xMin, , xMax]) => xMax - xMin >= 1 && xMax - xMin <= 100, {\n    message: 'viewport width must be between 1 and 100',\n  })\n  .refine(([, yMin, , yMax]) => yMax - yMin >= 1 && yMax - yMin <= 100, {\n    message: 'viewport height must be between 1 and 100',\n  })\n\nexport type MathViewport = z.infer<typeof mathViewportSchema>\n","import { z } from 'zod'\nimport { createGoalSchema } from './createGoal.schema'\nimport { throughPointsGoalSchema } from './throughPointsGoal.schema'\nimport { perpendicularGoalSchema } from './perpendicularGoal.schema'\nimport { parallelGoalSchema } from './parallelGoal.schema'\nimport { segmentLengthGoalSchema } from './segmentLengthGoal.schema'\nimport { midpointGoalSchema } from './midpointGoal.schema'\n\nexport const geometryGoalSchema = z.discriminatedUnion('type', [\n  createGoalSchema,\n  throughPointsGoalSchema,\n  perpendicularGoalSchema,\n  parallelGoalSchema,\n  segmentLengthGoalSchema,\n  midpointGoalSchema,\n])\n\nexport type GeometryGoal = z.infer<typeof geometryGoalSchema>\n","import { z } from 'zod'\nimport { entityRecordSchema } from './entityDocument'\n\nexport const v2ExerciseSchemaVersion = 2\n\n/**\n * The exercise document ADR 0008 froze, transcribed **whole** so the v2 → v3\n * step can check what it was handed before promoting it (ADR 0013).\n *\n * Frozen means frozen: nothing below is imported from the current vocabulary.\n * An earlier version of this file reused `entityDefinitionSchema`,\n * `entityPresentationSchema`, `objectTypeNameSchema`, `toolNameSchema` and\n * `geometryGoalSchema`, which would have silently admitted every later addition\n * to them — the `angle` entity kind, `angleMeasure` / `angleBisector` goals and\n * the `measureLabel` presentation entry ADR 0010 already plans — into a document\n * claiming to be version 2. A union member or an enum value is as much a version\n * change as a new field, and a shared schema cannot tell two versions apart.\n *\n * What is deliberately shared is machinery rather than vocabulary:\n * `entityRecordSchema()` supplies the `__proto__` refusal (M2.G.1) and the\n * record's id-key rule. If those change they change for every version at once,\n * which is a decision of its own rather than a new document feature.\n *\n * Two things this schema is not. It carries **no cross-reference refinements**:\n * it answers \"could version 2 have said this?\", never \"is this exercise\n * coherent?\" — the migrated document is parsed by `geometryExerciseSchema`,\n * whose refinements report a dangling id or a duplicate goal id at its real\n * path. And it carries **no issue messages**: nothing renders them, because\n * `v2ToV3.ts` reports the offending *paths* and the surviving document is\n * described by the current schema.\n *\n * `tests/schemas/v2ToV3.test.ts` § \"the frozen v2 vocabulary\" fails the day the\n * current schemas gain a kind, goal, object type, tool or presentation field\n * this file does not list, so the freeze cannot rot quietly.\n */\n\nconst id = z\n  .string()\n  .min(1)\n  .refine((value) => value === value.trim())\nconst point = z.object({ x: z.number().finite(), y: z.number().finite() }).strict()\nconst parents = z.tuple([id, id]).readonly()\nconst span = z.number().finite().min(-100).max(100)\nconst positive = z.number().positive().finite()\n\nconst viewport = z\n  .tuple([span, span, span, span])\n  .refine(([xMin, yMin, xMax, yMax]) => xMin < xMax && yMin < yMax)\n  .refine(([xMin, , xMax]) => xMax - xMin >= 1 && xMax - xMin <= 100)\n  .refine(([, yMin, , yMax]) => yMax - yMin >= 1 && yMax - yMin <= 100)\n\n/** v2's four entity kinds, its object types, its tools and its goal types. */\nexport const v2EntityKinds = ['point', 'segment', 'line', 'circle'] as const\nexport const v2ObjectTypeNames = ['point', 'segment', 'line', 'circle'] as const\nexport const v2ToolNames = ['ruler', 'setSquare', 'protractor'] as const\nexport const v2GoalTypes = [\n  'create',\n  'throughPoints',\n  'perpendicular',\n  'parallel',\n  'segmentLength',\n  'midpoint',\n] as const\n/** And the only two keys a v2 presentation entry had. */\nexport const v2PresentationKeys = ['role', 'label'] as const\n\nconst objectType = z.enum(v2ObjectTypeNames)\nconst angle = z.number().positive().max(90)\n\nconst definition = z.union([\n  z.object({ kind: z.literal('point'), at: point }).strict(),\n  z.object({ kind: z.literal('point'), on: id, t: z.number().finite() }).strict(),\n  z\n    .object({\n      kind: z.literal('point'),\n      intersectionOf: parents,\n      which: z.union([z.literal(0), z.literal(1)]).optional(),\n    })\n    .strict(),\n  z.object({ kind: z.literal('segment'), parents }).strict(),\n  z.object({ kind: z.literal('line'), parents }).strict(),\n  z.object({ kind: z.literal('circle'), parents }).strict(),\n])\n\n// One row per v2 goal kind: the fields it carried beyond `id` and `type`.\nconst goalFields = {\n  create: { objectType },\n  throughPoints: { objectType, pointIds: z.array(id).min(1) },\n  perpendicular: {\n    objectType,\n    referenceObjectId: id,\n    throughPointId: id,\n    toleranceDegrees: angle,\n  },\n  parallel: { objectType, referenceObjectId: id, throughPointId: id, toleranceDegrees: angle },\n  segmentLength: {\n    objectType: z.literal('segment'),\n    targetLength: positive,\n    toleranceUnits: positive,\n  },\n  midpoint: { objectType: z.literal('point'), referenceObjectId: id, toleranceUnits: positive },\n} as const\n\nconst goal = z.union(\n  v2GoalTypes.map((type) => z.object({ id, type: z.literal(type), ...goalFields[type] }).strict()),\n)\n\nexport const geometryExerciseV2Schema = z\n  .object({\n    schemaVersion: z.literal(v2ExerciseSchemaVersion),\n    id,\n    viewport,\n    showGrid: z.boolean().optional(),\n    entities: entityRecordSchema(definition),\n    presentation: entityRecordSchema(\n      z\n        .object({ role: z.enum(['implicit', 'explicit']), label: z.string().min(1).optional() })\n        .strict(),\n    ),\n    draggableEntityIds: z.array(id),\n    allowedObjects: z.array(objectType),\n    tools: z.array(z.enum(v2ToolNames)),\n    goals: z.array(goal),\n  })\n  .strict()\n","// The one-way v2 → v3 translation of a stored exercise (M3.H.6, ADR 0013).\n//\n// v3 adds one optional field, `grading`, and changes nothing else — so the\n// translation is the identity on every field a v2 document carries, and it\n// deliberately does **not** materialize a policy: absence means permissive,\n// and writing `{ extraObjects: 'allow' }` here would turn every historical\n// exercise into one that states a policy it never authored.\n//\n// The step does check its input, unlike `v1ToV2`'s translations, and for the\n// reason the human's version decision names: a v2 document carrying anything\n// version 2 could not say must be **rejected** rather than promoted into a\n// document where it is legal. Nothing downstream can catch that — after the hop\n// the vocabulary is the current one — so the gate has to be here. The v3 → v4\n// hop (ADR 0015) is the same kind of step, so both are built by one factory.\nimport type { ZodType } from 'zod'\nimport type { MigrationStep } from './migrate'\nimport { geometryExerciseV2Schema } from './exerciseV2.schema'\n\n/** The version the step below produces. */\nexport const v3SchemaVersion = 3\n\n/**\n * Just enough of a schema for the gate: the next version's parser, passed in\n * rather than imported to keep this module free of a cycle with\n * `exercise.schema.ts` — and small enough that a test can substitute a laxer\n * one and watch the gate react.\n */\nexport interface DocumentGate {\n  safeParse(input: unknown): { success: boolean }\n}\n\ninterface FrozenIssue {\n  code: string\n  path: PropertyKey[]\n  keys?: string[]\n}\n\n/** What the document said that the version it claims has no way to express. */\nfunction offendingPaths(issues: readonly FrozenIssue[]): string[] {\n  const named = issues.flatMap((issue) =>\n    issue.code === 'unrecognized_keys' && issue.keys\n      ? issue.keys.map((key) => [...issue.path, key].join('.'))\n      : [issue.path.join('.') || 'the document'],\n  )\n  return [...new Set(named)]\n}\n\n/**\n * An exercise hop that adds vocabulary and changes nothing it already had. The\n * refusal rule, stated exactly: **a document that is invalid at `from` and\n * valid at `from + 1` is refused.** That is what silent promotion means, and it\n * covers every way the next version can be wider — a new field, a new entity\n * kind, a new goal type, a new `allowedObjects` member, a new presentation\n * entry, a loosened value — without the step having to enumerate them or read\n * issue codes to guess which is which.\n *\n * A document that is invalid at **both** versions passes through untouched, so\n * an ordinary fault (a bad viewport, a dangling parent) is still reported by\n * `geometryExerciseSchema` at its own document path rather than refiled here as\n * one message under `schemaVersion`. It is rejected either way; only the quality\n * of the error differs, and the path is the better answer.\n *\n * `frozenSchema` must be a transcription of version `from` and `nextSchema` the\n * parser of version `from + 1` — frozen as well unless that is the current one,\n * because a current schema's version literal would never accept the promotion.\n */\nexport function createIdentityExerciseStep(\n  from: number,\n  frozenSchema: ZodType,\n  nextSchema: DocumentGate,\n): MigrationStep {\n  const to = from + 1\n  return {\n    from,\n    to,\n    migrate: (document) => {\n      const parsed = frozenSchema.safeParse(document)\n      if (!parsed.success && nextSchema.safeParse({ ...document, schemaVersion: to }).success) {\n        throw new Error(\n          `a version ${from} exercise cannot carry ${offendingPaths(parsed.error.issues).join(', ')}`,\n        )\n      }\n      // The input document, not a parsed copy: the shape is unchanged, so the\n      // stored values travel on untouched and `applyMigrations()` stamps the new\n      // version.\n      return { ...document }\n    },\n  }\n}\n\n/** The v2 → v3 hop, gated against the version 3 schema it is given. */\nexport function createGeometryExerciseV2ToV3(v3ExerciseSchema: DocumentGate): MigrationStep {\n  return createIdentityExerciseStep(2, geometryExerciseV2Schema, v3ExerciseSchema)\n}\n","import { z } from 'zod'\nimport { geometryExerciseV2Schema } from './exerciseV2.schema'\n\nexport const v3ExerciseSchemaVersion = 3\n\n/**\n * The exercise document ADR 0013 froze at version 3, so the v3 → v4 step can\n * check what it was handed before promoting it (ADR 0015) — and so the v2 → v3\n * step still has a version 3 to ask once the current schema has moved past it.\n *\n * Version 3 is version 2 plus `grading` and nothing else, so it is built on the\n * frozen v2 transcription rather than transcribed a second time. `grading` is\n * written out here with nothing imported from the current vocabulary, for the\n * reason `exerciseV2.schema.ts` gives: a shared schema admits every later\n * addition to it. Like that schema this one carries no cross-reference\n * refinements and no issue messages; it only answers \"could version 3 have\n * said this?\".\n */\nexport const geometryExerciseV3Schema = geometryExerciseV2Schema.extend({\n  schemaVersion: z.literal(v3ExerciseSchemaVersion),\n  grading: z\n    .object({ extraObjects: z.enum(['allow', 'reject']) })\n    .strict()\n    .optional(),\n})\n","// The one-way v3 → v4 translation of a stored exercise (M3.I.3, ADR 0015).\n//\n// v4 adds one optional field, `solution` — the authored canonical attempt — and\n// changes nothing else, so the translation is the identity plus a version and a\n// migrated v3 exercise simply has no solution. The gate is the v2 → v3 one a\n// version later: a v3 document carrying `solution`, or anything else version 3\n// could not say, is refused rather than promoted, because a v3 reader would\n// reject it too.\nimport type { MigrationStep } from './migrate'\nimport { geometryExerciseV3Schema } from './exerciseV3.schema'\nimport { createIdentityExerciseStep, type DocumentGate } from './v2ToV3'\n\nexport function createGeometryExerciseV3ToV4(currentExerciseSchema: DocumentGate): MigrationStep {\n  return createIdentityExerciseStep(3, geometryExerciseV3Schema, currentExerciseSchema)\n}\n","import { z } from 'zod'\nimport { entryOf } from '../geometry/entityRecord'\nimport { geometryIdSchema } from './identifier.schema'\nimport { objectTypeNameSchema } from './objectTypeName.schema'\nimport { mathViewportSchema } from './viewport.schema'\nimport { entityDefinitionSchema } from './entityDefinition.schema'\nimport { entityPresentationSchema } from './entityPresentation.schema'\nimport { entityDocumentIssues, entityIdListIssues, entityRecordSchema } from './entityDocument'\nimport { geometryGoalSchema } from './goals/geometryGoal.schema'\nimport { declarationFor, type GoalAuthoringContext } from './goals/goalKindDeclaration'\nimport { applyMigrations, type MigrationOutcome, type MigrationStep } from './migrate'\nimport { geometryExerciseV1ToV2 } from './v1ToV2'\nimport { createGeometryExerciseV2ToV3 } from './v2ToV3'\nimport { createGeometryExerciseV3ToV4 } from './v3ToV4'\nimport { geometryExerciseV3Schema } from './exerciseV3.schema'\nimport { withoutSolution } from './exerciseProjection'\nimport { geometryStateSchema } from './geometryState.schema'\n\nexport const toolNameSchema = z.enum(['ruler', 'setSquare', 'protractor'])\nexport type ToolName = z.infer<typeof toolNameSchema>\n\n// An exercise is stored and reloaded exactly as an attempt is, so it versions\n// and migrates the same way (M2.6.b). Raised to 2 at M2.6.c.1, with the\n// consumers that read what the step below produces: a stored v1 exercise is now\n// migrated on the way in and no longer has a schema of its own, because nothing\n// parses a v1 exercise — `geometryExerciseV1ToV2` reads the raw JSON.\n//\n// Raised to 3 at M3.H.6 for `grading` (ADR 0013). The human rejected adding the\n// field to v2: an older reader claims to support version 2 and would reject the\n// document anyway, so the version says out loud what the field means. **The\n// attempt document stays at 2** — the two versions are independent, and a v2\n// attempt is graded against a v3 exercise.\n//\n// Raised to 4 at M3.I.3 for `solution` (ADR 0015), for the same reason: a v3\n// reader must not be handed a v3 document it would reject.\nexport const latestGeometryExerciseVersion = 4\n\n// How strictly an attempt is graded for answer entities no goal needed\n// (RFC 0004 § Decision 6). `allow` is what every exercise did before v3, so\n// **absence means `allow`** and nothing materializes a default: an exercise that\n// states no policy is indistinguishable from one migrated from v2.\nexport const extraObjectPolicySchema = z.enum(['allow', 'reject'])\nexport type ExtraObjectPolicy = z.infer<typeof extraObjectPolicySchema>\n\n// Strict and with `extraObjects` required when the object is present: a\n// `grading: {}` that silently meant \"allow\" would be a second way to say\n// nothing, and a misspelled key inside it would be read as permissive.\nexport const exerciseGradingSchema = z.object({ extraObjects: extraObjectPolicySchema }).strict()\nexport type ExerciseGrading = z.infer<typeof exerciseGradingSchema>\n\n// The exercise document ADR 0008 froze. `givens[]` became the same `entities`\n// record the attempt uses since M2.6.c.2, so a given segment and a student\n// segment are the same shape and only the document they live in distinguishes\n// them. `label` lives in the `presentation` record and `draggable` became\n// `draggableEntityIds` — a list on the exercise and unrepresentable in an\n// attempt, so a tampered attempt cannot declare a pinned given draggable and\n// move the reference its own goals are measured against.\n//\n// `id`, `viewport`, `showGrid`, `allowedObjects`, `tools` and `goals` are\n// unchanged from v1, and the goals array migrates by identity.\n//\n// v3 adds `grading` and nothing else. An attempt cannot carry it — the\n// strictness policy is the author's, not the student's — and it is optional, so\n// a migrated v2 exercise is a v3 exercise with the field absent.\nexport const geometryExerciseSchema = z\n  .object({\n    schemaVersion: z.literal(latestGeometryExerciseVersion),\n    id: geometryIdSchema,\n    viewport: mathViewportSchema,\n    showGrid: z.boolean().optional(),\n    entities: entityRecordSchema(entityDefinitionSchema),\n    presentation: entityRecordSchema(entityPresentationSchema),\n    draggableEntityIds: z.array(geometryIdSchema),\n    allowedObjects: z.array(objectTypeNameSchema),\n    tools: z.array(toolNameSchema),\n    goals: z.array(geometryGoalSchema),\n    grading: exerciseGradingSchema.optional(),\n    // v4's authored canonical attempt (ADR 0015), a current-version attempt\n    // document. The loaders never hand it to this schema raw: a stored solution\n    // may be an older attempt version, so it is migrated and checked against the\n    // exercise on its own (`validateEmbeddedSolution()`), and Check and the\n    // student canvas load the solution-free projection instead, so a broken\n    // authored answer never disables them (RFC 0005 § Decision 4, option C).\n    solution: geometryStateSchema.optional(),\n  })\n  .strict()\n  .superRefine((exercise, context) => {\n    // An exercise is self-contained — nothing in it may name an id it does not\n    // declare — which is the half of the staging an attempt cannot have.\n    for (const issue of entityDocumentIssues(exercise, { parentsMustBeDeclared: true })) {\n      context.addIssue({ code: 'custom', path: issue.path, message: issue.message })\n    }\n    // Only a point can be dragged: dragging a segment would have to decide what\n    // happens to its endpoints, which is a command, not a stored capability.\n    for (const issue of entityIdListIssues(\n      exercise.draggableEntityIds,\n      'draggableEntityIds',\n      exercise,\n      { pointsOnly: true },\n    )) {\n      context.addIssue({ code: 'custom', path: issue.path, message: issue.message })\n    }\n\n    // Each goal kind's own cross-reference rules, from its declaration (M2.5),\n    // so this refinement stays the exercise-wide part. The entity record *is*\n    // the authoring context, so nothing translates.\n    const authoring: GoalAuthoringContext = {\n      definitionOf: (id) => entryOf(exercise.entities, id),\n    }\n    const goalIds = new Set<string>()\n    exercise.goals.forEach((goal, index) => {\n      if (goalIds.has(goal.id)) {\n        context.addIssue({\n          code: 'custom',\n          path: ['goals', index, 'id'],\n          message: `duplicate goal id: ${goal.id}`,\n        })\n      }\n      goalIds.add(goal.id)\n      for (const issue of declarationFor(goal).crossReferenceIssues(goal, authoring)) {\n        context.addIssue({\n          code: 'custom',\n          path: ['goals', index, ...issue.path],\n          message: issue.message,\n        })\n      }\n    })\n  })\n\nexport type GeometryExercise = z.infer<typeof geometryExerciseSchema>\n\n// One entry per version hop. Each gate asks the next version's schema whether\n// the document it is refusing would have been accepted there — the definition\n// of a silent promotion. For v2 → v3 that is the frozen v3 schema, because the\n// current one only accepts version 4; for v3 → v4 it is the current schema,\n// declared above, and passing it in keeps `v3ToV4.ts` out of an import cycle.\n//\n// The v3 → v4 gate asks without the solution: carrying `solution` at all is\n// what version 3 cannot say, whatever the solution contains. Asking with it\n// would let a v3 document with a *malformed* solution be invalid at both\n// versions, pass through, and then load cleanly on the solution-free path.\nexport const geometryExerciseMigrations: readonly MigrationStep[] = [\n  geometryExerciseV1ToV2,\n  createGeometryExerciseV2ToV3(geometryExerciseV3Schema),\n  createGeometryExerciseV3ToV4({\n    safeParse: (document) =>\n      geometryExerciseSchema.safeParse(\n        typeof document === 'object' && document !== null ? withoutSolution(document) : document,\n      ),\n  }),\n]\n\nexport function parseGeometryExercise(input: unknown): GeometryExercise {\n  return geometryExerciseSchema.parse(input)\n}\n\n// Brings a stored exercise up to the current version, the counterpart of\n// `migrateGeometryState()`. Structure is checked afterwards by the schema; this\n// only moves the shape forward, and it never mutates its input.\nexport function migrateGeometryExercise(input: unknown): MigrationOutcome {\n  return applyMigrations(input, geometryExerciseMigrations, latestGeometryExerciseVersion)\n}\n"],"mappings":";;;AAEA,IAAM,IAA2B,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,GAEzD,IAAqB,EAC/B,MAAM;CACL;CACA;CACA;CACA;AACF,CAAC,CAAC,CACD,QAAQ,CAAC,GAAM,GAAM,GAAM,OAAU,IAAO,KAAQ,IAAO,GAAM,EAChE,SAAS,oDACX,CAAC,CAAC,CACD,QAAQ,CAAC,KAAQ,OAAU,IAAO,KAAQ,KAAK,IAAO,KAAQ,KAAK,EAClE,SAAS,2CACX,CAAC,CAAC,CACD,QAAQ,GAAG,KAAQ,OAAU,IAAO,KAAQ,KAAK,IAAO,KAAQ,KAAK,EACpE,SAAS,4CACX,CAAC,GCXU,IAAqB,EAAE,mBAAmB,QAAQ;CAC7D;CACA;CACA;CACA;CACA;CACA;AACF,CAAC,GCqBK,IAAK,EACR,OAAO,CAAC,CACR,IAAI,CAAC,CAAC,CACN,QAAQ,MAAU,MAAU,EAAM,KAAK,CAAC,GACrC,IAAQ,EAAE,OAAO;CAAE,GAAG,EAAE,OAAO,CAAC,CAAC,OAAO;CAAG,GAAG,EAAE,OAAO,CAAC,CAAC,OAAO;AAAE,CAAC,CAAC,CAAC,OAAO,GAC5E,IAAU,EAAE,MAAM,CAAC,GAAI,CAAE,CAAC,CAAC,CAAC,SAAS,GACrC,IAAO,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,GAC5C,IAAW,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,GAExC,IAAW,EACd,MAAM;CAAC;CAAM;CAAM;CAAM;AAAI,CAAC,CAAC,CAC/B,QAAQ,CAAC,GAAM,GAAM,GAAM,OAAU,IAAO,KAAQ,IAAO,CAAI,CAAC,CAChE,QAAQ,CAAC,KAAQ,OAAU,IAAO,KAAQ,KAAK,IAAO,KAAQ,GAAG,CAAC,CAClE,QAAQ,GAAG,KAAQ,OAAU,IAAO,KAAQ,KAAK,IAAO,KAAQ,GAAG,GAIzD,IAAoB;CAAC;CAAS;CAAW;CAAQ;AAAQ,GACzD,IAAc;CAAC;CAAS;CAAa;AAAY,GACjD,IAAc;CACzB;CACA;CACA;CACA;CACA;CACA;AACF,GAIM,IAAa,EAAE,KAAK,CAAiB,GACrC,IAAQ,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,GAEpC,IAAa,EAAE,MAAM;CACzB,EAAE,OAAO;EAAE,MAAM,EAAE,QAAQ,OAAO;EAAG,IAAI;CAAM,CAAC,CAAC,CAAC,OAAO;CACzD,EAAE,OAAO;EAAE,MAAM,EAAE,QAAQ,OAAO;EAAG,IAAI;EAAI,GAAG,EAAE,OAAO,CAAC,CAAC,OAAO;CAAE,CAAC,CAAC,CAAC,OAAO;CAC9E,EACG,OAAO;EACN,MAAM,EAAE,QAAQ,OAAO;EACvB,gBAAgB;EAChB,OAAO,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;CACxD,CAAC,CAAC,CACD,OAAO;CACV,EAAE,OAAO;EAAE,MAAM,EAAE,QAAQ,SAAS;EAAG;CAAQ,CAAC,CAAC,CAAC,OAAO;CACzD,EAAE,OAAO;EAAE,MAAM,EAAE,QAAQ,MAAM;EAAG;CAAQ,CAAC,CAAC,CAAC,OAAO;CACtD,EAAE,OAAO;EAAE,MAAM,EAAE,QAAQ,QAAQ;EAAG;CAAQ,CAAC,CAAC,CAAC,OAAO;AAC1D,CAAC,GAGK,IAAa;CACjB,QAAQ,EAAE,cAAW;CACrB,eAAe;EAAE;EAAY,UAAU,EAAE,MAAM,CAAE,CAAC,CAAC,IAAI,CAAC;CAAE;CAC1D,eAAe;EACb;EACA,mBAAmB;EACnB,gBAAgB;EAChB,kBAAkB;CACpB;CACA,UAAU;EAAE;EAAY,mBAAmB;EAAI,gBAAgB;EAAI,kBAAkB;CAAM;CAC3F,eAAe;EACb,YAAY,EAAE,QAAQ,SAAS;EAC/B,cAAc;EACd,gBAAgB;CAClB;CACA,UAAU;EAAE,YAAY,EAAE,QAAQ,OAAO;EAAG,mBAAmB;EAAI,gBAAgB;CAAS;AAC9F,GAEM,IAAO,EAAE,MACb,EAAY,KAAK,MAAS,EAAE,OAAO;CAAE;CAAI,MAAM,EAAE,QAAQ,CAAI;CAAG,GAAG,EAAW;AAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CACjG,GAEa,IAA2B,EACrC,OAAO;CACN,eAAe,EAAE,QAAA,CAA+B;CAChD;CACA;CACA,UAAU,EAAE,QAAQ,CAAC,CAAC,SAAS;CAC/B,UAAU,EAAmB,CAAU;CACvC,cAAc,EACZ,EACG,OAAO;EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,UAAU,CAAC;EAAG,OAAO,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;CAAE,CAAC,CAAC,CACvF,OAAO,CACZ;CACA,oBAAoB,EAAE,MAAM,CAAE;CAC9B,gBAAgB,EAAE,MAAM,CAAU;CAClC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAW,CAAC;CAClC,OAAO,EAAE,MAAM,CAAI;AACrB,CAAC,CAAC,CACD,OAAO;;;ACtFV,SAAS,EAAe,GAA0C;CAChE,IAAM,IAAQ,EAAO,SAAS,MAC5B,EAAM,SAAS,uBAAuB,EAAM,OACxC,EAAM,KAAK,KAAK,MAAQ,CAAC,GAAG,EAAM,MAAM,CAAG,CAAC,CAAC,KAAK,GAAG,CAAC,IACtD,CAAC,EAAM,KAAK,KAAK,GAAG,KAAK,cAAc,CAC7C;CACA,OAAO,CAAC,GAAG,IAAI,IAAI,CAAK,CAAC;AAC3B;AAqBA,SAAgB,EACd,GACA,GACA,GACe;CACf,IAAM,IAAK,IAAO;CAClB,OAAO;EACL;EACA;EACA,UAAU,MAAa;GACrB,IAAM,IAAS,EAAa,UAAU,CAAQ;GAC9C,IAAI,CAAC,EAAO,WAAW,EAAW,UAAU;IAAE,GAAG;IAAU,eAAe;GAAG,CAAC,CAAC,CAAC,SAC9E,MAAU,MACR,aAAa,EAAK,yBAAyB,EAAe,EAAO,MAAM,MAAM,CAAC,CAAC,KAAK,IAAI,GAC1F;GAKF,OAAO,EAAE,GAAG,EAAS;EACvB;CACF;AACF;AAGA,SAAgB,EAA6B,GAA+C;CAC1F,OAAO,EAA2B,GAAG,GAA0B,CAAgB;AACjF;AC3EA,IAAa,IAA2B,EAAyB,OAAO;CACtE,eAAe,EAAE,QAAA,CAA+B;CAChD,SAAS,EACN,OAAO,EAAE,cAAc,EAAE,KAAK,CAAC,SAAS,QAAQ,CAAC,EAAE,CAAC,CAAC,CACrD,OAAO,CAAC,CACR,SAAS;AACd,CAAC;;;ACZD,SAAgB,EAA6B,GAAoD;CAC/F,OAAO,EAA2B,GAAG,GAA0B,CAAqB;AACtF;;;ACIA,IAAa,IAAiB,EAAE,KAAK;CAAC;CAAS;CAAa;AAAY,CAAC,GAiB5D,IAAgC,GAMhC,IAA0B,EAAE,KAAK,CAAC,SAAS,QAAQ,CAAC,GAMpD,IAAwB,EAAE,OAAO,EAAE,cAAc,EAAwB,CAAC,CAAC,CAAC,OAAO,GAiBnF,IAAyB,EACnC,OAAO;CACN,eAAe,EAAE,QAAA,CAAqC;CACtD,IAAI;CACJ,UAAU;CACV,UAAU,EAAE,QAAQ,CAAC,CAAC,SAAS;CAC/B,UAAU,EAAmB,CAAsB;CACnD,cAAc,EAAmB,CAAwB;CACzD,oBAAoB,EAAE,MAAM,CAAgB;CAC5C,gBAAgB,EAAE,MAAM,CAAoB;CAC5C,OAAO,EAAE,MAAM,CAAc;CAC7B,OAAO,EAAE,MAAM,CAAkB;CACjC,SAAS,EAAsB,SAAS;CAOxC,UAAU,EAAoB,SAAS;AACzC,CAAC,CAAC,CACD,OAAO,CAAC,CACR,aAAa,GAAU,MAAY;CAGlC,KAAK,IAAM,KAAS,EAAqB,GAAU,EAAE,uBAAuB,GAAK,CAAC,GAChF,EAAQ,SAAS;EAAE,MAAM;EAAU,MAAM,EAAM;EAAM,SAAS,EAAM;CAAQ,CAAC;CAI/E,KAAK,IAAM,KAAS,EAClB,EAAS,oBACT,sBACA,GACA,EAAE,YAAY,GAAK,CACrB,GACE,EAAQ,SAAS;EAAE,MAAM;EAAU,MAAM,EAAM;EAAM,SAAS,EAAM;CAAQ,CAAC;CAM/E,IAAM,IAAkC,EACtC,eAAe,MAAO,EAAQ,EAAS,UAAU,CAAE,EACrD,GACM,oBAAU,IAAI,IAAY;CAChC,EAAS,MAAM,SAAS,GAAM,MAAU;EAQtC,AAPI,EAAQ,IAAI,EAAK,EAAE,KACrB,EAAQ,SAAS;GACf,MAAM;GACN,MAAM;IAAC;IAAS;IAAO;GAAI;GAC3B,SAAS,sBAAsB,EAAK;EACtC,CAAC,GAEH,EAAQ,IAAI,EAAK,EAAE;EACnB,KAAK,IAAM,KAAS,EAAe,CAAI,CAAC,CAAC,qBAAqB,GAAM,CAAS,GAC3E,EAAQ,SAAS;GACf,MAAM;GACN,MAAM;IAAC;IAAS;IAAO,GAAG,EAAM;GAAI;GACpC,SAAS,EAAM;EACjB,CAAC;CAEL,CAAC;AACH,CAAC,GAcU,IAAuD;CAClE;CACA,EAA6B,CAAwB;CACrD,EAA6B,EAC3B,YAAY,MACV,EAAuB,UACrB,OAAO,KAAa,YAAY,IAAoB,EAAgB,CAAQ,IAAI,CAClF,EACJ,CAAC;AACH;AAEA,SAAgB,EAAsB,GAAkC;CACtE,OAAO,EAAuB,MAAM,CAAK;AAC3C;AAKA,SAAgB,EAAwB,GAAkC;CACxE,OAAO,EAAgB,GAAO,GAAA,CAAyD;AACzF"}