docs: M7 の完了を反映し、追い越された文書・skill・hook を直す

.claude/hooks/block-bulk-git-add.sh

@@ -2,10 +2,20 @@
 # PreToolUse hook: `git add -A` / `git add .` を拒否する。
 #
 # このリポジトリは build/、bin/、obj/、artifacts/ を .gitignore しているが、
-# 一括 add はそれ以外の意図しないファイル（生成物、一時的なデバッグ変更、
-# 別作業の途中経過）まで巻き込む。M0 では全 8 タスクのディスパッチで
+# 一括 add はそれ以外の意図しないファイル（別作業の途中経過など）まで
+# 巻き込む。M0 では全 8 タスクのディスパッチで
 # 「変更したパスだけを個別に stage せよ」と手で書き続けた。それを機械化する。
 #
+# **この hook が止めるのは `-A` / `--all` / `--no-ignore-removal` / `.` /
+# `:/` / `:` の完全一致だけである。`git add -u` と `git commit -a` は通す。**
+# 理由と実装をずらさないために明記しておく —— 以前この冒頭は「生成物、
+# 一時的なデバッグ変更まで巻き込む」と書いていたが、**その 2 つを正確に
+# stage する動詞こそ `-u` であり、実装はそれを 1 度も見ていなかった。**
+# 分担は意図的である: 生成物が履歴に入るのを止めるのは
+# check-staged-generated-file.sh で、そちらは commit の時点で index の
+# 結果を見る（動詞を 1 つずつ塞ぐと、塞がれていない動詞に移るだけである
+# ——その判断は同ファイルの冒頭が書いている）。
+#
 # 実行系について: このフックは PowerShell ではなく sh で書いてある。
 # 計測したところ、この環境では pwsh の起動に約 3.3 秒、python に約 2.4 秒
 # かかるのに対し sh は約 0.12 秒だった。フックは毎回のツール呼び出しで走るため、

.claude/hooks/check-platform-list-drift.sh

@@ -19,8 +19,12 @@
 #
 # 述語: 正本の 3 件以上を名指ししているファイルは「全件の一覧」と見なし、
 # 全件を要求する。**リポジトリ全体に当てて誤検出 0 を実測してある**
-# （6 ファイルが該当し、6 つとも 5/5）。3 件未満のファイルは、
-# 意図して一部だけを扱っている（例: Linux の移植性検査）ので対象外。
+# （2026-09-10 に測り直し: 6 ファイルが該当し、6 つとも 6/6。
+# **実測日を書くのは、この値が platform が増えるたびに古くなるからである**
+# ——「6 つとも 5/5」と書いてあった頃は M6 で platform が 6 になった時点で
+# 古く、実装は正しく動いていたのに記載だけがずれていた）。3 件未満の
+# ファイルは、意図して一部だけを扱っている（例: Linux の移植性検査）ので
+# 対象外。
 #
 # **見えないもの: 同じファイルの中の、2 つ目以降の一覧。** 判定はファイル
 # 単位なので、正しい 5 件の一覧と古い 3 件の一覧が同居していると通る。

.claude/hooks/check-unityengine-leak.sh

@@ -1,14 +1,33 @@
 #!/usr/bin/env sh
-# PostToolUse hook: Runtime/Interop と Runtime/Core への UnityEngine 混入を検出する。
+# PostToolUse hook: UnityEngine 非依存であるべき Runtime のフォルダへの
+# UnityEngine 混入を検出する。
 #
-# この 2 フォルダが UnityEngine に依存しないことが L3 レーンの前提である。
+# それらのフォルダが UnityEngine に依存しないことが L3 レーンの前提である。
 # 依存しない限り、同じ .cs を netstandard2.1 の shim としてコンパイルでき、
 # Unity を起動せずに素の .NET 上で P/Invoke を検証できる（約 20 秒）。
 # UnityEngine が入った瞬間にその高速レーンは成立しなくなり、
 # 検証は Unity Test Runner（数分）に戻る。
 #
 # UnityEngine 依存コードは Runtime/UnityIntegration/（別 asmdef）に置く。
 #
