papers/lp-209-mysticeti-ordering/sections/05-composition.tex

\section{Composition With Sibling LPs}

\begin{table}[h]
\centering
\small
\begin{tabular}{@{}lp{9cm}@{}}
\toprule
\textbf{LP} & \textbf{Composition} \\
\midrule
LP-020 & TEE extensions (validator TEE attestation for VRF leader-election integrity under PQ-heavy) \\
LP-075 & BLS consensus leg (the VRF source under classical and PQ-fast/PQ-strict modes) \\
LP-079 & Q-Chain finality blocks (where wave commits land) \\
LP-176 & DRBG randomness beacon (Pulsar-threshold-derived VRF fallback under PQ-heavy) \\
LP-182 & Consensus wire / QuasarCert (one cert per wave) \\
LP-202 & ZAP Pipelining and Atomic Unwind (cert leg degradation contract; MVCC unwind on cert failure) \\
LP-203 & GPU-native verify (source of the projected GB10 sm\_120 cert wall-clocks: BLS pairing 19\,$\mu$s/pair, keccak256 \SI{11.38}{\mega ops/s}) \\
LP-204 & Network of Blockchains (per-L1 LP-209 instantiation) \\
LP-205 & Pipelined block production (three waves in flight = $3\times$ throughput) \\
LP-208 & DAG mempool / header DAG (the substrate LP-209 orders) \\
LP-210 & Block-STM optimistic parallel execution (per-wave per-tx parallelism) \\
LP-211 & Cross-shard atomic Polaris cert (cross-VM wave composition) \\
LP-217 & Cert Profile Modes (per-wave QuasarCert profile) \\
\bottomrule
\end{tabular}
\caption{Composition of LP-209 with sibling LPs.}
\label{tab:composition}
\end{table}

\subsection{With LP-205 pipelining}

LP-205 specifies block production pipelining at depth~$3$. LP-209
extends this to the wave layer:

\begin{table}[h]
\centering
\small
\begin{tabular}{@{}lp{2.5cm}p{2.5cm}p{2.5cm}@{}}
\toprule
\textbf{Wave} & \textbf{$t{=}T$} & \textbf{$t{=}T{+}$\SI{100}{\milli\second}} & \textbf{$t{=}T{+}$\SI{200}{\milli\second}} \\
\midrule
$W_k$ & LP-210 exec & LP-217 cert + commit & settled \\
$W_{k{+}1}$ & causal sort + ordering & LP-210 exec & LP-217 cert \\
$W_{k{+}2}$ & round $2(k{+}1){+}1$ vote count & causal sort + ordering & LP-210 exec \\
$W_{k{+}3}$ & rounds $2(k{+}2),2(k{+}2){+}1$ in DAG & round $2(k{+}2){+}1$ vote count & causal sort \\
\bottomrule
\end{tabular}
\caption{Four waves in different stages at any wall-clock moment.}
\label{tab:pipeline-waves}
\end{table}

The pipelining-depth cap is the LP-217 cert mode's required-leg
slowest arrival -- at PQ-strict $\sim$\SI{5}{\milli\second} is far
below the \SI{100}{\milli\second} wave cadence, so pipeline depth
saturates at the wave cadence itself. At PQ-heavy
$\sim$\SI{50}{\milli\second} is still within the
\SI{100}{\milli\second} cadence, so 2--3 deep pipelining holds.

\subsection{With LP-208 DAG mempool}

LP-208 produces the substrate; LP-209 consumes it. The contract:

\begin{table}[h]
\centering
\small
\begin{tabular}{@{}p{6cm}p{6cm}@{}}
\toprule
\textbf{LP-208 produces} & \textbf{LP-209 consumes} \\
\midrule
ZAP-framed headers, schema \texttt{0xF0} & DAG vertex set \\
$K$ parent references per header & causal-ancestry graph \\
Round number per header & wave-eligibility filter (round mod 2) \\
Author NodeID per header & leader-election membership check \\
Payload commitment (sha256 over txs) & wave-ordered bytes for cert \\
Equivocation detection (two headers same round, same author) & wave anchor disqualification \\
\bottomrule
\end{tabular}
\caption{LP-208 / LP-209 contract.}
\label{tab:lp208-209}
\end{table}

\subsection{With LP-211 cross-shard}

When state is sharded across multiple chain-VMs (LP-204 Tier-2),
each shard runs its own LP-208/209 stack. A cross-shard tx group is
committed atomically by LP-211's cross-shard cert at the parent L1
-- the per-shard wave commits provide each shard's prepare-ack; the
parent L1's wave commits the cross-shard cert.

This means LP-209's ``wave'' is per-shard; LP-211's ``cross-shard
commit'' is a parent-L1 wave that references prepare-acks from $N$
shard waves. The parent L1's wave latency is the max of the
per-shard wave latencies plus the LP-217 cert at the parent L1.

\section{Activation Marker}

\begin{verbatim}
activates:      2025-12-25T16:20:00-08:00
activates-unix: 1766708400
\end{verbatim}

Applies to the wave-ordering layer from the genesis block of the
new final Lux network onward.

\section{Backwards Compatibility}

None. The pre-Quasar Edition Lux network's serial block production
is out of scope.