@mathscan/geometry-engine 0.1.0

package/dist/geometry/entityModel.d.cts

@@ -0,0 +1,139 @@
+import { Point } from './point.cjs';
+import { MeasuredObject } from '../measure/geometryAdapter.cjs';
+export type EntityId = string;
+export type EntityKind = 'point' | 'segment' | 'line' | 'circle';
+export interface FreeOrigin {
+    at: Point;
+}
+export interface OnEntityOrigin {
+    on: EntityId;
+    t: number;
+}
+export interface IntersectionOrigin {
+    intersectionOf: readonly [EntityId, EntityId];
+    which?: 0 | 1;
+}
+export type ConstructionOrigin = FreeOrigin | OnEntityOrigin | IntersectionOrigin;
+export type FreePointDefinition = {
+    kind: 'point';
+} & FreeOrigin;
+export type OnEntityPointDefinition = {
+    kind: 'point';
+} & OnEntityOrigin;
+export type IntersectionPointDefinition = {
+    kind: 'point';
+} & IntersectionOrigin;
+export type PointDefinition = FreePointDefinition | OnEntityPointDefinition | IntersectionPointDefinition;
+export interface SegmentDefinition {
+    kind: 'segment';
+    parents: readonly [EntityId, EntityId];
+}
+export interface LineDefinition {
+    kind: 'line';
+    parents: readonly [EntityId, EntityId];
+}
+export interface CircleDefinition {
+    kind: 'circle';
+    parents: readonly [EntityId, EntityId];
+}
+export type EntityDefinition = PointDefinition | SegmentDefinition | LineDefinition | CircleDefinition;
+export type EntityDefinitionOf<K extends EntityKind> = Extract<EntityDefinition, {
+    kind: K;
+}>;
+export interface ResolvedPoint {
+    kind: 'point';
+    at: Point;
+}
+export interface ResolvedSegment {
+    kind: 'segment';
+    from: Point;
+    to: Point;
+}
+export interface ResolvedLine {
+    kind: 'line';
+    through: readonly [Point, Point];
+}
+export interface ResolvedCircle {
+    kind: 'circle';
+    center: Point;
+    radius: number;
+}
+export type ResolvedEntity = ResolvedPoint | ResolvedSegment | ResolvedLine | ResolvedCircle;
+export type ResolvedEntityOf<K extends EntityKind> = Extract<ResolvedEntity, {
+    kind: K;
+}>;
+export type ShapeDescriptor = {
+    shape: 'point';
+    at: Point;
+} | {
+    shape: 'segment';
+    from: Point;
+    to: Point;
+} | {
+    shape: 'line';
+    through: readonly [Point, Point];
+} | {
+    shape: 'circle';
+    center: Point;
+    radius: number;
+};
+export type EntityRole = 'implicit' | 'explicit';
+export interface EntityPresentation {
+    role: EntityRole;
+    label?: string;
+}
+export interface EntityCapabilities {
+    rendered: boolean;
+    selectable: boolean;
+    snapTarget: boolean;
+}
+export interface EvaluationIssueLocation {
+    path?: string;
+}
+export type EvaluationIssue = EvaluationIssueLocation & ({
+    entityId: EntityId;
+    reason: 'cycle';
+    cycle: readonly EntityId[];
+} | {
+    entityId: EntityId;
+    reason: 'missing-parent';
+    parentId: EntityId;
+} | {
+    entityId: EntityId;
+    reason: 'degenerate';
+} | {
+    entityId: EntityId;
+    reason: 'out-of-domain';
+} | {
+    entityId: EntityId;
+    reason: 'duplicate-id';
+});
+export interface Evaluation {
+    readonly resolved: ReadonlyMap<EntityId, ResolvedEntity>;
+    readonly issues: readonly EvaluationIssue[];
+}
+export interface EntityOperations<D extends EntityDefinition = EntityDefinition, R extends ResolvedEntity = ResolvedEntity> {
+    readonly kind: D['kind'];
+    parents(definition: D): readonly EntityId[];
+    resolve(definition: D, parents: readonly ResolvedEntity[]): R | null;
+    toShape(resolved: R): ShapeDescriptor;
+    toMeasured(resolved: R): MeasuredObject | null;
+    distanceTo(resolved: R, at: Point): number;
+    readonly hitPriority: number;
+    identityKey(definition: D): string;
+    describe(definition: D, nameOf: (id: EntityId) => string): string;
+    parameterAt?(resolved: R, at: Point): number;
+}
+export type EntityRegistry = {
+    readonly [K in EntityKind]: EntityOperations<EntityDefinitionOf<K>, ResolvedEntityOf<K>>;
+};
+export interface GeometryContext {
+    readonly entityIds: readonly EntityId[];
+    readonly issues: readonly EvaluationIssue[];
+    definitionOf(id: EntityId): EntityDefinition | undefined;
+    resolvedOf(id: EntityId): ResolvedEntity | undefined;
+    shapeOf(id: EntityId): ShapeDescriptor | undefined;
+    presentationOf(id: EntityId): EntityPresentation;
+    isGiven(id: EntityId): boolean;
+    dependentsOf(id: EntityId): readonly EntityId[];
+}

