相棒の空きセル

01軸

前回提示した 6 軸をそのまま使う。ただし写像の作業中に 1 本だけ定義が壊れ、値を足した。

02写像表

フィクション 10 / 実在の AI システム 8 / 非 AI の相棒 7 / 藤本さんの既存装置 7。朱字は、その軸で希少な値。

032 軸断面の占有

6 軸の全ペア 15 通り。塗りが占有、破線が空き。空きが 1 セルしかない断面（朱枠）は、その組合せが設計空間の中でいちばん強く禁じられている場所を指す。

04空きセルの所見

1. 「自律」の列は、ほぼ藤本さんの装置が一人で埋めている 自律で動く相棒は 32 体中 6 体（タチコマ・HAL 9000・ClueBot NG・検査票・comparator 計器群・rei-scout）。うち 4 体が藤本さんの既存装置。単独空き断面 5 つのうち 4 つが自律軸に絡むのは、この偏りの裏返し。
2. 携行 × 自律 は全域で空き 位置 × 主導権の 12 セルで唯一の空き。携行型は例外なく指示待ちか割込み可で、自律で動くものは分散か据置（cron・クラウド・艦）に寄る。電源と注意の制約が効いていると読める。
3. 「人格を意図的に抑制した相棒」は 2 例しかない ポッド042 と Claude Code セッションのみ。人格「無」（素の道具）とは別の値で、持てるのに持たせないと決めた設計。希少ゆえに、抑制が絡む空きセルが大量に残る。
4. 記録を主担当とする AI は 0 記録は全体でも 3 体（秘書・航海日誌・notepad mirror）と最も希少で、実在 AI カテゴリには一つもない。AI の相棒は実行代行・観測・異議に寄り、記録は人間か非 AI の道具が担っている。
5. 群は 1 体しか占有していない 群はピクミンのみ。記憶が第三の場所にある群、人格を抑制した群はいずれも空き。数の軸は事実上「単体」に潰れている。
6. 最遠フロンティアの性格 1296 セルの各々から占有セルまでのハミング距離を取ると、最大は 4 で 22 セル。その 22 セルは全て複数か群で、22 中 16 が記録、17 が人格抑制。記録または異議を担当する、群としての、人格を持たない相棒が、この設計空間でいちばん遠い場所。

05候補席

前回の会話で示唆した方向に沿って 3 席を取り、それぞれ最寄りの占有セルまでの距離を測った。距離 1 は「既存の型を 1 軸だけずらした形」であって、新しい型ではない。

06前回主張の訂正

07次の手

空きセルの数は確定した（1296 中 1268）。ただし「空いている」と「到達する理由がある」は別なので、次に要るのは 2 つ。

1. 候補席を 1 つに絞るα は prior art（ClueBot NG）が 1 手隣にあり、β は実機制約が型の外にあり、γ は距離が遠いかわりに意味が未検証。絞る基準は「距離」ではなく「その席に座る理由が既存装置の言葉で言えるか」。
2. compose prototype との差分を測るPattern 5 予防。γ を採るなら、comparator 計器群 + notepad mirror + review discipline を順に呼んだものを baseline とし、①持続性（session をまたぐか）②自己発火（呼ばれなくても動くか）の 2 点で差が出るかを測る。差が出なければ、それは新しい相棒ではなく既存装置の束の別名。

この表自体も同じ扱いにしておく。占有判定は一次資料の再確認を経ていない draft v0 で、特に「主担当」の取り方（ポッド＝観測、Cortana＝実行代行など）は解釈が入っている。占有が 1 体だけのセルは、その 1 体の判定が変われば空きに変わる。

08独立な軸は 3 本ではなく 2 本

「次元」の読みは 3 つとも含める方針で組んだが、素点（どの基数で展開するか）と階層（何桁目か）は並ぶ軸にならない。p 進展開 Σ a_kp^k の k が「何桁目か」であり、同時に付値そのもの（|x|_p = p^−v(x)）だから、階層は素点の内部座標にあたる。

軸 A

座標軸（直積空間の本数 n）独立

軸 P

素点（展開の方向）独立

深さ d

各 (a, p) セルの内部解像度軸ではなくパラメータ

ボットの居場所は (a, p) の格子で決まり、深さはそのボットがどこまで見えているかになる。保留にした「無限 → 有限」は d だけに掛かるので、A と P は d を決めないまま確定できる。

基数を選んだ時点で素点の数は決まる

左に無限に伸びる桁列を一つの数として扱うと、基数 10 なら 10 進整数 ℤ₁₀ になる。10 は素数ではないので体にならず、零因子を持ち、中国剰余定理で ℤ₂ × ℤ₅ に分解する。素点の数は |P| = ω(b) + 1（b の相異なる素因数の個数 + 実数方向）、ボット数は N = n × (ω(b) + 1)。

09prior art の 5 層（audit v4）

層が下るほど空いている。占有の根拠は各層の出典を参照。

§6.4 の open problem は誰も追っていない

アデールを future work として置いた論文の被引用を確認したところ、現時点で 3 本。内訳は p 進学習理論の一般化 1 本、p ≠ 2 への一般化 1 本、ゲノム配列への p 進双フィルトレーション 1 本で、いずれもアデールを追っていない。複数素数に触れる 2 本も「素数の選び方への不変性」の議論で、全素点を同時に持つ構成ではない。

10積公式が保存則になる

素点ごとにボットを分ける理由が無いと、これは「同じものを |P| 個並べただけ」のアンサンブルになる。理由は 2 つあり、どちらも構造から出る。

第一に、p が違うと木の分岐数が違う。2 進のボットは 2 分木、5 進のボットは 5 分木で同じ対象を見る。粒度の違う階層を同時に持つことになる。

第二が本命で、積公式。0 でない有理数 x について、全素点にわたる絶対値の積は必ず 1 になる。

各ボットが自分の素点での測定値を報告すると、全ボットの積が 1 にならなければ、どれかが間違っている。事前に分かっている保存則が、そのまま群の相互検査機構になる。独立な経路で測って突き合わせるという規律が、外から足す規律ではなく対象の性質として最初から入っている形。

有限化がここから導出される

積公式は全素点を要求するので、素点を有限個に切ると普通は壊れる。壊れない条件は一つだけで、扱う数を S-単数に限ること。S = {実数方向, 2, 5} なら S-単数は ±2^a·5^b（a, b は整数）で、これは桁をずらす操作そのものの群にあたる。

11第 2 部の未決

1. 座標軸 A の本数ここだけは構造から出てこない。外から決める量。
2. 深さ d（保留中）有限の木として割り切るか、深さ n 版 → n−1 版の写像を定義して解像度指定にするか。後者なら「どの深さで何が決まるか」が測れる量になる。
3. ボット 1 体の主担当積公式を検査に使うなら、第 1 部で最も希少だった「記録」か「異議」に寄る。実行代行に寄せると、この構造を選んだ意味が薄くなる。
4. 記憶の所在軸に 4 つ目の値が要るか記憶が格子上に分散するなら、相棒側 / 主体側 / 第三の場所のどれでもない。位置軸に「自走」を足したのと同じ改訂が、記憶軸で起きる可能性。
5. 構造側に新規性は残らなかった（audit v4 の結論）層 1〜5 がすべて占有と確定した。この構造を「新しい相棒の型」として主張する根拠は、少なくとも数学的構造の側には無い。残る差は形式の差（不等式か乗法的等式か）で、これを新機構の根拠にすると Pattern L の型に入る。
6. 新規性の置き場所は振る舞い側に移る第 1 部の占有マップも、第 2 部の prior-art audit も、同じ結論を指している — 空いているのは構造ではなく、各主体が自律・記録・異議を担うという振る舞い。第 1 部で最も希少だった値（記録 3 体、人格抑制 2 体、群 1 体）がそのまま残りの空きに対応する。
7. compose baseline の対象は確定済み①Arakelov 因子（有限素点と無限素点を同じ台帳に載せる）②実数側の DFT 符号 ③RRNS（冗長素点 + 範囲条件による誤り検出）。構造で新規を主張しない以上、この 3 つは baseline ではなくそのまま使う土台として扱ってよい。
8. Hensel lifting との関係深さ d を 1 増やす操作には既にアルゴリズムがある。保留中の「有限の木か射影系か」の分岐は、後者を採るなら実装は新規に作らなくてよい。ただしその場合、層 3 との差分はさらに縮む。

12主担当＝記録（確定）

ボット 1 体の主担当を記録に決定。実行代行と異議は取らない。第 1 部の占有マップに照らすと、この選択は最も空いている側を指している。

位置

記録は主担当 4 値の中で最希少（32 体中 3 体 — 秘書・航海日誌・notepad mirror）で、実在の AI カテゴリには 0 体。候補席 γ（分散 / 自律 / 第三の場所 / 記録 / 群 / 人格抑制）と一致し、最遠フロンティア（距離 4 の 22 セル、うち 16 が記録）の縁にあたる。

記録を選んだことで自動的に決まる 3 つ

1. 数 = 群(座標軸, 素点) の組ごとに 1 体。第 1 部で 32 体中 1 体しか占有していなかった軸値。
2. 記憶の所在 = 格子そのもの記録が担当なら、記録＝記憶が各極小点に分散する。第 1 部の 3 値（相棒側 / 主体側 / 第三の場所）のどれでもない。位置軸に「自走」を足したのと同じ改訂が記憶軸でも必要で、4 つ目の値「格子上に分散」が要る。
3. 人格 = 抑制記録者に人格を持たせると、出所ラベルが人格に吸収される（549 misattribution と同じ型）。これは好みではなく、記録という担当からの帰結。

記録を選んだことで捨てたもの

実行代行と異議。ボットは動かず、判定しない。「正しいか」ではなく「どの経路から来たか」「review 済か未 review か」を記録するだけで、判定は独立した読み手に残る。自己判定を禁じ完了 signal を独立読み手の明示発話に限る原則と、そのまま一致する。

この時点での未決は 3 件 — 記録の対象（保留）、座標軸 A の本数、深さ d。いずれも本人の明示 go 待ち。

13棚卸し — 実際に記録しているもの

§12 で置いた決定基準に従い、公開経路から取れる実際の記録を数えた。各項目を 4 分類する — Q=有理数に写る量 / S=有限値の状態語 / I=識別子 / F=自由文。

3 択への影響

1. (a) 数量を記録 — 売りが消えた積公式による自己検査は、記録の 98.6% に掛からない。「検査が無料」という (a) の唯一の利点が実測で失われた。数量に絞っても検査機構は自前で作ることになる。
2. (b) 出来事・主張・出所 — 実態はこちらF + I が実セルの 61.7%。記録の大半は識別子と自由文で、catalog-lite に至っては Q が 0。検査機構を自前で作る必要はあるが、それは (a) でも同じと判明した以上、(b) の不利は消えている。
3. (c) 有理数を割り当てる — 条件付きで生きている「付値に意味を持たせる」とは、実務的には記録から比を作るということ。既存で唯一の比 spreadRatio は「合計が出せないから比にした」という設計判断から生まれている。同じ判断を他の記録へ広げられるかが (c) の成否を決める。

14(b) 確定 — そして格子が宙に浮く

記録の対象を (b) 出来事・主張・出所 に決定。実セルの 61.7% がここにあり、記録の実態と一致する。ただしこの選択は、第 2 部で積み上げた構造そのものに跳ね返る。

ただし、これは悪い取引ではない

audit v4 の結論は「構造側に新規性は残らなかった」だった。(b) は占有済みだった部分（p 進・アデール構造）を落とし、実測で空いていた部分（記録担当の AI = 0 体）を残す選択にあたる。数学的に綺麗な部分を失うが、失うのは prior art の側で、残るのは第 1 部で実際に空いていた側。

(b) が要求するもの

