定义原生 lint 优先、内置 Tree-sitter WASM 语法初检兜底、原生确认与对话修复指引。此能力属于同一 change 的新增目标，当前发布的 0.1.0 未实现。任务唯一状态在 tasks.md 的 S14；初检不替代 comments、类型、dependencies、CVE 或 security 的原生义务。
Requirement: Unified lint entry points SHALL select native checking before syntax fallback per module
codeguard lint java .、codeguard lint typescript . 及 codeguard check all . MUST 按模块、语言版本/方言、源码范围、配置与适用原生能力选择执行路径。选择过程 MUST 检查显式工具、项目本地工具及已支持的构建集成，不以 PATH 无命令直接认定未安装。可用原生工具和有效配置 MUST 优先执行；缺工具、配置不可用或原生执行故障可提供内置初检，但 MUST 保留原阻塞及有效原生发现。原生违规 MUST NOT 触发用于覆盖原结论的降级。init/detect/plan MUST 保持只读观察，不因配置发现而启动 WASM 或安装。
只读发现报告的项目本地工具候选 MUST 与检查器配置分开列示；候选只携带相对构建根、检查器、候选状态、可见版本和下一步，不回显可能含凭据的依赖声明。node_modules 不进入普通源码范围，固定工具路径可单独有界观察；中间目录或最终入口为链接、特殊文件、不可读或本轮输入变化时 MUST 保留不完整/不可信状态，不跟随链接读取或执行。Maven .mvn 配置可作为固定路径观察，不能因普通点目录跳过而误判 Wrapper 缺失。
- WHEN 前端具备有效 ESLint 而 Java 模块缺少 JDK
- THEN 前端运行原生 lint，Java 模块提供语法初检；两者的范围、来源和准备状态分别保留
- WHEN
check all发现 JavaScript/TypeScript/TSX 源码及其项目本地受支持 ESLint、单一 flat config 和可用 Node - THEN 在统一任务图和截止时间内逐文件调用既有原生适配器，保留原规则发现；仅对本轮完整原生检查且源码字节未变的文件跳过重复 WASM。缺配置、被忽略、工具故障和其它模块仍分别保留阻塞与降级初检。已初始化工作区串行同步原生任务，重复扫描复用稳定任务；聚合报告、终端和 next 均可取得修复指引。
- WHEN 聚合原生阶段发现 JS/TS 源码，但未观察到本地 ESLint 上下文
- THEN 报告工具上下文缺口，不能仅凭源码存在生成阻断性安装任务或抢占 next；后续准备动作由项目原生义务或语法初检确认需求决定
- WHEN
lint zig收到可核对的 Zig 0.16.0 工具与普通.zig文件 - THEN 优先以受控进程运行原生
zig ast-check；原生诊断必须保留，不能因 WASM 观察覆盖。只有该原生工具未提供或不可运行时，才可返回未验收 WASM 候选观察，并始终保持整体未完成；ast-check不等于全部 Zig lint、测试或构建。
- WHEN Zig lint or a recorded Zig confirmation task is invoked without an explicit tool
- THEN select the first ordinary executable zig from absolute invoking PATH directories, ignoring empty/relative entries and non-executable candidates; explicit tools take precedence and a selected failure never switches to another compiler. Bind the selected tool and current source bytes to native observations, retain failure and candidate authority, and do not install tools
- AND lint reports selection provenance in a separately versioned feedback; source changes or selected-entry target changes withdraw stale native coordinates, and changed source cannot retain an old-byte WASM observation. A read-only next query does not discover or execute a compiler
- WHEN
lint erlang收到可核对的 OTP 28erl工具与普通.erl或.hrl文件 - THEN 以固定参数和共同截止时间调用原生
io:scan_erl_form与erl_parse:parse_form，读取当前原字节、不展开预处理或执行项目编译插件；检查每项扫描/解析结果，不能把进程正常退出直接解释为零错误 - AND 原生结果优先于候选 WASM，缺句点诊断和原生故障分别保留；宏、预处理指令或无法解释的位置保持未完成，不当作已确认源码违规，也不以 WASM 洗白；该阶段只观察单文件 forms，不替代项目 lint、编译或测试
- AND 工具未提供时可以附加未验收 WASM 初检，报告其已知缺句点漏检并给出原生确认命令；显式无效工具不能静默改用 PATH 中的同名工具
- WHEN Erlang grammar 的原生差分发现源文件函数缺句点、末尾分号或中间缺分隔符被当作零恢复
- THEN 修复必须固定原始 grammar、源码模式补丁、真实 external scanner、生成器/编译器版本及原始/派生 WASM 字节；不能通过字符串末尾匹配、伪造 ERROR/MISSING 或忽略差分制造通过
- AND 使用同一普通、Unicode/CRLF、注释、字符串/字符/浮点数内句点、多子句、宏与条件编译正反语料，由独立原生工具确认标签；预处理和语言版本的未覆盖范围必须保留，窄语料通过不授予整语言资格
- WHEN 单文件
lint erlang未指定--erl-tool，且调用进程 PATH 的绝对目录可定位普通可执行erl - THEN 固定所选工具的规范路径，以同一预算核对 OTP 28 版本与工具字节，并优先执行原生 scanner/parser；报告必须区分显式选择、PATH 选择和未找到工具
- AND 显式错误工具不能改用 PATH；PATH 首个可执行工具的版本/执行失败也不能被后面的同名工具或 WASM 洗白。空/相对 PATH 条目和不可执行文件不作为自动工具；真正没有工具时保留候选初检与准备指引
- AND 工具选择不授予原生完整覆盖或可信权威；单文件无预处理 forms 的范围及交付未评估保持不变
- WHEN
check alldiscovers ordinary Erlang source files and resolves an explicit--erl-toolor an executableerlfrom absolute PATH directories - THEN schedule a bounded native forms task under the shared deadline and jobs limit, retain per-file diagnostics, tool-selection identity, source hashes and actionable original-tool recheck argv in human/JSON/SARIF feedback
- AND only current, byte-matching files with complete non-preprocessed native forms observations may skip duplicate WASM; absent tools, unresolved preprocessing, truncated diagnostics, source/tool changes and execution failures remain visible and cannot become native or project success
- AND files beyond the native budget remain explicitly unobserved; Java-only selection must not start Erlang, cancellation retains its exit semantics, and useful sibling results remain available. Changed project scope withdraws scope completeness but retains byte-current single-file diagnostics; stale file positions and argv are withdrawn. Forms parsing does not fulfill complete Erlang lint, compilation, tests or trusted task closure
- WHEN 已有 Erlang 语法确认或原生首次发现任务执行
task verify，未提供显式--erl-tool - THEN 复用扫描入口的工具选择规则，在调用方 PATH 的绝对目录选择首个普通可执行 erl；用共享截止时间核对 OTP 28 版本、工具字节和当前任务源码，记录真实原生复检事件，而不是仅因缺参数报告工具未提供
- AND 显式坏工具、所选版本或执行失败不改用后续工具；空、相对或不可执行 PATH 不产生自动工具。任务 next 保留所选原工具的有界复检 argv，后续 PATH 变化不能悄悄替换该明确入口；缺工具仍为环境恢复，不指示源码修改或自动安装
- AND 候选与原生首次来源保持原协议和稳定任务身份；repair-ready Hook 复用相同复检入口，局部零诊断不授予可信关闭、完整 lint 或项目通过
- WHEN 本轮 Go 1.23.4
go vet完成，受控go list证明部分源码进入默认构建，而另一份.go源码被构建标签排除 - THEN 仅对同一源码字节且进入原生包清单的文件跳过重复 WASM；被排除文件继续候选初检，并保持平台/构建标签覆盖未完成
- WHEN 聚合检查的锁定离线 Clippy 完成，机器流中的非缓存 compiler-artifact 将目标入口绑定到本轮已观察源码及原根 Cargo 清单
- THEN 仅对启动前字节与当前字节一致的该目标入口跳过重复 WASM；终端和 JSON 保留原生发现、原生优先计数及其它文件初检。完整运行无有效 artifact、失败/截断/取消、重复 JSON 键、结束记录后新增事件、工具/输入改变不得产生此覆盖
- AND Cargo 的 all-targets、零诊断或 artifact 入口不能证明目录里所有
.rs已参与解析；未被证明的模块、条件排除源码、其它清单目标继续初检，完整 workspace/features/targets、语法资格与交付义务保持未完成。覆盖仅在本次进程内传递，不能从可编辑本地报告导入作为跳过依据
- WHEN Rust 聚合、comments/build 或原生任务复检没有显式 Cargo 参数，调用进程 PATH 的绝对目录存在普通可执行 Cargo 或 Cargo 代理
- THEN 选择首个适用入口，保留
cargo名称运行原生工具；显式无效入口、首个已选择入口的版本/执行失败不能静默改用其它 Cargo。相对或空 PATH 目录、不可执行文件不作为自动工具 - AND 子进程保留调用方 RUSTUP_TOOLCHAIN，同时强制 RUSTUP_AUTO_INSTALL=0；项目或调用方工具链缺失应反馈环境未完成，不通过检查隐式下载或安装。工具字节、输入稳定性、锁定离线及原工具复检约束仍适用；发现入口不证明工具/规则批准或完整项目覆盖
- WHEN 当前受检根配置Ruff且其普通
.venv/bin目录有可执行Ruff，调用方没有显式工具参数 - THEN 原生lint/check及同根任务复检优先选择该入口，然后才考虑调用方绝对PATH；显式参数保持最高优先级，所选工具版本/执行失败不换工具。普通本地目录没有Ruff时可继续PATH；本地目录链接、非目录、损坏/不可执行入口作为具体环境阻塞，不误报源码、不以全局工具掩盖损坏本地环境
- AND 无Ruff配置或指定文件没有适用配置时不运行该工具；本轮工具字节、源/config绑定及原生复检约束继续有效。根本地发现不证明嵌套模块不同虚拟环境、其他环境管理器、工具链批准或完整项目覆盖
- WHEN 项目声明的本地原生工具已可按受支持方式定位
- THEN 核对其配置和版本后优先运行，不创建错误的安装任务
- WHEN 原生工具检出违规，或在有效局部输出后执行失败
- THEN 保留原生发现及实际完整性；任何补充初检不能把原结果变成成功
- WHEN init/detect/plan 发现工具不可用
- THEN 只描述候选后端及准备动作，不执行解析、项目脚本或安装
Requirement: Syntax precheck outcomes SHALL separate suspected issues from coverage and native execution
版本化报告 MUST 分别描述 backend、precheck、native、scope、observations、setup、persistence/task 引用与 delivery。precheck 状态 MUST 区分 not_run/clean/suspected_issue/incomplete/unsupported；native 状态 MUST 区分 not_run/completed/incomplete 并附原因。疑似观察不等于已确认原生违规。clean MUST 要求非空选定范围全部完成且无异常；有未解析范围时总体 incomplete，同时保留其它有效疑似观察。文件和嵌入区域的已检、排除、失败/不支持计数及原因 MUST 可解释；取消保持取消语义。版本协议及未知 major 的拒绝 MUST 适用于所有消费者。
- WHEN 目标为空、全被排除或无适用 grammar
- THEN 报告空范围或不支持，不能返回 clean 或完整 lint 通过
- WHEN 一个文件有 MISSING 节点而另一个文件超时
- THEN 总体 incomplete，保留疑似观察与超时文件，不制造已确认源码违规
- WHEN 报告版本不在消费者支持范围
- THEN 拒绝按成功或原生完整结果消费，并返回明确的兼容性诊断
缺少可选原生检查器且初检完整正常时 MUST 推荐配置/安装，不创建阻断性任务或使 next 反复选中。初检有疑似异常时 MUST 要求准备适用原生工具并确认。项目已有必需原生义务时，无论初检结果如何 MUST 保留。配置损坏 MUST 指导修复配置，不重复安装已有工具。初检未完成/不支持 MUST 要求恢复有效检查能力而非修改无依据的源码。无适用原生适配器时 MUST 明示能力缺口和具体决策需求，不推荐不存在的工具。安装范围/版本取自项目声明与受控方案，仍受用户既有授权约束。
- WHEN 没有既有必需原生义务且初检完整无异常
- THEN 返回推荐准备动作；其它修复和 next 不因该建议阻断
- WHEN 项目已要求该原生检查
- THEN 说明必需依据并保留待完成义务，不把它改为推荐
- WHEN 初检发现解析恢复异常
- THEN 准备/确认成为必需动作，但不能直接把源码定位标为已确认违规
- WHEN 工具安装、配置恢复或适用原生确认能力不可用
- THEN 保留一项具体环境/能力决策，不无限重复相同安装动作；独立任务继续
引入的 CodeGraph 或上游 grammar MUST 固定源码提交、必要补丁、许可证、WASM SHA-256、ABI/运行时兼容范围、语言/方言版本、语料引用及已知限制。活动工作目录中的未固定字节 MUST NOT 直接作为受认可发行输入。文件存在、Rust 加载成功、语法验收完成 MUST 为独立状态。语法包 MUST 随支持平台发行离线可用；不要求用户安装 CodeGraph、tree-sitter-cli 或 Node 解析运行时。Node 可以继续作为 npm 启动层。额外包升级 MUST 经清单校验，不静默使用 latest。
CodeGuard MUST 提供只读的来源覆盖清单，区分 CodeGraph 随仓 WASM、由依赖包提供但尚未固定字节的 grammar、CodeGuard 已复制候选及已验收发行能力。覆盖清单或 grammar status 的存在 MUST NOT 自动改变原生检查义务、加载未经批准的字节，或把来源资产数量说成已支持语言数量。来源资产超过当前加载预算时 MUST 明示预算缺口，不能静默跳过。
grammar status 的逐语言候选行 MUST 投影固定清单中的已知限制，且只能来自受控、非空、长度有界的文本；已知误报不得被泛化的“待验收”状态掩盖。该投影仍为只读风险提示，不是原生对照、违规确认或白名单决定。
目标范围 MUST 包含当前固定 CodeGraph 来源的 32 份独立 grammar，并包含 Zig；jsx 与 javascript 共用同一份 grammar，不重复计数。每份 grammar 都须分别完成合法再分发来源、许可、字节与 ABI、Rust 离线加载、版本/方言正反语料、原生工具对照、统一 lint/check 的原生优先路由、任务/对话反馈及发行包实装验收。部分候选或来源库存不能充当全部接入。若上游 WASM 与 Rust 运行时导入不兼容，适配 MUST 固定原始和派生字节、限定变换范围并以正反解析样本复验；不能回退到已知产生误报的旧 grammar 来制造可加载状态。
在正式 lint/check 路由验收之前，CLI MAY 暴露显式的单文件 grammar probe 候选观察。该命令 MUST 通过与正式路径相同的固定资产核验及隔离 worker，报告源码与 grammar 摘要、恢复锚点、未验收状态及原生确认需求；无论有无恢复节点，MUST 返回未完成，不能产生已确认违规、任务关闭或交付通过。有效语种的输入/worker 失败 MUST 使用同一版本化封闭 JSON 协议报告具体未完成原因，未知语种属于参数错误。它不能自动代替已配置的原生工具执行。
- WHEN 用户明确对受支持语种和普通 UTF-8 文件执行
grammar probe - THEN 固定 WASM 在隔离 worker 中解析该文件并返回候选观察；语法正常仍为未完成，恢复锚点只提示原生确认
- WHEN 当前 Zig grammar 能解析合法空容器，而原始 WASM 包含 Rust 运行时不支持的导入
- THEN 仅在来源、适配产物及语法反例全部可验证时列为候选；未完成版本语料、原生优先命令和发行验收前仍不宣称 Zig lint 可用
- WHEN 固定的 CodeGraph Dart WASM 具有旧动态链接元数据和无法解析的外部 scanner 导入
- THEN 只可从固定提交的 parser、真实 scanner、头文件和许可证可重复构建新 WASM；固定重建前后字节与限定的导入适配，验证 scanner 相关正反语料；未完成原生对照、路由及发行验收前只能列为候选，不能以空 scanner、旧 WASM 可加载假象或初检无恢复节点宣称通过
- WHEN 32 份资产在来源清单或包内存在，但任一语种缺少真实解析、原生优先路由或可发行验收
- THEN 总体覆盖仍未完成，逐语言报告准确缺口，不得把复制数量报告为支持数量
- WHEN 查询固定 CodeGraph 来源中的 grammar 覆盖状态
- THEN 列出其来源身份、CodeGuard 集成状态及下一项缺口；不运行解析器、不签发质量或交付通过
- WHEN 固定资产清单记录 VB.NET 等语种的具体已知误报
- THEN
grammar status的该语种行显示有界的已知限制，并继续报告未验收、零发行和原生确认需求
- WHEN Rust 运行时拒绝 ABI 或外部扫描器组合
- THEN 该 grammar 保持不可用并显示兼容原因，不宣称语言初检已支持
- WHEN 引入清单缺少来源、许可或摘要
- THEN 不提升为可发行已验收 grammar，并保留补齐任务
- WHEN 受支持平台安装包含已验收 grammar 的发行包后离线初检
- THEN 加载随包资产完成报告，不下载 grammar 或调用 CodeGraph
Rust runtime MUST 按需加载 grammar，在受控解析工作进程中限制输入字节、诊断数量、内存、并发及总截止时间；worker 不得获得通用文件系统/网络导入。父进程 MUST 在取消/超时/崩溃时终止和回收工作进程，并保留其它模块结果。能力声明 MUST 由宿主实测支持，不能仅凭 WASM 认定隔离成立。运行时选型 MUST 验证 Rust MSRV；改变 MSRV 须明确兼容变更。
- WHEN 测试 grammar 或输入触发预算上限
- THEN 父进程结束该 worker，返回具体未完成原因，兄弟模块结果仍可见
- WHEN 用户取消初检
- THEN 回收工作进程并保留取消状态，不缓存或签发 clean
- WHEN 平台无法提供声明的隔离/预算能力
- THEN 如实登记缺口，不将该平台标为已通过运行验收
解析 MUST 同时识别 ERROR/MISSING 恢复，并按同一恢复原因归并级联节点；诊断 MUST 保留原文件位置、必要的有界脱敏上下文及 grammar 身份。不确定版本/方言、模板、宏、嵌入语言 MUST 明示覆盖限制。CodeGraph 用于提取符号的源码遮盖/启发式 MUST NOT 静默移入语法判定。仅凭恢复节点不得猜测具体缺失 token 或自动授予源码修改范围。
若语法树标记错误但可遍历节点中无法定位任何对应 ERROR/MISSING，MUST 将该文件标为初检未完成，并保留原生检查义务；不得将零恢复节点当成语法有效或制造没有位置依据的源码 finding。
同一语言族有独立 grammar 的方言 MUST 按实际文件类型选择和报告；尤其 .tsx MUST 使用 TSX grammar，不能拿普通 TypeScript grammar 的恢复节点当作 JSX 源码异常。候选报告读者 MUST 核对 grammar 方言与源文件扩展名一致；不匹配视为报告无效，不生成源码 finding。
多语言共用后缀 MUST 保留歧义：.m 可能属于 Objective-C 或 MATLAB，.sc 可能属于 Scala 或 SuperCollider。没有可核对的语言证据时，自动检查 MUST 不调用猜测的 grammar、不把恢复节点记为源码问题，并保持范围未完成；用户显式指定 grammar probe 的语种仍可作候选诊断。
.m 文件中 MATLAB 块注释 %{ ... %} 内的行首 #import 或 @interface 只是注释数据，MUST NOT 作为 Objective-C 证据；块注释外的明确 Objective-C 专属标记仍可用于候选路由。发现与检查 MUST 使用同一判别，避免一个入口报告未知而另一个入口执行错误 grammar。
- WHEN 项目包含
.mts、.cts或对应.d.mts、.d.cts声明文件 - THEN 发现与聚合检查 MUST 将其归入 TypeScript 范围，缺原生时使用固定 TypeScript grammar，不能遗漏或交给 TSX grammar；非法语法仍仅作候选疑似，合法声明不证明完整 lint 或类型检查
- AND
.mtsx/.ctsx等未知后缀不得因近似名称被猜测为 TSX
- WHEN 项目包含无 Objective-C 专属标记的 MATLAB
.m源码，或 SuperCollider.sc源码 - THEN 自动候选路由不把它们交给 Objective-C/Scala WASM；歧义范围保持未完成，不能用资产数量或其它文件的检查结果代替该范围
- WHEN
.m文件的%{ ... %}块注释内含行首#import，块注释外只有 MATLAB 语句 - THEN
detect与check all均保持该文件为未解析的歧义范围，不调用 Objective-C grammar；块注释外的真实 Objective-C 标记仍可路由
- WHEN
.tsx文件含合法 JSX，而普通 TypeScript grammar 会产生恢复节点 - THEN 选用固定的 TSX grammar 并保留候选未验收状态；不得制造疑似源码异常或声称原生 lint 已执行
- WHEN 同一恢复原因造成重复或级联节点
- THEN 归并为可处理观察并保留受影响范围，不创建大量同义任务
- WHEN grammar 的根节点
has_error=true且 S-expression 含缺失 token，但运行时的可遍历子节点不能定位该 token - THEN 初检标为 incomplete，保留未完成计数并请求原生确认；零恢复节点不得升级为 clean
- AND 已初始化工作区的 check/确认写入 Hook 将这种已绑定源码与 grammar 的观察同步为同一稳定检查恢复任务，保留无位置证据及检查未完成原因；next、可读任务和对话上下文要求恢复适用原生能力或调查 grammar，原生确认前不授予源码修改范围。重复扫描不新增同义任务，完整零恢复观察不新建该任务、不关闭已有任务；保存失败保留原报告且不返回虚假任务 ID
- AND 没有该语言原生确认 adapter 时，task verify 记录具体能力缺口，任务保持开放，不能换用其它语言工具或伪造关闭；未知报告版本、零恢复且无未完成原因、错源码/grammar 身份或虚假定位均不可导入
- WHEN 只支持文件中一部分语言区域
- THEN 通过位置映射返回已检/未覆盖区域，不报告整个文件 clean
- WHEN CFML 文件的可嵌套
<!--- ... --->注释、普通 HTML 注释和标记正文中各含完整的<cfquery>...</cfquery>标签 - THEN 跳过被 ColdFusion 移除的 CFML 注释内标签，保留仍由 ColdFusion 处理的 HTML 注释内标签及正文标签；候选整体仍不获得原生 lint 或交付权威
- WHEN 合法
<cfquery>开标签的属性之间含可嵌套 CFML 注释，其文本带有> - THEN 跳过注释后定位真正的开标签结束位置，查询体范围与原文件字节偏移保持一致
- WHEN 文件使用未验收语言版本或方言
- THEN 保留兼容性限制和原生确认动作，不直接断言合法源码违规
- WHEN 同一组合法与破损源码分别经过固定版本的语言原生语法工具和隔离 WASM worker
- THEN 逐例记录语法分类一致性、工具与语料身份；仅扩大该版本的局部精度证据，不将候选提升为完整 lint、其它版本或交付通过
- WHEN 固定 OTP 28 编译器拒绝函数缺少最终句点的源码，而固定 Erlang WASM 完整恢复扫描没有节点
- THEN 记录带原生证据的漏检及待修复 grammar 身份，保持候选未验收和完整检查义务；不能因零恢复节点签发 clean、放入白名单或关闭任务
- WHEN Swift 或 Kotlin 固定样例返回空恢复数组，但隐藏错误使扫描未完成
- THEN 该样例保留在总语料分母并单独计为未知覆盖；不能计作合法、非法、一致、误报或漏报，且不能删除该样例来提高精度指标
- WHEN 开发期 Rust 回放入口消费绑定当前清单摘要、源码摘要及来源的固定回归语料
- THEN 逐份固定 grammar 调用现有隔离 worker，输出每语言的全样本数、可判定分类、未知、TP/FP/FN、区间和有界耗时；重复键、语言缺项、字节身份失配在启动前拒绝。回归标签和待裁定标签分开，待裁定样本不进入精度分母，隐藏错误不当作零诊断通过；回归报告不冒充独立 holdout、原生工具回放、grammar 资格或发布批准
- WHEN 回放在共同 deadline 内超时或被取消，或者所选运行程序字节发生变化
- THEN 已有效取得的局部观察保留，未运行与受影响样本列为未知且仍计入原固定语料范围；不得重置预算、换工具补出绿色结论或提高 grammar 资格
- WHEN Rust 导入器读取已有的上游 Tree-sitter corpus 和仓库正反例
- THEN 保留原源码字节、来源和预期树中的 ERROR/MISSING 分类，拒绝损坏预期树与不支持的 corpus 指令；上游 grammar 回归、仓库回归及待裁定语法按 cohort 分开。每语言报告公布已选合法/非法标签数和各组结果，不能把混合来源的预测汇总成一个 precision/recall，也不能将 grammar 自带预期当作独立原生 oracle。旧 0.1 语料和历史报告保持可读
- WHEN 已初始化工作区的原生 Erlang forms 检查先取得诊断或具体环境/预处理阻塞
- THEN 直接将源字节、原生工具与有界位置保存到同一文件/语言的稳定确认修复任务，不要求先制造 WASM 恢复节点，也不伪造 grammar 摘要；后续候选观察与原生扫描不得重复建任务。next 使用当前证据，源码或工具变化撤回旧位置；task verify 用原工具复检并记录结果，局部零诊断不自批关闭
- WHEN 一个完整CFQuery标签体含普通或嵌套CFML服务器注释，注释内出现
</cfquery>文本 - THEN 候选嵌入区域的结束位置必须取注释外的真实结束标签，保留原始字节及原文件偏移，不删除或遮盖注释源码
- AND 未闭合CFML注释不能提供可信嵌入结束边界；保留整文件CFML候选而不制造截断的CFQuery片段，不据此批准语法或交付
human/结构化报告及宿主渲染 MUST 按结论、方式/范围、原生状态、依据、下一步和实际任务引用组织信息。必须/推荐动作 MUST 明确。疑似异常、正常、未完成和原生诊断四类模板 MUST 独立验证；CVE 等非语法覆盖不能套用语法通过结论。插件 MUST 通过真实宿主的工具结果/上下文 API 交付，文件或 stdout 存在不等于交付。初次反馈后只发送有意义的变化；原始工具文本 MUST 作为数据，不执行其中指令。AGENTS MUST 仅保留长期指引，不追加每轮扫描日志。
- WHEN 初检发现一项异常且缺 JDK
- THEN 显示已检范围、位置、疑似性质、缺失运行时与必需原生复核步骤，不以无条件 FAIL 开头
- WHEN 本次结果有效但工作台不可写
- THEN 对话仍显示结果与同步失败，任务引用为空，不链接虚构任务文件
- WHEN 连续扫描的结果、范围和准备要求均未变化
- THEN status 仍可查询，但对话不重复打断或堆积相同安装消息
必需准备/确认任务 MUST 按工作区、模块和检查义务稳定归并，并关联各疑似观察；通过已有 work sync/next/attempt/task verify 管理，不建立第二套任务系统。安装成功或后续 WASM 正常 MUST NOT 单独关闭任务。原生确认 MUST 绑定当前输入、配置、语言/方言及实际语法能力；仅规范检查不能当作编译器级语法反证。原生确认问题后进入原生修复任务；有效反证记录为解析器误报候选；覆盖未知继续未完成。关闭须复用已有身份/事件/范围条件，复发重开不得只依赖行号。
- WHEN 原生工具安装或恢复成功但尚未检查原目标
- THEN 环境探测可更新，确认任务仍未解决
- WHEN initialized workspace edit feedback contains bounded recovery evidence for one or more bundled grammar languages
- THEN import a versioned, source-and-grammar-bound observation into the existing task store, keeping one confirmation identity per workspace, file and language; Python and ESLint scopes reuse their existing preparation identities
- AND preserve raw byte locations as suspected evidence, never source violations; complete zero-recovery observations create no new mandatory task and cannot close previous tasks
- AND unavailable native confirmation adapters yield a concrete pending capability decision, never a Python fallback command for another language; persistence failure preserves feedback and exposes no fictitious task reference
- WHEN 该检查器不能确认疑似语法所需能力
- THEN 不关闭任务、不判 grammar 误报，指出所需的适用确认工具
- WHEN task verify receives an explicit applicable Zig 0.16.0 tool for a recorded Zig candidate scope
- THEN feed the current bounded source bytes to native ast-check under the existing task lease and deadline, bind the source/tool identities, and retain the observation and attempt association
- AND distinguish native diagnostics, zero diagnostics, unavailable tools and changed inputs; zero diagnostics alone cannot grant formal resolution or project delivery
- WHEN a verified original candidate report identifies Zig, Erlang or Swift and no native recheck has yet been recorded
- THEN next and task show describe the actual available adapter and its supported version, distinguish unknown local tool readiness from an unavailable adapter, and provide the applicable native tool selection argument
- AND the read-only query does not run or install a tool, does not take executable paths from editable task text or historical candidate data, and does not authorize source repair or task closure before native confirmation
- AND languages without an implemented confirmation adapter retain the concrete capability decision; zero WASM recovery does not remove the obligation
- AND structured preparation guidance uses a versioned contract that binds language, supported version, tool selection parameter and explicitly unassessed local readiness; it does not invent a native execution status or evidence reference, and aggregate consumers accept that exact version while historical schemas remain unchanged
- WHEN the source or tool changes after a recorded native syntax observation
- THEN next and task show require a fresh native confirmation and preserve historical evidence; they cannot recommend a stale source repair or pretend the old zero-diagnostic observation still applies
- WHEN task verify or repair_ready receives an explicit OTP 28 erl tool for an existing Erlang candidate task
- THEN run the same controlled native scanner/parser as lint erlang on the current task scope, under the existing lease, attempt association and shared deadline
- AND retain versioned source/tool-bound observations and native positions; next provides reusable --erl-tool argv only while the tool identity is current
- AND preprocessing, unknown output, tool failure and input changes remain incomplete with concrete reasons; native zero diagnostics alone cannot close the task, and Erlang options on another language are rejected before acquiring a lease or starting a tool
- WHEN 当前同输入、范围和方言的适用原生检查完整正常
- THEN 记录限定范围反证和解析器误报调查；不自动扩大白名单
- WHEN 复检前输入变化或智能体删除/勾选任务文件
- THEN 旧观察不作为当前关闭依据，真实检查义务不因任务文件操作消失
- WHEN 已初始化任务的 Zig 原生观察已记录可用工具路径，智能体修复后触发 repair_ready
- THEN next MUST 提供可复用的 task verify argv，Hook MUST 接受同任务的显式 Zig 工具并复用原有租约、尝试和共享截止时间；错误语言、陈旧字节或工具身份不得使旧诊断成为当前修复依据
白名单 MUST 绑定规则/恢复类型、目标或稳定源码锚点、grammar 版本/摘要、原因及既有独立批准条件。原始观察及人工裁定 MUST 保留；版本、范围或相关输入变化须复核。白名单只改变指定误判处置，MUST NOT 补全覆盖、关闭必需原生确认或将工具故障当误报。系统性误报 MUST 转为 grammar/适配器修复与正反语料任务，不能自动扩大文件排除。
- WHEN 同一版本、规则、目标满足有效处置
- THEN 展示命中理由并保留原始观察，仍保留必需原生检查
- WHEN 资产身份变化或 agent 自写 approved
- THEN 旧处置重新评估或不生效，不将其变成普通通过
缓存 MUST 绑定源码字节、语言/方言画像、grammar/runtime、规则/查询版本及相关范围/配置身份。部分结果、取消、未支持范围 MUST NOT 作为 clean 重用。资产更新/回滚须核对版本清单并使相关缓存与处置失效；删除缓存不能删除问题历史或签发解决。相同 mtime/大小不构成身份相同。
编译入同一二进制的不可变清单、WASM 与许可证 MAY 在进程内复用已经完整核验的资产结果；外部清单、源码、配置与原生工具 MUST NOT 因此省略当前身份复核，此资产复用不得作为检查结果或完整覆盖缓存。
- WHEN 同一进程反复或并发选择固定内置grammar
- THEN 每个固定语种只需成功核验一次内置字节和许可证，未知语种不增加缓存项；返回独立元数据副本，调用方修改不污染后续选择
- AND 外部传入WASM、许可证及身份仍逐次核验，不能因对应内置语种已缓存而接受篡改字节；该复用不是源码结果、配置、原生工具或交付认证缓存
- WHEN 源码字节不同但时间和大小相同
- THEN 缓存失效并重新检查
- WHEN 选择已验证的较旧清单
- THEN 重建受影响解析结果，保留旧观察与任务历史，不自动关闭异常
WASM fallback MUST 通过明确版本的协议加入既有统一命令，不静默重定义退出码。未完成必需原生检查仍为 3，取消130、内部故障4、用法2保持契约；疑似解析异常不直接作为已确认违规1。lint/check 的初检正常不能冒充原生成功或交付许可。专用 syntax 命令若以后新增 MUST 另行定义范围，本能力不依赖该新命令。文档、help、schema、插件消费者和发行说明 MUST 明示当前/目标能力；历史报告不得被改写成新版已完成。
- WHEN 必需原生检查缺失但 WASM 初检正常
- THEN 返回未完成3，不把原生义务降为成功0
- WHEN 用户安装不含此能力的版本
- THEN 文档与支持矩阵不宣称自动初检已可用，不用设计示例冒充运行记录
Scenario: Swift hidden recovery receives native parse confirmation
- WHEN 已消费 Swift WASM 确认任务包含无法定位的恢复异常，调用方提供已安装的 Apple Swift 6.4 原生编译器绝对入口
- THEN Rust 以冻结 stdin、固定非项目 cwd 和共同截止时间调用 frontend parse；不构建、类型检查、加载项目插件或运行源码
- AND 只把可核对 UTF-8 字节边界的原生错误位置写入同一任务的追加历史；next 和 repair_ready 返回脱敏原生位置、字节列单位和实际复检入口
- AND 缺工具、版本不匹配、异常输出、超时及输入变化保留未完成；零诊断仅表示局部语法未观察到问题，不自动关闭或替代完整 lint、构建和交付
验收 MUST 分别记录合法/非法语料、ERROR/MISSING、语言版本/方言、模板位置映射、原生对照、误报/漏报、未知覆盖及白名单处置。每个声明支持的语言/宿主 MUST 有独立证据；CodeGraph 的支持清单不自动继承为 Codeguard 能力。冷/热启动、包大小、内存/并发及异常退出预算须实测后固化，不编造精度或性能数值。三个宿主的实际对话交付应分别验证，任一个通过不能替代另两个。
- WHEN 只有解析器样例成功
- THEN 仅记录对应解析能力，不宣称原生闭环、全语言或宿主验收完成
- WHEN 扩大排除导致表面误报数下降
- THEN 评测仍保留原始分母、排除和未完成覆盖，不能据此声称准确率提高
- WHEN an explicit installed Kotlin/JVM 2.4.10 compiler checks a frozen ordinary
.ktfile in a private directory - THEN invoke its native compilation command without project build scripts, response files, compiler plugins or script execution; bind current source bytes and retain bounded compiler diagnostics
- AND classify
[SYNTAX]as native syntax evidence while unresolved references and other semantic diagnostics remain project-context limitations, not fabricated syntax violations; preserve syntax evidence when both coexist - AND only accept diagnostics belonging to the frozen input, translate verified native UTF-16 columns to UTF-8 byte positions, and reject unknown output, contradictory exit codes, truncated output, timeouts and changed input/tool identities
- AND this single-file observation does not implement full Kotlin lint/comments, prove whole-project coverage, qualify its WASM or authorize trusted task closure; missing tools require preparation, never implicit installation
- WHEN a caller supplies an explicit compiler or invoking absolute PATH contains
kotlinc - THEN retain that first selected tool and its failures without silently replacing it; only tool absence enables candidate WASM
- AND missing backends, incomplete native checks or candidate recoveries/hidden errors require further native confirmation; complete observable candidate zero-recovery may recommend native installation without granting delivery
- AND human feedback includes verified native rule and source positions, while JSON preserves bounded evidence and unresolved obligations
- WHEN task verify or repair_ready targets a bound Kotlin confirmation task
- THEN use the same explicit/PATH native-tool selection and frozen-source observation as lint, append verification evidence to the existing stable task and preserve lease/attempt handling
- AND reject wrong-language or relative tool arguments before acquiring a lease or starting a process
- AND expose current syntax positions separately from unresolved project-context diagnostics, including mixed observations; changed source/tool identities withdraw stale positions
- AND native zero diagnostics does not by itself prove policy/coverage or close the task; initial tool guidance must preserve the Kotlin selection option in task show and next
- WHEN check all or a confirmed file_changed event observes ordinary Kotlin files
- THEN invoke the selected explicit or first absolute-PATH compiler before candidate parsing, within the shared deadline and requested scope
- AND retain native syntax and context observations in a stable task without fabricating a WASM origin; selected-tool failure must not switch to a candidate parser
- AND tool absence enables WASM, complete native zero diagnostics creates no new task, and repeated scans reuse existing identity and current evidence
- WHEN a stable task originated from incomplete or unlocated candidate recovery and a later native observation still cannot confirm source diagnostics
- THEN next and task show retain the unlocated limitation, forbid source edits before native confirmation, and provide concrete native-environment recovery guidance; a missing tool must not erase the original limitation or fabricate positions
- WHEN lint swift receives an ordinary Swift file and an explicit compiler or the first executable swiftc in absolute invoking PATH
- THEN reuse bounded frozen-source frontend parsing, preserve validated UTF-8 byte positions, and retain selected-tool failure without selecting another compiler or WASM
- AND only tool absence enables bundled candidate parsing; incomplete/hidden recovery requires native confirmation, complete zero recovery recommends native setup without granting project lint or delivery success
- WHEN
check alldiscovers ordinary Swift sources - THEN it selects the explicit Swift tool or first executable invoking PATH entry before candidates, parses at most 64 frozen files under the shared deadline, reports unobserved sources and current byte positions, and never changes a selected failing compiler into a WASM success
- AND missing tools retain candidate fallback, source or tool changes withdraw positions, and project lint, task connection and delivery gaps remain visible until independently implemented and verified.
- WHEN a confirmed
file_changedevent selects Swift sources - THEN the Hook uses the same explicit/PATH native parser selection within the shared deadline and checks only selected sources, without replacing selected native failures with candidates
- AND bounded host feedback includes current native counts and byte positions, never raw tool messages, and explicitly preserves missing task connection and full-project obligations.
- WHEN an initialized workspace observes current Swift native diagnostics or a selected-tool blocker
- THEN the project/save scan records native-first evidence without fabricated grammar identity, updates one stable source-scope task, provides current repair/environment guidance and supports original-parser task verification
- AND a subsequent clean observation records evidence but cannot auto-close; absent tools still use candidate confirmation, and failed persistence retains diagnostics with an explicit task gap.
- WHEN check all, check zig or selected-file editing observes ordinary Zig files and an explicit or invoking-PATH Zig tool
- THEN reuse the frozen native AST probe under the shared deadline; report original diagnostics, selected-tool failures, changed input and unobserved files without substituting WASM after a selected-tool failure. Missing tools retain candidate fallback and preparation guidance. Project lint/build and trusted closure remain independent obligations; no native diagnostic may disappear because the candidate grammar reports no recovery.
- WHEN an initialized workspace receives a current Zig AST diagnostic or selected-tool failure from lint, aggregate checking or a confirmed edit
- THEN import a language-versioned native-first report with no grammar identity into the existing stable task, synchronize once per bounded scan, retain original-tool guidance and real report references, and reuse the same ID on repeated observations. A new complete clean observation creates no task; an existing task records the observation but requires independently authorized capability-matching verification before closure.
- WHEN the Zig AST process exits zero with unexpected stdout, or a diagnostic position exceeds the frozen source line/byte bounds
- THEN its observation remains incomplete and invalid positions are withdrawn; neither a clean result nor actionable coordinates may be inferred from the exit code alone
- WHEN the development evaluator compares frozen corpus bytes through explicitly installed native tools and the existing WASM worker
- THEN reject invalid selections before process execution, retain all 32 languages in inventory, compare only jointly decidable syntax samples, keep context-only native blockers or hidden WASM recovery as unknown, preserve strictly located Kotlin syntax diagnostics even when mixed context blockers leave execution incomplete, withdraw classifications after tool/program identity changes, and do not promote reused-adapter regression evidence to independent holdout, grammar qualification or delivery permission
- WHEN an explicit installed Ruff is used as the Python syntax observer in development native/WASM comparison
- THEN freeze the tool/version and target dialect, feed the same source through isolated stdin with fixes/cache/project configuration and noqa suppression disabled, classify only consistent located
invalid-syntaxreports, retain other rules, wrong-source reports, tool failure or contradictory exit/JSON as incomplete, and do not extend trusted task-closing or project-delivery authority
- WHEN the development evaluator receives verified independent structure-rule observations alongside parser ERROR/MISSING observations
- THEN a separately versioned report preserves raw parser classification and TP/FP/FN/TN, records bounded structure observations with rule/version/digest and original positions, and separately measures the combined candidate against the same native observer and sample denominator; raw false negatives MUST NOT be erased by the combined result
- AND truncated or failed worker observations remain unknown in both layers; changed program identity withdraws structure evidence and combined classification, and changed native identity withdraws both comparisons; this measured candidate neither confirms a violation nor qualifies a grammar, an independent holdout or project delivery
- WHEN an explicitly installed fixed Node is selected for development JavaScript native/WASM comparison
- THEN use bounded frozen UTF-8 stdin, explicit module input and syntax-check-only arguments with a cleared environment, isolated cwd and shared deadline; verify requested entry and artifact continuity before and after execution, retaining a bounded Node-specific artifact budget without increasing other checker budgets
- AND only consistent empty successful output or a syntax diagnostic bound to the original stdin line may classify native syntax; unexpected stdout, runtime/fatal errors, output/identity/version changes or malformed diagnostics remain unknown. Retain the source goal as module rather than infer project CommonJS/ESM settings; the versioned report cannot replace project ESLint, authorize task closure or certify grammar qualification
- WHEN 显式选择已安装Ruby2.6.10p210执行开发期原生/WASM差分
- THEN 冻结UTF-8 stdin与请求入口/制品，清空环境、使用隔离cwd、禁用gems并仅调用版本与
-c -，共享截止时间和取消令牌；BEGIN、END、require及普通源码不得执行 - AND 仅消费一致的Syntax OK或绑定原始stdin行号的有界语法诊断；普通警告、未知输出、错路径、坏位置、矛盾退出、版本/入口变化和截断保持unknown；新增报告版本保留旧协议、32语言库存和未选覆盖，不授予项目Rubocop、任务关闭、独立holdout或grammar发行资格
- WHEN 显式选择已安装Go1.23.4 SDK入口执行开发期原生/WASM差分
- THEN 只使用请求SDK入口同目录的gofmt，冻结两个制品及入口绑定，核对Go版本和gofmt构建版本；清空环境并禁用自动工具链/模块下载，冻结UTF-8 stdin，用
gofmt -e /dev/stdin整文件解析，不能以无文件参数的片段模式证明完整源码语法 - AND 共享截止时间/取消，版本或解析过程中任一入口/制品变化停止后继动作并撤回对应批次比较；仅消费一致的原生退出和原始stdin有界字节定位，位置重映射未解析、未知/矛盾输出及执行失败保持unknown；版本化报告保留32库存、旧协议、原始/组合分母，不把formatter语法观察作为项目lint、可信任务关闭或发行资格
- WHEN an application scans a grammar tree for empty
blocknodes that contain no non-comment named statement - THEN traverse even branches without
has_error, retain the direct parent kind and original byte positions with explicit record/traversal budget exhaustion, and do not label these structural facts as parser ERROR/MISSING or language violations; legal empty blocks in other languages require independent language interpretation
- WHEN 版本已核验且原生语法检查正在执行时请求取消
- THEN Node 观察使用同一取消令牌终止进程组，保留样本与 unknown 比较，不等待工具自行完成或将取消视为合法源码
- WHEN 对已支持的Zig/Erlang/Swift/Kotlin/Python/JavaScript/Ruby/Go显式原生差分，在版本探测或源码检查实际启动后取消
- THEN 观察器必须传递同一个请求令牌至runtime，停止当前进程组且不启动后继调用；保持样本、真实失败和unknown比较，不将工具自行退出当作取消完成
- WHEN 已接入原生观察器的版本调用改变请求别名或替换冻结入口字节
- THEN 在源码调用前复核请求物理入口与制品摘要并拒绝执行后继调用；源码调用后同样复核，变化不能提供原生确认、关闭任务或比较资格
Python隔离语法探针 MUST 在版本探测后、语法执行前核验请求入口仍解析为冻结的规范化制品，并核验字节摘要；变化 MUST 返回具体未完成原因，不启动第二次调用。语法执行后 MUST 再次核验相同身份，变化后的结果不得按完整原生观察消费。该约束不授予项目版本、批准策略或任务关闭权威。
- WHEN Ruff版本探测输出看似有效，但执行中替换了原入口文件
- THEN 探针返回python_syntax_tool_changed及incomplete，不执行替换后的程序，不输出已确认违规或成功
- WHEN 版本命令把请求路径的符号链接改指其它入口，即使原规范化制品字节未变
- THEN 探针在语法执行前拒绝继续，并保留原生检查未完成；不得仅执行原规范化路径而忽略请求入口变化
Python候选确认报告 MUST 对全部源码字节核验UTF-8、大小预算、摘要及原始/结构位置，即使观察数组为空也不得绕过解码。当前导入 MUST 读取并绑定当前普通文件。历史复检可对首次冻结字节校验原报告，但 MUST 另外核验首次报告摘要、消费收据及受保护批准来源，不能把内部一致性转换为任务关闭。结构报告 MUST 保留固定规则、grammar和版本约束。
- WHEN Python确认报告的源码摘要匹配但字节不是UTF-8，原始观察数组为空
- THEN 当前导入和冻结源码校验均拒绝证据，不生成清洁或关闭结论
- WHEN 校验首次报告时提供其冻结源码，而当前文件已修复
- THEN 原始证据只能与首次源码绑定，修复后的字节不能替代它；当前导入继续拒绝过时报告
- AND 工作区、grammar、规则摘要、坐标或权限字段伪造仍被拒绝；通过校验不授予可信关闭权限
Python候选语法确认任务 MUST 只执行该任务首次报告绑定的单文件原生Ruff检查，不扫描无关兄弟文件。首次报告 MUST 与任务身份、工作区、范围、原字节摘要和已消费收据一致；篡改或缺收据 MUST 在原生进程启动前拒绝。原生检查 MUST 复用项目配置、工具身份、抑制观察及总截止时间，不能把固定开发目标py312当项目目标。局部报告 MUST 以新版本明确任务范围并保留首次报告引用，不作为项目全量检查或可信关闭。当前源码或配置变化 MUST 撤回本轮修复判断，失败尝试须记录。
- WHEN 单文件确认任务范围之外的兄弟文件存在F401，当前目标已修复
- THEN 只对目标执行原生检查并记录其结果，无关文件不进入本任务报告或生成新任务；任务仍等待可信关闭策略
- WHEN Python确认任务的首次报告摘要或消费收据不匹配
- THEN 拒绝复检，不执行原生工具，不以当前文件重建或替换首次证据
Ruff正常与忽略noqa的检查若返回相同的invalid-syntax错误，Codeguard MUST 保留为原生语法诊断，不因小写或连字符误判为工具错误。该特殊诊断 MUST 在两轮中按文件、位置、消息、严重性及数量精确一致，不得计为被抑制规则；仅一轮出现、数量变化、非error严重性及其它未知小写规则 MUST 保留未完成。若合法原生位置落在文件末尾空行，稳定发现身份 MUST 可绑定前一条非空源码锚点，不能伪造原生位置或对其它规则扩大空行身份。局部原生成功仍不得代替可信关闭或项目覆盖。
- WHEN 两轮Ruff诊断都定位到相同原生invalid-syntax错误，另有普通F401的源码注释抑制差异
- THEN 保留语法诊断，抑制差异只统计F401；不把invalid-syntax填入可抑制规则列表
- WHEN 原生语法错误定位到有尾换行的末尾空行，前方存在真实源码
- THEN 以此前非空源码核对稳定身份，保留原生行列；加入前置注释不改变该身份，未知位置和普通规则的空行诊断仍不可伪造身份
单文件Python确认报告0.19 MUST 将完整原生检查中仍存在的invalid-syntax标记为still_present，并向智能体提供绑定文件、原生位置及保持源码语义的修复指引。完整检查无此错误 MUST 仅标记candidate_absent_unverified_policy，普通lint发现不得当作语法确认失败。工具未完成 MUST 保留still_blocked，输入变化 MUST 撤回判断。旧0.18报告与已记录事件 MUST 保留原分类语义，不以新版判定破坏历史读取；新任务预览以0.21引用新报告，均不得自动关闭任务。
- WHEN 本轮绑定文件的Ruff完整结果仍包含invalid-syntax
- THEN 新报告标记still_present，任务提供源码修复指引，不能只要求恢复环境，也不能填入空实现关闭任务
- WHEN 读取0.18首次范围复检及其已记录事件
- THEN 保留原环境恢复分类；0.19新报告使用独立版本表达语法确认结果，不重写历史事件
用于后续可信复检的Python隔离语法探针 MUST 接收已经独立核对的明确目标版本，目标集合绑定原生工具支持范围。未知、空白、带控制字符或参数形式的目标 MUST 在工具解析和原生执行前拒绝，不能默认推断项目为py312。开发差分现有固定py312入口 MUST 保留原行为及历史证据。观察 MUST 保留实际传入的目标；目标参数本身不证明项目配置来源、策略批准或任务可关闭。
- WHEN 原生Ruff对同一match源码分别按py39和py310检查
- THEN py39保留原生语法诊断，py310可形成局部完整零诊断；两份观察明确标注不同目标，不据此自动关闭或授予项目门禁
- WHEN 请求目标为空、超出工具支持集合或包含命令参数/控制字符
- THEN 返回python_syntax_target_unverified和incomplete，未解析工具、未执行版本命令，也未宣称一个默认项目目标
受保护宿主准备Python关闭请求时 MUST 能独立核对专用0.1/0.2与通用0.1/0.7首次报告、已消费收据和提供的冻结源码。通用报告 MUST 复用当前导入的同一封闭形状、grammar/规则身份和原字节位置校验，不读取修复后的文件作为原样本；解码与大小预算不得因非结构观察绕过。接口 MUST 为只读，不执行工具或申请租约，不将一致性返回转换为批准。历史引用或收据变化、错误源码与坐标 MUST 拒绝。
- WHEN Python任务当前文件已修复，宿主分别提供首次字节和当前字节
- THEN 两类首次来源只接受已绑定的首次字节，当前字节不能覆盖首次证据；语法及结构位置继续核对原字节，任务不关闭
- WHEN 只读入口成功返回首次运行和摘要引用
- THEN 不写历史、不执行原生工具、不生成批准或解决事件；目标版本、签名策略及双输入原生复检仍为独立关闭前置
用于关闭前置的Python目标 MUST 从同工具、同源码、同配置的Ruff逐文件原生设置观察取得，不能把formatter/analyze目标、开发默认py312或语言文件后缀当作lint目标。固定Ruff版本的明确linter目标和空逐文件目标集合可提供候选目标；隐式none、缺字段、重复字段、未知格式/版本、未解析逐文件目标 MUST 返回具体未完成原因，普通lint观察可保留。内部目标观察 MUST 不改变旧公开设置schema、不证明批准或关闭；配置或工具变化不得沿用此观察。
- WHEN 同一match文件分别由明确py39与py310配置经过原生逐文件检查
- THEN 设置分别绑定相应目标，语法诊断按原配置保留；不得把formatter目标或固定py312代替原生linter目标
- WHEN linter目标为none、字段缺失或重复、未知版本，或者配置逐文件目标尚未解析
- THEN 关闭前置无目标并反馈具体原因；已有局部lint诊断仍可反馈，但不能从它们推导可信关闭
历史语料与报告 MUST 保留原字节、原清单摘要及分母，并用保存的对应清单核对。历史核对 MUST NOT 授予当前worker执行许可。当前回放 MUST 核对当前固定清单；需要复用旧样本时显式生成新绑定语料，保留全部样本源码、标签及来源，并记录新语料摘要，不覆盖旧证据。
- WHEN grammar已知限制元数据改变当前清单摘要
- THEN 原语料只能按原清单验证，不能直接启动当前worker；另行生成的新绑定输入可以回放相同样本并记录真实当前身份，历史报告保持原摘要
发现与候选路由 MUST 一致接纳 R 的 .R/.r 和 C++ 的 .C/.cp/.CPP/.c++/.cxx/.hxx，保留已有后缀。不得统一转小写导致 .C 被当作 C，也不得把共享 .h 或 R Markdown 猜作这些 grammar。缺原生工具时仍提供候选观察与未完成反馈，不授予 grammar 质量验收或门禁通过。
- WHEN 工作区存在上述后缀的源码，原生工具不可用
- THEN detect 保留准确文件身份，check all 用对应固定 grammar 产生观察；非法源码的恢复信息仍为候选，整体保持 incomplete
聚合终端反馈 MUST 有界显示固定清单中的具体已知限制，不能仅保留第一条通用未验收说明。宿主摘要 MUST 对本轮实际候选语言提供来自随程序固定清单的有界限制提示，不从用户源码、路径或任意外部报告文本获取提示；保持原生确认行动、源码保留和既有摘要预算。限制不是白名单或版本推断，不改变发现、任务、grammar 资格及门禁。
- WHEN 缺原生工具的本轮候选观察包含 Python，固定清单记载 Python 3.14 模板字符串兼容限制
- THEN 终端及 Claude 摘要均能看到具体版本限制，仍要求适用目标的原生确认且不复制源码或凭候选改写合法代码
Go完整文件候选初检 MUST 根据固定grammar的 source_file 根节点直接命名子节点核对 package_clause，不得以源码文本搜索代替AST事实。运行时仅返回有界的根节点观察，Go规则由适配层解释。代码片段模式、未知根节点或遍历预算耗尽 MUST 保持未知，不能给出零问题通过。缺声明 MUST 属于有版本、有规则摘要的独立结构候选，不能伪造ERROR/MISSING、修改原始grammar混淆矩阵、确认源码违规或关闭任务。该规则接入统一入口、报告、稳定任务和原生复检之前 MUST 明确为尚未接线，不据底层测试宣称公开漏检已经修复。
- WHEN 完整文件只有
x := 1或func f() {}，grammar没有恢复且完整根节点观察没有package_clause - THEN 独立规则返回需原生确认的缺声明候选，保留原始grammar的valid观察；片段模式不套用此规则
- WHEN 注释或字符串中存在package字样，但根节点没有package_clause
- THEN 不将这些字样认作声明；合法声明前的注释、build标签、Unicode名称及CRLF不产生缺声明候选
- WHEN 直接子节点超过预算、根类型未知，或检查对象是代码片段
- THEN 返回未知，不把未观察到声明当成确定缺失，也不删除该样本
Go完整文件缺package结构候选 MUST 进入私有worker的独立版本、公开grammar probe、check go/all和文件保存快速反馈；报告保留原始恢复数组、规则摘要及整文件范围，使用文件起点零宽缺声明锚点，不冒充原生错误列。相同文件重复检查 MUST 复用同一原生确认任务，修复后的零候选 MUST NOT 自动关闭任务。任务与智能体反馈 MUST 要求恢复适用原生工具并确认缺声明，不能凭候选删除代码或安装其它语言工具。新增封闭协议 MUST 保留Python和旧历史报告语义，跨语言规则、未知范围、伪造摘要或坐标 MUST 拒绝。
- WHEN 无原生工具的已初始化Go项目含缺package的函数整文件，执行probe、check go/all与file_changed快速反馈
- THEN 公开观察含独立结构候选及零原始恢复，check与hook复用同一确认任务，反馈要求原生确认；补上package后候选消失但旧任务保持open
- WHEN 同一检查产生Go原生环境任务和结构候选，next优先选择go.vet任务
- THEN Go修复预览使用独立封闭版本并明确Go工具argv，不标为仅支持Python的旧预览；聚合协议接纳该版本，不放宽旧报告的checker或argv约束
Go候选确认任务 MUST 接受显式 --go-tool，复用固定SDK与同目录gofmt的整文件只读检查；调用前后及保存前核对源码、主工具和辅助绑定。缺工具、未知版本、逻辑行重映射或身份变化 MUST 记录未完成尝试。首次结构报告已消费后的修复不得被误认为历史报告损坏；历史引用和消费收据仍必须匹配。原生诊断与零诊断分别反馈仍存在和候选消失，局部语法结果不能自动关闭任务或替代项目go vet、类型、依赖与CVE义务。
- WHEN 同一任务在缺package及补声明后以显式固定SDK执行task verify
- THEN 分别记录绑定当前源码的原生诊断和局部零诊断，保留同一任务和首次报告引用，任务不因局部零诊断自动关闭
- WHEN Go工具用于其它语言任务，或首次报告、消费收据或工具辅助绑定发生变化
- THEN 错语言在启动前拒绝；损坏历史或变化输入不保存为完整观察，不伪造源码违规
lint go MUST 从显式路径或调用方绝对PATH目录选择原生Go；显式坏工具、已选工具版本/执行失败不得静默改用WASM掩盖故障。确实缺少原生工具时 MUST 使用内置固定Go grammar进行有界完整文件候选初检，保留原始恢复与独立结构规则，生成可重复同步的确认任务并输出智能体可消费报告。候选或未完成初检要求准备适用原生工具；有界范围完整且无候选只推荐准备，仍非原生lint通过、任务关闭或交付许可。默认不带WASM制品 MUST 明确能力缺失，不能生成假通过。
- WHEN 无原生Go工具且完整文件缺package，执行lint go
- THEN 返回结构候选和原生工具必须准备行动；初始化后重复lint与check复用同一确认任务，修复后的零候选不关闭原任务
- WHEN 显式或绝对PATH选择了Go，或候选范围超过预算/读取失败/取消
- THEN 所选工具优先执行且失败保留；未选工具时范围不完整不能报告初检无候选或推荐级工具准备
Go syntax-confirmation task resolution SHALL use host-verified approval policy 1.6.0 and evidence 0.7.0. Approval SHALL bind the original task/report/source/grammar, host adapter, Go1.23.4 executable, same-SDK gofmt executable SHA-256 and canonical companion-path binding. Old policy versions SHALL reject companion fields. Project-local records SHALL NOT supply approval authority.
- WHEN a trusted host approves the original Go candidate and both fixed tool artifacts, original bytes produce native diagnostics, current bytes produce no native diagnostics, and all inputs remain current
- THEN the same task records code-fixed evidence; repeated verification is idempotent and later native recurrence reopens that task
- AND the project delivery remains not_evaluated
- WHEN gofmt content/path differs from approval, changes during verification, or the original bytes have no native diagnostics
- THEN approval mismatch is rejected before native execution or current-input/native-incomplete evidence is preserved; zero original diagnostics requires false-positive review rather than code-fixed closure