package/dist/geometry/entityModel.d.ts

@@ -0,0 +1,140 @@
+import { Point } from './point.js';
+import { MeasuredObject } from '../measure/geometryAdapter.js';
+export type EntityId = string;
+export type EntityKind = 'point' | 'segment' | 'line' | 'circle';
+export interface FreeOrigin {
+    at: Point;
+}
+export interface OnEntityOrigin {
+    on: EntityId;
+    t: number;
+}
+export interface IntersectionOrigin {
+    intersectionOf: readonly [EntityId, EntityId];
+    which?: 0 | 1;
+}
+export type ConstructionOrigin = FreeOrigin | OnEntityOrigin | IntersectionOrigin;
+export type FreePointDefinition = {
+    kind: 'point';
+} & FreeOrigin;
+export type OnEntityPointDefinition = {
+    kind: 'point';
+} & OnEntityOrigin;
+export type IntersectionPointDefinition = {
+    kind: 'point';
+} & IntersectionOrigin;
+export type PointDefinition = FreePointDefinition | OnEntityPointDefinition | IntersectionPointDefinition;
+export interface SegmentDefinition {
+    kind: 'segment';
+    parents: readonly [EntityId, EntityId];
+}
+export interface LineDefinition {
+    kind: 'line';
+    parents: readonly [EntityId, EntityId];
+}
+export interface CircleDefinition {
+    kind: 'circle';
+    parents: readonly [EntityId, EntityId];
+}
+export type EntityDefinition = PointDefinition | SegmentDefinition | LineDefinition | CircleDefinition;
+export type EntityDefinitionOf<K extends EntityKind> = Extract<EntityDefinition, {
+    kind: K;
+}>;
+export interface ResolvedPoint {
+    kind: 'point';
+    at: Point;
+}
+export interface ResolvedSegment {
+    kind: 'segment';
+    from: Point;
+    to: Point;
+}
+export interface ResolvedLine {
+    kind: 'line';
+    through: readonly [Point, Point];
+}
+export interface ResolvedCircle {
+    kind: 'circle';
+    center: Point;
+    radius: number;
+}
+export type ResolvedEntity = ResolvedPoint | ResolvedSegment | ResolvedLine | ResolvedCircle;
+export type ResolvedEntityOf<K extends EntityKind> = Extract<ResolvedEntity, {
+    kind: K;
+}>;
+export type ShapeDescriptor = {
+    shape: 'point';
+    at: Point;
+} | {
+    shape: 'segment';
+    from: Point;
+    to: Point;
+} | {
+    shape: 'line';
+    through: readonly [Point, Point];
+} | {
+    shape: 'circle';
+    center: Point;
+    radius: number;
+};
+export type EntityRole = 'implicit' | 'explicit';
+export interface EntityPresentation {
+    role: EntityRole;
+    label?: string;
+}
+export interface EntityCapabilities {
+    rendered: boolean;
+    selectable: boolean;
+    snapTarget: boolean;
+}
+export interface EvaluationIssueLocation {
+    path?: string;
+}
+export type EvaluationIssue = EvaluationIssueLocation & ({
+    entityId: EntityId;
+    reason: 'cycle';
+    cycle: readonly EntityId[];
+} | {
+    entityId: EntityId;
+    reason: 'missing-parent';
+    parentId: EntityId;
+} | {
+    entityId: EntityId;
+    reason: 'degenerate';
+} | {
+    entityId: EntityId;
+    reason: 'out-of-domain';
+} | {
+    entityId: EntityId;
+    reason: 'duplicate-id';
+});
+export interface Evaluation {
+    readonly resolved: ReadonlyMap<EntityId, ResolvedEntity>;
+    readonly issues: readonly EvaluationIssue[];
+}
+export interface EntityOperations<D extends EntityDefinition = EntityDefinition, R extends ResolvedEntity = ResolvedEntity> {
+    readonly kind: D['kind'];
+    parents(definition: D): readonly EntityId[];
+    resolve(definition: D, parents: readonly ResolvedEntity[]): R | null;
+    toShape(resolved: R): ShapeDescriptor;
+    toMeasured(resolved: R): MeasuredObject | null;
+    distanceTo(resolved: R, at: Point): number;
+    readonly hitPriority: number;
+    identityKey(definition: D): string;
+    describe(definition: D, nameOf: (id: EntityId) => string): string;
+    parameterAt?(resolved: R, at: Point): number;
+}
+export type EntityRegistry = {
+    readonly [K in EntityKind]: EntityOperations<EntityDefinitionOf<K>, ResolvedEntityOf<K>>;
+};
+export interface GeometryContext {
+    readonly entityIds: readonly EntityId[];
+    readonly issues: readonly EvaluationIssue[];
+    definitionOf(id: EntityId): EntityDefinition | undefined;
+    resolvedOf(id: EntityId): ResolvedEntity | undefined;
+    shapeOf(id: EntityId): ShapeDescriptor | undefined;
+    presentationOf(id: EntityId): EntityPresentation;
+    isGiven(id: EntityId): boolean;
+    dependentsOf(id: EntityId): readonly EntityId[];
+}
+//# sourceMappingURL=entityModel.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entityModel.d.ts","sourceRoot":"","sources":["../../src/geometry/entityModel.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AACpC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAEhE,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAA;AAa7B,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,CAAA;AAgBhE,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,KAAK,CAAA;CACV;AAYD,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,QAAQ,CAAA;IACZ,CAAC,EAAE,MAAM,CAAA;CACV;AAMD,MAAM,WAAW,kBAAkB;IACjC,cAAc,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC7C,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;CACd;AAED,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG,cAAc,GAAG,kBAAkB,CAAA;AAcjF,MAAM,MAAM,mBAAmB,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,UAAU,CAAA;AAChE,MAAM,MAAM,uBAAuB,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,cAAc,CAAA;AACxE,MAAM,MAAM,2BAA2B,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,kBAAkB,CAAA;AAEhF,MAAM,MAAM,eAAe,GACzB,mBAAmB,GAAG,uBAAuB,GAAG,2BAA2B,CAAA;AAE7E,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,SAAS,CAAA;IACf,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CACvC;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CACvC;AAOD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAA;IACd,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CACvC;AAED,MAAM,MAAM,gBAAgB,GAC1B,eAAe,GAAG,iBAAiB,GAAG,cAAc,GAAG,gBAAgB,CAAA;AAEzE,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAAC,gBAAgB,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAS7F,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,KAAK,CAAA;CACV;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,KAAK,CAAA;IACX,EAAE,EAAE,KAAK,CAAA;CACV;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;CACjC;AAMD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,QAAQ,CAAA;IACd,MAAM,EAAE,KAAK,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,MAAM,cAAc,GAAG,aAAa,GAAG,eAAe,GAAG,YAAY,GAAG,cAAc,CAAA;AAE5F,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAYzF,MAAM,MAAM,eAAe,GACvB;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GAC7B;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GAC5C;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;CAAE,GACnD;IAAE,KAAK,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAUtD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,UAAU,CAAA;AAEhD,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,UAAU,CAAA;IAEhB,KAAK,CAAC,EAAE,MAAM,CAAA;CACf;AAYD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,OAAO,CAAA;IACjB,UAAU,EAAE,OAAO,CAAA;IACnB,UAAU,EAAE,OAAO,CAAA;CACpB;AA2BD,MAAM,WAAW,uBAAuB;IAGtC,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED,MAAM,MAAM,eAAe,GAAG,uBAAuB,GACnD,CACI;IAAE,QAAQ,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,GACnE;IAAE,QAAQ,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAEpE;IAAE,QAAQ,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAE5C;IAAE,QAAQ,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,eAAe,CAAA;CAAE,GAI/C;IAAE,QAAQ,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,cAAc,CAAA;CAAE,CACjD,CAAA;AAEH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;IACxD,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAA;CAC5C;AASD,MAAM,WAAW,gBAAgB,CAC/B,CAAC,SAAS,gBAAgB,GAAG,gBAAgB,EAC7C,CAAC,SAAS,cAAc,GAAG,cAAc;IAEzC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IAIxB,OAAO,CAAC,UAAU,EAAE,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAA;IAK3C,OAAO,CAAC,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,cAAc,EAAE,GAAG,CAAC,GAAG,IAAI,CAAA;IAMpE,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,eAAe,CAAA;IACrC,UAAU,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAc,GAAG,IAAI,CAAA;IAI9C,UAAU,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,GAAG,MAAM,CAAA;IAO1C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAM5B,WAAW,CAAC,UAAU,EAAE,CAAC,GAAG,MAAM,CAAA;IAalC,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,GAAG,MAAM,CAAA;IAKjE,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,GAAG,MAAM,CAAA;CAC7C;AAOD,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,EAAE,CAAC,IAAI,UAAU,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC;CACzF,CAAA;AAaD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAA;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAA;IAE3C,YAAY,CAAC,EAAE,EAAE,QAAQ,GAAG,gBAAgB,GAAG,SAAS,CAAA;IACxD,UAAU,CAAC,EAAE,EAAE,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAA;IACpD,OAAO,CAAC,EAAE,EAAE,QAAQ,GAAG,eAAe,GAAG,SAAS,CAAA;IAGlD,cAAc,CAAC,EAAE,EAAE,QAAQ,GAAG,kBAAkB,CAAA;IAChD,OAAO,CAAC,EAAE,EAAE,QAAQ,GAAG,OAAO,CAAA;IAK9B,YAAY,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,QAAQ,EAAE,CAAA;CAChD"}

