occupation
unclassified
description
Audit or refactor code in any language with a correctness-first style: precise states, explicit failures, small interfaces, exhaustive cases, and clear brevity. Use when the user asks for Jane Street style, tighter code, type-driven design, or stronger…
updated