diff --git a/exercises/practice/bank-account/.meta/design.md b/exercises/practice/bank-account/.meta/design.md
new file mode 100644
index 000000000..9ad77642e
--- /dev/null
+++ b/exercises/practice/bank-account/.meta/design.md
@@ -0,0 +1,16 @@
+# Design
+
+## Analyzer
+
+This exercise could benefit from the following rules in the [analyzer]:
+
+- `essential`: Verify that the solution **guards `deposit`, `withdraw`, and `getBalance` with `synchronized`** to avoid
+  race conditions.
+- `essential`: Verify that the solution **checks the account’s open/closed state before every balance operation**
+- `essential`: If the solution **allows negative amounts** in `deposit` or `withdraw`, instruct the student to reject
+  them early.
+- `essential`: If the solution **does not throw an exception when `amount` exceeds `balance` during withdrawal**,
+  instruct the student to add this check.
+- `actionable`: Verify that the solution **declares exactly one `boolean`/`Boolean` field to track account state**; if the count is zero or greater than one, instruct the student to use exactly one such field.
+
+[analyzer]: https://github.com/exercism/java-analyzer