@logic-pad/core 0.1.1 → 0.1.2

package/assets/logic-core.global.d.ts

@@ -6,140 +6,166 @@
 
 // noinspection JSUnusedGlobalSymbols
 declare global {
-  // Generated by dts-bundle v0.7.3
-  // Dependencies for this module:
-  //   ../../../zod
-  //   ../../../z3-solver
-  //   ../../../grilops
-  //   ../../../react-icons/md
+  // Generated by dts-bundle-generator v9.5.1
 
-  import { z } from 'zod';
-  import { Solver, Optimize } from 'z3-solver';
   import { RegionConstrainer, SymbolGrid } from 'grilops';
-  import { Optimize, Solver } from 'z3-solver';
-  import type Md from 'react-icons/md';
+  import { Optimize, Solver as Solver$1 } from 'z3-solver';
+  import { z } from 'zod';
 
-  export enum ConfigType {
-    Boolean = 'boolean',
-    NullableBoolean = 'nullableBoolean',
-    Number = 'number',
-    NullableNumber = 'nullableNumber',
-    String = 'string',
-    Color = 'color',
-    Comparison = 'comparison',
-    Direction = 'direction',
-    DirectionToggle = 'directionToggle',
-    Orientation = 'orientation',
-    OrientationToggle = 'orientationToggle',
-    Tile = 'tile',
-    Grid = 'grid',
-    NullableGrid = 'nullableGrid',
-    Icon = 'icon',
-    ControlLines = 'controlLines',
-    NullableNote = 'nullableNote',
-  }
-  export interface Config<T> {
-    readonly type: ConfigType;
-    readonly field: string;
-    readonly description: string;
-    readonly default: T;
-    readonly configurable: boolean;
-  }
-  export interface BooleanConfig extends Config<boolean> {
-    readonly type: ConfigType.Boolean;
-  }
-  export interface NullableBooleanConfig extends Config<boolean | null> {
-    readonly type: ConfigType.NullableBoolean;
-  }
-  export interface NumberConfig extends Config<number> {
-    readonly type: ConfigType.Number;
-    readonly min?: number;
-    readonly max?: number;
-    readonly step?: number;
-  }
-  export interface NullableNumberConfig extends Config<number | null> {
-    readonly type: ConfigType.NullableNumber;
-    readonly min?: number;
-    readonly max?: number;
-    readonly step?: number;
-  }
-  export interface StringConfig extends Config<string> {
-    readonly type: ConfigType.String;
-    readonly maxLength?: number;
-    readonly placeholder?: string;
-  }
-  export interface ColorConfig extends Config<Color> {
-    readonly type: ConfigType.Color;
-    readonly allowGray: boolean;
-  }
-  export interface ComparisonConfig extends Config<Comparison> {
-    readonly type: ConfigType.Comparison;
+  interface Position$1 {
+    readonly x: number;
+    readonly y: number;
   }
-  export interface DirectionConfig extends Config<Direction> {
-    readonly type: ConfigType.Direction;
+  export interface Edge {
+    readonly x1: number;
+    readonly y1: number;
+    readonly x2: number;
+    readonly y2: number;
   }
-  export interface DirectionToggleConfig extends Config<DirectionToggle> {
-    readonly type: ConfigType.DirectionToggle;
+  export declare enum State {
+    Error = 'error',
+    Satisfied = 'satisfied',
+    Incomplete = 'incomplete',
   }
-  export interface OrientationConfig extends Config<Orientation> {
-    readonly type: ConfigType.Orientation;
+  export type RuleState =
+    | {
+        readonly state: State.Error;
+        readonly positions: readonly Position$1[];
+      }
+    | {
+        readonly state: State.Satisfied;
+      }
+    | {
+        readonly state: State.Incomplete;
+      };
+  export interface GridState {
+    final: State;
+    rules: readonly RuleState[];
+    symbols: ReadonlyMap<string, State[]>;
   }
-  export interface OrientationToggleConfig extends Config<OrientationToggle> {
-    readonly type: ConfigType.OrientationToggle;
+  export declare enum Color {
+    Dark = 'dark',
+    Light = 'light',
+    Gray = 'gray',
   }
-  export interface TileConfig extends Config<GridData> {
-    readonly type: ConfigType.Tile;
-    readonly resizable: boolean;
+  export declare enum Comparison {
+    Equal = 'eq',
+    AtLeast = 'ge',
+    AtMost = 'le',
   }
-  export interface GridConfig extends Config<GridData> {
-    readonly type: ConfigType.Grid;
+  export declare const COMPARISONS: readonly Comparison[];
+  export declare enum Direction {
+    Up = 'up',
+    Down = 'down',
+    Left = 'left',
+    Right = 'right',
   }
-  export interface NullableGridConfig extends Config<GridData | null> {
-    readonly type: ConfigType.NullableGrid;
-    readonly nonNullDefault: GridData;
+  export declare const DIRECTIONS: readonly Direction[];
+  export type DirectionMap<T> = {
+    [key in Direction]: T;
+  };
+  export type DirectionToggle = Readonly<DirectionMap<boolean>>;
+  export declare function directionToggle(
+    ...directions: readonly Direction[]
+  ): {
+    up: boolean;
+    down: boolean;
+    left: boolean;
+    right: boolean;
+  };
+  export declare enum Orientation {
+    Up = 'up',
+    UpRight = 'up-right',
+    Right = 'right',
+    DownRight = 'down-right',
+    Down = 'down',
+    DownLeft = 'down-left',
+    Left = 'left',
+    UpLeft = 'up-left',
   }
-  export interface IconConfig extends Config<string> {
-    readonly type: ConfigType.Icon;
+  export declare const ORIENTATIONS: readonly Orientation[];
+  export type OrientationMap<T> = {
+    [key in Orientation]: T;
+  };
+  export type OrientationToggle = Readonly<OrientationMap<boolean>>;
+  export declare function orientationToggle(
+    ...orientations: readonly Orientation[]
+  ): {
+    up: boolean;
+    'up-right': boolean;
+    right: boolean;
+    'down-right': boolean;
+    down: boolean;
+    'down-left': boolean;
+    left: boolean;
+    'up-left': boolean;
+  };
+  export declare enum Mode {
+    Create = 'create',
+    Solve = 'solve',
   }
-  export interface ControlLinesConfig extends Config<ControlLine[]> {
-    readonly type: ConfigType.ControlLines;
+  export declare class TileConnections {
+    [y: number]: {
+      [x: number]: boolean;
+    };
+    constructor();
+    get topLeft(): boolean;
+    set topLeft(value: boolean);
+    get top(): boolean;
+    set top(value: boolean);
+    get topRight(): boolean;
+    set topRight(value: boolean);
+    get left(): boolean;
+    set left(value: boolean);
+    get center(): boolean;
+    set center(value: boolean);
+    get right(): boolean;
+    set right(value: boolean);
+    get bottomLeft(): boolean;
+    set bottomLeft(value: boolean);
+    get bottom(): boolean;
+    set bottom(value: boolean);
+    get bottomRight(): boolean;
+    set bottomRight(value: boolean);
+    equals(other: TileConnections): boolean;
   }
-  export interface NullableNoteConfig extends Config<string | null> {
-    readonly type: ConfigType.NullableNote;
+  export declare class GridConnections {
+    readonly edges: readonly Edge[];
+    constructor(edges?: readonly Edge[]);
+    addEdge(edge: Edge): GridConnections;
+    removeEdge(edge: Edge): GridConnections;
+    isConnected(edge: Edge): boolean;
+    getConnectionsAt({ x, y }: Position$1): readonly Edge[];
+    getForTile({ x, y }: Position$1): TileConnections;
+    getConnectedTiles({ x, y }: Position$1): readonly Position$1[];
+    /**
+     * Create new GridConnections from a string array.
+     *
+     * - Use `.` for cells that don't connect to anything.
+     * - Use any other character for cells that connect to the same character.
+     *
+     * @param array - The string array to create the connections from.
+     * @returns The created connections. You can apply this to a GridData object using GridData.withConnections.
+     */
+    static create(array: string[]): GridConnections;
+    /**
+     * Check if two GridConnections objects are equal.
+     * @param other The other GridConnections object to compare to.
+     * @returns Whether the two objects are equal.
+     */
+    equals(other: GridConnections): boolean;
+    /**
+     * Deduplicate an array of edges.
+     * @param edges The array of edges to deduplicate.
+     * @returns The deduplicated array of edges.
+     */
+    static deduplicateEdges(edges: readonly Edge[]): readonly Edge[];
+    insertColumn(index: number): GridConnections;
+    insertRow(index: number): GridConnections;
+    removeColumn(index: number): GridConnections;
+    removeRow(index: number): GridConnections;
   }
-  export type AnyConfig =
-    | BooleanConfig
-    | NullableBooleanConfig
-    | NumberConfig
-    | NullableNumberConfig
-    | StringConfig
-    | ColorConfig
-    | ComparisonConfig
-    | DirectionConfig
-    | DirectionToggleConfig
-    | OrientationConfig
-    | OrientationToggleConfig
-    | TileConfig
-    | GridConfig
-    | NullableGridConfig
-    | IconConfig
-    | ControlLinesConfig
-    | NullableNoteConfig;
-  /**
-   * Compare two config values for equality, using an appropriate method for the config type.
-   *
-   * @param type The type of the config.
-   * @param a The first value to compare.
-   * @param b The second value to compare.
-   * @returns Whether the two values are equal.
-   */
-  export function configEquals<C extends AnyConfig>(
-    type: C['type'],
-    a: C['default'],
-    b: C['default']
-  ): boolean;
-
-  export abstract class Configurable {
+  export declare abstract class Configurable {
     get configs(): readonly AnyConfig[] | null;
     abstract copyWith(props: Record<string, unknown>): this;
     /**
@@ -150,135 +176,37 @@ declare global {
      */
     equals(other: Configurable): boolean;
   }
-
-  /**
-   * Offset the given position by a given step in the given direction.
-   * @param position The position to offset.
-   * @param direction The direction to offset in.
-   * @param step The distance to offset by.
-   * @returns The offset position.
-   */
-  export function move(
-    position: Position,
-    direction: Direction | Orientation,
-    step?: number
-  ): {
-    x: number;
-    y: number;
-  };
-  /**
-   * Convert the given direction to a rotation in degrees.
-   * @param direction The direction to convert.
-   * @returns The rotation in degrees.
-   */
-  export function directionToRotation(direction: Direction): 0 | 270 | 90 | 180;
-  /**
-   * Convert the given orientation to a rotation in degrees.
-   * @param orientation The orientation to convert.
-   * @returns The rotation in degrees.
-   */
-  export function orientationToRotation(
-    orientation: Orientation
-  ): 0 | 270 | 90 | 180 | 225 | 125 | 315 | 45;
-  /**
-   * Create a new 2D array with the given dimensions and values.
-   * @param width The width of the array.
-   * @param height The height of the array.
-   * @param value A function that returns the value for each x,y coordinate.
-   * @returns The 2D array.
-   */
-  export function array<T>(
-    width: number,
-    height: number,
-    value: (x: number, y: number) => T
-  ): T[][];
-  /**
-   * Resize the given array to the new size, cutting off or padding with the default value.
-   * @param array The array to resize.
-   * @param newSize The new size of the array.
-   * @param defaultValue A function that returns the default value for each new element.
-   * @returns The resized array.
-   */
-  export function resize<T>(
-    array: T[],
-    newSize: number,
-    defaultValue: () => T
-  ): T[];
-  export function resize<T>(
-    array: readonly T[],
-    newSize: number,
-    defaultValue: () => T
-  ): readonly T[];
-  /**
-   * Check if all the given values are equal.
-   * @param values The values to compare.
-   * @returns Whether all the values are equal.
-   */
-  export function allEqual<T>(...values: T[]): boolean;
-  /**
-   * Return the first element of the array which has the minimum mapped value.
-   *
-   * @param values The array of values.
-   * @param mapper The function to map each value to a number.
-   * @returns The first element with the minimum mapped value.
-   */
-  export function minBy<T>(
-    values: readonly T[],
-    mapper: (element: T) => number
-  ): T | undefined;
-  /**
-   * Return the first element of the array which has the maximum mapped value.
-   *
-   * @param values The array of values.
-   * @param mapper The function to map each value to a number.
-   * @returns The first element with the maximum mapped value.
-   */
-  export function maxBy<T>(
-    values: readonly T[],
-    mapper: (element: T) => number
-  ): T | undefined;
-  /**
-   * Escape the given text by replacing the specified characters with HTML escape sequences.
-   * @param text The text to escape.
-   * @param escapeCharacters The characters to escape.
-   * @returns The escaped text.
-   */
-  export function escape(text: string, escapeCharacters?: string): string;
-  /**
-   * Unescape the given text by replacing HTML escape sequences with the corresponding characters.
-   * @param text The text to unescape.
-   * @param escapeCharacters The characters to unescape. This should match the characters escaped by the `escape` function.
-   * @returns The unescaped text.
-   */
-  export function unescape(text: string, escapeCharacters?: string): string;
-
-  export function isEventHandler<T>(val: unknown, event: string): val is T;
-
-  export interface FinalValidationHandler {
+  export declare abstract class Instruction extends Configurable {
+    abstract get id(): string;
+    abstract get explanation(): string;
+    abstract createExampleGrid(): GridData;
     /**
-     * Edits the final grid state after all rules and symbols have been validated.
+     * Indicates that validation by logic is not available and the solution must be used for validation
+     */
+    get validateWithSolution(): boolean;
+    get necessaryForCompletion(): boolean;
+    /**
+     * Check if this instruction is equal to another instruction by comparing their IDs and configs.
      *
-     * @param grid The grid that is being validated.
-     * @param solution The solution grid, or null if the solution is not available.
-     * @param state The current state of the grid.
+     * @param other The other instruction to compare to.
+     * @returns Whether the two instructions are equal.
      */
-    onFinalValidation(
-      grid: GridData,
-      solution: GridData | null,
-      state: GridState
-    ): GridState;
+    equals(other: Instruction): boolean;
   }
-  export function handlesFinalValidation<T extends Instruction>(
-    val: T
-  ): val is T & FinalValidationHandler;
-
-  export interface GridChangeHandler {
-    onGridChange(newGrid: GridData): this;
+  export interface SearchVariant {
+    description: string;
+    rule: Rule;
+  }
+  export declare abstract class Rule extends Instruction {
+    abstract validateGrid(grid: GridData): RuleState;
+    abstract get searchVariants(): SearchVariant[];
+    searchVariant(): SearchVariant;
+    get visibleWhenSolving(): boolean;
+    /**
+     * Whether only one instance of this rule is allowed in a grid.
+     */
+    get isSingleton(): boolean;
   }
-  export function handlesGridChange<T extends Instruction>(
-    val: T
-  ): val is T & GridChangeHandler;
-
   export interface GridResizeHandler {
     /**
      * Update itself when the grid is resized.
@@ -290,44 +218,63 @@ declare global {
       index: number
     ): this | null;
   }
-  export function handlesGridResize<T extends Instruction>(
+  export declare function handlesGridResize<T extends Instruction>(
     val: T
   ): val is T & GridResizeHandler;
-
-  export interface SetGridHandler {
-    onSetGrid(oldGrid: GridData, newGrid: GridData): GridData;
+  declare abstract class Symbol$1
+    extends Instruction
+    implements GridResizeHandler
+  {
+    readonly x: number;
+    readonly y: number;
+    constructor(x: number, y: number);
+    abstract validateSymbol(grid: GridData): State;
+    onGridResize(
+      _grid: GridData,
+      mode: 'insert' | 'remove',
+      direction: 'row' | 'column',
+      index: number
+    ): this | null;
+    get placementStep(): number;
+    withX(x: number): this;
+    withY(y: number): this;
+    withPosition(x: number, y: number): this;
   }
-  export function handlesSetGrid<T extends Instruction>(
-    val: T
-  ): val is T & SetGridHandler;
-
-  export interface SymbolValidationHandler {
+  export declare class TileData {
+    readonly exists: boolean;
+    readonly fixed: boolean;
+    readonly color: Color;
+    constructor(exists: boolean, fixed: boolean, color: Color);
     /**
-     * Overrides the validation of symbols.
-     *
-     * You can return a different validation result, or call the original validation logic with a modified grid.
-     *
-     * @param grid - The grid to validate.
-     * @param _symbol - The symbol to validate.
-     * @param validator - The original validation logic for the symbol.
-     * @returns The state of the symbol after validation.
+     * Create a gray tile.
      */
-    onSymbolValidation(
-      grid: GridData,
-      symbol: Symbol,
-      validator: (grid: GridData) => State
-    ): State | undefined;
+    static empty(): TileData;
+    /**
+     * Create a non-existent tile.
+     */
+    static doesNotExist(): TileData;
+    copyWith({
+      exists,
+      fixed,
+      color,
+    }: {
+      exists?: boolean;
+      fixed?: boolean;
+      color?: Color;
+    }): this;
+    withExists(exists: boolean): this;
+    withFixed(fixed: boolean): this;
+    withColor(color: Color): this;
+    get isFixed(): boolean;
+    equals(other: TileData): boolean;
+    static create(char: string): TileData;
   }
-  export function handlesSymbolValidation<T extends Rule>(
-    val: T
-  ): val is T & SymbolValidationHandler;
-
-  export class GridData {
+  export declare class GridData {
     readonly width: number;
     readonly height: number;
     readonly tiles: readonly (readonly TileData[])[];
     readonly connections: GridConnections;
-    readonly symbols: ReadonlyMap<string, readonly Symbol[]>;
+    readonly symbols: ReadonlyMap<string, readonly Symbol$1[]>;
     readonly rules: readonly Rule[];
     /**
      * Create a new grid with tiles, connections, symbols and rules.
@@ -343,7 +290,7 @@ declare global {
       height: number,
       tiles?: readonly (readonly TileData[])[],
       connections?: GridConnections,
-      symbols?: ReadonlyMap<string, readonly Symbol[]>,
+      symbols?: ReadonlyMap<string, readonly Symbol$1[]>,
       rules?: readonly Rule[]
     );
     /**
@@ -363,7 +310,7 @@ declare global {
       height?: number;
       tiles?: readonly (readonly TileData[])[];
       connections?: GridConnections;
-      symbols?: ReadonlyMap<string, readonly Symbol[]>;
+      symbols?: ReadonlyMap<string, readonly Symbol$1[]>;
       rules?: readonly Rule[];
     }): GridData;
     isPositionValid(x: number, y: number): boolean;
@@ -417,43 +364,43 @@ declare global {
      */
     withSymbols(
       symbols:
-        | readonly Symbol[]
-        | ReadonlyMap<string, readonly Symbol[]>
+        | readonly Symbol$1[]
+        | ReadonlyMap<string, readonly Symbol$1[]>
         | ((
-            value: Map<string, readonly Symbol[]>
-          ) => ReadonlyMap<string, readonly Symbol[]>)
+            value: Map<string, readonly Symbol$1[]>
+          ) => ReadonlyMap<string, readonly Symbol$1[]>)
     ): GridData;
     /**
      * Add a new symbol to the grid.
      * @param symbol The symbol to add.
      * @returns The new grid with the new symbol.
      */
-    addSymbol(symbol: Symbol): GridData;
+    addSymbol(symbol: Symbol$1): GridData;
     /**
      * Remove an instance of the symbol from the grid.
      * @param symbol The symbol to remove.
      * @returns The new grid with the symbol removed.
      */
-    removeSymbol(symbol: Symbol): GridData;
+    removeSymbol(symbol: Symbol$1): GridData;
     /**
      * Remove all symbols that satisfy the predicate.
      * @param predicate The predicate to test each symbol with.
      * @returns The new grid with the symbols removed.
      */
-    removeSymbolIf(predicate: (symbol: Symbol) => boolean): GridData;
+    removeSymbolIf(predicate: (symbol: Symbol$1) => boolean): GridData;
     /**
      * Find the first symbol that satisfies the predicate.
      * @param predicate The predicate to test each symbol with.
      * @returns The first symbol that satisfies the predicate, or undefined if no symbol is found.
      */
-    findSymbol(predicate: (symbol: Symbol) => boolean): Symbol | undefined;
+    findSymbol(predicate: (symbol: Symbol$1) => boolean): Symbol$1 | undefined;
     /**
      * Replace an existing symbol with a new symbol.
      * @param oldSymbol The symbol to replace.
      * @param newSymbol The new symbol to replace with.
      * @returns The new grid with the symbol replaced.
      */
-    replaceSymbol(oldSymbol: Symbol, newSymbol: Symbol): GridData;
+    replaceSymbol(oldSymbol: Symbol$1, newSymbol: Symbol$1): GridData;
     /**
      * Add or modify the rules in the grid.
      * @param rules The new rules to add or modify.
@@ -554,7 +501,7 @@ declare global {
      */
     find(
       predicate: (tile: TileData, x: number, y: number) => boolean
-    ): Position | undefined;
+    ): Position$1 | undefined;
     /**
      * Iterate over all tiles in the same region as the given position that satisfy the predicate.
      * The iteration stops when the callback returns a value that is not undefined.
@@ -566,7 +513,7 @@ declare global {
      * @returns The value returned by the callback that stopped the iteration, or undefined if the iteration completed.
      */
     iterateArea<T>(
-      position: Position,
+      position: Position$1,
       predicate: (tile: TileData) => boolean,
       callback: (tile: TileData, x: number, y: number) => undefined | T
     ): T | undefined;
@@ -582,7 +529,7 @@ declare global {
      * @returns The value returned by the callback that stopped the iteration, or undefined if the iteration completed.
      */
     iterateDirection<T>(
-      position: Position,
+      position: Position$1,
       direction: Direction | Orientation,
       predicate: (tile: TileData) => boolean,
       callback: (tile: TileData, x: number, y: number) => T | undefined
@@ -599,7 +546,7 @@ declare global {
      * @returns The value returned by the callback that stopped the iteration, or undefined if the iteration completed.
      */
     iterateDirectionAll<T>(
-      position: Position,
+      position: Position$1,
       direction: Direction | Orientation,
       predicate: (tile: TileData) => boolean,
       callback: (tile: TileData, x: number, y: number) => T | undefined
@@ -630,7 +577,7 @@ declare global {
      * @returns The new grid with the region filled with the new color.
      */
     floodFill(
-      position: Position,
+      position: Position$1,
       from: Color,
       to: Color,
       allowFixed: boolean
@@ -665,7 +612,7 @@ declare global {
      * @param height The height of the region to copy.
      * @returns The new grid with the copied tiles.
      */
-    copyTiles(origin: Position, width: number, height: number): GridData;
+    copyTiles(origin: Position$1, width: number, height: number): GridData;
     /**
      * Paste the tiles from the given grid to the current grid at the given position.
      * All connections, symbols, and rules are merged.
@@ -674,7 +621,7 @@ declare global {
      * @param grid The grid to paste the tiles from.
      * @returns The new grid with the pasted tiles.
      */
-    pasteTiles(origin: Position, grid: GridData): GridData;
+    pasteTiles(origin: Position$1, grid: GridData): GridData;
     /**
      * Paste the tiles from the given array to the current grid at the given position.
      *
@@ -683,7 +630,7 @@ declare global {
      * @returns The new grid with the pasted tiles.
      */
     pasteTiles(
-      origin: Position,
+      origin: Position$1,
       tile: readonly (readonly TileData[])[]
     ): GridData;
     /**
@@ -743,154 +690,360 @@ declare global {
      * @returns The deduplicated map of symbols.
      */
     static deduplicateSymbols(
-      symbols: ReadonlyMap<string, readonly Symbol[]>
-    ): Map<string, Symbol[]>;
+      symbols: ReadonlyMap<string, readonly Symbol$1[]>
+    ): Map<string, Symbol$1[]>;
   }
-
-  export class GridConnections {
-    readonly edges: readonly Edge[];
-    constructor(edges?: readonly Edge[]);
-    addEdge(edge: Edge): GridConnections;
-    removeEdge(edge: Edge): GridConnections;
-    isConnected(edge: Edge): boolean;
-    getConnectionsAt({ x, y }: Position): readonly Edge[];
-    getForTile({ x, y }: Position): TileConnections;
-    getConnectedTiles({ x, y }: Position): readonly Position[];
-    /**
-     * Create new GridConnections from a string array.
-     *
-     * - Use `.` for cells that don't connect to anything.
-     * - Use any other character for cells that connect to the same character.
-     *
-     * @param array - The string array to create the connections from.
-     * @returns The created connections. You can apply this to a GridData object using GridData.withConnections.
-     */
-    static create(array: string[]): GridConnections;
+  export declare class Row extends Configurable {
     /**
-     * Check if two GridConnections objects are equal.
-     * @param other The other GridConnections object to compare to.
-     * @returns Whether the two objects are equal.
+     * The note to play at this row, or null to keep the current note from the previous control line.
+     * If this is null from the first control line, the note will be silent.
      */
-    equals(other: GridConnections): boolean;
+    readonly note: string | null;
     /**
-     * Deduplicate an array of edges.
-     * @param edges The array of edges to deduplicate.
-     * @returns The deduplicated array of edges.
+     * The velocity to play the note at, or null to keep the current velocity from the previous control line.
+     * Ranges from 0 to 1
      */
-    static deduplicateEdges(edges: readonly Edge[]): readonly Edge[];
-    insertColumn(index: number): GridConnections;
-    insertRow(index: number): GridConnections;
-    removeColumn(index: number): GridConnections;
-    removeRow(index: number): GridConnections;
+    readonly velocity: number | null;
+    private static readonly CONFIGS;
+    constructor(
+      /**
+       * The note to play at this row, or null to keep the current note from the previous control line.
+       * If this is null from the first control line, the note will be silent.
+       */
+      note: string | null,
+      /**
+       * The velocity to play the note at, or null to keep the current velocity from the previous control line.
+       * Ranges from 0 to 1
+       */
+      velocity: number | null
+    );
+    get configs(): readonly AnyConfig[] | null;
+    copyWith({
+      note,
+      velocity,
+    }: {
+      note?: string | null;
+      velocity?: number | null;
+    }): this;
   }
-
-  export abstract class Instruction extends Configurable {
-    abstract get id(): string;
-    abstract get explanation(): string;
-    abstract createExampleGrid(): GridData;
-    /**
-     * Indicates that validation by logic is not available and the solution must be used for validation
-     */
-    get validateWithSolution(): boolean;
-    get necessaryForCompletion(): boolean;
+  export declare class ControlLine extends Configurable {
+    readonly column: number;
+    readonly bpm: number | null;
+    readonly pedal: boolean | null;
+    readonly checkpoint: boolean;
+    readonly rows: readonly Row[];
+    private static readonly CONFIGS;
     /**
-     * Check if this instruction is equal to another instruction by comparing their IDs and configs.
-     *
-     * @param other The other instruction to compare to.
-     * @returns Whether the two instructions are equal.
+     * Configure playback settings, taking effect at the given column (inclusive)
+     * @param column The column at which the settings take effect
+     * @param bpm The new beats per minute, or null to keep the current value from the previous control line
+     * @param pedal Whether the pedal is pressed, or null to keep the current value from the previous control line
+     * @param checkpoint Whether this control line is a checkpoint
+     * @param rows The notes to play at each row. This list is automatically resized to match the height of the grid. You may pass in an empty list if none of the rows need to be changed.
      */
-    equals(other: Instruction): boolean;
-  }
-
-  export interface Position {
-    readonly x: number;
-    readonly y: number;
-  }
-  export interface Edge {
-    readonly x1: number;
-    readonly y1: number;
-    readonly x2: number;
-    readonly y2: number;
+    constructor(
+      column: number,
+      bpm: number | null,
+      pedal: boolean | null,
+      checkpoint: boolean,
+      rows: readonly Row[]
+    );
+    get configs(): readonly AnyConfig[] | null;
+    copyWith({
+      column,
+      bpm,
+      pedal,
+      checkpoint,
+      rows,
+    }: {
+      column?: number;
+      bpm?: number | null;
+      pedal?: boolean | null;
+      checkpoint?: boolean;
+      rows?: readonly Row[];
+    }): this;
+    withColumn(column: number): this;
+    withBpm(bpm: number | null): this;
+    withPedal(pedal: boolean | null): this;
+    withCheckpoint(checkpoint: boolean): this;
+    withRows(rows: readonly Row[]): this;
+    equals(other: ControlLine): boolean;
+    get isEmpty(): boolean;
   }
-  export enum State {
-    Error = 'error',
-    Satisfied = 'satisfied',
-    Incomplete = 'incomplete',
+  export declare enum ConfigType {
+    Boolean = 'boolean',
+    NullableBoolean = 'nullableBoolean',
+    Number = 'number',
+    NullableNumber = 'nullableNumber',
+    String = 'string',
+    Color = 'color',
+    Comparison = 'comparison',
+    Direction = 'direction',
+    DirectionToggle = 'directionToggle',
+    Orientation = 'orientation',
+    OrientationToggle = 'orientationToggle',
+    Tile = 'tile',
+    Grid = 'grid',
+    NullableGrid = 'nullableGrid',
+    Icon = 'icon',
+    ControlLines = 'controlLines',
+    NullableNote = 'nullableNote',
   }
-  export type RuleState =
-    | {
-        readonly state: State.Error;
-        readonly positions: readonly Position[];
-      }
-    | {
-        readonly state: State.Satisfied;
-      }
-    | {
-        readonly state: State.Incomplete;
-      };
-  export interface GridState {
-    final: State;
-    rules: readonly RuleState[];
-    symbols: ReadonlyMap<string, State[]>;
+  export interface Config<T> {
+    readonly type: ConfigType;
+    readonly field: string;
+    readonly description: string;
+    readonly default: T;
+    readonly configurable: boolean;
   }
-  export enum Color {
-    Dark = 'dark',
-    Light = 'light',
-    Gray = 'gray',
+  export interface BooleanConfig extends Config<boolean> {
+    readonly type: ConfigType.Boolean;
   }
-  export enum Comparison {
-    Equal = 'eq',
-    AtLeast = 'ge',
-    AtMost = 'le',
+  export interface NullableBooleanConfig extends Config<boolean | null> {
+    readonly type: ConfigType.NullableBoolean;
   }
-  export const COMPARISONS: readonly Comparison[];
-  export enum Direction {
-    Up = 'up',
-    Down = 'down',
-    Left = 'left',
-    Right = 'right',
+  export interface NumberConfig extends Config<number> {
+    readonly type: ConfigType.Number;
+    readonly min?: number;
+    readonly max?: number;
+    readonly step?: number;
   }
-  export const DIRECTIONS: readonly Direction[];
-  export type DirectionMap<T> = {
-    [key in Direction]: T;
-  };
-  export type DirectionToggle = Readonly<DirectionMap<boolean>>;
-  export function directionToggle(...directions: readonly Direction[]): {
-    up: boolean;
-    down: boolean;
-    left: boolean;
-    right: boolean;
-  };
-  export enum Orientation {
-    Up = 'up',
-    UpRight = 'up-right',
-    Right = 'right',
-    DownRight = 'down-right',
-    Down = 'down',
-    DownLeft = 'down-left',
-    Left = 'left',
-    UpLeft = 'up-left',
+  export interface NullableNumberConfig extends Config<number | null> {
+    readonly type: ConfigType.NullableNumber;
+    readonly min?: number;
+    readonly max?: number;
+    readonly step?: number;
   }
-  export const ORIENTATIONS: readonly Orientation[];
-  export type OrientationMap<T> = {
-    [key in Orientation]: T;
-  };
-  export type OrientationToggle = Readonly<OrientationMap<boolean>>;
-  export function orientationToggle(...orientations: readonly Orientation[]): {
-    up: boolean;
-    'up-right': boolean;
-    right: boolean;
-    'down-right': boolean;
-    down: boolean;
-    'down-left': boolean;
-    left: boolean;
-    'up-left': boolean;
+  export interface StringConfig extends Config<string> {
+    readonly type: ConfigType.String;
+    readonly maxLength?: number;
+    readonly placeholder?: string;
+  }
+  export interface ColorConfig extends Config<Color> {
+    readonly type: ConfigType.Color;
+    readonly allowGray: boolean;
+  }
+  export interface ComparisonConfig extends Config<Comparison> {
+    readonly type: ConfigType.Comparison;
+  }
+  export interface DirectionConfig extends Config<Direction> {
+    readonly type: ConfigType.Direction;
+  }
+  export interface DirectionToggleConfig extends Config<DirectionToggle> {
+    readonly type: ConfigType.DirectionToggle;
+  }
+  export interface OrientationConfig extends Config<Orientation> {
+    readonly type: ConfigType.Orientation;
+  }
+  export interface OrientationToggleConfig extends Config<OrientationToggle> {
+    readonly type: ConfigType.OrientationToggle;
+  }
+  export interface TileConfig extends Config<GridData> {
+    readonly type: ConfigType.Tile;
+    readonly resizable: boolean;
+  }
+  export interface GridConfig extends Config<GridData> {
+    readonly type: ConfigType.Grid;
+  }
+  export interface NullableGridConfig extends Config<GridData | null> {
+    readonly type: ConfigType.NullableGrid;
+    readonly nonNullDefault: GridData;
+  }
+  export interface IconConfig extends Config<string> {
+    readonly type: ConfigType.Icon;
+  }
+  export interface ControlLinesConfig extends Config<ControlLine[]> {
+    readonly type: ConfigType.ControlLines;
+  }
+  export interface NullableNoteConfig extends Config<string | null> {
+    readonly type: ConfigType.NullableNote;
+  }
+  export type AnyConfig =
+    | BooleanConfig
+    | NullableBooleanConfig
+    | NumberConfig
+    | NullableNumberConfig
+    | StringConfig
+    | ColorConfig
+    | ComparisonConfig
+    | DirectionConfig
+    | DirectionToggleConfig
+    | OrientationConfig
+    | OrientationToggleConfig
+    | TileConfig
+    | GridConfig
+    | NullableGridConfig
+    | IconConfig
+    | ControlLinesConfig
+    | NullableNoteConfig;
+  /**
+   * Compare two config values for equality, using an appropriate method for the config type.
+   *
+   * @param type The type of the config.
+   * @param a The first value to compare.
+   * @param b The second value to compare.
+   * @returns Whether the two values are equal.
+   */
+  export declare function configEquals<C extends AnyConfig>(
+    type: C['type'],
+    a: C['default'],
+    b: C['default']
+  ): boolean;
+  /**
+   * Offset the given position by a given step in the given direction.
+   * @param position The position to offset.
+   * @param direction The direction to offset in.
+   * @param step The distance to offset by.
+   * @returns The offset position.
+   */
+  export declare function move(
+    position: Position$1,
+    direction: Direction | Orientation,
+    step?: number
+  ): {
+    x: number;
+    y: number;
   };
-  export enum Mode {
-    Create = 'create',
-    Solve = 'solve',
+  /**
+   * Convert the given direction to a rotation in degrees.
+   * @param direction The direction to convert.
+   * @returns The rotation in degrees.
+   */
+  export declare function directionToRotation(
+    direction: Direction
+  ): 0 | 270 | 90 | 180;
+  /**
+   * Convert the given orientation to a rotation in degrees.
+   * @param orientation The orientation to convert.
+   * @returns The rotation in degrees.
+   */
+  export declare function orientationToRotation(
+    orientation: Orientation
+  ): 0 | 270 | 90 | 180 | 225 | 125 | 315 | 45;
+  /**
+   * Create a new 2D array with the given dimensions and values.
+   * @param width The width of the array.
+   * @param height The height of the array.
+   * @param value A function that returns the value for each x,y coordinate.
+   * @returns The 2D array.
+   */
+  export declare function array<T>(
+    width: number,
+    height: number,
+    value: (x: number, y: number) => T
+  ): T[][];
+  /**
+   * Resize the given array to the new size, cutting off or padding with the default value.
+   * @param array The array to resize.
+   * @param newSize The new size of the array.
+   * @param defaultValue A function that returns the default value for each new element.
+   * @returns The resized array.
+   */
+  export declare function resize<T>(
+    array: T[],
+    newSize: number,
+    defaultValue: () => T
+  ): T[];
+  export declare function resize<T>(
+    array: readonly T[],
+    newSize: number,
+    defaultValue: () => T
+  ): readonly T[];
+  /**
+   * Check if all the given values are equal.
+   * @param values The values to compare.
+   * @returns Whether all the values are equal.
+   */
+  export declare function allEqual<T>(...values: T[]): boolean;
+  /**
+   * Return the first element of the array which has the minimum mapped value.
+   *
+   * @param values The array of values.
+   * @param mapper The function to map each value to a number.
+   * @returns The first element with the minimum mapped value.
+   */
+  export declare function minBy<T>(
+    values: readonly T[],
+    mapper: (element: T) => number
+  ): T | undefined;
+  /**
+   * Return the first element of the array which has the maximum mapped value.
+   *
+   * @param values The array of values.
+   * @param mapper The function to map each value to a number.
+   * @returns The first element with the maximum mapped value.
+   */
+  export declare function maxBy<T>(
+    values: readonly T[],
+    mapper: (element: T) => number
+  ): T | undefined;
+  /**
+   * Escape the given text by replacing the specified characters with HTML escape sequences.
+   * @param text The text to escape.
+   * @param escapeCharacters The characters to escape.
+   * @returns The escaped text.
+   */
+  declare function escape$1(text: string, escapeCharacters?: string): string;
+  /**
+   * Unescape the given text by replacing HTML escape sequences with the corresponding characters.
+   * @param text The text to unescape.
+   * @param escapeCharacters The characters to unescape. This should match the characters escaped by the `escape` function.
+   * @returns The unescaped text.
+   */
+  declare function unescape$1(text: string, escapeCharacters?: string): string;
+  export declare function isEventHandler<T>(
+    val: unknown,
+    event: string
+  ): val is T;
+  export interface FinalValidationHandler {
+    /**
+     * Edits the final grid state after all rules and symbols have been validated.
+     *
+     * @param grid The grid that is being validated.
+     * @param solution The solution grid, or null if the solution is not available.
+     * @param state The current state of the grid.
+     */
+    onFinalValidation(
+      grid: GridData,
+      solution: GridData | null,
+      state: GridState
+    ): GridState;
   }
-
+  export declare function handlesFinalValidation<T extends Instruction>(
+    val: T
+  ): val is T & FinalValidationHandler;
+  export interface GridChangeHandler {
+    onGridChange(newGrid: GridData): this;
+  }
+  export declare function handlesGridChange<T extends Instruction>(
+    val: T
+  ): val is T & GridChangeHandler;
+  export interface SetGridHandler {
+    onSetGrid(oldGrid: GridData, newGrid: GridData): GridData;
+  }
+  export declare function handlesSetGrid<T extends Instruction>(
+    val: T
+  ): val is T & SetGridHandler;
+  export interface SymbolValidationHandler {
+    /**
+     * Overrides the validation of symbols.
+     *
+     * You can return a different validation result, or call the original validation logic with a modified grid.
+     *
+     * @param grid - The grid to validate.
+     * @param _symbol - The symbol to validate.
+     * @param validator - The original validation logic for the symbol.
+     * @returns The state of the symbol after validation.
+     */
+    onSymbolValidation(
+      grid: GridData,
+      symbol: Symbol$1,
+      validator: (grid: GridData) => State
+    ): State | undefined;
+  }
+  export declare function handlesSymbolValidation<T extends Rule>(
+    val: T
+  ): val is T & SymbolValidationHandler;
   export type PuzzleMetadata = {
     /**
      * The title of the puzzle. (required)
@@ -915,7 +1068,7 @@ declare global {
      */
     difficulty: number;
   };
-  export const MetadataSchema: z.ZodObject<
+  export declare const MetadataSchema: z.ZodObject<
     {
       title: z.ZodString;
       author: z.ZodString;
@@ -940,7 +1093,7 @@ declare global {
       difficulty: number;
     }
   >;
-  export const PuzzleSchema: z.ZodObject<
+  export declare const PuzzleSchema: z.ZodObject<
     {
       title: z.ZodString;
       author: z.ZodString;
@@ -987,8 +1140,30 @@ declare global {
      */
     solution: GridData | null;
   };
-
-  export class BanPatternRule extends Rule {
+  export interface ShapeElement {
+    x: number;
+    y: number;
+    color: Color;
+  }
+  export interface Shape {
+    width: number;
+    height: number;
+    elements: ShapeElement[];
+  }
+  export declare function shapeEquals(a: Shape, b: Shape): boolean;
+  export declare function tilesToShape(
+    tiles: readonly (readonly TileData[])[]
+  ): Shape;
+  export declare function positionsToShape(
+    positions: Position$1[],
+    color: Color
+  ): Shape;
+  export declare function getShapeVariants(shape: Shape): Shape[];
+  export declare function normalizeShape(shape: Shape): Shape;
+  export declare class BanPatternRule extends Rule {
+    private static readonly EXAMPLE_GRID;
+    private static readonly CONFIGS;
+    private static readonly SEARCH_VARIANTS;
     readonly pattern: GridData;
     readonly cache: Shape[];
     /**
@@ -1006,10 +1181,13 @@ declare global {
     copyWith({ pattern }: { pattern?: GridData }): this;
     withPattern(pattern: GridData): this;
   }
-
-  export class CellCountRule extends Rule {
+  export declare class CellCountRule extends Rule {
     readonly color: Color;
     readonly count: number;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID_LIGHT;
+    private static readonly EXAMPLE_GRID_DARK;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **There are &lt;count&gt; &lt;color&gt; cells in total**
      *
@@ -1027,8 +1205,9 @@ declare global {
     withColor(color: Color): this;
     withCount(count: number): this;
   }
-
-  export class CompletePatternRule extends Rule {
+  export declare class CompletePatternRule extends Rule {
+    private static readonly EXAMPLE_GRID;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **Complete the pattern**
      *
@@ -1044,9 +1223,12 @@ declare global {
     get validateWithSolution(): boolean;
     get isSingleton(): boolean;
   }
-
-  export class ConnectAllRule extends Rule {
+  export declare class ConnectAllRule extends Rule {
     readonly color: Color;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID_LIGHT;
+    private static readonly EXAMPLE_GRID_DARK;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **Connect all &lt;color&gt; cells**
      *
@@ -1062,11 +1244,12 @@ declare global {
     copyWith({ color }: { color?: Color }): this;
     withColor(color: Color): this;
   }
-
-  export class CustomRule extends Rule {
+  export declare class CustomRule extends Rule {
     readonly description: string;
     readonly grid: GridData;
+    private static readonly EXAMPLE_GRID;
     static readonly configs: readonly AnyConfig[];
+    private static readonly SEARCH_VARIANTS;
     /**
      * A custom rule with a description and thumbnail grid.
      *
@@ -1091,11 +1274,13 @@ declare global {
     }): this;
     get validateWithSolution(): boolean;
   }
-
-  export class ForesightRule extends Rule {
+  export declare class ForesightRule extends Rule {
     readonly count: number;
     readonly regenInterval: number;
     readonly startFull: boolean;
+    private static readonly EXAMPLE_GRID;
+    private static readonly CONFIGS;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **Foresight: Show hints**
      */
@@ -1118,92 +1303,16 @@ declare global {
       startFull?: boolean;
     }): this;
   }
-
-  const allRules: Map<string, Rule>;
-  export { allRules };
-
-  export class Row extends Configurable {
-    /**
-     * The note to play at this row, or null to keep the current note from the previous control line.
-     * If this is null from the first control line, the note will be silent.
-     */
-    readonly note: string | null;
-    /**
-     * The velocity to play the note at, or null to keep the current velocity from the previous control line.
-     * Ranges from 0 to 1
-     */
-    readonly velocity: number | null;
-    constructor(
-      /**
-       * The note to play at this row, or null to keep the current note from the previous control line.
-       * If this is null from the first control line, the note will be silent.
-       */
-      note: string | null,
-      /**
-       * The velocity to play the note at, or null to keep the current velocity from the previous control line.
-       * Ranges from 0 to 1
-       */
-      velocity: number | null
-    );
-    get configs(): readonly AnyConfig[] | null;
-    copyWith({
-      note,
-      velocity,
-    }: {
-      note?: string | null;
-      velocity?: number | null;
-    }): this;
-  }
-  export class ControlLine extends Configurable {
-    readonly column: number;
-    readonly bpm: number | null;
-    readonly pedal: boolean | null;
-    readonly checkpoint: boolean;
-    readonly rows: readonly Row[];
-    /**
-     * Configure playback settings, taking effect at the given column (inclusive)
-     * @param column The column at which the settings take effect
-     * @param bpm The new beats per minute, or null to keep the current value from the previous control line
-     * @param pedal Whether the pedal is pressed, or null to keep the current value from the previous control line
-     * @param checkpoint Whether this control line is a checkpoint
-     * @param rows The notes to play at each row. This list is automatically resized to match the height of the grid. You may pass in an empty list if none of the rows need to be changed.
-     */
-    constructor(
-      column: number,
-      bpm: number | null,
-      pedal: boolean | null,
-      checkpoint: boolean,
-      rows: readonly Row[]
-    );
-    get configs(): readonly AnyConfig[] | null;
-    copyWith({
-      column,
-      bpm,
-      pedal,
-      checkpoint,
-      rows,
-    }: {
-      column?: number;
-      bpm?: number | null;
-      pedal?: boolean | null;
-      checkpoint?: boolean;
-      rows?: readonly Row[];
-    }): this;
-    withColumn(column: number): this;
-    withBpm(bpm: number | null): this;
-    withPedal(pedal: boolean | null): this;
-    withCheckpoint(checkpoint: boolean): this;
-    withRows(rows: readonly Row[]): this;
-    equals(other: ControlLine): boolean;
-    get isEmpty(): boolean;
-  }
-
-  export class MusicGridRule
+  export declare const allRules: Map<string, Rule>;
+  export declare class MusicGridRule
     extends Rule
     implements GridChangeHandler, SetGridHandler, GridResizeHandler
   {
     readonly controlLines: readonly ControlLine[];
     readonly track: GridData | null;
+    private static readonly EXAMPLE_GRID;
+    private static readonly CONFIGS;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **Music Grid: Listen to the solution**
      * @param controlLines Denote changes in the playback settings. At least one control line at column 0 should be present to enable playback.
@@ -1245,13 +1354,15 @@ declare global {
       lines: readonly ControlLine[]
     ): ControlLine[];
   }
-
-  export class MysteryRule
+  export declare class MysteryRule
     extends Rule
     implements FinalValidationHandler, GridChangeHandler, GridResizeHandler
   {
     readonly solution: GridData;
     readonly visible: boolean;
+    private static readonly EXAMPLE_GRID;
+    private static readonly CONFIGS;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **Mystery: alternate solution**
      */
@@ -1287,9 +1398,14 @@ declare global {
     withVisible(visible: boolean): this;
     static cleanSolution(solution: GridData, baseGrid?: GridData): GridData;
   }
-
-  export class OffByXRule extends Rule implements SymbolValidationHandler {
+  export declare class OffByXRule
+    extends Rule
+    implements SymbolValidationHandler
+  {
     readonly number: number;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **All numbers are off by &lt;number&gt;**
      *
@@ -1304,16 +1420,20 @@ declare global {
     validateGrid(_grid: GridData): RuleState;
     onSymbolValidation(
       grid: GridData,
-      symbol: Symbol,
+      symbol: Symbol$1,
       _validator: (grid: GridData) => State
     ): State | undefined;
     copyWith({ number }: { number?: number }): this;
     withNumber(number: number): this;
   }
-
-  export class RegionAreaRule extends Rule {
+  export declare class RegionAreaRule extends Rule {
     readonly color: Color;
     readonly size: number;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID_DARK;
+    private static readonly EXAMPLE_GRID_LIGHT;
+    private static readonly EXAMPLE_GRID_GRAY;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **All &lt;color&gt; regions have area &lt;size&gt;**
      *
@@ -1331,16 +1451,15 @@ declare global {
     withColor(color: Color): this;
     withSize(size: number): this;
   }
-
   export type ShapeRegions = {
     regions: {
-      positions: Position[];
+      positions: Position$1[];
       shape: Shape;
       count: number;
     }[];
     complete: boolean;
   };
-  export abstract class RegionShapeRule extends Rule {
+  export declare abstract class RegionShapeRule extends Rule {
     readonly color: Color;
     /**
      * @param color - The color of the regions to compare.
@@ -1349,23 +1468,11 @@ declare global {
     protected getShapeRegions(grid: GridData): ShapeRegions;
     withColor(color: Color): this;
   }
-
-  export interface SearchVariant {
-    description: string;
-    rule: Rule;
-  }
-  export abstract class Rule extends Instruction {
-    abstract validateGrid(grid: GridData): RuleState;
-    abstract get searchVariants(): SearchVariant[];
-    searchVariant(): SearchVariant;
-    get visibleWhenSolving(): boolean;
-    /**
-     * Whether only one instance of this rule is allowed in a grid.
-     */
-    get isSingleton(): boolean;
-  }
-
-  export class SameShapeRule extends RegionShapeRule {
+  export declare class SameShapeRule extends RegionShapeRule {
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID_LIGHT;
+    private static readonly EXAMPLE_GRID_DARK;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **All &lt;color&gt; areas have the same shape and size**
      *
@@ -1380,11 +1487,14 @@ declare global {
     validateGrid(grid: GridData): RuleState;
     copyWith({ color }: { color?: Color }): this;
   }
-
-  export class SymbolsPerRegionRule extends Rule {
+  export declare class SymbolsPerRegionRule extends Rule {
     readonly color: Color;
     readonly count: number;
     readonly comparison: Comparison;
+    private static readonly SYMBOL_POSITIONS;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRIDS;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **Exactly &lt;count&gt; symbols per &lt;color&gt; area**
      *
@@ -1411,9 +1521,11 @@ declare global {
     withColor(color: Color): this;
     withCount(count: number): this;
     withComparison(comparison: Comparison): this;
+    private static countAllSymbolsOfPosition;
   }
-
-  export class UndercluedRule extends Rule {
+  export declare class UndercluedRule extends Rule {
+    private static readonly EXAMPLE_GRID;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **Underclued Grid: Mark only what is definitely true**
      *
@@ -1429,8 +1541,11 @@ declare global {
     get validateWithSolution(): boolean;
     get isSingleton(): boolean;
   }
-
-  export class UniqueShapeRule extends RegionShapeRule {
+  export declare class UniqueShapeRule extends RegionShapeRule {
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID_LIGHT;
+    private static readonly EXAMPLE_GRID_DARK;
+    private static readonly SEARCH_VARIANTS;
     /**
      * **No two &lt;color&gt; areas have the same shape and size**
      *
@@ -1445,17 +1560,16 @@ declare global {
     validateGrid(grid: GridData): RuleState;
     copyWith({ color }: { color?: Color }): this;
   }
-
   /**
    * The master serializer for puzzles.
    *
    * It uses the default serializer when stringifying puzzles, and select the correct deserializer when parsing puzzles.
    */
-  const Serializer: {
+  export declare const Serializer: {
     stringifyRule(rule: Rule): string;
     parseRule(input: string): Rule;
-    stringifySymbol(symbol: Symbol): string;
-    parseSymbol(input: string): Symbol;
+    stringifySymbol(symbol: Symbol$1): string;
+    parseSymbol(input: string): Symbol$1;
     stringifyGrid(grid: GridData): string;
     parseGrid(input: string): GridData;
     /**
@@ -1471,23 +1585,7 @@ declare global {
      */
     parsePuzzle(input: string): Puzzle;
   };
-  export { Serializer };
-
-  /**
-   * The master compressor for compressing and decompressing strings.
-   *
-   * It compares the output of multiple compressors and selects the one with the smallest size (slow),
-   * and selects the correct decompressor when decompressing.
-   */
-  class MasterCompressor extends CompressorBase {
-    get id(): string;
-    compress(input: string): Promise<string>;
-    decompress(input: string): Promise<string>;
-  }
-  const Compressor: MasterCompressor;
-  export { Compressor };
-
-  export abstract class CompressorBase {
+  export declare abstract class CompressorBase {
     /**
      * The unique identifier for this compressor.
      */
@@ -1503,26 +1601,51 @@ declare global {
      */
     abstract decompress(input: string): Promise<string>;
   }
-
-  export class DeflateCompressor extends StreamCompressor {
+  declare class MasterCompressor extends CompressorBase {
     get id(): string;
-    protected get algorithm(): CompressionFormat;
     compress(input: string): Promise<string>;
     decompress(input: string): Promise<string>;
   }
-
-  export class GzipCompressor extends StreamCompressor {
+  export declare const Compressor: MasterCompressor;
+  export declare abstract class StreamCompressor extends CompressorBase {
+    protected abstract get algorithm(): CompressionFormat;
+    compress(input: string): Promise<string>;
+    decompress(input: string): Promise<string>;
+  }
+  export declare class DeflateCompressor extends StreamCompressor {
     get id(): string;
     protected get algorithm(): CompressionFormat;
-  }
-
-  export abstract class StreamCompressor extends CompressorBase {
-    protected abstract get algorithm(): CompressionFormat;
     compress(input: string): Promise<string>;
     decompress(input: string): Promise<string>;
   }
-
-  export class SerializerV0 extends SerializerBase {
+  export declare class GzipCompressor extends StreamCompressor {
+    get id(): string;
+    protected get algorithm(): CompressionFormat;
+  }
+  export declare abstract class SerializerBase {
+    abstract get version(): number;
+    abstract stringifyTile(tile: TileData): string;
+    abstract parseTile(str: string): TileData;
+    abstract stringifyRule(rule: Rule): string;
+    abstract stringifySymbol(symbol: Symbol$1): string;
+    abstract parseRule(str: string): Rule;
+    abstract parseSymbol(str: string): Symbol$1;
+    abstract stringifyConnections(connections: GridConnections): string;
+    abstract parseConnections(input: string): GridConnections;
+    abstract stringifyTiles(tiles: readonly (readonly TileData[])[]): string;
+    abstract parseTiles(input: string): TileData[][];
+    abstract stringifyRules(rules: readonly Rule[]): string;
+    abstract parseRules(input: string): Rule[];
+    abstract stringifySymbols(
+      symbols: ReadonlyMap<string, readonly Symbol$1[]>
+    ): string;
+    abstract parseSymbols(input: string): Map<string, Symbol$1[]>;
+    abstract stringifyGrid(grid: GridData): string;
+    abstract parseGrid(input: string): GridData;
+    abstract stringifyPuzzle(puzzle: Puzzle): string;
+    abstract parsePuzzle(input: string): Puzzle;
+  }
+  export declare class SerializerV0 extends SerializerBase {
     readonly version = 0;
     stringifyTile(tile: TileData): string;
     parseTile(str: string): TileData;
@@ -1535,93 +1658,107 @@ declare global {
     ): [string, unknown];
     stringifyInstruction(instruction: Instruction): string;
     stringifyRule(rule: Rule): string;
-    stringifySymbol(symbol: Symbol): string;
+    stringifySymbol(symbol: Symbol$1): string;
     parseRule(str: string): Rule;
-    parseSymbol(str: string): Symbol;
+    parseSymbol(str: string): Symbol$1;
     stringifyConnections(connections: GridConnections): string;
     parseConnections(input: string): GridConnections;
     stringifyTiles(tiles: readonly (readonly TileData[])[]): string;
     parseTiles(input: string): TileData[][];
     stringifyRules(rules: readonly Rule[]): string;
     parseRules(input: string): Rule[];
-    stringifySymbols(symbols: ReadonlyMap<string, readonly Symbol[]>): string;
-    parseSymbols(input: string): Map<string, Symbol[]>;
+    stringifySymbols(symbols: ReadonlyMap<string, readonly Symbol$1[]>): string;
+    parseSymbols(input: string): Map<string, Symbol$1[]>;
     stringifyGrid(grid: GridData): string;
     parseGrid(input: string): GridData;
     stringifyPuzzle(puzzle: Puzzle): string;
     parsePuzzle(input: string): Puzzle;
   }
-
-  export abstract class SerializerBase {
-    abstract get version(): number;
-    abstract stringifyTile(tile: TileData): string;
-    abstract parseTile(str: string): TileData;
-    abstract stringifyRule(rule: Rule): string;
-    abstract stringifySymbol(symbol: Symbol): string;
-    abstract parseRule(str: string): Rule;
-    abstract parseSymbol(str: string): Symbol;
-    abstract stringifyConnections(connections: GridConnections): string;
-    abstract parseConnections(input: string): GridConnections;
-    abstract stringifyTiles(tiles: readonly (readonly TileData[])[]): string;
-    abstract parseTiles(input: string): TileData[][];
-    abstract stringifyRules(rules: readonly Rule[]): string;
-    abstract parseRules(input: string): Rule[];
-    abstract stringifySymbols(
-      symbols: ReadonlyMap<string, readonly Symbol[]>
-    ): string;
-    abstract parseSymbols(input: string): Map<string, Symbol[]>;
-    abstract stringifyGrid(grid: GridData): string;
-    abstract parseGrid(input: string): GridData;
-    abstract stringifyPuzzle(puzzle: Puzzle): string;
-    abstract parsePuzzle(input: string): Puzzle;
-  }
-
-  export interface ShapeElement {
-    x: number;
-    y: number;
-    color: Color;
-  }
-  export interface Shape {
-    width: number;
-    height: number;
-    elements: ShapeElement[];
+  /**
+   * Base class that all solvers must extend.
+   */
+  export declare abstract class Solver {
+    /**
+     * The unique identifier of the solver.
+     *
+     * This is also displayed to the user when selecting a solver.
+     */
+    abstract get id(): string;
+    /**
+     * A short paragraph describing when the user should use this solver.
+     */
+    abstract get description(): string;
+    /**
+     * Solve the given grid. The implementation should delegate long-running tasks to a worker thread and yield solutions
+     * asynchronously.
+     *
+     * The solver must yield at least once, otherwise the UI will not update.
+     *
+     * If the solver finds no solution other than those already yielded, it should yield `null`. Yielding `null` on the
+     * first iteration indicates that the grid is unsolvable. Yielding `null` on the second iteration indicates that the
+     * solution is unique.
+     *
+     * In the current UI implementation, the solver will be terminated after yielding `null`, or after 2 iterations if
+     * `null` is never yielded. The solver should perform any necessary cleanup in the `finally` block of the generator.
+     *
+     * @param grid The grid to solve. The provided grid is guaranteed to be supported by the solver. Some tiles in the
+     * grid may already be filled by the user. It is up to the solver to decide whether to respect these tiles or not.
+     */
+    abstract solve(grid: GridData): AsyncGenerator<GridData | null>;
+    /**
+     * Check if the solver supports the current browser environment. This method is called once when the user first clicks
+     * the "Solve" button, and the result is cached for the duration of the editor session.
+     *
+     * The `solve` method will not be called if this method returns `false`, and a message will be displayed to the user
+     * indicating that the solver is not supported.
+     *
+     * @returns A promise that resolves to `true` if the environment is supported, or `false` otherwise.
+     */
+    isEnvironmentSupported(): Promise<boolean>;
+    /**
+     * Check if the solver supports the given instruction. This is used to render a small indication in the UI for each
+     * instruction in the editor.
+     *
+     * @param instructionId The unique identifier of the instruction.
+     */
+    isInstructionSupported(instructionId: string): boolean;
+    /**
+     * Check if the solver supports the given grid. This methid is frequently called when the user changes the grid, and
+     * the result is used to enable or disable the "Solve" button.
+     *
+     * The `solve` method will not be called if this method returns `false`, and a message will be displayed to the user
+     * indicating that the grid is not supported by this solver.
+     *
+     * @param grid The grid to check.
+     * @returns `true` if the grid is supported, or `false` otherwise.
+     */
+    isGridSupported(grid: GridData): boolean;
   }
-  export function shapeEquals(a: Shape, b: Shape): boolean;
-  export function tilesToShape(tiles: readonly (readonly TileData[])[]): Shape;
-  export function positionsToShape(positions: Position[], color: Color): Shape;
-  export function getShapeVariants(shape: Shape): Shape[];
-  export function normalizeShape(shape: Shape): Shape;
-
-  const allSolvers: Map<string, Solver>;
-  export { allSolvers };
-
-  export class BacktrackSolver extends Solver {
+  export declare const allSolvers: Map<string, Solver>;
+  export declare class BacktrackSolver extends Solver {
+    private static readonly supportedInstrs;
     readonly id = 'backtrack';
     readonly description =
       'Solves puzzles using backtracking with optimizations (blazingly fast). Support most rules and symbols (including underclued).';
     solve(grid: GridData): AsyncGenerator<GridData | null>;
     isInstructionSupported(instructionId: string): boolean;
   }
-
-  const _default: null;
-  export const _default;
-
-  export enum BTTile {
+  export declare enum BTTile {
     Empty = 0,
     Dark = 1,
     Light = 2,
     NonExist = 3,
   }
   export type BTColor = BTTile.Dark | BTTile.Light;
-  export class BTGridData {
+  export declare class BTGridData {
     readonly tiles: BTTile[][];
-    readonly connections: Position[][][];
+    readonly connections: Position$1[][][];
     readonly modules: BTModule[];
     readonly width: number;
     readonly height: number;
     constructor(
       tiles: BTTile[][],
-      connections: Position[][][],
+      connections: Position$1[][][],
       modules: BTModule[],
       width: number,
       height: number
@@ -1629,12 +1766,14 @@ declare global {
     getTile(x: number, y: number): BTTile;
     setTileWithConnection(x: number, y: number, tile: BTTile): void;
     isInBound(x: number, y: number): boolean;
-    getEdges(pos: Position): Position[];
+    getEdges(pos: Position$1): Position$1[];
     clone(): BTGridData;
   }
-  export class IntArray2D {
+  export declare class IntArray2D {
+    private readonly array;
     readonly width: number;
     readonly height: number;
+    private constructor();
     static create(width: number, height: number): IntArray2D;
     set(x: number, y: number, value: number): void;
     get(x: number, y: number): number;
@@ -1645,89 +1784,195 @@ declare global {
     ratings: Rating[] | null;
   }
   export interface Rating {
-    pos: Position;
+    pos: Position$1;
     score: number;
   }
-  export abstract class BTModule {
+  export declare abstract class BTModule {
     abstract checkGlobal(grid: BTGridData): CheckResult | false;
-    checkLocal(grid: BTGridData, _: Position[]): CheckResult | boolean;
+    checkLocal(grid: BTGridData, _: Position$1[]): CheckResult | boolean;
   }
-  export function getOppositeColor(color: BTColor): BTColor;
-  export function colorToBTTile(color: Color): BTTile;
-  export function createOneTileResult(
+  export declare function getOppositeColor(color: BTColor): BTColor;
+  export declare function colorToBTTile(color: Color): BTTile;
+  export declare function createOneTileResult(
     grid: BTGridData,
-    pos: Position,
+    pos: Position$1,
     score?: number | undefined
   ): CheckResult;
-
-  export class BanPatternBTModule extends BTModule {
+  export declare class BanPatternBTModule extends BTModule {
     instr: BanPatternRule;
     constructor(instr: BanPatternRule);
     checkGlobal(_: BTGridData): CheckResult | false;
-    checkLocal(grid: BTGridData, positions: Position[]): CheckResult | false;
+    checkLocal(grid: BTGridData, positions: Position$1[]): CheckResult | false;
   }
-
-  export class CellCountBTModule extends BTModule {
+  export declare class CellCountBTModule extends BTModule {
     instr: CellCountRule;
     constructor(instr: CellCountRule);
     checkGlobal(grid: BTGridData): CheckResult | false;
   }
-
-  export class ConnectAllBTModule extends BTModule {
+  export declare class ConnectAllBTModule extends BTModule {
     instr: ConnectAllRule;
     constructor(instr: ConnectAllRule);
     checkGlobal(grid: BTGridData): CheckResult | false;
   }
-
-  export class RegionAreaBTModule extends BTModule {
+  export declare class RegionAreaBTModule extends BTModule {
     instr: RegionAreaRule;
     constructor(instr: RegionAreaRule);
     checkGlobal(grid: BTGridData): CheckResult | false;
+    private visitArea;
   }
-
-  export abstract class RegionShapeBTModule extends BTModule {
+  export declare abstract class RegionShapeBTModule extends BTModule {
     instr: RegionShapeRule;
     constructor(instr: RegionShapeRule);
     protected getShapeRegions(grid: BTGridData): ShapeRegions['regions'];
+    private visitArea;
   }
-
-  export class SameShapeBTModule extends RegionShapeBTModule {
+  export declare class SameShapeBTModule extends RegionShapeBTModule {
     instr: SameShapeRule;
     constructor(instr: SameShapeRule);
     checkGlobal(grid: BTGridData): CheckResult | false;
   }
-
-  export class SymbolsPerRegionBTModule extends BTModule {
+  export declare class SymbolsPerRegionBTModule extends BTModule {
     instr: SymbolsPerRegionRule;
+    private symbolCount;
     constructor(
       instr: SymbolsPerRegionRule,
       width: number,
       height: number,
-      allSymbols: Symbol[]
+      allSymbols: Symbol$1[]
     );
     checkGlobal(grid: BTGridData): CheckResult | false;
+    private visitArea;
   }
-
-  export class UniqueShapeBTModule extends RegionShapeBTModule {
+  export declare class UniqueShapeBTModule extends RegionShapeBTModule {
     instr: UniqueShapeRule;
     constructor(instr: UniqueShapeRule);
     checkGlobal(grid: BTGridData): CheckResult | false;
   }
-
-  export class AreaNumberBTModule extends BTModule {
+  /**
+   * All symbols which contain a number should extend this class to be compatible with off by X rules.
+   */
+  export declare abstract class NumberSymbol extends Symbol$1 {
+    readonly x: number;
+    readonly y: number;
+    readonly number: number;
+    constructor(x: number, y: number, number: number);
+    abstract countTiles(grid: GridData): {
+      completed: number;
+      possible: number;
+    };
+    validateSymbol(grid: GridData): State;
+    withNumber(number: number): this;
+  }
+  export declare class AreaNumberSymbol extends NumberSymbol {
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    /**
+     * **Area Numbers must equal region sizes**
+     *
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param number - The area number.
+     */
+    constructor(x: number, y: number, number: number);
+    get id(): string;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    countTiles(grid: GridData): {
+      completed: number;
+      possible: number;
+    };
+    copyWith({
+      x,
+      y,
+      number,
+    }: {
+      x?: number;
+      y?: number;
+      number?: number;
+    }): this;
+    withNumber(number: number): this;
+  }
+  export declare class AreaNumberBTModule extends BTModule {
     instr: AreaNumberSymbol;
     constructor(instr: AreaNumberSymbol);
     checkGlobal(grid: BTGridData): CheckResult | false;
-    checkLocal(grid: BTGridData, positions: Position[]): CheckResult | boolean;
+    checkLocal(
+      grid: BTGridData,
+      positions: Position$1[]
+    ): CheckResult | boolean;
   }
-
-  export class DartBTModule extends BTModule {
+  export declare class DartSymbol extends NumberSymbol {
+    readonly orientation: Orientation;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    /**
+     * **Darts count opposite color cells in that direction**
+     *
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param number - The number of cells seen by the symbol.
+     * @param orientation - The orientation of the symbol.
+     */
+    constructor(x: number, y: number, number: number, orientation: Orientation);
+    get id(): string;
+    get placementStep(): number;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    countTiles(grid: GridData): {
+      completed: number;
+      possible: number;
+    };
+    copyWith({
+      x,
+      y,
+      number,
+      orientation,
+    }: {
+      x?: number;
+      y?: number;
+      number?: number;
+      orientation?: Orientation;
+    }): this;
+    withNumber(number: number): this;
+  }
+  export declare class DartBTModule extends BTModule {
     instr: DartSymbol;
+    private cachedCheckResult?;
     constructor(instr: DartSymbol);
     checkGlobal(grid: BTGridData): CheckResult | false;
+    private buildCheckAndRating;
   }
-
-  export abstract class DirectionLinkerBTModule extends BTModule {
+  export type DirectionLinkerMap = {
+    [key in Direction]: Direction;
+  };
+  export declare class DirectionLinkerSymbol extends Symbol$1 {
+    readonly x: number;
+    readonly y: number;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    private static readonly directionDeltas;
+    private linkedDirections;
+    /**
+     * **Darts count opposite color cells in that direction**
+     *
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     */
+    constructor(x: number, y: number);
+    changeDirections(linkedDirections: DirectionLinkerMap): this;
+    get id(): string;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    private getColor;
+    private deltaCoordinate;
+    validateSymbol(grid: GridData): State;
+    copyWith({ x, y }: { x?: number; y?: number }): this;
+    private getInitialCheckedCouples;
+  }
+  export declare abstract class DirectionLinkerBTModule extends BTModule {
     instr: DirectionLinkerSymbol;
     constructor(instr: DirectionLinkerSymbol);
     checkGlobal(grid: BTGridData): CheckResult | false;
@@ -1735,212 +1980,250 @@ declare global {
       grid: BTGridData,
       x: number,
       y: number
-    ): Position | null;
+    ): Position$1 | null;
   }
-
-  export class GalaxyBTModule extends DirectionLinkerBTModule {
+  export declare class GalaxySymbol extends DirectionLinkerSymbol {
+    readonly x: number;
+    readonly y: number;
+    private static readonly linkedDirections;
+    /**
+     * **Galaxies are centers of rotational symmetry**
+     *
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     */
+    constructor(x: number, y: number);
+    get id(): string;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    validateSymbol(grid: GridData): State;
+    copyWith({ x, y }: { x?: number; y?: number }): this;
+  }
+  export declare class GalaxyBTModule extends DirectionLinkerBTModule {
     instr: GalaxySymbol;
     constructor(instr: GalaxySymbol);
-    protected movePos(grid: BTGridData, x: number, y: number): Position | null;
+    protected movePos(
+      grid: BTGridData,
+      x: number,
+      y: number
+    ): Position$1 | null;
+  }
+  export declare class LetterSymbol extends Symbol$1 {
+    readonly x: number;
+    readonly y: number;
+    readonly letter: string;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    /**
+     * **Letters must be sorted into one type per area**
+     *
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param letter - The letter of the symbol.
+     */
+    constructor(x: number, y: number, letter: string);
+    get id(): string;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    validateSymbol(grid: GridData): State;
+    copyWith({
+      x,
+      y,
+      letter,
+    }: {
+      x?: number;
+      y?: number;
+      letter?: string;
+    }): this;
+    withLetter(letter: string): this;
   }
-
-  export class LetterBTModule extends BTModule {
+  export declare class LetterBTModule extends BTModule {
+    private letters;
+    private letterGrid;
     constructor(instrs: LetterSymbol[], width: number, height: number);
     checkGlobal(grid: BTGridData): CheckResult | false;
+    private visitArea;
   }
-
-  export class LotusBTModule extends DirectionLinkerBTModule {
+  export declare class LotusSymbol extends DirectionLinkerSymbol {
+    readonly x: number;
+    readonly y: number;
+    readonly orientation: Orientation;
+    private static readonly linkedDirectionsFromOrientation;
+    /**
+     * **Areas containing this symbol must be symmetrical**
+     *
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param orientation - The orientation of the symbol.
+     */
+    constructor(x: number, y: number, orientation: Orientation);
+    get id(): string;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    validateSymbol(grid: GridData): State;
+    copyWith({
+      x,
+      y,
+      orientation,
+    }: {
+      x?: number;
+      y?: number;
+      orientation?: Orientation;
+    }): this;
+  }
+  export declare class LotusBTModule extends DirectionLinkerBTModule {
     instr: LotusSymbol;
     constructor(instr: LotusSymbol);
-    protected movePos(grid: BTGridData, x: number, y: number): Position | null;
+    protected movePos(
+      grid: BTGridData,
+      x: number,
+      y: number
+    ): Position$1 | null;
   }
-
-  export class MinesweeperBTModule extends BTModule {
+  export declare class MinesweeperSymbol extends NumberSymbol {
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    /**
+     * **Minesweeper numbers count opposite cells in 8 adjacent spaces**
+     *
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param number - The number of cells seen by the symbol.
+     */
+    constructor(x: number, y: number, number: number);
+    get id(): string;
+    get placementStep(): number;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    countTiles(grid: GridData): {
+      completed: number;
+      possible: number;
+    };
+    copyWith({
+      x,
+      y,
+      number,
+    }: {
+      x?: number;
+      y?: number;
+      number?: number;
+    }): this;
+    withNumber(number: number): this;
+  }
+  export declare class MinesweeperBTModule extends BTModule {
     instr: MinesweeperSymbol;
+    private cachedCheckResult?;
     constructor(instr: MinesweeperSymbol);
     checkGlobal(grid: BTGridData): CheckResult | false;
+    private buildCheckAndRating;
   }
-
-  export class MyopiaBTModule extends BTModule {
-    instr: MyopiaSymbol;
-    constructor(instr: MyopiaSymbol);
-    checkGlobal(grid: BTGridData): CheckResult | false;
-  }
-
-  export class ViewpointBTModule extends BTModule {
-    instr: ViewpointSymbol;
-    constructor(instr: ViewpointSymbol);
-    checkGlobal(grid: BTGridData): CheckResult | false;
-  }
-
-  /**
-   * Base class that all solvers must extend.
-   */
-  export abstract class Solver {
-    /**
-     * The unique identifier of the solver.
-     *
-     * This is also displayed to the user when selecting a solver.
-     */
-    abstract get id(): string;
-    /**
-     * A short paragraph describing when the user should use this solver.
-     */
-    abstract get description(): string;
-    /**
-     * Solve the given grid. The implementation should delegate long-running tasks to a worker thread and yield solutions
-     * asynchronously.
-     *
-     * The solver must yield at least once, otherwise the UI will not update.
-     *
-     * If the solver finds no solution other than those already yielded, it should yield `null`. Yielding `null` on the
-     * first iteration indicates that the grid is unsolvable. Yielding `null` on the second iteration indicates that the
-     * solution is unique.
-     *
-     * In the current UI implementation, the solver will be terminated after yielding `null`, or after 2 iterations if
-     * `null` is never yielded. The solver should perform any necessary cleanup in the `finally` block of the generator.
-     *
-     * @param grid The grid to solve. The provided grid is guaranteed to be supported by the solver. Some tiles in the
-     * grid may already be filled by the user. It is up to the solver to decide whether to respect these tiles or not.
-     */
-    abstract solve(grid: GridData): AsyncGenerator<GridData | null>;
-    /**
-     * Check if the solver supports the current browser environment. This method is called once when the user first clicks
-     * the "Solve" button, and the result is cached for the duration of the editor session.
-     *
-     * The `solve` method will not be called if this method returns `false`, and a message will be displayed to the user
-     * indicating that the solver is not supported.
-     *
-     * @returns A promise that resolves to `true` if the environment is supported, or `false` otherwise.
-     */
-    isEnvironmentSupported(): Promise<boolean>;
+  export declare abstract class MultiEntrySymbol extends Symbol$1 {
     /**
-     * Check if the solver supports the given instruction. This is used to render a small indication in the UI for each
-     * instruction in the editor.
-     *
-     * @param instructionId The unique identifier of the instruction.
+     * Determines if the description of two MultiEntrySymbols can be merged when displayed in the UI.
+     * @param other - The other MultiEntrySymbol to compare to.
+     * @returns Whether the two MultiEntrySymbols have the same description.
      */
-    isInstructionSupported(instructionId: string): boolean;
+    descriptionEquals(other: Instruction): boolean;
+  }
+  export declare class MyopiaSymbol extends MultiEntrySymbol {
+    readonly diagonals: boolean;
+    readonly directions: OrientationToggle;
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    private static readonly EXAMPLE_DIAGONAL_GRID;
     /**
-     * Check if the solver supports the given grid. This methid is frequently called when the user changes the grid, and
-     * the result is used to enable or disable the "Solve" button.
-     *
-     * The `solve` method will not be called if this method returns `false`, and a message will be displayed to the user
-     * indicating that the grid is not supported by this solver.
-     *
-     * @param grid The grid to check.
-     * @returns `true` if the grid is supported, or `false` otherwise.
+     * **Viewpoint Numbers count visible cells in the four directions**
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param diagonals - Whether the symbol should consider diagonal directions.
+     * @param directions - The directions in which an arrow is pointing.
      */
-    isGridSupported(grid: GridData): boolean;
-  }
-
-  export class UndercluedSolver extends Solver {
-    readonly id = 'underclued';
-    readonly description =
-      'Solves every puzzle as if it were underclued. Supports all rules and symbols and is decently fast for small puzzles. Very slow for large puzzles.';
-    solve(grid: GridData): AsyncGenerator<GridData | null>;
-    isInstructionSupported(instructionId: string): boolean;
-  }
-
-  const _default: null;
-  export const _default;
-
-  export class AreaNumberModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>
-    ): void;
-  }
-
-  export class CellCountModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>
-    ): void;
-  }
-
-  export class ConnectAllModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>
-    ): void;
-  }
-
-  export class DartModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>
-    ): void;
-  }
-
-  const allZ3Modules: Map<string, Z3Module>;
-  export { allZ3Modules };
-
-  export class LetterModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>
-    ): void;
-  }
-
-  export class MyopiaModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>
-    ): void;
-  }
-
-  export class RegionAreaModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>
-    ): void;
+    constructor(
+      x: number,
+      y: number,
+      diagonals: boolean,
+      directions: OrientationToggle
+    );
+    get id(): string;
+    get placementStep(): number;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    validateSymbol(grid: GridData): State;
+    copyWith({
+      x,
+      y,
+      diagonals,
+      directions,
+    }: {
+      x?: number;
+      y?: number;
+      diagonals?: boolean;
+      directions?: OrientationToggle;
+    }): this;
+    withDirections(directions: OrientationToggle): this;
+    withDiagonals(diagonals: boolean): this;
   }
-
-  export class ViewpointModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>
-    ): void;
+  export declare class MyopiaBTModule extends BTModule {
+    instr: MyopiaSymbol;
+    constructor(instr: MyopiaSymbol);
+    checkGlobal(grid: BTGridData): CheckResult | false;
   }
-
-  export abstract class Z3Module {
-    abstract get id(): string;
-    abstract encode<Name extends string>(
-      grid: GridData,
-      ctx: Z3SolverContext<Name>
-    ): void;
+  export declare class ViewpointSymbol extends NumberSymbol {
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    /**
+     * **Viewpoint Numbers count visible cells in the four directions**
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param number - The viewpoint number.
+     */
+    constructor(x: number, y: number, number: number);
+    get id(): string;
+    get placementStep(): number;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    private countForColor;
+    countTiles(grid: GridData): {
+      completed: number;
+      possible: number;
+    };
+    copyWith({
+      x,
+      y,
+      number,
+    }: {
+      x?: number;
+      y?: number;
+      number?: number;
+    }): this;
+    withNumber(number: number): this;
   }
-
-  export function convertDirection(
-    direction: Orientation | Direction
-  ): import('grilops').Direction;
-
-  export class Z3Solver extends Solver {
-    readonly id = 'z3';
+  export declare class ViewpointBTModule extends BTModule {
+    instr: ViewpointSymbol;
+    constructor(instr: ViewpointSymbol);
+    checkGlobal(grid: BTGridData): CheckResult | false;
+  }
+  export declare class UndercluedSolver extends Solver {
+    readonly id = 'underclued';
     readonly description =
-      'Good for confirming that a solution is unique, especially for larger puzzles. It is otherwise slower than most solvers in small to medium-sized puzzles.';
-    isEnvironmentSupported(): Promise<boolean>;
+      'Solves every puzzle as if it were underclued. Supports all rules and symbols and is decently fast for small puzzles. Very slow for large puzzles.';
     solve(grid: GridData): AsyncGenerator<GridData | null>;
     isInstructionSupported(instructionId: string): boolean;
-    isGridSupported(grid: GridData): boolean;
   }
-
-  export class Z3SolverContext<
+  export declare class Z3SolverContext<
     Name extends string,
-    const Core extends Solver<Name> | Optimize<Name> =
-      | Solver<Name>
+    const Core extends Solver$1<Name> | Optimize<Name> =
+      | Solver$1<Name>
       | Optimize<Name>,
   > {
     readonly grid: SymbolGrid<Name, Core>;
+    private _regionConstrainer;
     constructor(grid: SymbolGrid<Name, Core>);
     get solver(): Core;
     get lattice(): import('grilops').Lattice;
@@ -5377,478 +5660,194 @@ declare global {
     };
     get regionConstrainer(): RegionConstrainer<Name, Core>;
   }
-
-  export class AreaNumberSymbol extends NumberSymbol {
-    /**
-     * **Area Numbers must equal region sizes**
-     *
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     * @param number - The area number.
-     */
-    constructor(x: number, y: number, number: number);
-    get id(): string;
-    get explanation(): string;
-    get configs(): readonly AnyConfig[] | null;
-    createExampleGrid(): GridData;
-    countTiles(grid: GridData): {
-      completed: number;
-      possible: number;
-    };
-    copyWith({
-      x,
-      y,
-      number,
-    }: {
-      x?: number;
-      y?: number;
-      number?: number;
-    }): this;
-    withNumber(number: number): this;
-  }
-
-  export type IconString = keyof typeof Md;
-  export class CustomIconSymbol extends CustomSymbol {
-    readonly icon: IconString;
-    readonly rotation: number;
-    /**
-     * **A custom icon symbol**
-     *
-     * @param description - The description of the symbol. Leave this empty to hide the description.
-     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     * @param icon - The icon to display. All available icons can be found at https://react-icons.github.io/react-icons/icons/md/
-     * @param rotation - The rotation of the icon in degrees.
-     */
-    constructor(
-      description: string,
+  export declare abstract class Z3Module {
+    abstract get id(): string;
+    abstract encode<Name extends string>(
       grid: GridData,
-      x: number,
-      y: number,
-      icon: IconString,
-      rotation?: number
-    );
-    get id(): string;
-    get configs(): readonly AnyConfig[] | null;
-    copyWith({
-      description,
-      grid,
-      x,
-      y,
-      icon,
-      rotation,
-    }: {
-      description?: string;
-      grid?: GridData;
-      x?: number;
-      y?: number;
-      icon?: IconString;
-      rotation?: number;
-    }): this;
-    withIcon(icon: IconString): this;
-    withRotation(rotation: number): this;
-  }
-
-  export abstract class CustomSymbol extends MultiEntrySymbol {
-    readonly description: string;
-    readonly grid: GridData;
-    /**
-     * **A custom symbol**
-     *
-     * @param description - The description of the symbol. Leave this empty to hide the description.
-     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     */
-    constructor(description: string, grid: GridData, x: number, y: number);
-    get explanation(): string;
-    createExampleGrid(): GridData;
-    validateSymbol(_grid: GridData): State;
-    get validateWithSolution(): boolean;
-    withDescription(description: string): this;
-    withGrid(grid: GridData): this;
+      ctx: Z3SolverContext<Name>
+    ): void;
   }
-
-  export class CustomTextSymbol extends CustomSymbol {
-    readonly text: string;
-    readonly rotation: number;
-    /**
-     * **A custom text symbol**
-     *
-     * @param description - The description of the symbol. Leave this empty to hide the description.
-     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     * @param text - The text to display.
-     * @param rotation - The rotation of the text in degrees.
-     */
-    constructor(
-      description: string,
+  export declare class AreaNumberModule extends Z3Module {
+    readonly id: string;
+    encode<Name extends string>(
       grid: GridData,
-      x: number,
-      y: number,
-      text: string,
-      rotation?: number
-    );
-    get id(): string;
-    get configs(): readonly AnyConfig[] | null;
-    copyWith({
-      description,
-      grid,
-      x,
-      y,
-      text,
-      rotation,
-    }: {
-      description?: string;
-      grid?: GridData;
-      x?: number;
-      y?: number;
-      text?: string;
-      rotation?: number;
-    }): this;
-    withText(text: string): this;
-    withRotation(rotation: number): this;
+      ctx: Z3SolverContext<Name, Solver$1<Name> | Optimize<Name>>
+    ): void;
   }
-
-  export class DartSymbol extends NumberSymbol {
-    readonly orientation: Orientation;
-    /**
-     * **Darts count opposite color cells in that direction**
-     *
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     * @param number - The number of cells seen by the symbol.
-     * @param orientation - The orientation of the symbol.
-     */
-    constructor(x: number, y: number, number: number, orientation: Orientation);
-    get id(): string;
-    get placementStep(): number;
-    get explanation(): string;
-    get configs(): readonly AnyConfig[] | null;
-    createExampleGrid(): GridData;
-    countTiles(grid: GridData): {
-      completed: number;
-      possible: number;
-    };
-    copyWith({
-      x,
-      y,
-      number,
-      orientation,
-    }: {
-      x?: number;
-      y?: number;
-      number?: number;
-      orientation?: Orientation;
-    }): this;
-    withNumber(number: number): this;
+  export declare class CellCountModule extends Z3Module {
+    readonly id: string;
+    encode<Name extends string>(
+      grid: GridData,
+      ctx: Z3SolverContext<Name, Solver$1<Name> | Optimize<Name>>
+    ): void;
   }
-
-  export type DirectionLinkerMap = {
-    [key in Direction]: Direction;
-  };
-  export class DirectionLinkerSymbol extends Symbol {
-    readonly x: number;
-    readonly y: number;
-    /**
-     * **Darts count opposite color cells in that direction**
-     *
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     */
-    constructor(x: number, y: number);
-    changeDirections(linkedDirections: DirectionLinkerMap): this;
-    get id(): string;
-    get explanation(): string;
-    get configs(): readonly AnyConfig[] | null;
-    createExampleGrid(): GridData;
-    validateSymbol(grid: GridData): State;
-    copyWith({ x, y }: { x?: number; y?: number }): this;
+  export declare class ConnectAllModule extends Z3Module {
+    readonly id: string;
+    encode<Name extends string>(
+      grid: GridData,
+      ctx: Z3SolverContext<Name, Solver$1<Name> | Optimize<Name>>
+    ): void;
   }
-
-  export class GalaxySymbol extends DirectionLinkerSymbol {
-    readonly x: number;
-    readonly y: number;
-    /**
-     * **Galaxies are centers of rotational symmetry**
-     *
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     */
-    constructor(x: number, y: number);
-    get id(): string;
-    get explanation(): string;
-    get configs(): readonly AnyConfig[] | null;
-    createExampleGrid(): GridData;
-    validateSymbol(grid: GridData): State;
-    copyWith({ x, y }: { x?: number; y?: number }): this;
+  export declare class DartModule extends Z3Module {
+    readonly id: string;
+    encode<Name extends string>(
+      grid: GridData,
+      ctx: Z3SolverContext<Name, Solver$1<Name> | Optimize<Name>>
+    ): void;
   }
-
-  const allSymbols: Map<string, Symbol>;
-  export { allSymbols };
-
-  export class LetterSymbol extends Symbol {
-    readonly x: number;
-    readonly y: number;
-    readonly letter: string;
-    /**
-     * **Letters must be sorted into one type per area**
-     *
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     * @param letter - The letter of the symbol.
-     */
-    constructor(x: number, y: number, letter: string);
-    get id(): string;
-    get explanation(): string;
-    get configs(): readonly AnyConfig[] | null;
-    createExampleGrid(): GridData;
-    validateSymbol(grid: GridData): State;
-    copyWith({
-      x,
-      y,
-      letter,
-    }: {
-      x?: number;
-      y?: number;
-      letter?: string;
-    }): this;
-    withLetter(letter: string): this;
+  export declare const allZ3Modules: Map<string, Z3Module>;
+  export declare class LetterModule extends Z3Module {
+    readonly id: string;
+    encode<Name extends string>(
+      grid: GridData,
+      ctx: Z3SolverContext<Name, Solver$1<Name> | Optimize<Name>>
+    ): void;
   }
-
-  export class LotusSymbol extends DirectionLinkerSymbol {
-    readonly x: number;
-    readonly y: number;
-    readonly orientation: Orientation;
-    /**
-     * **Areas containing this symbol must be symmetrical**
-     *
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     * @param orientation - The orientation of the symbol.
-     */
-    constructor(x: number, y: number, orientation: Orientation);
-    get id(): string;
-    get explanation(): string;
-    get configs(): readonly AnyConfig[] | null;
-    createExampleGrid(): GridData;
-    validateSymbol(grid: GridData): State;
-    copyWith({
-      x,
-      y,
-      orientation,
-    }: {
-      x?: number;
-      y?: number;
-      orientation?: Orientation;
-    }): this;
+  export declare class MyopiaModule extends Z3Module {
+    readonly id: string;
+    encode<Name extends string>(
+      grid: GridData,
+      ctx: Z3SolverContext<Name, Solver$1<Name> | Optimize<Name>>
+    ): void;
   }
-
-  export class MinesweeperSymbol extends NumberSymbol {
+  export declare class RegionAreaModule extends Z3Module {
+    readonly id: string;
+    encode<Name extends string>(
+      grid: GridData,
+      ctx: Z3SolverContext<Name, Solver$1<Name> | Optimize<Name>>
+    ): void;
+  }
+  export declare class ViewpointModule extends Z3Module {
+    readonly id: string;
+    encode<Name extends string>(
+      grid: GridData,
+      ctx: Z3SolverContext<Name, Solver$1<Name> | Optimize<Name>>
+    ): void;
+  }
+  export declare function convertDirection(
+    direction: Orientation | Direction
+  ): import('grilops').Direction;
+  export declare class Z3Solver extends Solver {
+    readonly id = 'z3';
+    readonly description =
+      'Good for confirming that a solution is unique, especially for larger puzzles. It is otherwise slower than most solvers in small to medium-sized puzzles.';
+    isEnvironmentSupported(): Promise<boolean>;
+    solve(grid: GridData): AsyncGenerator<GridData | null>;
+    isInstructionSupported(instructionId: string): boolean;
+    isGridSupported(grid: GridData): boolean;
+  }
+  export declare abstract class CustomSymbol extends MultiEntrySymbol {
+    readonly description: string;
+    readonly grid: GridData;
     /**
-     * **Minesweeper numbers count opposite cells in 8 adjacent spaces**
+     * **A custom symbol**
      *
+     * @param description - The description of the symbol. Leave this empty to hide the description.
+     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
      * @param x - The x-coordinate of the symbol.
      * @param y - The y-coordinate of the symbol.
-     * @param number - The number of cells seen by the symbol.
      */
-    constructor(x: number, y: number, number: number);
-    get id(): string;
-    get placementStep(): number;
+    constructor(description: string, grid: GridData, x: number, y: number);
     get explanation(): string;
-    get configs(): readonly AnyConfig[] | null;
     createExampleGrid(): GridData;
-    countTiles(grid: GridData): {
-      completed: number;
-      possible: number;
-    };
-    copyWith({
-      x,
-      y,
-      number,
-    }: {
-      x?: number;
-      y?: number;
-      number?: number;
-    }): this;
-    withNumber(number: number): this;
-  }
-
-  export abstract class MultiEntrySymbol extends Symbol {
-    /**
-     * Determines if the description of two MultiEntrySymbols can be merged when displayed in the UI.
-     * @param other - The other MultiEntrySymbol to compare to.
-     * @returns Whether the two MultiEntrySymbols have the same description.
-     */
-    descriptionEquals(other: Instruction): boolean;
+    validateSymbol(_grid: GridData): State;
+    get validateWithSolution(): boolean;
+    withDescription(description: string): this;
+    withGrid(grid: GridData): this;
   }
-
-  export class MyopiaSymbol extends MultiEntrySymbol {
-    readonly diagonals: boolean;
-    readonly directions: OrientationToggle;
+  export declare class CustomIconSymbol extends CustomSymbol {
+    readonly icon: string;
+    readonly rotation: number;
+    private static readonly EXAMPLE_GRID;
+    private static readonly CONFIGS;
     /**
-     * **Viewpoint Numbers count visible cells in the four directions**
+     * **A custom icon symbol**
+     *
+     * @param description - The description of the symbol. Leave this empty to hide the description.
+     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
      * @param x - The x-coordinate of the symbol.
      * @param y - The y-coordinate of the symbol.
-     * @param diagonals - Whether the symbol should consider diagonal directions.
-     * @param directions - The directions in which an arrow is pointing.
+     * @param icon - The icon to display. All available icons can be found at https://react-icons.github.io/react-icons/icons/md/
+     * @param rotation - The rotation of the icon in degrees.
      */
     constructor(
+      description: string,
+      grid: GridData,
       x: number,
       y: number,
-      diagonals: boolean,
-      directions: OrientationToggle
+      icon: string,
+      rotation?: number
     );
     get id(): string;
-    get placementStep(): number;
-    get explanation(): string;
     get configs(): readonly AnyConfig[] | null;
-    createExampleGrid(): GridData;
-    validateSymbol(grid: GridData): State;
     copyWith({
+      description,
+      grid,
       x,
       y,
-      diagonals,
-      directions,
+      icon,
+      rotation,
     }: {
+      description?: string;
+      grid?: GridData;
       x?: number;
       y?: number;
-      diagonals?: boolean;
-      directions?: OrientationToggle;
+      icon?: string;
+      rotation?: number;
     }): this;
-    withDirections(directions: OrientationToggle): this;
-    withDiagonals(diagonals: boolean): this;
-  }
-
-  /**
-   * All symbols which contain a number should extend this class to be compatible with off by X rules.
-   */
-  export abstract class NumberSymbol extends Symbol {
-    readonly x: number;
-    readonly y: number;
-    readonly number: number;
-    constructor(x: number, y: number, number: number);
-    abstract countTiles(grid: GridData): {
-      completed: number;
-      possible: number;
-    };
-    validateSymbol(grid: GridData): State;
-    withNumber(number: number): this;
-  }
-
-  export abstract class Symbol
-    extends Instruction
-    implements GridResizeHandler
-  {
-    readonly x: number;
-    readonly y: number;
-    constructor(x: number, y: number);
-    abstract validateSymbol(grid: GridData): State;
-    onGridResize(
-      _grid: GridData,
-      mode: 'insert' | 'remove',
-      direction: 'row' | 'column',
-      index: number
-    ): this | null;
-    get placementStep(): number;
-    withX(x: number): this;
-    withY(y: number): this;
-    withPosition(x: number, y: number): this;
+    withIcon(icon: string): this;
+    withRotation(rotation: number): this;
   }
-
-  export class ViewpointSymbol extends NumberSymbol {
+  export declare class CustomTextSymbol extends CustomSymbol {
+    readonly text: string;
+    readonly rotation: number;
+    private static readonly EXAMPLE_GRID;
+    private static readonly CONFIGS;
     /**
-     * **Viewpoint Numbers count visible cells in the four directions**
+     * **A custom text symbol**
+     *
+     * @param description - The description of the symbol. Leave this empty to hide the description.
+     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
      * @param x - The x-coordinate of the symbol.
      * @param y - The y-coordinate of the symbol.
-     * @param number - The viewpoint number.
+     * @param text - The text to display.
+     * @param rotation - The rotation of the text in degrees.
      */
-    constructor(x: number, y: number, number: number);
+    constructor(
+      description: string,
+      grid: GridData,
+      x: number,
+      y: number,
+      text: string,
+      rotation?: number
+    );
     get id(): string;
-    get placementStep(): number;
-    get explanation(): string;
     get configs(): readonly AnyConfig[] | null;
-    createExampleGrid(): GridData;
-    countTiles(grid: GridData): {
-      completed: number;
-      possible: number;
-    };
     copyWith({
+      description,
+      grid,
       x,
       y,
-      number,
+      text,
+      rotation,
     }: {
+      description?: string;
+      grid?: GridData;
       x?: number;
       y?: number;
-      number?: number;
-    }): this;
-    withNumber(number: number): this;
-  }
-
-  export class TileData {
-    readonly exists: boolean;
-    readonly fixed: boolean;
-    readonly color: Color;
-    constructor(exists: boolean, fixed: boolean, color: Color);
-    /**
-     * Create a gray tile.
-     */
-    static empty(): TileData;
-    /**
-     * Create a non-existent tile.
-     */
-    static doesNotExist(): TileData;
-    copyWith({
-      exists,
-      fixed,
-      color,
-    }: {
-      exists?: boolean;
-      fixed?: boolean;
-      color?: Color;
+      text?: string;
+      rotation?: number;
     }): this;
-    withExists(exists: boolean): this;
-    withFixed(fixed: boolean): this;
-    withColor(color: Color): this;
-    get isFixed(): boolean;
-    equals(other: TileData): boolean;
-    static create(char: string): TileData;
-  }
-
-  export class TileConnections {
-    [y: number]: {
-      [x: number]: boolean;
-    };
-    constructor();
-    get topLeft(): boolean;
-    set topLeft(value: boolean);
-    get top(): boolean;
-    set top(value: boolean);
-    get topRight(): boolean;
-    set topRight(value: boolean);
-    get left(): boolean;
-    set left(value: boolean);
-    get center(): boolean;
-    set center(value: boolean);
-    get right(): boolean;
-    set right(value: boolean);
-    get bottomLeft(): boolean;
-    set bottomLeft(value: boolean);
-    get bottom(): boolean;
-    set bottom(value: boolean);
-    get bottomRight(): boolean;
-    set bottomRight(value: boolean);
-    equals(other: TileConnections): boolean;
+    withText(text: string): this;
+    withRotation(rotation: number): this;
   }
-
-  export function aggregateState(
+  export declare const allSymbols: Map<string, Symbol$1>;
+  export declare function aggregateState(
     rules: RuleState[],
     grid: GridData,
     symbols: Map<string, State[]>
   ): State;
-  export function applyFinalOverrides(
+  export declare function applyFinalOverrides(
     grid: GridData,
     solution: GridData | null,
     state: GridState
@@ -5858,7 +5857,11 @@ declare global {
     solution: GridData | null
   ): GridState;
 
-  export { Symbol as _Symbol };
+  export { Symbol$1 as Symbol, escape$1 as escape, unescape$1 as unescape };
+
+  export {};
+
+  export { Symbol$1 as _Symbol };
 }
 export {};