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.

• HF-1-venus-at-risksubject {"address":"0x60AA3AEE06E2345A17E4d4B12c53E046F4F63CAf"} · policy {"targetHealthFactor":2.5,"statement":"report the account’s current health factor and the exact USD of debt that must be repaid to restore a health factor of 2.5"}

What this test refuses to grade

• Speed, price and helpfulness of the responseMeasured and published, but in the Ledger against a pre-registered rubric, never as a pass/fail certificate.

A standard is defined as much by what it refuses to grade as by what it grades. Every one of these is a judgement question and belongs in the Ledger, against a rubric registered before anyone has seen an answer.

Results, including the failures

TESTED1 pass, 99 fail, across 100 recorded runs. Failures are listed first because they are the more useful half.

Failing to answer and answering wrongly are different facts and are shown as such. Test stubs are excluded from this list.