# マトロック (Matlock) — エージェント＆開発者ツール。（マニュアル & 運用リファレンス）


> **AIコーディングエージェントおよびオーケストレーター向け:**
> 27ツールのローカル `stdio` MCP カタログ、2経路の `HTTP 402` アンロック、`seq_matlock` / `cold_box` 境界サンドボックス規定、および完了契約については **[パート II: マシンおよび自律エージェント運用仕様](#パート-ii-マシンおよび自律エージェント運用仕様)** に直接進んでください。

**製品**: マトロック (Matlock) — エージェント＆開発者ツール。（`効率的。正確。基準どおり。`）  
**位置づけ**: *改ざん防止セーフガードテスト封印、境界 Pre-CI サンドボックス、1クリック CLI 自動化、非公開の送信専用アラート、27 ツールのローカル stdio MCP を備えた `< 50ms` ゼロアップロード多言語セキュリティ・MITRE CWE・IEEE Std 1003.1 POSIX・CISA SSDF・AICPA SOC 2 Trust Services Criteria 技術的コード検証（クラウドへのソース送信 `0`、開放ポート `0`、`git commit` ブロック `0`）。*  
**発行元**: マトロック (Matlock) by Dutch P2P © 2026.  
**利用環境**: デスクトップ・コマンドセンター（**Windows**、**Linux**、**GoogleBook** 対応；**macOS `arm64`**（ヘッドレス `matlock-mcp` 対応済み） — いつでも **`?`** または **`F1`** で表示） · [Web コマンドセンター](https://matlock.dutchp2p.com/ja/app) · [無料ブラウザスキャン](https://matlock.dutchp2p.com/ja/#wasm-instant-audit) · [ドキュメント](https://matlock.dutchp2p.com/ja/docs) · [オンラインマニュアル](https://matlock.dutchp2p.com/ja/manual) · MCP URI `matlock://help/appliance-manual`

**対象範囲と法的免責事項**: *マトロック (Matlock) は公開業界仕様およびベンチマーク（MITRE CWE、CISA SSDF、IEEE Std 1003.1 POSIX、自動 Pre-CI 整合性ゲート、AICPA SOC 2 Trust Services Criteria 技術統制）に基づき技術的なコードベースおよびパイプライン統制を評価します。マトロック (Matlock) は欠陥ゼロのソフトウェアを保証せず、正式な第三者保証報告書の発行や独立公認会計士 (CPA) 事務所による認証も提供しません。*

---

## 目次

### パート I: 人間オペレーター向けガイド＆ワークベンチ
1. [クイック用語集と基本ワークフロー](#1-クイック用語集と基本ワークフロー)
2. [画面レイアウト・テーマ・ナビゲーション](#2-画面レイアウトテーマナビゲーション)
3. [自動検出スクリプト・初期テンプレート・カスタムチェック・星印お気に入り](#3-自動検出スクリプト初期テンプレートカスタムチェック星印お気に入り)
4. [おまかせルーチン・マシンコマンド・ローカル通知](#4-おまかせルーチンマシンコマンドローカル通知)
5. [エラー順アコーディオン・カテゴリ単体再実行・無視・コピー](#5-エラー順アコーディオンカテゴリ単体再実行無視コピー)
6. [永続セーフガード・テスト整合性・復元](#6-永続セーフガードテスト整合性復元)
7. [水平スコア／カバレッジバーとモジュール基準](#7-水平スコアカバレッジバーとモジュール基準)
8. [2カラム設定と封印状態の復旧](#8-2カラム設定と封印状態の復旧)
9. [AIエージェント接続（デスクトップMCP＆スマホ／チャット案内）](#9-aiエージェント接続デスクトップmcpスマホチャット案内)
10. [標準搭載チェック一覧（10エコシステム + Pre-CI）](#10-標準搭載チェック一覧10エコシステム--pre-ci)
11. [Workstation Pro ライセンス・Webプレビュー・無料ブラウザスキャン](#11-workstation-pro-ライセンスwebプレビュー無料ブラウザスキャン)
12. [Linux・GoogleBook・アップデート・プライバシー・サポート](#12-linuxgooglebookアップデートプライバシーサポート)

### パート II: マシンおよび自律エージェント運用仕様
* [A. エージェントのエントリポイントとトランスポート設定](#a-エージェントのエントリポイントとトランスポート設定)
* [B. 従量課金・M2M スウォームアクセス・Pro 解除](#b-従量課金m2m-スウォームアクセスpro-解除)
* [C. ローカルMCPツール27種の完全カタログ](#c-ローカルmcpツール27種の完全カタログ)
* [D. 境界 Cold Box サンドボックス・3ループ上限・完了ハンドシェイク](#d-境界-cold-box-サンドボックス3ループ上限完了ハンドシェイク)
* [E. AIコーディングエージェント向け機械可読仕様（YAML）](#e-aiコーディングエージェント向け機械可読仕様yaml)
* [F. エージェント運用原則と実行境界](#f-エージェント運用原則と実行境界)

---

## パート I: 人間オペレーター向けガイド＆ワークベンチ

## 1. クイック用語集と基本ワークフロー

* **基本ワークフローの流れ**: プロジェクトフォルダーを選択 -> マトロック (Matlock) が UI スレッド外で即座に静的スキャン（`max(1, コア数 - 1)` Isolate、UI 用に `1` コア確保）とスクリプト検出を実行 -> よく使うコマンドに **星印** を付けて **お気に入り** へ固定 -> **`Matlock`** をクリックして唯一の統合検証パイプライン（`depth 0..2` にわたる `Clean -> Get -> Format -> Lint -> Analyze/Compile -> Test -> Coverage` ＋クロス OS Pre-CI＋組み込み＆カスタムチェック；日常のウォーム実行ではベースラインと依存マニフェストが未変更の場合に `Clean` を省略し、**`...`** メニューから **`完全なクリーン＆カバレッジチェックを実行`** をいつでも呼び出せます）を実行します。`Matlock` はコミットや push を一切行わずに全項目をテストし（`Matlock` や初期テストルーチン内に組み込み `git push` は `0` 件 — テストと送信を分離しつつ、ユーザーや MCP エージェントはカスタムの `git push` やクラウドデプロイ用カード・連鎖を自由に追加可能）、`.git/hooks/*` の注入やローカルコミットの妨害も行いません。
* **テストとエラー（検出結果）**: **テスト** は数値 **0.0–100.0 ヘルススコア** を構成する不変の組み込みチェックまたは **カスタムチェック** です。**エラー** は `file:line:col`（`col >= 1`）、`[MITRE CWE-*]` / `[POSIX-*]` / `[MITRE Txxxx]` タグ、平易な理由、スクラブ済み 5 行 diff 処方箋を持ちます。
* **アクションとルーチン（シーケンス）**: **アクション** は 1 クリックのローカルコマンドカード（`flutter test`、`npm run build`、`.bat` バックアップなど）で、**ルーチン** は実行ライン上で **20 枚以上のカード** を **停止して通知**（既定）、**停止**、**続行して通知** で直列実行します。
* **セーフガード（`Safeguarded` / `AI agent can modify`）**: テスト・スクリプト・アクション・ルーチン・通知を守る永続シール（`読み取り・実行のみ`）です。保護されたファイルやスクリプトへの無断改変は封印済み原本へ自動復元され、上部の **封筒** アイコンが点滅して知らせます。

## 2. 画面レイアウト・テーマ・ナビゲーション

* **目に優しい昼・夜モード**: 上部バーの **テーマ** 切替または **Settings -> Appearance** から、落ち着いた **シルバーホワイト昼モード**（`#F8F9FA` / `#FFFFFF`）と **チャコールスレート夜モード**（`#131517` / `#181B20` / `#1E2228`）をいつでも切り替えられます。実行中のポップアップ割り込みはゼロで、初回フォルダー信頼とステップ 1 前の **Ask me before this runs** 一括確認のみです。
* **上部バー**: **`Browse...`** ＋パス欄、5 範囲の **`Ignored (N)`** 管理、**`Stop`**（`Ctrl+.` / `Esc`）、**`Upgrade`**（無料版）、**`Value`**、**`Share`**、点滅通知対応 **`封筒受信箱`**（`[x] Send Email Notifications`、`Send message`、`Mark all Done`）、**テーマ切替**、**`?`**（`F1` マニュアル）、**`Settings`**。
* **左レール**: 単一の統合実行カード **`Matlock`**、双方向ブリッジ **`"ヘッドレスと同期"`**（`"Sync with Headless"`）、**`Stop if Error & Notify`**、**`Notify`**、**`File size bar`**（モジュール調整ダイヤル）、**`+ Add card`**、星印固定 **`FAVORITES`**、自動検出 **`AVAILABLE COMMANDS`** / **`PROJECT STEPS`**、**`MACHINE`** コマンド、**`Notes`**。
* **中央ステージと常時表示 CLI ターミナル**: 管理チェックリスト（`Start Process`、`Stop Process`、`Rerun failed`、`Ctrl+P` 印刷対応 **`Run`** / **`CI Code Health Report`** 切替、工程行、FIFO キュー **Run line**）の下に **常時表示ドック型ターミナル**（**Output**、**Problems**、**`Tests (N)`**、**`Coverage (N)`**、ドラッグ選択中のスクロール固定、**Jump to latest**、**Find**、Pro の `Ctrl+K` **Quick Run**）を配置。さらに **CLI ターミナル入力バー** を備え、PowerShell や `cmd.exe` を開かずにマトロック (Matlock) 内で `git status`・`git push`・`wrangler deploy` などのコマンドを直接 **`実行`** し、ワンクリックで **`カードとして保存`** または **`連鎖 / 通知`** へ変換できます。
* **右テレメトリレール**: 数値 **マトロック (Matlock) スコア**（`XX.X / 100.0`）と **水平ヘルススコア＆真のロジックカバレッジ進捗バー**、**`Tests Passed`** / **`Errors`**、**`Top 3 fixes`**、**`Largest untested files`**、**`Value`** グラフ、**`Test integrity`** 削除済みテスト確認記録。

## 3. 自動検出スクリプト・初期テンプレート・カスタムチェック・星印お気に入り

* **自動検出スクリプトと6種の未設定スターターテンプレート**: フォルダーを開くと `package.json`、`Makefile`、`Cargo.toml`、`pyproject.toml`、`pubspec.yaml` や `.bat`/`.ps1`/`.sh` スクリプトを **Available Commands** に検出します（自動でお気に入りには入らず、**星印** で **Favorites** へ固定）。あわせて **6種の未設定スターターテンプレート**（**GitHub**、**Save to Thumb Drive / Drive**、**AWS / Google Cloud**、およびマシンカード **Save**、**Defrag / Optimize**、**Shut Down**）を初期搭載しています。未設定テンプレートをクリックするとエディタが開いてバッチ／シェルスクリプトを入力でき、または接続済みの MCP エージェントに設定とお気に入り登録を任せることもでき、設定後は 1 クリックで実行できます。
* **CLI バー＋編集 -> 元スクリプト＋永続セーフガード**: 常時表示ターミナルの CLI バーにコマンドを入力して **`カードとして保存`**（1 クリックカード）や **`連鎖 / 通知`**（失敗時停止やメール通知付き直列ステップ）を押すか、カードの **Edit** からコマンド／スクリプト・作業ディレクトリ・タイムアウト・**`Ask me before this runs`**・**`Count a failure against my health score`**・永続 **`Safeguard`**（エージェント実行専用の `[LOCKED]` と、更新時に点滅 **封筒** へ前後コマンド diff を送って **承認** / **復元** できる `[MODIFIABLE]`）を編集します。
* **カスタムチェック追加（`+ Add card -> Custom check`）**: **Find Text in Files**（語句／正規表現）または **Run a Script**（`exit 0` = 合格；`file:line:col: message` を自動解析）を深刻度（`Critical`, `Major`, `Warning`, `Info`）付きで、リポジトリ外のプライベートなローカル OS ユーザープロファイル専用ストレージに保存します。
* **Windows `.bat` と `robocopy` 対応**: `stdin` クローズ（`<nul`）と OS ジョブ管理でハングを防止し、1 行 `%i` は `%%i` に正規化、`robocopy` 終了コード `0–7` は **合格**（`>= 8` = 失敗）と判定します。

## 4. おまかせルーチン・マシンコマンド・ローカル通知

* **おまかせルーチンとカスタム Push／デプロイ連鎖（`+ Add card -> Sequence` または `連鎖 / 通知`）**: 先頭 **`Matlock`**（既定）を含め **20 枚以上のカード** を直列連結でき、ステップ別の **Always run this step, even if an earlier step failed** とステップ 1 前の単一事前承認 **Ask me before this runs** を備えます。初期テンプレートとして **Nightly check**・**Deploy to Cloudflare**・**Backup and power off**（およびローカル CLI を使うクラウド認証情報保存 `0` の **Destination** テンプレート）を用意。`Matlock` テスト実行自体に組み込み `git push` は `0` 件ですが、ユーザーや MCP エージェントはカスタムの `git push` やクラウドデプロイ用カード・連鎖を自由に追加できます。
* **通知 / メールアラートカードの使い方（`Notify` または `Settings -> Email Alerts` — 手順）**: **(1)** メールプロバイダの 2 段階認証（2FA）セキュリティ設定で **アプリパスワード／16 桁認証コード** を発行し（2FA 有効時は通常のログインパスワードを入力しないでください）、**`Notify`** または **`Settings -> Email Alerts`** を開いて送信元・宛先メールアドレス＋アプリパスワード／認証コードを入力し（X.509 証明書検証付きの送信専用 Native Dart TLS 1.2/1.3 SMTP、`0` IMAP/POP3 受信箱アクセス、`0` Dutch P2P 中継サーバー；Gmail / Workspace、Microsoft 365 / Outlook、Yahoo、iCloud、QQ / 163 16 桁認証コード、Zoho Global/EU/IN、Fastmail、Yandex、Mail.ru、Aliyun、外部 POP3/SMTP 有効化後の GMX / Web.de、ローカル Proton Mail Bridge `127.0.0.1:1025` のグローバルプリセット対応；資格情報は OS キーチェーンまたはパスフレーズ封印ローカルコンテナ Vault に暗号化保存；ヘッドレス CLI は `matlock-mcp send-alert --subject "..." --body "..."`）**`Test Email`** を押すか、ローカル **`custom_script`**（`MATLOCK_ALERT_*` と `{{status}}`、`{{where_failed}}`、`{{completion_summary}}`）を選びます。**(2)** いつでも **1 クリック** で単独実行できます。**(3)** シーケンス連鎖へ **`停止して通知`**（エラー時のみ送信）または **`続行して通知`** / `always`（`send_alert`：完了時に無条件送信）として連結します。
* **`MACHINE`（編集可能な 8 種のパソコン操作カード — 自動実行ゼロ）**:

| カード | Windows | Linux | 備考 |
| :--- | :--- | :--- | :--- |
| Shutdown in 30 minutes | `shutdown.exe /s /t 1800` | `shutdown -h +30` | 30分猶予・`/f` 不使用；Cancel shutdown と対 |
| Cancel shutdown | `shutdown.exe /a` | `shutdown -c` | ワンクリックで即時解除 |
| Clean temporary files | ユーザー temp のみ、使用中を除外 | `~/.cache` と `/tmp` の1日超ファイル | プロジェクトファイルには一切触れない |
| Check disk space | `Get-PSDrive -PSProvider FileSystem` | `df -h` | 読み取り専用 |
| Optimize disk (defrag or trim) | `Optimize-Volume -DriveLetter C -Verbose` | `fstrim -av` | 管理者権限必要；UAC/`sudo` なしで安全終了 |
| Backup copy | `robocopy . "<backup-folder>" /MIR` | `rsync -a --delete ./ "<backup-folder>/"` | `.git` 保持・キャッシュ除外；`robocopy` `0–7` = 合格 |
| Find a Word & Expose It | `findstr /s /i /m /c:"Aluminium" *.dart` | `grep -rnI "Aluminium" --include="*.dart" .` | 大文字小文字を区別しない編集可能な再帰検索 |
| Lines Over 250 Catch | `for /r %i in (*.dart) do ... find /c /v ""` | `find . -name "*.dart" -exec awk '... c>250 ...' {} +` | 250行超のファイルを一覧表示する読み取り専用検査 |

## 5. エラー順アコーディオン・カテゴリ単体再実行・無視・コピー

* **エラー件数の多い順カテゴリ一覧**: アクティブなエラー件数が多いカテゴリが自動的に最上部へ並ぶため、合格項目をスクロールせず重大な箇所から即座に対処できます。
* **ドラッグ選択コピーとカテゴリ単体再実行**: 検出行をそのままマウス選択してコピー、**Share for Agent / Copy**（`Ctrl+Shift+C`）で `folder/file:line` ＋ `[MITRE CWE-*]` / `[POSIX-*]` ＋ 5 行 diff 処方箋をコピー、またはカテゴリの **Rerun** ボタンでそのカテゴリだけを数ミリ秒で再検証できます（完全な `Matlock` 実行までは `?` Estimate バッジを表示）。
* **リポジトリ外の 5 範囲無視（`Ignored (N)`）**: `file:line:code`、`file:code`、`*:code`、`file`、`folder/` を減点 `0` で除外し、ワンクリック **Restore** / **Restore all** や誤検知報告 **Send & Ignore** に対応。コード内コメント（`// ignore:`、`/* nolint */`、`# noqa`、`@ts-ignore`）でマトロック (Matlock) を黙らせることはできず、MCP に無視書き込みツールも存在しません。

## 6. 永続セーフガード・テスト整合性・復元

* **セーフガードの役割**: 組み込みチェックはネイティブ機械語にコンパイルされており、**Safeguard** はユーザーテスト・検出／自作スクリプト・アクション・ルーチン・通知を封印します（`[LOCKED]` / `読み取り・実行のみ` は `matlock_run_action` / `matlock_run_sequence` の実行専用、`[MODIFIABLE]` カードはエージェントの改善差分を **封筒** で確認・承認可能）。
* **原本への確定自動復元と封筒アラート**: AI エージェントや外部ツールが保護されたテストや封印スクリプトを無断変更すると、マトロック (Matlock) は封印済み原本ファイルを確定的に復元し（リポジトリ外に undo 控えを保存）、上部の **封筒** を `[Matlock Alert] Critical test altered: <test_name>` で点滅させ、ヘッドレス実行を停止します（`exit 65`）。
* **テスト整合性と本人承認による復元**: 削除・スキップ・弱体化されたテストは永続記録を残し、人間が **OK, I did this**、**Suspicious**、または `Settings -> Safeguard & Restore -> Allow Matlock to restore tests`（diff プレビュー＋undo 控え）で処理するまで **Ready to push** を保留します。**Sync across my computers**（Pro）はパスフレーズ封印 `<computer-id>.matlock-sync` ファイルを出力します（ソースコード `0`、通信 `0`）。

## 7. 水平スコア／カバレッジバーとモジュール基準

* **数値スコアと水平進捗バー**: **`XX.X / 100.0`**（初回実行前は `--`）を水平の **ヘルススコア** バーおよび **真のロジックカバレッジ** バーと並べて表示し、未テストの本番ロジックを含めつつ自動生成コードを除外します。ビルド・依存関係・テストの失敗時は出荷基準未満に上限設定され、**`Format`** はレポート専用（減点 `0`）です。
* **人間専用モジュール調整ダイヤル（`CWE-1080` / `CWE-1120`）**: 左レール **`File size bar`** または **`Settings -> Project & Runner`**（`*Based on Grade C standard. Adjust in settings`、OS 封印設定、リポジトリ内ファイル `0`、MCP 変更不可）で **`Grade A (<= 60 / <= 25 fn)`**、**`Grade B (<= 100 / <= 40 fn)`**、**`Grade C (<= 250 / <= 80 fn)` [既定]**、**`Grade D (<= 500 / <= 120 fn)`**、**`Minimum (<= 1000 / <= 250 fn)`** を選択します。
* **`Ready to push` 判定**: Critical 検出 `0` 件、ビルド・テスト合格、未解決の削除済みテスト確認記録 `0` 件、非暫定カバレッジを備えた出荷可能スコアが必要です。

## 8. 2カラム設定と封印状態の復旧

右上の **`Settings`** をクリックすると 2 カラム画面（左の 6 カテゴリナビ＋右の簡潔な設定項目；各ヘッダーの **`?`** アイコンから該当マニュアル章へ直行）が開きます：
1. **`Appearance`**: **言語**（9 言語＋コピー文言の言語）、**テーマ**（`System Default`, `Light`, `Dark Slate`）、デスクトップショートカット、Windows の **Minimize to System Tray when closed**。
2. **`Project & Runner`**: **モジュール調整ダイヤル**（`Grade A..Minimum`）、ローカル保存先の **`Open folder`**（ローカル OS ユーザープロファイル専用フォルダー）、**初期セットアップバナーを再表示**（`Restore starter setup banner`、`Set up for me` を再表示）、**`Keep Quick Run history`**、**`Reset Ignore Registry`**。
3. **`Safeguard & Restore`**: **`Allow Matlock to restore tests`**、人間専用のセーフガード自動復元スイッチ、**`Sync across my computers`**（パスフレーズ封印フォルダー同期）。
4. **`Email Alerts`**: ローカル送信専用のメールおよびカスタムスクリプト通知設定＋**`Test Email`**。
5. **`AI Agent (MCP)`**: **`MCP Server (stdio)`** スイッチ（初期オフ）、双方向ブリッジ **`"ヘッドレスと同期"`**（`"Sync with Headless"`：バックグラウンドポーリング `0` でエージェント作成カードの読み込みと常設指示の公開を 1 クリック実行）、**`Test MCP Connection`**、**`Copy MCP Config & Agent Instructions`**、**`Copy a question for my phone AI`**、**`Agent Email Bridge`**。
6. **`License & Updates`**: 24 文字キーの **`Activate`** / **`Move license to this device`**、**`Automatically check for updates`**（`MATLOCK_OFFLINE=1` で全通信遮断）、**`Send anonymous crash diagnostics`**（初期オフ；`MATLOCK_NO_TELEMETRY=1`）、**`Copy diagnostic info`**、**`Free up memory`**、**`Share Matlock`**、**`Contact us`**（`dutch@dutchp2p.com`）、**`Dutch P2P Tools`**。
* **封印状態の復旧（`Reset Ignore Registry`）**: 外部編集により `integrity_seal:MUTE_SEAL_TAMPERED` または `storage_recovery:BAK_AUTO_RESTORE` が発生した場合は、**`Settings -> Project & Runner -> Storage & backup -> Reset Ignore Registry`** を実行してください。

## 9. AIエージェント接続（デスクトップMCP＆スマホ／チャット案内）

* **ローカル `stdio` 接続手順と `"ヘッドレスと同期"`（開放ポート `0`）**: **`Settings -> AI Agent (MCP)`** を開き、**`MCP Server (stdio)`** をオンにして **`Copy MCP Config & Agent Instructions`**（または `?` 内の **`Copy MCP Guide for Agent`**）をクリックし、設定画面または左レールの **`"ヘッドレスと同期"`**（`"Sync with Headless"`）でエージェント作成カードと常設指示を双方向同期します：

```json
{
  "mcpServers": {
    "matlock": {
      "command": "matlock.exe",
      "args": ["mcp", "--stdio"]
    }
  }
}
```

* **主要クライアント・ランチャー・チャット対応**: `npx -y @dutchp2p/matlock-mcp` または `uvx matlock-mcp` で設定不要起動；`VS Code, Cursor, Claude Code/Desktop, Antigravity, Gemini CLI, Copilot, Codex, Windsurf, JetBrains/Junie, Trae, Lingma, MarsCode, CodeGeeX, Baidu Comate, Tencent CodeBuddy, Zed, Cline, Roo Code, Continue, Aider, Goose, OpenHands, Devin, Replit Agent, Sourcegraph Amp`、Kimi、Qwen、DeepSeek、Doubao、MiniMax、ローカル `Ollama/vLLM/SGLang/LM Studio` に対応。接続済みエージェントは `matlock_read_appliance_manual(section_id, locale)` を `0` クレジット（9 言語）で参照でき、スマホやブラウザ AI には [https://matlock.dutchp2p.com/ja/manual.md](https://matlock.dutchp2p.com/ja/manual.md) / [https://matlock.dutchp2p.com/llms.txt](https://matlock.dutchp2p.com/llms.txt) を貼り付けられます。新しくリリースされた IDE・エージェントハーネス・コンテナ基盤の最新互換ガイドは [https://matlock.dutchp2p.com/ja/docs.html](https://matlock.dutchp2p.com/ja/docs.html) でいつでも確認できます。

## 10. 標準搭載チェック一覧（10エコシステム + Pre-CI）

すべての組み込みチェックはマトロック (Matlock) にコンパイルされ、**MITRE CWE**、**CISA SSDF (`NIST SP 800-218`)**、**IEEE Std 1003.1 POSIX**、**Pre-CI ゲート**、**AICPA SOC 2 Trust Services Criteria** の技術統制に基づいています：

| エコシステムと領域 | マトロック (Matlock) の検査内容と未然に防ぐ本番障害 |
| :--- | :--- |
| **多言語コア & Dart / Flutter** | 無音の catch ブロック（`CWE-391`）、null／境界リスク（`CWE-476`/`CWE-125`）、await 漏れ競合、Stream/Timer/Controller リーク（`CWE-401`）、無限リトライ（`CWE-835`）、ハードコードされた秘密情報（`CWE-798`）、未マスクのログ秘密（`CWE-532`）、多言語 HTTP/SMTP/CLI/CI における TLS 証明書検証の無効化（`CWE-295` / `[MITRE T1557]`）、SQLi（`CWE-89`）、SSRF（`CWE-918`）、XXE（`CWE-611`）、未署名 JWT（`CWE-347`）、オープンリダイレクト（`CWE-601`）、タイムアウト欠如、パス横断（`CWE-22`）、空疎なテスト（`CWE-362`）。 |
| **Java** (`.java`) | 固定鍵（`CWE-798`）、コマンド／SQL インジェクション（`CWE-78`/`CWE-89`）、危険なデシリアライズ（`CWE-502`）、弱い暗号（`CWE-327`）、例外握り潰し（`CWE-391`）、JDBC／Stream リーク（`CWE-404`）、文字列 `==` バグ、急な `System.exit`、ループ内 sleep。 |
| **Python** (`.py`) | 固定シークレット（`CWE-798`）、シェル／SQL インジェクション（`CWE-78`/`CWE-89`）、危険な `pickle`/`yaml` 読込（`CWE-502`）、弱いハッシュ（`CWE-328`）、素の `except`（`CWE-391`）、可変デフォルト引数、記述子リーク（`CWE-775`）、`async def` 内同期呼出、空テスト。 |
| **Rust** (`.rs`) | 埋め込み秘密情報（`CWE-798`）、整形シェル／SQL 文字列（`CWE-78`/`CWE-89`）、無防備な `unsafe` 変換、TLS 検証無効化（`CWE-295`）、本番 `.unwrap()`/`todo!()` パニック、非同期内の同期 sleep、意図的リーク（`CWE-401`）、`Result` 破棄、空テスト。 |
| **Go** (`.go`) | 固定トークン（`CWE-798`）、連結 exec/SQL（`CWE-78`/`CWE-89`）、`InsecureSkipVerify`（`CWE-295`）、弱い乱数（`CWE-330`）、エラー無視（`CWE-252`）、ループ内 `defer` リークと未 cancel コンテキスト（`CWE-404`）、HTTP タイムアウト欠如、本番 `panic`、空テスト。 |
| **TypeScript & JavaScript** (`.ts`, `.tsx`, `.js`, `.jsx`) | 露出シークレット（`CWE-798`）、DOM XSS / `eval`（`CWE-79`/`CWE-95`）、シェル補間（`CWE-78`）、プロトタイプ汚染（`CWE-1321`）、空 `.catch()`（`CWE-391`）、型抑制、`NaN` 比較バグ、同期 I/O 停止、`debugger` 残存、リスナー／タイマーリーク（`CWE-401`）。 |
| **C & C++** (`.c`, `.cpp`, `.cc`, `.h`, `.hpp`) | 固定シークレット（`CWE-798`）、境界なし FFI／バッファコピー（`CWE-787`/`CWE-120`）、書式文字列脆弱性（`CWE-134`）、`system()` インジェクション（`CWE-78`）、`new[]`/`delete` 不一致（`CWE-762`）、解放後使用（`CWE-416`）、例外送出デストラクタ、未 join スレッド。 |
| **Kotlin & Android** (`.kt`, `.kts`) | 固定シークレット（`CWE-798`）、SQL 文字列連結（`CWE-89`）、危険な WebView ブリッジ、TLS 回避（`CWE-295`）、全体読取可能な設定（`CWE-276`）、`GlobalScope` リーク（`CWE-401`）、UI スレッド停止、`!!` クラッシュ、`CancellationException` 握り潰し、不正 ZIP/APK ヘッダー（`CWE-190`）。 |
| **C# & .NET** (`.cs`) | 未解放の `IDisposable` ハンドル（`CWE-404`）、`async void` クラッシュ、未パラメータ化 SQL／コマンド文字列（`CWE-89`/`CWE-78`）、TLS 証明書検証の無効化（`CWE-295`）、例外の握り潰し（`CWE-391`）、同期 `.Result`/`.Wait()` デッドロック、空疎なテスト。 |
| **SQL & ストレージエンジン** (`.sql`) | 過剰権限付与（`CWE-250`）、動的 SQL 連結（`CWE-89`）、DDL 平文パスワード（`CWE-256`）、OS コマンド脱出（`CWE-78`）、RLS 無効化、条件なし `DELETE`/`UPDATE`、非べき等マイグレーション、深い `OFFSET` 走査、無防備なテーブルロック。 |
| **クロスOS Pre-CI・Bash/Shell（`.sh`）・PowerShell（`.ps1`）・`Dockerfile`・GitHub Actions YAML** | 大文字小文字パス衝突（`POSIX.1`）、`CRLF` shebang、Bash/POSIX 移植性違反と PowerShell `$ErrorActionPreference` / `LASTEXITCODE` 罠、未固定 `Dockerfile` タグと root コンテナ危険設定、HTML／アセット容量超過、Windows `.cmd`/`.bat` 起動罠、ハンドルリーク（`CWE-775`）、固定パス区切り、未追跡 import、ロックファイル乖離、未固定 GitHub Actions YAML 権限、ワークフロー注入、`+x` 欠落。 |
| **モジュール基準 & カスタムチェック** | 人間専用 **モジュール調整ダイヤル**（`Grade A <= 60`〜`Minimum <= 1000`、既定 `Grade C <= 250` 行 / `<= 80` 関数；`CWE-1080` / `CWE-1120`）と OS プロファイル保存のパターン・スクリプト検査。 |

## 11. Workstation Pro ライセンス・Webプレビュー・無料ブラウザスキャン

* **無制限 Workstation Pro（約 4,000円\* ($24.99 USD/年)、アカウント不要）**: デスクトップ・コマンドセンターの全機能（稼働 PC `1` 台、**`Move license to this device`** による年 `1` 回の端末移行）に加え、1 年間無制限のローカル＆ヘッドレス MCP 実行（`$0.00/pass`）を解放します。デスクトップの **`Upgrade`**（または [https://matlock.dutchp2p.com/ja/pricing](https://matlock.dutchp2p.com/ja/pricing)）から MoonPay・Transak による **カード決済**、ステップ順の **PayPal `PYUSD`**、または `Solana USDC`・`Solana PYUSD`・`Base USDC`・`Polygon USDC` の即時 **USD ステーブルコイン決済** で支払い、**24 文字キー**＋`/receipt/<id>` を **`Settings -> License & Updates`** で有効化します。無料版は **`Matlock`**、`CI Code Health Report`（シークレット相対パス通知付き）、`File size bar`、`Notes`、`Ignored` 復元を利用でき、Pro でアクション、星印お気に入り、ルーチン、Machine コマンド、Quick Run（`Ctrl+K`）、目アイコン `Ignore`、正確な `file:line:col` 座標が解放されます。
* **Web コマンドセンターと無料ブラウザスキャン**: [https://matlock.dutchp2p.com/ja/#wasm-instant-audit](https://matlock.dutchp2p.com/ja/#wasm-instant-audit) はローカルフォルダー（通信 `0`）または任意の公開 GitHub リポジトリ URL（ブラウザと `api.github.com` / `raw.githubusercontent.com` 間で直接取得、Dutch P2P 経由 `0` バイト；料金 Markdown は `/ja/pricing.md`）をブラウザ RAM 内で検査し、印刷可能な **Diagnostic Service Order** を出力します。[https://matlock.dutchp2p.com/ja/app](https://matlock.dutchp2p.com/ja/app) では昼／夜レイアウト、水平スコア／カバレッジバー、単一 **`Matlock`** ボタン、ドック型 **CLI ターミナルバー**（`実行` / `カードとして保存` / `連鎖 / 通知`）、**`Copy this card as a script`**、**`Paste output from your run` -> `Color it`** を体験できます（`Only in the desktop app` はネイティブ機能を示します）。

## 12. Linux・GoogleBook・アップデート・プライバシー・サポート

* **GoogleBook と Linux への導入**: **GoogleBook** では **設定 -> デベロッパー -> Linux 開発環境** を有効化し、`matlock-linux-x64.deb` を導入して、作業リポジトリは高速なネイティブ `Linux ファイル`（`$HOME` `ext4`）に置いてください。**Linux** では `.deb`（`sudo apt install ./matlock-linux-x64.deb`）または `chmod +x matlock-linux-x64.AppImage`（`libfuse2` なしでも `--appimage-extract-and-run` 対応）を利用します。
* **プロセス停止・更新・アンインストール**: **`Stop`**（`Ctrl+.` / `Esc`）は OS プロセスツリー全体を終了し（ゾンビ `0`）、スリープ抑止を解除します（長時間シーケンス中は画面を開いたままにしてください）。Windows は Microsoft Store、`AppImage` は `SHA-256` 検証付き原子的更新でローカル設定を 100% 保持します。削除は **インストール済みアプリ** / `apt remove matlock` / `AppImage` 削除で行えます。サポート: **`dutch@dutchp2p.com`**。

---

## パート II: マシンおよび自律エージェント運用仕様

### A. エージェントのエントリポイントとトランスポート設定
* **トランスポート**: ローカル `stdio` JSON-RPC 2.0（開放 TCP/UDP ポート `0`、localhost HTTP ソケット `0`）。
* **デスクトップ連携 CLI**: `matlock.exe mcp --stdio`（Windows） · `matlock mcp --stdio` または `/path/to/matlock-linux-x64.AppImage mcp --stdio`（Linux & GoogleBook）。
* **ディスプレイ不要ヘッドレスエンジン・2行コンテナ `setup`・初回アラート案内ヒント**: Linux `x64`、Windows `x64`、macOS `arm64` 上の `npx -y @dutchp2p/matlock-mcp`、`uvx matlock-mcp`、2行コンテナ `setup` フック（`agent-install.sh` + `matlock-mcp toolbag --json`）（**Cloudflare `ContainerHarness` / `Codex` `cloudflare/debian-trixie`**、Docker、E2B、Firecracker 向け）、または `matlock-mcp --stdio --headless --no-coverage`（[https://matlock.dutchp2p.com/ja/agents](https://matlock.dutchp2p.com/ja/agents) · 最新 IDE／コンテナ互換ガイド：[https://matlock.dutchp2p.com/ja/docs.html](https://matlock.dutchp2p.com/ja/docs.html)；`readOnlyHint: true` 注釈と `prompts/list`：`matlock-verify-before-push`、`matlock-fix-top-findings`、`matlock-setup-action-chain` を公開）。有効化済みの初回 `--headless` セッションで送信メール通知が未設定の場合、マトロック (Matlock) は非ブロッキングの初回案内ヒントを 1 度だけ返し、エージェントが `matlock_set_alert`（OS キーチェーンまたは `MATLOCK_VAULT_PASSPHRASE` によるパスフレーズ封印ローカルコンテナ Vault）による完了・エラー通知設定をユーザーに 1 度だけ提案できるようにします：

```json
{
  "mcpServers": {
    "matlock": {
      "command": "matlock-mcp",
      "args": ["--stdio", "--headless", "--no-coverage"]
    }
  }
}
```

### B. 従量課金・M2M スウォームアクセス・Pro 解除
* **無料アンロックパス 0 回 & `< 50ms` `HTTP 402` 価値証明**: 未契約の `Index 0` `matlock_run_scan(target_path)` は `< 50ms` でローカル実行され（クラウド送信 `0`、コミット阻害 `0`）、正確な `0.0–100.0` ヘルススコア、深刻度件数、違反 CWE／カテゴリ、`MITRE ATT&CK` `T*` タグ、ライブ `ast_token_savings` 試算（ファイル名 `0`、行／列 `0`、diff パッチ `0`）を返します。同一ワークスペースで `1` クレジット決済後、**`10` 分以内は最大 `3` 回の `changed_only: true` 差分再検査**が追加消費 `0` で実行可能です。
* **2経路のスムーズなアンロック**: **経路 A（エージェント自己管理ウォレット）** — **Solana USDC**・**Solana PYUSD**・**Base USDC**・**Polygon USDC** で `matlock_run_scan(target_path, transaction_signature)` または `matlock_purchase_license(transaction_signature)` により自律型エージェントスウォーム向け M2M 従量アクセスを解除します（ヘッドレスツールおよびスウォーム料金は `https://matlock.dutchp2p.com/ja/agents` の **MCP エージェントカタログ** と `/agents.md` を参照）。**経路 B（人間決済ブリッジ）** — `402` が返すチェックアウト引き継ぎ URL（`/ja/pricing.md`）を開発者に共有し、**約 4,000円\* ($24.99 USD/年) の無制限 Workstation Pro** を有効化します（`matlock_purchase_license(license_key)` または `matlock-mcp activate <KEY>` で `$0.00/pass` 無制限実行）。ヘッドレス CLI は `402` で `77`（`EX_NOPERM`）、セーフガード／封印改ざんで `65`（`EX_DATAERR`）を返します。

### C. ローカルMCPツール27種の完全カタログ
1. **`matlock_run_scan(target_path?, changed_only?, dedup_by_rule?, if_none_match?, agent_id?, rule_id?, category?, pillar?, file_filter?, include_generated?, compact?, cursor?, rule_code?, transaction_signature?)`**: `Index 0`（`readOnlyHint: true`）`< 50ms` の AST・CWE・POSIX・Pre-CI スキャンで `file:line:col`（`col >= 1`）、`cwe`、`mitre_attack`、5 行 diff 処方箋を返却（CLI `matlock-mcp scan . --format=sarif` の `SARIF 2.1.0` 出力にも対応）。
2. **`matlock_describe_project(target_path?, mode?)`**: 任意のワークスペース概要（`0` クレジット、`readOnlyHint: true`）。**`mode: "tool_bag"`**（または CLI **`matlock-mcp toolbag [--json]`**）を指定すると、`[LOCKED]`（実行専用）と `[MODIFIABLE]`（改善可能）カード、シーケンス、`[NEW]`/`[UPDATED]` バッジ、`[UNAVAILABLE IN CONTAINER]` 表示、常設指示、送信アラート準備状態を `~350–550` トークンで段階取得します。
3. **`matlock_get_scan_results(target_path?, cursor?, pillar?, rule_code?)`**: ページ分割結果（`25` 件／頁；デスクトップは解除まで保護行を非表示；`--headless` ガスタンクは座標を解放）。
4. **`matlock_qualify_test(file | files, target_path?, dry_run?, baseline_only?, wait_if_busy?, max_wait_seconds?)`**: 1〜5 個のテストファイル（`test_file` / `test_files`）を 3 ゲート（`>= 1` アサーション実行合格、アナライザ警告 `0`＋行数上限、マトロック (Matlock) 検出 `0`）で検証してセーフガード封印、またはベースライン封印（`baseline_only: true`）。
5. **`matlock_get_test_integrity(target_path?, reverify?, include_archive?, id?, include_text?, note_for_id?, note?)`**: 削除済みテスト整合性記録の確認とエージェント説明メモ追記（消去権限 `0`）。
6. **`matlock_get_history(target_path?, limit?)`**: スコアと修正件数の読み取り専用履歴。
7. **`matlock_read_appliance_manual(section_id?, standard_id?, query?, locale?)`**: オフラインマニュアル（9 言語）と CWE/POSIX/SSDF/SOC2/結果コード検索（`0` クレジット、通信 `0`）。
8. **`matlock_list_custom_tests`**: ユーザー定義カスタムチェック一覧。
9. **`matlock_register_custom_test`**: パターンまたはスクリプトのカスタムチェック保存。
10. **`matlock_delete_custom_test`**: 未ロックのカスタムチェック削除（組み込みチェックは不変）。
11. **`matlock_list_actions`**: アクションカード（`favorite`／ロック／承認フラグ付き）および未設定 `recommendedTemplates`（`unconfiguredTemplate: true`）の一覧。
12. **`matlock_register_action(id, command, name?, favorite?)`**: 未ロックのアクションまたは初期テンプレート（`tpl_github`, `tpl_save_drive`, `tpl_cloud_sync`, `tpl_save_backup`, `tpl_defrag_optimize`, `tpl_shut_down`）にコマンドを設定・更新し、`unconfiguredTemplate` を解除、お気に入り（`favorite: true | false`）を切り替え、デスクトップでは **Require Approval** を強制。
13. **`matlock_register_sealed_script`**: サブエージェントの改変からビルド／テストコマンドを封印（**Locked by User**）。
14. **`matlock_run_action(id, working_dir?, async?, send_alert?, cold_box?)`**: OS プロセスツリー管理下でコマンドを実行（`async: true` 非ブロッキング実行、`send_alert`、USB `robocopy`/`rsync`、クラウド R2/S3/GCS/Azure、カスタム `git push` カードに対応；`Matlock` テスト実行内の組み込み `git push` は `0`）。
15. **`matlock_get_action_status(id?)`**: 実行状態、終了コード、`async: true` バックグラウンド実行のコンパクト状態カプセルを取得。
16. **`matlock_stop_action(id?, stop_sequence?)`**: 実行中のプロセスツリーを即時終了（`stop_sequence: true` で実行中のシーケンス全体を安全に停止）。
17. **`matlock_delete_action`**: 未ロックのアクションカードを削除。
18. **`matlock_list_sequences`**: 複数ステップのルーチン一覧。
19. **`matlock_register_sequence(id, name?, step_ids?, commands?, insert_step_id?, insert_command?, insert_step_name?, insert_at_index?, remove_step_index?, failure_policy?, always_run?, favorite?)`**: 未ロックのシーケンスを直列作成・編集し、任意のアクションや `alert::<id>` を `0` 始まりの正確な位置 `insert_at_index` に `failure_policy`（`"stop" | "stop_and_alert" | "continue_and_alert"`）・`always_run`・`favorite: true | false` 付きで挿入。
20. **`matlock_run_sequence(id, file?, async?, send_alert?, cold_box?, deep?, include_coverage?)`**: `seq_matlock` または `seq_fast_verify` を実行（単一テスト指定 `file`、完了時自動ウェイク付き非ブロッキング実行 `async: true`、通知指定 `send_alert` に対応；高速開発時は既定 `cold_box: false`；外部保存・クラウド同期・バックアップ・push・リリースビルド直前には `cold_box: true` を渡し、検証済みなら `< 15ms` で返却；`deep: true` で完全クリーン＆カバレッジ再計測）。
21. **`matlock_delete_sequence`**: 未ロックのルーチンを削除。
22. **`matlock_list_alerts`**: ローカル通知チャネル一覧（秘密情報はマスク）。
23. **`matlock_set_alert`**: 送信専用 Native Dart TLS 1.2/1.3 `email_smtp`（グローバルプリセット、OS キーチェーンまたはパスフレーズ封印ローカルコンテナ Vault）または `custom_script` 通知を設定。
24. **`matlock_trigger_alert(id, status, task_completed, uncovered_issues, next_move)`**: 必須 3 質問ハンドシェイク付きでローカル通知を送信。
25. **`matlock_delete_alert`**: 未ロックの通知カードを削除。
26. **`matlock_purchase_license(transaction_signature?, license_key?, target_path?, network?, runs?, lid?)`**: 自律型エージェントスウォームの従量利用分を決済（`/ja/agents` を参照）、または約 4,000円\* ($24.99 USD/年) の 24 文字 Pro `license_key` を有効化。
27. **`matlock_report_issue(category, subject, description, tool_context?, output_dump?)`**: 非同期スクラブ済みフィードバック／要望送信（`0` クレジット、`CONTINUE_IMMEDIATELY`）。

### D. 境界 Cold Box サンドボックス・3ループ上限・完了ハンドシェイク
* **境界専用の `cold_box: true`（既定 `OFF`）**: `matlock_run_sequence` は高速な反復スプリント向けに既定で `cold_box: false` を使います（CPU コア制限の残留 `0`）。外部 git push・クラウドドライブ保存・外部メディアバックアップ・リリースバイナリビルドの直前のみ `cold_box: true`（`id: "seq_matlock"`）を指定し、無菌 `$TEMP` コピー内で検証します（`CI=true`、`stdin` クローズ、`CWE-775` ハンドル／孤児監査）。
* **2段階ループブレーカーと必須3質問ハンドシェイク**: Tier 1 は同一ルール／ファイルの連続停滞を **3 回** で遮断し **`STOP_IMMEDIATELY`**（単一目標）または **`SKIP_AND_MOVE_ON`**（複数ファイル進行）を返却。1 セッション内で **2 箇所** のスキップ領域が停滞すると Tier 2 が **`HALT_FOR_REPLACEMENT`**（`loopGovernorDirective: "STOP_AND_ALERT_USER"`）を返し、機密除去済みの `< 200` トークン `session_handoff.json` を書き出して新しい交代エージェントを `agents.md` と実行中シーケンス目標へ誘導します（`agent_id` / `MATLOCK_AGENT_ID` で並列ワーカーを分離）。`matlock_trigger_alert` 呼び出し時は **`task_completed`**、**`uncovered_issues`**（`"None"` 不可）、**`next_move`** が必須です。

### E. AIコーディングエージェント向け機械可読仕様（YAML）

```yaml
product: "Matlock — Agent & Developer Tools. (Efficient. Exact. By the book.)"
pinned_version: "v1.0.0+1"
web_command_center: "https://matlock.dutchp2p.com/ja/app"
free_local_scan: "https://matlock.dutchp2p.com/ja/#wasm-instant-audit"
docs_hub: "https://matlock.dutchp2p.com/ja/docs"
online_manual: "https://matlock.dutchp2p.com/ja/manual"
public_repository: "https://github.com/Dutchp2p/matlock-public"
online_operational_map: "https://matlock.dutchp2p.com/llms.txt"
mcp_resource_uri: "matlock://help/appliance-manual"
mcp_stdio_command: "npx -y @dutchp2p/matlock-mcp | uvx matlock-mcp | matlock.exe mcp --stdio (Windows) | matlock mcp --stdio (.deb) or /path/to/matlock-linux-x64.AppImage mcp --stdio (Linux & GoogleBook) | matlock-mcp --stdio --headless --no-coverage (Linux x64, Windows x64 & macOS arm64)"
network_ports: 0
git_hooks_installed: 0
builtin_git_push_in_test_runs: false
custom_push_deploy_actions_allowed: true
mcp_tools_count: 27
primary_pipeline:
  card: "Matlock"
  sequence_id: "seq_matlock"
  entry_tool_index_0: "matlock_run_scan"
  badge_svg_url: "https://matlock.dutchp2p.com/badge/verified.svg"
  stages: "Clean -> Get -> Format -> Lint -> Analyze/Compile -> Test -> Coverage (depth 0..2)"
  cold_box_default: false
  cold_box_boundary_triggers: ["before external git push", "before cloud-drive save", "before removable backup", "before release compile"]
modularity_tuning_dial:
  person_only_sealed_os_settings: true
  default_tier: "Grade C (<= 250 / <= 80 fn)"
  tiers: ["Grade A (<= 60 / <= 25 fn)", "Grade B (<= 100 / <= 40 fn)", "Grade C (<= 250 / <= 80 fn)", "Grade D (<= 500 / <= 120 fn)", "Minimum (<= 1000 / <= 250 fn)"]
ignore_scopes_5: ["file:line:code", "file:code", "*:code", "file", "folder/"]
lock_governance:
  safeguarded: "Read & Run Only (auto-reverts unauthorized edits + Envelope tamper alert)"
  unlocked: "AI agent can modify (Read, Write, Modify & Run)"
os_storage:
  scope: "private_user_profile_outside_repo"
  env_override: "MATLOCK_STATE_DIR"
```

### F. エージェント運用原則と実行境界
* **原則 1（テスト弱体化・抑制コメントの禁止）**: テストの削除、アサーションの緩和、インライン抑制（`// ignore:`、`/* nolint */`、`# noqa`、`@ts-ignore`）の挿入は厳禁です。実行すると削除済みテスト整合性記録が立ち、セーフガード対象ファイルが自動復元され、ヘッドレス実行が停止します（`exit 65`）。
* **原則 2（セーフガード不変性とテスト／Push の分離）**: **Safeguarded** 項目は読み取り・実行専用であり、マトロック (Matlock) は `.git/hooks/*` を一切導入せず、`Matlock`（`seq_matlock`）のテスト実行中に自動コミットや push を行いません（ユーザーおよび MCP エージェントはカスタムの `git push` やクラウドデプロイ用カード・連鎖を自由に登録できます）。
* **原則 3（境界 Cold Box と PR 検証バッジ）**: 日常の高速コーディング中は `cold_box: false` を維持し、外部 push・クラウド保存・バックアップ・リリースビルド直前に `matlock_run_sequence(id: "seq_matlock", cold_box: true)` を実行、`STOP_IMMEDIATELY` / `HALT_FOR_REPLACEMENT`（`STOP_AND_ALERT_USER`）で直ちに停止し、`verdict == "PASSED"` 後に Pull Request 説明欄へロゴ専用の `pr_verification_badge`（`https://matlock.dutchp2p.com/badge/verified.svg`）を記載してください。