Every ticket as the root of its provenance graph — goal, patch, approval, runs and (as the ticket-class build lands) mandate, manifestations, guarantees, journey, artifacts and children. Rendered through the <<<TicketGraphList>>> tag.
Restore login to the rpi5 (r00): push r00-ed25519.pub
goal
Login to the Pi is broken; the fix starts with pushing the public key ~/.ssh/r00-ed25519.pub (ed25519, created 2026-07-12, fingerprint comment currently the placeholder '[email protected]') into the device user's authorized_keys. NEEDED FROM THE OPERATOR: the Pi's address + user (known_hosts holds one LAN candidate, 10.0.0.158, UNCONFIRMED — the session's permission layer correctly refused to probe an inferred host). Once confirmed, the push is one command: ssh-copy-id -i ~/.ssh/r00-ed25519.pub <user>@<host> (or append the .pub line to ~/.ssh/authorized_keys via console/keyboard if ssh password auth is off). Then verify: ssh -i ~/.ssh/r00-ed25519 <user>@<host> hostname. Add a Host block (Host r00) to ~/.ssh/config so future work names the target explicitly.
patch
none
approval
unapproved
runs
no runs recorded
mandate (clauses)
not yet recorded — lands with the ticket-class build
manifestations
not yet recorded — lands with the ticket-class build
guarantees
not yet recorded — lands with the ticket-class build
journey (blunders & successes)
not yet recorded — lands with the ticket-class build
artifacts (forge)
not yet recorded — lands with the ticket-class build