+# **対象フォルダの一覧を写さない。正本から読む。**
+# 正本は tests/Managed/CvUnity.Runtime.Shim/CvUnity.Runtime.Shim.csproj の
+# <Compile> 要素のうち、**Include が $(OcvuPackageRuntime) を根に持つもの**
+# である —— shim がコンパイルするフォルダが、そのまま「UnityEngine を
+# 参照してはならない」フォルダの定義だからである。
+# **「csproj の <Compile> を全部読む」ではない。** リテラルの相対パスで
+# 同じフォルダを指す書き方は対象外で、そのフォルダは検査されない。
+# 何を除いているかと、その理由は下の抽出のところに書いてある。
+# **「行」ではなく「要素」を、合計ではなく要素ごとに見る。** そこも同じ。
+#
+# 写していた頃の壊れ方（実測、2026-09-10）: M7c が profile の分離で
+# Runtime/Interop.Dnn と Runtime/Dnn を足し、shim の csproj は 4 フォルダを
+# コンパイルするようになったのに、この hook は 2 フォルダのままだった。
+# 4 つに同じ probe を当てると Core と Interop だけが検知され、
+# **Interop.Dnn と Dnn は素通りした。** どちらも asmdef が
+# noEngineReferences: true を宣言しており、書けば shim のビルドが落ちる。
+# profile が 1 つ増えれば同じ形でまた 2 フォルダ増えるので、写す形はやめた。
+#
 # 最終的な強制は shim のビルド（tests/Managed/CvUnity.Runtime.Shim）が行う。
 # このフックはビルドを待たずに編集直後へ差し戻すための早期検出であって、
 # 権威ではない。ここを通っても shim が落ちることはある。
@@ -23,10 +42,15 @@ set -u
 payload=$(cat)
 [ -n "$payload" ] || exit 0
 
-# 速い経路: 対象フォルダのパスを含まないなら jq を起動せず抜ける。
+# 速い経路: Runtime 配下のパスを含まないなら jq も csproj の読み取りも起こさない。
 # JSON 内では Windows のパス区切りが \\ にエスケープされるため両方見る。
+#
+# **ここでフォルダ名まで絞らない。** 絞ると一覧を写すことになり、上に書いた
+# 壊れ方（新しいフォルダを黙って素通しする）がこの 1 行に戻ってくる。
+# Runtime/ で切るだけでも、このリポジトリの編集の大半（native/ tools/ docs/
+# tests/ .github/）はここで抜ける。
 case "$payload" in
-    *"Runtime/Interop"* | *"Runtime/Core"* | *'Runtime\\Interop'* | *'Runtime\\Core'*) ;;
+    *"Runtime/"* | *'Runtime\\'*) ;;
     *) exit 0 ;;
 esac
 
@@ -40,7 +64,149 @@ case "$file" in
     *) exit 0 ;;
 esac
 
