Conversation
…urface Implement the explicitly approved mechanism-not-policy classification/check slice. Keep a maintained vocabulary and exact counts keyed by path, named scope and word; classify all 307 occurrences in 123 records across 28 files. Scan identifiers and runtime/SQL literals, ignore TypeScript comments, and refuse new, changed or stale sites without a reviewed table update. Wire check:policy-words into the shared blocking static contract and its agent plan, with a guard against duplicate/missing execution. Move the paired record to implemented with explicit approval, update inbound links, and retain the work-shape rewrite, field experiments and frame/storage migration as deferred/unapproved scope rather than claiming separation. Validation: targeted tests 16/16; keyless product tests 1594/1594; scoped agent:verify passed all 16 blocking checks under the existing 150s cap. The initial full run hit that cap and remains recorded as incomplete. Full mutation sweep caught 110/110 and restored 22/22 byte-identically; one repeated-dispatch mutant was caught by its 30s cap, not an assertion.
wefio
marked this pull request as ready for review
October 1, 2026 12:54
10 of 15 tasks
Owner
Author
|
Closing with the operator's explicit authorization: this PR's implementation was included in #81, which was squash-merged as Verified: #81's commit list contains No second merge, force-push, branch deletion or source change is performed. The frame/storage proposal remains separate and unapproved for migration. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
变更描述
What:落地用户明确批准的 mechanism-not-policy Plan 2–3:维护分类清单和持续静态检查,并将双语决定移到
implemented/,标记Approved: explicit。Why:历史 grep/第二形态实验已经证明耦合存在,但没有持续门禁。词本身不能决定角色,因此需要带路径和作用域的分类,而不是直接删除
files/checks,也不能把proposed当作没写过代码或已获批准。Changes:
tools/policy-word-list.ts:维护六词词表、扫描面和 123 条分类记录,覆盖 28 个文件的 307 次命中;每条附角色、精确次数和理由。tools/policy-word-check.ts:扫描 TS 标识符和字符串/模板(含 SQL),忽略 TS 注释;检出 compound/camel 名,不把dispatch当patch。新增、增减、失效、重复、无效记录和解析失败都拒绝。行号不参与身份;--list输出当前位置和分类理由。package.json、agent-context.yaml:check:policy-words在共享阻塞静态集合中运行一次;守卫检查其存在及静态契约/Agent 原子计划一致。验证:
npm run verify:static通过;keyless 产品测试 1594/1594。agent:verify重跑 16 个阻塞检查全部通过,仍使用 150000ms 总时限;首次运行触及时限,记为 incomplete,未提高时限或放宽断言。重跑只通过既有stripProviderEnv()清除 ambient provider 配置,没有调查 Google 限流,也不据此认定首次超时根因。the-pass-asks-a-unit-it-already-failed-again被 30 秒执行上限抓到,不是断言失败。未验证项
Not verified:工作形态适配器重构、permission closure 声明化、
effect/input/dependencies/operation的实验定案、frame/storage schema 迁移、全局无策略证明均不在本切片。词表之外的同义词和同一作用域内次数不变的替换可能绕过门禁。没有运行 live LLM/embedding、官方全数据 benchmark、完整本地 research/chaos 轨或手动 macOS/Linux 启动;本地为 Windows/Node24,干净检出的 static/product coverage/Node22 兼容轨已由 forge 确认为 SUCCESS;research characterization 也为 SUCCESS,Windows chaos 为 SKIPPED。完成检查项
本地质量检查
npm run verify:static通过,包含新增阻塞检查。test:product1594/1594;scopedagent:verify16 个阻塞检查通过。check:lock通过(audit 由 CI 独立执行)。verify:packages通过。docs:check:307 files,0 errors / 0 warnings;双语决定与设计一致。complexity:gate通过;没有新增超过 15 的方法。RCP
repo-development/1790855705456_000178。agent:verify覆盖 documentation、ci-and-tests、packaging、repository-tooling;证据为.nmg/verification/latest.json。1790855705456_000178)。node bin/nmg-rcp.mjs forge-status --pr 80确认 CI,PR head 为256bcc0e66ebe8a946e300b8d465731caea02bf4。tests/integration/ooo-ordinary-handoff.test.ts状态标记。CI 完成确认
All checks passed为 SUCCESS。Forge snapshot:6 SUCCESS、0 FAILURE;Windows chaos SKIPPED。PR OPEN / MERGEABLE / CLEAN。
合并需要用户另行明确授权;本 PR 不自动合并。