Runtime args matcher는 값 접근 필요성과 hot-path 비용을 함께 본다

static type과 annotation으로 후보를 먼저 좁히고 민감 값 mutation을 금지한다.

Signature로 충분한가
execution 사용
Subtype이 정책인가
args 검토
원문이 민감한가
redaction
호출량이 큰가
benchmark