Skip to content

fix(sshx): 自主启动、整批评审与上下文准入,发布 beta.47 - #1060

Merged
loning merged 2 commits into
devfrom
codex/sshx-beta47
Oct 3, 2026
Merged

loning merged 2 commits into
devfrom
codex/sshx-beta47

Conversation

@loning

@loning loning commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

修复 sshx 启动时强制要求用户确认执行边界,以及同类反例不断扩修、实施尚未完成便提前评审的问题,并准备发布 1.0.0-beta.47。

  • 常规启动由 agent 根据任务、仓库规则和已有授权判断最小必要范围,记录依据和假设,无需启动问答。
  • 阻断与新增防御统一检查真实触发者、普通操作路径、目标影响和已有恢复;真实普通缺陷仍阻断,假想威胁与已吸收风险不扩大修复。
  • 同类问题先判断整类覆盖能力,禁止无依据的逐项枚举;无限输入域本身不证明无法覆盖,也不授权缩减需求。
  • 同一计划或同批修复全部实施、通过必需检查后再运行正式评审;一次修复批次包含最终复评。
  • Lean 模型连接实际入口与消费者,并验证授权更正后旧证据不能重新绑定到新条件。
  • 按 .version-bump.json 同步全部六份发布清单至 1.0.0-beta.47。

验证:完整候选经 architecture、quality、tests 三席独立评审通过。198 项测试(含完整 Lean/Lake 构建)、版本同步、diff 检查和 skill validation 通过;另有独立编译的实际 guarded-route probe。发布准备已复核 19 个源码文件与验收补丁逐字节一致,六份清单只有版本字段更新,并重跑 198 项测试全部通过、零 skip。

过程披露:早期源码基线记录存在时间顺序偏差;本次工程执行两次超过原定内部轮数,均已明确记录,未重置预算或修改发布的预算策略。外部证据语义真实性仍是形式模型的输入前提。

Fixes #1058
Fixes #1059

@loning
loning merged commit 67bce83 into dev Oct 3, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant