@mathscan/geometry-engine 0.1.0 → 0.1.1

package/dist/exerciseLoad-Db9Cigxi.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"exerciseLoad-Db9Cigxi.cjs","names":[],"sources":["../src/validation/validateGeometryStateInput.ts","../src/validation/deriveGeometryCanvasFeedback.ts","../src/validation/gradingFingerprints.ts","../src/validation/geometryAttemptStatus.ts","../src/validation/getGeometryExerciseWarnings.ts","../src/validation/exerciseLoad.ts"],"sourcesContent":["import type { EntityId } from '../geometry/entityModel'\nimport { entryOf } from '../geometry/entityRecord'\nimport {\n  classifyGivenRedeclaration,\n  crossDocumentIdCollisionIssues,\n  crossDocumentParentIssues,\n} from '../schemas/entityDocument'\nimport type { GeometryExercise } from '../schemas/exercise.schema'\nimport {\n  geometryStateSchema,\n  migrateGeometryState,\n  type GeometryState,\n} from '../schemas/geometryState.schema'\nimport type { GeometryExerciseValidationIssue } from './validateGeometryExercise'\n\n/**\n * The load pass ADR 0008 § Amendment specifies: a v2 attempt carries **only\n * student work**, so a re-declaration of a given the student has no authority\n * over is removed on the way in, and no given at all survives in\n * `answerEntityIds`.\n *\n * Neither drop is an error, because both are what every migrated v1 attempt\n * looks like — v1 seeded the givens into the attempt, required them to be\n * there, and its reveal promoted a given point into `constructedPointIds`,\n * which the migration copies verbatim into `answerEntityIds`. What is dropped\n * is the `ignored` class of `classifyGivenRedeclaration()` (ADR 0016): a\n * pinned given, or a listed intersection no drag could have moved. An\n * `override` is kept, since it is how the student moves a draggable given, and\n * a `collision` is kept to be refused below rather than tidied away here.\n *\n * **Presentation is the exercise's for every id it declares** (ADR 0016), so\n * the attempt's entry for such an id goes, the override's included. Silently,\n * for the same migrated-v1 reason; and before this an attempt could relabel,\n * or hide, a given it had only moved.\n *\n * **`answerEntityIds` loses every id the exercise declares**, not only the\n * dropped ones: a given is not an answer to anything, so a draggable given the\n * student moved is still not something they built. Dropping rather than\n * refusing is decided by what the loader can see — a hand-written document\n * naming a given there is indistinguishable from a migrated v1 one, and\n * refusing would make every stored v1 attempt with a revealed given\n * unloadable. The entry says nothing true either way, so it is removed in\n * silence, exactly as the ignored re-declaration is.\n */\nfunction normalizedAgainstExercise(\n  geometry: GeometryState,\n  exercise: GeometryExercise,\n): GeometryState {\n  const declaredByExercise = (id: EntityId) =>\n    Object.prototype.hasOwnProperty.call(exercise.entities, id)\n  const dropped = new Set<EntityId>()\n  for (const [id, definition] of Object.entries(geometry.entities)) {\n    const given = entryOf(exercise.entities, id)\n    if (!given) continue\n    if (classifyGivenRedeclaration(exercise, id, given, definition) === 'ignored') dropped.add(id)\n  }\n  const answerEntityIds = geometry.answerEntityIds.filter((id) => !declaredByExercise(id))\n  const presentationIds = Object.keys(geometry.presentation)\n  if (\n    dropped.size === 0 &&\n    answerEntityIds.length === geometry.answerEntityIds.length &&\n    !presentationIds.some(declaredByExercise)\n  ) {\n    return geometry\n  }\n\n  return {\n    ...geometry,\n    entities: Object.fromEntries(\n      Object.entries(geometry.entities).filter(([id]) => !dropped.has(id)),\n    ),\n    presentation: Object.fromEntries(\n      Object.entries(geometry.presentation).filter(([id]) => !declaredByExercise(id)),\n    ),\n    answerEntityIds,\n  }\n}\n\nexport type GeometryStateInputValidationResult =\n  | { success: true; data: GeometryState; errors: [] }\n  | { success: false; data: null; errors: GeometryExerciseValidationIssue[] }\n\nexport function validateGeometryStateInput(\n  input: unknown,\n  exercise?: GeometryExercise,\n): GeometryStateInputValidationResult {\n  // Stored attempts are brought up to the current version before their\n  // structure is checked, so an older saved attempt loads rather than failing\n  // as malformed.\n  const migrated = migrateGeometryState(input)\n  if (!migrated.success) {\n    return {\n      success: false,\n      data: null,\n      errors: [{ path: ['schemaVersion'], message: migrated.message }],\n    }\n  }\n\n  const result = geometryStateSchema.safeParse(migrated.data)\n  if (!result.success) {\n    return {\n      success: false,\n      data: null,\n      errors: result.error.issues.map((issue) => ({\n        path: issue.path.map((part) => (typeof part === 'symbol' ? part.toString() : part)),\n        message: issue.message,\n      })),\n    }\n  }\n\n  const errors: GeometryExerciseValidationIssue[] = []\n  let data = result.data\n  if (exercise) {\n    data = normalizedAgainstExercise(data, exercise)\n\n    // An id both documents declare that is neither ignored nor an override\n    // (ADR 0016). `buildGeometryContext()` reports these as `duplicate-id` and\n    // then resolves the id to the exercise's declaration, so before M2.G.2 an\n    // attempt declaring segment `A` over given point `A` loaded clean and had\n    // the *given* graded as the student's construction. One rule, shared with\n    // the context, and the document is refused rather than reinterpreted.\n    for (const issue of crossDocumentIdCollisionIssues(data, exercise)) {\n      errors.push(issue)\n    }\n\n    // The parents the attempt schema deliberately let through: since the\n    // amendment a student's point sits on a given segment, so most of an\n    // attempt's parents are declared in the other document. This is where the\n    // pair is completed, in the schema's own words.\n    for (const issue of crossDocumentParentIssues(data, exercise.entities)) {\n      errors.push(issue)\n    }\n\n    // What the student was allowed to draw. Points are not checked: placing one\n    // is how every construction starts, and v1 never asked either.\n    for (const [id, definition] of Object.entries(data.entities)) {\n      if (definition.kind === 'point') continue\n      if (!exercise.allowedObjects.includes(definition.kind)) {\n        errors.push({\n          path: ['entities', id],\n          message: `${definition.kind} is not allowed by this exercise`,\n        })\n      }\n    }\n  }\n\n  return errors.length > 0\n    ? { success: false, data: null, errors }\n    : { success: true, data, errors: [] }\n}\n\n/**\n * Restores an attempt from stored JSON — the counterpart to\n * validateGeometryExerciseJson(). Pass the exercise to also check the attempt\n * against it — only allowed object types, parents naming entities that exist in\n * one of the two documents — and to normalize it, which is what drops the given\n * points a migrated v1 attempt still carries.\n */\nexport function validateGeometryStateJson(\n  json: string,\n  exercise?: GeometryExercise,\n): GeometryStateInputValidationResult {\n  try {\n    return validateGeometryStateInput(JSON.parse(json), exercise)\n  } catch (error) {\n    return {\n      success: false,\n      data: null,\n      errors: [\n        {\n          path: [],\n          message: error instanceof Error ? error.message : 'Invalid JSON syntax',\n        },\n      ],\n    }\n  }\n}\n\n// Saves an attempt. Trivial today, but it is the one place that guarantees the\n// stored document carries its version, so a restore never has to guess.\nexport function serializeGeometryState(geometry: GeometryState): string {\n  return JSON.stringify(geometry)\n}\n","import type { GeometryState } from '../schemas/geometryState.schema'\nimport { parentsOfDefinition } from '../geometry/entities'\nimport { entryOf } from '../geometry/entityRecord'\nimport type { GoalStatus, GeometryValidationFeedback } from './types'\n\nexport interface GeometryCanvasFeedback {\n  constructions: Record<string, GoalStatus>\n  points: Record<string, GoalStatus>\n}\n\nexport function deriveGeometryCanvasFeedback(\n  feedback: GeometryValidationFeedback | null,\n  geometry: GeometryState,\n  focusedGoalId: string | null,\n): GeometryCanvasFeedback {\n  const focused = feedback?.goals.find((goal) => goal.id === focusedGoalId)\n  if (!focused) return { constructions: {}, points: {} }\n\n  const constructions = Object.fromEntries(\n    focused.constructionIds.map((id) => [id, focused.status]),\n  ) as Record<string, GoalStatus>\n  const pointIds = new Set(focused.pointIds)\n  for (const [id, definition] of Object.entries(geometry.entities)) {\n    if (definition.kind === 'point') continue\n    if (!entryOf(constructions, id)) continue\n    for (const pointId of parentsOfDefinition(definition)) pointIds.add(pointId)\n  }\n  const points = Object.fromEntries([...pointIds].map((id) => [id, focused.status])) as Record<\n    string,\n    GoalStatus\n  >\n  return { constructions, points }\n}\n","import type { GeometryExercise } from '../schemas/exercise.schema'\nimport { withoutSolution } from '../schemas/exerciseProjection'\nimport type { GeometryState } from '../schemas/geometryState.schema'\n\n// Feedback freshness (RFC 0005 § Decisions 2 and 5, ADR 0014). A check result\n// describes the normalized documents it graded, not the objects a host passed\n// in, so a clone, a JSON round trip or a reordered record fingerprints the same,\n// while any change to what grading reads does not.\n//\n// The value is opaque: only another fingerprint from this engine is ever\n// compared against it. That keeps the format free to change — a result from an\n// older format simply stops matching, which hides feedback instead of showing\n// stale feedback.\n\n// JSON with object keys sorted at every depth. Array order is kept because it\n// is meaningful (answer order is report order); records are the documents'\n// only unordered collections. An `undefined` member is skipped as\n// JSON.stringify skips it, so an absent optional field and an explicit\n// `undefined` agree.\nfunction canonicalJson(value: unknown): string {\n  if (Array.isArray(value)) {\n    return `[${value.map((item) => (item === undefined ? 'null' : canonicalJson(item))).join(',')}]`\n  }\n  if (typeof value === 'object' && value !== null) {\n    const record = value as Record<string, unknown>\n    const members = Object.keys(record)\n      .sort()\n      .filter((key) => record[key] !== undefined)\n      .map((key) => `${JSON.stringify(key)}:${canonicalJson(record[key])}`)\n    return `{${members.join(',')}}`\n  }\n  return JSON.stringify(value)\n}\n\n// cyrb53's two 32-bit lanes, both printed: 16 hex digits. Not cryptographic —\n// a fingerprint detects that grading inputs changed; a host forging a match\n// could only ever redisplay feedback it already holds.\nfunction hash(text: string): string {\n  let h1 = 0xdeadbeef\n  let h2 = 0x41c6ce57\n  for (let index = 0; index < text.length; index++) {\n    const code = text.charCodeAt(index)\n    h1 = Math.imul(h1 ^ code, 2654435761)\n    h2 = Math.imul(h2 ^ code, 1597334677)\n  }\n  h1 = Math.imul(h1 ^ (h1 >>> 16), 2246822507)\n  h1 ^= Math.imul(h2 ^ (h2 >>> 13), 3266489909)\n  h2 = Math.imul(h2 ^ (h2 >>> 16), 2246822507)\n  h2 ^= Math.imul(h1 ^ (h1 >>> 13), 3266489909)\n  return `${(h2 >>> 0).toString(16).padStart(8, '0')}${(h1 >>> 0).toString(16).padStart(8, '0')}`\n}\n\n// The solution-free grading projection. Checking ignores the authored solution\n// ADR 0015 embeds, so changing only that must not hide feedback.\nexport function fingerprintGeometryExercise(exercise: GeometryExercise): string {\n  return hash(canonicalJson(withoutSolution(exercise)))\n}\n\n// Takes the attempt as grading read it: migrated, parsed and normalized against\n// its exercise, so a dropped pinned given or an older version changes nothing.\nexport function fingerprintGeometryAttempt(attempt: GeometryState): string {\n  return hash(canonicalJson(attempt))\n}\n","import { latestGeometryStateVersion, type GeometryState } from '../schemas/geometryState.schema'\nimport { validateGeometryStateInput } from './validateGeometryStateInput'\n\n/**\n * A fresh attempt at the current attempt version, for a host starting a student\n * on an exercise (RFC 0005 § Decision 5). It takes no exercise: the two\n * documents version independently, and an empty attempt holds nothing of the\n * exercise. Every call returns a new object, so a host may keep or change one\n * without touching another.\n */\nexport function createEmptyGeometryAttempt(): GeometryState {\n  return {\n    schemaVersion: latestGeometryStateVersion,\n    entities: {},\n    presentation: {},\n    answerEntityIds: [],\n  }\n}\n\n/**\n * Whether a stored attempt holds any student work — a completion hint for a\n * host's \"not started\" state, never a grade. Untrusted input is migrated and\n * parsed first; absent or malformed input is `false` rather than an error.\n *\n * Work is any entity the attempt declares, not only an answer: dragging a given\n * copies it into `entities` while `answerEntityIds` stays empty, and that\n * counts. Reset, or deleting everything the student added, empties `entities`\n * again.\n *\n * No exercise is read, so a pinned given that a migrated v1 attempt still\n * re-declares counts here, although the load pass against its exercise drops it.\n */\nexport function hasGeometryWork(attemptInput: unknown): boolean {\n  const attempt = validateGeometryStateInput(attemptInput)\n  return attempt.success && Object.keys(attempt.data.entities).length > 0\n}\n","import type { GeometryExercise } from '../schemas/exercise.schema'\nimport { buildGeometryContext } from '../state/geometryContext'\nimport { createEmptyGeometryAttempt } from './geometryAttemptStatus'\nimport { figureGoalHandlerFor } from './goals'\nimport type { FigureValidationContext } from './goals/goalKindHandler'\n\nexport interface GeometryExerciseWarning {\n  path: Array<string | number>\n  message: string\n}\n\n/**\n * What is wrong with an exercise without being invalid. Two rules: a given\n * placed where the viewport cannot show it, and a figure goal the authored\n * figure already satisfies.\n *\n * Only a **free** point is checked. A derived point has no stored coordinates —\n * it is wherever the graph puts it, which depends on the entities it is built\n * on — so warning about it would mean resolving the whole exercise, and where\n * an authoring warning belongs for a construction that lands off-screen is an\n * M3 question about the authoring UI rather than about the document.\n */\nexport function getGeometryExerciseWarnings(exercise: GeometryExercise): GeometryExerciseWarning[] {\n  const [xMin, yMin, xMax, yMax] = exercise.viewport\n  const warnings: GeometryExerciseWarning[] = []\n  for (const [id, definition] of Object.entries(exercise.entities)) {\n    if (definition.kind !== 'point' || !('at' in definition)) continue\n    const { x, y } = definition.at\n    if (x >= xMin && x <= xMax && y >= yMin && y <= yMax) continue\n    warnings.push({ path: ['entities', id], message: `point ${id} is outside the viewport` })\n  }\n  warnings.push(...satisfiedFigureGoalWarnings(exercise))\n  return warnings\n}\n\n/**\n * A figure goal the authored figure already satisfies: an untouched attempt\n * checks correct, which is almost always a mistake (RFC 0006 § Reporting).\n *\n * A warning rather than a refusal, because deciding it needs measurement the\n * schema layer does not have, and because an author may want exactly this — a\n * \"keep it acute while you move the vertex\" exercise.\n *\n * The figure measured is the exercise's own, so the scene is built over an\n * empty attempt: this is the authored document before the student touches it.\n */\nfunction satisfiedFigureGoalWarnings(exercise: GeometryExercise): GeometryExerciseWarning[] {\n  // Nothing to measure, and nothing to build, unless a figure goal is authored.\n  if (!exercise.goals.some((goal) => figureGoalHandlerFor(goal) !== null)) return []\n\n  const scene = buildGeometryContext(exercise, createEmptyGeometryAttempt())\n  const context: FigureValidationContext = { exercise, points: scene.points, scene }\n  const warnings: GeometryExerciseWarning[] = []\n  exercise.goals.forEach((goal, index) => {\n    const handler = figureGoalHandlerFor(goal)\n    if (handler?.satisfiedByFigure(goal, context) !== true) return\n    warnings.push({\n      path: ['goals', index],\n      message: `goal ${goal.id} is already satisfied by the authored figure`,\n    })\n  })\n  return warnings\n}\n","// The one exercise load every public loader is built on (M3.I.3, option C).\n// Internal: not exported from any entry point.\n//\n// Exercise v4 embeds an authored solution (ADR 0015), and the engine loads an\n// exercise two ways. **Grading** — Check, fingerprints, the student component —\n// must ignore the solution entirely, so a malformed one never disables them.\n// **The full load** — `validateGeometryExercise()` and reveal — must also\n// migrate the solution and check it against the exercise. Both start from\n// `loadExerciseDocument()`, so the exercise half cannot differ between them, and the\n// full load adds `validateEmbeddedSolution()` on top.\nimport { withoutSolution } from '../schemas/exerciseProjection'\nimport {\n  geometryExerciseSchema,\n  migrateGeometryExercise,\n  type GeometryExercise,\n} from '../schemas/exercise.schema'\nimport {\n  getGeometryExerciseWarnings,\n  type GeometryExerciseWarning,\n} from './getGeometryExerciseWarnings'\nimport type { GeometryExerciseValidationIssue } from './validateGeometryExercise'\nimport {\n  validateGeometryStateInput,\n  type GeometryStateInputValidationResult,\n} from './validateGeometryStateInput'\n\nexport type ExerciseLoadResult =\n  | {\n      success: true\n      /** The solution-free projection, parsed. */\n      data: GeometryExercise\n      /** The stored solution, untouched: `undefined` when the document has none. */\n      solution: unknown\n      warnings: GeometryExerciseWarning[]\n    }\n  | { success: false; errors: GeometryExerciseValidationIssue[] }\n\nfunction normalizePath(path: PropertyKey[]): Array<string | number> {\n  return path.map((segment) =>\n    typeof segment === 'symbol' ? (segment.description ?? segment.toString()) : segment,\n  )\n}\n\n/**\n * Migrates a stored exercise and parses its solution-free projection. Every\n * refusal the migration stage can produce — an older version with no step, a\n * newer one, something that is not a document at all — is reported under\n * `schemaVersion`, because that is the field the reader consulted.\n */\nexport function loadExerciseDocument(input: unknown): ExerciseLoadResult {\n  const migrated = migrateGeometryExercise(input)\n  if (!migrated.success) {\n    return { success: false, errors: [{ path: ['schemaVersion'], message: migrated.message }] }\n  }\n\n  const document = migrated.data as Record<string, unknown>\n  const result = geometryExerciseSchema.safeParse(withoutSolution(document))\n  if (!result.success) {\n    return {\n      success: false,\n      errors: result.error.issues.map((issue) => ({\n        path: normalizePath(issue.path),\n        message: issue.message,\n      })),\n    }\n  }\n  return {\n    success: true,\n    data: result.data,\n    solution: document.solution,\n    warnings: getGeometryExerciseWarnings(result.data),\n  }\n}\n\n/**\n * The stored solution as an attempt of `exercise`: migrated on the attempt\n * chain, parsed, and normalized and cross-checked against the exercise exactly\n * as a student attempt is. Issue paths are rooted at `solution`, so they point\n * into the exercise document a host holds.\n */\nexport function validateEmbeddedSolution(\n  solution: unknown,\n  exercise: GeometryExercise,\n): GeometryStateInputValidationResult {\n  const attempt = validateGeometryStateInput(solution, exercise)\n  if (attempt.success) return attempt\n  return {\n    ...attempt,\n    errors: attempt.errors.map((issue) => ({ ...issue, path: ['solution', ...issue.path] })),\n  }\n}\n"],"mappings":"qIA4CA,SAAS,EACP,EACA,EACe,CACf,IAAM,EAAsB,GAC1B,OAAO,UAAU,eAAe,KAAK,EAAS,SAAU,CAAE,EACtD,EAAU,IAAI,IACpB,IAAK,GAAM,CAAC,EAAI,KAAe,OAAO,QAAQ,EAAS,QAAQ,EAAG,CAChE,IAAM,EAAQ,EAAA,EAAQ,EAAS,SAAU,CAAE,EACtC,GACD,EAAA,EAA2B,EAAU,EAAI,EAAO,CAAU,IAAM,WAAW,EAAQ,IAAI,CAAE,CAC/F,CACA,IAAM,EAAkB,EAAS,gBAAgB,OAAQ,GAAO,CAAC,EAAmB,CAAE,CAAC,EACjF,EAAkB,OAAO,KAAK,EAAS,YAAY,EASzD,OAPE,EAAQ,OAAS,GACjB,EAAgB,SAAW,EAAS,gBAAgB,QACpD,CAAC,EAAgB,KAAK,CAAkB,EAEjC,EAGF,CACL,GAAG,EACH,SAAU,OAAO,YACf,OAAO,QAAQ,EAAS,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAQ,CAAC,EAAQ,IAAI,CAAE,CAAC,CACrE,EACA,aAAc,OAAO,YACnB,OAAO,QAAQ,EAAS,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAQ,CAAC,EAAmB,CAAE,CAAC,CAChF,EACA,iBACF,CACF,CAMA,SAAgB,EACd,EACA,EACoC,CAIpC,IAAM,EAAW,EAAA,EAAqB,CAAK,EAC3C,GAAI,CAAC,EAAS,QACZ,MAAO,CACL,QAAS,GACT,KAAM,KACN,OAAQ,CAAC,CAAE,KAAM,CAAC,eAAe,EAAG,QAAS,EAAS,OAAQ,CAAC,CACjE,EAGF,IAAM,EAAS,EAAA,EAAoB,UAAU,EAAS,IAAI,EAC1D,GAAI,CAAC,EAAO,QACV,MAAO,CACL,QAAS,GACT,KAAM,KACN,OAAQ,EAAO,MAAM,OAAO,IAAK,IAAW,CAC1C,KAAM,EAAM,KAAK,IAAK,GAAU,OAAO,GAAS,SAAW,EAAK,SAAS,EAAI,CAAK,EAClF,QAAS,EAAM,OACjB,EAAE,CACJ,EAGF,IAAM,EAA4C,CAAC,EAC/C,EAAO,EAAO,KAClB,GAAI,EAAU,CACZ,EAAO,EAA0B,EAAM,CAAQ,EAQ/C,IAAK,IAAM,KAAS,EAAA,EAA+B,EAAM,CAAQ,EAC/D,EAAO,KAAK,CAAK,EAOnB,IAAK,IAAM,KAAS,EAAA,EAA0B,EAAM,EAAS,QAAQ,EACnE,EAAO,KAAK,CAAK,EAKnB,IAAK,GAAM,CAAC,EAAI,KAAe,OAAO,QAAQ,EAAK,QAAQ,EACrD,EAAW,OAAS,UACnB,EAAS,eAAe,SAAS,EAAW,IAAI,GACnD,EAAO,KAAK,CACV,KAAM,CAAC,WAAY,CAAE,EACrB,QAAS,GAAG,EAAW,KAAK,iCAC9B,CAAC,EAGP,CAEA,OAAO,EAAO,OAAS,EACnB,CAAE,QAAS,GAAO,KAAM,KAAM,QAAO,EACrC,CAAE,QAAS,GAAM,OAAM,OAAQ,CAAC,CAAE,CACxC,CASA,SAAgB,EACd,EACA,EACoC,CACpC,GAAI,CACF,OAAO,EAA2B,KAAK,MAAM,CAAI,EAAG,CAAQ,CAC9D,OAAS,EAAO,CACd,MAAO,CACL,QAAS,GACT,KAAM,KACN,OAAQ,CACN,CACE,KAAM,CAAC,EACP,QAAS,aAAiB,MAAQ,EAAM,QAAU,qBACpD,CACF,CACF,CACF,CACF,CAIA,SAAgB,EAAuB,EAAiC,CACtE,OAAO,KAAK,UAAU,CAAQ,CAChC,CC5KA,SAAgB,EACd,EACA,EACA,EACwB,CACxB,IAAM,EAAU,GAAU,MAAM,KAAM,GAAS,EAAK,KAAO,CAAa,EACxE,GAAI,CAAC,EAAS,MAAO,CAAE,cAAe,CAAC,EAAG,OAAQ,CAAC,CAAE,EAErD,IAAM,EAAgB,OAAO,YAC3B,EAAQ,gBAAgB,IAAK,GAAO,CAAC,EAAI,EAAQ,MAAM,CAAC,CAC1D,EACM,EAAW,IAAI,IAAI,EAAQ,QAAQ,EACzC,IAAK,GAAM,CAAC,EAAI,KAAe,OAAO,QAAQ,EAAS,QAAQ,EACzD,KAAW,OAAS,SACnB,EAAA,EAAQ,EAAe,CAAE,EAC9B,IAAK,IAAM,KAAW,EAAA,EAAoB,CAAU,EAAG,EAAS,IAAI,CAAO,EAM7E,MAAO,CAAE,gBAAe,OAJT,OAAO,YAAY,CAAC,GAAG,CAAQ,CAAC,CAAC,IAAK,GAAO,CAAC,EAAI,EAAQ,MAAM,CAAC,CAIxD,CAAO,CACjC,CCbA,SAAS,EAAc,EAAwB,CAC7C,GAAI,MAAM,QAAQ,CAAK,EACrB,MAAO,IAAI,EAAM,IAAK,GAAU,IAAS,IAAA,GAAY,OAAS,EAAc,CAAI,CAAE,CAAC,CAAC,KAAK,GAAG,EAAE,GAEhG,GAAI,OAAO,GAAU,UAAY,EAAgB,CAC/C,IAAM,EAAS,EAKf,MAAO,IAJS,OAAO,KAAK,CAAM,CAAC,CAChC,KAAK,CAAC,CACN,OAAQ,GAAQ,EAAO,KAAS,IAAA,EAAS,CAAC,CAC1C,IAAK,GAAQ,GAAG,KAAK,UAAU,CAAG,EAAE,GAAG,EAAc,EAAO,EAAI,GACxD,CAAA,CAAQ,KAAK,GAAG,EAAE,EAC/B,CACA,OAAO,KAAK,UAAU,CAAK,CAC7B,CAKA,SAAS,EAAK,EAAsB,CAClC,IAAI,EAAK,WACL,EAAK,WACT,IAAK,IAAI,EAAQ,EAAG,EAAQ,EAAK,OAAQ,IAAS,CAChD,IAAM,EAAO,EAAK,WAAW,CAAK,EAClC,EAAK,KAAK,KAAK,EAAK,EAAM,UAAU,EACpC,EAAK,KAAK,KAAK,EAAK,EAAM,UAAU,CACtC,CAKA,MAJA,GAAK,KAAK,KAAK,EAAM,IAAO,GAAK,UAAU,EAC3C,GAAM,KAAK,KAAK,EAAM,IAAO,GAAK,UAAU,EAC5C,EAAK,KAAK,KAAK,EAAM,IAAO,GAAK,UAAU,EAC3C,GAAM,KAAK,KAAK,EAAM,IAAO,GAAK,UAAU,EACrC,IAAI,IAAO,EAAA,CAAG,SAAS,EAAE,CAAC,CAAC,SAAS,EAAG,GAAG,KAAK,IAAO,EAAA,CAAG,SAAS,EAAE,CAAC,CAAC,SAAS,EAAG,GAAG,GAC9F,CAIA,SAAgB,EAA4B,EAAoC,CAC9E,OAAO,EAAK,EAAc,EAAA,EAAgB,CAAQ,CAAC,CAAC,CACtD,CAIA,SAAgB,EAA2B,EAAgC,CACzE,OAAO,EAAK,EAAc,CAAO,CAAC,CACpC,CCpDA,SAAgB,GAA4C,CAC1D,MAAO,CACL,cAAA,EACA,SAAU,CAAC,EACX,aAAc,CAAC,EACf,gBAAiB,CAAC,CACpB,CACF,CAeA,SAAgB,EAAgB,EAAgC,CAC9D,IAAM,EAAU,EAA2B,CAAY,EACvD,OAAO,EAAQ,SAAW,OAAO,KAAK,EAAQ,KAAK,QAAQ,CAAC,CAAC,OAAS,CACxE,CCbA,SAAgB,EAA4B,EAAuD,CACjG,GAAM,CAAC,EAAM,EAAM,EAAM,GAAQ,EAAS,SACpC,EAAsC,CAAC,EAC7C,IAAK,GAAM,CAAC,EAAI,KAAe,OAAO,QAAQ,EAAS,QAAQ,EAAG,CAChE,GAAI,EAAW,OAAS,SAAW,EAAE,OAAQ,GAAa,SAC1D,GAAM,CAAE,IAAG,KAAM,EAAW,GACxB,GAAK,GAAQ,GAAK,GAAQ,GAAK,GAAQ,GAAK,GAChD,EAAS,KAAK,CAAE,KAAM,CAAC,WAAY,CAAE,EAAG,QAAS,SAAS,EAAG,yBAA0B,CAAC,CAC1F,CAEA,OADA,EAAS,KAAK,GAAG,EAA4B,CAAQ,CAAC,EAC/C,CACT,CAaA,SAAS,EAA4B,EAAuD,CAE1F,GAAI,CAAC,EAAS,MAAM,KAAM,GAAS,EAAA,EAAqB,CAAI,IAAM,IAAI,EAAG,MAAO,CAAC,EAEjF,IAAM,EAAQ,EAAA,EAAqB,EAAU,EAA2B,CAAC,EACnE,EAAmC,CAAE,WAAU,OAAQ,EAAM,OAAQ,OAAM,EAC3E,EAAsC,CAAC,EAS7C,OARA,EAAS,MAAM,SAAS,EAAM,IAAU,CACtB,EAAA,EAAqB,CACjC,CAAA,EAAS,kBAAkB,EAAM,CAAO,IAAM,IAClD,EAAS,KAAK,CACZ,KAAM,CAAC,QAAS,CAAK,EACrB,QAAS,QAAQ,EAAK,GAAG,6CAC3B,CAAC,CACH,CAAC,EACM,CACT,CCzBA,SAAS,EAAc,EAA6C,CAClE,OAAO,EAAK,IAAK,GACf,OAAO,GAAY,SAAY,EAAQ,aAAe,EAAQ,SAAS,EAAK,CAC9E,CACF,CAQA,SAAgB,EAAqB,EAAoC,CACvE,IAAM,EAAW,EAAA,EAAwB,CAAK,EAC9C,GAAI,CAAC,EAAS,QACZ,MAAO,CAAE,QAAS,GAAO,OAAQ,CAAC,CAAE,KAAM,CAAC,eAAe,EAAG,QAAS,EAAS,OAAQ,CAAC,CAAE,EAG5F,IAAM,EAAW,EAAS,KACpB,EAAS,EAAA,EAAuB,UAAU,EAAA,EAAgB,CAAQ,CAAC,EAUzE,OATK,EAAO,QASL,CACL,QAAS,GACT,KAAM,EAAO,KACb,SAAU,EAAS,SACnB,SAAU,EAA4B,EAAO,IAAI,CACnD,EAbS,CACL,QAAS,GACT,OAAQ,EAAO,MAAM,OAAO,IAAK,IAAW,CAC1C,KAAM,EAAc,EAAM,IAAI,EAC9B,QAAS,EAAM,OACjB,EAAE,CACJ,CAQJ,CAQA,SAAgB,EACd,EACA,EACoC,CACpC,IAAM,EAAU,EAA2B,EAAU,CAAQ,EAE7D,OADI,EAAQ,QAAgB,EACrB,CACL,GAAG,EACH,OAAQ,EAAQ,OAAO,IAAK,IAAW,CAAE,GAAG,EAAO,KAAM,CAAC,WAAY,GAAG,EAAM,IAAI,CAAE,EAAE,CACzF,CACF"}

