mirror of
https://github.com/kuhyx/utils.git
synced 2026-11-11 21:53:59 +01:00
Krzysztof kuhy Rudnicki
4fee294aa0
Some checks failed
dependency freshness / dependencies on newest stable (push) Waiting to run
file length / file-length (push) Waiting to run
md-naming / markdown naming convention (push) Waiting to run
palette drift / palette (push) Waiting to run
repo-contract / repo contract (push) Waiting to run
shared gate tests / gate unit tests (push) Waiting to run
focus-project pre-commit / pre-commit (push) Has been cancelled
focus-project tests / test (push) Has been cancelled
A tutor heartbeat (a graded check-in card in the tutor app) is a beat of the open timer segment like a checkin: within 600 s it extends the segment, later it ends it at the last beat; it never opens one. leetcode, sql_drills and browser heartbeats are unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
41 lines
2.6 KiB
Markdown
41 lines
2.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`).
|