手元での照合。何も閉ざさない。
エージェントは最初から自動承認で起動する。それでも制限は書いておけ。
マンデートは、あなたが所有するファイルである。スキルは次に提案された動作をそれに照らし、許可、拒否、要人間判断のいずれかを条項名とともに返し、ディスク上のログに追記する。MIT、Python 3 標準ライブラリのみ、ネットワークなし、アカウントなし。
呼び出すときだけ動く。自動承認のエージェントは呼び出しを飛ばせるし、実行するものとは違う動作を記述することもできる。見ることのない deny は、deny ではない。見えた場合のためにチェックを使え。スキルの中に、動作を止められるものは何もない。ランタイムが拒否できるのは、保護された資格情報とツールを排他的に保持する場合だけである。
同じ評価器を実行し、リクエストの内容を保存しない無料のホスト型チェックを利用できます: MCP https://check.hanria.ai/v1/mcp または HTTP https://check.hanria.ai/v1/check。スキーマと例: hanria.ai/developers。
実際の照合
マンデート omarchy-workstation-2026-09 に対する七つの動作。
| 提案された動作 | 答え | 評価器の説明 |
|---|---|---|
write ~/Work/dotfiles/hypr.conf |
permit | clause c3-work-tree applies |
read ~/.ssh/id_ed25519 |
deny | clause c1-no-keys |
write /usr/share/omarchy/default/hypr/bindings.conf |
deny | clause c2-no-omarchy-internals |
install package hyprshot |
escalate | clause 'c6-packages' permits this, but 'package' always requires a person |
read ~/.config/nvim/init.lua |
permit | clause c4-read-config applies |
POST to paste.example.net |
deny | mandate default |
read ~/Work/../.ssh/id_ed25519 |
deny | traversal rule |
/usr/share/omarchy/ の行は、omarchy-update が所有するツリーである。スキルはそこには入らない。~/.config/omarchy/ はあなたのものだ。
HANRIA は Omarchy プロジェクトと提携しておらず、その後援も受けていません。
正直な限界
スキルは助言できる。拒否できるのはランタイムだけ。
エージェントが deny を無視すれば、操作は実行される。スキルはコンテキストにあり、コンテキストは飛ばされうる。このログの deny を、何かが止められた証拠と取るな。
実施が可能なのは、保護された資格情報・ツール・署名鍵・ワーカープロセスが、拒否できる構成要素を経由してのみ到達可能である場合だけです。その構成要素がランタイムです。スキルとホスト型チェックはその位置を占めません。スキルを導入すれば実施が得られると述べるものがあれば、それは誤りです。スキル自身のテキストにもそう書かれています。
FAQ
読者やエージェントが持つであろう問い。
HANRIA は AI モデルやエージェントフレームワークですか。
いいえ。スキルはローカルの照合器です。モデルやオーケストレーションの代替ではありません。
HANRIA は何の略ですか。
何の略でもありません。造語であり、頭字語でも略語でもなく、展開・派生・翻訳のいずれも公表されておらず、意図もされていません。
スキルを導入すればエージェントは安全になりますか。
いいえ。動作を止めることはできません。意図した制限を明示し、呼び出されたときにその枠外の動作を印し、その判断を記録します。安全性は依然として設計・実装・統合・基盤・運用の正しさに依存します。
ホスト型チェックの答えを第三者が検証できますか。
はい、チェックが何と答えたかについては。ホスト型チェックの permit、deny、escalate には、HANRIA の公開鍵で署名されたレシートが付きます。レシートは結果を、そのマンデートと行為のダイジェスト、および15分の有効期間に結び付けます。マンデートと行為を持つ者は誰でも、HANRIA に問い合わせずにダイジェストを再計算し、署名を確かめられます。証明するのはチェックの答えであり、行為が実行されたことでも、マンデートが運用者のものであることでもありません。
ログのエントリは法的拘束力や独立した検証を持ちますか。
そのような主張はしていません。署名も公開形式も検証器もないため、ファイルに書き込める者は全体を再構築できます。ローカルな完全性検査であり、アテステーションではありません。
スキルは鍵や資金、デジタル資産を扱いますか。
いいえ。マンデートと動作記述——いずれも資格情報を含んではなりません——を読み、ログを書くだけです。何も保有せず、何も移動しません。
チェックとランタイムの違いは何ですか。
チェックは記述された行為について助言を返します。ランタイムが行為を拒否できるのは、保護された資格情報、ツール、署名鍵、またはワーカープロセスがランタイムだけを経由して到達可能な場合です。