% generated by paper/tools/scale.py from scripts/pages_stats.py
\begin{tabular}{@{}lp{0.4\textwidth}rrr@{}}
\toprule
Layer & Contents & Theories & Lines & Proved \\
\midrule
\texttt{Program\_Model} & source semantics, CFG, compiler, traces, contract & 27 & 9{,}996 & 466 \\
\texttt{Abstract\_Interpreter} & domain interfaces, D/G framework, routing, solver bridge & 67 & 21{,}228 & 1{,}033 \\
\texttt{Analyses} & Sign, Interval, Parity, Congruence, Int, relational witness & 70 & 15{,}800 & 619 \\
\texttt{Executable\_Surface} & analyzer function, report, end-to-end theorems, export & 15 & 5{,}222 & 180 \\
\texttt{Examples} & non-vacuity, precision witnesses, regressions & 34 & 7{,}231 & 397 \\
\midrule
Voblint total & & 213 & 59{,}477 & 2{,}695 \\
Solver (imported) & Tilscher et al.~\cite{tilscher26} & 7 & 9{,}533 & 168 \\
\bottomrule
\end{tabular}