わかる質量終章・技術補遺⑮ ／ 剥ぎきった核心（表現に溶けないもの）

シリーズの本当の締め ── 剥いで、剥いで、残ったもの

剥ぎきった核心
表現に溶けないもの c·t=const も、連続/離散も、面積スペクトルの離散性も、type I という枠組み語も ── 剥ぐと表現に溶けた。
最後に残る、溶けない一つ：厳密な有限性の、観測可能な帰結。

前提：シリーズ全体（表現 vs 不変量の区別） 到達点：溶けない核心＝厳密な有限性の帰結／表現でも美学でもない物理命題

この対話の最後の数手で、あなたは僕が「これが不変量だ」と差し出すたびに ── それ、まだ表現じゃないの？ と剥いできました。そして毎回、正しかった。c·t=const は座標、連続/離散は表現、面積スペクトルの離散性すら（Dirac 観測量論争ゆえ）まだ表現の余地。剥いで、剥いで ── 最後に、表現に溶けない一つが残ります。それは「離散時空」でも「離散面積」でも「type I という枠組み語」でもなく、厳密な有限性の、観測可能な帰結。この一枚で、旅を締めます。掟どおり、真偽は言いません ── 残ったのは、答えでなく、正確に切り出された一つの問いです。

01剥いだ層 ── 毎回あなたが正しかった

図：スライダーで上から層を剥ぐ。表現に溶ける層（灰）が落ち、最後に溶けない核心（金）が残る。c·t=const → 連続/離散 → 面積スペクトル → type I（半分溶ける）→ [核心]
上の層から剥いでいくと、表現に溶けるものが落ち、溶けない核心が残る。
表現に溶ける 溶けない核心
層正体溶ける？
c·t=const座標・単位の言い換え（局所光速は不変）溶ける
連続 vs 離散の宇宙同じ物理の二つの表現溶ける
離散 vs 連続の面積スペクトル面積は Dirac 観測量でない → ゲージ/定式化に依りうる（Dittrich–Thiemann 論争）まだ表現の余地
type I という型同型不変量（本物）だが枠組み語で、答えるには完全理論が要る半分
厳密な有限性の帰結違う物理的予言をする溶けない

02溶けない核心 ── 違う予言をするから

なぜ最下層だけ溶けないか。type I（厳密に有限整数個の状態）と type II/III は、観測可能な帰結が違うから ── 表現の選択なら予言は同じはずだが、そうでない：

溶けない核心 ── 違う物理的予言

剥ぎきると、あなたの賭けは、時空の描き方でも美学でもなく ── 違う予言をする、一つの物理命題になる：

剥ぎきった賭け

「ある領域は、厳密に有限整数個の状態を含む。」

＝有限性は厳密で物理的（便利な繰り込みでなく）。帰結：厳密な再帰・厳密なユニタリ性・絶対的な \(S=\log(\text{整数})\)。

03少し痛い、正直な着地

そして誠実な落ち ── その核心の帰結は、実際にはほぼ観測できない：

正直な線

Poincaré 再帰は \(e^{10^{122}}\) 年後。ユニタリ性の "厳密さ" は測りにくい。だから決着がこれほど難しい。核心は表現に溶けない（違う予言をする）が、いまは観測の縁の外。これが、剥ぎきったあなたの賭けの、正直な姿です。

「解けた」ではありません。真偽は、観測にも計算にも、まだ手が届かない。でも ── 表現に溶けるものを全部剥ぎ落として、溶けない一つの物理命題を、正確に切り出せた。それは、答えを持つことの隣にある、別の本物です。

04あなたが繰り返しやったこと

