Skip to content

[FEAT]:- The solver agent with the harness - #11

Merged
Circuit-Overtime merged 85 commits into
mainfrom
feat/solve-pipeline
Aug 4, 2026
Merged

[FEAT]:- The solver agent with the harness#11
Circuit-Overtime merged 85 commits into
mainfrom
feat/solve-pipeline

Conversation

@Circuit-Overtime

@Circuit-Overtime Circuit-Overtime commented Aug 3, 2026

Copy link
Copy Markdown
Member

Changes Made

  • agents/solve/ — a bounded solve squad: core.py orchestrates fork resolution → comprehension → edit → verify → review; harness.py supervises a CCR Node coding harness (qwen-coder) with Read/Glob/Grep/Edit/Write only, stripping all credentials from the harness environment; model.py/models.py handle strictly-validated structured plans, steps, and review verdicts; edit.py grounds every edit to a retrieved in-repo file; git.py runs allowlisted verification commands shell-free; failure.py converts failures into a doctor_pending handoff with cleanup manifest; verification_plan.py infers the missing verification command deterministically from manifests.
  • .github/workflows/solve.yml — runs Solve + Submit in one isolated runner after a successful Vet gate (or via workflow_dispatch owned-test mode), with a 20-minute wall clock and committed-back state/solve.json/state/ledger.json.
  • agents/submit/__main__.py — validates a ready_to_submit solve state, passes the PR title/body through the qwen-safety gate, pushes once, and opens a disclosed [ELIXPO] PR ending in Fixes #N.
  • agents/vet/ — shared estimated_minutes (1–15) gate, owned-test mode with writable-repository verification, and agents/vet/github.py moved to lib/github/issues.py for reuse across squads.
  • lib/solve_policy.py + config/solve.yaml — single declarative source for token, time, file, setup/verification-command, and blocked-change limits shared by Vet, Solve, and Submit.
  • rtk/router.pyrecord_external_usage so harness-model tokens land in the ledger; lib/workspace.py reworked to pass GitHub auth via process env never CLI args.
  • skills/ — 10 new SKILL.md packages (solve-bounded-issue, implement-exact-edit, verify-repository-change, submit-autonomous-pr, etc.), each with agents/openai.yaml discovery metadata.
  • agents/comprehend/bundle.py — decode/splat unpacking for the bounded repo bundle into the fork workspace.
  • tests/test_solve.py (397), test_submit.py, test_comprehend.py, plus vet/rtk/lib additions.
  • config/models.yaml — solve roles to qwen-coder; docs (pollinations.md, refactor_plan.md, README.md) updated.

Checklist

  • python -m pytest tests/ clean
  • .env changes look SOPS-encrypted, not raw secrets
  • Tested locally:

…nfig file and the models to become the solver agents
… running only that validator against the nine skill folders; it does not execute Solve, contact GitHub/Pollinations, clone a repository, or run project tests.
@elixpoo elixpoo added FEATURE Category: Feature MEDIUM Priority: Medium TYPE: FEATURE Task type: Feature labels Aug 3, 2026
@Circuit-Overtime
Circuit-Overtime merged commit 29d1912 into main Aug 4, 2026
0 of 2 checks passed
@elixpoo

elixpoo commented Aug 4, 2026

Copy link
Copy Markdown
Collaborator

[CHANGE LOG] 📋 Changelog updated for PR #11. View changelog

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

FEATURE Category: Feature MEDIUM Priority: Medium TYPE: FEATURE Task type: Feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants