待验证60% 置信事实精确时间

契约式编程主张软件组件必须声明前置条件、后置条件和不变量三类约束

2

来源数

60%

置信度

长期有效

时效性

2026/7/15

首次发现

来源

智能体循环实战：Agent自动化工程设计与护栏搭建指南

相关事实

待验证十二要素应用方法论第三条 Config 原则主张将配置存储在环境变量中，以将配置与代码分离65% 相似待验证专业提示词模板包含技术栈约束、代码风格指南、错误处理要求以及与现有代码的接口契约等结构化信息63% 相似待验证Plan Mode在正式生成代码前先输出可供人工审核的执行计划，包括文件结构、模块划分、依赖关系63% 相似已验证OpenCode 的规则文件本质上是一种「系统提示词持久化」机制，可将项目约定预先注入模型的工作上下文63% 相似待验证规范驱动开发要求在编写任何代码之前，先用Markdown文件创建结构化的需求文档和设计文档62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/520756

API

curl https://kongchang.com/api/v1/knowledge/claims/520756

MCP

get_claim(id=520756)