@mathscan/geometry-engine 0.1.0 → 0.1.1

package/dist/schemas/goals/givenAngleGoal.schema.d.ts

@@ -0,0 +1,36 @@
+import { z } from 'zod';
+/**
+ * The first **figure goal** (ADR 0016): it judges a given angle as the evaluated
+ * figure resolves it, rather than an entity the student built.
+ *
+ * An exercise that pins an angle's vertex and first arm and lets the student
+ * drag the second has no candidate to grade — a given is never a candidate
+ * (ADR 0008 § Amendment) — so its only subject is the figure itself. What makes
+ * that safe is the override invariant: an attempt may move an authorized point
+ * and nothing else, so the figure judged here is the exercise's.
+ */
+export declare const givenAngleGoalSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodLiteral<"givenAngle">;
+    angleId: z.ZodString;
+    interpretation: z.ZodEnum<{
+        directed: "directed";
+        undirected: "undirected";
+    }>;
+    criterion: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"degrees">;
+        targetDegrees: z.ZodNumber;
+        toleranceDegrees: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"type">;
+        angleType: z.ZodEnum<{
+            acute: "acute";
+            right: "right";
+            obtuse: "obtuse";
+            straight: "straight";
+            reflex: "reflex";
+        }>;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>;
+export type GivenAngleGoal = z.infer<typeof givenAngleGoalSchema>;
+//# sourceMappingURL=givenAngleGoal.schema.d.ts.map

package/dist/schemas/goals/givenAngleGoal.schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"givenAngleGoal.schema.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/givenAngleGoal.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;kBAUtB,CAAA;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA"}

package/dist/schemas/goals/goalKindDeclaration.d.cts

