"but just because Tesla's log data say's they're not doesn't mean they aren't"
If the logging is done properly, then it would. For example, the logging for a state machine would include all the input values and a record of any state transitions that occur, allowing the control paths within the code to be reviewed to understand exactly what the software did / did not do.
An audit of the logging code would reveal the truth.