Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
33 changes: 27 additions & 6 deletions docs/architecture/rfcs/hierarchical-agent-stride-control-v0.md
Original file line number Diff line number Diff line change
Expand Up @@ -697,8 +697,11 @@ adoption, restoration or improved results. These are refinements of the existing
Agent questions, not new decision fields, score thresholds or settlement gates;
the strategy remains default-off. Identify the remaining authoritative goal gap, its limiting
component and plausible headroom before choosing the next mechanism. Compare
continuation with one feasible different approach that could affect that
component, including complete cost. A changed auxiliary mechanism can be useful,
continuation with plausible alternatives that change the limiting assumption or
mechanism, including complete cost. A stalled route calls for a discriminating
experiment across those explanations, not only more local parameter changes.
Distinguish an unexecuted intervention, failed transfer and insufficient tested
route potential; each calls for different evidence. A changed auxiliary mechanism can be useful,
but its novelty does not establish that it addresses the remaining gap. Local or
synthetic improvement needs applicable transfer evidence; repeated identical
outcomes are not new information. Prefer the smallest coverage that resolves the
Expand Down Expand Up @@ -825,18 +828,36 @@ projection/review semantics. Both historical v1 decision shapes retain read
compatibility, but cannot discharge a fresh enabled review. Frozen workers retain
their exact source. Pin implementation revisions for comparisons; do not
reinterpret old decisions. The policy seam can evolve when evidence warrants it, without maintaining speculative variants.
For an enabled periodic review, every settlement path now requires a current,
For an enabled periodic review or an existing observed-stall review
(`typed_progress_repeat`, `no_progress_streak`, `repeated_action_loop`,
`external_progress_review_drift`), every settlement path requires a current,
source-bound stride decision. Typed progress, successor and terminal results
remain valid evidence/outcomes, while a bare Todo successor transition cannot
stand in for the review. This closes the decision-recording gap; it does not
establish that the proposed action was adopted or improved the Goal.
stand in for the review. An evidenced path decision can retain unfinished useful
work without a fabricated new progress identifier or Todo. Explicit acceptance
and capability outcome restrictions still apply; default-off and other sources
retain their prior exit policies. No new detector, threshold or action is added.

The frozen [EdgeBench diagnostic window](https://huggingface.co/datasets/songwells/loopxbench/blob/c5dd30bfaa2f5af42ccd7d0ca9ed59b865a81d42/public/edgebench-20261018-v1/diagnostic_windows.csv)
reports 902 completed native turns and no submissions over one post-hoc selected
230-minute window. This motivates checking whether review changes subsequent
work, but does not identify the cause or establish a general stagnation rate;
zero `apply_patch` calls cannot exclude writes through shell commands.

Real File/SQLite CLI coverage now takes an existing typed-progress stall through
decision rejection/recovery, an executed comparison of local choice, reverse
priority and joint assignment under one fixed objective, result readback and the
next executable transfer-validation Todo. The current decision can retain the
original Todo; comparison results, not a new label, choose the next mechanism.
This proves the scripted control path, not model adoption or EdgeBench score gain.
Existing negative-result and later-work followthrough coverage remains necessary.
The effective review cadence remains owned by the
[Goal Vision/replan contract](../../reference/protocols/goal-vision-replan-contract-v0.md#default-review-cadence)
and Goal/device configuration. Six effective work Turns is the default; enabling
the stride strategy for one Goal inherits its live review cadence, and only an
explicit Goal cadence override pins a separate count or unit. The cadence is not
Todo size, an experiment boundary or a mandatory route switch; this refinement
changes neither counting nor discharge. Matched continuation must qualify actual
does not change counting. Matched continuation must qualify actual
adoption, target benefit and full cost before promotion or synergy claims.

Exploratory iteration may run only strategy-enabled test arms and reuse historical
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -589,7 +589,9 @@ switch(尝试不同机制)或 verify(解决决定扩大或切换的具体
或结果改善。这些是既有Agent问题的细化,不增加决策字段、分数阈值或结算门槛;
策略仍默认关闭。先识别仍未满足的
权威目标、当前瓶颈分量和可能的收益空间,再选择下一机制。比较原路线接续与
一种能影响该瓶颈的可行替代路线,并计入完整成本。辅助机制变化可能有用,但
改变该瓶颈假设或机制的可行替代路线,并计入完整成本。路线停滞时,应以能区分
这些解释的完整实验推进,不能只继续局部调参。区分干预未执行、局部改善未迁移,
以及被当前测试限制的路线潜力;它们需要不同证据。辅助机制变化可能有用,但
新颖本身不证明能解决剩余缺口。局部或合成数据的提升须有适用的迁移证据;重复
相同结果不算新信息。优先用能决定路线选择的最少验证范围,避免再做宽泛扫测,
同时保留相关失败证据。
Expand Down Expand Up @@ -674,13 +676,28 @@ Benchmark 的显式 `loopx-planned` provider 在未修改的规划 packet 外附
普通投影/复盘;两种历史 v1 决策保留原义读取兼容,不能完成新的启用策略复盘;
新提案使用 v2 数据格式,仍只有同一个可选策略,冻结 worker 保持确切源码。比较固定
实现 revision,不重释旧决定;有证据后迭代同一组件,避免维护假设性的策略变体。
启用策略的周期复盘到期后,任何结算路径都须留下绑定本次来源的 stride 决定。
启用策略的周期复盘到期,或既有停滞复核触发时(`typed_progress_repeat`、
`no_progress_streak`、`repeated_action_loop`、`external_progress_review_drift`),
任何结算路径都须留下绑定本次来源的 stride 决定。
类型化进展、后续任务和终止结果仍可作为证据与结果,但单独的 Todo 后续转换不能
代替复盘。这补齐决定记录闭环,不证明提案已被采用或提升了 Goal。
代替复盘。有证据的路径决定可以保留尚未完成的有用工作,不必编造新进展标识或
Todo。验收和能力 owner 显式限定的结果仍须遵守;默认关闭和其他来源保持原有
出口规则。不增加检测器、阈值或动作。

冻结的 [EdgeBench 诊断窗口](https://huggingface.co/datasets/songwells/loopxbench/blob/c5dd30bfaa2f5af42ccd7d0ca9ed59b865a81d42/public/edgebench-20261018-v1/diagnostic_windows.csv)
记录一个事后选取的 230 分钟窗口中,原生 turn 完成 902 次、提交为零。这支持
检查复盘是否改变后续工作,但不能识别原因或推算普遍停滞率;`apply_patch` 为零
也不能排除 shell 命令修改文件。

真实 File/SQLite CLI 验证现覆盖既有 typed-progress 停滞、缺决定时拒绝及修正、
同一固定目标下实际执行局部选择/逆序优先/联合分配三种方法、读取结果,以及
创建下一项可执行的迁移验证 Todo。本次决定可以保留原 Todo;实验结果驱动下一
机制选择,改名本身不算换路。这证明脚本化控制链路,不证明模型采用或 EdgeBench
分数提升;既有负结果与后续实际工作跟进验证仍有必要。
有效复核周期仍由[Goal Vision/replan 契约](../../reference/protocols/goal-vision-replan-contract-v0.md#default-review-cadence)
及 Goal/设备配置负责。六个有效工作 Turn 是默认值;对单个 Goal 启用步幅策略时
沿用实时复盘周期,只有显式设置 Goal 复盘周期,才固定该 Goal 的计数依据或数量。
周期不是 Todo 大小、实验边界或强制换路信号;本细化不改变计数或解除条件。
周期不是 Todo 大小、实验边界或强制换路信号;本细化不改变计数。
策略采用、目标收益、完整成本和交互增益须通过匹配接续等实验验证后再作结论。

敏捷探索可只跑启用策略的测试组,以历史基线作描述性参照;不要求每次迭代都
Expand Down
128 changes: 124 additions & 4 deletions docs/reference/protocols/goal-vision-replan-contract-v0.md
Original file line number Diff line number Diff line change
Expand Up @@ -553,6 +553,25 @@ resolve the execution gap or name the changed inputs/new uncertainty first.
A `verify` action names the grow-or-switch decision its result will inform;
repeated checking without new information is not a default continuation policy.

When evidence weakens the current route, the existing `route_distance` guidance
asks for a small set of genuinely different explanations or approaches before
selecting an experiment: representation, decomposition, search method or
information source as applicable. Contrast predictions and full costs, preserve
the qualified incumbent, and choose a comparison that can change the next
decision. Parameter variants alone are not distinct mechanisms. Missing feedback
is a wait/evidence gap, not evidence that a route failed or alternatives were
exhausted. This is opt-in Agent guidance in the existing axes/reasons and
`next_probe`, not a new proposal field, forced pivot, branch scheduler, permission
or automatic experiment launch. A larger portfolio or a recorded switch does
not establish adoption or benefit; subsequent evidence must still qualify both.

当证据削弱当前路线时,现有 `route_distance` 指引要求先提出少量真正不同的解释或
方法,再选择实验;可考虑表征、问题分解、搜索机制或信息来源。比较各自预测和
完整成本,保留已验证的当前最佳产物,选择能改变下一步决策的对照。相同机制的
参数变体不算不同路线;缺少反馈属于等待或证据缺口,不证明路线失败或其他方法
已经穷尽。这仅补充启用策略后的既有轴、理由与 `next_probe` 指引,不增加字段、
强制转向、分支调度或执行权限。记录了切换或更多候选,不等于执行或效果已经成立。

When a prior accepted decision is delivered, `previous_review` references its
exact `replan-decision-*` id and separately records:

Expand Down Expand Up @@ -597,14 +616,22 @@ adopted it. Existing v2 decisions without pages and historical v1 reads retain
their behavior. Other detail routes are not supplemental citation sources.

The typed owner validates shape, references and declared provenance before the
fresh Vision path exit. When an enabled Goal reaches a periodic review, every
fresh Vision path exit. When an enabled Goal reaches a periodic review or an
existing observed-stall review (`typed_progress_repeat`, `no_progress_streak`,
`repeated_action_loop`, `external_progress_review_drift`), every
accepted exit must also record a current `agent_vision.stride_decision`: a new
progress observation, runnable successor, blocker or coverage-backed terminal
result cannot silently replace that decision. The typed outcome remains legal
and retains its own evidence gate. The decision references both the due
obligation and its delivered review context. A terminal review may attach it to
an evidence-linked `stop` path. A Todo successor transition alone cannot settle
the due review. Other replan sources retain their existing exit policies.
the review. An evidence-linked `continue` or `no_change` decision can retain useful
unfinished work without manufacturing a new progress identifier or successor.
Explicit acceptance/capability outcome restrictions still apply. Other replan
sources retain their existing exit policies; `off` retains the prior stall exits.
This changes the completeness of an enabled review, not stall detection, cadence,
authority or the choice of action.

All attachment text counts toward the existing
1,800-character Vision budget. The live packet exposes field limits. Legacy
recorded declarations and old explicit off-mode attachments retain transport
Expand Down Expand Up @@ -632,11 +659,16 @@ revision 与具体 finding,说明采用、暂缓、无适用证据或读取不
按原 Turn 身份重新审视;不开额外执行权或配额。机器校验提案结构与引用,不能证明
模型判断正确或已提升收益。两种历史 v1 决策保留原义读取兼容,但不能完成新的
启用策略复盘;数据格式更新不增加可选策略版本。
策略启用且周期复盘到期时,所有可接受出口都须记录绑定本次义务的
策略启用且周期复盘到期,或既有停滞复核触发时(`typed_progress_repeat`、
`no_progress_streak`、`repeated_action_loop`、`external_progress_review_drift`),
所有可接受出口都须记录绑定本次义务的
`agent_vision.stride_decision`。新进展、可执行后续任务、阻塞或有覆盖证据的终止
仍可作为结果,但不能代替复盘决定;决定须引用本次义务及交付的复盘上下文,
单独创建后续 Todo 也不能结算到期义务。
终止时可把决定附在有证据的 `stop` 路径上。其他 replan 来源沿用原有出口规则。
终止时可把决定附在有证据的 `stop` 路径上。有证据的 `continue` 或 `no_change`
可以保留尚未完成的有用工作,不必编造新进展标识或后续任务;验收和能力 owner
显式限定的结果仍须遵守。其他 replan 来源和 `off` 模式的停滞出口保持原规则。
这补齐启用后的复核内容,不改变停滞检测、周期、权限或替 Agent 选择动作。

The same opt-in strategy covers ordinary engineering, organizing and maintenance.
`grow` expands a coherent accepted deliverable, including related integration,
Expand All @@ -656,6 +688,94 @@ not improved model decisions or net efficiency.
应在原 Turn 和原复盘义务下补读并重新评估。读取不写入回执或扣额度,分页引用随
决策保留到历史和下次复盘;来源核验不证明模型理解、采用或研究收益。

### Source-bound comparison selection

With Explore planning and `evidence_conditioned_v1` enabled, the existing
turn-context result page can include `comparison_candidates`. Each card links
an actionable, own-or-unclaimed canonical Todo to up to three current results
through that Todo's explicit Explore node references. An outcome contains
`node_id`, `finding_id`, and `source_sha256`, the digest of the full scoped
result. These links survive into `stride_control.explore_basis`; an Agent can
compare the actual result contents before planning further work. Planner rank
does not grant or remove execution permission: eligible linked Todos from the
planner's unselected pool can also supply cards. Negative findings do not
automatically penalize, forbid or replace a route.

A v2 decision may optionally copy one exact outcome and its Todo into
`explore_review.selected_candidate`:

```json
{
"todo_id": "todo_current_probe",
"node_id": "current-question",
"finding_id": "current-result",
"source_sha256": "<64 lowercase hexadecimal characters from the source card>"
}
```

This declaration requires `disposition: "used"`, the selected finding in
`considered_refs`, and `retain:todo_current_probe` in the same Vision's existing
`todo_delta`. Qualification of a fresh Vision stride decision checks the
current source link and exact content digest; an unrelated fresh-path or
successor outcome cannot make an invalid binding qualify as that decision.
Changed source requires reassessment. For an enabled periodic or observed-stall
review listed above, a standalone canonical successor ACK cannot replace the
current evidence-linked stride decision. Other obligation sources and the
disabled strategy keep their existing outcome gates; a successor ACK alone
does not make an attached comparison selection an accepted decision or executed
work.
The optional fields share the existing Vision budget. A decision without this
field, disabled planning, and the strategy's `off` mode retain their existing
behavior and authority.

Cards use the existing result page coordinates and limits. If a card is not
visible, read a current global result page and attach its coordinates in
`explore_review.result_pages`. Increasing the existing `--result-limit` to its
maximum of 20 can expose more Todos linked to the same finding. The page's
`omitted_comparison_candidates` reports remaining omissions; more than 20
matching Todos on one page are not all selectable through this optional
binding. Up to three replayed pages and three considered findings remain the
existing upper bounds. No new pagination or scheduling protocol is created.

The selection records evidence-backed **planning intent** for the retained
Todo. It does not reserve that Todo or force the next scheduler choice. Another
legally admitted Todo may run; its result remains attributable to its own work.
The existing `decision_followthrough.planned_work` and scoped history distinguish
the declared Todo from subsequent evidence, keep execution and Goal gain
unknown without proof, and reject an execution claim supported only by
unrelated work. An identifier or changed source digest cannot certify a new
mechanism. The Agent must explain the mechanism, predicted benefit, evidence
and uncertainty, then perform the chosen work and satisfy the original
acceptance through the existing owners.

The local comparison fixture exercises one original implementation Todo with
three measured alternatives: retaining its program, searching parameters in a
fixed representation, and generating programs from a finite arithmetic grammar.
Each family performs 125 score calls against the same six training inputs.
The choice uses those measured results; an additive positive control can retain
the original program. The selected source is then deployed and executed by an
independent pinned owner verifier on withheld inputs. This checks actual
program adoption within the Todo, not mandatory cross-Todo scheduling or live
provider creativity. Grammar generation CPU, token usage and money are not
equalized by the score-call limit. The controlled Host does not read withheld
inputs before choosing; the fixture is not an adversarial data-access sandbox.
Keep measured choice, reasons and final verifier results in the existing
`path_delta` and Explore findings so the shipped evidence view can show them
beside linked Todo state.

**中文:** 当前结果页可把真实可执行 Todo 与其明确关联的实验结果一起交给复盘,
包括未进入高分候选的合法路线;排名不替代准入。可选 `selected_candidate` 精确
绑定 Todo、节点、finding 及完整来源摘要,同时要求同一 Vision 保留该 Todo。
错源、已变化的结果或没有保留对应工作均不能借别的后继结果混过核验。上述已启用
的周期或停滞复核均不能用单独的后继 ACK 代替当前决策;其他义务和关闭策略时
保留原出口边界,后继 ACK 本身也不证明比较选择已被接受或执行。分页仍沿用
既有坐标与最多 20 项的上限,同一结果关联过多 Todo 时明确显示省略数,不能声称
无限候选均可达。这是有来源的规划意图,不是调度命令;合法 B 任务可以执行,
但不能凭 B 的结果声称所选 A 已执行。实际采用、机制差异和原验收仍需真实证据。
受控实验比较停留原式、局部调参与结构语法搜索,评分调用预算相同;它证明原
Todo 内的实际选程序、部署与独立验收,不证明付费模型创造力、完整成本或普遍
研究收益。选择、理由和实际结果复用现有路径说明、Explore finding 与任务回读。

### Path Delta

A vision packet may include a top-level `path_delta` object; `goal_path_delta_v0`
Expand Down
Loading
Loading