package/dist/geometry/entityRecord.d.cts

@@ -0,0 +1,27 @@
+import { EntityId } from './entityModel.cjs';
+/**
+ * The one id a record cannot carry, and therefore the one the parse boundary
+ * and the migration steps refuse.
+ */
+export declare const unstorableEntityId = "__proto__";
+export declare function isUnstorableEntityId(id: string): boolean;
+/** The message every refusal of it uses, so the two boundaries agree. */
+export declare function unstorableEntityIdMessage(id: string): string;
+/**
+ * A record entry, read as a declaration rather than as a property.
+ *
+ * The `undefined` this returns for an undeclared id is what the callers already
+ * expect under `noUncheckedIndexedAccess`; the difference is that they now get
+ * it for `constructor` too.
+ */
+export declare function entryOf<T>(record: Record<EntityId, T>, id: EntityId): T | undefined;
+/**
+ * An accumulator for a record being built from untrusted input.
+ *
+ * Null-prototype, so nothing inherited can be mistaken for an entry while the
+ * record is being filled and so `__proto__` would be stored rather than
+ * swallowed — the migration steps refuse that key outright, and this is what
+ * makes the refusal a decision instead of a description of what the literal
+ * would have done anyway.
+ */
+export declare function emptyEntityRecord<T>(): Record<EntityId, T>;

