mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
98343d238e
Quasar Horizon (consensus composition over Pulsar / ML-DSA / BLS lanes
under Prism + LSS lifecycle), Warp 2.0 (Pulse-backed cross-chain envelope
with forward-only v1->v2 migration and lattigo ReadUint64Slice DoS fix),
benchmark report (microbench, reshare, activation, Warp 2.0 verify, Prism
composition, GPU headroom, cross-WAN latency), and NIST IR 8214C-style
submission package (spec, parameter sets, domain separation, serialization,
reference-impl pointers, evaluation report, security analysis, side-channel
considerations).
All four deliverables compile cleanly via pdflatex+bibtex and reference
the canonical proof bucket files at proofs/{definitions,pulsar,lss,quasar}.
No duplication of proof bodies; cite by file path.
43 lines
1.6 KiB
TeX
43 lines
1.6 KiB
TeX
\section{Test Coverage}
|
|
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{lrrl}
|
|
\toprule
|
|
\textbf{Component} & \textbf{Tests} & \textbf{Status} & \textbf{Language} \\
|
|
\midrule
|
|
C++ evmone++ core & --- & Pass & C++ \\
|
|
Rust cevm bridge & --- & Pass & Rust \\
|
|
Go EVM integration & --- & Pass & Go \\
|
|
Metal shaders (compile) & 35 & Pass & MSL \\
|
|
WGSL shaders (compile) & 11 & Pass & WGSL \\
|
|
Host dispatch functions & 14 & Wired & C++/Go \\
|
|
GPU state DB & 8 & Pass & C++/Metal \\
|
|
Mode consistency & 21 & Pass & Cross-lang \\
|
|
\midrule
|
|
\textbf{Total} & \textbf{1{,}183} & \textbf{All pass} & --- \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Test suite summary. 1{,}183 tests passing across all components.
|
|
Mode consistency tests verify that CPU, GPU, and C++ interpreters produce
|
|
identical state roots for identical inputs.}
|
|
\label{tab:tests}
|
|
\end{table}
|
|
|
|
\subsection*{LP-137 substrate-wide coverage gate}
|
|
|
|
The LP-137 9-chain substrate (cevm + 5 new VMs: PlatformVM, XVM,
|
|
AIVM, BridgeVM, MPCVM) gates CI at $\geq 96\%$ line coverage on the
|
|
CPU reference oracle of every VM (the byte-equivalence ground truth
|
|
against which every GPU backend is asserted). cevm reports
|
|
\textbf{95.78\%} TOTAL line coverage and \textbf{96.51\%} on the
|
|
dominant translation unit \texttt{quasar\_gpu\_engine.mm}; the 5
|
|
new VMs average \textbf{97.96\%} oracle line coverage (LP-137-COVERAGE.md,
|
|
2026-04-27). LLVM source-based instrumentation
|
|
(\texttt{-fprofile-instr-generate -fcoverage-mapping}) on Apple
|
|
Clang 17 / clang on CUDA hosts; per-VM \texttt{COVERAGE.md} files
|
|
include full per-file breakdowns.
|
|
|