venn.tex · 53 lines
\documentclass[border=8pt]{standalone}
\usepackage{tikz}
\begin{document}
\begin{tikzpicture}
% ================= geometry =================
\def\R{2.1} % circle radius
\def\d{1.4} % centre offset from origin
\coordinate (E) at (90:\d); % Has espresso
\coordinate (M) at (210:\d); % Has milk
\coordinate (C) at (330:\d); % Served cold
% ================= universe box =================
\draw[black!60, line width=0.9pt, rounded corners=8pt]
(-4.45,-3.45) rectangle (4.45,4.35);
% ================= circles =================
\begin{scope}[transparency group]
\fill[orange!85!black, opacity=0.22] (E) circle (\R);
\fill[blue!70, opacity=0.22] (M) circle (\R);
\fill[teal, opacity=0.22] (C) circle (\R);
\end{scope}
\draw[line width=1.4pt, orange!85!black] (E) circle (\R);
\draw[line width=1.4pt, blue!70] (M) circle (\R);
\draw[line width=1.4pt, teal] (C) circle (\R);
% ================= circle captions =================
\node[font=\sffamily\large\bfseries, text=orange!80!black] at (0,3.75) {Has espresso};
\node[font=\sffamily\large\bfseries, text=blue!70] at (-3.1,-2.95){Has milk};
\node[font=\sffamily\large\bfseries, text=teal!70!black] at (3.1,-2.95) {Served cold};
% ================= the drinks =================
% espresso only
\node[font=\sffamily\small, text=black] at (0,2.42) {short black};
% milk only
\node[font=\sffamily\small, text=black] at (-2.05,-1.28){babyccino};
% cold only
\node[font=\sffamily\small, text=black] at (2.05,-1.28) {cold brew};
% espresso + milk, not cold
\node[font=\sffamily\small, text=black, align=center] at (-1.15,0.80) {flat\\white};
% espresso + cold, not milk
\node[font=\sffamily\small, text=black, align=center] at (1.18,0.86) {iced\\long black};
% milk + cold, not espresso
\node[font=\sffamily\small, text=black] at (0,-1.30) {milkshake};
% all three
\node[font=\sffamily\small\bfseries, text=black, align=center] at (0,0.10) {iced\\latte};
% none of the three (outside every circle)
\node[font=\sffamily\small, text=black, align=center] at (-3.25,3.28) {pour-over\\
{\scriptsize\itshape (none of the three)}}; % outside every circle
\end{tikzpicture}
\end{document}One render, and it passes all four. It measured each label in LaTeX and its clearance from each circle in Python first, and the clock ended it while it was still tuning the layout.
modelqwen/qwen3.8-flashtasktikz-coffee-venn@v1date2026-09-23rounds1 of 8 allowedcost$0.0440thinkingmediumtokens797,090 in, 41,553 out, of which 27,856 reasoningtime12 min 0 s
What the harness did to this run. The 12-minute clock ended it before the model finished, so this is where it had got to when time ran out.
Compilesdecided by a number, from the filepass
Seven regions, three namesdecided by a number, from the filepass
Every drink in its regiondecided by a number, from the filepass
No label on an edgedecided by a number, from the filepass
run 1 · 7r · $0.0373Every drink in its region and clear of every edge. Round 5 pushed iced long black onto a line and round 6 moved it back.
run 2 · 3r · $0.0287Passed on all three of its renders, with a geometry script checking the label positions along the way.same prompt, other modelsall 50 runs on A three-set coffee Venn diagram →
Using LaTeX and TikZ, draw a Venn diagram of three overlapping circles labelled "Has espresso", "Has milk" and "Served cold". Write each of these drinks in the region where it belongs: short black, flat white, iced latte, iced long black, cold brew, babyccino, milkshake, pour-over.Frozen at v1. This model got this and nothing else.
Short black is espresso only, flat white espresso and milk, iced long black espresso and cold, iced latte all three, babyccino milk only, milkshake milk and cold, cold brew cold only, and pour-over outside every circle. The circles and words are read back out of the compiled PDF, each word has to be centred in its own region, and no letter may touch a circle's outline, with the line's width counted. How it is scored, and this run's files on GitHub.