Implicit Contract Discovery

I am about to refactor [ClassName] in this codebase: [paste class + immediate callers].

Identify implicit contracts that the refactor must preserve:
  - Method signatures relied on by tests or callers.