diff --git a/Local-Development-and-Verification.-.md b/Local-Development-and-Verification.-.md index c66acc2..5431914 100644 --- a/Local-Development-and-Verification.-.md +++ b/Local-Development-and-Verification.-.md @@ -646,3 +646,28 @@ git diff --check 这些命令只验证冻结契约,不验证 #152 产品 adapter、真实网络传输、机器身份、现场断网恢复或端到端链路。 + + +## 标准事件与证据 v1 契约验证 + +两组测试均只使用 Python 标准库: + +```powershell +python contracts/tests/events-v1/test_contract.py +python contracts/tests/evidence-v1/test_contract.py +``` + +事件测试覆盖匿名危险区域/方向越线样例、Brain producer→Sense relay→Bell consumer mapper fixture、RFC 8785/SHA-256 幂等向量、重复/冲突、未知版本、敏感字段拒绝和 OpenAPI 引用。 + +证据测试覆盖 `pending/processing/success/failed` 状态约束、success 完整性、失败降级、旧 `available` 状态拒绝、敏感访问材料拒绝和证据 API 响应引用。 + +仓库级复核: + +```powershell +python -m unittest discover -s tests -v +python dev_scripts/harness.py check --strict +git diff --check +``` + +这些测试只验证冻结契约,不验证 #153 产品 mapper/relay/ingress、#151 机器身份、实际证据存储/授权、网络断线补投或跨项目 E2E。 +