package/dist/geometry/entityRecord.d.ts

@@ -0,0 +1,28 @@
+import { EntityId } from './entityModel.js';
+/**
+ * The one id a record cannot carry, and therefore the one the parse boundary
+ * and the migration steps refuse.
+ */
+export declare const unstorableEntityId = "__proto__";
+export declare function isUnstorableEntityId(id: string): boolean;
+/** The message every refusal of it uses, so the two boundaries agree. */
+export declare function unstorableEntityIdMessage(id: string): string;
+/**
+ * A record entry, read as a declaration rather than as a property.
+ *
+ * The `undefined` this returns for an undeclared id is what the callers already
+ * expect under `noUncheckedIndexedAccess`; the difference is that they now get
+ * it for `constructor` too.
+ */
+export declare function entryOf<T>(record: Record<EntityId, T>, id: EntityId): T | undefined;
+/**
+ * An accumulator for a record being built from untrusted input.
+ *
+ * Null-prototype, so nothing inherited can be mistaken for an entry while the
+ * record is being filled and so `__proto__` would be stored rather than
+ * swallowed — the migration steps refuse that key outright, and this is what
+ * makes the refusal a decision instead of a description of what the literal
+ * would have done anyway.
+ */
+export declare function emptyEntityRecord<T>(): Record<EntityId, T>;
+//# sourceMappingURL=entityRecord.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entityRecord.d.ts","sourceRoot":"","sources":["../../src/geometry/entityRecord.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAE7C;;;GAGG;AACH,eAAO,MAAM,kBAAkB,cAAc,CAAA;AAE7C,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAExD;AAED,yEAAyE;AACzE,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,GAAG,CAAC,GAAG,SAAS,CAEnF;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAE1D"}

package/dist/geometry/evaluateGraph.d.cts

