feat(StdInvariant): add standard Handler contract for invariant testing

描述

// src/Handler.sol
contract Handler is CommonBase, StdCheats, StdUtils {
  // TODO Helpers for managing actors/addresses
  // TODO Helpers for call summary data
  // TODO What else?
}

贡献者指南

技术栈

无

领域

testing

议题类型

feature

难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。

3

预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。

1-2 days

活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。

stale

清晰度议题是否清楚说明期望改动、验收标准和下一步。

mostly clear

前置要求

Solidity basicsFoundry frameworkInvariant testing conceptsforge std library knowledge

新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。

50

研究方向

Start by reviewing the referenced Foundry book and Mirror article to understand invariant testing conventions. Then examine existing contracts in forge std like StdInvariant and StdCheats. The scaffold in the issue provides the class structure; fill in helper functions for actor management and call summary data. Consider looking at the maple core v2 invariant tests for patterns.