https://en.wikipedia.org/wiki/Law_of_identity
Do I literally need to go make 2 onchain transactions (SegWit / non SegWit) to show that 1 sat ≠ 1 sat and 1 bit ≠ 1 bit despite both transactions in...
If you understand how pre-segwit nodes "see" segwit transactions, you might have a clue as to why your argument is false.
1