drills.frt模块 35Turf-war drills
按需或按您设定的频率检查内核的核心保证是否依然成立,并保留每次运行的评分卡。
drills.frt 针对 Intralock 和回执库运行六个固定的参考场景:租约排他、许可环、受保护类别、死锁环、单调拒绝和 Merkle 包含。每次运行都会打分并存储。管理员可以将其设为从每小时到每 90 天的任意周期。
drills.frt模块 35按需或按您设定的频率检查内核的核心保证是否依然成立,并保留每次运行的评分卡。
drills.frt 针对 Intralock 和回执库运行六个固定的参考场景:租约排他、许可环、受保护类别、死锁环、单调拒绝和 Merkle 包含。每次运行都会打分并存储。管理员可以将其设为从每小时到每 90 天的任意周期。
六个场景在内置测试数据上运行,所以通过只说明 Intralock 内核和回执代码按规范运行,并不说明您的许可项或执行点成立。要测试您自己的许可项,请使用 drills.counterfactual。
resultsid(FRT-1 至 FRT-6)、ok 和一句 detail。llmfalse。没有模型参与。GET /api/v1/acp/drills/frt 运行 FRT-1 至 FRT-6,并返回 results,每项带有 id、ok 和 detail。绑定了演练工作流时,除非设置 forceInline,否则会排队。
点击运行,将左侧的请求发送到共享演示工作区。
在共享的演示工作区中使用演示密钥运行:任何人都可以看到其中的内容,因此请勿发送任何私密信息。
一个符合 API 接受格式的请求,以及模块返回格式的示例响应。
GET /api/v1/acp/drills/frt Authorization: Bearer av_workspace_•••• → 200 { results, llm }
每日频率会留下带日期的记录,证明租约排他、环拒绝和受保护类别在您运行的版本上通过了。
平台升级后运行六个场景,并读取哪个 id 失败及其 detail。
评分卡显示演练运行了多少次、多少次为绿色,以及每次是谁或什么启动的。
模块是对一件狭窄事情的强力保证。请仅在其确切范围内依赖它。
FRT-1 准入一个租约持有者并拒绝第二个写入者。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/frt运行六个场景并记录该次运行。/api/v1/acp/drills/scorecard读取每个演练的频率、到期时间和结果。queuedtrue。workflowId 指明它,last 保存上一次存储的结果。kindfrt 或 eval:可以被调度并打分的两种演练。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 调用都会被记录为一次运行,包括手动调用。/api/v1/acp/drills/schedule/api/v1/acp/drills/tick运行每个频率已到期的演练。coordination.drills.frt以 MCP 操作运行六个场景。detection.run07