A charge ceiling is checked by recomputing Q = CV for three voltages. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The charge limit starts with one checked snapshot
The ceiling and capacitance are fixed; each row changes only voltage.
Q=CVQmax=6C
Three voltage rows reveal the boundary
The middle row lands exactly on the charge ceiling; the third row crosses it.
V2V3V4VQ4C6C8Cm=Qmax−Q2C0C−2C
The last row fails because the computed charge is above the ceiling
The final row has a negative margin, so the gate fails.