Name: Pixara - Picture Cross, Proved Solvable
Author: ThijsGer

Most picture cross puzzles are generated rather than written, and a generated one
usually has a hole in it: a place where two arrangements both fit the numbers and the
only way on is to pick one. Half an hour of careful counting, and then a coin toss.

Pixara does not show a picture until a line solver has finished it from a blank grid.
That solver does only what a person does with a strip of cells and a list of block
lengths: work out every arrangement the numbers still allow, keep the cells that are
filled in all of them, cross out the cells that are empty in all of them, and go round
the rows and columns until nothing changes. If it stalls, that picture is thrown away
and another is painted. A solver that finishes also proves the answer unique, so the
picture the numbers describe is the only picture there is.

WHAT IT DOES
- Every picture proved solvable by pure logic before it is ever drawn
- Three sizes: five by five, eight by eight, and a ten by ten that takes real time
- The clue for the aimed row and the aimed column is always spelled out in full and
  enlarged, because a paper clue strip does not fit round glass
- Aim, then tap: the first tap frames a cell, wider than the cell so it stays visible
  around a fingertip; the second fills it, holding it crosses it out
- Works the same with buttons on watches with no touch screen
- Filling a cell that is not in the picture costs thirty seconds on the clock
- A hint that names the row or the column proving the next cell, and then marks it
- A daily picture taken from the calendar date, the same one on every watch, rotating
  through the three sizes
- The grid is written down after every move, so leaving the app never loses it
- Best time per size, pictures finished against pictures started, and a run of dailies
- Five languages, on-watch settings, nothing sent anywhere

WHAT IT NEEDS
Nothing but the watch. No phone, no signal, no account.

Pixara - Picture Cross, Proved Solvable

De meeste Japanse puzzels worden gegenereerd en niet geschreven, en in een gegenereerde
zit meestal een gat: een plek waar twee indelingen allebei bij de getallen passen en je
er een moet kiezen. Een half uur zorgvuldig tellen, en dan alsnog een munt opgooien.

Pixara laat pas een plaat zien als een lijnsolver hem vanaf een leeg raster heeft
uitgerekend. Die solver doet alleen wat een mens doet met een rij vakjes en een lijst
bloklengtes: elke indeling uitrekenen die de getallen nog toelaten, de vakjes bewaren
die in allemaal gevuld zijn, de vakjes doorstrepen die in allemaal leeg zijn, en zo
langs rijen en kolommen tot er niets meer verandert. Loopt hij vast, dan gaat die plaat
weg en komt er een andere. Een solver die klaarkomt bewijst tegelijk dat het antwoord
het enige is dat bij de getallen past.

WAT HET DOET
- Van elke plaat is vooraf bewezen dat pure logica genoeg is
- Drie maten: vijf bij vijf, acht bij acht, en een tien bij tien die echt tijd kost
- De aanwijzing van de gerichte rij en die van de gerichte kolom staan altijd voluit en
  vergroot in beeld, want een papieren cijferstrook past niet op een rond scherm
- Richten, dan tikken: de eerste tik zet een kader om een vakje, breder dan het vakje,
  zodat je het naast je vingertop nog ziet; de tweede vult het, vasthouden streept door
- Werkt precies zo met knoppen op horloges zonder touchscreen
- Een vakje vullen dat niet in de plaat zit kost dertig seconden op de klok
- Een hint die de rij of de kolom noemt die het volgende vakje bewijst, en het invult
- Een dagplaat uit de kalenderdatum, op elk horloge dezelfde, die langs de drie maten
  rouleert
- Het raster wordt na elke zet opgeschreven, dus de app verlaten kost je niets
- Beste tijd per maat, platen af tegen platen begonnen, en een reeks dagplaten
- Vijf talen, instellingen op het horloge, er gaat niets naar buiten

WAT HET NODIG HEEFT
Alleen het horloge. Geen telefoon, geen bereik, geen account.

Pixara - Japanse puzzel, bewezen oplosbaar

Die meisten Nonogramme werden erzeugt und nicht gebaut, und ein erzeugtes hat meistens
ein Loch: eine Stelle, an der zwei Anordnungen beide zu den Zahlen passen und nur die
Wahl bleibt. Eine halbe Stunde sorgfaeltig zaehlen, und am Ende doch eine Muenze.

Pixara zeigt ein Bild erst, wenn ein Zeilenloeser es vom leeren Raster aus fertig
geloest hat. Dieser Loeser tut nur, was ein Mensch mit einem Streifen Felder und einer
Liste von Blocklaengen tut: jede Anordnung ausrechnen, die die Zahlen noch zulassen,
die Felder behalten, die in allen gefuellt sind, die Felder streichen, die in allen
leer sind, und so ueber Zeilen und Spalten, bis sich nichts mehr aendert. Bleibt er
stecken, wird dieses Bild verworfen und ein neues gemalt. Ein Loeser, der fertig wird,
beweist zugleich, dass die Loesung die einzige ist, die zu den Zahlen passt.

WAS ES KANN
- Von jedem Bild ist vor dem ersten Blick bewiesen, dass reine Logik reicht
- Drei Groessen: fuenf mal fuenf, acht mal acht und ein zehn mal zehn mit echter Zeit
- Die Zahlenreihe der angezielten Zeile und die der angezielten Spalte stehen immer
  vollstaendig und vergroessert da, denn ein Papierrand passt nicht auf rundes Glas