-printf '%s' "$file" | grep -qE '[/\\]Runtime[/\\](Interop|Core)[/\\]' || exit 0
+# 正本の場所を cwd に依存させない。hook は任意の cwd で呼ばれうる。
+# repo root で呼ばれるのが普通なので、まず相対で当たるかを見て、
+# 外れたときだけ git を起こす（速い経路の一部である）。
+shim_csproj="tests/Managed/CvUnity.Runtime.Shim/CvUnity.Runtime.Shim.csproj"
+if [ ! -f "$shim_csproj" ]; then
+    repo_root=$(git rev-parse --show-toplevel 2>/dev/null || true)
+    shim_csproj="${repo_root:-.}/tests/Managed/CvUnity.Runtime.Shim/CvUnity.Runtime.Shim.csproj"
+fi
+
+# --------------------------------------------------------------------------
+# csproj から「shim がコンパイルするフォルダ」を読む。
+#
+# **読むのは <Compile> 要素のうち、Include が $(OcvuPackageRuntime) を根に
+# 持つものだけである。** これは「csproj の <Compile> を全部読む」より狭い。
+# **除いているもの**: リテラルの相対パスで同じフォルダを指す書き方
+# （<Compile Include="..\..\..\Packages\...\Runtime\Cuda\**\*.cs" />）は
+# 下の grep -F で落ち、そのフォルダはこの hook の対象にならない。
+# **意図してそうしてある**（プロパティ経由が現在の唯一の書き方で、
+# リテラル解決はこの hook の仕事ではない）が、**書き方を変えるなら
+# ここも変える必要がある。** 網羅していると読ませないために明記しておく。
+#
+# **要素単位で切る。行単位で読まない。** 改行を空白に潰してから '<' で切ると、
+# 1 行に複数の要素が並んでいても、属性が次の行にあっても、1 要素 1 行になる。
+# XML コメントは範囲指定で落とす（'<' で切ると開始が `!--` で始まる行になり、
+# 終了は `-->` を含む行になる）。実測: コメントアウトした <Compile> を、
+# 以前は生きた行として数えていた。
+#
+# **<Compile> だけを見る。** 以前は「$(OcvuPackageRuntime) を含む行」を拾って
+# おり、コメントのほうは「<Compile Include> 行を読む」と書いていた。実測:
+# <None Include="$(OcvuPackageRuntime)\UnityIntegration\notes\readme.txt" /> を
+# 足すと Runtime/UnityIntegration を対象と誤認し、負の対照が壊れた。
+# block-bulk-git-add.sh で直したのと同じ「理由と実装のずれ」である。
+compile_elements=""
+[ -f "$shim_csproj" ] && compile_elements=$(
+    tr '\n' ' ' < "$shim_csproj" |
+        tr '<' '\n' |
+        sed '/^[[:space:]]*!--/,/-->/d' |
+        grep -E '^[[:space:]]*Compile[[:space:]]' |
+        grep -F '$(OcvuPackageRuntime)'
+)
+
+# **黙って素通ししない。** 読めないまま通すと、この hook は何も見なくなり、
+# しかも指摘が出ないので気づけない（check-platform-list-drift.sh と同じ判断）。
+#
+# **そして、合計で守らない。要素ごとに守る。**
+# ここは 2 度作り直している。1 度目は「N 件以上読めたか」（`-lt 2`）で、
+# **4 フォルダのうち 2 つしか読めない誤読を、2 件読めているという理由で
+# 通した。** 2 度目は合計 3 本（要素数・パス数・フォルダ数）の突き合わせで、
+# **合計は釣り合わせられた** —— 実測: 3 パスを持つ要素 1 つと、
+# `Include =` に空白があって 1 つも読めない要素 1 つを並べると
+# 要素 2 / パス 3 / フォルダ 3 で 3 本とも成立し、**Runtime/Dnn が黙って
+# 無防備になった。** 閾値より 1 段難しいだけで、形は同じである ——
+# **誤った読みが門を満たす。**
+#
+# **合計は集約であり、情報は要素の側にある。** だから
+# **「変数を根に持つ <Compile> 1 つにつき、その要素の Include から
+# フォルダがちょうど同じ数だけ取れたか」**を要素ごとに見る。
+# **この 1 本が、以前の合計 3 本のうち 2 本を吸収した** ——
+# 「パスを 1 つ落とした」も「要素ごと落とした」も、要素の中で見れば
+# 同じ 1 つの不一致になる。残したのは下限（要素が 1 つも無ければ
+# 読めていない）だけで、そちらは要素ごとの検査では原理的に代替できない
+# （要素が 0 個なら、要素ごとの検査は空虚に真になる）。
+#
+# **Include の書き方は MSBuild に合わせる**: 引用符は二重・単重の両方、
+# `=` の前後の空白、そして **1 つの Include に ';' 区切りで複数のパス**。
+# **Remove= / Update= は Include を持たないので、変数を名指ししていれば
+# ここで声を上げて止まる。** それは意図した振る舞いである（対象フォルダを
+# 減らす操作を、黙って無視するより止めたい）—— 実際に使うなら、この抽出を
+# 拡張すること。**解析器の欠陥ではない。**
+elem_count=$(printf '%s\n' "$compile_elements" | grep -c '[^[:space:]]' || true)
+folders=""
+bad_element=""
+bad_detail=""
+
+# here-doc を done に付けると、代入がサブシェルに閉じ込められない
+# （check-platform-list-drift.sh と同じ形）。
+while IFS= read -r elem; do
+    [ -n "$elem" ] || continue
+    [ -z "$bad_element" ] || continue
+
+    e_paths=$(
+        {
+            printf '%s\n' "$elem" |
+                sed -n 's/.*[Ii]nclude[[:space:]]*=[[:space:]]*"\([^"]*\)".*/\1/p'
+            printf '%s\n' "$elem" |
+                sed -n "s/.*[Ii]nclude[[:space:]]*=[[:space:]]*'\([^']*\)'.*/\1/p"
+        } | tr ';' '\n' | grep '[^[:space:]]' || true
+    )
+    e_refs=$(printf '%s\n' "$e_paths" | grep -cF '$(OcvuPackageRuntime)' || true)
+    e_folders=$(
+        printf '%s\n' "$e_paths" |
+            sed -n 's/^[[:space:]]*$(OcvuPackageRuntime)[\\/]\([^\\/]*\)[\\/].*/\1/p'
+    )
+    e_count=$(printf '%s\n' "$e_folders" | grep -c '[^[:space:]]' || true)
+
+    if [ "$e_refs" -lt 1 ] || [ "$e_count" -ne "$e_refs" ]; then
+        bad_element=$(printf '%s' "$elem" | cut -c1-160)
+        bad_detail="変数を根に持つパス ${e_refs} / 取り出せたフォルダ ${e_count}"
+        continue
+    fi
+
+    folders=$(printf '%s\n%s' "$folders" "$e_folders")
+done <<ELEMENTS
+$compile_elements
+ELEMENTS
+
+folders=$(printf '%s\n' "$folders" | grep '[^[:space:]]' || true)
+
+if [ "$elem_count" -lt 1 ] || [ -n "$bad_element" ]; then
+    if [ "$elem_count" -lt 1 ]; then
+        # $( を二重引用符の中に置くとコマンド置換になる。単引用符で括る。
+        detail='$(OcvuPackageRuntime) を根に持つ <Compile> が 1 つも見つかりませんでした'
+    else
+        detail="この <Compile> からフォルダを取り出せませんでした（${bad_detail}）: ${bad_element}"
+    fi
+    jq -n --arg src "$shim_csproj" --arg detail "$detail" '{
+      systemMessage: "UnityEngine 非依存フォルダの正本を読めませんでした",
+      hookSpecificOutput: {
+        hookEventName: "PostToolUse",
+        additionalContext: ($src + " を読み取れませんでした。" + $detail + "\n\n書き方が変わった可能性があります。check-unityengine-leak.sh の抽出を直してください（読めない間、この hook は UnityEngine の混入を検出しません）。**要素ごとに見て、1 つでも読めなければ止めます** —— 合計だけを見ていた頃は、読めない要素と多めに読めた要素が釣り合って素通りしました。")
+      }
+    }'
+    exit 0
+fi
+
+# 正規表現の . をエスケープする（Interop.Dnn）。**バックスラッシュを使わない** ——
+# 動的に組む \. は環境で空振りしやすいと、このリポジトリが実測で記録している
+# （check-platform-list-drift.sh の 95 行）。[.] なら bracket 式で literal になる。
+#
+# here-doc を done に付けると、代入がサブシェルに閉じ込められない
+# （check-platform-list-drift.sh と同じ形）。
+layer=""
+while IFS= read -r folder; do
+    [ -n "$folder" ] || continue
+    [ -z "$layer" ] || continue
+    esc=$(printf '%s' "$folder" | sed 's/[.]/[.]/g')
+    if printf '%s' "$file" | grep -qE "[/\\]Runtime[/\\]${esc}[/\\]"; then
+        layer="Runtime/$folder"
+    fi
+done <<FOLDERS
+$folders
+FOLDERS
+[ -n "$layer" ] || exit 0
 [ -f "$file" ] || exit 0
 
 # コメントを落としてから探す。「UnityEngine を参照してはならない」という
