A ramp-energy-matches-source-work scan checks each linear current ramp so the source work W = V * I_avg * delta-t equals the stored-energy increase delta-E row by row. The arithmetic is exact only for the stated voltages, currents, times, work, energy changes, and rows in the ideal lossless inductor and lossless switching model. Real inductors add winding resistance, core saturation, core loss, switch loss, current-sense/probe calibration limits, finite precision, and measurement uncertainty.
A linear ramp must close its source-work and energy ledgers. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Ramp work uses the average ramp current
The work check cites the ramp endpoints and the stored-energy delta. The average current is not a free label.
W=V(2Ii+If)Δt
Each ramp row closes work against energy increase
Every row is built from a matching ramp and energy endpoint, so source work equals the energy increase.