About the atelier

Original geometry with an inspectable uniqueness claim.

MosaicProof is an independent browser puzzle generator. It was built to make the phrase “unique solution” testable: the generator enumerates legal polyomino placements, searches for an exact cover, and continues specifically to detect a second answer.

Clean-room implementation

The generation algorithm, interface, board masks, piece colors, and brand were created for this project. No source code, puzzle level, graphical piece, or interface layout was copied from another generator. Pieces are derived from each board and seed rather than selected from an external level library.

Why constrained boards?

A plain square has rotational and reflective symmetries that can turn one tiling into another. MosaicProof uses asymmetric cuts so allowed piece transformations do not automatically duplicate the entire answer. The cuts also make each printed silhouette easier to recognize.

Honest limits

Exact-cover search can grow quickly. The generator enforces node and wall-clock ceilings. If a search ends at a ceiling, the result is unresolved and is not released as a verified puzzle. Learn more in the algorithm and play guide.