Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

§21. Expected resource profile

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

SituationCost
IdleSingle-digit MB resident, < 0.5% of one core (the invisibility budget below); watchdog sleeps on a 10 s timer
Invisibility budget (normative, ratchet)Idle CPU < 0.5% of one core; resident memory < 50 MB excluding any model; wakeups per second at idle reported; input-to-display latency and p99 frame time on the reference game workload with no statistically significant difference vs. Planarian stopped; notifications per user-week reported, and zero for self-resolved faults the user could not perceive
Fault → detectionOne tick plus probe timeout (5–30 s); up to one cadence period for hardware probes
Fault → deterministic fix10–60 s per attempt plus settle; defer-to-systemd adds up to RestartSec + settle
Fault → model-assisted fix (B)1–3 min, plus cold start if not warm
Config change (Tested)30 s to several minutes, dominated by Nix evaluation and builds; plus the stage copy (seconds)
Runtime-settable optionImmediate; write-back follows in the background
JournalOne fsync per state change, roughly ten per generation transaction; 64 MB preallocated
DiskBounded by keep-N and space budgets; BudgetUnsatisfiable reported if the protected set alone exceeds them
Executor logTens of KB/day in steady state; rotated at 50 MB, kept 30 days