github GanyuanRan/Aegis v2.14.1
v2.14.1: evidence scope and negative findings / 证据范围与负面发现

4 hours ago

English

  • Scope verification conclusions to the exact properties, objects, and conditions
    checked. Preserve known counterexamples and material tool warnings; parsing
    success alone does not establish schema compliance or answer accuracy.
  • Distinguish requested settings from effective behavior and descriptive results
    from causal claims. A completed investigation may deliver negative findings
    without implying that the investigated result passed acceptance.
  • Reuse sufficient current evidence, running fresh checks when evidence is
    missing or invalidated. Keep simple read-only summaries concise and attribute
    supplied observations without claiming to have executed their checks.
  • Add eight workflow-quality scenarios covering evidence scope, effective
    settings, confounded comparisons, and cost/quality tradeoffs. These are test
    fixtures, not measured performance-improvement claims.
  • Compact verification guidance to remain within the existing context budget.
  • Synchronize all eight package/plugin versions at 2.14.1. Existing Git and
    host plugin upgrade routes remain supported; reload/restart as required.
    Manual global routing prefixes need no re-copy. Published host limitations
    remain unchanged; Aegis retains its method-pack authority boundary.

中文

  • 验证结论严格对应实际检查的属性、对象与条件,保留已知反例和工具的重要
    警告;解析成功不等于字段合规或答案准确。
  • 区分请求设置与实际生效行为、观察结果与因果结论。调查完成可以交付负面
    发现,不代表被调查对象通过验收。
  • 复用充分且仍有效的证据,在缺失或失效时重新检查;简单只读总结保持简短,
    明确外部观察的来源,不声称执行过实际未执行的检查。
  • 新增八个工作流质量场景,覆盖证据范围、生效配置、混杂比较及成本与质量
    的权衡。这些是测试样例,不构成实测性能提升声明。
  • 压缩验证技能表述,使其保持在现有上下文预算内。
  • 同步八处 package/plugin 版本号至 2.14.1。沿用现有 Git 或宿主插件升级
    方式,按需重启或重新加载;手工全局路由前缀无需重新复制。保留已有宿主
    限制及方法包权限边界。

Verification / 验证

  • Linux full host-neutral release aggregate: four groups passed. OpenCode base compatibility, Codex plugin synchronization, workflow matrix validation, 20 skill-parser tests, version consistency, context budget, and diff checks passed. Required PR CI passed; merged source matches the tested candidate.
  • Windows natural-trigger and explicit-request Codex skill-loading smokes passed. The explicit-request runner warned that commands preceded skill loading: this supports skill visibility, not strict load-before-command ordering. Linux static checks and Windows host smokes were split per known limitation 2.32.
  • Linux 完整汇总四组检查、OpenCode 基础兼容、Codex 插件同步、场景矩阵、20 项技能解析、版本一致性及上下文预算检查通过。PR 必需 CI 通过,合入源码与测试候选一致。
  • Windows 两项真实技能加载测试通过,但显式调用测试提示加载前已执行命令,因此仅证明技能可见性,不证明严格加载顺序。既有宿主限制保留;本次不作普遍行为可靠性或性能提升承诺。

Full changelog / 完整变更: v2.14.0...v2.14.1

Don't miss a new Aegis release

NewReleases is sending notifications on new releases.