package/dist/{geometryAttemptStatus-5L_q6-9l.js → exerciseLoad-DgeDXYbf.js}

@@ -1,33 +1,32 @@
-import { F as e, O as t, S as n, i as r, n as i, u as a, x as o } from "./geometryState.schema-D0ixyGYE.js";
-import { i as s, o as c } from "./exercise.schema-ckVBW9XA.js";
+import { E as e, M as t, T as n, i as r, n as i, u as a, w as o, z as s } from "./geometryState.schema-CKFPlX8j.js";
+import { f as c, t as l } from "./goals-BlSeniyt.js";
+import { i as u, o as d } from "./exercise.schema-Bma3qN9P.js";
 //#region src/validation/validateGeometryStateInput.ts
-function l(e, n) {
-	let r = /* @__PURE__ */ new Set();
-	for (let [i, a] of Object.entries(e.entities)) {
-		let e = t(n.entities, i);
-		!e || e.kind !== "point" || a.kind !== "point" || n.draggableEntityIds.includes(i) || r.add(i);
+function f(e, n) {
+	let r = (e) => Object.prototype.hasOwnProperty.call(n.entities, e), i = /* @__PURE__ */ new Set();
+	for (let [r, a] of Object.entries(e.entities)) {
+		let e = t(n.entities, r);
+		e && o(n, r, e, a) === "ignored" && i.add(r);
 	}
-	let i = e.answerEntityIds.filter((e) => !Object.prototype.hasOwnProperty.call(n.entities, e));
-	if (r.size === 0 && i.length === e.answerEntityIds.length) return e;
-	let a = (e) => Object.fromEntries(Object.entries(e).filter(([e]) => !r.has(e)));
-	return {
+	let a = e.answerEntityIds.filter((e) => !r(e)), s = Object.keys(e.presentation);
+	return i.size === 0 && a.length === e.answerEntityIds.length && !s.some(r) ? e : {
 		...e,
-		entities: a(e.entities),
-		presentation: a(e.presentation),
-		answerEntityIds: i
+		entities: Object.fromEntries(Object.entries(e.entities).filter(([e]) => !i.has(e))),
+		presentation: Object.fromEntries(Object.entries(e.presentation).filter(([e]) => !r(e))),
+		answerEntityIds: a
 	};
 }
-function u(e, t) {
-	let a = r(e);
-	if (!a.success) return {
+function p(t, a) {
+	let o = r(t);
+	if (!o.success) return {
 		success: !1,
 		data: null,
 		errors: [{
 			path: ["schemaVersion"],
-			message: a.message
+			message: o.message
 		}]
 	};
-	let s = i.safeParse(a.data);
+	let s = i.safeParse(o.data);
 	if (!s.success) return {
 		success: !1,
 		data: null,
@@ -36,14 +35,14 @@ function u(e, t) {
 			message: e.message
 		}))
 	};
-	let c = [], u = s.data;
-	if (t) {
-		u = l(u, t);
-		for (let e of o(u, t.entities)) c.push(e);
-		for (let e of n(u, t.entities)) c.push(e);
-		for (let [e, n] of Object.entries(u.entities)) n.kind !== "point" && (t.allowedObjects.includes(n.kind) || c.push({
+	let c = [], l = s.data;
+	if (a) {
+		l = f(l, a);
+		for (let e of n(l, a)) c.push(e);
+		for (let t of e(l, a.entities)) c.push(t);
+		for (let [e, t] of Object.entries(l.entities)) t.kind !== "point" && (a.allowedObjects.includes(t.kind) || c.push({
 			path: ["entities", e],
-			message: `${n.kind} is not allowed by this exercise`
+			message: `${t.kind} is not allowed by this exercise`
 		}));
 	}
 	return c.length > 0 ? {
@@ -52,13 +51,13 @@ function u(e, t) {
 		errors: c
 	} : {
 		success: !0,
-		data: u,
+		data: l,
 		errors: []
 	};
 }
-function d(e, t) {
+function m(e, t) {
 	try {
-		return u(JSON.parse(e), t);
+		return p(JSON.parse(e), t);
 	} catch (e) {
 		return {
 			success: !1,
@@ -70,35 +69,35 @@ function d(e, t) {
 		};
 	}
 }
-function f(e) {
+function h(e) {
 	return JSON.stringify(e);
 }
 //#endregion
 //#region src/validation/deriveGeometryCanvasFeedback.ts
-function p(n, r, i) {
-	let a = n?.goals.find((e) => e.id === i);
-	if (!a) return {
+function g(e, n, r) {
+	let i = e?.goals.find((e) => e.id === r);
+	if (!i) return {
 		constructions: {},
 		points: {}
 	};
-	let o = Object.fromEntries(a.constructionIds.map((e) => [e, a.status])), s = new Set(a.pointIds);
-	for (let [n, i] of Object.entries(r.entities)) if (i.kind !== "point" && t(o, n)) for (let t of e(i)) s.add(t);
+	let a = Object.fromEntries(i.constructionIds.map((e) => [e, i.status])), o = new Set(i.pointIds);
+	for (let [e, r] of Object.entries(n.entities)) if (r.kind !== "point" && t(a, e)) for (let e of s(r)) o.add(e);
 	return {
-		constructions: o,
-		points: Object.fromEntries([...s].map((e) => [e, a.status]))
+		constructions: a,
+		points: Object.fromEntries([...o].map((e) => [e, i.status]))
 	};
 }
 //#endregion
 //#region src/validation/gradingFingerprints.ts
-function m(e) {
-	if (Array.isArray(e)) return `[${e.map((e) => e === void 0 ? "null" : m(e)).join(",")}]`;
+function _(e) {
+	if (Array.isArray(e)) return `[${e.map((e) => e === void 0 ? "null" : _(e)).join(",")}]`;
 	if (typeof e == "object" && e) {
 		let t = e;
-		return `{${Object.keys(t).sort().filter((e) => t[e] !== void 0).map((e) => `${JSON.stringify(e)}:${m(t[e])}`).join(",")}}`;
+		return `{${Object.keys(t).sort().filter((e) => t[e] !== void 0).map((e) => `${JSON.stringify(e)}:${_(t[e])}`).join(",")}}`;
 	}
 	return JSON.stringify(e);
 }
-function h(e) {
+function v(e) {
 	let t = 3735928559, n = 1103547991;
 	for (let r = 0; r < e.length; r++) {
 		let i = e.charCodeAt(r);
@@ -106,15 +105,29 @@ function h(e) {
 	}
 	return t = Math.imul(t ^ t >>> 16, 2246822507), t ^= Math.imul(n ^ n >>> 13, 3266489909), n = Math.imul(n ^ n >>> 16, 2246822507), n ^= Math.imul(t ^ t >>> 13, 3266489909), `${(n >>> 0).toString(16).padStart(8, "0")}${(t >>> 0).toString(16).padStart(8, "0")}`;
 }
-function g(e) {
-	return h(m(a(e)));
+function y(e) {
+	return v(_(a(e)));
 }
-function _(e) {
-	return h(m(e));
+function b(e) {
+	return v(_(e));
+}
+//#endregion
+//#region src/validation/geometryAttemptStatus.ts
+function x() {
+	return {
+		schemaVersion: 2,
+		entities: {},
+		presentation: {},
+		answerEntityIds: []
+	};
+}
+function S(e) {
+	let t = p(e);
+	return t.success && Object.keys(t.data.entities).length > 0;
 }
 //#endregion
 //#region src/validation/getGeometryExerciseWarnings.ts
-function v(e) {
+function C(e) {
 	let [t, n, r, i] = e.viewport, a = [];
 	for (let [o, s] of Object.entries(e.entities)) {
 		if (s.kind !== "point" || !("at" in s)) continue;
@@ -124,15 +137,29 @@ function v(e) {
 			message: `point ${o} is outside the viewport`
 		});
 	}
-	return a;
+	return a.push(...w(e)), a;
+}
+function w(e) {
+	if (!e.goals.some((e) => l(e) !== null)) return [];
+	let t = c(e, x()), n = {
+		exercise: e,
+		points: t.points,
+		scene: t
+	}, r = [];
+	return e.goals.forEach((e, t) => {
+		l(e)?.satisfiedByFigure(e, n) === !0 && r.push({
+			path: ["goals", t],
+			message: `goal ${e.id} is already satisfied by the authored figure`
+		});
+	}), r;
 }
 //#endregion
 //#region src/validation/exerciseLoad.ts
-function y(e) {
+function T(e) {
 	return e.map((e) => typeof e == "symbol" ? e.description ?? e.toString() : e);
 }
-function b(e) {
-	let t = c(e);
+function E(e) {
+	let t = d(e);
 	if (!t.success) return {
 		success: !1,
 		errors: [{
@@ -140,22 +167,22 @@ function b(e) {
 			message: t.message
 		}]
 	};
-	let n = t.data, r = s.safeParse(a(n));
+	let n = t.data, r = u.safeParse(a(n));
 	return r.success ? {
 		success: !0,
 		data: r.data,
 		solution: n.solution,
-		warnings: v(r.data)
+		warnings: C(r.data)
 	} : {
 		success: !1,
 		errors: r.error.issues.map((e) => ({
-			path: y(e.path),
+			path: T(e.path),
 			message: e.message
 		}))
 	};
 }
-function x(e, t) {
-	let n = u(e, t);
+function D(e, t) {
+	let n = p(e, t);
 	return n.success ? n : {
 		...n,
 		errors: n.errors.map((e) => ({
@@ -165,20 +192,6 @@ function x(e, t) {
 	};
 }
 //#endregion
-//#region src/validation/geometryAttemptStatus.ts
-function S() {
-	return {
-		schemaVersion: 2,
-		entities: {},
-		presentation: {},
-		answerEntityIds: []
-	};
-}
-function C(e) {
-	let t = u(e);
-	return t.success && Object.keys(t.data.entities).length > 0;
-}
-//#endregion
-export { v as a, p as c, d, x as i, f as l, C as n, _ as o, b as r, g as s, S as t, u };
+export { S as a, g as c, m as d, x as i, h as l, D as n, b as o, C as r, y as s, E as t, p as u };
 
-//# sourceMappingURL=geometryAttemptStatus-5L_q6-9l.js.map
+//# sourceMappingURL=exerciseLoad-DgeDXYbf.js.map

package/dist/exerciseLoad-DgeDXYbf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exerciseLoad-DgeDXYbf.js","names":[],"sources":["../src/validation/validateGeometryStateInput.ts","../src/validation/deriveGeometryCanvasFeedback.ts","../src/validation/gradingFingerprints.ts","../src/validation/geometryAttemptStatus.ts","../src/validation/getGeometryExerciseWarnings.ts","../src/validation/exerciseLoad.ts"],"sourcesContent":["import type { EntityId } from '../geometry/entityModel'\nimport { entryOf } from '../geometry/entityRecord'\nimport {\n  classifyGivenRedeclaration,\n  crossDocumentIdCollisionIssues,\n  crossDocumentParentIssues,\n} from '../schemas/entityDocument'\nimport type { GeometryExercise } from '../schemas/exercise.schema'\nimport {\n  geometryStateSchema,\n  migrateGeometryState,\n  type GeometryState,\n} from '../schemas/geometryState.schema'\nimport type { GeometryExerciseValidationIssue } from './validateGeometryExercise'\n\n/**\n * The load pass ADR 0008 § Amendment specifies: a v2 attempt carries **only\n * student work**, so a re-declaration of a given the student has no authority\n * over is removed on the way in, and no given at all survives in\n * `answerEntityIds`.\n *\n * Neither drop is an error, because both are what every migrated v1 attempt\n * looks like — v1 seeded the givens into the attempt, required them to be\n * there, and its reveal promoted a given point into `constructedPointIds`,\n * which the migration copies verbatim into `answerEntityIds`. What is dropped\n * is the `ignored` class of `classifyGivenRedeclaration()` (ADR 0016): a\n * pinned given, or a listed intersection no drag could have moved. An\n * `override` is kept, since it is how the student moves a draggable given, and\n * a `collision` is kept to be refused below rather than tidied away here.\n *\n * **Presentation is the exercise's for every id it declares** (ADR 0016), so\n * the attempt's entry for such an id goes, the override's included. Silently,\n * for the same migrated-v1 reason; and before this an attempt could relabel,\n * or hide, a given it had only moved.\n *\n * **`answerEntityIds` loses every id the exercise declares**, not only the\n * dropped ones: a given is not an answer to anything, so a draggable given the\n * student moved is still not something they built. Dropping rather than\n * refusing is decided by what the loader can see — a hand-written document\n * naming a given there is indistinguishable from a migrated v1 one, and\n * refusing would make every stored v1 attempt with a revealed given\n * unloadable. The entry says nothing true either way, so it is removed in\n * silence, exactly as the ignored re-declaration is.\n */\nfunction normalizedAgainstExercise(\n  geometry: GeometryState,\n  exercise: GeometryExercise,\n): GeometryState {\n  const declaredByExercise = (id: EntityId) =>\n    Object.prototype.hasOwnProperty.call(exercise.entities, id)\n  const dropped = new Set<EntityId>()\n  for (const [id, definition] of Object.entries(geometry.entities)) {\n    const given = entryOf(exercise.entities, id)\n    if (!given) continue\n    if (classifyGivenRedeclaration(exercise, id, given, definition) === 'ignored') dropped.add(id)\n  }\n  const answerEntityIds = geometry.answerEntityIds.filter((id) => !declaredByExercise(id))\n  const presentationIds = Object.keys(geometry.presentation)\n  if (\n    dropped.size === 0 &&\n    answerEntityIds.length === geometry.answerEntityIds.length &&\n    !presentationIds.some(declaredByExercise)\n  ) {\n    return geometry\n  }\n\n  return {\n    ...geometry,\n    entities: Object.fromEntries(\n      Object.entries(geometry.entities).filter(([id]) => !dropped.has(id)),\n    ),\n    presentation: Object.fromEntries(\n      Object.entries(geometry.presentation).filter(([id]) => !declaredByExercise(id)),\n    ),\n    answerEntityIds,\n  }\n}\n\nexport type GeometryStateInputValidationResult =\n  | { success: true; data: GeometryState; errors: [] }\n  | { success: false; data: null; errors: GeometryExerciseValidationIssue[] }\n\nexport function validateGeometryStateInput(\n  input: unknown,\n  exercise?: GeometryExercise,\n): GeometryStateInputValidationResult {\n  // Stored attempts are brought up to the current version before their\n  // structure is checked, so an older saved attempt loads rather than failing\n  // as malformed.\n  const migrated = migrateGeometryState(input)\n  if (!migrated.success) {\n    return {\n      success: false,\n      data: null,\n      errors: [{ path: ['schemaVersion'], message: migrated.message }],\n    }\n  }\n\n  const result = geometryStateSchema.safeParse(migrated.data)\n  if (!result.success) {\n    return {\n      success: false,\n      data: null,\n      errors: result.error.issues.map((issue) => ({\n        path: issue.path.map((part) => (typeof part === 'symbol' ? part.toString() : part)),\n        message: issue.message,\n      })),\n    }\n  }\n\n  const errors: GeometryExerciseValidationIssue[] = []\n  let data = result.data\n  if (exercise) {\n    data = normalizedAgainstExercise(data, exercise)\n\n    // An id both documents declare that is neither ignored nor an override\n    // (ADR 0016). `buildGeometryContext()` reports these as `duplicate-id` and\n    // then resolves the id to the exercise's declaration, so before M2.G.2 an\n    // attempt declaring segment `A` over given point `A` loaded clean and had\n    // the *given* graded as the student's construction. One rule, shared with\n    // the context, and the document is refused rather than reinterpreted.\n    for (const issue of crossDocumentIdCollisionIssues(data, exercise)) {\n      errors.push(issue)\n    }\n\n    // The parents the attempt schema deliberately let through: since the\n    // amendment a student's point sits on a given segment, so most of an\n    // attempt's parents are declared in the other document. This is where the\n    // pair is completed, in the schema's own words.\n    for (const issue of crossDocumentParentIssues(data, exercise.entities)) {\n      errors.push(issue)\n    }\n\n    // What the student was allowed to draw. Points are not checked: placing one\n    // is how every construction starts, and v1 never asked either.\n    for (const [id, definition] of Object.entries(data.entities)) {\n      if (definition.kind === 'point') continue\n      if (!exercise.allowedObjects.includes(definition.kind)) {\n        errors.push({\n          path: ['entities', id],\n          message: `${definition.kind} is not allowed by this exercise`,\n        })\n      }\n    }\n  }\n\n  return errors.length > 0\n    ? { success: false, data: null, errors }\n    : { success: true, data, errors: [] }\n}\n\n/**\n * Restores an attempt from stored JSON — the counterpart to\n * validateGeometryExerciseJson(). Pass the exercise to also check the attempt\n * against it — only allowed object types, parents naming entities that exist in\n * one of the two documents — and to normalize it, which is what drops the given\n * points a migrated v1 attempt still carries.\n */\nexport function validateGeometryStateJson(\n  json: string,\n  exercise?: GeometryExercise,\n): GeometryStateInputValidationResult {\n  try {\n    return validateGeometryStateInput(JSON.parse(json), exercise)\n  } catch (error) {\n    return {\n      success: false,\n      data: null,\n      errors: [\n        {\n          path: [],\n          message: error instanceof Error ? error.message : 'Invalid JSON syntax',\n        },\n      ],\n    }\n  }\n}\n\n// Saves an attempt. Trivial today, but it is the one place that guarantees the\n// stored document carries its version, so a restore never has to guess.\nexport function serializeGeometryState(geometry: GeometryState): string {\n  return JSON.stringify(geometry)\n}\n","import type { GeometryState } from '../schemas/geometryState.schema'\nimport { parentsOfDefinition } from '../geometry/entities'\nimport { entryOf } from '../geometry/entityRecord'\nimport type { GoalStatus, GeometryValidationFeedback } from './types'\n\nexport interface GeometryCanvasFeedback {\n  constructions: Record<string, GoalStatus>\n  points: Record<string, GoalStatus>\n}\n\nexport function deriveGeometryCanvasFeedback(\n  feedback: GeometryValidationFeedback | null,\n  geometry: GeometryState,\n  focusedGoalId: string | null,\n): GeometryCanvasFeedback {\n  const focused = feedback?.goals.find((goal) => goal.id === focusedGoalId)\n  if (!focused) return { constructions: {}, points: {} }\n\n  const constructions = Object.fromEntries(\n    focused.constructionIds.map((id) => [id, focused.status]),\n  ) as Record<string, GoalStatus>\n  const pointIds = new Set(focused.pointIds)\n  for (const [id, definition] of Object.entries(geometry.entities)) {\n    if (definition.kind === 'point') continue\n    if (!entryOf(constructions, id)) continue\n    for (const pointId of parentsOfDefinition(definition)) pointIds.add(pointId)\n  }\n  const points = Object.fromEntries([...pointIds].map((id) => [id, focused.status])) as Record<\n    string,\n    GoalStatus\n  >\n  return { constructions, points }\n}\n","import type { GeometryExercise } from '../schemas/exercise.schema'\nimport { withoutSolution } from '../schemas/exerciseProjection'\nimport type { GeometryState } from '../schemas/geometryState.schema'\n\n// Feedback freshness (RFC 0005 § Decisions 2 and 5, ADR 0014). A check result\n// describes the normalized documents it graded, not the objects a host passed\n// in, so a clone, a JSON round trip or a reordered record fingerprints the same,\n// while any change to what grading reads does not.\n//\n// The value is opaque: only another fingerprint from this engine is ever\n// compared against it. That keeps the format free to change — a result from an\n// older format simply stops matching, which hides feedback instead of showing\n// stale feedback.\n\n// JSON with object keys sorted at every depth. Array order is kept because it\n// is meaningful (answer order is report order); records are the documents'\n// only unordered collections. An `undefined` member is skipped as\n// JSON.stringify skips it, so an absent optional field and an explicit\n// `undefined` agree.\nfunction canonicalJson(value: unknown): string {\n  if (Array.isArray(value)) {\n    return `[${value.map((item) => (item === undefined ? 'null' : canonicalJson(item))).join(',')}]`\n  }\n  if (typeof value === 'object' && value !== null) {\n    const record = value as Record<string, unknown>\n    const members = Object.keys(record)\n      .sort()\n      .filter((key) => record[key] !== undefined)\n      .map((key) => `${JSON.stringify(key)}:${canonicalJson(record[key])}`)\n    return `{${members.join(',')}}`\n  }\n  return JSON.stringify(value)\n}\n\n// cyrb53's two 32-bit lanes, both printed: 16 hex digits. Not cryptographic —\n// a fingerprint detects that grading inputs changed; a host forging a match\n// could only ever redisplay feedback it already holds.\nfunction hash(text: string): string {\n  let h1 = 0xdeadbeef\n  let h2 = 0x41c6ce57\n  for (let index = 0; index < text.length; index++) {\n    const code = text.charCodeAt(index)\n    h1 = Math.imul(h1 ^ code, 2654435761)\n    h2 = Math.imul(h2 ^ code, 1597334677)\n  }\n  h1 = Math.imul(h1 ^ (h1 >>> 16), 2246822507)\n  h1 ^= Math.imul(h2 ^ (h2 >>> 13), 3266489909)\n  h2 = Math.imul(h2 ^ (h2 >>> 16), 2246822507)\n  h2 ^= Math.imul(h1 ^ (h1 >>> 13), 3266489909)\n  return `${(h2 >>> 0).toString(16).padStart(8, '0')}${(h1 >>> 0).toString(16).padStart(8, '0')}`\n}\n\n// The solution-free grading projection. Checking ignores the authored solution\n// ADR 0015 embeds, so changing only that must not hide feedback.\nexport function fingerprintGeometryExercise(exercise: GeometryExercise): string {\n  return hash(canonicalJson(withoutSolution(exercise)))\n}\n\n// Takes the attempt as grading read it: migrated, parsed and normalized against\n// its exercise, so a dropped pinned given or an older version changes nothing.\nexport function fingerprintGeometryAttempt(attempt: GeometryState): string {\n  return hash(canonicalJson(attempt))\n}\n","import { latestGeometryStateVersion, type GeometryState } from '../schemas/geometryState.schema'\nimport { validateGeometryStateInput } from './validateGeometryStateInput'\n\n/**\n * A fresh attempt at the current attempt version, for a host starting a student\n * on an exercise (RFC 0005 § Decision 5). It takes no exercise: the two\n * documents version independently, and an empty attempt holds nothing of the\n * exercise. Every call returns a new object, so a host may keep or change one\n * without touching another.\n */\nexport function createEmptyGeometryAttempt(): GeometryState {\n  return {\n    schemaVersion: latestGeometryStateVersion,\n    entities: {},\n    presentation: {},\n    answerEntityIds: [],\n  }\n}\n\n/**\n * Whether a stored attempt holds any student work — a completion hint for a\n * host's \"not started\" state, never a grade. Untrusted input is migrated and\n * parsed first; absent or malformed input is `false` rather than an error.\n *\n * Work is any entity the attempt declares, not only an answer: dragging a given\n * copies it into `entities` while `answerEntityIds` stays empty, and that\n * counts. Reset, or deleting everything the student added, empties `entities`\n * again.\n *\n * No exercise is read, so a pinned given that a migrated v1 attempt still\n * re-declares counts here, although the load pass against its exercise drops it.\n */\nexport function hasGeometryWork(attemptInput: unknown): boolean {\n  const attempt = validateGeometryStateInput(attemptInput)\n  return attempt.success && Object.keys(attempt.data.entities).length > 0\n}\n","import type { GeometryExercise } from '../schemas/exercise.schema'\nimport { buildGeometryContext } from '../state/geometryContext'\nimport { createEmptyGeometryAttempt } from './geometryAttemptStatus'\nimport { figureGoalHandlerFor } from './goals'\nimport type { FigureValidationContext } from './goals/goalKindHandler'\n\nexport interface GeometryExerciseWarning {\n  path: Array<string | number>\n  message: string\n}\n\n/**\n * What is wrong with an exercise without being invalid. Two rules: a given\n * placed where the viewport cannot show it, and a figure goal the authored\n * figure already satisfies.\n *\n * Only a **free** point is checked. A derived point has no stored coordinates —\n * it is wherever the graph puts it, which depends on the entities it is built\n * on — so warning about it would mean resolving the whole exercise, and where\n * an authoring warning belongs for a construction that lands off-screen is an\n * M3 question about the authoring UI rather than about the document.\n */\nexport function getGeometryExerciseWarnings(exercise: GeometryExercise): GeometryExerciseWarning[] {\n  const [xMin, yMin, xMax, yMax] = exercise.viewport\n  const warnings: GeometryExerciseWarning[] = []\n  for (const [id, definition] of Object.entries(exercise.entities)) {\n    if (definition.kind !== 'point' || !('at' in definition)) continue\n    const { x, y } = definition.at\n    if (x >= xMin && x <= xMax && y >= yMin && y <= yMax) continue\n    warnings.push({ path: ['entities', id], message: `point ${id} is outside the viewport` })\n  }\n  warnings.push(...satisfiedFigureGoalWarnings(exercise))\n  return warnings\n}\n\n/**\n * A figure goal the authored figure already satisfies: an untouched attempt\n * checks correct, which is almost always a mistake (RFC 0006 § Reporting).\n *\n * A warning rather than a refusal, because deciding it needs measurement the\n * schema layer does not have, and because an author may want exactly this — a\n * \"keep it acute while you move the vertex\" exercise.\n *\n * The figure measured is the exercise's own, so the scene is built over an\n * empty attempt: this is the authored document before the student touches it.\n */\nfunction satisfiedFigureGoalWarnings(exercise: GeometryExercise): GeometryExerciseWarning[] {\n  // Nothing to measure, and nothing to build, unless a figure goal is authored.\n  if (!exercise.goals.some((goal) => figureGoalHandlerFor(goal) !== null)) return []\n\n  const scene = buildGeometryContext(exercise, createEmptyGeometryAttempt())\n  const context: FigureValidationContext = { exercise, points: scene.points, scene }\n  const warnings: GeometryExerciseWarning[] = []\n  exercise.goals.forEach((goal, index) => {\n    const handler = figureGoalHandlerFor(goal)\n    if (handler?.satisfiedByFigure(goal, context) !== true) return\n    warnings.push({\n      path: ['goals', index],\n      message: `goal ${goal.id} is already satisfied by the authored figure`,\n    })\n  })\n  return warnings\n}\n","// The one exercise load every public loader is built on (M3.I.3, option C).\n// Internal: not exported from any entry point.\n//\n// Exercise v4 embeds an authored solution (ADR 0015), and the engine loads an\n// exercise two ways. **Grading** — Check, fingerprints, the student component —\n// must ignore the solution entirely, so a malformed one never disables them.\n// **The full load** — `validateGeometryExercise()` and reveal — must also\n// migrate the solution and check it against the exercise. Both start from\n// `loadExerciseDocument()`, so the exercise half cannot differ between them, and the\n// full load adds `validateEmbeddedSolution()` on top.\nimport { withoutSolution } from '../schemas/exerciseProjection'\nimport {\n  geometryExerciseSchema,\n  migrateGeometryExercise,\n  type GeometryExercise,\n} from '../schemas/exercise.schema'\nimport {\n  getGeometryExerciseWarnings,\n  type GeometryExerciseWarning,\n} from './getGeometryExerciseWarnings'\nimport type { GeometryExerciseValidationIssue } from './validateGeometryExercise'\nimport {\n  validateGeometryStateInput,\n  type GeometryStateInputValidationResult,\n} from './validateGeometryStateInput'\n\nexport type ExerciseLoadResult =\n  | {\n      success: true\n      /** The solution-free projection, parsed. */\n      data: GeometryExercise\n      /** The stored solution, untouched: `undefined` when the document has none. */\n      solution: unknown\n      warnings: GeometryExerciseWarning[]\n    }\n  | { success: false; errors: GeometryExerciseValidationIssue[] }\n\nfunction normalizePath(path: PropertyKey[]): Array<string | number> {\n  return path.map((segment) =>\n    typeof segment === 'symbol' ? (segment.description ?? segment.toString()) : segment,\n  )\n}\n\n/**\n * Migrates a stored exercise and parses its solution-free projection. Every\n * refusal the migration stage can produce — an older version with no step, a\n * newer one, something that is not a document at all — is reported under\n * `schemaVersion`, because that is the field the reader consulted.\n */\nexport function loadExerciseDocument(input: unknown): ExerciseLoadResult {\n  const migrated = migrateGeometryExercise(input)\n  if (!migrated.success) {\n    return { success: false, errors: [{ path: ['schemaVersion'], message: migrated.message }] }\n  }\n\n  const document = migrated.data as Record<string, unknown>\n  const result = geometryExerciseSchema.safeParse(withoutSolution(document))\n  if (!result.success) {\n    return {\n      success: false,\n      errors: result.error.issues.map((issue) => ({\n        path: normalizePath(issue.path),\n        message: issue.message,\n      })),\n    }\n  }\n  return {\n    success: true,\n    data: result.data,\n    solution: document.solution,\n    warnings: getGeometryExerciseWarnings(result.data),\n  }\n}\n\n/**\n * The stored solution as an attempt of `exercise`: migrated on the attempt\n * chain, parsed, and normalized and cross-checked against the exercise exactly\n * as a student attempt is. Issue paths are rooted at `solution`, so they point\n * into the exercise document a host holds.\n */\nexport function validateEmbeddedSolution(\n  solution: unknown,\n  exercise: GeometryExercise,\n): GeometryStateInputValidationResult {\n  const attempt = validateGeometryStateInput(solution, exercise)\n  if (attempt.success) return attempt\n  return {\n    ...attempt,\n    errors: attempt.errors.map((issue) => ({ ...issue, path: ['solution', ...issue.path] })),\n  }\n}\n"],"mappings":";;;;AA4CA,SAAS,EACP,GACA,GACe;CACf,IAAM,KAAsB,MAC1B,OAAO,UAAU,eAAe,KAAK,EAAS,UAAU,CAAE,GACtD,oBAAU,IAAI,IAAc;CAClC,KAAK,IAAM,CAAC,GAAI,MAAe,OAAO,QAAQ,EAAS,QAAQ,GAAG;EAChE,IAAM,IAAQ,EAAQ,EAAS,UAAU,CAAE;EACtC,KACD,EAA2B,GAAU,GAAI,GAAO,CAAU,MAAM,aAAW,EAAQ,IAAI,CAAE;CAC/F;CACA,IAAM,IAAkB,EAAS,gBAAgB,QAAQ,MAAO,CAAC,EAAmB,CAAE,CAAC,GACjF,IAAkB,OAAO,KAAK,EAAS,YAAY;CASzD,OAPE,EAAQ,SAAS,KACjB,EAAgB,WAAW,EAAS,gBAAgB,UACpD,CAAC,EAAgB,KAAK,CAAkB,IAEjC,IAGF;EACL,GAAG;EACH,UAAU,OAAO,YACf,OAAO,QAAQ,EAAS,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAQ,CAAC,EAAQ,IAAI,CAAE,CAAC,CACrE;EACA,cAAc,OAAO,YACnB,OAAO,QAAQ,EAAS,YAAY,CAAC,CAAC,QAAQ,CAAC,OAAQ,CAAC,EAAmB,CAAE,CAAC,CAChF;EACA;CACF;AACF;AAMA,SAAgB,EACd,GACA,GACoC;CAIpC,IAAM,IAAW,EAAqB,CAAK;CAC3C,IAAI,CAAC,EAAS,SACZ,OAAO;EACL,SAAS;EACT,MAAM;EACN,QAAQ,CAAC;GAAE,MAAM,CAAC,eAAe;GAAG,SAAS,EAAS;EAAQ,CAAC;CACjE;CAGF,IAAM,IAAS,EAAoB,UAAU,EAAS,IAAI;CAC1D,IAAI,CAAC,EAAO,SACV,OAAO;EACL,SAAS;EACT,MAAM;EACN,QAAQ,EAAO,MAAM,OAAO,KAAK,OAAW;GAC1C,MAAM,EAAM,KAAK,KAAK,MAAU,OAAO,KAAS,WAAW,EAAK,SAAS,IAAI,CAAK;GAClF,SAAS,EAAM;EACjB,EAAE;CACJ;CAGF,IAAM,IAA4C,CAAC,GAC/C,IAAO,EAAO;CAClB,IAAI,GAAU;EACZ,IAAO,EAA0B,GAAM,CAAQ;EAQ/C,KAAK,IAAM,KAAS,EAA+B,GAAM,CAAQ,GAC/D,EAAO,KAAK,CAAK;EAOnB,KAAK,IAAM,KAAS,EAA0B,GAAM,EAAS,QAAQ,GACnE,EAAO,KAAK,CAAK;EAKnB,KAAK,IAAM,CAAC,GAAI,MAAe,OAAO,QAAQ,EAAK,QAAQ,GACrD,EAAW,SAAS,YACnB,EAAS,eAAe,SAAS,EAAW,IAAI,KACnD,EAAO,KAAK;GACV,MAAM,CAAC,YAAY,CAAE;GACrB,SAAS,GAAG,EAAW,KAAK;EAC9B,CAAC;CAGP;CAEA,OAAO,EAAO,SAAS,IACnB;EAAE,SAAS;EAAO,MAAM;EAAM;CAAO,IACrC;EAAE,SAAS;EAAM;EAAM,QAAQ,CAAC;CAAE;AACxC;AASA,SAAgB,EACd,GACA,GACoC;CACpC,IAAI;EACF,OAAO,EAA2B,KAAK,MAAM,CAAI,GAAG,CAAQ;CAC9D,SAAS,GAAO;EACd,OAAO;GACL,SAAS;GACT,MAAM;GACN,QAAQ,CACN;IACE,MAAM,CAAC;IACP,SAAS,aAAiB,QAAQ,EAAM,UAAU;GACpD,CACF;EACF;CACF;AACF;AAIA,SAAgB,EAAuB,GAAiC;CACtE,OAAO,KAAK,UAAU,CAAQ;AAChC;;;AC5KA,SAAgB,EACd,GACA,GACA,GACwB;CACxB,IAAM,IAAU,GAAU,MAAM,MAAM,MAAS,EAAK,OAAO,CAAa;CACxE,IAAI,CAAC,GAAS,OAAO;EAAE,eAAe,CAAC;EAAG,QAAQ,CAAC;CAAE;CAErD,IAAM,IAAgB,OAAO,YAC3B,EAAQ,gBAAgB,KAAK,MAAO,CAAC,GAAI,EAAQ,MAAM,CAAC,CAC1D,GACM,IAAW,IAAI,IAAI,EAAQ,QAAQ;CACzC,KAAK,IAAM,CAAC,GAAI,MAAe,OAAO,QAAQ,EAAS,QAAQ,GACzD,MAAW,SAAS,WACnB,EAAQ,GAAe,CAAE,GAC9B,KAAK,IAAM,KAAW,EAAoB,CAAU,GAAG,EAAS,IAAI,CAAO;CAM7E,OAAO;EAAE;EAAe,QAJT,OAAO,YAAY,CAAC,GAAG,CAAQ,CAAC,CAAC,KAAK,MAAO,CAAC,GAAI,EAAQ,MAAM,CAAC,CAIxD;CAAO;AACjC;;;ACbA,SAAS,EAAc,GAAwB;CAC7C,IAAI,MAAM,QAAQ,CAAK,GACrB,OAAO,IAAI,EAAM,KAAK,MAAU,MAAS,KAAA,IAAY,SAAS,EAAc,CAAI,CAAE,CAAC,CAAC,KAAK,GAAG,EAAE;CAEhG,IAAI,OAAO,KAAU,YAAY,GAAgB;EAC/C,IAAM,IAAS;EAKf,OAAO,IAJS,OAAO,KAAK,CAAM,CAAC,CAChC,KAAK,CAAC,CACN,QAAQ,MAAQ,EAAO,OAAS,KAAA,CAAS,CAAC,CAC1C,KAAK,MAAQ,GAAG,KAAK,UAAU,CAAG,EAAE,GAAG,EAAc,EAAO,EAAI,GACxD,CAAA,CAAQ,KAAK,GAAG,EAAE;CAC/B;CACA,OAAO,KAAK,UAAU,CAAK;AAC7B;AAKA,SAAS,EAAK,GAAsB;CAClC,IAAI,IAAK,YACL,IAAK;CACT,KAAK,IAAI,IAAQ,GAAG,IAAQ,EAAK,QAAQ,KAAS;EAChD,IAAM,IAAO,EAAK,WAAW,CAAK;EAElC,AADA,IAAK,KAAK,KAAK,IAAK,GAAM,UAAU,GACpC,IAAK,KAAK,KAAK,IAAK,GAAM,UAAU;CACtC;CAKA,OAJA,IAAK,KAAK,KAAK,IAAM,MAAO,IAAK,UAAU,GAC3C,KAAM,KAAK,KAAK,IAAM,MAAO,IAAK,UAAU,GAC5C,IAAK,KAAK,KAAK,IAAM,MAAO,IAAK,UAAU,GAC3C,KAAM,KAAK,KAAK,IAAM,MAAO,IAAK,UAAU,GACrC,IAAI,MAAO,EAAA,CAAG,SAAS,EAAE,CAAC,CAAC,SAAS,GAAG,GAAG,KAAK,MAAO,EAAA,CAAG,SAAS,EAAE,CAAC,CAAC,SAAS,GAAG,GAAG;AAC9F;AAIA,SAAgB,EAA4B,GAAoC;CAC9E,OAAO,EAAK,EAAc,EAAgB,CAAQ,CAAC,CAAC;AACtD;AAIA,SAAgB,EAA2B,GAAgC;CACzE,OAAO,EAAK,EAAc,CAAO,CAAC;AACpC;;;ACpDA,SAAgB,IAA4C;CAC1D,OAAO;EACL,eAAA;EACA,UAAU,CAAC;EACX,cAAc,CAAC;EACf,iBAAiB,CAAC;CACpB;AACF;AAeA,SAAgB,EAAgB,GAAgC;CAC9D,IAAM,IAAU,EAA2B,CAAY;CACvD,OAAO,EAAQ,WAAW,OAAO,KAAK,EAAQ,KAAK,QAAQ,CAAC,CAAC,SAAS;AACxE;;;ACbA,SAAgB,EAA4B,GAAuD;CACjG,IAAM,CAAC,GAAM,GAAM,GAAM,KAAQ,EAAS,UACpC,IAAsC,CAAC;CAC7C,KAAK,IAAM,CAAC,GAAI,MAAe,OAAO,QAAQ,EAAS,QAAQ,GAAG;EAChE,IAAI,EAAW,SAAS,WAAW,EAAE,QAAQ,IAAa;EAC1D,IAAM,EAAE,MAAG,SAAM,EAAW;EACxB,KAAK,KAAQ,KAAK,KAAQ,KAAK,KAAQ,KAAK,KAChD,EAAS,KAAK;GAAE,MAAM,CAAC,YAAY,CAAE;GAAG,SAAS,SAAS,EAAG;EAA0B,CAAC;CAC1F;CAEA,OADA,EAAS,KAAK,GAAG,EAA4B,CAAQ,CAAC,GAC/C;AACT;AAaA,SAAS,EAA4B,GAAuD;CAE1F,IAAI,CAAC,EAAS,MAAM,MAAM,MAAS,EAAqB,CAAI,MAAM,IAAI,GAAG,OAAO,CAAC;CAEjF,IAAM,IAAQ,EAAqB,GAAU,EAA2B,CAAC,GACnE,IAAmC;EAAE;EAAU,QAAQ,EAAM;EAAQ;CAAM,GAC3E,IAAsC,CAAC;CAS7C,OARA,EAAS,MAAM,SAAS,GAAM,MAAU;EACtB,EAAqB,CACjC,CAAA,EAAS,kBAAkB,GAAM,CAAO,MAAM,MAClD,EAAS,KAAK;GACZ,MAAM,CAAC,SAAS,CAAK;GACrB,SAAS,QAAQ,EAAK,GAAG;EAC3B,CAAC;CACH,CAAC,GACM;AACT;;;ACzBA,SAAS,EAAc,GAA6C;CAClE,OAAO,EAAK,KAAK,MACf,OAAO,KAAY,WAAY,EAAQ,eAAe,EAAQ,SAAS,IAAK,CAC9E;AACF;AAQA,SAAgB,EAAqB,GAAoC;CACvE,IAAM,IAAW,EAAwB,CAAK;CAC9C,IAAI,CAAC,EAAS,SACZ,OAAO;EAAE,SAAS;EAAO,QAAQ,CAAC;GAAE,MAAM,CAAC,eAAe;GAAG,SAAS,EAAS;EAAQ,CAAC;CAAE;CAG5F,IAAM,IAAW,EAAS,MACpB,IAAS,EAAuB,UAAU,EAAgB,CAAQ,CAAC;CAUzE,OATK,EAAO,UASL;EACL,SAAS;EACT,MAAM,EAAO;EACb,UAAU,EAAS;EACnB,UAAU,EAA4B,EAAO,IAAI;CACnD,IAbS;EACL,SAAS;EACT,QAAQ,EAAO,MAAM,OAAO,KAAK,OAAW;GAC1C,MAAM,EAAc,EAAM,IAAI;GAC9B,SAAS,EAAM;EACjB,EAAE;CACJ;AAQJ;AAQA,SAAgB,EACd,GACA,GACoC;CACpC,IAAM,IAAU,EAA2B,GAAU,CAAQ;CAE7D,OADI,EAAQ,UAAgB,IACrB;EACL,GAAG;EACH,QAAQ,EAAQ,OAAO,KAAK,OAAW;GAAE,GAAG;GAAO,MAAM,CAAC,YAAY,GAAG,EAAM,IAAI;EAAE,EAAE;CACzF;AACF"}

package/dist/geometry/entities/angle.d.cts

@@ -0,0 +1,56 @@
+import { AngleDefinition, ResolvedAngle } from '../entityModel.cjs';
+import { Point } from '../point.cjs';
+/**
+ * How far out the mark sits, as a fraction of the shorter arm.
+ *
+ * Tuned in M3.5.a against rendered figures at phone (390 px) and desktop widths,
+ * under both the `contain` and `stretch` projections. At 0.25 a mark on a short
+ * arm drew under the vertex point's own dot, so a 135° or right-angle mark was
+ * not visible at all; at 0.4 every mark clears the dot, and a narrow angle on
+ * long arms still keeps its mark near the vertex. A fraction rather than a
+ * screen constant because `distanceTo()` and `hitTest()` take no viewport: a
+ * mark measured in pixels would be hit where it is not drawn.
+ */
+export declare const ANGLE_MARK_RADIUS_FRACTION = 0.4;
+export declare const angleOperations: {
+    kind: "angle";
+    parents: (definition: AngleDefinition) => readonly [string, string, string];
+    resolve: (_definition: AngleDefinition, [firstArm, vertex, secondArm]: readonly import('../entityModel.cjs').ResolvedEntity[]) => {
+        kind: "angle";
+        vertex: {
+            x: number;
+            y: number;
+        };
+        startTurn: number;
+        sweepTurn: number;
+        markRadius: number;
+    } | null;
+    toShape: (resolved: ResolvedAngle) => {
+        shape: "angle";
+        vertex: {
+            x: number;
+            y: number;
+        };
+        startTurn: number;
+        sweepTurn: number;
+        radius: number;
+    };
+    toMeasured: () => null;
+    distanceTo: (resolved: ResolvedAngle, at: {
+        x: number;
+        y: number;
+    }) => number;
+    describe: (definition: AngleDefinition, nameOf: (id: import('../entityModel.cjs').EntityId) => string) => string;
+    hitPriority: number;
+    identityKey: (definition: AngleDefinition) => string;
+};
+/**
+ * The right-angle square's three drawn corners — on the first arm, the far
+ * corner, on the second arm — or null when the sweep is not right under
+ * `angleTypeOf()` (ADR 0017), in which case the mark is the arc.
+ *
+ * One definition for what `AngleShape` draws and what `distanceTo()` measures,
+ * so a hit lands where the mark is. The side is `markRadius·√½`, which puts the
+ * far corner at `markRadius` from the vertex, where the arc would have been.
+ */
+export declare function rightAngleSquareOf(resolved: Pick<ResolvedAngle, 'vertex' | 'startTurn' | 'sweepTurn' | 'markRadius'>): readonly [Point, Point, Point] | null;

package/dist/geometry/entities/angle.d.ts

@@ -0,0 +1,57 @@
+import { AngleDefinition, ResolvedAngle } from '../entityModel.js';
+import { Point } from '../point.js';
+/**
+ * How far out the mark sits, as a fraction of the shorter arm.
+ *
+ * Tuned in M3.5.a against rendered figures at phone (390 px) and desktop widths,
+ * under both the `contain` and `stretch` projections. At 0.25 a mark on a short
+ * arm drew under the vertex point's own dot, so a 135° or right-angle mark was
+ * not visible at all; at 0.4 every mark clears the dot, and a narrow angle on
+ * long arms still keeps its mark near the vertex. A fraction rather than a
+ * screen constant because `distanceTo()` and `hitTest()` take no viewport: a
+ * mark measured in pixels would be hit where it is not drawn.
+ */
+export declare const ANGLE_MARK_RADIUS_FRACTION = 0.4;
+export declare const angleOperations: {
+    kind: "angle";
+    parents: (definition: AngleDefinition) => readonly [string, string, string];
+    resolve: (_definition: AngleDefinition, [firstArm, vertex, secondArm]: readonly import('../entityModel.js').ResolvedEntity[]) => {
+        kind: "angle";
+        vertex: {
+            x: number;
+            y: number;
+        };
+        startTurn: number;
+        sweepTurn: number;
+        markRadius: number;
+    } | null;
+    toShape: (resolved: ResolvedAngle) => {
+        shape: "angle";
+        vertex: {
+            x: number;
+            y: number;
+        };
+        startTurn: number;
+        sweepTurn: number;
+        radius: number;
+    };
+    toMeasured: () => null;
+    distanceTo: (resolved: ResolvedAngle, at: {
+        x: number;
+        y: number;
+    }) => number;
+    describe: (definition: AngleDefinition, nameOf: (id: import('../entityModel.js').EntityId) => string) => string;
+    hitPriority: number;
+    identityKey: (definition: AngleDefinition) => string;
+};
+/**
+ * The right-angle square's three drawn corners — on the first arm, the far
+ * corner, on the second arm — or null when the sweep is not right under
+ * `angleTypeOf()` (ADR 0017), in which case the mark is the arc.
+ *
+ * One definition for what `AngleShape` draws and what `distanceTo()` measures,
+ * so a hit lands where the mark is. The side is `markRadius·√½`, which puts the
+ * far corner at `markRadius` from the vertex, where the arc would have been.
+ */
+export declare function rightAngleSquareOf(resolved: Pick<ResolvedAngle, 'vertex' | 'startTurn' | 'sweepTurn' | 'markRadius'>): readonly [Point, Point, Point] | null;
+//# sourceMappingURL=angle.d.ts.map

package/dist/geometry/entities/angle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"angle.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/angle.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,eAAe,EAAoB,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACtF,OAAO,EAAmB,KAAK,KAAK,EAAE,MAAM,UAAU,CAAA;AAKtD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,0BAA0B,MAAM,CAAA;AAE7C,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyEgC,CAAA;AAE5D;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,YAAY,CAAC,GACjF,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,IAAI,CAOvC"}

package/dist/geometry/entities/circle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"circle.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/circle.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,gBAAgB,EAAoB,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAGxF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDiC,CAAA"}
+{"version":3,"file":"circle.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/circle.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,gBAAgB,EAAoB,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAGxF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuDiC,CAAA"}

package/dist/geometry/entities/index.d.cts

@@ -10,11 +10,15 @@ export declare const entityRegistry: EntityRegistry;
  */
 export declare const entityKinds: readonly EntityKind[];
 /**
- * Every kind but the point: the entities a position can lie *on*.
+ * The loci: the entities a position can lie *on*.
  *
- * A point is a location and the rest are loci, which is the one distinction
- * that survives generalization — it is why `parameterAt` has no meaning for a
- * point and why snapping asks these kinds and not that one.
+ * A point is a location, an angle is a measure between two arms, and the rest
+ * are loci — which is why `parameterAt` has no meaning for either and why
+ * snapping asks these kinds and not those. Read off `pointOnEntity()` rather
+ * than listed here, so a kind that cannot be travelled along is excluded by the
+ * same answer that makes it unparameterizable: left in, an angle's mark would
+ * win `snapToObject`'s hit test and then decline to place the point, taking the
+ * on-object snap to whatever is drawn under the mark with it.
  */
 export declare const objectEntityKinds: readonly EntityKind[];
 /** Every entity `definition` is built on, in declaration order. */

package/dist/geometry/entities/index.d.ts

@@ -10,11 +10,15 @@ export declare const entityRegistry: EntityRegistry;
  */
 export declare const entityKinds: readonly EntityKind[];
 /**
- * Every kind but the point: the entities a position can lie *on*.
+ * The loci: the entities a position can lie *on*.
  *
- * A point is a location and the rest are loci, which is the one distinction
- * that survives generalization — it is why `parameterAt` has no meaning for a
- * point and why snapping asks these kinds and not that one.
+ * A point is a location, an angle is a measure between two arms, and the rest
+ * are loci — which is why `parameterAt` has no meaning for either and why
+ * snapping asks these kinds and not those. Read off `pointOnEntity()` rather
+ * than listed here, so a kind that cannot be travelled along is excluded by the
+ * same answer that makes it unparameterizable: left in, an angle's mark would
+ * win `snapToObject`'s hit test and then decline to place the point, taking the
+ * on-object snap to whatever is drawn under the mark with it.
  */
 export declare const objectEntityKinds: readonly EntityKind[];
 /** Every entity `definition` is built on, in declaration order. */

package/dist/geometry/entities/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/index.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EACV,gBAAgB,EAChB,QAAQ,EACR,UAAU,EAEV,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,eAAe,EAChB,MAAM,gBAAgB,CAAA;AACvB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AACrC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAKnE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEjF,eAAO,MAAM,cAAc,EAAE,cAK3B,CAAA;AAEF;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,SAAS,UAAU,EAE5C,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,UAAU,EAElD,CAAA;AAaD,mEAAmE;AACnE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,gBAAgB,GAAG,SAAS,QAAQ,EAAE,CAErF;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,gBAAgB,EAC1D,UAAU,EAAE,CAAC,EACb,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAIpC;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,gBAAgB,EAC5B,MAAM,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,GACnC,cAAc,GAAG,IAAI,CAWvB;AAED,6BAA6B;AAC7B,wBAAgB,eAAe,CAAC,QAAQ,EAAE,cAAc,GAAG,eAAe,CAEzE;AAED,qEAAqE;AACrE,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,cAAc,GAAG,cAAc,GAAG,IAAI,CAElF;AAED,mDAAmD;AACnD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,cAAc,EAAE,EAAE,EAAE,KAAK,GAAG,MAAM,CAE9E;AAED,0CAA0C;AAC1C,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAEtD;AAED,0EAA0E;AAC1E,wBAAgB,aAAa,CAAC,UAAU,EAAE,gBAAgB,GAAG,MAAM,CAElE;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,gBAAgB,EAC5B,MAAM,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,GAC/B,MAAM,CAER"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/index.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EACV,gBAAgB,EAChB,QAAQ,EACR,UAAU,EAEV,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,eAAe,EAChB,MAAM,gBAAgB,CAAA;AACvB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AACrC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAKnE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEjF,eAAO,MAAM,cAAc,EAAE,cAM3B,CAAA;AAEF;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,SAAS,UAAU,EAE5C,CAAA;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,UAAU,EAElD,CAAA;AAaD,mEAAmE;AACnE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,gBAAgB,GAAG,SAAS,QAAQ,EAAE,CAErF;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,gBAAgB,EAC1D,UAAU,EAAE,CAAC,EACb,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAIpC;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,gBAAgB,EAC5B,MAAM,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,GACnC,cAAc,GAAG,IAAI,CAWvB;AAED,6BAA6B;AAC7B,wBAAgB,eAAe,CAAC,QAAQ,EAAE,cAAc,GAAG,eAAe,CAEzE;AAED,qEAAqE;AACrE,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,cAAc,GAAG,cAAc,GAAG,IAAI,CAElF;AAED,mDAAmD;AACnD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,cAAc,EAAE,EAAE,EAAE,KAAK,GAAG,MAAM,CAE9E;AAED,0CAA0C;AAC1C,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAEtD;AAED,0EAA0E;AAC1E,wBAAgB,aAAa,CAAC,UAAU,EAAE,gBAAgB,GAAG,MAAM,CAElE;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,gBAAgB,EAC5B,MAAM,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,GAC/B,MAAM,CAER"}

package/dist/geometry/entities/line.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"line.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/line.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAoB,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAEpF,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2B+B,CAAA"}
+{"version":3,"file":"line.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/line.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAoB,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAEpF,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8B+B,CAAA"}

package/dist/geometry/entities/point.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"point.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/point.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,QAAQ,EAAoB,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAYhG,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;CAsEgC,CAAA"}
+{"version":3,"file":"point.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/point.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,QAAQ,EAAoB,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAYhG,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;CA2EgC,CAAA"}

package/dist/geometry/entities/relations.d.cts

@@ -1,4 +1,4 @@
-import { ResolvedEntity } from '../entityModel.cjs';
+import { EntityKind, ResolvedEntity } from '../entityModel.cjs';
 import { Point } from '../point.cjs';
 /**
  * Where two resolved entities meet, or null when they do not meet at all,
@@ -11,6 +11,13 @@ import { Point } from '../point.cjs';
  * by construction the one whose signature they satisfy.
  */
 export declare function intersectEntities(first: ResolvedEntity, second: ResolvedEntity, which?: 0 | 1): Point | null;
+/**
+ * Whether a position can lie on this kind at all — whether it is a locus.
+ *
+ * Read off the same table that answers `pointOnEntity()`, so "what can a point
+ * be placed on" has one answer rather than a list kept in step by hand.
+ */
+export declare function isParameterizableKind(kind: EntityKind): boolean;
 /**
  * The position at parameter `t` along `host`, or null when the host is not
  * something a parameter can travel along.

package/dist/geometry/entities/relations.d.ts

@@ -1,4 +1,4 @@
-import { ResolvedEntity } from '../entityModel.js';
+import { EntityKind, ResolvedEntity } from '../entityModel.js';
 import { Point } from '../point.js';
 /**
  * Where two resolved entities meet, or null when they do not meet at all,
@@ -11,6 +11,13 @@ import { Point } from '../point.js';
  * by construction the one whose signature they satisfy.
  */
 export declare function intersectEntities(first: ResolvedEntity, second: ResolvedEntity, which?: 0 | 1): Point | null;
+/**
+ * Whether a position can lie on this kind at all — whether it is a locus.
+ *
+ * Read off the same table that answers `pointOnEntity()`, so "what can a point
+ * be placed on" has one answer rather than a list kept in step by hand.
+ */
+export declare function isParameterizableKind(kind: EntityKind): boolean;
 /**
  * The position at parameter `t` along `host`, or null when the host is not
  * something a parameter can travel along.

package/dist/geometry/entities/relations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relations.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/relations.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAGV,cAAc,EAIf,MAAM,gBAAgB,CAAA;AACvB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAoFrC;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,cAAc,EACrB,MAAM,EAAE,cAAc,EACtB,KAAK,GAAE,CAAC,GAAG,CAAK,GACf,KAAK,GAAG,IAAI,CAMd;AAqDD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,MAAM,GAAG,KAAK,GAAG,IAAI,CAM3E;AAqCD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,KAAK,GAAG,MAAM,GAAG,IAAI,CAGhF"}
+{"version":3,"file":"relations.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/relations.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EACV,UAAU,EAEV,cAAc,EAIf,MAAM,gBAAgB,CAAA;AACvB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAiGrC;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,cAAc,EACrB,MAAM,EAAE,cAAc,EACtB,KAAK,GAAE,CAAC,GAAG,CAAK,GACf,KAAK,GAAG,IAAI,CAMd;AA+DD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAE/D;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,MAAM,GAAG,KAAK,GAAG,IAAI,CAM3E;AAwCD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,KAAK,GAAG,MAAM,GAAG,IAAI,CAGhF"}

package/dist/geometry/entities/segment.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"segment.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/segment.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAoB,eAAe,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAE1F,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6BkC,CAAA"}
+{"version":3,"file":"segment.d.ts","sourceRoot":"","sources":["../../../src/geometry/entities/segment.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAoB,eAAe,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAE1F,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgCkC,CAAA"}