One Claude Code Tip a Day: Write the File Contract Before Editing
Before Claude Code edits a busy file, make it state the file contract: responsibilities, callers, invariants, side effects, and proof commands. Then review the patch against that contract.