@@ -0,0 +1,37 @@
+import { EntityDefinition, EntityId, Evaluation, EvaluationIssue, ResolvedEntity } from './entityModel.cjs';
+/**
+ * Where definitions come from. A `GeometryContext` implements this over two v1
+ * documents; a test implements it over a `Map`.
+ *
+ * `definitionOf` returning `undefined` is what "nothing declares that id" means,
+ * and it is the only thing the walk treats as a missing parent — a parent that
+ * exists but cannot be used is a degenerate construction, not a missing one.
+ */
+export interface GraphSource {
+    definitionOf(id: EntityId): EntityDefinition | undefined;
+    pathOf?(id: EntityId): string | undefined;
+}
+/**
+ * A memoized walk over one source. Resolution is lazy — a caller drives it by
+ * asking — and every answer is cached, including a failure, so evaluation is
+ * linear in the graph's edges rather than exponential on a diamond.
+ *
+ * An evaluator is single-use and holds the results of its own walk. It is not a
+ * cache across scenes: the context builds one per snapshot, because a cache
+ * keyed on document identity would make every benchmark measure a cache hit.
+ */
+export interface GraphEvaluator {
+    readonly resolve: (id: EntityId) => ResolvedEntity | null;
+    readonly resolved: ReadonlyMap<EntityId, ResolvedEntity>;
+    readonly issues: readonly EvaluationIssue[];
+}
+export declare function createGraphEvaluator(source: GraphSource): GraphEvaluator;
+/**
+ * The whole graph at once — RFC 0001's `evaluate()`, and the entry point for a
+ * caller holding definitions rather than documents.
+ *
+ * Deterministic and free of any environment: the same map produces the same
+ * resolved scene and the same issues in a browser and in bare Node, because the
+ * only inputs are the definitions and the only order is the map's own.
+ */
+export declare function evaluateGraph(definitions: ReadonlyMap<EntityId, EntityDefinition>): Evaluation;

package/dist/geometry/evaluateGraph.d.ts

@@ -0,0 +1,38 @@
+import { EntityDefinition, EntityId, Evaluation, EvaluationIssue, ResolvedEntity } from './entityModel.js';
+/**
+ * Where definitions come from. A `GeometryContext` implements this over two v1
+ * documents; a test implements it over a `Map`.
+ *
+ * `definitionOf` returning `undefined` is what "nothing declares that id" means,
+ * and it is the only thing the walk treats as a missing parent — a parent that
+ * exists but cannot be used is a degenerate construction, not a missing one.
+ */
+export interface GraphSource {
+    definitionOf(id: EntityId): EntityDefinition | undefined;
+    pathOf?(id: EntityId): string | undefined;
+}
+/**
+ * A memoized walk over one source. Resolution is lazy — a caller drives it by
+ * asking — and every answer is cached, including a failure, so evaluation is
+ * linear in the graph's edges rather than exponential on a diamond.
+ *
+ * An evaluator is single-use and holds the results of its own walk. It is not a
+ * cache across scenes: the context builds one per snapshot, because a cache
+ * keyed on document identity would make every benchmark measure a cache hit.
+ */
+export interface GraphEvaluator {
+    readonly resolve: (id: EntityId) => ResolvedEntity | null;
+    readonly resolved: ReadonlyMap<EntityId, ResolvedEntity>;
+    readonly issues: readonly EvaluationIssue[];
+}
+export declare function createGraphEvaluator(source: GraphSource): GraphEvaluator;
+/**
+ * The whole graph at once — RFC 0001's `evaluate()`, and the entry point for a
+ * caller holding definitions rather than documents.
+ *
+ * Deterministic and free of any environment: the same map produces the same
+ * resolved scene and the same issues in a browser and in bare Node, because the
+ * only inputs are the definitions and the only order is the map's own.
+ */
+export declare function evaluateGraph(definitions: ReadonlyMap<EntityId, EntityDefinition>): Evaluation;
+//# sourceMappingURL=evaluateGraph.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evaluateGraph.d.ts","sourceRoot":"","sources":["../../src/geometry/evaluateGraph.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EACV,gBAAgB,EAChB,QAAQ,EACR,UAAU,EACV,eAAe,EACf,cAAc,EACf,MAAM,eAAe,CAAA;AAKtB;;;;;;;GAOG;AACH,MAAM,WAAW,WAAW;IAC1B,YAAY,CAAC,EAAE,EAAE,QAAQ,GAAG,gBAAgB,GAAG,SAAS,CAAA;IAIxD,MAAM,CAAC,CAAC,EAAE,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAA;CAC1C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAG7B,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,cAAc,GAAG,IAAI,CAAA;IAIzD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;IAGxD,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAA;CAC5C;AAoBD,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,WAAW,GAAG,cAAc,CAuFxE;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GAAG,UAAU,CAI9F"}

