实现前锁边界
先声明 Scope、硬约束、禁止项、验证证据和停止条件。
Four pillars
四个支柱，分别回答四种失控。
约束不清、自己验自己、旧路径堆积、重复失败，是复杂交付最常见的熵源。
生产与验收分离
Worker 不拥有通过权；Verifier 不替 Worker 补实现。
旧路径必须分类
删除、兼容或人工确认由所有权和数据风险决定。
迭代必须有停止条件
每轮有假设、基线、验证、回滚和 max cycles。
Harness gate
在实现开始前，把不可妥协项写进文件。
六个 code-facing bundle 必须先创建 .vidt/harness/engineering-constraints.md。这是执行门禁，不是事后说明。
- Scope
- 清楚列出 in scope 与 out of scope，防止“顺手重构”扩大改动面。
- Non-Negotiable Constraints
- 记录必须守住的版本、协议、安全、兼容性、依赖与环境边界。
- Forbidden Changes
- 显式写出不能改什么，尤其是用户数据、无关模块和未经授权的外部状态。
- Verification Evidence
- 在编码前就决定什么命令、测试、截图或 artifact 能证明完成。
- Rollback And Stop Conditions
- 声明何时回滚、何时停止尝试、何时升级给人工决策。
轻量不等于省略
小切片可以用短约束，但不能把关键边界只留在对话记忆里。
File handoff
五类标准对象，让交接可校验、可恢复。
路径身份、角色方向、带时区时间戳与 schema 必须同时成立；缺一项就不能把文件交接称为有效证据。
WorkOrder
目标、范围、输入、验收、禁止项、证据命令与截止条件。
ImplementationOutput
实际变更、影响文件、自检结果、未覆盖范围与已知风险。
VerificationReport
独立检查、可重放证据、verdict、findings 和置信边界。
RemediationPatch
失败根因、客观规范引用、最小修复方向与下一轮限制。
DeliveryCycleReport
完整状态变化、周期计数、最终决定和 completion evidence 入口。
Decision record
歧义、成本增长、权限或周期耗尽时，记录介入者、选择与理由。
Anti-entropy
“未知依赖”不是保留旧代码的充分理由。
先识别旧对象承载什么，再选择 delete-first、compat-exception 或 confirmation-first；所有权不清时才升级人工确认。
四类对象
- code-retirement：退出的代码路径
- contract-carrying-code：仍承载外部契约
- derived-state：可重建的派生资产
- persistent-state：用户或系统持久数据
三条路径
- delete-first：无活跃契约与数据风险，直接退役
- compat-exception：有证据证明仍需兼容，明确期限与 owner
- confirmation-first：涉及持久数据、外部权限或不可逆边界
- 建立调用方证据
搜索代码、文档、workflow、消费者与真实运行状态，不靠猜测保留旧路径。
- 声明新 canonical owner
删除旧路径前说明行为迁往何处，避免形成双真源。
- 同步引用与回归覆盖
删除、重命名或迁移必须在同一轮修复所有指针和验证门禁。
- 禁止永久兼容层
若确需兼容，必须记录期限、责任人、退出条件和持续测试成本。
Evidence gate
完成证据必须能被另一个人重放。
非平凡完成声明包含 action、result、covered scope、uncovered scope、residual risk、confidence grade 和 evidence refs。
repository gates
python -m pip install -r requirements.txt
python scripts/validate_virtual_team.py
python scripts/lint_virtual_team_contract.py
python -m unittest discover -s tests -p 'test_*.py'
python scripts/check_harness_health.py --skill-dir .证据的最低标准
- 命令与目标文件、模块或行为直接相关
- 结果含退出码、状态或可检查 artifact
- 明确哪些范围未测、为何未测
- 残余风险与置信等级不被“全绿”隐藏
- release gate 可读取同一份结构化 evidence
Benchmark 不是完成声明
Benchmark 证明某类行为基线，不自动证明当前实现、Git 状态、部署边界或用户路径已经完成。
Maintenance loop
从改动到发布，门禁按风险逐层增加。
文档、路由、schema、脚本和 eval 共享一条验证路线，避免某个表面更新与运行时真源脱节。
确认 SKILL、reference、schema 与目标行为的真源位置。
scope locked同步修改行为、路由、资产和对应回归，不留双实现。
diff ready运行相关测试、schema、lint 与 quick validate，先得到高信号结果。
evidence行为或路由变化运行盲测、负向、混淆矩阵与稳定性检查。
baseline核对版本、文档、Git 状态、发布边界、回滚与完成证据。
ship / hold门禁决定可信度，角色决定责任归属。
查看八个专家的触发边界、禁止项和证据偏好。