nice,
for your rate limit.

Every Claude session you run draws on one shared window. Stratify tells each session how much of it to take, and when to come back.

$ stratify plan

One burst, or many sprints

Left: fourteen sessions all working at once. Right: the same sessions, each on a paced share.

Window usage over five hours, without and with stratify

Try the allocator

The same arithmetic the binary runs: floor division on a 1000-weight scale, 90% ceiling, 0.5% minimum sprint, 60 s to 1 h sleeps. Other sessions sit at nice 0.

already used your grant other sessions 10% reserve
nowwindow resets in 5h
your grant
sprints
per sprint
between sprints

Nice, but gentler

Same shape as Unix nice, with a 14.9× spread instead of the ~5900× of Linux CFS. A session that yields still makes steady progress; it doesn't stall.

$ stratify claim --nice 10

Real output of stratify status and stratify plan
Scheduling weight for each niceness from -20 to 19

It says how sure it is

Window usage only exists in the statusline payload, so every plan carries a label. The skill must pass it on, never present a guess as a reading.

measured

A live window, read recently.

estimated

A live window read a while ago, or one that just reset.

UNKNOWN

No current reading. You get one minimum sprint at a slow cadence, never a full grant.

Proved, not promised

The allocator is written in Lean 4 with exact integer arithmetic. These are theorems the compiler checks.

1
No oversubscription
grants_le_budget
2
Priority never hurts
grant_mono
3
Fair share gets a grant
grant_pos
4
Sleep stays in bounds
sleepFor_bounds
4b
Sprints fit the grant
sprint_schedule_within_grant
6
Safe across a reset
budgetOf_rolledOver
7
Blind means bounded
unknown_is_boundedunknownSleep_mono
8
Expired is not evidence
expired_not_measured
∑ grants ≤ budget  ·  the floor division's leftover pays for it

Three steps

Only the last one touches your settings, and it asks first.

1 · build
make install

Builds the binary from source with the pinned Lean toolchain.

2 · sense
stratify install-sensor

Prints the statusline change. Modifies nothing until you apply it.

3 · pace
stratify plan

Or ask Claude to work in stratified sprints, and the skill takes over.