Skip to content

Agent-bilevel: horizon-faithful plan capture + explorer fixes (solves plain domino 5/5 across 5 seeds)#42

Merged
yichao-liang merged 4 commits into
masterfrom
agent-bilevel-domino-5of5
Jun 29, 2026
Merged

Agent-bilevel: horizon-faithful plan capture + explorer fixes (solves plain domino 5/5 across 5 seeds)#42
yichao-liang merged 4 commits into
masterfrom
agent-bilevel-domino-5of5

Conversation

@yichao-liang

Copy link
Copy Markdown
Collaborator

✅ Result: full method solves plain domino in 5/5 tasks across 5/5 seeds (25/25), no oracle samplers

Clean re-cut of #41 off current master so the commit list reflects only the new work (4 commits, ~400 lines across 11 files) instead of the 276-commit list #41 inherited from squash-merge history. Same net diff; supersedes #41.

Plan capture mirrors the real executor

  • Stop on first failure (stop_on_failure=True): abort at the first failing option (0-action collision / not-initiable / env failure) instead of forward-simulating past it.
  • Horizon cap: a plan whose goal is only reached after more than CFG.horizon low-level steps is reported NOT EXECUTABLE and not captured, so the agent shortens the plan instead of stopping on a false positive.

Explorer fixes

  • Interactive tools pointed at the explore task (not a stale test task), fixing the phantom-goal issue.
  • Recover tool-validated capture and seed the info-gain search.

Config / tooling

  • agent_sdk_reasoning_effort setting, plumbed through local/docker sandboxes.
  • Built-in tools can be included in the solve-prompt tool names.
  • Domino horizon raised 400 → 500.

Tests

  • tests/agent_sdk/test_bilevel_sketch_samplers.py
  • tests/explorers/test_agent_bilevel_explorer.py

Stop forward simulation at the first failing option (stop_on_failure) and
reject plans whose goal is only reached beyond CFG.horizon low-level steps,
so capture no longer reports goals the real closed-loop rollout never reaches.
Surfaces NOT EXECUTABLE so the agent shortens the plan instead of stopping on
a false positive.
…plore-task tools

Point the interactive tools at the explore task (not a stale test task),
recover tool-validated capture, and seed the info-gain search.
Add agent_sdk_reasoning_effort setting plumbed through the local/docker
sandboxes, and allow including built-in tools in the solve-prompt tool names.
@yichao-liang yichao-liang added the solved: domino 5/5 across 5 seeds Full method solved plain domino in 5/5 tasks across 5/5 seeds label Jun 29, 2026
@yichao-liang yichao-liang merged commit 95239a7 into master Jun 29, 2026
14 checks passed
@yichao-liang yichao-liang deleted the agent-bilevel-domino-5of5 branch June 29, 2026 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

solved: domino 5/5 across 5 seeds Full method solved plain domino in 5/5 tasks across 5/5 seeds

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant