feat: recovery-aware recommendation engine + per-model Gemini thinking level

workout-logger/lib/main.dart

@@ -37,6 +37,7 @@ import 'genui/a2ui.dart';
 import 'theme/a2ui_app_theme.dart';
 import 'screens/home_screen.dart';
 import 'screens/onboarding_screen.dart';
+import 'screens/widgets/rf_widgets.dart';
 
 /// Resolved once in main() before runApp(). Read lazily by
 /// WorkoutLoggerApp._storageService's static initializer, which only runs
@@ -46,9 +47,8 @@ IStorageService? _resolvedStorageService;
 /// One-time, flag-gated, reversible Hive -> SQLite cutover. See
 /// docs/superpowers/specs/2026-08-08-sqlite-migration-and-coach-sql-tool-design.md §6.
 Future<void> _resolveStorageBackend() async {
-  // Hive stays initialized unconditionally: the cutover flag itself lives in
-  // this settings box, so it has to be readable before we know which backend
-  // to build — and the pre-migration path still runs on Hive outright.
+  // Hive must be initialized before the cutover check itself, since the
+  // migration flag below is read directly from the Hive 'settings' box.
   await Hive.initFlutter();
   final settingsBox = await Hive.openBox<String>('settings');
   final alreadyMigrated = settingsBox.get(storageMigratedFlagKey) == 'true';
@@ -220,6 +220,9 @@ class WorkoutLoggerApp extends StatelessWidget {
           title: 'Workout Logger',
           debugShowCheckedModeBanner: false,
           theme: AppTheme.darkTheme,
+          // Above the Navigator, so every route feeds the ambient glow.
+          builder: (context, child) =>
+              AmbientMotionScope(child: child ?? const SizedBox.shrink()),
           home: const AppInitializer(),
         ),
       ),
@@ -262,6 +265,7 @@ class _AppInitializerState extends State<AppInitializer> {
         settings.geminiApiKey,
         model: settings.geminiModel,
         maxToolRounds: settings.geminiMaxToolRounds,
+        thinkingLevel: settings.geminiThinkingLevel,
       );
       try {
         await gemini.loadUsage();

workout-logger/lib/models/models.dart

@@ -315,6 +315,10 @@ class WorkoutSession {
   final String? notes;
   /// Non-null when this session was successfully synced to Health Connect.
   final DateTime? hcSyncedAt;
+  /// Optional once-per-workout subjective effort (1 = Easy, 2 = Solid,
+  /// 3 = Brutal), captured on the post-workout summary screen. Used only to
+  /// calibrate [EffortEstimator]'s per-set RPE anchor — never required.
+  final int? sessionEffort;
 
   WorkoutSession({
     required this.id,
@@ -324,6 +328,7 @@ class WorkoutSession {
     required this.duration,
     this.notes,
     this.hcSyncedAt,
+    this.sessionEffort,
   });
 
   double get totalVolume =>
@@ -337,6 +342,7 @@ class WorkoutSession {
     'duration': duration,
     'notes': notes,
     'hcSyncedAt': hcSyncedAt?.toIso8601String(),
+    'sessionEffort': sessionEffort,
   };
 
   factory WorkoutSession.fromJson(Map<String, dynamic> json) => WorkoutSession(
@@ -351,6 +357,7 @@ class WorkoutSession {
     hcSyncedAt: json['hcSyncedAt'] != null
         ? DateTime.parse(json['hcSyncedAt'] as String)
         : null,
+    sessionEffort: json['sessionEffort'] as int?,
   );
 
   WorkoutSession copyWith({
@@ -361,6 +368,7 @@ class WorkoutSession {
     Object? duration = _sentinel,
     Object? notes = _sentinel,
     Object? hcSyncedAt = _sentinel,
+    Object? sessionEffort = _sentinel,
   }) => WorkoutSession(
     id: id == _sentinel ? this.id : id as String,
     date: date == _sentinel ? this.date : date as DateTime,
@@ -373,6 +381,9 @@ class WorkoutSession {
     hcSyncedAt: hcSyncedAt == _sentinel
         ? this.hcSyncedAt
         : hcSyncedAt as DateTime?,
+    sessionEffort: sessionEffort == _sentinel
+        ? this.sessionEffort
+        : sessionEffort as int?,
   );
 }
 
@@ -480,6 +491,34 @@ class SetRecommendation {
   });
 }
 
+// ==================== Effort Estimate ====================
+
+/// Where an [EffortEstimate]'s RPE value came from.
+///
+/// No per-set RPE picker exists in this app — [userReported] is reserved
+/// for if one is ever added, so estimated values can never be confused with
+/// a real logged one.
+enum EffortSource { userReported, estimatedWithHr, estimatedHrless }
+
+/// A 0–10 RPE (rate of perceived exertion) estimate for one set, inferred
+/// from data already logged rather than asked of the user. See
+/// [EffortEstimator] for how it's computed.
+class EffortEstimate {
+  final double rpe;
+  final EffortSource source;
+
+  /// 0–1. Capped below 1.0 (see [EffortEstimator.maxEstimatedConfidence]) —
+  /// an estimate can never claim the certainty a real user-reported value
+  /// would have.
+  final double confidence;
+
+  const EffortEstimate({
+    required this.rpe,
+    required this.source,
+    required this.confidence,
+  });
+}
+
 // ==================== Growth Model ====================
 
 /// Functional form of a fitted growth curve.