one-worker-for-a-single-session-credential

The procedure as a graph, on its own page — zoom it, print it, send somebody the address. Back to the record for the steps, the trust panel and the provenance.

Procedure

The same procedure, read in order

  1. start start. Goes next to s1
  2. decision Is the scheduled worker stopped?. Goes if still_running to s10; if default to s2
  3. check No other copy is running on this machine. Goes on_fail to s3; next to s4
  4. decision Whose process is it?. Goes if abandoned to s4; if default to s10
  5. decision Is concurrency pinned to one everywhere?. Goes if not_pinned to s10; if default to s5
  6. action Start exactly one worker, RW (reversible-write). Goes on_fail to s10; next to s6
  7. decision Did a duplicate-authorisation error appear?. Goes if duplicate to s7; if default to s9
  8. decision Is the session still alive?. Goes if revoked to s8; if default to s10
  9. action The owner reissues the key by hand, IRR (irreversible), requires approval. Goes on_fail to s10; next to s9
  10. decision Did the run finish on its own?. Goes if stopped_early to s10; if default to s11
  11. escalate Stop, before the key is spent. Terminal
  12. action Write down what could not be reached, RO (read-only). Goes next to __end_success
  13. end success. Terminal