Yep they are filed with the SEC, you can see one of them here: https://www.sec.gov/Archives/edgar/data/1418091/000119312521...

The average engineer has an employment contract. It would be incredibly surprising if the CEO, lead counsel, and content policy head did not.