drills.frtモジュール 35プレーンのモジュール
プレーンのモジュールTurf-war drills
カーネルの中核となる保証が今も成り立つかを、必要なときや設定した間隔で確認し、全実行のスコアカードを残します。
drills.frt は、リース排他、付与の循環、保護クラス、デッドロックの循環、単調な拒否、Merkle包含という6つの固定参照シナリオを、Intralockとレシートライブラリに対して実行します。各実行は採点・保存されます。管理者は1時間ごとから90日ごとまででスケジュールできます。
drills.frtモジュール 35カーネルの中核となる保証が今も成り立つかを、必要なときや設定した間隔で確認し、全実行のスコアカードを残します。
drills.frt は、リース排他、付与の循環、保護クラス、デッドロックの循環、単調な拒否、Merkle包含という6つの固定参照シナリオを、Intralockとレシートライブラリに対して実行します。各実行は採点・保存されます。管理者は1時間ごとから90日ごとまででスケジュールできます。
© 2026 Intramedial. All rights reserved. IntramedialはTrustviceの製品です。 Secured and supercharged by Avonao Labs.
不正利用の報告6つのシナリオは組み込みのフィクスチャで動くため、成功は、Intralockカーネルとレシートのコードが仕様どおり動くことを示すだけで、お客様の付与や強制地点が有効であることは示しません。自分の付与を試すには drills.counterfactual を使ってください。
resultsid（FRT-1 から FRT-6）、ok、detail の1文。llmfalse。モデルは関与しません。GET /api/v1/acp/drills/frt は FRT-1 から FRT-6 を実行し、id、ok、detail を持つ results を返します。ドリルのワークフローが紐付いている場合、forceInline がなければキューに入ります。
共有デモワークスペースでデモ用キーを使って実行します。中身は誰でも見られるため、非公開の情報は送らないでください。 drills.frtの資料
実行を押すと、左のリクエストが共有デモワークスペースに送信されます。
共有デモワークスペースでデモ用キーを使って実行します。中身は誰でも見られるため、非公開の情報は送らないでください。
APIが受け付ける形のリクエストと、モジュールが返す形のレスポンス例です。
GET /api/v1/acp/drills/frt Authorization: Bearer av_workspace_•••• → 200 { results, llm }
毎日の間隔で実行すれば、お使いのバージョンでリース排他、循環の拒否、保護クラスが通ったという日付入りの記録が残ります。
プレーンのアップグレード後に6つのシナリオを実行し、失敗した id を detail とともに読みます。
スコアカードは、ドリルの実行頻度、グリーンだった回数、それぞれを誰（何）が開始したかを示します。
モジュールは、狭い範囲について強く保証します。保証されることだけを頼ってください。
FRT-1は、リース保持者を1つ承認し、2つ目の書き手を拒否します。FRT-2は付与の循環を拒否します。FRT-3は、ワイルドカードに保護された kms リソースの読み取りは許すが書き込みは許しません。FRT-4は待機の循環をデッドロックと読みます。FRT-5は、隔離が拒否を許可に変えないことを確認します。FRT-6はレシートの包含証明を検証します。
drills/personas は、台本どおりの嘘つきや妨害者を、プレーン自身のワールドモデルとリースのモジュールに対して動かし、caught を報告します。これは別のルートで、採点されません。
frt の実行には が必要です。スケジュールの設定は、ワークスペースを管理する人の操作です。
ワークスペースのAPIキーをBearerトークンとして認証します。ベースURLは https://api.intramedial.com です。
/api/v1/acp/drills/frt6つのシナリオを実行し、その実行を記録します。/api/v1/acp/drills/scorecardドリルごとの間隔、期限、結果を読みます。
queuedtrue。workflowId がそれを示し、last には直前の保存結果が入ります。kindfrt または eval：スケジュールと採点ができる2種類のドリル。everyHoursnull。dueAtMsdue は、その時刻が過ぎたかを示します。runsgreenRuns。streakすべてのシナリオが通れば、その実行はグリーンです。実行は、時刻、実行者、スケジュールによるものかどうかとともに保存され、履歴は200件までです。
POST /api/v1/acp/drills/schedule は kind（frt か eval）と everyHours（1から2160の整数）を取り、null で停止します。
drills/tick は、間隔が過ぎた各ドリルを実行します。cronトリガーが、*/15 * * * * のスケジュールで全ワークスペースに対して呼び出します。間隔があり実行がないドリルは、すぐに期限となります。
GET /api/v1/acp/drills/scorecard は、種類ごとに、間隔、dueAtMs、due、runs、greenRuns、現在の streak、直近の実行を返します。
{
"results": [
{
"id": "FRT-1",
"ok": true,
"detail": "holder admitted, waiter blocked"
},
{
"id": "FRT-2",
"ok": true,
"detail": "cycle detected + applyGrant refused"
},
{
"id": "FRT-3",
"ok": true,
"detail": "wildcard blocked on kms write"
},
{
"id": "FRT-4",
"ok": true,
"detail": "waiter-graph cycle is deadlock"
},
{
"id": "FRT-5",
"ok": true,
"detail": "quarantine∪kill is monotone deny"
},
{
"id": "FRT-6",
"ok": true,
"detail": "inclusion walks to merkleRoot"
}
],
"llm": false
}スコアカードの due: true は、間隔が過ぎたのにその後実行されていないドリルを示します。
drills.counterfactual で試してください。detection.run の検知器が証拠から起票します。drills/tick が期限の来たものを実行します。取りこぼしは due と表示されます。policies.proposefrt と eval だけです。反事実の実行は保存されますが、採点されません。drills/frt の呼び出しはすべて、手動のものも含め、1回の実行として記録されます。/api/v1/acp/drills/schedule/api/v1/acp/drills/tick間隔が過ぎたドリルをすべて実行します。coordination.drills.frtMCPアクションとして6つのシナリオを実行します。detection.run07