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
58 lines
2.1 KiB
Dart
58 lines
2.1 KiB
Dart
/// What the user can realistically absorb, learned from history rather than
|
|
/// asserted. Drives the capacity block at plan time.
|
|
class CapacityProfile {
|
|
/// p50 of historically completed minutes, keyed by weekday (1 = Monday).
|
|
Map<int, double> completedMinutesByWeekday;
|
|
|
|
/// Per-category estimation multiplier — you say 30min, you take 70min -> 2.3.
|
|
Map<String, double> estimationMultipliers;
|
|
|
|
CapacityProfile({
|
|
Map<int, double>? completedMinutesByWeekday,
|
|
Map<String, double>? estimationMultipliers,
|
|
}) : completedMinutesByWeekday = completedMinutesByWeekday ?? <int, double>{},
|
|
estimationMultipliers = estimationMultipliers ?? <String, double>{};
|
|
|
|
factory CapacityProfile.fromJson(Map<String, dynamic> json) {
|
|
final Map<int, double> minutes = <int, double>{};
|
|
if (json['completedMinutesByWeekday'] != null) {
|
|
(json['completedMinutesByWeekday'] as Map<String, dynamic>)
|
|
.forEach((key, value) {
|
|
minutes[int.tryParse(key) ?? 1] = (value ?? 0).toDouble();
|
|
});
|
|
}
|
|
|
|
final Map<String, double> multipliers = <String, double>{};
|
|
if (json['estimationMultipliers'] != null) {
|
|
(json['estimationMultipliers'] as Map<String, dynamic>)
|
|
.forEach((key, value) {
|
|
multipliers[key] = (value ?? 1).toDouble();
|
|
});
|
|
}
|
|
|
|
return CapacityProfile(
|
|
completedMinutesByWeekday: minutes,
|
|
estimationMultipliers: multipliers,
|
|
);
|
|
}
|
|
|
|
Map<String, dynamic> toJson() {
|
|
final Map<String, dynamic> data = <String, dynamic>{};
|
|
data['completedMinutesByWeekday'] = completedMinutesByWeekday
|
|
.map((key, value) => MapEntry(key.toString(), value));
|
|
data['estimationMultipliers'] = estimationMultipliers;
|
|
return data;
|
|
}
|
|
|
|
/// The learned multiplier for a category, defaulting to honest 1.0 until
|
|
/// there is enough history to say otherwise.
|
|
double multiplierFor(String category) {
|
|
return estimationMultipliers[category] ?? 1.0;
|
|
}
|
|
|
|
/// The p50 of what actually gets done on this weekday.
|
|
double capacityFor(int weekday) {
|
|
return completedMinutesByWeekday[weekday] ?? 0;
|
|
}
|
|
}
|