A to-do app that doesn't believe you — an enforcement layer rather than a
neutral ledger.
Architecture ported from Autoreceptives/Frontend/Receptive: stacked MVVM with
the mandatory 4-file screen pattern, one ParentViewModel owning the loading /
network / error overlays and the handleError decision tree, one AppDataManager
gateway, dio comms carrying the three identity headers, secure storage with
random-suffixed keys, and a single-chokepoint Navigator. Package root and Dart
package name are both Grounded; org is nya.
The enforcement engine, one unit per formula in utils/:
- DebtEngine w(class) x severity(d) x decay(t), sublinear severity so old
misses cannot swamp the score; abandonment 2x with 30-day
decay immunity; late complete retains 30%
- StandingEngine Good -> Warned -> Grounded -> Lockdown, derived not set;
Grounded replaces home with the overdue queue
- CapacityEngine blocks over-scheduling against p50 of historically completed
minutes, with a learned per-category estimation multiplier
- IntegrityEngine session integrity, weekly volume, plyometric contact ceiling
and enforced recovery gaps
- ExcuseAnalyser on-device excuse clustering plus the confrontation copy
- GuardrailEngine distress detection and rationed amnesty
- ToneEngine all enforcement copy, so the tone cap lives in one place
CommitmentEvent is append-only and is the source of truth rather than the
status field, which is what makes honest history and excuse analysis possible.
Goals contain commitments via parentId, and a task can be run from a
full-screen runner that derives elapsed time from wall-clock so screen-off
cannot lose time. Backgrounding pauses the clock and is counted. The runner is
mirrored into an ongoing notification, with alarm-class full-screen intents
reserved for non-negotiables.
Design language, fonts, icon and native splash are in place; Mason bricks are
retargeted to this project and verified end-to-end.
flutter analyze lib/ reports no errors.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Mfu2gQLSFN21YRBcU2NrTt
92 lines
2.4 KiB
Dart
92 lines
2.4 KiB
Dart
import '../../internal/application/ProgressionRule.dart';
|
|
|
|
class ExercisePrescription {
|
|
String? id;
|
|
|
|
String sessionTemplateId;
|
|
|
|
String exerciseId;
|
|
|
|
String exerciseName;
|
|
|
|
/// Primary muscle group, for weekly volume tracking.
|
|
String muscleGroup;
|
|
|
|
int sets;
|
|
|
|
int targetReps;
|
|
|
|
/// For timed holds and intervals; 0 when the work is rep-based.
|
|
int targetTimeSeconds;
|
|
|
|
int restSeconds;
|
|
|
|
/// Eccentric-pause-concentric-pause, e.g. "3010".
|
|
String tempo;
|
|
|
|
ProgressionRule progressionRule;
|
|
|
|
/// Ground contacts per set, for the plyometric weekly ceiling.
|
|
int contactsPerSet;
|
|
|
|
/// Whether this is a hard exercise for integrity scoring. Derived from
|
|
/// historical RPE rather than set statically.
|
|
bool hard;
|
|
|
|
ExercisePrescription({
|
|
this.id,
|
|
this.sessionTemplateId = "",
|
|
this.exerciseId = "",
|
|
this.exerciseName = "",
|
|
this.muscleGroup = "",
|
|
this.sets = 0,
|
|
this.targetReps = 0,
|
|
this.targetTimeSeconds = 0,
|
|
this.restSeconds = 0,
|
|
this.tempo = "",
|
|
this.progressionRule = ProgressionRule.Reps,
|
|
this.contactsPerSet = 0,
|
|
this.hard = false,
|
|
});
|
|
|
|
factory ExercisePrescription.fromJson(Map<String, dynamic> json) {
|
|
return ExercisePrescription(
|
|
id: json['id'],
|
|
sessionTemplateId: json['sessionTemplateId'] ?? "",
|
|
exerciseId: json['exerciseId'] ?? "",
|
|
exerciseName: json['exerciseName'] ?? "",
|
|
muscleGroup: json['muscleGroup'] ?? "",
|
|
sets: json['sets'] ?? 0,
|
|
targetReps: json['targetReps'] ?? 0,
|
|
targetTimeSeconds: json['targetTimeSeconds'] ?? 0,
|
|
restSeconds: json['restSeconds'] ?? 0,
|
|
tempo: json['tempo'] ?? "",
|
|
progressionRule: getProgressionRule(json['progressionRule']),
|
|
contactsPerSet: json['contactsPerSet'] ?? 0,
|
|
hard: json['hard'] ?? false,
|
|
);
|
|
}
|
|
|
|
Map<String, dynamic> toJson() {
|
|
final Map<String, dynamic> data = <String, dynamic>{};
|
|
data['id'] = id;
|
|
data['sessionTemplateId'] = sessionTemplateId;
|
|
data['exerciseId'] = exerciseId;
|
|
data['exerciseName'] = exerciseName;
|
|
data['muscleGroup'] = muscleGroup;
|
|
data['sets'] = sets;
|
|
data['targetReps'] = targetReps;
|
|
data['targetTimeSeconds'] = targetTimeSeconds;
|
|
data['restSeconds'] = restSeconds;
|
|
data['tempo'] = tempo;
|
|
data['progressionRule'] = progressionRule.name;
|
|
data['contactsPerSet'] = contactsPerSet;
|
|
data['hard'] = hard;
|
|
return data;
|
|
}
|
|
|
|
int get plannedContacts {
|
|
return contactsPerSet * sets;
|
|
}
|
|
}
|