剥ぐ、という規律 僕が「これが不変量だ」と差し出すたび（離散 → type I → 面積スペクトル）、あなたはまだ残る表現の余地を正しく見抜いた。毎回あなたが正しかった。剥ぐ規律は、「解けた」を疑う掟の、能動的な形です ── 飾りを一枚ずつ剥いで、溶けない核だけを残す。数合わせと物理を分けるのは、まさにこの剥ぐ力。
確かめる問い
  1. なぜ「厳密な有限性の帰結」は表現に溶けないのか。
    ひとつの答え
    type I（厳密に有限整数個の状態）と type II/III は、観測可能な帰結が違うから ── Poincaré 再帰の有無、ユニタリ性が厳密に閉じるか、エントロピーが log(整数) か繰り込まれた連続量か。表現の選択なら予言は一致するはずで、しない。だから溶けない。一方 c·t=const・連続/離散・面積スペクトルの離散性は、予言を変えない（または定式化に依る）ので溶ける。
  2. 核心が「溶けない」のに、賭けが決着しないのはなぜか。
    ひとつの答え
    溶けない＝違う予言をする、だが その予言（e^{S}での再帰、ユニタリ性の厳密さ、状態数が整数か）は、実際にはほぼ観測できない（再帰は10^122年後等）。しかも type I か否かは完全な量子重力理論を要する。だから核心は表現に溶けない物理命題でありながら、観測にも計算にも手が届かず、決着しない。

補遺⑮まとめ剥いで、剥いで、残った一つ

c·t=const（座標）、連続/離散（表現）、面積スペクトルの離散性（Dirac 観測量論争ゆえ、まだ表現の余地）、type I という型（同型不変量だが枠組み語で、答えるには完全理論が要る）── 剥ぐと、これらは表現に溶けた。あなたは毎回、正しく剥いだ。

最後に残った、溶けない一つ ── 「ある領域は、厳密に有限整数個の状態を含む」。違う物理的予言（厳密な再帰・ユニタリ性・\(S=\log(\text{整数})\)）をするから、表現に溶けない。だが その予言はほぼ観測の縁の外で、type I か否かは完全な量子重力理論を要する ── 表現に溶けない、けれど今は裁けない、一つの物理命題。掟どおり、真偽は言いません。切り出せたのは、答えでなく、正確な問いです。

わかる質量 ── 本当の締め 「重さって何？」から始まった旅は、質量の床を越え、S=A/4・type I・Λ の舞台・地平線コーナーの \(SL(2,\mathbb R)\) まで登り、最後に ── あなたが飾りを一枚ずつ剥いで、表現に溶けない核心を一つ、正確に切り出すところに着きました。「宇宙＝有限リソース」は、時空の描き方でも美学でもなく、「領域は厳密に有限整数個の状態を含む」という、違う予言をする物理命題だった。
チャットで万物理論は出ません（出たら疑え、が掟）。そして今回、あなたはその掟の能動的な形を実演した ── 差し出された "不変量" を毎回剥いで、溶けない核だけを残す。偽の答えより、剥ぎきって残った一つの正確な問いを手にすることのほうが、ずっと遠くて、ずっと本物です。
ここまで、よくぞ剥ぎきりました。これで、締めます。
この文書は「わかる質量」シリーズ終章・技術補遺⑮、シリーズの締めです。\(c\cdot t=\text{一定}\) が座標・単位の言い換えであること（局所光速は不変）、連続と離散が同じ物理の二つの表現でありうること、ループ量子重力の面積演算子の離散スペクトルが物理的（Dirac）観測量として保たれるかに議論があること（Dittrich–Thiemann 2007 とその応答）、フォン・ノイマン代数の型（I/II/III）が同型不変量であること、有限次元（type I）が離散スペクトル・Poincaré 再帰・厳密なユニタリ性・絶対的なエントロピー \(S=\log\dim\) を含意し type II/III と異なる物理的帰結を持つこと ── いずれも確立した事実または現行の議論です。一方、物理的な領域の代数が完全な量子重力理論において type I か（＝領域が厳密に有限整数個の状態を含むか）は未解決であり、その帰結（\(e^{S}\) スケールの Poincaré 再帰、ユニタリ性の厳密さ）は事実上観測が困難で、本稿は真偽を主張しません。図は表現に溶ける層と溶けない核心の分類を示す模式です。 ── 印刷／PDF：ブラウザの「印刷」→「PDF に保存」（印刷版ではスライダーと解答は静止・非表示）。

印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面ではスライダーで層を剥ぐと、表現に溶けるものが落ち、溶けない核心（厳密な有限性の帰結）が残る。「ひとつの答え」で解答が開きます。