invariant checking in unhappy jobs #232
Description
Above subject was discussed.
We will attempt to requirements input.
3 approaches:
- check all invariants
- check only intra-job invariants
- check only extra-job invariants
If we get no clear requirements, consider implementing enforcement of only EJIs.