The coal miner in West Virginia had the legal right to quit the mine and move out of West Virginia.
Neither happened in reality.
ML/NJ
Yes they did happen in reality. Jefferson sold slaves when he needed money. The records at Monticello confirm that fact.
West Virginia miners left West Virginia for other parts of the country. One of which was a relative of mine.
I’m confused by your comment. My maternal G-Grandfather was a coal miner in West Virginia. He left to mine gold (but ended up mining copper in Montana).