@logic-pad/core 0.3.0 → 0.4.0

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

@@ -188,6 +188,13 @@ declare global {
     x: number;
     y: number;
   };
+  /**
+   * Check if two edges are the same, regardless of direction.
+   * @param a The first edge.
+   * @param b The second edge.
+   * @returns Whether the edges are the same.
+   */
+  export declare function isSameEdge(a: Edge, b: Edge): boolean;
   /**
    * Convert the given direction to a rotation in degrees.
    * @param direction The direction to convert.
@@ -577,6 +584,7 @@ declare global {
     get validateWithSolution(): boolean;
     get isSingleton(): boolean;
   }
+  export declare const NEIGHBOR_OFFSETS: Position$1[];
   export declare class GridData {
     readonly width: number;
     readonly height: number;
@@ -1031,6 +1039,7 @@ declare global {
     ControlLines = 'controlLines',
     NullableNote = 'nullableNote',
     SolvePath = 'solvePath',
+    Edges = 'edges',
   }
   export interface Config<T> {
     readonly type: ConfigType;
@@ -1104,6 +1113,9 @@ declare global {
   export interface SolvePathConfig extends Config<Position$1[]> {
     readonly type: ConfigType.SolvePath;
   }
+  export interface EdgesConfig extends Config<Edge[]> {
+    readonly type: ConfigType.Edges;
+  }
   export type AnyConfig =
     | BooleanConfig
     | NullableBooleanConfig
@@ -1122,7 +1134,8 @@ declare global {
     | IconConfig
     | ControlLinesConfig
     | NullableNoteConfig
-    | SolvePathConfig;
+    | SolvePathConfig
+    | EdgesConfig;
   /**
    * Compare two config values for equality, using an appropriate method for the config type.
    *
@@ -1332,6 +1345,39 @@ declare global {
     copyWith({ pattern }: { pattern?: GridData }): this;
     withPattern(pattern: GridData): this;
   }
+  export declare class CellCountPerZoneRule extends Rule {
+    readonly color: Color;
+    readonly edges: readonly Edge[];
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID_LIGHT;
+    private static readonly EXAMPLE_GRID_DARK;
+    private static readonly EXAMPLE_GRID_GRAY;
+    private static readonly SEARCH_VARIANTS;
+    /**
+     * **Every zone has the same number of &lt;color&gt; cells.**
+     *
+     * @param color - The color of the cells to count.
+     * @param edges - The edges of the zones to count.
+     */
+    constructor(color: Color, edges: readonly Edge[]);
+    get id(): string;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    get searchVariants(): SearchVariant[];
+    validateGrid(grid: GridData): RuleState;
+    copyWith({
+      color,
+      edges,
+    }: {
+      color?: Color;
+      edges?: readonly Edge[];
+    }): this;
+    withColor(color: Color): this;
+    withEdges(
+      edges: readonly Edge[] | ((edges: readonly Edge[]) => readonly Edge[])
+    ): this;
+  }
   export declare class CellCountRule extends Rule {
     readonly color: Color;
     readonly count: number;

package/dist/data/config.d.ts

@@ -1,5 +1,5 @@
 import GridData from './grid.js';
-import { Color, Comparison, Direction, DirectionToggle, Orientation, OrientationToggle, Position } from './primitives.js';
+import { Color, Comparison, Direction, DirectionToggle, Edge, Orientation, OrientationToggle, Position } from './primitives.js';
 import { ControlLine } from './rules/musicControlLine.js';
 export declare enum ConfigType {
     Boolean = "boolean",
@@ -19,7 +19,8 @@ export declare enum ConfigType {
     Icon = "icon",
     ControlLines = "controlLines",
     NullableNote = "nullableNote",
-    SolvePath = "solvePath"
+    SolvePath = "solvePath",
+    Edges = "edges"
 }
 export interface Config<T> {
     readonly type: ConfigType;
@@ -93,7 +94,10 @@ export interface NullableNoteConfig extends Config<string | null> {
 export interface SolvePathConfig extends Config<Position[]> {
     readonly type: ConfigType.SolvePath;
 }
-export type AnyConfig = BooleanConfig | NullableBooleanConfig | NumberConfig | NullableNumberConfig | StringConfig | ColorConfig | ComparisonConfig | DirectionConfig | DirectionToggleConfig | OrientationConfig | OrientationToggleConfig | TileConfig | GridConfig | NullableGridConfig | IconConfig | ControlLinesConfig | NullableNoteConfig | SolvePathConfig;
+export interface EdgesConfig extends Config<Edge[]> {
+    readonly type: ConfigType.Edges;
+}
+export type AnyConfig = BooleanConfig | NullableBooleanConfig | NumberConfig | NullableNumberConfig | StringConfig | ColorConfig | ComparisonConfig | DirectionConfig | DirectionToggleConfig | OrientationConfig | OrientationToggleConfig | TileConfig | GridConfig | NullableGridConfig | IconConfig | ControlLinesConfig | NullableNoteConfig | SolvePathConfig | EdgesConfig;
 /**
  * Compare two config values for equality, using an appropriate method for the config type.
  *

package/dist/data/config.js

@@ -1,3 +1,4 @@
+import { isSameEdge } from './dataHelper.js';
 import { DIRECTIONS, ORIENTATIONS, } from './primitives.js';
 export var ConfigType;
 (function (ConfigType) {
@@ -19,6 +20,7 @@ export var ConfigType;
     ConfigType["ControlLines"] = "controlLines";
     ConfigType["NullableNote"] = "nullableNote";
     ConfigType["SolvePath"] = "solvePath";
+    ConfigType["Edges"] = "edges";
 })(ConfigType || (ConfigType = {}));
 /**
  * Compare two config values for equality, using an appropriate method for the config type.
@@ -59,5 +61,12 @@ export function configEquals(type, a, b) {
             return false;
         return aPath.every((pos, i) => pos.x === bPath[i].x && pos.y === bPath[i].y);
     }
+    if (type === ConfigType.Edges) {
+        const aEdges = a;
+        const bEdges = b;
+        if (aEdges.length !== bEdges.length)
+            return false;
+        return aEdges.every(aEdge => bEdges.some(bEdge => isSameEdge(aEdge, bEdge)));
+    }
     return a === b;
 }

package/dist/data/dataHelper.d.ts

@@ -1,4 +1,4 @@
-import { Direction, Orientation, Position } from './primitives.js';
+import { Direction, Edge, Orientation, Position } from './primitives.js';
 /**
  * Offset the given position by a given step in the given direction.
  * @param position The position to offset.
@@ -10,6 +10,13 @@ export declare function move(position: Position, direction: Direction | Orientat
     x: number;
     y: number;
 };
+/**
+ * Check if two edges are the same, regardless of direction.
+ * @param a The first edge.
+ * @param b The second edge.
+ * @returns Whether the edges are the same.
+ */
+export declare function isSameEdge(a: Edge, b: Edge): boolean;
 /**
  * Convert the given direction to a rotation in degrees.
  * @param direction The direction to convert.

package/dist/data/dataHelper.js

@@ -30,6 +30,16 @@ export function move(position, direction, step = 1) {
             return { x: position.x + step, y: position.y + step };
     }
 }
+/**
+ * Check if two edges are the same, regardless of direction.
+ * @param a The first edge.
+ * @param b The second edge.
+ * @returns Whether the edges are the same.
+ */
+export function isSameEdge(a, b) {
+    return ((a.x1 === b.x1 && a.y1 === b.y1 && a.x2 === b.x2 && a.y2 === b.y2) ||
+        (a.x1 === b.x2 && a.y1 === b.y2 && a.x2 === b.x1 && a.y2 === b.y1));
+}
 /**
  * Convert the given direction to a rotation in degrees.
  * @param direction The direction to convert.

package/dist/data/grid.d.ts

@@ -7,6 +7,7 @@ import TileData from './tile.js';
 import MusicGridRule from './rules/musicGridRule.js';
 import CompletePatternRule from './rules/completePatternRule.js';
 import UndercluedRule from './rules/undercluedRule.js';
+export declare const NEIGHBOR_OFFSETS: Position[];
 export default class GridData {
     readonly width: number;
     readonly height: number;

package/dist/data/grid.js

@@ -5,7 +5,7 @@ import GridConnections from './gridConnections.js';
 import { CachedAccess, array, move } from './dataHelper.js';
 import { Color, MajorRule, } from './primitives.js';
 import TileData from './tile.js';
-const NEIGHBOR_OFFSETS = [
+export const NEIGHBOR_OFFSETS = [
     { x: -1, y: 0 },
     { x: 1, y: 0 },
     { x: 0, y: -1 },
@@ -573,10 +573,7 @@ export default class GridData {
                 return ret;
             for (const offset of NEIGHBOR_OFFSETS) {
                 const next = { x: x + offset.x, y: y + offset.y };
-                if (next.x >= 0 &&
-                    next.x < this.width &&
-                    next.y >= 0 &&
-                    next.y < this.height) {
+                if (this.isPositionValid(next.x, next.y)) {
                     const nextTile = this.getTile(next.x, next.y);
                     if (nextTile.exists && predicate(nextTile))
                         stack.push(next);

package/dist/data/gridConnections.js

@@ -1,8 +1,5 @@
+import { isSameEdge } from './dataHelper.js';
 import TileConnections from './tileConnections.js';
-function isSameEdge(a, b) {
-    return ((a.x1 === b.x1 && a.y1 === b.y1 && a.x2 === b.x2 && a.y2 === b.y2) ||
-        (a.x1 === b.x2 && a.y1 === b.y2 && a.x2 === b.x1 && a.y2 === b.y1));
-}
 export default class GridConnections {
     constructor(edges) {
         Object.defineProperty(this, "edges", {

package/dist/data/rules/cellCountPerZoneRule.d.ts

@@ -0,0 +1,33 @@
+import { AnyConfig } from '../config.js';
+import GridData from '../grid.js';
+import { Color, Edge, RuleState } from '../primitives.js';
+import Rule, { SearchVariant } from './rule.js';
+export default class CellCountPerZoneRule extends Rule {
+    readonly color: Color;
+    readonly edges: readonly Edge[];
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID_LIGHT;
+    private static readonly EXAMPLE_GRID_DARK;
+    private static readonly EXAMPLE_GRID_GRAY;
+    private static readonly SEARCH_VARIANTS;
+    /**
+     * **Every zone has the same number of <color> cells.**
+     *
+     * @param color - The color of the cells to count.
+     * @param edges - The edges of the zones to count.
+     */
+    constructor(color: Color, edges: readonly Edge[]);
+    get id(): string;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    get searchVariants(): SearchVariant[];
+    validateGrid(grid: GridData): RuleState;
+    copyWith({ color, edges, }: {
+        color?: Color;
+        edges?: readonly Edge[];
+    }): this;
+    withColor(color: Color): this;
+    withEdges(edges: readonly Edge[] | ((edges: readonly Edge[]) => readonly Edge[])): this;
+}
+export declare const instance: CellCountPerZoneRule;

package/dist/data/rules/cellCountPerZoneRule.js

@@ -0,0 +1,183 @@
+import { ConfigType } from '../config.js';
+import { array } from '../dataHelper.js';
+import GridData, { NEIGHBOR_OFFSETS } from '../grid.js';
+import GridConnections from '../gridConnections.js';
+import { Color, State } from '../primitives.js';
+import Rule from './rule.js';
+class CellCountPerZoneRule extends Rule {
+    /**
+     * **Every zone has the same number of <color> cells.**
+     *
+     * @param color - The color of the cells to count.
+     * @param edges - The edges of the zones to count.
+     */
+    constructor(color, edges) {
+        super();
+        Object.defineProperty(this, "color", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: color
+        });
+        Object.defineProperty(this, "edges", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: edges
+        });
+        this.color = color;
+        this.edges = GridConnections.deduplicateEdges(edges);
+    }
+    get id() {
+        return `zone_cell_count`;
+    }
+    get explanation() {
+        return `Every zone has the same number of ${this.color} cells`;
+    }
+    get configs() {
+        return CellCountPerZoneRule.CONFIGS;
+    }
+    createExampleGrid() {
+        if (this.color === Color.Light) {
+            return CellCountPerZoneRule.EXAMPLE_GRID_LIGHT;
+        }
+        else if (this.color === Color.Dark) {
+            return CellCountPerZoneRule.EXAMPLE_GRID_DARK;
+        }
+        else {
+            return CellCountPerZoneRule.EXAMPLE_GRID_GRAY;
+        }
+    }
+    get searchVariants() {
+        return CellCountPerZoneRule.SEARCH_VARIANTS;
+    }
+    validateGrid(grid) {
+        let complete = true;
+        const visited = array(grid.width, grid.height, (i, j) => !grid.getTile(i, j).exists);
+        const zones = [];
+        while (true) {
+            const seed = grid.find((_tile, x, y) => !visited[y][x]);
+            if (!seed)
+                break;
+            const zone = {
+                positions: [],
+                completed: 0,
+                possible: 0,
+            };
+            const stack = [seed];
+            while (stack.length > 0) {
+                const { x, y } = stack.pop();
+                if (visited[y][x])
+                    continue;
+                visited[y][x] = true;
+                zone.positions.push({ x, y });
+                if (grid.getTile(x, y).color === this.color) {
+                    zone.completed++;
+                }
+                else if (grid.getTile(x, y).color === Color.Gray) {
+                    zone.possible++;
+                    complete = false;
+                }
+                for (const offset of NEIGHBOR_OFFSETS) {
+                    const next = { x: x + offset.x, y: y + offset.y };
+                    if (!this.edges.some(e => (e.x1 === x &&
+                        e.y1 === y &&
+                        e.x2 === next.x &&
+                        e.y2 === next.y) ||
+                        (e.x1 === next.x && e.y1 === next.y && e.x2 === x && e.y2 === y))) {
+                        const nextTile = grid.getTile(next.x, next.y);
+                        if (nextTile.exists) {
+                            stack.push(next);
+                        }
+                    }
+                }
+            }
+            zones.push(zone);
+        }
+        if (zones.length <= 1) {
+            return { state: complete ? State.Satisfied : State.Incomplete };
+        }
+        else {
+            const errorZone = zones.find(z => zones.some(zz => zz !== z &&
+                (zz.completed > z.completed + z.possible ||
+                    zz.completed + zz.possible < z.completed)));
+            if (errorZone) {
+                return {
+                    state: State.Error,
+                    positions: errorZone.positions,
+                };
+            }
+            else {
+                return { state: complete ? State.Satisfied : State.Incomplete };
+            }
+        }
+    }
+    copyWith({ color, edges, }) {
+        return new CellCountPerZoneRule(color ?? this.color, edges ?? this.edges);
+    }
+    withColor(color) {
+        return this.copyWith({ color });
+    }
+    withEdges(edges) {
+        return this.copyWith({
+            edges: typeof edges === 'function' ? edges(this.edges) : edges,
+        });
+    }
+}
+Object.defineProperty(CellCountPerZoneRule, "CONFIGS", {
+    enumerable: true,
+    configurable: true,
+    writable: true,
+    value: Object.freeze([
+        {
+            type: ConfigType.Color,
+            default: Color.Light,
+            allowGray: true,
+            field: 'color',
+            description: 'Color',
+            configurable: true,
+        },
+        {
+            type: ConfigType.Edges,
+            default: [],
+            field: 'edges',
+            description: 'Edges',
+            configurable: false,
+        },
+    ])
+});
+Object.defineProperty(CellCountPerZoneRule, "EXAMPLE_GRID_LIGHT", {
+    enumerable: true,
+    configurable: true,
+    writable: true,
+    value: Object.freeze(GridData.create(['bwbbb', 'wbbwb', 'bbbwb', 'bwbwb']).addRule(new CellCountPerZoneRule(Color.Light, [
+        { x1: 0, y1: 1, x2: 0, y2: 2 },
+        { x1: 1, y1: 1, x2: 1, y2: 2 },
+        { x1: 2, y1: 1, x2: 2, y2: 2 },
+        { x1: 3, y1: 1, x2: 3, y2: 2 },
+        { x1: 4, y1: 1, x2: 4, y2: 2 },
+    ])))
+});
+Object.defineProperty(CellCountPerZoneRule, "EXAMPLE_GRID_DARK", {
+    enumerable: true,
+    configurable: true,
+    writable: true,
+    value: Object.freeze(CellCountPerZoneRule.EXAMPLE_GRID_LIGHT.withTiles(tiles => tiles.map(row => row.map(tile => tile.withColor(tile.color === Color.Dark ? Color.Light : Color.Dark)))))
+});
+Object.defineProperty(CellCountPerZoneRule, "EXAMPLE_GRID_GRAY", {
+    enumerable: true,
+    configurable: true,
+    writable: true,
+    value: Object.freeze(CellCountPerZoneRule.EXAMPLE_GRID_LIGHT.withTiles(tiles => tiles.map(row => row.map(tile => tile.withColor(tile.color === Color.Light ? Color.Gray : tile.color)))))
+});
+Object.defineProperty(CellCountPerZoneRule, "SEARCH_VARIANTS", {
+    enumerable: true,
+    configurable: true,
+    writable: true,
+    value: [
+        new CellCountPerZoneRule(Color.Light, []).searchVariant(),
+        new CellCountPerZoneRule(Color.Dark, []).searchVariant(),
+    ]
+});
+export default CellCountPerZoneRule;
+export const instance = new CellCountPerZoneRule(Color.Light, []);

package/dist/data/rules/rules.gen.d.ts

@@ -1,4 +1,5 @@
 export { instance as BanPatternRule } from './banPatternRule.js';
+export { instance as CellCountPerZoneRule } from './cellCountPerZoneRule.js';
 export { instance as CellCountRule } from './cellCountRule.js';
 export { instance as CompletePatternRule } from './completePatternRule.js';
 export { instance as ConnectAllRule } from './connectAllRule.js';

package/dist/data/rules/rules.gen.js

@@ -3,6 +3,7 @@
 // @ts-nocheck
 // noinspection JSUnusedGlobalSymbols
 export { instance as BanPatternRule } from './banPatternRule.js';
+export { instance as CellCountPerZoneRule } from './cellCountPerZoneRule.js';
 export { instance as CellCountRule } from './cellCountRule.js';
 export { instance as CompletePatternRule } from './completePatternRule.js';
 export { instance as ConnectAllRule } from './connectAllRule.js';

package/dist/data/serializer/serializer_v0.js

@@ -167,6 +167,12 @@ export default class SerializerV0 extends SerializerBase {
                     escape(instruction[config.field]
                         ?.map(pos => `${pos.x}_${pos.y}`)
                         .join('/') ?? ''));
+            case ConfigType.Edges:
+                return (config.field +
+                    '=' +
+                    instruction[config.field]
+                        .map(edge => `${edge.x1}_${edge.y1}_${edge.x2}_${edge.y2}`)
+                        .join('/'));
         }
     }
     parseConfig(configs, entry) {
@@ -235,6 +241,21 @@ export default class SerializerV0 extends SerializerBase {
                             return { x: Number(x), y: Number(y) };
                         }),
                 ];
+            case ConfigType.Edges:
+                return [
+                    config.field,
+                    value === ''
+                        ? []
+                        : value.split('/').map(edge => {
+                            const [x1, y1, x2, y2] = edge.split('_');
+                            return {
+                                x1: Number(x1),
+                                y1: Number(y1),
+                                x2: Number(x2),
+                                y2: Number(y2),
+                            };
+                        }),
+                ];
         }
     }
     stringifyInstruction(instruction) {

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import { ConfigType, configEquals } from './data/config.js';
 import Configurable from './data/configurable.js';
-import { CachedAccess, allEqual, array, directionToRotation, escape, maxBy, minBy, move, orientationToRotation, resize, unescape } from './data/dataHelper.js';
+import { CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape } from './data/dataHelper.js';
 import { isEventHandler } from './data/events/eventHelper.js';
 import { handlesFinalValidation } from './data/events/onFinalValidation.js';
 import { handlesGridChange } from './data/events/onGridChange.js';
@@ -8,12 +8,13 @@ import { handlesGridResize } from './data/events/onGridResize.js';
 import { handlesSetGrid } from './data/events/onSetGrid.js';
 import { handlesSymbolDisplay } from './data/events/onSymbolDisplay.js';
 import { handlesSymbolValidation } from './data/events/onSymbolValidation.js';
-import GridData from './data/grid.js';
+import GridData, { NEIGHBOR_OFFSETS } from './data/grid.js';
 import GridConnections from './data/gridConnections.js';
 import Instruction from './data/instruction.js';
 import { COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle } from './data/primitives.js';
 import { MetadataSchema, PuzzleSchema } from './data/puzzle.js';
 import BanPatternRule from './data/rules/banPatternRule.js';
+import CellCountPerZoneRule from './data/rules/cellCountPerZoneRule.js';
 import CellCountRule from './data/rules/cellCountRule.js';
 import CompletePatternRule from './data/rules/completePatternRule.js';
 import ConnectAllRule from './data/rules/connectAllRule.js';
@@ -96,4 +97,4 @@ import ViewpointSymbol from './data/symbols/viewpointSymbol.js';
 import TileData from './data/tile.js';
 import TileConnections from './data/tileConnections.js';
 import validateGrid, { aggregateState, applyFinalOverrides } from './data/validate.js';
-export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGridChange, handlesGridResize, handlesSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, GridConnections, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, BanPatternRule, CellCountRule, CompletePatternRule, ConnectAllRule, CustomRule, ForesightRule, allRules, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, Solver, UndercluedSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };
+export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGridChange, handlesGridResize, handlesSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, CustomRule, ForesightRule, allRules, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, Solver, UndercluedSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };

package/dist/index.js

@@ -3,7 +3,7 @@
 // noinspection JSUnusedGlobalSymbols
 import { ConfigType, configEquals } from './data/config.js';
 import Configurable from './data/configurable.js';
-import { CachedAccess, allEqual, array, directionToRotation, escape, maxBy, minBy, move, orientationToRotation, resize, unescape } from './data/dataHelper.js';
+import { CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape } from './data/dataHelper.js';
 import { isEventHandler } from './data/events/eventHelper.js';
 import { handlesFinalValidation } from './data/events/onFinalValidation.js';
 import { handlesGridChange } from './data/events/onGridChange.js';
@@ -11,12 +11,13 @@ import { handlesGridResize } from './data/events/onGridResize.js';
 import { handlesSetGrid } from './data/events/onSetGrid.js';
 import { handlesSymbolDisplay } from './data/events/onSymbolDisplay.js';
 import { handlesSymbolValidation } from './data/events/onSymbolValidation.js';
-import GridData from './data/grid.js';
+import GridData, { NEIGHBOR_OFFSETS } from './data/grid.js';
 import GridConnections from './data/gridConnections.js';
 import Instruction from './data/instruction.js';
 import { COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle } from './data/primitives.js';
 import { MetadataSchema, PuzzleSchema } from './data/puzzle.js';
 import BanPatternRule from './data/rules/banPatternRule.js';
+import CellCountPerZoneRule from './data/rules/cellCountPerZoneRule.js';
 import CellCountRule from './data/rules/cellCountRule.js';
 import CompletePatternRule from './data/rules/completePatternRule.js';
 import ConnectAllRule from './data/rules/connectAllRule.js';
@@ -99,4 +100,4 @@ import ViewpointSymbol from './data/symbols/viewpointSymbol.js';
 import TileData from './data/tile.js';
 import TileConnections from './data/tileConnections.js';
 import validateGrid, { aggregateState, applyFinalOverrides } from './data/validate.js';
-export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGridChange, handlesGridResize, handlesSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, GridConnections, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, BanPatternRule, CellCountRule, CompletePatternRule, ConnectAllRule, CustomRule, ForesightRule, allRules, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, Solver, UndercluedSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };
+export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGridChange, handlesGridResize, handlesSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, CustomRule, ForesightRule, allRules, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, Solver, UndercluedSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@logic-pad/core",
-  "version": "0.3.0",
+  "version": "0.4.0",
   "type": "module",
   "files": [
     "dist",