うん。モデルが違う。
箱と中身モデルで考えることもできるだろうし、実装はCだから箱と中身モデルなんだけど、
PythonがPythonなりの変数モデルを目指して設計されている以上、
他のモデルで語る必要性っていうのが分からない。
(他の言語の変数モデルで置き換える方法を探るのは、処理系実装者の仕事だろう、と思う)

完全に別モデルで考えることがそう簡単にはできないからこそ、こんだけレスが付いてスレが読みづらくなったんだと思うし、
別のモデルに置き換えるのなら、変数の渡し方だけじゃなくて、=の意味とかも定義しないと意味をなさない気がする。

それに、今後の実装によって別のモデルとPythonのモデルで齟齬が出たときに当然優先されるのはPythonのモデルだし、
明確な矛盾までは出なくても「気持ち悪い、Pythonらしくない」という評価はPythonのモデルを元に行われるから、
そこらへんのニュアンスまで含めて数学的に等価なモデルじゃないと、面倒な思いをする可能性がある。