实现状态与证据边界
仓库同时包含设计、实现、测试、合成回放和产品路线。阅读结论前,先判断它属于哪一级证据。
四类常见材料
| 材料 | 能证明什么 | 不能直接证明什么 |
|---|---|---|
| 设计/spec | 预期接口、边界和验收标准 | 功能已经交付 |
| 单元/集成测试 | 指定输入下实现符合断言 | 真实用户长期收益 |
| 仓库 demo / 合成回放 | 流程可复现、对照条件下的结果 | 跨团队、跨模型泛化 |
| 真实生产数据 | 特定环境中的实际效果 | 对所有环境都有效 |
当前应如何表述 Semantix
- 切片、检索、注入、L3 判定、调度、预取、演化、CLI 与 Gateway 均有代码和测试入口。
- 仓库报告包含合成回放与本地验收结果。
- 真实会话的跨用户、跨项目命中率仍需要持续采集和独立复核。
- 成本估算依赖价目和 usage 数据,不等于供应商最终账单。
因此,文档会区分“实现存在”“仓库测试通过”“合成数据观察到”和“生产环境已验证”,不会把它们合并成一句营销结论。
复核路线
go test ./kernel/... ./cmd/semantix/...
cd site && npm run check完整仓库包含更多 harness 与 Gateway 测试。运行范围应根据改动面扩展,并记录操作系统、Go/Node 版本和数据来源。
去哪里看证据
- 官网
/benchmarks:当前公开复现入口和证据等级。 docs/reports/:按里程碑和 issue 保存的验收报告。docs/specs/:设计与尚未完成的验收契约。- 对应模块的
*_test.go:可执行断言。
对应仓库来源
docs/reports/m0-gate.mddocs/reports/m0-cost-comparison.mddocs/reports/verify-rubric.md.github/workflows/ci.yml