State Variable Atomicity

State variable atomicity is the requirement that all related state variables within a contract are updated together as part of a single, indivisible operation. If an update to one variable fails, all other related updates must also fail to prevent an inconsistent state.

This is particularly important for financial applications, such as tracking a user's collateral and their debt position simultaneously. If the collateral is updated but the debt is not, the protocol's internal accounting would be compromised, potentially allowing for under-collateralized positions.

Developers ensure this by grouping related state updates within the same function and using modifiers to prevent intermediate access. Maintaining strict atomicity is a foundational requirement for the correctness of any protocol managing financial value.