@@ -54,21 +220,23 @@ code=$(
 )
 printf '%s' "$code" | grep -qE '\bUnityEngine\b' || exit 0
 
-case "$file" in
-    */Runtime/Interop/* | *\\Runtime\\Interop\\*) layer="Runtime/Interop" ;;
-    *) layer="Runtime/Core" ;;
-esac
-
 offending=$(grep -nE '\bUnityEngine\b' "$file" | sed -e 's://.*::' | grep -E '\bUnityEngine\b' | sed 's/^/  /')
 
+folder_list=$(printf '%s\n' "$folders" | sed 's:^:  - Runtime/:')
+
 reason=$(printf '%s' "${layer} に UnityEngine への参照が入りました: ${file}
 
 ${offending}
 
-Runtime/Interop と Runtime/Core は UnityEngine を参照してはなりません。
-この 2 フォルダは netstandard2.1 の shim としてもコンパイルされ、
+次のフォルダは UnityEngine を参照してはなりません（tests/Managed/CvUnity.Runtime.Shim/CvUnity.Runtime.Shim.csproj が正本）:
+${folder_list}
+
+これらは netstandard2.1 の shim としてもコンパイルされ、
 Unity を起動しない L3 レーン（約 20 秒）はそれで成立しています。
 UnityEngine が入ると shim のビルドが落ち、その高速レーンが失われます。
+profile 付きの層（Interop.Dnn / Dnn）も例外ではありません —— Unity 側では
+OCVU_PROFILE_DNN の defineConstraints で切れますが、shim はそれを見ずに
+常にコンパイルします。
 
 UnityEngine に依存するコードは Runtime/UnityIntegration/（別 asmdef）へ置いてください。
 Unity の型を受け渡す必要がある場合は、境界で固定サイズ型か配列に落として渡します。