test-a-generator-for-what-it-invents

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 Generate from complete input, RW (reversible-write). Goes on_fail to s9; next to s2
  3. action Generate from the sparse case, RW (reversible-write). Goes on_fail to s9; next to s3
  4. action Generate with the number left empty, RW (reversible-write). Goes on_fail to s9; next to s4
  5. decision Did it invent anything?. Goes if fabricated to s9; if default to s5
  6. action Generate the same thing three times, RW (reversible-write). Goes on_fail to s9; next to s6
  7. check The longest expected case completes. Goes on_fail to s9; next to s7
  8. check It writes a new file in a governed place. Goes on_fail to s9; next to s8
  9. decision Is this output format covered by labelling?. Goes if not_covered to s10; if default to s11
  10. action Constrain the format, or record the gap, RW (reversible-write), requires approval. Goes on_fail to s9; next to __end_success
  11. action Record what was tested, and against what, RO (read-only). Goes next to __end_success
  12. escalate Do not launch it. Terminal
  13. end success. Terminal