feat(m7c): dnn を opt-in profile として足す（作業中）

.github/workflows/ci-native.yml

@@ -412,12 +412,17 @@ jobs:
         run: ./tools/dev.ps1 build -Platform ${{ matrix.platform }}
 
       # **M7b Task 1: この job には tools/verify-exported-symbols.ps1 を
-      # 配線しない。** Android の .so は host の nm で読めるが、iOS と Web は
-      # 静的ライブラリで「エクスポート」という概念自体が違う（ar archive の
-      # 中の object は動的リンカのエクスポート表を持たない。実際に検査したいのは
-      # 静的リンク後 —— アプリの実行ファイルに組み込まれた時点 —— の解決なので、
-      # このレーンの `.a` に対しては意味を成さない）。desktop 3 job（Windows /
-      # macOS / Linux）だけが対象である。
+      # 配線しない。** iOS と Web は静的ライブラリで「エクスポート」という
+      # 概念自体が違う（ar archive の中の object は動的リンカのエクスポート表を
+      # 持たない。実際に検査したいのは静的リンク後 —— アプリの実行ファイルに
+      # 組み込まれた時点 —— の解決なので、このレーンの `.a` に対しては意味を
+      # 成さない）。Android は共有ライブラリで概念上は当てはまるが、
+      # **host（この job のランナー）の `nm` が arm64 の ELF を読めるかは
+      # ここでは確認していない**——確認するまでは skip する。desktop 3 job
+      # （Windows / macOS / Linux）だけが対象である（M7c のレビューで
+      # release.yml 側の同種のコメントと表現が食い違っていたのを揃えた ——
+      # この branch で Android の strip 対応を足したことで、この問いに
+      # 意味のある答えが要る場面が増えている）。
 
       # **配る形になっていること。** Android は 16 KB page size、iOS は
       # 静的ライブラリであること。どちらも「ビルドできた ≠ 動く」の距離を

.github/workflows/release.yml

@@ -326,7 +326,14 @@ jobs:
               ./tools/verify-exported-symbols.ps1 -LibraryPath $bins[0].FullName
               if ($LASTEXITCODE -ne 0) { exit 1 }
           } elseif ($platform -in @('android-arm64', 'ios-arm64', 'web-wasm')) {
-              Write-Host "==> skipped on ${platform} (iOS / Web は静的ライブラリ、Android は host の nm で読めるかを確かめていない)"
+              # iOS / Web は静的ライブラリで「エクスポート」の概念自体が
+              # 違う。Android は共有ライブラリで概念上は当てはまるが、
+              # host（この job のランナー）の `nm` が arm64 の ELF を
+              # 読めるかはここでは確認していない——確認するまでは skip
+              # する（ci-native.yml の同種のコメントと表現を揃えた。
+              # M7c で Android を strip するようになったので、この問いは
+              # 以前より意味を持つ）。
+              Write-Host "==> skipped on ${platform} (iOS / Web は静的ライブラリ。Android は host の nm が arm64 ELF を読めるか未確認のため skip)"
           } else {
               Write-Error "unknown platform '${platform}': 公開面を検査するかどうかが決まっていない。tools/verify-exported-symbols.ps1 を掛けるか、ここに明示的な除外を足すこと。"
               exit 1
@@ -431,10 +438,20 @@ jobs:
       # CI ランナーの負荷に左右されない。時間と違ってここは assert してよい。
       #
       # 上限 100 MB は、実測（v0.3.0、全部入り 69,565,901 バイト = 66 MB）の
-      # 約 1.5 倍。倍増を捕まえる —— デバッグシンボルの同梱や platform の
-      # binary の重複といった「何かが大きく壊れた」形は倍以上になる。
-      # 関数を足したときの通常の増分は数百 KB〜数 MB なので、34 MB の余裕は
-      # 何回分ものリリースに相当する。
+      # 約 1.5 倍として決めた —— 「34 MB の余裕は何回分ものリリースに相当する」
+      # という見積もりだった。**その見積もりは M7c の dnn 追加で外れた**
+      # （PR #72、run 34319553823）: 124,101,923 バイトで実際に落ちた
+      # （`package が上限を超えた: 124101923 > 104857600`）。原因はデバッグ
+      # シンボルの同梱でも platform binary の重複でもなく、dnn とは無関係に
+      # 前から Android の `.so` へ積もっていた DWARF デバッグ情報（86%）だった
+      # —— dnn は閾値を越えさせただけである。詳細と実測は
+      # `docs/roadmap.md` の「dnn の配布の形」。
+      #
+      # **上限は上げていない。** `native/CMakeLists.txt` に Android 限定の
+      # `llvm-strip --strip-unneeded` を足して原因を直し、全部入りは
+      # 77,528,652 バイトまで戻った（上限に対して約 27 MB の余裕。ローカルで
+      # 実際にこの run の 6 platform artifact を材料に再現した実測）。
+      # 「倍増を捕まえる」という上限の設計意図そのものは変えていない。
       #
       # `pack-upm-tarball.ps1` の既定 512 MB は 1 桁以上緩く、CLAUDE.md 自身が
       # 「誰も確かめられない」と書いている。同じ誤りを繰り返さないため、