mirror of
https://github.com/hanzoai/papers.git
synced 2026-10-29 07:34:31 +00:00
28 lines
813 B
TeX
28 lines
813 B
TeX
\section{Proof Suite Overview}
|
|
|
|
\label{sec:overview}
|
|
% ============================================================================
|
|
|
|
\begin{table}[H]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{lrrr}
|
|
\toprule
|
|
\textbf{System} & \textbf{Lean Lines} & \textbf{Theorems} & \textbf{Bugs Found} \\
|
|
\midrule
|
|
Agent Framework & 3,200 & 47 & 3 \\
|
|
API Gateway & 2,800 & 38 & 2 \\
|
|
KMS Secrets & 2,100 & 31 & 1 \\
|
|
Compute Scheduler & 2,400 & 35 & 1 \\
|
|
Platform Orchestrator & 1,500 & 22 & 1 \\
|
|
\midrule
|
|
\textbf{Total} & \textbf{12,000} & \textbf{173} & \textbf{8} \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Formal verification suite summary. All 173 theorems are
|
|
mechanically verified by the Lean 4 kernel (no \texttt{sorry}).}
|
|
\label{tab:overview}
|
|
\end{table}
|
|
|
|
% ============================================================================
|