@@ -28,6 +28,13 @@ export interface GoalAuthoringIssue {
  */
 export interface GoalAuthoringContext {
     definitionOf(id: string): EntityDefinition | undefined;
+    /**
+     * Whether the student may drag this given (ADR 0016) — listed in
+     * `draggableEntityIds` *and* a free or `on` point. A figure goal needs it:
+     * definitions alone cannot say whether the figure it judges can move, and the
+     * rule is `isStudentDraggableGiven()`'s, asked here rather than restated.
+     */
+    isStudentDraggable(id: string): boolean;
 }
 export interface GoalKindDeclaration<TGoal extends GeometryGoal = GeometryGoal> {
     kind: TGoal['type'];

package/dist/schemas/goals/goalKindDeclaration.d.ts

@@ -28,6 +28,13 @@ export interface GoalAuthoringIssue {
  */
 export interface GoalAuthoringContext {
     definitionOf(id: string): EntityDefinition | undefined;
+    /**
+     * Whether the student may drag this given (ADR 0016) — listed in
+     * `draggableEntityIds` *and* a free or `on` point. A figure goal needs it:
+     * definitions alone cannot say whether the figure it judges can move, and the
+     * rule is `isStudentDraggableGiven()`'s, asked here rather than restated.
+     */
+    isStudentDraggable(id: string): boolean;
 }
 export interface GoalKindDeclaration<TGoal extends GeometryGoal = GeometryGoal> {
     kind: TGoal['type'];

package/dist/schemas/goals/goalKindDeclaration.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"goalKindDeclaration.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/goalKindDeclaration.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAO9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAEzD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAElE;AAED,2EAA2E;AAC3E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IAC5B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB;IACnC,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAAA;CACvD;AAED,MAAM,WAAW,mBAAmB,CAAC,KAAK,SAAS,YAAY,GAAG,YAAY;IAC5E,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IACnB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACxB;;;;OAIG;IACH,kBAAkB,CAAC,IAAI,EAAE,KAAK,GAAG,SAAS,MAAM,EAAE,CAAA;IAClD;;;OAGG;IACH,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,oBAAoB,GAAG,kBAAkB,EAAE,CAAA;CACxF;AAED,MAAM,MAAM,2BAA2B,GAAG;KACvC,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,GAAG,mBAAmB,CAAC,OAAO,CAAC,YAAY,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;CACrF,CAAA;AA0CD,eAAO,MAAM,oBAAoB,EAAE,2BA8EK,CAAA;AAQxC,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,mBAAmB,CAEtE"}
+{"version":3,"file":"goalKindDeclaration.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/goalKindDeclaration.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAU9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAEzD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAElE;AAED,2EAA2E;AAC3E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IAC5B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB;IACnC,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAAA;IACtD;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAA;CACxC;AAED,MAAM,WAAW,mBAAmB,CAAC,KAAK,SAAS,YAAY,GAAG,YAAY;IAC5E,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IACnB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACxB;;;;OAIG;IACH,kBAAkB,CAAC,IAAI,EAAE,KAAK,GAAG,SAAS,MAAM,EAAE,CAAA;IAClD;;;OAGG;IACH,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,oBAAoB,GAAG,kBAAkB,EAAE,CAAA;CACxF;AAED,MAAM,MAAM,2BAA2B,GAAG;KACvC,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,GAAG,mBAAmB,CAAC,OAAO,CAAC,YAAY,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;CACrF,CAAA;AA6FD,eAAO,MAAM,oBAAoB,EAAE,2BA+IK,CAAA;AAQxC,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,mBAAmB,CAEtE"}

package/dist/schemas/goals/parallelGoal.schema.d.cts

@@ -7,6 +7,7 @@ export declare const parallelGoalSchema: z.ZodObject<{
         segment: "segment";
         line: "line";
         circle: "circle";
+        angle: "angle";
     }>;
     referenceObjectId: z.ZodString;
     throughPointId: z.ZodString;

package/dist/schemas/goals/parallelGoal.schema.d.ts

@@ -7,6 +7,7 @@ export declare const parallelGoalSchema: z.ZodObject<{
         segment: "segment";
         line: "line";
         circle: "circle";
+        angle: "angle";
     }>;
     referenceObjectId: z.ZodString;
     throughPointId: z.ZodString;

package/dist/schemas/goals/parallelGoal.schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parallelGoal.schema.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/parallelGoal.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB,eAAO,MAAM,kBAAkB;;;;;;;;;;;;kBASpB,CAAA;AAEX,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAA"}
+{"version":3,"file":"parallelGoal.schema.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/parallelGoal.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;kBASpB,CAAA;AAEX,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAA"}

package/dist/schemas/goals/perpendicularGoal.schema.d.cts

@@ -7,6 +7,7 @@ export declare const perpendicularGoalSchema: z.ZodObject<{
         segment: "segment";
         line: "line";
         circle: "circle";
+        angle: "angle";
     }>;
     referenceObjectId: z.ZodString;
     throughPointId: z.ZodString;

package/dist/schemas/goals/perpendicularGoal.schema.d.ts

@@ -7,6 +7,7 @@ export declare const perpendicularGoalSchema: z.ZodObject<{
         segment: "segment";
         line: "line";
         circle: "circle";
+        angle: "angle";
     }>;
     referenceObjectId: z.ZodString;
     throughPointId: z.ZodString;

package/dist/schemas/goals/perpendicularGoal.schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"perpendicularGoal.schema.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/perpendicularGoal.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB,eAAO,MAAM,uBAAuB;;;;;;;;;;;;kBASzB,CAAA;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
+{"version":3,"file":"perpendicularGoal.schema.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/perpendicularGoal.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;kBASzB,CAAA;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/schemas/goals/throughPointsGoal.schema.d.cts

@@ -7,6 +7,7 @@ export declare const throughPointsGoalSchema: z.ZodObject<{
         segment: "segment";
         line: "line";
         circle: "circle";
+        angle: "angle";
     }>;
     pointIds: z.ZodArray<z.ZodString>;
 }, z.core.$strict>;

package/dist/schemas/goals/throughPointsGoal.schema.d.ts

@@ -7,6 +7,7 @@ export declare const throughPointsGoalSchema: z.ZodObject<{
         segment: "segment";
         line: "line";
         circle: "circle";
+        angle: "angle";
     }>;
     pointIds: z.ZodArray<z.ZodString>;
 }, z.core.$strict>;

package/dist/schemas/goals/throughPointsGoal.schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"throughPointsGoal.schema.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/throughPointsGoal.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB,eAAO,MAAM,uBAAuB;;;;;;;;;;kBAOzB,CAAA;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
+{"version":3,"file":"throughPointsGoal.schema.d.ts","sourceRoot":"","sources":["../../../src/schemas/goals/throughPointsGoal.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB,eAAO,MAAM,uBAAuB;;;;;;;;;;;kBAOzB,CAAA;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/schemas/objectTypeName.schema.d.cts

@@ -4,5 +4,6 @@ export declare const objectTypeNameSchema: z.ZodEnum<{
     segment: "segment";
     line: "line";
     circle: "circle";
+    angle: "angle";
 }>;
 export type ObjectTypeName = z.infer<typeof objectTypeNameSchema>;

package/dist/schemas/objectTypeName.schema.d.ts

@@ -4,6 +4,7 @@ export declare const objectTypeNameSchema: z.ZodEnum<{
     segment: "segment";
     line: "line";
     circle: "circle";
+    angle: "angle";
 }>;
 export type ObjectTypeName = z.infer<typeof objectTypeNameSchema>;
 //# sourceMappingURL=objectTypeName.schema.d.ts.map

package/dist/schemas/objectTypeName.schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"objectTypeName.schema.d.ts","sourceRoot":"","sources":["../../src/schemas/objectTypeName.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAKvB,eAAO,MAAM,oBAAoB;;;;;EAAiD,CAAA;AAElF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA"}
+{"version":3,"file":"objectTypeName.schema.d.ts","sourceRoot":"","sources":["../../src/schemas/objectTypeName.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAKvB,eAAO,MAAM,oBAAoB;;;;;;EAA0D,CAAA;AAE3F,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA"}

package/dist/schemas/v2ToV3.d.cts

@@ -13,6 +13,17 @@ export interface DocumentGate {
         success: boolean;
     };
 }
+type Projection = (document: Record<string, unknown>) => Record<string, unknown>;
+/**
+ * What each side of a gate is asked about, identity by default. The hops after
+ * version 3 ask without `solution`: it is an attempt document that migrates and
+ * validates on its own path (ADR 0015), so whether a stored solution parses must
+ * never decide whether the exercise around it is newer vocabulary.
+ */
+export interface ExerciseStepProjection {
+    frozen?: Projection;
+    next?: Projection;
+}
 /**
  * An exercise hop that adds vocabulary and changes nothing it already had. The
  * refusal rule, stated exactly: **a document that is invalid at `from` and
@@ -31,7 +42,10 @@ export interface DocumentGate {
  * `frozenSchema` must be a transcription of version `from` and `nextSchema` the
  * parser of version `from + 1` — frozen as well unless that is the current one,
  * because a current schema's version literal would never accept the promotion.
+ * `projection` says what each side is shown (ADR 0019); it only narrows the
+ * question, and the document that travels on is always the input.
  */
-export declare function createIdentityExerciseStep(from: number, frozenSchema: ZodType, nextSchema: DocumentGate): MigrationStep;
+export declare function createIdentityExerciseStep(from: number, frozenSchema: ZodType, nextSchema: DocumentGate, projection?: ExerciseStepProjection): MigrationStep;
 /** The v2 → v3 hop, gated against the version 3 schema it is given. */
 export declare function createGeometryExerciseV2ToV3(v3ExerciseSchema: DocumentGate): MigrationStep;
+export {};

package/dist/schemas/v2ToV3.d.ts

@@ -13,6 +13,17 @@ export interface DocumentGate {
         success: boolean;
     };
 }
+type Projection = (document: Record<string, unknown>) => Record<string, unknown>;
+/**
+ * What each side of a gate is asked about, identity by default. The hops after
+ * version 3 ask without `solution`: it is an attempt document that migrates and
+ * validates on its own path (ADR 0015), so whether a stored solution parses must
+ * never decide whether the exercise around it is newer vocabulary.
+ */
+export interface ExerciseStepProjection {
+    frozen?: Projection;
+    next?: Projection;
+}
 /**
  * An exercise hop that adds vocabulary and changes nothing it already had. The
  * refusal rule, stated exactly: **a document that is invalid at `from` and
@@ -31,8 +42,11 @@ export interface DocumentGate {
  * `frozenSchema` must be a transcription of version `from` and `nextSchema` the
  * parser of version `from + 1` — frozen as well unless that is the current one,
  * because a current schema's version literal would never accept the promotion.
+ * `projection` says what each side is shown (ADR 0019); it only narrows the
+ * question, and the document that travels on is always the input.
  */
-export declare function createIdentityExerciseStep(from: number, frozenSchema: ZodType, nextSchema: DocumentGate): MigrationStep;
+export declare function createIdentityExerciseStep(from: number, frozenSchema: ZodType, nextSchema: DocumentGate, projection?: ExerciseStepProjection): MigrationStep;
 /** The v2 → v3 hop, gated against the version 3 schema it is given. */
 export declare function createGeometryExerciseV2ToV3(v3ExerciseSchema: DocumentGate): MigrationStep;
+export {};
 //# sourceMappingURL=v2ToV3.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"v2ToV3.d.ts","sourceRoot":"","sources":["../../src/schemas/v2ToV3.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,KAAK,CAAA;AAClC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAG9C,2CAA2C;AAC3C,eAAO,MAAM,eAAe,IAAI,CAAA;AAEhC;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;CAChD;AAkBD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,YAAY,GACvB,aAAa,CAkBf;AAED,uEAAuE;AACvE,wBAAgB,4BAA4B,CAAC,gBAAgB,EAAE,YAAY,GAAG,aAAa,CAE1F"}
+{"version":3,"file":"v2ToV3.d.ts","sourceRoot":"","sources":["../../src/schemas/v2ToV3.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,KAAK,CAAA;AAClC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAG9C,2CAA2C;AAC3C,eAAO,MAAM,eAAe,IAAI,CAAA;AAEhC;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;CAChD;AAED,KAAK,UAAU,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAEhF;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IACrC,MAAM,CAAC,EAAE,UAAU,CAAA;IACnB,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAoBD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,YAAY,EACxB,UAAU,GAAE,sBAA2B,GACtC,aAAa,CAsBf;AAED,uEAAuE;AACvE,wBAAgB,4BAA4B,CAAC,gBAAgB,EAAE,YAAY,GAAG,aAAa,CAE1F"}

package/dist/schemas/v3ToV4.d.cts

@@ -1,3 +1,4 @@
 import { MigrationStep } from './migrate.cjs';
 import { DocumentGate } from './v2ToV3.cjs';
-export declare function createGeometryExerciseV3ToV4(currentExerciseSchema: DocumentGate): MigrationStep;
+/** The v3 → v4 hop, gated against the frozen version 4 unless a test substitutes one. */
+export declare function createGeometryExerciseV3ToV4(v4ExerciseSchema?: DocumentGate): MigrationStep;

package/dist/schemas/v3ToV4.d.ts

@@ -1,4 +1,5 @@
 import { MigrationStep } from './migrate.js';
 import { DocumentGate } from './v2ToV3.js';
-export declare function createGeometryExerciseV3ToV4(currentExerciseSchema: DocumentGate): MigrationStep;
+/** The v3 → v4 hop, gated against the frozen version 4 unless a test substitutes one. */
+export declare function createGeometryExerciseV3ToV4(v4ExerciseSchema?: DocumentGate): MigrationStep;
 //# sourceMappingURL=v3ToV4.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"v3ToV4.d.ts","sourceRoot":"","sources":["../../src/schemas/v3ToV4.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAE9C,OAAO,EAA8B,KAAK,YAAY,EAAE,MAAM,UAAU,CAAA;AAExE,wBAAgB,4BAA4B,CAAC,qBAAqB,EAAE,YAAY,GAAG,aAAa,CAE/F"}
+{"version":3,"file":"v3ToV4.d.ts","sourceRoot":"","sources":["../../src/schemas/v3ToV4.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAI9C,OAAO,EAA8B,KAAK,YAAY,EAAE,MAAM,UAAU,CAAA;AAExE,yFAAyF;AACzF,wBAAgB,4BAA4B,CAC1C,gBAAgB,GAAE,YAAuC,GACxD,aAAa,CAIf"}

package/dist/schemas/v4ToV5.d.cts

@@ -0,0 +1,7 @@
+import { MigrationStep } from './migrate.cjs';
+import { DocumentGate } from './v2ToV3.cjs';
+/**
+ * The v4 → v5 hop, gated against the version 5 schema it is given — the current
+ * one, passed in to keep this module out of a cycle with `exercise.schema.ts`.
+ */
+export declare function createGeometryExerciseV4ToV5(v5ExerciseSchema: DocumentGate): MigrationStep;

package/dist/schemas/v4ToV5.d.ts

@@ -0,0 +1,8 @@
+import { MigrationStep } from './migrate.js';
+import { DocumentGate } from './v2ToV3.js';
+/**
+ * The v4 → v5 hop, gated against the version 5 schema it is given — the current
+ * one, passed in to keep this module out of a cycle with `exercise.schema.ts`.
+ */
+export declare function createGeometryExerciseV4ToV5(v5ExerciseSchema: DocumentGate): MigrationStep;
+//# sourceMappingURL=v4ToV5.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"v4ToV5.d.ts","sourceRoot":"","sources":["../../src/schemas/v4ToV5.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAG9C,OAAO,EAA8B,KAAK,YAAY,EAAE,MAAM,UAAU,CAAA;AAExE;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,gBAAgB,EAAE,YAAY,GAAG,aAAa,CAK1F"}

package/dist/schemas.cjs

@@ -1 +1 @@
-Object.defineProperty(exports,Symbol.toStringTag,{value:`Module`});const e=require("./geometryState.schema-DKQ-durx.cjs"),t=require("./exercise.schema-BV2b7rtN.cjs");exports.applyMigrations=e.o,exports.createGoalSchema=e.y,exports.exerciseGradingSchema=t.t,exports.extraObjectPolicySchema=t.n,exports.geometryExerciseMigrations=t.r,exports.geometryExerciseSchema=t.i,exports.geometryGoalSchema=t.l,exports.geometryIdSchema=e.D,exports.geometryStateMigrations=e.t,exports.geometryStateSchema=e.n,exports.latestGeometryExerciseVersion=t.a,exports.latestGeometryStateVersion=e.r,exports.mathViewportSchema=t.u,exports.midpointGoalSchema=e.v,exports.migrateGeometryExercise=t.o,exports.migrateGeometryState=e.i,exports.objectTypeNameSchema=e.b,exports.parallelGoalSchema=e._,exports.parseGeometryExercise=t.s,exports.perpendicularGoalSchema=e.g,exports.pointSchema=e.l,exports.segmentLengthGoalSchema=e.h,exports.throughPointsGoalSchema=e.m,exports.toolNameSchema=t.c;
+Object.defineProperty(exports,Symbol.toStringTag,{value:`Module`});const e=require("./geometryState.schema-B5ccMKDa.cjs"),t=require("./exercise.schema-Oj5ZH-yO.cjs");exports.applyMigrations=e.o,exports.createGoalSchema=e.b,exports.exerciseGradingSchema=t.t,exports.extraObjectPolicySchema=t.n,exports.geometryExerciseMigrations=t.r,exports.geometryExerciseSchema=t.i,exports.geometryGoalSchema=t.l,exports.geometryIdSchema=e.j,exports.geometryStateMigrations=e.t,exports.geometryStateSchema=e.n,exports.latestGeometryExerciseVersion=t.a,exports.latestGeometryStateVersion=e.r,exports.mathViewportSchema=t.u,exports.midpointGoalSchema=e.v,exports.migrateGeometryExercise=t.o,exports.migrateGeometryState=e.i,exports.objectTypeNameSchema=e.C,exports.parallelGoalSchema=e._,exports.parseGeometryExercise=t.s,exports.perpendicularGoalSchema=e.g,exports.pointSchema=e.l,exports.segmentLengthGoalSchema=e.h,exports.throughPointsGoalSchema=e.m,exports.toolNameSchema=t.c;

package/dist/schemas.mjs

@@ -1,3 +1,3 @@
-import { D as e, _ as t, b as n, g as r, h as i, i as a, l as o, m as s, n as c, o as l, r as u, t as d, v as f, y as p } from "./geometryState.schema-D0ixyGYE.js";
-import { a as m, c as h, i as g, l as _, n as v, o as y, r as b, s as x, t as S, u as C } from "./exercise.schema-ckVBW9XA.js";
-export { l as applyMigrations, p as createGoalSchema, S as exerciseGradingSchema, v as extraObjectPolicySchema, b as geometryExerciseMigrations, g as geometryExerciseSchema, _ as geometryGoalSchema, e as geometryIdSchema, d as geometryStateMigrations, c as geometryStateSchema, m as latestGeometryExerciseVersion, u as latestGeometryStateVersion, C as mathViewportSchema, f as midpointGoalSchema, y as migrateGeometryExercise, a as migrateGeometryState, n as objectTypeNameSchema, t as parallelGoalSchema, x as parseGeometryExercise, r as perpendicularGoalSchema, o as pointSchema, i as segmentLengthGoalSchema, s as throughPointsGoalSchema, h as toolNameSchema };
+import { C as e, _ as t, b as n, g as r, h as i, i as a, j as o, l as s, m as c, n as l, o as u, r as d, t as f, v as p } from "./geometryState.schema-CKFPlX8j.js";
+import { a as m, c as h, i as g, l as _, n as v, o as y, r as b, s as x, t as S, u as C } from "./exercise.schema-Bma3qN9P.js";
+export { u as applyMigrations, n as createGoalSchema, S as exerciseGradingSchema, v as extraObjectPolicySchema, b as geometryExerciseMigrations, g as geometryExerciseSchema, _ as geometryGoalSchema, o as geometryIdSchema, f as geometryStateMigrations, l as geometryStateSchema, m as latestGeometryExerciseVersion, d as latestGeometryStateVersion, C as mathViewportSchema, p as midpointGoalSchema, y as migrateGeometryExercise, a as migrateGeometryState, e as objectTypeNameSchema, t as parallelGoalSchema, x as parseGeometryExercise, r as perpendicularGoalSchema, s as pointSchema, i as segmentLengthGoalSchema, c as throughPointsGoalSchema, h as toolNameSchema };

package/dist/snapping/computeDragSnap.d.cts

@@ -0,0 +1,30 @@
+import { EntityId } from '../geometry/entityModel.cjs';
+import { Point, PointId } from '../geometry/point.cjs';
+import { GeometryGoal } from '../schemas/goals/geometryGoal.schema.cjs';
+import { SnapScene } from './computeSnap.cjs';
+export declare const DRAG_ANGLE_STEP_DEGREES = 1;
+export interface DragSnapInput {
+    scene: SnapScene;
+    pointId: PointId;
+    pointer: Point;
+    start: Point;
+    free: boolean;
+    tolerance: number;
+    judgedAngleIds: ReadonlySet<EntityId>;
+    isExerciseEntity: (id: EntityId) => boolean;
+}
+/**
+ * The angles a goal judges, which an arm drag prefers (ADR 0018 § choice
+ * order). Exhaustive on purpose: a new goal kind is a compile error here until
+ * someone answers whether it judges an angle.
+ */
+export declare function judgedAngleIdsOf(goals: readonly GeometryGoal[]): ReadonlySet<EntityId>;
+/**
+ * The position to hand the store, or null to write nothing this frame.
+ *
+ * A free point that is an arm (parent 0 or 2, not the vertex) of a resolved
+ * angle rotates about the chosen angle's vertex at its gesture-start length, to
+ * the pointer's sweep rounded half-up to a whole degree. Any other free point
+ * snaps to a shown grid within tolerance. Nothing snaps to another point.
+ */
+export declare function computeDragSnap(input: DragSnapInput): Point | null;

package/dist/snapping/computeDragSnap.d.ts

@@ -0,0 +1,31 @@
+import { EntityId } from '../geometry/entityModel.js';
+import { Point, PointId } from '../geometry/point.js';
+import { GeometryGoal } from '../schemas/goals/geometryGoal.schema.js';
+import { SnapScene } from './computeSnap.js';
+export declare const DRAG_ANGLE_STEP_DEGREES = 1;
+export interface DragSnapInput {
+    scene: SnapScene;
+    pointId: PointId;
+    pointer: Point;
+    start: Point;
+    free: boolean;
+    tolerance: number;
+    judgedAngleIds: ReadonlySet<EntityId>;
+    isExerciseEntity: (id: EntityId) => boolean;
+}
+/**
+ * The angles a goal judges, which an arm drag prefers (ADR 0018 § choice
+ * order). Exhaustive on purpose: a new goal kind is a compile error here until
+ * someone answers whether it judges an angle.
+ */
+export declare function judgedAngleIdsOf(goals: readonly GeometryGoal[]): ReadonlySet<EntityId>;
+/**
+ * The position to hand the store, or null to write nothing this frame.
+ *
+ * A free point that is an arm (parent 0 or 2, not the vertex) of a resolved
+ * angle rotates about the chosen angle's vertex at its gesture-start length, to
+ * the pointer's sweep rounded half-up to a whole degree. Any other free point
+ * snaps to a shown grid within tolerance. Nothing snaps to another point.
+ */
+export declare function computeDragSnap(input: DragSnapInput): Point | null;
+//# sourceMappingURL=computeDragSnap.d.ts.map

package/dist/snapping/computeDragSnap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"computeDragSnap.d.ts","sourceRoot":"","sources":["../../src/snapping/computeDragSnap.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAmB,QAAQ,EAAiB,MAAM,yBAAyB,CAAA;AACvF,OAAO,EAAmB,KAAK,KAAK,EAAE,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAE7E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAA;AACxE,OAAO,EAAe,KAAK,SAAS,EAAE,MAAM,eAAe,CAAA;AAI3D,eAAO,MAAM,uBAAuB,IAAI,CAAA;AAExC,MAAM,WAAW,aAAa;IAE5B,KAAK,EAAE,SAAS,CAAA;IAChB,OAAO,EAAE,OAAO,CAAA;IAEhB,OAAO,EAAE,KAAK,CAAA;IAGd,KAAK,EAAE,KAAK,CAAA;IAGZ,IAAI,EAAE,OAAO,CAAA;IAEb,SAAS,EAAE,MAAM,CAAA;IACjB,cAAc,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAA;IACrC,gBAAgB,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,OAAO,CAAA;CAC5C;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,CAwBtF;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,aAAa,GAAG,KAAK,GAAG,IAAI,CAwClE"}

package/dist/state/geometryContext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"geometryContext.d.ts","sourceRoot":"","sources":["../../src/state/geometryContext.ts"],"names":[],"mappings":"AA8DA,OAAO,KAAK,EAEV,QAAQ,EACR,UAAU,EAGV,eAAe,EAIhB,MAAM,yBAAyB,CAAA;AAGhC,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAEhE,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAA;AAC5E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AAEtE;;;;;;;;GAQG;AACH,MAAM,WAAW,sBAAuB,SAAQ,eAAe;IAE7D,MAAM,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAA;IAI5C,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,QAAQ,EAAE,CAAA;IAI5C,gBAAgB,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,QAAQ,EAAE,CAAA;IAKnD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAK5C,UAAU,CAAC,EAAE,EAAE,QAAQ,GAAG,cAAc,GAAG,IAAI,CAAA;IAI/C,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAA;IAC/C,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAA;IAInC,WAAW,CAAC,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAA;CAC1E;AAyLD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,gBAAgB,EAC1B,QAAQ,EAAE,aAAa,GACtB,sBAAsB,CAqLxB"}
+{"version":3,"file":"geometryContext.d.ts","sourceRoot":"","sources":["../../src/state/geometryContext.ts"],"names":[],"mappings":"AA8DA,OAAO,KAAK,EAEV,QAAQ,EACR,UAAU,EAGV,eAAe,EAIhB,MAAM,yBAAyB,CAAA;AAGhC,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAEhE,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAA;AAC5E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AAEtE;;;;;;;;GAQG;AACH,MAAM,WAAW,sBAAuB,SAAQ,eAAe;IAE7D,MAAM,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAA;IAI5C,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,QAAQ,EAAE,CAAA;IAI5C,gBAAgB,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,QAAQ,EAAE,CAAA;IAKnD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAK5C,UAAU,CAAC,EAAE,EAAE,QAAQ,GAAG,cAAc,GAAG,IAAI,CAAA;IAI/C,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAA;IAC/C,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAA;IAInC,WAAW,CAAC,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAA;CAC1E;AAuLD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,gBAAgB,EAC1B,QAAQ,EAAE,aAAa,GACtB,sBAAsB,CA2LxB"}

package/dist/store/attemptChange.d.cts

@@ -6,7 +6,7 @@ import { GeometryState } from '../schemas/geometryState.schema.cjs';
  * may grow additively, so a consumer treats a value it does not know as a
  * generic change.
  */
-export type StudentGeometryAction = 'point-placed' | 'point-promoted' | 'segment-created' | 'line-created' | 'point-moved' | 'deleted' | 'undo' | 'redo' | 'reset' | 'revealed';
+export type StudentGeometryAction = 'point-placed' | 'point-promoted' | 'segment-created' | 'line-created' | 'angle-created' | 'point-moved' | 'deleted' | 'undo' | 'redo' | 'reset' | 'revealed';
 export interface StudentGeometryChangeMeta {
     action: StudentGeometryAction;
     entityIds: string[];

package/dist/store/attemptChange.d.ts

@@ -6,7 +6,7 @@ import { GeometryState } from '../schemas/geometryState.schema.js';
  * may grow additively, so a consumer treats a value it does not know as a
  * generic change.
  */
-export type StudentGeometryAction = 'point-placed' | 'point-promoted' | 'segment-created' | 'line-created' | 'point-moved' | 'deleted' | 'undo' | 'redo' | 'reset' | 'revealed';
+export type StudentGeometryAction = 'point-placed' | 'point-promoted' | 'segment-created' | 'line-created' | 'angle-created' | 'point-moved' | 'deleted' | 'undo' | 'redo' | 'reset' | 'revealed';
 export interface StudentGeometryChangeMeta {
     action: StudentGeometryAction;
     entityIds: string[];

package/dist/store/attemptChange.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"attemptChange.d.ts","sourceRoot":"","sources":["../../src/store/attemptChange.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAEvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAEpE;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAC7B,cAAc,GACd,gBAAgB,GAChB,iBAAiB,GACjB,cAAc,GACd,aAAa,GACb,SAAS,GACT,MAAM,GACN,MAAM,GACN,OAAO,GACP,UAAU,CAAA;AAEd,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,qBAAqB,CAAA;IAI7B,SAAS,EAAE,MAAM,EAAE,CAAA;CACpB;AAED;;;;;GAKG;AACH,MAAM,WAAW,2BAA4B,SAAQ,yBAAyB;IAC5E,QAAQ,EAAE,MAAM,CAAA;CACjB;AAMD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAYxD;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,GAAG,QAAQ,EAAE,CAexF"}
+{"version":3,"file":"attemptChange.d.ts","sourceRoot":"","sources":["../../src/store/attemptChange.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAEvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAEpE;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAC7B,cAAc,GACd,gBAAgB,GAChB,iBAAiB,GACjB,cAAc,GACd,eAAe,GACf,aAAa,GACb,SAAS,GACT,MAAM,GACN,MAAM,GACN,OAAO,GACP,UAAU,CAAA;AAEd,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,qBAAqB,CAAA;IAI7B,SAAS,EAAE,MAAM,EAAE,CAAA;CACpB;AAED;;;;;GAKG;AACH,MAAM,WAAW,2BAA4B,SAAQ,yBAAyB;IAC5E,QAAQ,EAAE,MAAM,CAAA;CACjB;AAMD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAYxD;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,GAAG,QAAQ,EAAE,CAexF"}

package/dist/store/constructionCommand.d.cts

@@ -16,11 +16,23 @@ export type ConstructionEndpoint = {
     kind: 'create';
     origin: PointDefinition;
 };
-export interface ConstructionCommand {
+/**
+ * One completed construction gesture. Every member has `from` and `to`; an
+ * angle adds its `vertex` between them, in notation order — ∠ABC is
+ * `{ from: A, vertex: B, to: C }` (ADR 0009 § Amendment — the angle
+ * construction command).
+ */
+export type ConstructionCommand = {
     tool: 'segment' | 'line';
     from: ConstructionEndpoint;
     to: ConstructionEndpoint;
-}
+} | {
+    tool: 'angle';
+    from: ConstructionEndpoint;
+    vertex: ConstructionEndpoint;
+    to: ConstructionEndpoint;
+};
+export declare function endpointsOf(command: ConstructionCommand): ConstructionEndpoint[];
 /**
  * Why the last construction attempt made nothing new: the document already
  * declares that construction, as `entityId` (RFC 0004 § Decision 1). A code

package/dist/store/constructionCommand.d.ts

@@ -16,11 +16,23 @@ export type ConstructionEndpoint = {
     kind: 'create';
     origin: PointDefinition;
 };
-export interface ConstructionCommand {
+/**
+ * One completed construction gesture. Every member has `from` and `to`; an
+ * angle adds its `vertex` between them, in notation order — ∠ABC is
+ * `{ from: A, vertex: B, to: C }` (ADR 0009 § Amendment — the angle
+ * construction command).
+ */
+export type ConstructionCommand = {
     tool: 'segment' | 'line';
     from: ConstructionEndpoint;
     to: ConstructionEndpoint;
-}
+} | {
+    tool: 'angle';
+    from: ConstructionEndpoint;
+    vertex: ConstructionEndpoint;
+    to: ConstructionEndpoint;
+};
+export declare function endpointsOf(command: ConstructionCommand): ConstructionEndpoint[];
 /**
  * Why the last construction attempt made nothing new: the document already
  * declares that construction, as `entityId` (RFC 0004 § Decision 1). A code

package/dist/store/constructionCommand.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constructionCommand.d.ts","sourceRoot":"","sources":["../../src/store/constructionCommand.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACxE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GAIjC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,eAAe,CAAA;CAAE,CAAA;AAE/C,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,SAAS,GAAG,MAAM,CAAA;IACxB,IAAI,EAAE,oBAAoB,CAAA;IAC1B,EAAE,EAAE,oBAAoB,CAAA;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,wBAAwB,CAAA;IAC9B,QAAQ,EAAE,QAAQ,CAAA;CACnB"}
+{"version":3,"file":"constructionCommand.d.ts","sourceRoot":"","sources":["../../src/store/constructionCommand.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACxE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GAIjC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,eAAe,CAAA;CAAE,CAAA;AAE/C;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IAAE,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,EAAE,EAAE,oBAAoB,CAAA;CAAE,GAClF;IACE,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,oBAAoB,CAAA;IAC1B,MAAM,EAAE,oBAAoB,CAAA;IAC5B,EAAE,EAAE,oBAAoB,CAAA;CACzB,CAAA;AAIL,wBAAgB,WAAW,CAAC,OAAO,EAAE,mBAAmB,GAAG,oBAAoB,EAAE,CAIhF;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,wBAAwB,CAAA;IAC9B,QAAQ,EAAE,QAAQ,CAAA;CACnB"}

package/dist/store/constructionIdentity.d.cts

@@ -17,5 +17,14 @@ export declare function findSameConstruction(entities: EntityRecord, candidate:
  * record order. Both ends in one pass, because a gesture asks for both at once.
  */
 export declare function findEndpointsInScene(endpoints: readonly ConstructionEndpoint[], givens: EntityRecord, attempt?: EntityRecord): (PointId | null)[];
+/**
+ * Whether two ends of one command land on the same point once resolved: an id
+ * named twice, a `create` end that reuses an `existing` one, two ends reusing
+ * one point, or two `create` ends with the same origin — which would otherwise
+ * invent twins. `reused` is `findEndpointsInScene()`'s answer. A construction
+ * whose ends coincide is degenerate, and an angle document refuses a repeated
+ * parent.
+ */
+export declare function endsRepeat(endpoints: readonly ConstructionEndpoint[], reused: readonly (PointId | null)[]): boolean;
 export declare function duplicateOf(entityId: EntityId): ConstructionNotice;
 export {};

package/dist/store/constructionIdentity.d.ts

@@ -17,6 +17,15 @@ export declare function findSameConstruction(entities: EntityRecord, candidate:
  * record order. Both ends in one pass, because a gesture asks for both at once.
  */
 export declare function findEndpointsInScene(endpoints: readonly ConstructionEndpoint[], givens: EntityRecord, attempt?: EntityRecord): (PointId | null)[];
+/**
+ * Whether two ends of one command land on the same point once resolved: an id
+ * named twice, a `create` end that reuses an `existing` one, two ends reusing
+ * one point, or two `create` ends with the same origin — which would otherwise
+ * invent twins. `reused` is `findEndpointsInScene()`'s answer. A construction
+ * whose ends coincide is degenerate, and an angle document refuses a repeated
+ * parent.
+ */
+export declare function endsRepeat(endpoints: readonly ConstructionEndpoint[], reused: readonly (PointId | null)[]): boolean;
 export declare function duplicateOf(entityId: EntityId): ConstructionNotice;
 export {};
 //# sourceMappingURL=constructionIdentity.d.ts.map

package/dist/store/constructionIdentity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constructionIdentity.d.ts","sourceRoot":"","sources":["../../src/store/constructionIdentity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACzE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAGhD,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AASrF,KAAK,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAA;AA0ChE;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,YAAY,EACtB,SAAS,EAAE,gBAAgB,EAC3B,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,OAAO,GAC/B,QAAQ,GAAG,IAAI,CASjB;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,SAAS,oBAAoB,EAAE,EAC1C,MAAM,EAAE,YAAY,EACpB,OAAO,GAAE,YAAiB,GACzB,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,CA+BpB;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,kBAAkB,CAElE"}
+{"version":3,"file":"constructionIdentity.d.ts","sourceRoot":"","sources":["../../src/store/constructionIdentity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACzE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAGhD,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AASrF,KAAK,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAA;AA0ChE;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,YAAY,EACtB,SAAS,EAAE,gBAAgB,EAC3B,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,OAAO,GAC/B,QAAQ,GAAG,IAAI,CASjB;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,SAAS,oBAAoB,EAAE,EAC1C,MAAM,EAAE,YAAY,EACpB,OAAO,GAAE,YAAiB,GACzB,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,CA+BpB;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,SAAS,oBAAoB,EAAE,EAC1C,MAAM,EAAE,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAClC,OAAO,CAST;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,kBAAkB,CAElE"}

package/dist/store/studentStore.d.cts

@@ -14,6 +14,7 @@ export interface StudentState {
     geometry: GeometryState;
     pendingObjectType: ObjectTypeName | null;
     pendingFirstPointId: PointId | null;
+    pendingVertexPointId: PointId | null;
     selectedObjectId: string | null;
     past: GeometryState[];
     future: GeometryState[];
@@ -132,6 +133,12 @@ export declare function endStudentPointDrag(store: Store<StudentState>): void;
  * that is there.
  */
 export declare function executeConstruction(store: Store<StudentState>, command: ConstructionCommand): void;
+/**
+ * One tap of a click-click construction on an existing point. A segment or a
+ * line builds on its second pick; an angle keeps its second as the vertex and
+ * builds on its third, in notation order (ADR 0009 § Amendment). A tap on a
+ * point already picked cancels the whole sequence.
+ */
 export declare function pickStudentPoint(store: Store<StudentState>, pointId: PointId): void;
 export declare function selectStudentObject(store: Store<StudentState>, id: string | null): void;
 export declare function isStudentOwned(state: StudentState, id: string): boolean;

package/dist/store/studentStore.d.ts

@@ -14,6 +14,7 @@ export interface StudentState {
     geometry: GeometryState;
     pendingObjectType: ObjectTypeName | null;
     pendingFirstPointId: PointId | null;
+    pendingVertexPointId: PointId | null;
     selectedObjectId: string | null;
     past: GeometryState[];
     future: GeometryState[];
@@ -132,6 +133,12 @@ export declare function endStudentPointDrag(store: Store<StudentState>): void;
  * that is there.
  */
 export declare function executeConstruction(store: Store<StudentState>, command: ConstructionCommand): void;
+/**
+ * One tap of a click-click construction on an existing point. A segment or a
+ * line builds on its second pick; an angle keeps its second as the vertex and
+ * builds on its third, in notation order (ADR 0009 § Amendment). A tap on a
+ * point already picked cancels the whole sequence.
+ */
 export declare function pickStudentPoint(store: Store<StudentState>, pointId: PointId): void;
 export declare function selectStudentObject(store: Store<StudentState>, id: string | null): void;
 export declare function isStudentOwned(state: StudentState, id: string): boolean;

package/dist/store/studentStore.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"studentStore.d.ts","sourceRoot":"","sources":["../../src/store/studentStore.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAElE,OAAO,EAA8B,KAAK,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAChG,OAAO,KAAK,EAIV,eAAe,EAChB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAMvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,OAAO,KAAK,EACV,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAGL,KAAK,2BAA2B,EAEjC,MAAM,iBAAiB,CAAA;AAExB,OAAO,EAAe,KAAK,KAAK,EAAE,MAAM,eAAe,CAAA;AAGvD,YAAY,EACV,2BAA2B,EAC3B,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,iBAAiB,CAAA;AACxB,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,uBAAuB,CAAA;AAE9B,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,QAAQ,EAAE,aAAa,CAAA;IACvB,iBAAiB,EAAE,cAAc,GAAG,IAAI,CAAA;IACxC,mBAAmB,EAAE,OAAO,GAAG,IAAI,CAAA;IACnC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,IAAI,EAAE,aAAa,EAAE,CAAA;IACrB,MAAM,EAAE,aAAa,EAAE,CAAA;IAIvB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IAQ1B,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAKzB,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAAA;IAI9C,QAAQ,CAAC,EAAE,OAAO,CAAA;IAKlB,iBAAiB,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAA;CACvD;AAED,MAAM,WAAW,oBAAoB;IACnC,eAAe,EAAE,MAAM,EAAE,CAAA;IAGzB,QAAQ,EAAE,MAAM,EAAE,CAAA;CACnB;AASD;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,gBAAgB,EAC1B,aAAa,CAAC,EAAE,aAAa,GAC5B,KAAK,CAAC,YAAY,CAAC,CAsBrB;AAkGD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAsBtF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI,CAE9F;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAC1B,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,CAAC,EAAE,aAAa,GACtB,IAAI,CAMN;AAiDD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAC1B,IAAI,EAAE,cAAc,GAAG,IAAI,GAC1B,IAAI,CASN;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAG1E;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAsBlE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAsBlE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAgBpE;AAWD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAC1B,UAAU,EAAE,eAAe,EAC3B,oBAAoB,UAAO,GAC1B,OAAO,GAAG,IAAI,CAuBhB;AAKD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAkBtF;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CA2CjG;AAID,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAWtF;AASD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAIpE;AAyBD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAC1B,OAAO,EAAE,mBAAmB,GAC3B,IAAI,CAwEN;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAoBnF;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEvF;AAID,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAGvE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,GAAG,oBAAoB,CAiB7F;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAiDhF;AAsED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAYhG"}
+{"version":3,"file":"studentStore.d.ts","sourceRoot":"","sources":["../../src/store/studentStore.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAGlE,OAAO,EAA8B,KAAK,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAChG,OAAO,KAAK,EAIV,eAAe,EAChB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAMvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,OAAO,EAEL,KAAK,mBAAmB,EAExB,KAAK,kBAAkB,EACxB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAGL,KAAK,2BAA2B,EAEjC,MAAM,iBAAiB,CAAA;AAOxB,OAAO,EAAe,KAAK,KAAK,EAAE,MAAM,eAAe,CAAA;AAGvD,YAAY,EACV,2BAA2B,EAC3B,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,iBAAiB,CAAA;AACxB,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,uBAAuB,CAAA;AAE9B,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,QAAQ,EAAE,aAAa,CAAA;IACvB,iBAAiB,EAAE,cAAc,GAAG,IAAI,CAAA;IACxC,mBAAmB,EAAE,OAAO,GAAG,IAAI,CAAA;IAGnC,oBAAoB,EAAE,OAAO,GAAG,IAAI,CAAA;IACpC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,IAAI,EAAE,aAAa,EAAE,CAAA;IACrB,MAAM,EAAE,aAAa,EAAE,CAAA;IAIvB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IAQ1B,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAKzB,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAAA;IAI9C,QAAQ,CAAC,EAAE,OAAO,CAAA;IAKlB,iBAAiB,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAA;CACvD;AAED,MAAM,WAAW,oBAAoB;IACnC,eAAe,EAAE,MAAM,EAAE,CAAA;IAGzB,QAAQ,EAAE,MAAM,EAAE,CAAA;CACnB;AASD;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,gBAAgB,EAC1B,aAAa,CAAC,EAAE,aAAa,GAC5B,KAAK,CAAC,YAAY,CAAC,CAuBrB;AAmGD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAuBtF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI,CAE9F;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAC1B,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,CAAC,EAAE,aAAa,GACtB,IAAI,CAMN;AAyDD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAC1B,IAAI,EAAE,cAAc,GAAG,IAAI,GAC1B,IAAI,CAUN;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAG1E;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAuBlE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAuBlE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAgBpE;AAWD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAC1B,UAAU,EAAE,eAAe,EAC3B,oBAAoB,UAAO,GAC1B,OAAO,GAAG,IAAI,CAuBhB;AAKD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAkBtF;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CA2CjG;AAID,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAWtF;AASD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAIpE;AAyBD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAC1B,OAAO,EAAE,mBAAmB,GAC3B,IAAI,CAqCN;AAiED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CA6BnF;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEvF;AAID,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAGvE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,GAAG,oBAAoB,CAiB7F;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAiDhF;AAsED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAYhG"}

package/dist/store/teacherStore.d.cts

@@ -10,6 +10,7 @@ export interface TeacherEditorState {
     exercise: GeometryExercise;
     pendingObjectType: ObjectTypeName | null;
     pendingFirstPointId: PointId | null;
+    pendingVertexPointId: PointId | null;
     selectedGivenId: string | null;
     past: GeometryExercise[];
     future: GeometryExercise[];
@@ -96,6 +97,15 @@ export declare function setGivenPointDraggable(store: Store<TeacherEditorState>,
  * teacher means to undo on its own.
  */
 export declare function setGivenLabel(store: Store<TeacherEditorState>, id: EntityId, label: string): void;
+/**
+ * Shows or hides a given angle's measure beside its mark (M3.5.a), the
+ * `measureLabel` entry ADR 0010 § 4 defines. Absent means hidden, so hiding
+ * removes the field rather than storing a second spelling of "none".
+ *
+ * Refused for anything but an angle — `entityDocumentIssues()` rejects a
+ * `measureLabel` on any other kind — and one undo entry per toggle.
+ */
+export declare function setGivenMeasureLabel(store: Store<TeacherEditorState>, id: EntityId, shown: boolean): void;
 export declare function getGivenRemovalImpact(exercise: GeometryExercise, id: string): GivenRemovalImpact;
 export declare function removeGiven(store: Store<TeacherEditorState>, id: string): void;
 export declare function addGivenSegment(store: Store<TeacherEditorState>, fromId: PointId, toId: PointId): string | null;
@@ -108,4 +118,10 @@ export declare function selectPendingObjectType(store: Store<TeacherEditorState>
  * gesture.
  */
 export declare function cancelGivenConstruction(store: Store<TeacherEditorState>): void;
+/**
+ * One tap of a click-click construction on an existing point. A segment or a
+ * line builds on its second pick; an angle keeps its second as the vertex and
+ * builds on its third, in notation order (ADR 0009 § Amendment). A tap on a
+ * point already picked cancels the whole sequence.
+ */
 export declare function pickPointForPendingObject(store: Store<TeacherEditorState>, pointId: PointId): void;