- Zielen, dann tippen: das erste Tippen setzt einen Rahmen um ein Feld, breiter als das
  Feld, damit er neben der Fingerkuppe sichtbar bleibt; das zweite fuellt, Halten
  streicht durch
- Genauso mit Tasten auf Uhren ohne Touchscreen
- Ein Feld zu fuellen, das nicht zum Bild gehoert, kostet dreissig Sekunden auf der Uhr
- Ein Tipp, der die Zeile oder Spalte nennt, die das naechste Feld beweist, und es setzt
- Ein Tagesbild aus dem Kalenderdatum, auf jeder Uhr dasselbe, im Wechsel der drei
  Groessen
- Das Raster wird nach jedem Zug gespeichert, Verlassen kostet dich nichts
- Bestzeit je Groesse, fertige gegen begonnene Bilder und eine Serie von Tagesbildern
- Fuenf Sprachen, Einstellungen auf der Uhr, nichts verlaesst das Geraet

WAS ES BRAUCHT
Nur die Uhr. Kein Telefon, kein Empfang, kein Konto.

Pixara - Nonogramme, beweisbar loesbar

La plupart des picross sont engendres et non ecrits, et un picross engendre a presque
toujours un trou: un endroit ou deux dispositions collent aux memes chiffres et il faut
en choisir une. Une demi-heure a compter avec soin, et pour finir une piece qu'on lance.

Pixara ne montre une image qu'une fois qu'un solveur de lignes l'a terminee depuis une
grille vide. Ce solveur ne fait que ce que fait un humain avec une bande de cases et
une liste de longueurs: calculer toutes les dispositions que les chiffres autorisent
encore, garder les cases pleines dans toutes, barrer les cases vides dans toutes, et
recommencer sur les lignes et les colonnes jusqu'a ce que plus rien ne bouge. S'il
cale, cette image est jetee et une autre est peinte. Un solveur qui termine prouve du
meme coup que la reponse est la seule que les chiffres permettent.

CE QU'IL FAIT
- Chaque image est prouvee soluble par pure logique avant d'etre dessinee
- Trois tailles: cinq par cinq, huit par huit, et un dix par dix qui prend du temps
- Les chiffres de la ligne visee et ceux de la colonne visee sont toujours ecrits en
  entier et agrandis, car une bande de papier ne tient pas sur un verre rond
- Viser, puis taper: le premier tap pose un cadre autour d'une case, plus large que la
  case, pour rester visible autour du doigt; le second la remplit, un appui long barre
- Pareil avec les boutons sur les montres sans ecran tactile
- Remplir une case absente de l'image coute trente secondes au chrono
- Un indice qui nomme la ligne ou la colonne qui prouve la case suivante, et la marque
- Une image du jour tiree de la date, la meme sur toutes les montres, qui tourne entre
  les trois tailles
- La grille est ecrite apres chaque coup, quitter l'application ne coute rien
- Meilleur temps par taille, images finies contre images entamees, une serie de jours
- Cinq langues, reglages sur la montre, rien ne sort de l'appareil

CE QU'IL FAUT
Rien que la montre. Pas de telephone, pas de reseau, pas de compte.

Pixara - Picross prouve soluble

La mayoria de los picross se generan en vez de escribirse, y uno generado casi siempre
tiene un agujero: un punto donde dos disposiciones encajan igual de bien con los
numeros y hay que elegir. Media hora contando con cuidado, y al final una moneda
al aire.

Pixara no ensena una imagen hasta que un solucionador de lineas la ha terminado desde
una cuadricula vacia. Ese solucionador solo hace lo que hace una persona con una tira
de casillas y una lista de longitudes: calcular todas las disposiciones que los numeros
aun permiten, quedarse con las casillas llenas en todas, tachar las casillas vacias en
todas, y repetirlo por filas y columnas hasta que nada cambie. Si se atasca, esa imagen
se descarta y se pinta otra. Un solucionador que termina demuestra ademas que la
respuesta es la unica que los numeros admiten.

QUE HACE
- Cada imagen se demuestra resoluble con pura logica antes de dibujarse
- Tres tamanos: cinco por cinco, ocho por ocho y un diez por diez con miga
- Las pistas de la fila apuntada y las de la columna apuntada aparecen siempre enteras
  y ampliadas, porque una tira de papel no cabe en un cristal redondo
- Apuntar y luego tocar: el primer toque pone un marco alrededor de una casilla, mas
  ancho que ella, para que siga viendose junto a la yema; el segundo la rellena,
  mantener la tacha
- Igual con los botones en relojes sin pantalla tactil
- Rellenar una casilla que no esta en la imagen cuesta treinta segundos de reloj
- Una pista que nombra la fila o la columna que demuestra la casilla siguiente, y la
  marca
- Una imagen diaria sacada de la fecha, la misma en todos los relojes, rotando entre
  los tres tamanos
- La cuadricula se guarda tras cada jugada, salir de la app no cuesta nada
- Mejor tiempo por tamano, imagenes acabadas frente a empezadas, y una racha diaria
- Cinco idiomas, ajustes en el reloj, nada sale del dispositivo

QUE NECESITA
Solo el reloj. Sin telefono, sin cobertura, sin cuenta.