THE WORKSHOP / LIVE EXPERIMENT 01

One square.
One decision.

Watch JEV work through 650 named Picross puzzles. Follow the clues, see its choices, and watch each picture emerge.

CONNECTING Waiting for the collector’s latest board. SPECTATOR MODE
THIS PUZZLEWaiting for usage
NAMED COLLECTIONWaiting for usage

Estimated from API token usage at $0.042 per million input tokens. Output tokens are free.

PICROSS COLLECTION

The next picture awaits

— × —

The live board will appear here.
No refresh needed.

Filled×EmptyUnder consideration0 marks

Select a marked square to revisit its verified rule.

Square by square

LATEST VERIFIED MOVES
  1. Verified moves will appear here as JEV plays.

NEW TO PICROSS?

The numbers draw a picture.

Each number describes a consecutive run of filled squares. Multiple runs need at least one empty square between them. A clue of 5 on a five-square line fills the whole line.

AN HONEST EXPERIMENT

You see the stalls, too.

JEV can be uncertain or wrong. Unsupported moves are rejected, and a puzzle may stall. Names are shown to spectators; the solver receives only clues and player marks. This page cannot control the game.

UNDER THE HOOD

JEV proposes.
The controller proves.

Our solver turns Picross into a sequence of tightly bounded classification decisions. JEV never receives the puzzle name, finished picture, record ID, training split, ROM data, or a hidden answer. It sees public clues and marks. Ordinary Swift code chooses one unknown square, checks every proposed move, and touches the board only after a proof passes.

01Observe

Read a stable board snapshot from the visible UI.

02Target

Select one unknown square with a fixed scheduling heuristic.

03Ask

Send separate row and column choice questions to JEV.

04Prove

Enumerate legal line arrangements and check the proposal.

05Act

Click one cell, observe again, and verify the exact change.

THE ACTUAL API QUESTIONS

One square, two independent classifications.

Each request uses Jev 1.13 and contains two choice questions: row_cell and column_cell. The request includes the full public board snapshot for context and auditability, while each question is explicitly scoped to a copied view of only its own line: the ordered clues, every visible mark, the target position, and arithmetic facts such as clue sum, required separators, remaining fills, and unknown count.

The two questions are evaluated independently. The row question may not use the column answer, and the column question may not use the row answer. JEV returns a selected label, a probability for every label, and a confidence value. The controller rejects malformed responses, probabilities that do not sum to approximately one, a selected label that is not a highest-probability label, or the wrong model version.

The project’s question library also defines rule-label, priority-score, and next-step prompts for experiments, but this live runner does not send them. The rule name displayed above the board is derived by controller code from the verified clue proof, not from a JEV rule-label answer.

ONEvery legal arrangement fills the target.
OFFEvery legal arrangement leaves it empty.
UNDETERMINEDBoth values remain possible, or no proof is established.
CONTRADICTIONNo arrangement satisfies that line’s clues and marks.

These are four-way choices, not a raw Boolean API response. Only a verified ON or OFF becomes the Boolean-like fill-or-cross action. An unknown square is never treated as false.

THE INDEPENDENT REFEREE

Confidence is useful information. It is not proof.

For each target line, the controller generates every possible placement of its clue runs, including the mandatory empty separator between runs. It then removes any placement that conflicts with an existing filled square or cross.

If all remaining placements fill the target, the deterministic verdict is ON. If all exclude it, the verdict is OFF. A mixture is UNDETERMINED; zero legal placements is CONTRADICTION. A JEV proposal is accepted only when its ON or OFF label exactly matches the corresponding line verdict.

WORKED LINEClue [3] · five unknown cells · target C3
###...###...###

There are three legal placements. Cell 3 is filled in all three, so the row proves ON. The column may still answer UNDETERMINED; one independently verified axis is enough. If two verified axes ever demanded opposite values, the run would stop as contradictory.

HOW THE NEXT CELL IS CHOSEN

A deterministic scheduler points JEV at promising work.

The opening pass is strict: a line with one clue equal to its entire length is handled first because every square in that line must be filled. JEV still has to propose each mark, and the referee still has to approve it.

After that pass, the controller scores unknown cells from visible structure. It favors lines with no slack, empty clue lists, or all required fills already placed; then it considers clue density, the amount of known information, and a small center bias. This score chooses where to ask. It never decides whether the square is filled.

When neither answer produces a verified mark, the decision becomes HOLD. That exact target and board signature is skipped for the rest of the current pass. Any later verified move changes the signature, allowing the cell to be reconsidered with new evidence.

ONE SAFE ACTION AT A TIME

The proposal, proof, and physical click stay separate.

The board must still match the saved observation when the answer arrives and again immediately before input. The controller sends one ordinary mouse action through the viewer, reads the UI again, and requires the result to equal the expected board with exactly that one changed cell. Unexpected clue, mark, dimension, or puzzle changes stop the run.

The collection requires every square to end as either filled or crossed. Completion means the filled groups match every row and column clue and every cell has an explicit mark. A puzzle also stops without guessing when direct deductions are exhausted or when it reaches its per-puzzle ceiling of the larger of 120 requests or six requests per cell.

READING THE LIVE PANEL

Which parts come from JEV?

JEV · ROW / COLUMN
The model’s selected labels and returned probabilities.
VERIFIED RULE
A controller-written explanation of the independent clue proof.
TARGET SOLUTION
A spectator-only asset. It is never placed in the model request.
DEFERRED OR STALLED
The system abstained because no proposed mark passed proof.

THE WORKSHOP DISPATCH

Get the next
experiment.