diff --git a/Local-Development-and-Verification.-.md b/Local-Development-and-Verification.-.md index 49e37cd..5997929 100644 --- a/Local-Development-and-Verification.-.md +++ b/Local-Development-and-Verification.-.md @@ -698,3 +698,48 @@ Brain\.venv\Scripts\python.exe contracts\tests\machine-identity-v1\test_contract 这些测试只证明 #151 身份和传输基础。真实客户 PKI/网络、现场时钟漂移、业务 endpoint、断网补投以及持久 replay 重启恢复由 #152/#153/#155 验证;不得用进程内 replay store替代生产结论。 + + +## #152/#153 connector 验证 + +使用冻结 CPython 3.11.15 与 Go 1.26.5。从仓库根目录按受影响范围执行: + +```powershell +$env:PYTHONPATH = (Resolve-Path Brain/src) +Brain\.venv\Scripts\python.exe -m pytest Brain/tests/integration/sense_control Brain/tests/integration/event_export Brain/tests/app/test_event_export_connector.py -q + +cd Sense/server +go test ./... +go vet ./... +go test -race ./app/sense/integration/brain_control ./app/sense/integration/bell_connector ./app/sense/local_event ./cmd/api ./cmd/migrate/migration/version + +cd ../../Sense/tests/integration/brain_control +go test -race ./... +cd ../bell_connector +go test -race ./... + +cd ../../../../Bell/server +go test ./... +go vet ./... +go test -race ./app/bell/integration/event_ingress ./cmd/api ./cmd/migrate/migration/version +cd tests/integration/event_ingress +go test -race ./... +``` + +冻结契约与仓库检查: + +```powershell +pwsh -NoProfile -File contracts/tests/source-config-v1/run.ps1 +python contracts/tests/runtime-status-v1/test_contract.py +python contracts/tests/events-v1/test_contract.py +python contracts/tests/evidence-v1/test_contract.py +pwsh -NoProfile -File contracts/tests/machine-identity-v1/run.ps1 +python -m unittest discover -s tests -v +python dev_scripts/harness.py check --strict +git diff --check +``` + +#152 覆盖 revision 幂等、last-known-good、单调状态、陈旧/离线/恢复、持久 replay、停用、超时和退避。#153 覆盖 Brain mapper、Sense 同事务 Outbox、Bell 永久 Receipt/Event、重复/冲突、证据降级、持久 replay、重启、断线恢复和多数据库默认库选择。 + +工单验收未使用客户 PKI、生产 PostgreSQL、真实三端网络或生产流量;这些结果只能由 #154 部署和 #155 E2E 补充。Sense 本地候选原子 Outbox 当前没有生产创建 caller,也不得据此声明本地产生链已完整接通。 +