@mathscan/geometry-engine 0.1.0

package/dist/store/studentStore.d.ts

@@ -0,0 +1,152 @@
+import { GeometryExercise } from '../schemas/exercise.schema.js';
+import { GeometryState } from '../schemas/geometryState.schema.js';
+import { PointDefinition } from '../geometry/entityModel.js';
+import { ObjectTypeName } from '../schemas/objectTypeName.schema.js';
+import { Point, PointId } from '../geometry/point.js';
+import { RevealedAnswerShape } from '../validation/types.js';
+import { ConstructionCommand, ConstructionNotice } from './constructionCommand.js';
+import { StudentAttemptChangeReceipt } from './attemptChange.js';
+import { Store } from './createStore.js';
+export type { StudentAttemptChangeReceipt, StudentGeometryAction, StudentGeometryChangeMeta, } from './attemptChange.js';
+export type { ConstructionCommand, ConstructionEndpoint, ConstructionNotice, } from './constructionCommand.js';
+export interface StudentState {
+    exercise: GeometryExercise;
+    geometry: GeometryState;
+    pendingObjectType: ObjectTypeName | null;
+    pendingFirstPointId: PointId | null;
+    selectedObjectId: string | null;
+    past: GeometryState[];
+    future: GeometryState[];
+    coalesceTag: string | null;
+    interactionEpoch?: number;
+    constructionNotice?: ConstructionNotice | null;
+    readOnly?: boolean;
+    lastAttemptChange?: StudentAttemptChangeReceipt | null;
+}
+export interface StudentRemovalImpact {
+    constructionIds: string[];
+    pointIds: string[];
+}
+/**
+ * One store per attempt. Pass `savedGeometry` to resume a stored attempt —
+ * validate it first with validateGeometryStateJson(), which checks it against
+ * this exercise. A resumed attempt starts with empty history: undo must not
+ * reach back past what the student can see.
+ *
+ * The store holds the exercise without its authored `solution` (ADR 0015):
+ * the canonical answer is never student state.
+ */
+export declare function createStudentStore(exercise: GeometryExercise, savedGeometry?: GeometryState): Store<StudentState>;
+/**
+ * Locks or unlocks the attempt (RFC 0005 § Decision 3). While read-only every
+ * public student action that could change attempt data does nothing and no
+ * tool can be armed; selection stays available for inspection.
+ *
+ * Locking disarms the tool and clears the pending endpoint, the selection and
+ * the notice, and moves the epoch so a late pointer release writes nothing. A
+ * drag whose frames already moved a point keeps that position, its one undo
+ * entry and its one `point-moved` receipt, all in the locking transition.
+ * Unlocking moves the epoch as well, so a contact pressed during the lock
+ * cannot start editing once it lifts; no point is draggable while locked.
+ * `replaceStudentAttempt()` and `replaceStudentSession()` still work while
+ * locked; `store.setState()` is not guarded at all.
+ */
+export declare function setStudentReadOnly(store: Store<StudentState>, readOnly: boolean): void;
+/**
+ * Host authority: installs `attempt` on the same store, as a controlled value
+ * that differs from the current one (RFC 0005 § Decision 2). Both history
+ * stacks and all interaction state are cleared and the epoch moves, so it
+ * cannot be undone and a live gesture is dropped. Works while read-only, and is
+ * not a student action: `lastAttemptChange` is left as it was, and a drag it
+ * interrupts gets no receipt.
+ *
+ * The attempt is taken as already parsed and checked against this exercise —
+ * validate untrusted input first, as for `createStudentStore()`.
+ */
+export declare function replaceStudentAttempt(store: Store<StudentState>, attempt: GeometryState): void;
+/**
+ * Host authority: installs a different exercise and its attempt together, in
+ * one transition, so no subscriber ever sees the new exercise with the old
+ * attempt. An absent attempt is a fresh empty one. Otherwise it behaves as
+ * `replaceStudentAttempt()` does: same store, history and interaction state
+ * cleared, epoch moved, read-only kept, no receipt, and parsed input expected.
+ * As at creation, the authored `solution` is left out of the store.
+ */
+export declare function replaceStudentSession(store: Store<StudentState>, exercise: GeometryExercise, attempt?: GeometryState): void;
+export declare function selectStudentObjectType(store: Store<StudentState>, type: ObjectTypeName | null): void;
+/**
+ * Abandons a click-click construction in progress: the first endpoint is
+ * forgotten and the tool stays armed. What a canvas calls when a gesture is
+ * cancelled — a system gesture, a second finger, a release off the canvas —
+ * so the next tap starts a construction rather than finishing a stale one.
+ */
+export declare function cancelStudentConstruction(store: Store<StudentState>): void;
+export declare function undoStudentChange(store: Store<StudentState>): void;
+export declare function redoStudentChange(store: Store<StudentState>): void;
+/**
+ * Starts the attempt over on the same store (RFC 0004 § Decision 2): the
+ * exercise and its givens stay, and everything the student did goes — their
+ * constructions, any given they dragged (it returns to where the teacher put
+ * it), the tool, the selection, a pending endpoint and the notice. A resumed
+ * attempt resets to empty, not to what was saved.
+ *
+ * Not undoable: both history stacks are emptied, so neither Undo nor Redo can
+ * bring the old attempt back. The store object and its subscribers are kept.
+ * The epoch moves even when the attempt was already empty, which is how a
+ * canvas drops a gesture in flight, and a host clearing checked feedback on a
+ * geometry or epoch change sees every reset. Nothing saved outside the store
+ * is touched.
+ *
+ * A student action: it does nothing while read-only, and it records a `reset`
+ * receipt even for an attempt that was already empty.
+ */
+export declare function resetStudentAttempt(store: Store<StudentState>): void;
+export declare function addStudentPoint(store: Store<StudentState>, definition: PointDefinition, countsAsConstruction?: boolean): PointId | null;
+export declare function promoteStudentPoint(store: Store<StudentState>, pointId: PointId): void;
+/**
+ * Drags a point to `point`, respecting what the point is:
+ * - free: takes the new coordinates;
+ * - on-object: slides along its object, so the drag re-parameterizes rather
+ *   than detaching it (a point placed on a line stays on that line);
+ * - intersection: ignored — its position is its parents' to decide.
+ */
+export declare function moveStudentPoint(store: Store<StudentState>, pointId: PointId, point: Point): void;
+export declare function isStudentPointDraggable(state: StudentState, pointId: PointId): boolean;
+export declare function endStudentPointDrag(store: Store<StudentState>): void;
+/**
+ * The one way a gesture becomes geometry (RFC 0001 § 11).
+ *
+ * Two rules the pre-M2.9 code broke, both of them here now:
+ *
+ * 1. **One gesture is one commit is one undo.** Every entity the command needs
+ *    is written inside a single `commitGeometry()`, so a segment that had to
+ *    invent its endpoint still costs the student exactly one undo — and undoing
+ *    it takes the invented point with it.
+ * 2. **An invented endpoint is not part of the answer.** Only the shape the
+ *    student drew is, which is what keeps a `create` goal from being satisfied
+ *    by scaffolding they never chose to make.
+ *
+ * A third since RFC 0004: **a construction the student already built is not
+ * built twice.** The whole staged document is dropped — no invented point, no
+ * history entry, the redo stack intact — and `constructionNotice` names the one
+ * that is there.
+ */
+export declare function executeConstruction(store: Store<StudentState>, command: ConstructionCommand): void;
+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;
+/**
+ * Everything that disappears along with `id`, the target included, the same
+ * way getGivenRemovalImpact() reports cascades on the teacher side.
+ *
+ * The cascade follows the dependency graph upwards: a construction needs its
+ * endpoints, and a derived point needs its objects, so deleting a segment can
+ * strip an intersection point, which can strip a construction that used it,
+ * and so on. Since M2.2 that is one walk of the context's reverse edges — the
+ * fixpoint loop it replaces rescanned both documents once per entity it
+ * removed.
+ */
+export declare function getStudentRemovalImpact(state: StudentState, id: string): StudentRemovalImpact;
+export declare function deleteStudentObject(store: Store<StudentState>, id: string): void;
+export declare function revealStudentAnswer(store: Store<StudentState>, shape: RevealedAnswerShape): void;
+//# sourceMappingURL=studentStore.d.ts.map

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

