a-write-that-reported-success-and-changed-nothing

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. action Read it back from the far side, RO (read-only). Goes on_fail to s9; next to s2
  3. decision Did the value change?. Goes if changed to s3; if default to s4
  4. action The write landed; look at what reads it, RO (read-only). Goes on_fail to s9; next to s8
  5. decision Was the write refused quietly?. Goes if locked_or_gated to s5; if default to s6
  6. action Apply it by hand, then fix the path, RW (reversible-write), requires approval. Goes on_fail to s9; next to s8
  7. decision Did the request reach the right place at all?. Goes if stale_binding to s7; if default to s9
  8. action Rebind it to something that survives, RW (reversible-write). Goes on_fail to s9; next to s8
  9. check The connection still has the access. Goes on_fail to s9; next to __end_success
  10. escalate Escalate with what was read back. Terminal
  11. end success. Terminal