A ratio claim must preserve source and flying-cap identities across phases. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Two phases must share the same rail and flying capacitor

The cycle check rejects same-valued phases that do not cite the same source identities.

ϕone: 4 Vϕtwo: 4 V\phi_{\text{one}}:\ 4\ \text{V}\quad \phi_{\text{two}}:\ 4\ \text{V}
Two-phase identityBoth phases point to the same rail and flying capacitor.C 2 FV 4 VQ 8 CE 16 JC 2 FV 4 VQ 8 CE 16 JVs 8 VVfly 4 VVout 4 Vmode splitVs 8 VVfly 4 VVout 4 Vmode splitphi1 phi onephi2 phi twocycle cycle linked

Changing the rail keeps the identity gate explicit

Each row rebuilds both phases and the cycle identity from the same rail and flying-cap sources.

VsVoutcycle6 V3 Vlinked8 V4 Vlinked10 V5 Vlinked\begin{array}{c|c|c}V_s&V_{\text{out}}&\text{cycle}\\6\ \text{V}&3\ \text{V}&\text{linked}\\8\ \text{V}&4\ \text{V}&\text{linked}\\10\ \text{V}&5\ \text{V}&\text{linked}\\\end{array}

Two phase rows must cite the same cycle identities

Same-valued phases are not enough; source rail and flying-cap identity are checked.

8 V4 V8\ \text{V}\rightarrow4\ \text{V}
Two-phase identityBoth phases point to the same rail and flying capacitor.C 2 FV 4 VQ 8 CE 16 JC 2 FV 4 VQ 8 CE 16 JVs 8 VVfly 4 VVout 4 Vmode splitVs 8 VVfly 4 VVout 4 Vmode splitphi1 phi onephi2 phi twocycle cycle linked