@@ -0,0 +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"}

package/dist/store/teacherStore.d.cts

@@ -0,0 +1,111 @@
+import { ExtraObjectPolicy, GeometryExercise, ToolName } from '../schemas/exercise.schema.cjs';
+import { ObjectTypeName } from '../schemas/objectTypeName.schema.cjs';
+import { GeometryGoal } from '../schemas/goals/geometryGoal.schema.cjs';
+import { MathViewport } from '../schemas/viewport.schema.cjs';
+import { Point, PointId } from '../geometry/point.cjs';
+import { EntityId, PointDefinition } from '../geometry/entityModel.cjs';
+import { Store } from './createStore.cjs';
+import { ConstructionCommand, ConstructionNotice } from './constructionCommand.cjs';
+export interface TeacherEditorState {
+    exercise: GeometryExercise;
+    pendingObjectType: ObjectTypeName | null;
+    pendingFirstPointId: PointId | null;
+    selectedGivenId: string | null;
+    past: GeometryExercise[];
+    future: GeometryExercise[];
+    coalesceTag: string | null;
+    interactionEpoch?: number;
+    constructionNotice?: ConstructionNotice | null;
+}
+export interface GivenRemovalImpact {
+    dependentEntityIds: string[];
+    dependentGoalIds: string[];
+}
+export declare function createTeacherStore(initialExercise: GeometryExercise): Store<TeacherEditorState>;
+export declare function loadExercise(store: Store<TeacherEditorState>, exercise: GeometryExercise): void;
+export declare function undoTeacherChange(store: Store<TeacherEditorState>): void;
+export declare function redoTeacherChange(store: Store<TeacherEditorState>): void;
+export declare function selectGiven(store: Store<TeacherEditorState>, id: string | null): void;
+export declare function setViewport(store: Store<TeacherEditorState>, viewport: MathViewport): void;
+export declare function setShowGrid(store: Store<TeacherEditorState>, showGrid: boolean): void;
+export declare function setAllowedObjects(store: Store<TeacherEditorState>, types: ObjectTypeName[]): void;
+export declare function setTools(store: Store<TeacherEditorState>, tools: ToolName[]): void;
+/**
+ * How the attempt is graded for answer entities no goal needed (ADR 0013).
+ * Undoable, like every other authoring change.
+ *
+ * `allow` **removes** the field rather than storing it: absence already means
+ * permissive, and an exercise that says so twice would differ from a migrated
+ * one for no reason a host could read. So choosing `allow` on an exercise that
+ * never stated a policy changes nothing and records no history entry, which is
+ * `commitExercise()`'s existing identity rule.
+ */
+export declare function setExtraObjectPolicy(store: Store<TeacherEditorState>, policy: ExtraObjectPolicy): void;
+export declare function addGoal(store: Store<TeacherEditorState>, goal: GeometryGoal): void;
+export declare function replaceGoal(store: Store<TeacherEditorState>, goal: GeometryGoal): void;
+export declare function removeGoal(store: Store<TeacherEditorState>, goalId: string): void;
+/**
+ * Adds a point to the figure, from coordinates or from a whole origin. The
+ * Point tool passes an origin so a point the author placed on an object or at
+ * an intersection is stored as derived (M3.1-6); everything else passes
+ * coordinates and gets a free point.
+ *
+ * A given with exactly this origin is returned instead of stacked, unchanged:
+ * `draggable` does not rewrite a point that is already there.
+ */
+export declare function addGivenPoint(store: Store<TeacherEditorState>, origin: Point | PointDefinition, draggable?: boolean): PointId;
+/**
+ * Reveals scaffolding the figure already depends on: an implicit given becomes
+ * explicit, so it is drawn and selectable.
+ *
+ * One-way by design (M3.1-9, amendment 4). There is no demotion: hiding an
+ * entity an exercise or a goal refers to would silently change what the
+ * student is asked to do, while revealing one only shows what is already load
+ * bearing.
+ *
+ * Any kind, not points only, because an exercise may declare an implicit
+ * segment, line or circle — the `presentation` record says nothing about kind.
+ */
+export declare function promoteGivenEntity(store: Store<TeacherEditorState>, id: EntityId): void;
+/**
+ * The canvas gesture's promotion: the same rule, refused for anything but a
+ * point, because clicking with the Point tool is what calls it.
+ */
+export declare function promoteGivenPoint(store: Store<TeacherEditorState>, pointId: PointId): void;
+/**
+ * Turns one teacher gesture into its endpoints and shape in one undo step. A
+ * shape the exercise already declares is not declared twice: the staged
+ * endpoints are dropped with it, nothing enters history, and
+ * `constructionNotice` names the one that is there.
+ */
+export declare function executeGivenConstruction(store: Store<TeacherEditorState>, command: ConstructionCommand): void;
+export declare function moveGivenPoint(store: Store<TeacherEditorState>, id: PointId, position: Point): void;
+export declare function isGivenPointDraggable(state: TeacherEditorState, pointId: PointId): boolean;
+export declare function endGivenPointDrag(store: Store<TeacherEditorState>): void;
+export declare function setGivenPointDraggable(store: Store<TeacherEditorState>, id: PointId, draggable: boolean): void;
+/**
+ * Names an entity: the label both surfaces draw and the inspector lists, for
+ * every kind rather than points only (M3.1-8).
+ *
+ * An empty or blank label removes the entry's label rather than storing one,
+ * which is the rule `entityPresentationSchema` already states — a stored label
+ * is `min(1)` — and what `entityDisplayName()` reads as "no label".
+ *
+ * Typing coalesces into one undo entry per label, the way the X and Y inputs
+ * already coalesce through `moveGivenPoint`: a keystroke is not an edit a
+ * teacher means to undo on its own.
+ */
+export declare function setGivenLabel(store: Store<TeacherEditorState>, id: EntityId, label: string): 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;
+export declare function addGivenLine(store: Store<TeacherEditorState>, throughA: PointId, throughB: PointId): string | null;
+export declare function selectPendingObjectType(store: Store<TeacherEditorState>, type: ObjectTypeName | null): void;
+/**
+ * Abandons a click-click construction in progress: the first endpoint is
+ * forgotten and the tool stays armed, as does the selection. The authoring
+ * sibling of `cancelStudentConstruction()`, called when a canvas cancels a
+ * gesture.
+ */
+export declare function cancelGivenConstruction(store: Store<TeacherEditorState>): void;
+export declare function pickPointForPendingObject(store: Store<TeacherEditorState>, pointId: PointId): void;

