login-greeter-idle
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
Boot to the greeter with autologin off and leave it idle for 10 min. SessionEstablished never holds, so graphical-session gets no incident.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| vm | intent | no_autonomous_txn: true; no_incident_on: target:graphical-session; units: service:display-manager Running | VM: not run in this build |
What it exercises
No invariant by name.