mirror of
https://github.com/kuhyx/utils.git
synced 2026-11-14 23:50:58 +01:00
Krzysztof kuhy Rudnicki
4c1ffd900b
Project.kind (focus default; old rows load unchanged) plus interview fields test_at, invite_url, trips, weekend_answers. Interview budget 30 min weekdays / 120 Sat-Sun, exempt from daily_floor, unlock clamped after the 0.7.0 history ratchet. Milestones are generated (rules, trip_ask, phone, mock, slot), never stored. Append-only evidence store behind the _paths seam. Calendar dropped: slot = slot entry + slot_confirm. Failure paths: - unanswered trip question: fail closed (reads as a trip, phone due) - late no-trip answer cannot erase an overdue phone milestone: closed - phone source missing/stale/crashed: unknown, locks: fail closed - trip_ask answer: evidence row first, then registry; a crash between leaves the question open: fail closed - add_trip/answer_weekend loosening: ValueError, nothing written - owed_lock with unreadable registry or evidence: fail open, logged (focus-guard's unreadable-registry rule); test day never locks - status() milestones with unreadable evidence: empty list, logged - torn or non-utf8 evidence lines: skipped and logged Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WzxdWZUTC9Zzdzsx7VW7dm
50 lines
3.6 KiB
Markdown
50 lines
3.6 KiB
Markdown
# focus_project
|
|
|
|
Time-boxed focus projects ("until Thursday I prepare for X"). The active
|
|
project switches chosen gates off and defines a daily-minutes gate.
|
|
|
|
```python
|
|
import focus_project as fp
|
|
|
|
fp.stands_down("leetcode", today) # gate in leetcode|book|reading|tutor; never raises
|
|
fp.active(today) # Project | None
|
|
fp.status(today) # dict for i3bar / GUIs
|
|
fp.record_activity("timer", "start")
|
|
```
|
|
|
|
Data: `$FOCUS_PROJECT_DATA` or `~/.local/share/focus_project/` (`projects.json`,
|
|
`activity.jsonl`). `minutes.py` is owned by the minutes/harvester agent.
|
|
Time rules: `minutes_for` clips every interval at "now" (an event stamped ahead of
|
|
the clock earns only once the clock reaches it); `record_activity` rejects a `ts`
|
|
more than 120 s ahead (ValueError). Timer segments (`start` -> `checkin` ... -> `stop`)
|
|
lapse after a 600 s gap; a `tutor`/`heartbeat` is a beat too (0.8.0: a graded check-in card
|
|
extends the open segment, never opens one). `end_project(id, day)` rejects a past `day`
|
|
(ValueError); today or later is fine. The harvester pays every project day of the
|
|
last 31 days, so late-synced events for older days are credited (idempotent).
|
|
Overtime carries over: own minutes past a day's target bank (max 60) and pay on the
|
|
next project day; the bank never crosses the project's end. `minutes_for(day)` is the
|
|
capped pay figure, `status(day)["minutes"]` the real count (121/120) with `carried_in`,
|
|
`carry_out`, `own_minutes`, `counted_minutes`. Carry ledger rows: `<project>-<YYYYMMDD>-carry`
|
|
(`detail.carry`), never over `daily_minutes` together with own rows.
|
|
Edits only ratchet (0.7.0): `update_project`/`apply_update(id, today=...)` never lowers
|
|
today's obligation. A lower `daily_minutes`/`unlock_minutes`, or a gate added to `replaces`,
|
|
on a started project holds from TOMORROW (a `history` row ends today with the old values,
|
|
`replaces_on(day)`/`daily_on`/`unlock_on` read it); a mixed edit defers as a whole. Raises,
|
|
gates removed and edits to a project that has not started hold from today.
|
|
`apply_update(...).effective_from` says which. `end` cannot be before today, so an edit never
|
|
uncovers today. A NEW project starting today may replace gates and set any targets: it is a
|
|
new obligation, not a reduction (but see the floor).
|
|
Floor (0.7.1, coordinator decision for kuhy): `daily_minutes >= 30 x replaced gates` (min 30; `book` = `reading`),
|
|
enforced on create and update (`daily_floor(replaces)`), so a day cannot be made cheap.
|
|
Open the work: `python3 -m focus_project.open [--no-site]` (tutor focus screen, `work_url`).
|
|
Install: `./install.sh` (stdlib only, editable user install for `/usr/bin/python3`).
|
|
|
|
Interview prep (`kind="interview"`, 0.9): `create_project(..., kind="interview", test_at=, invite_url=, trips=, weekend_answers=)`;
|
|
`end` must be the test day. Budget: 30 min weekdays / 120 Sat-Sun (`daily_on`), exempt from `daily_floor`, unlock clamped.
|
|
Milestones are generated, never stored: `milestones(project, now)` -> `rules`, `trip_ask:<sat>`, `phone:<trip start>`, `mock`, `slot`
|
|
with states pending/done/missed/late_done/unknown. `owed_lock(now)` = earliest overdue uncompleted one (never on test day; wire it
|
|
after focus-guard's sick/free-day stand-down). `status(day)` gains `milestones` and `missed`.
|
|
Evidence is append-only (`evidence/<id>.jsonl` + copied files): `record_evidence(id, milestone, kind, value, file=, now=)`
|
|
(`file`, `tap`, `score`, `slot`, `slot_confirm`, tutor's `phone_check`). `add_trip` / `answer_weekend` only get stricter (ValueError).
|
|
`run_checks(id)` runs the `phone` source (reads the latest `phone_check` row) and latches changes; `register_source` swaps it.
|