package/dist/store/teacherStore.d.ts

@@ -0,0 +1,112 @@
+import { ExtraObjectPolicy, GeometryExercise, ToolName } from '../schemas/exercise.schema.js';
+import { ObjectTypeName } from '../schemas/objectTypeName.schema.js';
+import { GeometryGoal } from '../schemas/goals/geometryGoal.schema.js';
+import { MathViewport } from '../schemas/viewport.schema.js';
+import { Point, PointId } from '../geometry/point.js';
+import { EntityId, PointDefinition } from '../geometry/entityModel.js';
+import { Store } from './createStore.js';
+import { ConstructionCommand, ConstructionNotice } from './constructionCommand.js';
+export interface TeacherEditorState {
+    exercise: GeometryExercise;
+    pendingObjectType: ObjectTypeName | null;
+    pendingFirstPointId: PointId | null;
+    selectedGivenId: string | null;
+    past: GeometryExercise[];
+    future: GeometryExercise[];
+    coalesceTag: string | null;
+    interactionEpoch?: number;
+    constructionNotice?: ConstructionNotice | null;
+}
+export interface GivenRemovalImpact {
+    dependentEntityIds: string[];
+    dependentGoalIds: string[];
+}
+export declare function createTeacherStore(initialExercise: GeometryExercise): Store<TeacherEditorState>;
+export declare function loadExercise(store: Store<TeacherEditorState>, exercise: GeometryExercise): void;
+export declare function undoTeacherChange(store: Store<TeacherEditorState>): void;
+export declare function redoTeacherChange(store: Store<TeacherEditorState>): void;
+export declare function selectGiven(store: Store<TeacherEditorState>, id: string | null): void;
+export declare function setViewport(store: Store<TeacherEditorState>, viewport: MathViewport): void;
+export declare function setShowGrid(store: Store<TeacherEditorState>, showGrid: boolean): void;
+export declare function setAllowedObjects(store: Store<TeacherEditorState>, types: ObjectTypeName[]): void;
+export declare function setTools(store: Store<TeacherEditorState>, tools: ToolName[]): void;
+/**
+ * How the attempt is graded for answer entities no goal needed (ADR 0013).
+ * Undoable, like every other authoring change.
+ *
+ * `allow` **removes** the field rather than storing it: absence already means
+ * permissive, and an exercise that says so twice would differ from a migrated
+ * one for no reason a host could read. So choosing `allow` on an exercise that
+ * never stated a policy changes nothing and records no history entry, which is
+ * `commitExercise()`'s existing identity rule.
+ */
+export declare function setExtraObjectPolicy(store: Store<TeacherEditorState>, policy: ExtraObjectPolicy): void;
+export declare function addGoal(store: Store<TeacherEditorState>, goal: GeometryGoal): void;
+export declare function replaceGoal(store: Store<TeacherEditorState>, goal: GeometryGoal): void;
+export declare function removeGoal(store: Store<TeacherEditorState>, goalId: string): void;
+/**
+ * Adds a point to the figure, from coordinates or from a whole origin. The
+ * Point tool passes an origin so a point the author placed on an object or at
+ * an intersection is stored as derived (M3.1-6); everything else passes
+ * coordinates and gets a free point.
+ *
+ * A given with exactly this origin is returned instead of stacked, unchanged:
+ * `draggable` does not rewrite a point that is already there.
+ */
+export declare function addGivenPoint(store: Store<TeacherEditorState>, origin: Point | PointDefinition, draggable?: boolean): PointId;
+/**
+ * Reveals scaffolding the figure already depends on: an implicit given becomes
+ * explicit, so it is drawn and selectable.
+ *
+ * One-way by design (M3.1-9, amendment 4). There is no demotion: hiding an
+ * entity an exercise or a goal refers to would silently change what the
+ * student is asked to do, while revealing one only shows what is already load
+ * bearing.
+ *
+ * Any kind, not points only, because an exercise may declare an implicit
+ * segment, line or circle — the `presentation` record says nothing about kind.
+ */
+export declare function promoteGivenEntity(store: Store<TeacherEditorState>, id: EntityId): void;
+/**
+ * The canvas gesture's promotion: the same rule, refused for anything but a
+ * point, because clicking with the Point tool is what calls it.
+ */
+export declare function promoteGivenPoint(store: Store<TeacherEditorState>, pointId: PointId): void;
+/**
+ * Turns one teacher gesture into its endpoints and shape in one undo step. A
+ * shape the exercise already declares is not declared twice: the staged
+ * endpoints are dropped with it, nothing enters history, and
+ * `constructionNotice` names the one that is there.
+ */
+export declare function executeGivenConstruction(store: Store<TeacherEditorState>, command: ConstructionCommand): void;
+export declare function moveGivenPoint(store: Store<TeacherEditorState>, id: PointId, position: Point): void;
+export declare function isGivenPointDraggable(state: TeacherEditorState, pointId: PointId): boolean;
+export declare function endGivenPointDrag(store: Store<TeacherEditorState>): void;
+export declare function setGivenPointDraggable(store: Store<TeacherEditorState>, id: PointId, draggable: boolean): void;
+/**
+ * Names an entity: the label both surfaces draw and the inspector lists, for
+ * every kind rather than points only (M3.1-8).
+ *
+ * An empty or blank label removes the entry's label rather than storing one,
+ * which is the rule `entityPresentationSchema` already states — a stored label
+ * is `min(1)` — and what `entityDisplayName()` reads as "no label".
+ *
+ * Typing coalesces into one undo entry per label, the way the X and Y inputs
+ * already coalesce through `moveGivenPoint`: a keystroke is not an edit a
+ * teacher means to undo on its own.
+ */
+export declare function setGivenLabel(store: Store<TeacherEditorState>, id: EntityId, label: string): 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;
+export declare function addGivenLine(store: Store<TeacherEditorState>, throughA: PointId, throughB: PointId): string | null;
+export declare function selectPendingObjectType(store: Store<TeacherEditorState>, type: ObjectTypeName | null): void;
+/**
+ * Abandons a click-click construction in progress: the first endpoint is
+ * forgotten and the tool stays armed, as does the selection. The authoring
+ * sibling of `cancelStudentConstruction()`, called when a canvas cancels a
+ * gesture.
+ */
+export declare function cancelGivenConstruction(store: Store<TeacherEditorState>): void;
+export declare function pickPointForPendingObject(store: Store<TeacherEditorState>, pointId: PointId): void;
+//# sourceMappingURL=teacherStore.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"teacherStore.d.ts","sourceRoot":"","sources":["../../src/store/teacherStore.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAA;AAC/F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAA;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAGvD,OAAO,KAAK,EAEV,QAAQ,EAER,eAAe,EAChB,MAAM,yBAAyB,CAAA;AAGhC,OAAO,EAAe,KAAK,KAAK,EAAE,MAAM,eAAe,CAAA;AAEvD,OAAO,KAAK,EACV,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,uBAAuB,CAAA;AAG9B,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,iBAAiB,EAAE,cAAc,GAAG,IAAI,CAAA;IACxC,mBAAmB,EAAE,OAAO,GAAG,IAAI,CAAA;IACnC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,IAAI,EAAE,gBAAgB,EAAE,CAAA;IACxB,MAAM,EAAE,gBAAgB,EAAE,CAAA;IAI1B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IAM1B,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAIzB,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAAA;CAC/C;AAED,MAAM,WAAW,kBAAkB;IAIjC,kBAAkB,EAAE,MAAM,EAAE,CAAA;IAC5B,gBAAgB,EAAE,MAAM,EAAE,CAAA;CAC3B;AAED,wBAAgB,kBAAkB,CAAC,eAAe,EAAE,gBAAgB,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAY/F;AAyED,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAY/F;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAexE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAexE;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAErF;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,QAAQ,EAAE,YAAY,GAAG,IAAI,CAE1F;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAErF;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,IAAI,CAEjG;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAElF;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,MAAM,EAAE,iBAAiB,GACxB,IAAI,CAWN;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,YAAY,GAAG,IAAI,CAElF;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,YAAY,GAAG,IAAI,CAKtF;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAKjF;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,MAAM,EAAE,KAAK,GAAG,eAAe,EAC/B,SAAS,UAAQ,GAChB,OAAO,CAsBT;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,EAAE,EAAE,QAAQ,GAAG,IAAI,CAWvF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAI1F;AAeD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,OAAO,EAAE,mBAAmB,GAC3B,IAAI,CA6CN;AAED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,EAAE,EAAE,OAAO,EACX,QAAQ,EAAE,KAAK,GACd,IAAI,CAcN;AAMD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAG1F;AAKD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAExE;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,EAAE,EAAE,OAAO,EACX,SAAS,EAAE,OAAO,GACjB,IAAI,CAaN;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAsBjG;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,EAAE,EAAE,MAAM,GAAG,kBAAkB,CAsBhG;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CA2B9E;AA4BD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,MAAM,EAAE,OAAO,EACf,IAAI,EAAE,OAAO,GACZ,MAAM,GAAG,IAAI,CAEf;AAED,wBAAgB,YAAY,CAC1B,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,QAAQ,EAAE,OAAO,EACjB,QAAQ,EAAE,OAAO,GAChB,MAAM,GAAG,IAAI,CAEf;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,IAAI,EAAE,cAAc,GAAG,IAAI,GAC1B,IAAI,CAQN;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAG9E;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,EAChC,OAAO,EAAE,OAAO,GACf,IAAI,CAiBN"}

package/dist/store/useStoreState.d.cts

@@ -0,0 +1,2 @@
+import { Store } from './createStore.cjs';
+export declare function useStoreState<T>(store: Store<T>): T;

package/dist/store/useStoreState.d.ts

@@ -0,0 +1,3 @@
+import { Store } from './createStore.js';
+export declare function useStoreState<T>(store: Store<T>): T;
+//# sourceMappingURL=useStoreState.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"useStoreState.d.ts","sourceRoot":"","sources":["../../src/store/useStoreState.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAK1C,wBAAgB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAKnD"}