用途:CESS 把合成与评估分成两级——演化受用户治理的草图(S),再将其编译为可替换的投影(P),通过模拟发现失败并把获批失败提升为反例(CE),用于开放世界智能体与软件合成。
核心契约:区分 S(草图,声明受治理行为、策略顺序、接口、已知规则与显式空洞)、K(锚点,固定仓库接口、类型、协议与环境约束)、P(编译投影,S+K 的可替换实现)、A(已接受反例档案)、R⊆A(回归集)、G(确定性门)。接受规则为 accepted(case, P, S) = gate_passes(case, P) AND sketch_review_passes(case, P, S);缺少确定性编码视为显式缺口,不能当作通过。
CE 权限:获批且生效的 CE 只授权其修正输出与获批条款所要求的最小通用草图规则,不应拉伸为相邻策略选择;无生效 CE 时保留既有空洞;不得用较晚 CE 追溯论证较早提案;评审计算或分类错误属于裁决问题,不构成改策略的权限。
使用方式:定位权限方(S、K、P、A、R、G、模拟器与策略批准者),建立产物登记;从 S+K 编译或重编译 P,并给开发者显式变更契约;模拟一个具体用例并对照 S 评审;先分类失败(实现缺陷还是缺失/错误/歧义规则),再决定修 P 或提议 CE;对获批 CE 最小化地演化 S;加入确定性检查使学习可执行;重编译并双重验证当前用例与 R;保持一个活跃失败;策展回归;周期性丢弃 P 从 S+K 重新生成以检验草图充分性。
适用场景与限制:适用于需要区分策略与实现、把失败沉淀为回归的开放世界合成流程。资料未提供具体安装命令、代码示例、收费或平台信息。常见压缩应避免,如把 CESS 简化为示例档案加单元测试、围绕固定实现做反思或记忆、只跑最新 CE 而跳过 R、把绿色有限语料当未见过用例的证明等。
报告:需返回循环报告,含活跃用例与分类、变更前后草图条款、重建或修复的投影面、确定性回归、当前用例与 R 的确定性及评审结果、诱人错误修复及其仍失败的证据、批准权限与决策、每个新规则的 CE 证据、下一活跃失败或有界接受声明。