@mathscan/geometry-engine 0.1.0 → 0.1.1

package/dist/renderer/angleMeasure.d.ts

@@ -0,0 +1,15 @@
+import { EntityId, GeometryContext } from '../geometry/entityModel.js';
+/**
+ * Decimals an angle's drawn measure is rounded to (M3.5.a). Zero, so an arm
+ * snapped to a whole degree (ADR 0018) reads exactly its measure. Display only:
+ * geometry and grading keep full precision and never read this text.
+ */
+export declare const ANGLE_LABEL_DECIMALS = 0;
+/**
+ * The measure an angle shows, as text — `undefined` unless its presentation
+ * sets `measureLabel: 'degrees'` and it resolves. Absent means hidden
+ * (ADR 0010 § 4), for every reader: the canvas label and the companion row both
+ * read this one function, so a measure the author hid is disclosed by neither.
+ */
+export declare function angleMeasureTextOf(context: GeometryContext, id: EntityId): string | undefined;
+//# sourceMappingURL=angleMeasure.d.ts.map

package/dist/renderer/angleMeasure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"angleMeasure.d.ts","sourceRoot":"","sources":["../../src/renderer/angleMeasure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAExE;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,IAAI,CAAA;AAErC;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAQ7F"}

package/dist/renderer/deriveRenderableGeometry.d.cts

@@ -9,6 +9,7 @@ export interface RenderableGeometry {
     objects: SceneEntity[];
     capabilitiesOf: (id: EntityId) => Readonly<EntityCapabilities>;
     labelOf: (id: EntityId) => string | undefined;
+    measureOf: (id: EntityId) => string | undefined;
     isSnapTarget: (id: EntityId) => boolean;
 }
 export declare function deriveRenderableGeometry(state: TeacherEditorState): RenderableGeometry;

package/dist/renderer/deriveRenderableGeometry.d.ts

@@ -9,6 +9,7 @@ export interface RenderableGeometry {
     objects: SceneEntity[];
     capabilitiesOf: (id: EntityId) => Readonly<EntityCapabilities>;
     labelOf: (id: EntityId) => string | undefined;
+    measureOf: (id: EntityId) => string | undefined;
     isSnapTarget: (id: EntityId) => boolean;
 }
 export declare function deriveRenderableGeometry(state: TeacherEditorState): RenderableGeometry;

package/dist/renderer/deriveRenderableGeometry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"deriveRenderableGeometry.d.ts","sourceRoot":"","sources":["../../src/renderer/deriveRenderableGeometry.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,QAAQ,EAAmB,MAAM,yBAAyB,CAAA;AAC5F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAGpE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAqB/D,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACnC,OAAO,EAAE,WAAW,EAAE,CAAA;IAGtB,cAAc,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,QAAQ,CAAC,kBAAkB,CAAC,CAAA;IAQ9D,OAAO,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,GAAG,SAAS,CAAA;IAK7C,YAAY,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,OAAO,CAAA;CACxC;AAID,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,kBAAkB,GAAG,kBAAkB,CAsBtF;AAUD,wBAAgB,+BAA+B,CAC7C,QAAQ,EAAE,gBAAgB,EAC1B,QAAQ,EAAE,aAAa,GACtB,kBAAkB,CAKpB"}
+{"version":3,"file":"deriveRenderableGeometry.d.ts","sourceRoot":"","sources":["../../src/renderer/deriveRenderableGeometry.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,QAAQ,EAAmB,MAAM,yBAAyB,CAAA;AAC5F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAGpE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAsB/D,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACnC,OAAO,EAAE,WAAW,EAAE,CAAA;IAGtB,cAAc,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,QAAQ,CAAC,kBAAkB,CAAC,CAAA;IAS9D,OAAO,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,GAAG,SAAS,CAAA;IAI7C,SAAS,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,GAAG,SAAS,CAAA;IAK/C,YAAY,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,OAAO,CAAA;CACxC;AAID,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,kBAAkB,GAAG,kBAAkB,CAsBtF;AAUD,wBAAgB,+BAA+B,CAC7C,QAAQ,EAAE,gBAAgB,EAC1B,QAAQ,EAAE,aAAa,GACtB,kBAAkB,CAKpB"}

package/dist/renderer/deriveSemanticScene.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"deriveSemanticScene.d.ts","sourceRoot":"","sources":["../../src/renderer/deriveSemanticScene.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAKnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAE/D,OAAO,KAAK,EAAE,0BAA0B,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACjF,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEzE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAG3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IAErB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAK5B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAG1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAG5B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAA;IAGlC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,aAAa;IAI5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAG5B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAA;IAC5C,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,IAAI,CAAA;CACrC;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,YAAY,EACnB,kBAAkB,GAAE,0BAA0B,GAAG,IAAW,EAC5D,aAAa,GAAE,MAAM,GAAG,IAAW,GAClC,aAAa,CAwBf;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,kBAAkB,GAAG,aAAa,CAkBnF;AAoGD;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,aAAa,GAAG,IAAI,EAC9B,IAAI,EAAE,aAAa,GAClB,MAAM,GAAG,IAAI,CAwBf"}
+{"version":3,"file":"deriveSemanticScene.d.ts","sourceRoot":"","sources":["../../src/renderer/deriveSemanticScene.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAKnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAE/D,OAAO,KAAK,EAAE,0BAA0B,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAEjF,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEzE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAG3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IAErB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAK5B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAG1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAG5B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAA;IAGlC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,aAAa;IAI5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAG5B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAA;IAC5C,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,IAAI,CAAA;CACrC;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,YAAY,EACnB,kBAAkB,GAAE,0BAA0B,GAAG,IAAW,EAC5D,aAAa,GAAE,MAAM,GAAG,IAAW,GAClC,aAAa,CAwBf;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,kBAAkB,GAAG,aAAa,CAkBnF;AA+GD;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,aAAa,GAAG,IAAI,EAC9B,IAAI,EAAE,aAAa,GAClB,MAAM,GAAG,IAAI,CAwBf"}

package/dist/renderer/dragSnap.d.cts

@@ -0,0 +1,14 @@
+import { CanvasSize } from '../coordinates/transform.cjs';
+import { EntityDefinition, EntityId } from '../geometry/entityModel.cjs';
+import { SceneEntity } from '../geometry/hitTest.cjs';
+import { Point, PointId } from '../geometry/point.cjs';
+import { GeometryExercise } from '../schemas/exercise.schema.cjs';
+import { ScreenPoint } from './gesturePolicy.cjs';
+export interface DragSnapContext {
+    exercise: GeometryExercise;
+    attempt?: Record<EntityId, EntityDefinition>;
+    points: ReadonlyMap<PointId, Point>;
+    objects: readonly SceneEntity[];
+    canvas: CanvasSize;
+}
+export declare function snapDragFrame({ exercise, attempt, points, objects, canvas }: DragSnapContext, pointId: PointId, to: ScreenPoint, from: ScreenPoint): Point | null;

package/dist/renderer/dragSnap.d.ts

@@ -0,0 +1,15 @@
+import { CanvasSize } from '../coordinates/transform.js';
+import { EntityDefinition, EntityId } from '../geometry/entityModel.js';
+import { SceneEntity } from '../geometry/hitTest.js';
+import { Point, PointId } from '../geometry/point.js';
+import { GeometryExercise } from '../schemas/exercise.schema.js';
+import { ScreenPoint } from './gesturePolicy.js';
+export interface DragSnapContext {
+    exercise: GeometryExercise;
+    attempt?: Record<EntityId, EntityDefinition>;
+    points: ReadonlyMap<PointId, Point>;
+    objects: readonly SceneEntity[];
+    canvas: CanvasSize;
+}
+export declare function snapDragFrame({ exercise, attempt, points, objects, canvas }: DragSnapContext, pointId: PointId, to: ScreenPoint, from: ScreenPoint): Point | null;
+//# sourceMappingURL=dragSnap.d.ts.map

package/dist/renderer/dragSnap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dragSnap.d.ts","sourceRoot":"","sources":["../../src/renderer/dragSnap.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,UAAU,EAChB,MAAM,0BAA0B,CAAA;AACjC,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAEzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAElE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAElD,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,gBAAgB,CAAA;IAG1B,OAAO,CAAC,EAAE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAA;IAC5C,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACnC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAA;IAC/B,MAAM,EAAE,UAAU,CAAA;CACnB;AAMD,wBAAgB,aAAa,CAC3B,EAAE,QAAQ,EAAE,OAAY,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,eAAe,EACpE,OAAO,EAAE,OAAO,EAChB,EAAE,EAAE,WAAW,EACf,IAAI,EAAE,WAAW,GAChB,KAAK,GAAG,IAAI,CAed"}

package/dist/renderer/shapes/AngleShape.d.cts

@@ -0,0 +1,19 @@
+import { CanvasSize } from '../../coordinates/transform.cjs';
+import { Point } from '../../geometry/point.cjs';
+import { MathViewport } from '../../schemas/viewport.schema.cjs';
+export interface AngleShapeProps {
+    id: string;
+    vertex: Point;
+    startTurn: number;
+    sweepTurn: number;
+    radius: number;
+    viewport: MathViewport;
+    canvas: CanvasSize;
+    color?: string;
+    strokeWidth?: number;
+    dashed?: boolean;
+    selected?: boolean;
+    opacity?: number;
+    listening?: boolean;
+}
+export declare function AngleShape({ id, vertex, startTurn, sweepTurn, radius, viewport, canvas, color, strokeWidth, dashed, selected, opacity, listening, }: AngleShapeProps): import("react").JSX.Element;

package/dist/renderer/shapes/AngleShape.d.ts

@@ -0,0 +1,20 @@
+import { CanvasSize } from '../../coordinates/transform.js';
+import { Point } from '../../geometry/point.js';
+import { MathViewport } from '../../schemas/viewport.schema.js';
+export interface AngleShapeProps {
+    id: string;
+    vertex: Point;
+    startTurn: number;
+    sweepTurn: number;
+    radius: number;
+    viewport: MathViewport;
+    canvas: CanvasSize;
+    color?: string;
+    strokeWidth?: number;
+    dashed?: boolean;
+    selected?: boolean;
+    opacity?: number;
+    listening?: boolean;
+}
+export declare function AngleShape({ id, vertex, startTurn, sweepTurn, radius, viewport, canvas, color, strokeWidth, dashed, selected, opacity, listening, }: AngleShapeProps): import("react").JSX.Element;
+//# sourceMappingURL=AngleShape.d.ts.map

package/dist/renderer/shapes/AngleShape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AngleShape.d.ts","sourceRoot":"","sources":["../../../src/renderer/shapes/AngleShape.tsx"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC3E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AAEjD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAYjE,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,KAAK,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,YAAY,CAAA;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,SAAS,CAAC,EAAE,OAAO,CAAA;CACpB;AAgBD,wBAAgB,UAAU,CAAC,EACzB,EAAE,EACF,MAAM,EACN,SAAS,EACT,SAAS,EACT,MAAM,EACN,QAAQ,EACR,MAAM,EACN,KAAiB,EACjB,WAAe,EACf,MAAc,EACd,QAAgB,EAChB,OAAW,EACX,SAAgB,GACjB,EAAE,eAAe,+BA+CjB"}

package/dist/renderer/shapes/EntityLabel.d.cts

@@ -4,6 +4,7 @@ import { Point } from '../../geometry/point.cjs';
 import { MathViewport } from '../../schemas/viewport.schema.cjs';
 export interface EntityLabelProps {
     text: string;
+    measured?: boolean;
     descriptor: ShapeDescriptor;
     viewport: MathViewport;
     canvas: CanvasSize;
@@ -11,4 +12,11 @@ export interface EntityLabelProps {
     opacity?: number;
 }
 export declare function labelAnchorOf(descriptor: ShapeDescriptor, viewport: MathViewport): Point | null;
-export declare function EntityLabel({ text, descriptor, viewport, canvas, color, opacity, }: EntityLabelProps): import("react").JSX.Element | null;
+/**
+ * Screen pixels an angle measure's text centre sits beyond its mark, along the bisector
+ * (M3.5.d, decision B). A mark on short arms sits close to its vertex,
+ * so text drawn at the mark covers the vertex point's own label; this carries
+ * it clear of that label on a phone-sized canvas and off the mark's stroke.
+ */
+export declare const ANGLE_LABEL_GAP_PX = 40;
+export declare function EntityLabel({ text, measured, descriptor, viewport, canvas, color, opacity, }: EntityLabelProps): import("react").JSX.Element | null;

package/dist/renderer/shapes/EntityLabel.d.ts

@@ -4,6 +4,7 @@ import { Point } from '../../geometry/point.js';
 import { MathViewport } from '../../schemas/viewport.schema.js';
 export interface EntityLabelProps {
     text: string;
+    measured?: boolean;
     descriptor: ShapeDescriptor;
     viewport: MathViewport;
     canvas: CanvasSize;
@@ -11,5 +12,12 @@ export interface EntityLabelProps {
     opacity?: number;
 }
 export declare function labelAnchorOf(descriptor: ShapeDescriptor, viewport: MathViewport): Point | null;
-export declare function EntityLabel({ text, descriptor, viewport, canvas, color, opacity, }: EntityLabelProps): import("react").JSX.Element | null;
+/**
+ * Screen pixels an angle measure's text centre sits beyond its mark, along the bisector
+ * (M3.5.d, decision B). A mark on short arms sits close to its vertex,
+ * so text drawn at the mark covers the vertex point's own label; this carries
+ * it clear of that label on a phone-sized canvas and off the mark's stroke.
+ */
+export declare const ANGLE_LABEL_GAP_PX = 40;
+export declare function EntityLabel({ text, measured, descriptor, viewport, canvas, color, opacity, }: EntityLabelProps): import("react").JSX.Element | null;
 //# sourceMappingURL=EntityLabel.d.ts.map

package/dist/renderer/shapes/EntityLabel.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EntityLabel.d.ts","sourceRoot":"","sources":["../../../src/renderer/shapes/EntityLabel.tsx"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAE3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AACjD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAajE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,eAAe,CAAA;IAC3B,QAAQ,EAAE,YAAY,CAAA;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAqCD,wBAAgB,aAAa,CAAC,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,GAAG,KAAK,GAAG,IAAI,CAS/F;AAED,wBAAgB,WAAW,CAAC,EAC1B,IAAI,EACJ,UAAU,EACV,QAAQ,EACR,MAAM,EACN,KAAiB,EACjB,OAAW,GACZ,EAAE,gBAAgB,sCAqBlB"}
+{"version":3,"file":"EntityLabel.d.ts","sourceRoot":"","sources":["../../../src/renderer/shapes/EntityLabel.tsx"],"names":[],"mappings":"AAEA,OAAO,EAAgB,KAAK,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAE3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AACjD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAajE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAA;IAEZ,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,eAAe,CAAA;IAC3B,QAAQ,EAAE,YAAY,CAAA;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAiDD,wBAAgB,aAAa,CAAC,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,GAAG,KAAK,GAAG,IAAI,CAS/F;AAED;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,KAAK,CAAA;AAEpC,wBAAgB,WAAW,CAAC,EAC1B,IAAI,EACJ,QAAgB,EAChB,UAAU,EACV,QAAQ,EACR,MAAM,EACN,KAAiB,EACjB,OAAW,GACZ,EAAE,gBAAgB,sCAyClB"}

package/dist/renderer/shapes/EntityShape.d.cts

@@ -14,5 +14,6 @@ export interface EntityShapeProps {
     opacity?: number;
     listening?: boolean;
     label?: string;
+    measured?: boolean;
 }
-export declare function EntityShape({ descriptor, label, ...styling }: EntityShapeProps): ReactElement | null;
+export declare function EntityShape({ descriptor, label, measured, ...styling }: EntityShapeProps): ReactElement | null;

package/dist/renderer/shapes/EntityShape.d.ts

@@ -14,6 +14,7 @@ export interface EntityShapeProps {
     opacity?: number;
     listening?: boolean;
     label?: string;
+    measured?: boolean;
 }
-export declare function EntityShape({ descriptor, label, ...styling }: EntityShapeProps): ReactElement | null;
+export declare function EntityShape({ descriptor, label, measured, ...styling }: EntityShapeProps): ReactElement | null;
 //# sourceMappingURL=EntityShape.d.ts.map

package/dist/renderer/shapes/EntityShape.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EntityShape.d.ts","sourceRoot":"","sources":["../../../src/renderer/shapes/EntityShape.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,OAAO,CAAA;AACzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AACjE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAkBjE,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,eAAe,CAAA;IAC3B,QAAQ,EAAE,YAAY,CAAA;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,SAAS,CAAC,EAAE,OAAO,CAAA;IAKnB,KAAK,CAAC,EAAE,MAAM,CAAA;CACf;AA6BD,wBAAgB,WAAW,CAAC,EAC1B,UAAU,EACV,KAAK,EACL,GAAG,OAAO,EACX,EAAE,gBAAgB,GAAG,YAAY,GAAG,IAAI,CA4BxC"}
+{"version":3,"file":"EntityShape.d.ts","sourceRoot":"","sources":["../../../src/renderer/shapes/EntityShape.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,OAAO,CAAA;AACzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AACjE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAmBjE,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,eAAe,CAAA;IAC3B,QAAQ,EAAE,YAAY,CAAA;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,SAAS,CAAC,EAAE,OAAO,CAAA;IAKnB,KAAK,CAAC,EAAE,MAAM,CAAA;IAGd,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAsCD,wBAAgB,WAAW,CAAC,EAC1B,UAAU,EACV,KAAK,EACL,QAAQ,EACR,GAAG,OAAO,EACX,EAAE,gBAAgB,GAAG,YAAY,GAAG,IAAI,CA6BxC"}

package/dist/renderer/useConnectionPreview.d.cts

@@ -1,5 +1,6 @@
 import { CanvasSize } from '../coordinates/transform.cjs';
 import { SceneEntity } from '../geometry/hitTest.cjs';
+import { ShapeDescriptor } from '../geometry/entityModel.cjs';
 import { Point, PointId } from '../geometry/point.cjs';
 import { ConstructionEndpoint } from '../store/constructionCommand.cjs';
 import { SnapResult } from '../snapping/computeSnap.cjs';
@@ -12,6 +13,7 @@ interface UseConnectionPreviewArgs {
     canvas: CanvasSize;
     pendingObjectType: ObjectTypeName | null;
     pendingFirstPointId: PointId | null;
+    pendingVertexPointId?: PointId | null;
     connect: (from: ConstructionEndpoint, to: ConstructionEndpoint) => void;
     pick: (id: PointId) => void;
     objects?: readonly SceneEntity[];
@@ -19,6 +21,14 @@ interface UseConnectionPreviewArgs {
     canCreatePoints?: boolean;
     preserveCreatedPointOrigins?: boolean;
 }
+/**
+ * The mark an angle tool's third tap on `thirdId` would commit: the committed
+ * definition itself, resolved and described exactly as the canvas draws the
+ * angle once it exists, so the preview and the angle agree by construction.
+ * Only an existing point is ever previewed, because only an existing point can
+ * be tapped (ADR 0009 § Amendment). Carries no label, so never a measure.
+ */
+export declare function anglePreviewShape(points: ReadonlyMap<PointId, Point>, firstId: PointId, vertexId: PointId, thirdId: PointId): ShapeDescriptor | null;
 /**
  * The shared "tap two points, or drag from one to another" gesture behind
  * building a segment or a line, used identically by the teacher and student
@@ -29,9 +39,10 @@ interface UseConnectionPreviewArgs {
  * `press`, `drag`, `release` and `cancel`, already classified against the drag
  * threshold (RFC 0004 § Decision 4).
  */
-export declare function useConnectionPreview({ points, viewport, canvas, pendingObjectType, pendingFirstPointId, connect, pick, objects, isSnapTarget, canCreatePoints, preserveCreatedPointOrigins, }: UseConnectionPreviewArgs): {
+export declare function useConnectionPreview({ points, viewport, canvas, pendingObjectType, pendingFirstPointId, pendingVertexPointId, connect, pick, objects, isSnapTarget, canCreatePoints, preserveCreatedPointOrigins, }: UseConnectionPreviewArgs): {
     connecting: boolean;
     previewPoints: number[] | null;
+    previewAngle: ShapeDescriptor | null;
     snapTargetId: string | null;
     snapPreview: SnapResult | null;
     press: (pointer: ScreenPoint, pressedPointId: PointId | null) => void;

package/dist/renderer/useConnectionPreview.d.ts

@@ -1,5 +1,6 @@
 import { CanvasSize } from '../coordinates/transform.js';
 import { SceneEntity } from '../geometry/hitTest.js';
+import { ShapeDescriptor } from '../geometry/entityModel.js';
 import { Point, PointId } from '../geometry/point.js';
 import { ConstructionEndpoint } from '../store/constructionCommand.js';
 import { SnapResult } from '../snapping/computeSnap.js';
@@ -12,6 +13,7 @@ interface UseConnectionPreviewArgs {
     canvas: CanvasSize;
     pendingObjectType: ObjectTypeName | null;
     pendingFirstPointId: PointId | null;
+    pendingVertexPointId?: PointId | null;
     connect: (from: ConstructionEndpoint, to: ConstructionEndpoint) => void;
     pick: (id: PointId) => void;
     objects?: readonly SceneEntity[];
@@ -19,6 +21,14 @@ interface UseConnectionPreviewArgs {
     canCreatePoints?: boolean;
     preserveCreatedPointOrigins?: boolean;
 }
+/**
+ * The mark an angle tool's third tap on `thirdId` would commit: the committed
+ * definition itself, resolved and described exactly as the canvas draws the
+ * angle once it exists, so the preview and the angle agree by construction.
+ * Only an existing point is ever previewed, because only an existing point can
+ * be tapped (ADR 0009 § Amendment). Carries no label, so never a measure.
+ */
+export declare function anglePreviewShape(points: ReadonlyMap<PointId, Point>, firstId: PointId, vertexId: PointId, thirdId: PointId): ShapeDescriptor | null;
 /**
  * The shared "tap two points, or drag from one to another" gesture behind
  * building a segment or a line, used identically by the teacher and student
@@ -29,9 +39,10 @@ interface UseConnectionPreviewArgs {
  * `press`, `drag`, `release` and `cancel`, already classified against the drag
  * threshold (RFC 0004 § Decision 4).
  */
-export declare function useConnectionPreview({ points, viewport, canvas, pendingObjectType, pendingFirstPointId, connect, pick, objects, isSnapTarget, canCreatePoints, preserveCreatedPointOrigins, }: UseConnectionPreviewArgs): {
+export declare function useConnectionPreview({ points, viewport, canvas, pendingObjectType, pendingFirstPointId, pendingVertexPointId, connect, pick, objects, isSnapTarget, canCreatePoints, preserveCreatedPointOrigins, }: UseConnectionPreviewArgs): {
     connecting: boolean;
     previewPoints: number[] | null;
+    previewAngle: ShapeDescriptor | null;
     snapTargetId: string | null;
     snapPreview: SnapResult | null;
     press: (pointer: ScreenPoint, pressedPointId: PointId | null) => void;

package/dist/renderer/useConnectionPreview.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"useConnectionPreview.d.ts","sourceRoot":"","sources":["../../src/renderer/useConnectionPreview.ts"],"names":[],"mappings":"AACA,OAAO,EAKL,KAAK,UAAU,EAChB,MAAM,0BAA0B,CAAA;AAEjC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAExE,OAAO,EAA8B,KAAK,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACrF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAElD,UAAU,wBAAwB;IAChC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACnC,QAAQ,EAAE,YAAY,CAAA;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,iBAAiB,EAAE,cAAc,GAAG,IAAI,CAAA;IACxC,mBAAmB,EAAE,OAAO,GAAG,IAAI,CAAA;IAKnC,OAAO,EAAE,CAAC,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,oBAAoB,KAAK,IAAI,CAAA;IAIvE,IAAI,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,IAAI,CAAA;IAG3B,OAAO,CAAC,EAAE,SAAS,WAAW,EAAE,CAAA;IAMhC,YAAY,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,OAAO,CAAA;IAIvC,eAAe,CAAC,EAAE,OAAO,CAAA;IAKzB,2BAA2B,CAAC,EAAE,OAAO,CAAA;CACtC;AAgCD;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,EACnC,MAAM,EACN,QAAQ,EACR,MAAM,EACN,iBAAiB,EACjB,mBAAmB,EACnB,OAAO,EACP,IAAI,EACJ,OAAY,EACZ,YAAY,EACZ,eAAuB,EACvB,2BAAkC,GACnC,EAAE,wBAAwB;;;;;qBAyED,WAAW,kBAAkB,OAAO,GAAG,IAAI,KAAG,IAAI;oBAuDnD,WAAW,KAAG,IAAI;qBASjB,WAAW,GAAG,IAAI,KAAG,IAAI;uBAsDtC,WAAW,qBACD,OAAO,GAAG,IAAI,YACvB,OAAO,KAChB,OAAO;kBAyCS,IAAI;EAqBxB;AAED,MAAM,MAAM,iBAAiB,GAAG,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAA"}
+{"version":3,"file":"useConnectionPreview.d.ts","sourceRoot":"","sources":["../../src/renderer/useConnectionPreview.ts"],"names":[],"mappings":"AACA,OAAO,EAKL,KAAK,UAAU,EAChB,MAAM,0BAA0B,CAAA;AAEjC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAExE,OAAO,EAA8B,KAAK,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACrF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAElD,UAAU,wBAAwB;IAChC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACnC,QAAQ,EAAE,YAAY,CAAA;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,iBAAiB,EAAE,cAAc,GAAG,IAAI,CAAA;IACxC,mBAAmB,EAAE,OAAO,GAAG,IAAI,CAAA;IAEnC,oBAAoB,CAAC,EAAE,OAAO,GAAG,IAAI,CAAA;IAKrC,OAAO,EAAE,CAAC,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,oBAAoB,KAAK,IAAI,CAAA;IAIvE,IAAI,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,IAAI,CAAA;IAG3B,OAAO,CAAC,EAAE,SAAS,WAAW,EAAE,CAAA;IAMhC,YAAY,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,OAAO,CAAA;IAIvC,eAAe,CAAC,EAAE,OAAO,CAAA;IAKzB,2BAA2B,CAAC,EAAE,OAAO,CAAA;CACtC;AAgCD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,EACnC,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,OAAO,GACf,eAAe,GAAG,IAAI,CAMxB;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,EACnC,MAAM,EACN,QAAQ,EACR,MAAM,EACN,iBAAiB,EACjB,mBAAmB,EACnB,oBAA2B,EAC3B,OAAO,EACP,IAAI,EACJ,OAAY,EACZ,YAAY,EACZ,eAAuB,EACvB,2BAAkC,GACnC,EAAE,wBAAwB;;;;;;qBAoFD,WAAW,kBAAkB,OAAO,GAAG,IAAI,KAAG,IAAI;oBA0DnD,WAAW,KAAG,IAAI;qBAUjB,WAAW,GAAG,IAAI,KAAG,IAAI;uBAsDtC,WAAW,qBACD,OAAO,GAAG,IAAI,YACvB,OAAO,KAChB,OAAO;kBA0CS,IAAI;EAsBxB;AAED,MAAM,MAAM,iBAAiB,GAAG,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAA"}

package/dist/renderer/usePointerGestures.d.cts

@@ -18,7 +18,7 @@ export interface PointerGestureHandlers {
     };
     pointOnScreen(id: PointId): ScreenPoint | null;
     canDragPoint(id: PointId): boolean;
-    dragPoint(id: PointId, to: ScreenPoint): void;
+    dragPoint(id: PointId, to: ScreenPoint, from: ScreenPoint): void;
     endPointDrag(id: PointId): void;
     tapPoint(id: PointId): void;
     tapObject(id: string): void;

package/dist/renderer/usePointerGestures.d.ts

@@ -18,7 +18,7 @@ export interface PointerGestureHandlers {
     };
     pointOnScreen(id: PointId): ScreenPoint | null;
     canDragPoint(id: PointId): boolean;
-    dragPoint(id: PointId, to: ScreenPoint): void;
+    dragPoint(id: PointId, to: ScreenPoint, from: ScreenPoint): void;
     endPointDrag(id: PointId): void;
     tapPoint(id: PointId): void;
     tapObject(id: string): void;

package/dist/renderer/usePointerGestures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"usePointerGestures.d.ts","sourceRoot":"","sources":["../../src/renderer/usePointerGestures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsC,KAAK,SAAS,EAAE,MAAM,OAAO,CAAA;AAC1E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AACjD,OAAO,EASL,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAA;AACxB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAE/D,KAAK,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC;IAAE,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,UAAU,GAAG,WAAW,CAAC,CAAA;AA+BtF,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,cAAc,GAAG,IAAI,CAAA;IAC3B,UAAU,EAAE,iBAAiB,CAAA;IAC7B,SAAS,EAAE;QAAE,OAAO,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;QAAC,YAAY,IAAI,IAAI,CAAA;KAAE,CAAA;IAGxE,aAAa,CAAC,EAAE,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CAAA;IAC9C,YAAY,CAAC,EAAE,EAAE,OAAO,GAAG,OAAO,CAAA;IAGlC,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,GAAG,IAAI,CAAA;IAC7C,YAAY,CAAC,EAAE,EAAE,OAAO,GAAG,IAAI,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,IAAI,CAAA;IAC3B,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAA;IAEpC,mBAAmB,IAAI,IAAI,CAAA;IAE3B,UAAU,IAAI,IAAI,CAAA;CACnB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,SAAS,CAAC,KAAK,GAAG,IAAI,CAAC,EACjC,MAAM,EAAE,UAAU,EAClB,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,sBAAsB,GAC/B,IAAI,CA8VN"}
+{"version":3,"file":"usePointerGestures.d.ts","sourceRoot":"","sources":["../../src/renderer/usePointerGestures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsC,KAAK,SAAS,EAAE,MAAM,OAAO,CAAA;AAC1E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AACjD,OAAO,EASL,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAA;AACxB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAE/D,KAAK,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC;IAAE,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,UAAU,GAAG,WAAW,CAAC,CAAA;AAgCtF,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,cAAc,GAAG,IAAI,CAAA;IAC3B,UAAU,EAAE,iBAAiB,CAAA;IAC7B,SAAS,EAAE;QAAE,OAAO,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;QAAC,YAAY,IAAI,IAAI,CAAA;KAAE,CAAA;IAGxE,aAAa,CAAC,EAAE,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CAAA;IAC9C,YAAY,CAAC,EAAE,EAAE,OAAO,GAAG,OAAO,CAAA;IAKlC,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,GAAG,IAAI,CAAA;IAChE,YAAY,CAAC,EAAE,EAAE,OAAO,GAAG,IAAI,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,IAAI,CAAA;IAC3B,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAA;IAEpC,mBAAmB,IAAI,IAAI,CAAA;IAE3B,UAAU,IAAI,IAAI,CAAA;CACnB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,SAAS,CAAC,KAAK,GAAG,IAAI,CAAC,EACjC,MAAM,EAAE,UAAU,EAClB,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,sBAAsB,GAC/B,IAAI,CAmWN"}

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

@@ -43,6 +43,10 @@ export declare const circleDefinitionSchema: z.ZodObject<{
     kind: z.ZodLiteral<"circle">;
     parents: z.ZodReadonly<z.ZodTuple<[z.ZodString, z.ZodString], null>>;
 }, z.core.$strict>;
+export declare const angleDefinitionSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"angle">;
+    parents: z.ZodReadonly<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
+}, z.core.$strict>;
 export declare const entityDefinitionSchema: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
     kind: z.ZodLiteral<"point">;
     at: z.ZodObject<{
@@ -66,4 +70,7 @@ export declare const entityDefinitionSchema: z.ZodUnion<readonly [z.ZodUnion<rea
 }, z.core.$strict>, z.ZodObject<{
     kind: z.ZodLiteral<"circle">;
     parents: z.ZodReadonly<z.ZodTuple<[z.ZodString, z.ZodString], null>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"angle">;
+    parents: z.ZodReadonly<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
 }, z.core.$strict>]>;

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

@@ -43,6 +43,10 @@ export declare const circleDefinitionSchema: z.ZodObject<{
     kind: z.ZodLiteral<"circle">;
     parents: z.ZodReadonly<z.ZodTuple<[z.ZodString, z.ZodString], null>>;
 }, z.core.$strict>;
+export declare const angleDefinitionSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"angle">;
+    parents: z.ZodReadonly<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
+}, z.core.$strict>;
 export declare const entityDefinitionSchema: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
     kind: z.ZodLiteral<"point">;
     at: z.ZodObject<{
@@ -66,5 +70,8 @@ export declare const entityDefinitionSchema: z.ZodUnion<readonly [z.ZodUnion<rea
 }, z.core.$strict>, z.ZodObject<{
     kind: z.ZodLiteral<"circle">;
     parents: z.ZodReadonly<z.ZodTuple<[z.ZodString, z.ZodString], null>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"angle">;
+    parents: z.ZodReadonly<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
 }, z.core.$strict>]>;
 //# sourceMappingURL=entityDefinition.schema.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"entityDefinition.schema.d.ts","sourceRoot":"","sources":["../../src/schemas/entityDefinition.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAqBvB,eAAO,MAAM,yBAAyB;;;;;;kBAK3B,CAAA;AAMX,eAAO,MAAM,6BAA6B;;;;kBAM/B,CAAA;AAKX,eAAO,MAAM,iCAAiC;;;;kBAMnC,CAAA;AAMX,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;oBAIhC,CAAA;AAQF,eAAO,MAAM,uBAAuB;;;kBAEzB,CAAA;AAEX,eAAO,MAAM,oBAAoB;;;kBAEtB,CAAA;AAIX,eAAO,MAAM,sBAAsB;;;kBAExB,CAAA;AAEX,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;oBAKuB,CAAA"}
+{"version":3,"file":"entityDefinition.schema.d.ts","sourceRoot":"","sources":["../../src/schemas/entityDefinition.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAqBvB,eAAO,MAAM,yBAAyB;;;;;;kBAK3B,CAAA;AAMX,eAAO,MAAM,6BAA6B;;;;kBAM/B,CAAA;AAKX,eAAO,MAAM,iCAAiC;;;;kBAMnC,CAAA;AAMX,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;oBAIhC,CAAA;AAeF,eAAO,MAAM,uBAAuB;;;kBAEzB,CAAA;AAEX,eAAO,MAAM,oBAAoB;;;kBAEtB,CAAA;AAIX,eAAO,MAAM,sBAAsB;;;kBAExB,CAAA;AAKX,eAAO,MAAM,qBAAqB;;;kBAEvB,CAAA;AAEX,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;oBAMuB,CAAA"}

package/dist/schemas/entityDocument.d.cts

@@ -63,23 +63,44 @@ export declare function entityDocumentIssues(document: EntityDocumentShape, rule
  * attempt declares is exactly the case that violates it.
  */
 export declare function crossDocumentParentIssues(attempt: EntityDocumentShape, given: Record<EntityId, EntityDefinition>): EntityDocumentIssue[];
+/** The two exercise fields the override invariant reads (ADR 0016). */
+export interface GivenAuthority {
+    entities: Record<EntityId, EntityDefinition>;
+    draggableEntityIds: readonly EntityId[];
+}
+/**
+ * Whether the student may drag this given (ADR 0016, RFC 0006): listed in
+ * `draggableEntityIds` **and** a free or `on` point. An intersection may be
+ * listed — the schema checks only that the id names a point — but it sits
+ * where its parents put it, so no drag moves it.
+ *
+ * One predicate for the goal rule, the re-declaration classes below, the
+ * context and the student store, so none of them can disagree about which
+ * givens an attempt has authority over.
+ */
+export declare function isStudentDraggableGiven(exercise: GivenAuthority, id: EntityId): boolean;
 /**
- * Whether the two documents declaring the same id is a *collision* rather than
- * a re-declaration.
+ * What an id both documents declare means (ADR 0016 § The invariant). An
+ * attempt may override only the *position* of a point the student may drag;
+ * it never redefines a given's dependencies.
  *
- * One rule, read by both callers, because they answer for the same document
- * pair and had no reason to say it twice: `buildGeometryContext()` asks it to
- * decide whether to drop the attempt's entity and report `duplicate-id`, and
- * `validateGeometryStateInput()` asks it to refuse the document outright.
+ * - `ignored` — a given point the student may not drag, re-declared as any
+ *   point: unused, and dropped in silence on load, because every migrated v1
+ *   attempt carries such re-declarations (ADR 0008 § Amendment);
+ * - `override` — a student-draggable given in its own origin form: free stays
+ *   free, and `on H` stays on the same `H` with only `t` changed, within
+ *   `[0, 1]` on a segment. The attempt's position wins;
+ * - `collision` — every other pair: a draggable given re-parented or given
+ *   another form, or any pair that is not point and point. The loader refuses
+ *   it and the context reports `duplicate-id`.
  *
- * A given **point** re-declared as a **point** is the one shared id that is
- * not a collision — it is how the student moves a draggable given, and how
- * every migrated v1 attempt arrives (ADR 0008 § Amendment). Every other pair
- * is one document claiming an id the other already gave a different meaning.
+ * An override has exactly the exercise's parents, and the exercise is acyclic,
+ * so no loadable attempt can close a dependency cycle through a given.
  */
-export declare function isCrossDocumentIdCollision(given: EntityDefinition, declared: EntityDefinition): boolean;
+export type GivenRedeclaration = 'ignored' | 'override' | 'collision';
+export declare function classifyGivenRedeclaration(exercise: GivenAuthority, id: EntityId, given: EntityDefinition, declared: EntityDefinition): GivenRedeclaration;
 /**
- * The collisions of `isCrossDocumentIdCollision()`, as load errors.
+ * The collisions of `classifyGivenRedeclaration()`, as load errors.
  *
  * The context reports these as `duplicate-id` issues and then resolves the id
  * to the *exercise's* declaration, so an attempt declaring segment `A` over
@@ -88,7 +109,7 @@ export declare function isCrossDocumentIdCollision(given: EntityDefinition, decl
  * downstream has to decide what a contested id means, because it never gets
  * one.
  */
-export declare function crossDocumentIdCollisionIssues(attempt: EntityDocumentShape, given: Record<EntityId, EntityDefinition>): EntityDocumentIssue[];
+export declare function crossDocumentIdCollisionIssues(attempt: EntityDocumentShape, exercise: GivenAuthority): EntityDocumentIssue[];
 /** `answerEntityIds` and `draggableEntityIds` are the same list rule twice. */
 export declare function entityIdListIssues(ids: readonly EntityId[], field: string, document: EntityDocumentShape, options?: {
     pointsOnly?: boolean;

package/dist/schemas/entityDocument.d.ts

@@ -63,23 +63,44 @@ export declare function entityDocumentIssues(document: EntityDocumentShape, rule
  * attempt declares is exactly the case that violates it.
  */
 export declare function crossDocumentParentIssues(attempt: EntityDocumentShape, given: Record<EntityId, EntityDefinition>): EntityDocumentIssue[];
+/** The two exercise fields the override invariant reads (ADR 0016). */
+export interface GivenAuthority {
+    entities: Record<EntityId, EntityDefinition>;
+    draggableEntityIds: readonly EntityId[];
+}
+/**
+ * Whether the student may drag this given (ADR 0016, RFC 0006): listed in
+ * `draggableEntityIds` **and** a free or `on` point. An intersection may be
+ * listed — the schema checks only that the id names a point — but it sits
+ * where its parents put it, so no drag moves it.
+ *
+ * One predicate for the goal rule, the re-declaration classes below, the
+ * context and the student store, so none of them can disagree about which
+ * givens an attempt has authority over.
+ */
+export declare function isStudentDraggableGiven(exercise: GivenAuthority, id: EntityId): boolean;
 /**
- * Whether the two documents declaring the same id is a *collision* rather than
- * a re-declaration.
+ * What an id both documents declare means (ADR 0016 § The invariant). An
+ * attempt may override only the *position* of a point the student may drag;
+ * it never redefines a given's dependencies.
  *
- * One rule, read by both callers, because they answer for the same document
- * pair and had no reason to say it twice: `buildGeometryContext()` asks it to
- * decide whether to drop the attempt's entity and report `duplicate-id`, and
- * `validateGeometryStateInput()` asks it to refuse the document outright.
+ * - `ignored` — a given point the student may not drag, re-declared as any
+ *   point: unused, and dropped in silence on load, because every migrated v1
+ *   attempt carries such re-declarations (ADR 0008 § Amendment);
+ * - `override` — a student-draggable given in its own origin form: free stays
+ *   free, and `on H` stays on the same `H` with only `t` changed, within
+ *   `[0, 1]` on a segment. The attempt's position wins;
+ * - `collision` — every other pair: a draggable given re-parented or given
+ *   another form, or any pair that is not point and point. The loader refuses
+ *   it and the context reports `duplicate-id`.
  *
- * A given **point** re-declared as a **point** is the one shared id that is
- * not a collision — it is how the student moves a draggable given, and how
- * every migrated v1 attempt arrives (ADR 0008 § Amendment). Every other pair
- * is one document claiming an id the other already gave a different meaning.
+ * An override has exactly the exercise's parents, and the exercise is acyclic,
+ * so no loadable attempt can close a dependency cycle through a given.
  */
-export declare function isCrossDocumentIdCollision(given: EntityDefinition, declared: EntityDefinition): boolean;
+export type GivenRedeclaration = 'ignored' | 'override' | 'collision';
+export declare function classifyGivenRedeclaration(exercise: GivenAuthority, id: EntityId, given: EntityDefinition, declared: EntityDefinition): GivenRedeclaration;
 /**
- * The collisions of `isCrossDocumentIdCollision()`, as load errors.
+ * The collisions of `classifyGivenRedeclaration()`, as load errors.
  *
  * The context reports these as `duplicate-id` issues and then resolves the id
  * to the *exercise's* declaration, so an attempt declaring segment `A` over
@@ -88,7 +109,7 @@ export declare function isCrossDocumentIdCollision(given: EntityDefinition, decl
  * downstream has to decide what a contested id means, because it never gets
  * one.
  */
-export declare function crossDocumentIdCollisionIssues(attempt: EntityDocumentShape, given: Record<EntityId, EntityDefinition>): EntityDocumentIssue[];
+export declare function crossDocumentIdCollisionIssues(attempt: EntityDocumentShape, exercise: GivenAuthority): EntityDocumentIssue[];
 /** `answerEntityIds` and `draggableEntityIds` are the same list rule twice. */
 export declare function entityIdListIssues(ids: readonly EntityId[], field: string, document: EntityDocumentShape, options?: {
     pointsOnly?: boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"entityDocument.d.ts","sourceRoot":"","sources":["../../src/schemas/entityDocument.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAqB7F;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,CAAC,CAAC,OAAO,EACxD,KAAK,EAAE,KAAK,GACX,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAmBvD;AAED,+EAA+E;AAC/E,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IAC5B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,uDAAuD;AACvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAA;IAC5C,YAAY,EAAE,MAAM,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAA;CACnD;AAED,MAAM,WAAW,mBAAmB;IAClC;;;;;;;;OAQG;IACH,qBAAqB,EAAE,OAAO,CAAA;CAC/B;AAuBD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,mBAAmB,GACzB,mBAAmB,EAAE,CAuEvB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GACxC,mBAAmB,EAAE,CAwCvB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,gBAAgB,EACvB,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAET;AAED;;;;;;;;;GASG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,mBAAmB,EAC5B,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GACxC,mBAAmB,EAAE,CAWvB;AAED,+EAA+E;AAC/E,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,SAAS,QAAQ,EAAE,EACxB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,mBAAmB,EAC7B,OAAO,GAAE;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAO,GACrC,mBAAmB,EAAE,CAevB"}
+{"version":3,"file":"entityDocument.d.ts","sourceRoot":"","sources":["../../src/schemas/entityDocument.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAqB7F;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,CAAC,CAAC,OAAO,EACxD,KAAK,EAAE,KAAK,GACX,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAmBvD;AAED,+EAA+E;AAC/E,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IAC5B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,uDAAuD;AACvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAA;IAC5C,YAAY,EAAE,MAAM,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAA;CACnD;AAED,MAAM,WAAW,mBAAmB;IAClC;;;;;;;;OAQG;IACH,qBAAqB,EAAE,OAAO,CAAA;CAC/B;AAiCD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,mBAAmB,GACzB,mBAAmB,EAAE,CAoFvB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GACxC,mBAAmB,EAAE,CA2CvB;AAED,uEAAuE;AACvE,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAA;IAC5C,kBAAkB,EAAE,SAAS,QAAQ,EAAE,CAAA;CACxC;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,GAAG,OAAO,CAIvF;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,CAAA;AAErE,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,cAAc,EACxB,EAAE,EAAE,QAAQ,EACZ,KAAK,EAAE,gBAAgB,EACvB,QAAQ,EAAE,gBAAgB,GACzB,kBAAkB,CAUpB;AAED;;;;;;;;;GASG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,mBAAmB,EAC5B,QAAQ,EAAE,cAAc,GACvB,mBAAmB,EAAE,CAevB;AAED,+EAA+E;AAC/E,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,SAAS,QAAQ,EAAE,EACxB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,mBAAmB,EAC7B,OAAO,GAAE;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAO,GACrC,mBAAmB,EAAE,CAevB"}

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

@@ -9,4 +9,7 @@ export declare const entityPresentationSchema: z.ZodObject<{
         explicit: "explicit";
     }>;
     label: z.ZodOptional<z.ZodString>;
+    measureLabel: z.ZodOptional<z.ZodEnum<{
+        degrees: "degrees";
+    }>>;
 }, z.core.$strict>;

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

@@ -9,5 +9,8 @@ export declare const entityPresentationSchema: z.ZodObject<{
         explicit: "explicit";
     }>;
     label: z.ZodOptional<z.ZodString>;
+    measureLabel: z.ZodOptional<z.ZodEnum<{
+        degrees: "degrees";
+    }>>;
 }, z.core.$strict>;
 //# sourceMappingURL=entityPresentation.schema.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"entityPresentation.schema.d.ts","sourceRoot":"","sources":["../../src/schemas/entityPresentation.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAWvB,eAAO,MAAM,gBAAgB;;;EAAmC,CAAA;AAMhE,eAAO,MAAM,wBAAwB;;;;;;kBAOkC,CAAA"}
+{"version":3,"file":"entityPresentation.schema.d.ts","sourceRoot":"","sources":["../../src/schemas/entityPresentation.schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAWvB,eAAO,MAAM,gBAAgB;;;EAAmC,CAAA;AAMhE,eAAO,MAAM,wBAAwB;;;;;;;;;kBAWkC,CAAA"}