package/dist/geometry/geometryObject.d.cts

@@ -0,0 +1,4 @@
+import { PointId } from './point.cjs';
+import { GeometryObject } from '../schemas/geometryObject.schema.cjs';
+export type { GeometryObject } from '../schemas/geometryObject.schema.cjs';
+export declare function endpointsOf(object: GeometryObject): [PointId, PointId];

package/dist/geometry/geometryObject.d.ts

@@ -0,0 +1,5 @@
+import { PointId } from './point.js';
+import { GeometryObject } from '../schemas/geometryObject.schema.js';
+export type { GeometryObject } from '../schemas/geometryObject.schema.js';
+export declare function endpointsOf(object: GeometryObject): [PointId, PointId];
+//# sourceMappingURL=geometryObject.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"geometryObject.d.ts","sourceRoot":"","sources":["../../src/geometry/geometryObject.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAGtC,YAAY,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AAgBtE,wBAAgB,WAAW,CAAC,MAAM,EAAE,cAAc,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAOtE"}

package/dist/geometry/goalCandidate.d.cts

@@ -0,0 +1,8 @@
+import { PointDefinition } from './entityModel.cjs';
+import { SceneEntity } from './hitTest.cjs';
+export type GoalCandidate = SceneEntity;
+/** A candidate that is a point — the only narrowing a handler asks for. */
+export type CandidatePoint = GoalCandidate & {
+    definition: PointDefinition;
+};
+export declare function isCandidatePoint(candidate: GoalCandidate): candidate is CandidatePoint;

package/dist/geometry/goalCandidate.d.ts

@@ -0,0 +1,9 @@
+import { PointDefinition } from './entityModel.js';
+import { SceneEntity } from './hitTest.js';
+export type GoalCandidate = SceneEntity;
+/** A candidate that is a point — the only narrowing a handler asks for. */
+export type CandidatePoint = GoalCandidate & {
+    definition: PointDefinition;
+};
+export declare function isCandidatePoint(candidate: GoalCandidate): candidate is CandidatePoint;
+//# sourceMappingURL=goalCandidate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"goalCandidate.d.ts","sourceRoot":"","sources":["../../src/geometry/goalCandidate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAa5C,MAAM,MAAM,aAAa,GAAG,WAAW,CAAA;AAEvC,2EAA2E;AAC3E,MAAM,MAAM,cAAc,GAAG,aAAa,GAAG;IAAE,UAAU,EAAE,eAAe,CAAA;CAAE,CAAA;AAE5E,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,aAAa,GAAG,SAAS,IAAI,cAAc,CAEtF"}

package/dist/geometry/hitTest.d.cts

@@ -0,0 +1,23 @@
+import { EntityDefinition, EntityId, EntityKind } from './entityModel.cjs';
+import { Point, PointId } from './point.cjs';
+export type HitTestType = EntityKind;
+export interface HitTestResult {
+    id: string;
+    type: HitTestType;
+    distance: number;
+}
+export interface SceneEntity {
+    id: EntityId;
+    definition: EntityDefinition;
+}
+export interface HitTestGeometry {
+    points: ReadonlyMap<PointId, Point>;
+    objects: readonly SceneEntity[];
+}
+export interface HitTestOptions {
+    exclude?: readonly string[];
+    types?: readonly HitTestType[];
+    accepts?: (id: EntityId) => boolean;
+}
+export declare function hitTest(at: Point, geometry: HitTestGeometry, tolerance: number, options?: HitTestOptions): HitTestResult[];
+export declare function firstHit(at: Point, geometry: HitTestGeometry, tolerance: number, options?: HitTestOptions): HitTestResult | null;

package/dist/geometry/hitTest.d.ts

