Open Rules
Give each rule a name and say where it applies. A case file declares the library root once; each name resolves to its rule page under that root. Custom rules carry their full definition in the case file.
Each published rule keeps its meaning. A new meaning gets a new kind. Shared predicates define the mathematical notation.
Cells use r1c1 notation. Repeated rules have numbered IDs; singleton rules use their kind as the implicit ID. Drawings refer to IDs; their colours and shapes do not change the rule.
- shifter-line
- summit
- thermo
- whispers
- parity
- modular
- entropic
- renban
- nabner
- palindrome
- slow-thermo
- between
- lockout
- arrow
- double-arrow
- zipper
- region-sum
- index-line
- bremban
- close-whispers
- primality
- line-choice
- limited-digits
- allowed-digits
- mean-lines
- greek-carpet
- pointing-thermo
- kropki
- pair
- quadruple
- extremum
- parity-cells
- counting-circles
- molecules
- tardis
- pressure-gauge
- pointing-arrow
- coordinate-arrows
- value-modifier
- cage
- equality-cage
- layered-cage
- remainder-cage
- product-cage
- sum-free-cage
- look-and-say
- vault
- n-mate
- equal-sums
- cage-shapes
- cage-pair
- cage-expressions
- little-killer
- sandwich
- x-sum
- skyscraper
- numbered-room
- run-sum
- outside
- ordered-block
- doll-sum
- unique
- clone
- index
- constructed-regions
- anti-knight
- anti-king
- diagonal
- negative
- scoped-move
- same-class
- window-classes
- diagonal-lines
- hidden-modular
- flat-mates
- rotational-sums
- magic-square
A standard board is one line: sudoku 9x9.
The short names whisper and killer refer to whispers and cage.
Rule-line syntax describes not, if and unless. The general rules Yin Yang and absent digits express shading and missing digits.