@mathscan/geometry-engine 0.1.0

package/dist/geometry/v1Bridge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"v1Bridge.d.ts","sourceRoot":"","sources":["../../src/geometry/v1Bridge.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAGtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAA;AAClE,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAC7C,OAAO,EAAkC,KAAK,WAAW,EAAE,MAAM,eAAe,CAAA;AAiBhF,0EAA0E;AAC1E,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,cAAc,GAAG,gBAAgB,CAK3E;AAID,0DAA0D;AAC1D,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,GAAG,eAAe,CAQvE;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,YAAY,GAAG,gBAAgB,CAIvE;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,cAAc,GAAG,SAAS,OAAO,EAAE,CAE1E;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAElE;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,GAClC,cAAc,GAAG,IAAI,CAYvB"}

package/dist/geometryAttemptStatus-5L_q6-9l.js

@@ -0,0 +1,184 @@
+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";
+//#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);
+	}
+	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 {
+		...e,
+		entities: a(e.entities),
+		presentation: a(e.presentation),
+		answerEntityIds: i
+	};
+}
+function u(e, t) {
+	let a = r(e);
+	if (!a.success) return {
+		success: !1,
+		data: null,
+		errors: [{
+			path: ["schemaVersion"],
+			message: a.message
+		}]
+	};
+	let s = i.safeParse(a.data);
+	if (!s.success) return {
+		success: !1,
+		data: null,
+		errors: s.error.issues.map((e) => ({
+			path: e.path.map((e) => typeof e == "symbol" ? e.toString() : e),
+			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({
+			path: ["entities", e],
+			message: `${n.kind} is not allowed by this exercise`
+		}));
+	}
+	return c.length > 0 ? {
+		success: !1,
+		data: null,
+		errors: c
+	} : {
+		success: !0,
+		data: u,
+		errors: []
+	};
+}
+function d(e, t) {
+	try {
+		return u(JSON.parse(e), t);
+	} catch (e) {
+		return {
+			success: !1,
+			data: null,
+			errors: [{
+				path: [],
+				message: e instanceof Error ? e.message : "Invalid JSON syntax"
+			}]
+		};
+	}
+}
+function f(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 {
+		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);
+	return {
+		constructions: o,
+		points: Object.fromEntries([...s].map((e) => [e, a.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(",")}]`;
+	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 JSON.stringify(e);
+}
+function h(e) {
+	let t = 3735928559, n = 1103547991;
+	for (let r = 0; r < e.length; r++) {
+		let i = e.charCodeAt(r);
+		t = Math.imul(t ^ i, 2654435761), n = Math.imul(n ^ i, 1597334677);
+	}
+	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 _(e) {
+	return h(m(e));
+}
+//#endregion
+//#region src/validation/getGeometryExerciseWarnings.ts
+function v(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;
+		let { x: e, y: c } = s.at;
+		e >= t && e <= r && c >= n && c <= i || a.push({
+			path: ["entities", o],
+			message: `point ${o} is outside the viewport`
+		});
+	}
+	return a;
+}
+//#endregion
+//#region src/validation/exerciseLoad.ts
+function y(e) {
+	return e.map((e) => typeof e == "symbol" ? e.description ?? e.toString() : e);
+}
+function b(e) {
+	let t = c(e);
+	if (!t.success) return {
+		success: !1,
+		errors: [{
+			path: ["schemaVersion"],
+			message: t.message
+		}]
+	};
+	let n = t.data, r = s.safeParse(a(n));
+	return r.success ? {
+		success: !0,
+		data: r.data,
+		solution: n.solution,
+		warnings: v(r.data)
+	} : {
+		success: !1,
+		errors: r.error.issues.map((e) => ({
+			path: y(e.path),
+			message: e.message
+		}))
+	};
+}
+function x(e, t) {
+	let n = u(e, t);
+	return n.success ? n : {
+		...n,
+		errors: n.errors.map((e) => ({
+			...e,
+			path: ["solution", ...e.path]
+		}))
+	};
+}
+//#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 };
+
+//# sourceMappingURL=geometryAttemptStatus-5L_q6-9l.js.map

package/dist/geometryAttemptStatus-5L_q6-9l.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"geometryAttemptStatus-5L_q6-9l.js","names":[],"sources":["../src/validation/validateGeometryStateInput.ts","../src/validation/deriveGeometryCanvasFeedback.ts","../src/validation/gradingFingerprints.ts","../src/validation/getGeometryExerciseWarnings.ts","../src/validation/exerciseLoad.ts","../src/validation/geometryAttemptStatus.ts"],"sourcesContent":["import type { EntityId } from '../geometry/entityModel'\nimport { entryOf } from '../geometry/entityRecord'\nimport {\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 an entity re-declaring a *pinned* given point is removed\n * on the way in, and no given at all survives in `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`. A *draggable*\n * given entity is kept: re-declaring one is how the student moves it.\n *\n * A dropped entity's `presentation` entry goes with it, both because a\n * leftover would make the normalized document fail the schema it just passed,\n * and because it would be saying something about an entity this document no\n * longer declares.\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 pinned re-declaration is.\n */\nfunction normalizedAgainstExercise(\n  geometry: GeometryState,\n  exercise: GeometryExercise,\n): GeometryState {\n  const dropped = new Set<EntityId>()\n  for (const [id, definition] of Object.entries(geometry.entities)) {\n    const given = entryOf(exercise.entities, id)\n    // A mismatched kind is a genuine collision rather than a re-declaration,\n    // and it is refused below rather than silently tidied away here.\n    if (!given || given.kind !== 'point' || definition.kind !== 'point') continue\n    if (!exercise.draggableEntityIds.includes(id)) dropped.add(id)\n  }\n  const answerEntityIds = geometry.answerEntityIds.filter(\n    (id) => !Object.prototype.hasOwnProperty.call(exercise.entities, id),\n  )\n  if (dropped.size === 0 && answerEntityIds.length === geometry.answerEntityIds.length) {\n    return geometry\n  }\n\n  const keep = <T>(record: Record<EntityId, T>): Record<EntityId, T> =>\n    Object.fromEntries(Object.entries(record).filter(([id]) => !dropped.has(id)))\n  return {\n    ...geometry,\n    entities: keep(geometry.entities),\n    presentation: keep(geometry.presentation),\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, unless both declare it as a point.\n    // `buildGeometryContext()` reports these as `duplicate-id` and then\n    // 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.entities)) {\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 type { GeometryExercise } from '../schemas/exercise.schema'\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. Today that is one rule:\n * a given placed where the viewport cannot show it.\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  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","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"],"mappings":";;;AAuCA,SAAS,EACP,GACA,GACe;CACf,IAAM,oBAAU,IAAI,IAAc;CAClC,KAAK,IAAM,CAAC,GAAI,MAAe,OAAO,QAAQ,EAAS,QAAQ,GAAG;EAChE,IAAM,IAAQ,EAAQ,EAAS,UAAU,CAAE;EAGvC,CAAC,KAAS,EAAM,SAAS,WAAW,EAAW,SAAS,WACvD,EAAS,mBAAmB,SAAS,CAAE,KAAG,EAAQ,IAAI,CAAE;CAC/D;CACA,IAAM,IAAkB,EAAS,gBAAgB,QAC9C,MAAO,CAAC,OAAO,UAAU,eAAe,KAAK,EAAS,UAAU,CAAE,CACrE;CACA,IAAI,EAAQ,SAAS,KAAK,EAAgB,WAAW,EAAS,gBAAgB,QAC5E,OAAO;CAGT,IAAM,KAAW,MACf,OAAO,YAAY,OAAO,QAAQ,CAAM,CAAC,CAAC,QAAQ,CAAC,OAAQ,CAAC,EAAQ,IAAI,CAAE,CAAC,CAAC;CAC9E,OAAO;EACL,GAAG;EACH,UAAU,EAAK,EAAS,QAAQ;EAChC,cAAc,EAAK,EAAS,YAAY;EACxC;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,EAAS,QAAQ,GACxE,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;;;AClKA,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;;;AC7CA,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;CACA,OAAO;AACT;;;ACUA,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;;;AChFA,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"}

package/dist/geometryAttemptStatus-N_XHIkiS.cjs

@@ -0,0 +1,2 @@
+const e=require("./geometryState.schema-DKQ-durx.cjs"),t=require("./exercise.schema-BV2b7rtN.cjs");function n(t,n){let r=new Set;for(let[i,a]of Object.entries(t.entities)){let t=e.O(n.entities,i);!t||t.kind!==`point`||a.kind!==`point`||n.draggableEntityIds.includes(i)||r.add(i)}let i=t.answerEntityIds.filter(e=>!Object.prototype.hasOwnProperty.call(n.entities,e));if(r.size===0&&i.length===t.answerEntityIds.length)return t;let a=e=>Object.fromEntries(Object.entries(e).filter(([e])=>!r.has(e)));return{...t,entities:a(t.entities),presentation:a(t.presentation),answerEntityIds:i}}function r(t,r){let i=e.i(t);if(!i.success)return{success:!1,data:null,errors:[{path:[`schemaVersion`],message:i.message}]};let a=e.n.safeParse(i.data);if(!a.success)return{success:!1,data:null,errors:a.error.issues.map(e=>({path:e.path.map(e=>typeof e==`symbol`?e.toString():e),message:e.message}))};let o=[],s=a.data;if(r){s=n(s,r);for(let t of e.x(s,r.entities))o.push(t);for(let t of e.S(s,r.entities))o.push(t);for(let[e,t]of Object.entries(s.entities))t.kind!==`point`&&(r.allowedObjects.includes(t.kind)||o.push({path:[`entities`,e],message:`${t.kind} is not allowed by this exercise`}))}return o.length>0?{success:!1,data:null,errors:o}:{success:!0,data:s,errors:[]}}function i(e,t){try{return r(JSON.parse(e),t)}catch(e){return{success:!1,data:null,errors:[{path:[],message:e instanceof Error?e.message:`Invalid JSON syntax`}]}}}function a(e){return JSON.stringify(e)}function o(t,n,r){let i=t?.goals.find(e=>e.id===r);if(!i)return{constructions:{},points:{}};let a=Object.fromEntries(i.constructionIds.map(e=>[e,i.status])),o=new Set(i.pointIds);for(let[t,r]of Object.entries(n.entities))if(r.kind!==`point`&&e.O(a,t))for(let t of e.F(r))o.add(t);return{constructions:a,points:Object.fromEntries([...o].map(e=>[e,i.status]))}}function s(e){if(Array.isArray(e))return`[${e.map(e=>e===void 0?`null`:s(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)}:${s(t[e])}`).join(`,`)}}`}return JSON.stringify(e)}function c(e){let t=3735928559,n=1103547991;for(let r=0;r<e.length;r++){let i=e.charCodeAt(r);t=Math.imul(t^i,2654435761),n=Math.imul(n^i,1597334677)}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 l(t){return c(s(e.u(t)))}function u(e){return c(s(e))}function d(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;let{x:e,y:c}=s.at;e>=t&&e<=r&&c>=n&&c<=i||a.push({path:[`entities`,o],message:`point ${o} is outside the viewport`})}return a}function f(e){return e.map(e=>typeof e==`symbol`?e.description??e.toString():e)}function p(n){let r=t.o(n);if(!r.success)return{success:!1,errors:[{path:[`schemaVersion`],message:r.message}]};let i=r.data,a=t.i.safeParse(e.u(i));return a.success?{success:!0,data:a.data,solution:i.solution,warnings:d(a.data)}:{success:!1,errors:a.error.issues.map(e=>({path:f(e.path),message:e.message}))}}function m(e,t){let n=r(e,t);return n.success?n:{...n,errors:n.errors.map(e=>({...e,path:[`solution`,...e.path]}))}}function h(){return{schemaVersion:2,entities:{},presentation:{},answerEntityIds:[]}}function g(e){let t=r(e);return t.success&&Object.keys(t.data.entities).length>0}Object.defineProperty(exports,"a",{enumerable:!0,get:function(){return d}}),Object.defineProperty(exports,"c",{enumerable:!0,get:function(){return o}}),Object.defineProperty(exports,"d",{enumerable:!0,get:function(){return i}}),Object.defineProperty(exports,"i",{enumerable:!0,get:function(){return m}}),Object.defineProperty(exports,"l",{enumerable:!0,get:function(){return a}}),Object.defineProperty(exports,"n",{enumerable:!0,get:function(){return g}}),Object.defineProperty(exports,"o",{enumerable:!0,get:function(){return u}}),Object.defineProperty(exports,"r",{enumerable:!0,get:function(){return p}}),Object.defineProperty(exports,"s",{enumerable:!0,get:function(){return l}}),Object.defineProperty(exports,"t",{enumerable:!0,get:function(){return h}}),Object.defineProperty(exports,"u",{enumerable:!0,get:function(){return r}});
+//# sourceMappingURL=geometryAttemptStatus-N_XHIkiS.cjs.map

package/dist/geometryAttemptStatus-N_XHIkiS.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"geometryAttemptStatus-N_XHIkiS.cjs","names":[],"sources":["../src/validation/validateGeometryStateInput.ts","../src/validation/deriveGeometryCanvasFeedback.ts","../src/validation/gradingFingerprints.ts","../src/validation/getGeometryExerciseWarnings.ts","../src/validation/exerciseLoad.ts","../src/validation/geometryAttemptStatus.ts"],"sourcesContent":["import type { EntityId } from '../geometry/entityModel'\nimport { entryOf } from '../geometry/entityRecord'\nimport {\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 an entity re-declaring a *pinned* given point is removed\n * on the way in, and no given at all survives in `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`. A *draggable*\n * given entity is kept: re-declaring one is how the student moves it.\n *\n * A dropped entity's `presentation` entry goes with it, both because a\n * leftover would make the normalized document fail the schema it just passed,\n * and because it would be saying something about an entity this document no\n * longer declares.\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 pinned re-declaration is.\n */\nfunction normalizedAgainstExercise(\n  geometry: GeometryState,\n  exercise: GeometryExercise,\n): GeometryState {\n  const dropped = new Set<EntityId>()\n  for (const [id, definition] of Object.entries(geometry.entities)) {\n    const given = entryOf(exercise.entities, id)\n    // A mismatched kind is a genuine collision rather than a re-declaration,\n    // and it is refused below rather than silently tidied away here.\n    if (!given || given.kind !== 'point' || definition.kind !== 'point') continue\n    if (!exercise.draggableEntityIds.includes(id)) dropped.add(id)\n  }\n  const answerEntityIds = geometry.answerEntityIds.filter(\n    (id) => !Object.prototype.hasOwnProperty.call(exercise.entities, id),\n  )\n  if (dropped.size === 0 && answerEntityIds.length === geometry.answerEntityIds.length) {\n    return geometry\n  }\n\n  const keep = <T>(record: Record<EntityId, T>): Record<EntityId, T> =>\n    Object.fromEntries(Object.entries(record).filter(([id]) => !dropped.has(id)))\n  return {\n    ...geometry,\n    entities: keep(geometry.entities),\n    presentation: keep(geometry.presentation),\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, unless both declare it as a point.\n    // `buildGeometryContext()` reports these as `duplicate-id` and then\n    // 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.entities)) {\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 type { GeometryExercise } from '../schemas/exercise.schema'\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. Today that is one rule:\n * a given placed where the viewport cannot show it.\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  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","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"],"mappings":"mGAuCA,SAAS,EACP,EACA,EACe,CACf,IAAM,EAAU,IAAI,IACpB,IAAK,GAAM,CAAC,EAAI,KAAe,OAAO,QAAQ,EAAS,QAAQ,EAAG,CAChE,IAAM,EAAQ,EAAA,EAAQ,EAAS,SAAU,CAAE,EAGvC,CAAC,GAAS,EAAM,OAAS,SAAW,EAAW,OAAS,SACvD,EAAS,mBAAmB,SAAS,CAAE,GAAG,EAAQ,IAAI,CAAE,CAC/D,CACA,IAAM,EAAkB,EAAS,gBAAgB,OAC9C,GAAO,CAAC,OAAO,UAAU,eAAe,KAAK,EAAS,SAAU,CAAE,CACrE,EACA,GAAI,EAAQ,OAAS,GAAK,EAAgB,SAAW,EAAS,gBAAgB,OAC5E,OAAO,EAGT,IAAM,EAAW,GACf,OAAO,YAAY,OAAO,QAAQ,CAAM,CAAC,CAAC,QAAQ,CAAC,KAAQ,CAAC,EAAQ,IAAI,CAAE,CAAC,CAAC,EAC9E,MAAO,CACL,GAAG,EACH,SAAU,EAAK,EAAS,QAAQ,EAChC,aAAc,EAAK,EAAS,YAAY,EACxC,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,EAAS,QAAQ,EACxE,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,CClKA,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,CC7CA,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,CACA,OAAO,CACT,CCUA,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,CChFA,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"}