@@ -0,0 +1,24 @@
+import { EntityDefinition, EntityId, EntityKind } from './entityModel.js';
+import { Point, PointId } from './point.js';
+export type HitTestType = EntityKind;
+export interface HitTestResult {
+    id: string;
+    type: HitTestType;
+    distance: number;
+}
+export interface SceneEntity {
+    id: EntityId;
+    definition: EntityDefinition;
+}
+export interface HitTestGeometry {
+    points: ReadonlyMap<PointId, Point>;
+    objects: readonly SceneEntity[];
+}
+export interface HitTestOptions {
+    exclude?: readonly string[];
+    types?: readonly HitTestType[];
+    accepts?: (id: EntityId) => boolean;
+}
+export declare function hitTest(at: Point, geometry: HitTestGeometry, tolerance: number, options?: HitTestOptions): HitTestResult[];
+export declare function firstHit(at: Point, geometry: HitTestGeometry, tolerance: number, options?: HitTestOptions): HitTestResult | null;
+//# sourceMappingURL=hitTest.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hitTest.d.ts","sourceRoot":"","sources":["../../src/geometry/hitTest.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC3E,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAM7C,MAAM,MAAM,WAAW,GAAG,UAAU,CAAA;AAEpC,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,EAAE,MAAM,CAAA;CACjB;AAMD,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,QAAQ,CAAA;IACZ,UAAU,EAAE,gBAAgB,CAAA;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACnC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAA;CAChC;AAED,MAAM,WAAW,cAAc;IAG7B,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAE3B,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAA;IAK9B,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,OAAO,CAAA;CACpC;AAOD,wBAAgB,OAAO,CACrB,EAAE,EAAE,KAAK,EACT,QAAQ,EAAE,eAAe,EACzB,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,cAAmB,GAC3B,aAAa,EAAE,CA+BjB;AAID,wBAAgB,QAAQ,CACtB,EAAE,EAAE,KAAK,EACT,QAAQ,EAAE,eAAe,EACzB,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,cAAmB,GAC3B,aAAa,GAAG,IAAI,CAEtB"}

package/dist/geometry/point.d.cts

@@ -0,0 +1,5 @@
+import { Point } from '../schemas/point.schema.cjs';
+export type { Point, GivenPoint } from '../schemas/point.schema.cjs';
+export type PointId = string;
+export declare function distanceBetween(a: Point, b: Point): number;
+export declare function midpointOf(a: Point, b: Point): Point;

package/dist/geometry/point.d.ts

@@ -0,0 +1,6 @@
+import { Point } from '../schemas/point.schema.js';
+export type { Point, GivenPoint } from '../schemas/point.schema.js';
+export type PointId = string;
+export declare function distanceBetween(a: Point, b: Point): number;
+export declare function midpointOf(a: Point, b: Point): Point;
+//# sourceMappingURL=point.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"point.d.ts","sourceRoot":"","sources":["../../src/geometry/point.ts"],"names":[],"mappings":"AACA,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AAEpD,MAAM,MAAM,OAAO,GAAG,MAAM,CAAA;AAM5B,wBAAgB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,MAAM,CAE1D;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAEpD"}

package/dist/geometry/pointOrigin.d.cts

@@ -0,0 +1,5 @@
+import { FreePointOrigin, IntersectionPointOrigin, OnObjectPointOrigin, PointOrigin } from '../schemas/pointOrigin.schema.cjs';
+export type { PointOrigin, FreePointOrigin, OnObjectPointOrigin, IntersectionPointOrigin, } from '../schemas/pointOrigin.schema.cjs';
+export declare function isFreeOrigin(origin: PointOrigin): origin is FreePointOrigin;
+export declare function isOnObjectOrigin(origin: PointOrigin): origin is OnObjectPointOrigin;
+export declare function isIntersectionOrigin(origin: PointOrigin): origin is IntersectionPointOrigin;

package/dist/geometry/pointOrigin.d.ts

@@ -0,0 +1,6 @@
+import { FreePointOrigin, IntersectionPointOrigin, OnObjectPointOrigin, PointOrigin } from '../schemas/pointOrigin.schema.js';
+export type { PointOrigin, FreePointOrigin, OnObjectPointOrigin, IntersectionPointOrigin, } from '../schemas/pointOrigin.schema.js';
+export declare function isFreeOrigin(origin: PointOrigin): origin is FreePointOrigin;
+export declare function isOnObjectOrigin(origin: PointOrigin): origin is OnObjectPointOrigin;
+export declare function isIntersectionOrigin(origin: PointOrigin): origin is IntersectionPointOrigin;
+//# sourceMappingURL=pointOrigin.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pointOrigin.d.ts","sourceRoot":"","sources":["../../src/geometry/pointOrigin.ts"],"names":[],"mappings":"AAEA,YAAY,EACV,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,+BAA+B,CAAA;AACtC,OAAO,KAAK,EACV,eAAe,EACf,uBAAuB,EACvB,mBAAmB,EACnB,WAAW,EACZ,MAAM,+BAA+B,CAAA;AAEtC,wBAAgB,YAAY,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,IAAI,eAAe,CAE3E;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,IAAI,mBAAmB,CAEnF;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,IAAI,uBAAuB,CAE3F"}

package/dist/geometry/v1Bridge.d.cts

