Plate Slate v2 行为门禁：slate-ar-gate 测量型 Gate 循环的边界、命令与交接规范

Plate Slate v2 行为门禁slate-ar-gate 测量型 Gate 循环的边界、命令与交接规范【免费下载链接】plateRich-text editor with AI and shadcn/ui项目地址: https://gitcode.com/GitHub_Trending/pl/plate在 Plate 仓库中推进 Slate v2 重写时一个高频问题是这块已有的行为证明面proof surface能不能稳定重复通过失败证据到底说明什么.agents/skills/slate-ar-gate/SKILL.md定义的回答就是一套测量型 Gate 循环反复执行既有的测试、类型检查、浏览器与编辑器行为门禁记录耗时与通过状态但不负责设计缺失的测试也不负责修复正确性缺陷。读完本文你可以掌握该 Gate 循环的职责边界、日志状态机、完整的 CLI 命令序列与全量编辑器行为验证命令并理解它与仓库中其它自动化通道slate-patch、slate-plan、slate-ar-perf等之间的路由关系。定位只回答能否重复通过不设计缺失的 Oracleslate-ar-gate是一份 Agent 技能定义Skill其源文件同时存在于 skills 目录 与 rules 目录两处内容一致后者是 skiller 工具生成的 source见 skills 文件头部的metadata.skiller.source字段。文档对使用场景的界定非常克制——它回答的唯一问题是Can this existing proof surface pass repeatably, and what does the failure evidence say?它适用于完整的编辑器行为测试覆盖以下行为面behavior surfaces光标导航navigation与输入typing选区selection与剪贴板clipboardIME、焦点focus、撤销/重做undo/redo浏览器路由、包级测试、bun check聚焦的 Playwright 套件但有一个硬性前提门禁命令必须已经存在或显而易见the gate command must already exist or be obvious。如果一个行为面连可执行的断言都没有就不属于slate-ar-gate的管辖范围——这类缺失 Oracle 的设计工作要路由给testing、tdd、editor-test-harvester或slate-patch。职责边界Gate 拥有什么、不拥有什么原文档用一个 Boundary 小节把职责切得很干净整理成表如下所有者职责slate-ar-gate重复执行、耗时指标、通过/失败日志、崩溃记录、抖动flakes识别、dashboard 状态、ASIAutoresearch session 日志testing/tdd/editor-test-harvester/slate-patch缺失 Oracle 的设计即没有测试就先设计测试这件事slate-patchGate 暴露出的真实正确性失败的修复slate-planGate 暴露出设计问题时API / runtime 层面重新设计的决策slate-ar-perf正确性 Gate 稳定之后的速度优化边界中还有一条重要的止损规则不要让一个失败的门禁无限空转——Do not spin a failing gate forever. If a gate fails twice with the same behavioral signal and the command shape is valid, route toslate-patch.即当门禁两次以相同的行为信号失败、且命令形态本身有效时说明问题大概率出在编辑器行为本身而非门禁执行此时应停止重复测量把证据交给slate-patch去修复。这条规则把测量者和修复者两个角色彻底分开是这套循环不会陷入死循环的关键。循环配置指标方向与五种日志状态Gate 循环建立在通用 Autoresearch 引擎之上。默认指标是耗时秒数elapsed seconds越低越好。对布尔型行为门禁通过/失败指标只记录运行时长真正的结论由日志状态承载。原文档定义了五种状态构成一个简单的状态机状态触发条件语义measure通过且没有做任何改动纯测量基线keep通过且中间发生了有价值的改动保留该改动checks_failed断言失败正确性问题路由给修复通道crash基础设施/运行时崩溃环境问题不是行为回归discard更慢或噪音更大、没有价值的证明丢弃这个设计与 Slate v2 的总原则一致slate-ar 技能文档 明确写道 Slate correctness beats local metric movement——一个破坏了编辑器行为的 packet 只能是checks_failed或discard绝不可能是keep哪怕它的耗时指标更好看。命令序列setup-plan 到 log 的完整流程对于显式的门禁命令原文档给出如下 CLI 序列autoresearch-cli是占位符表示 Autoresearch CLIautoresearch-cli setup-plan --cwd .tmp/slate-v2 --name gate-name --metric-name seconds --benchmark-command gate command --benchmark-prints-metric false --checks-command gate command autoresearch-cli doctor --cwd .tmp/slate-v2 autoresearch-cli serve --cwd .tmp/slate-v2 autoresearch-cli next --cwd .tmp/slate-v2 autoresearch-cli log --cwd .tmp/slate-v2 --from-last --status measure --description gate result各参数值得展开说明--cwd .tmp/slate-v2循环状态落在仓库内的.tmp/slate-v2工作目录。注意这不是 Plate 产品代码本身——slate-ar 技能 指出.tmp/slate-v2是 Slate v2 工作区的目标 cwd活跃循环状态存放在.tmp/slate-v2/autoresearch.*与.tmp/slate-v2/autoresearch.research/**中--metric-name seconds指标名固定为秒数--benchmark-command与--checks-command对布尔门禁二者相同即同一个命令既产生耗时指标又产生通过/失败判定--benchmark-prints-metric false声明该命令的标准输出里不直接打印指标数值指标由引擎以耗时方式采集doctor环境自检serve启动 dashboard 服务next推进循环取下一步log --from-last --status measure把最近一次执行按measure状态记录进循环日志。从源码结构看仓库为这条命令链提供了本地包装脚本 tooling/scripts/slate-autoresearch.mjs它把slateV2Cwd固定为.tmp/slate-v2并在未显式传--cwd时自动注入该参数然后把子命令转发给同级codex-autoresearch仓库中的autoresearch.mjs脚本。也就是说上表中的autoresearch-cli在本仓库语境下可以落地为node tooling/scripts/slate-autoresearch.mjs。该脚本还提供suggest-loops/recommend-loops子命令见 建议循环入口基于.tmp/slate-v2的当前 Autoresearch 状态与最新基准产物生成按优先级排序的循环建议——这正是 Gate 循环选哪个证明面来跑的上游决策来源。全量编辑器行为验证先聚焦再放大对完整编辑器行为的证明原文档要求先用一条聚焦命令然后再逐步放大给出三级递进的命令形态cd .tmp/slate-v2 bun check bun check:full PLAYWRIGHT_BASE_URLhttp://localhost:3100 PLAYWRIGHT_RETRIES0 PLAYWRIGHT_WORKERS1 bun playwright playwright/integration/examples/suite.test.ts --projectchromium三级含义bun check快速门禁对应工作区内的 lint / typecheck / 测试组合。作为参照Plate 仓库根 package.json 中定义的check脚本是pnpm lint pnpm typecheck pnpm test:all pnpm test:slowest的完整门禁链check:push则去掉test:slowest——Slate v2 工作区内的bun check/bun check:full承担的是同构角色快速档与全量档bun check:full全量检查作为聚焦命令通过后的第二道闸门Playwright 单套件命令只跑一个行为面套件环境变量各有明确目的PLAYWRIGHT_BASE_URLhttp://localhost:3100把测试目标指向 Slate v2 工作区自己的开发服务器端口3100而非 Plate 主站的默认端口PLAYWRIGHT_RETRIES0门禁测量下禁止重试掩盖抖动——flake 必须被看见并被记录而不是被重试抹平PLAYWRIGHT_WORKERS1单 worker 串行执行排除并行干扰保证每次测量在相同并发条件下可比--projectchromium只跑 Chromium 项目。仓库的 Playwright 配置 tooling/config/playwright.config.ts 同时定义了chromium、firefox、webkit三个项目且本地默认retries: 0、CI 下才为 2——与门禁命令显式压住重试、并行度的一致性意图吻合。文档还要求当完整套件对当前证明来说过于宽泛时必须把刻意跳过的行为家族behavior families记录在案。这把少跑了什么变成了一等公民的交接信息避免后续把没跑误读成跑了且通过。交接HandoffGate 结束时必须报告什么循环的出口是一份结构化交接报告原文档列出六项必报内容实际执行的门禁命令通过/失败状态packet 计数对应keep/discard/crash/checks_failed各状态的数量重复失败签名repeated failure signature——两次以上失败是否呈现相同行为信号dashboard URL若serve已启动下一个所有者next owner继续 Gatecontinue gate、转slate-patch修正确性、转slate-plan改设计或转slate-ar-perf正确性已稳开始速度优化。这六项合起来构成一个可审计的决策链命令形态有效 同签名失败两次 →slate-patch门禁稳定 →slate-ar-perf证明面缺失 → 回到 Oracle 设计侧。小结slate-ar-gate的价值在于把重复执行既有证明这件容易无限空转的事约束成一个有指标、有状态机、有止损规则、有明确交接格式的小型测量循环它只测量、不设计、不修复所有越界情形都有唯一路由出口slate-patch/slate-plan/slate-ar-perf/ Oracle 设计侧。结合 slate-ar 总控技能 中的默认约定目标 cwd、Slate 正确性优先于局部指标、packet 计数纪律以及 slate-autoresearch 包装脚本 提供的本地 CLI 落地这套 Gate 循环构成了 Plate 仓库在 Slate v2 重写过程中验证编辑器原生行为不回归的核心基础设施。【免费下载链接】plateRich-text editor with AI and shadcn/ui项目地址: https://gitcode.com/GitHub_Trending/pl/plate创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考