1. 検査機構を指定し直す積公式の代わりが要る。候補は 3 つとも既に手元にある — ハッシュ連鎖 / Merkle（verify_audit_chain が既存）、独立経路の突き合わせ（検査票が既にやっている）、grep 規律（GREP_BEFORE_REPORT_DISCIPLINE.md）。いずれも prior art は厚いので、ここで新規を主張しない。
2. 記録 schema は既存文書から降りてくる何を（出来事）／どこから（出所）／どの状態か（review 済 / 未 review）。RELAY_ATTRIBUTION_MECHANICAL.md の marker 4 variant がそのまま schema になり、「引用時に (review 済) / (未 review) を必ず添える」規律が記録項目の定義そのものになる。
3. 未決 2 件の扱いが変わる座標軸 A の本数と深さ d は、格子を落とすなら消滅する。格子を索引として残すなら、深さ d は「記録の階層を何段まで切るか」という実務的な値に降格し、射影系の議論は不要になる。

格子の扱い — 推奨：別 arc へ退避

3 択（落とす / 索引として残す / 別 arc へ退避）のうち、退避を推奨する。

1. 「索引として残す」が最も危険格子を索引に使うと、p 進である必然性がないのに p 進の語彙だけが設計に居座る。「なぜ 2 分木と 5 分木を両方持つのか」に答えられないまま構造が残り、接頭辞木で足りるものを p 進と呼ぶことになる。Pattern 5 をちょうど裏返した形で、後から prior-art 監査をやり直す羽目になる。
2. 「落とす」は捨てすぎこの arc で得た整理 — 軸が 2 本 + パラメータ 1 に分解されること、|P| = ω(b) + 1、積公式、S-単数による有限化の導出 — は相棒設計と切り離しても成立する。相棒に要らないことと、間違っていることは別。
3. 退避は再入条件付きで置く格子側には生きた問いが 1 つ残っている — 実数側を独立した 1 体として対等な検査項に置く形式の差（§09 層 5）。これは相棒とは無関係に、計器の設計として追える。再入条件：将来どれかの計器が比（乗法的な量）を出すようになったとき。spreadRatio が「合計が出せないから比にした」という判断から生まれたように、比が増えれば積公式は再び live になる。

着地 — 相棒 v0 の仕様

このセルは、第 1 部で候補席 γ として挙げたものと完全に一致する。3 席のうち唯一、距離 1 の占有セルが存在しなかった席。ポッドから始まり、占有マップ・p 進構造・prior-art audit・棚卸しを通って、最初の表がいちばん遠いと指した場所に戻ってきた形になる。

15記録 schema v0

(b) の記録項目を、既存の attribution marker から起こす。literal は実物確認したものだけを使い、確認できなかったものは確認できなかったと書く — GREP_BEFORE_REPORT の規律をこの schema 自身に適用する。

実物確認できた literal

schema v0 — 1 記録あたりの項目

検証規則

1. marker は機械可読であることtab の位置では source label が入力時点で消えるため「気をつける」では防げない。既存の grep pattern がそのまま validator になる形にする。
2. 裸の帰属を禁じる括弧内の「藤本さん自身…」「chat-Claude 発」型は block。必ず role 付き marker を使う。既存 hook の挙動と一致。
3. 除外領域を既存と揃えるnotepad entries と session-briefings はボットも検査しない。hook の除外パスと食い違わせない。
4. bypass された事実を記録する現行 hook は bypass の環境変数を持つが、bypass したこと自体は記録に残らない。記録担当ボットは判定しないが、「検査が迂回された」という出来事は記録する。沈黙を pass にしない原則の機械化にあたり、既存に無い唯一の項目。
5. drift を記録対象にする下記のとおり、今回の確認だけで 2 件の食い違いが出た。こういうものを拾うのが記録担当の仕事。

この schema は Claude Code (rei-aios-fa) が一次資料 docs/RELAY_ATTRIBUTION_MECHANICAL.md を STEP 1994 Item 1 で直接 read し、v0.1 正典 4 variant + v0.2 拡張 3 marker + bypass env drift を潰した。structural review は済んでいるが、schema 全体としての judgment（値域の妥当性・schema 完全性）は独立読み手の明示 pass 待ち — 現時点で言えるのは「未確認 3 点の解消」まで。