@@ -0,0 +1,41 @@
+import { EntityDefinition, PointDefinition, ResolvedEntity } from './entityModel.cjs';
+import { GeometryObject } from '../schemas/geometryObject.schema.cjs';
+import { GivenElement } from '../schemas/givenElement.schema.cjs';
+import { Point, PointId } from './point.cjs';
+import { PointOrigin } from './pointOrigin.cjs';
+/** The definition a stored v1 construction or given object stands for. */
+export declare function definitionOfObject(object: GeometryObject): EntityDefinition;
+/** The definition a stored v1 point origin stands for. */
+export declare function definitionOfOrigin(origin: PointOrigin): PointDefinition;
+/**
+ * The definition a stored v1 given stands for, point or object.
+ *
+ * A given point's coordinates are its origin, exactly as a free attempt point's
+ * are — v1 spells them as two fields on the given rather than as a `PointOrigin`,
+ * which is the only reason this is not `definitionOfOrigin()`. The v1 → v2
+ * exercise migration and the goal authoring rules both need it.
+ */
+export declare function definitionOfGiven(given: GivenElement): EntityDefinition;
+/**
+ * Every point a stored v1 object is built on, in declaration order — the
+ * general reference API `endpointsOf()` used to be.
+ *
+ * A caller that only asks *which points does this name* wants this: it stays
+ * correct for a kind that names one parent or three, where a pair does not.
+ */
+export declare function parentsOfObject(object: GeometryObject): readonly PointId[];
+/**
+ * The key deciding whether two stored v1 objects are the same construction —
+ * `${type}:${sorted endpoints}` as both `superRefine` blocks built inline,
+ * except that the sort is now the kind's own decision (RFC 0001 § Q9).
+ */
+export declare function identityKeyOfObject(object: GeometryObject): string;
+/**
+ * The resolved form of a v1 object, evaluated against points that have already
+ * been resolved for the scene it belongs to — `null` when it is not on screen.
+ *
+ * For the consumers that still hold a v1 object and a point map instead of a
+ * context; a caller holding an `IndexedGeometryContext` asks that, because its
+ * answers are cached and these are computed per call.
+ */
+export declare function resolvedOfObject(object: GeometryObject, points: ReadonlyMap<PointId, Point>): ResolvedEntity | null;

package/dist/geometry/v1Bridge.d.ts

@@ -0,0 +1,42 @@
+import { EntityDefinition, PointDefinition, ResolvedEntity } from './entityModel.js';
+import { GeometryObject } from '../schemas/geometryObject.schema.js';
+import { GivenElement } from '../schemas/givenElement.schema.js';
+import { Point, PointId } from './point.js';
+import { PointOrigin } from './pointOrigin.js';
+/** The definition a stored v1 construction or given object stands for. */
+export declare function definitionOfObject(object: GeometryObject): EntityDefinition;
+/** The definition a stored v1 point origin stands for. */
+export declare function definitionOfOrigin(origin: PointOrigin): PointDefinition;
+/**
+ * The definition a stored v1 given stands for, point or object.
+ *
+ * A given point's coordinates are its origin, exactly as a free attempt point's
+ * are — v1 spells them as two fields on the given rather than as a `PointOrigin`,
+ * which is the only reason this is not `definitionOfOrigin()`. The v1 → v2
+ * exercise migration and the goal authoring rules both need it.
+ */
+export declare function definitionOfGiven(given: GivenElement): EntityDefinition;
+/**
+ * Every point a stored v1 object is built on, in declaration order — the
+ * general reference API `endpointsOf()` used to be.
+ *
+ * A caller that only asks *which points does this name* wants this: it stays
+ * correct for a kind that names one parent or three, where a pair does not.
+ */
+export declare function parentsOfObject(object: GeometryObject): readonly PointId[];
+/**
+ * The key deciding whether two stored v1 objects are the same construction —
+ * `${type}:${sorted endpoints}` as both `superRefine` blocks built inline,
+ * except that the sort is now the kind's own decision (RFC 0001 § Q9).
+ */
+export declare function identityKeyOfObject(object: GeometryObject): string;
+/**
+ * The resolved form of a v1 object, evaluated against points that have already
+ * been resolved for the scene it belongs to — `null` when it is not on screen.
+ *
+ * For the consumers that still hold a v1 object and a point map instead of a
+ * context; a caller holding an `IndexedGeometryContext` asks that, because its
+ * answers are cached and these are computed per call.
+ */
+export declare function resolvedOfObject(object: GeometryObject, points: ReadonlyMap<PointId, Point>): ResolvedEntity | null;
+//# sourceMappingURL=v1Bridge.d.ts.map