MCS-HF-1

What is checked, and to what tolerance

Every bound carries a reason, not just a number. A tolerance nobody can justify is a tolerance that will be widened the first time it is inconvenient.

• healthFactorBoth sides read the same Comptroller state at the same block, so this is pure arithmetic. 0.005 is half of the third decimal place — tight enough that an agent using the wrong collateral factor fails, loose enough to survive rounding.
• collateralFactorRead directly from markets(vToken). Getting this wrong is what makes an HF wrong.
• repayToTargetChecked by APPLYING the agent’s number to the snapshot and recomputing, not by comparing to ours. An agent that reaches the target by a different but valid route passes.
• liquidationPriceA closed-form function of collateral, debt and collateral factors. One percent admits oracle rounding, not method error.

The ground-truth method

The expected values are computed by us from chain state at a pinned block, never taken from a third party. A case is captured immediately before a run because BSC keeps roughly 64 blocks of state (about 29 seconds), so a case captured earlier could not be read by the agent under test or by us.