diff --git a/app/android/app/build.gradle.kts b/app/android/app/build.gradle.kts
index 8ab020a..99094b5 100644
--- a/app/android/app/build.gradle.kts
+++ b/app/android/app/build.gradle.kts
@@ -33,14 +33,12 @@ android {
             // TODO: Add your own signing config for the release build.
             // Signing with the debug keys for now, so `flutter run --release` works.
             signingConfig = signingConfigs.getByName("debug")
-            // AGP 9 defaults release minification (and resource shrinking,
-            // which requires it) to true. R8 then strips
-            // WorkDatabase_Impl's reflection-only no-arg constructor (no
-            // keep rule covers it), crashing every release launch with
-            // NoSuchMethodException. Disable both until proper
-            // Room/WorkManager keep rules are added.
-            isMinifyEnabled = false
-            isShrinkResources = false
+            isMinifyEnabled = true
+            isShrinkResources = true
+            proguardFiles(
+                getDefaultProguardFile("proguard-android-optimize.txt"),
+                "proguard-rules.pro",
+            )
         }
     }
 }
diff --git a/app/android/app/proguard-rules.pro b/app/android/app/proguard-rules.pro
new file mode 100644
index 0000000..574157c
--- /dev/null
+++ b/app/android/app/proguard-rules.pro
@@ -0,0 +1,20 @@
+# Room: keep generated *_Impl classes and their no-arg constructors.
+# The Room AAR ships "-keep class * extends RoomDatabase" but that only
+# protects the class from removal/renaming — R8 still strips the no-arg
+# constructor because it's only ever called via Class.getDeclaredConstructors()
+# (reflection inside RoomDatabase.create()), which R8 cannot trace statically.
+-keep class * extends androidx.room.RoomDatabase { <init>(); }
+-dontwarn androidx.room.paging.**
+-dontwarn androidx.lifecycle.LiveData
+
+# WorkManager: keep worker classes, their two-arg constructors, and the
+# WorkerParameters type passed to them.  Sourced from work-runtime AAR's
+# own proguard.txt — re-stated here so they apply even if transitive
+# consumer-rule propagation through the Flutter plugin wrapper is incomplete.
+-keepnames class * extends androidx.work.ListenableWorker
+-keepclassmembers public class * extends androidx.work.ListenableWorker {
+    public <init>(...);
+}
+-keep class androidx.work.WorkerParameters
+-keepnames class * extends androidx.work.InputMerger
+-keepclassmembers class * extends androidx.work.InputMerger { void <init>(); }