Looks like it’s different:
It responds with the behavior matching that of the first proof it finds. The question of what it does given its own source code is a special case. There isn’t a divergence between proof and behavior because it does whatever the proof says.
Looks like it’s different:
It responds with the behavior matching that of the first proof it finds. The question of what it does given its own source code is a special case. There isn’t a divergence between proof and behavior because it does whatever the proof says.