test(exo): sequential interleaving hazards

[erights]

Closes: #XXXX
Refs: jasnell/discussion-abort-protocol#9 jasnell/discussion-abort-protocol#10 https://papers.agoric.com/papers/robust-composition/abstract/

Description

Demonstrates some sequential interleaving hazards from https://papers.agoric.com/papers/robust-composition/abstract/ Section 13.1 . Starts with the Nested Publication Hazard of Figures 13.1 and 13.2

not added to @endo/exo for any good reason. It could go anywhere we can have a devDependency on ses-ava. Or not. Little would lost, at least for this first example, it we used ava instead without any other dependencies. But where should it go? New repo seems too much. New gist seems too little.

Security Considerations

just tests

Scaling Considerations

just tests

Documentation Considerations

just tests

Testing Considerations

new tests

Compatibility Considerations

just tests

Upgrade Considerations

just tests

[changeset-bot]

⚠️ No Changeset found

Latest commit: 8229d57

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR