Commits

Branch selector

main

User selector

All users

Datepicker

All time

Commit history

Commits on Jul 11, 2026

• solver: train_program bails before the initial verify once the budget is spent (kills the 41s overshoot)

  Show description for 48463cf
  robertcprice

  committedJul 11, 2026
  48463cf

  Copy full SHA for 48463cf
  More actions

• py: correct the selection_sort injection — SWE-bench-lite sweep now 4/4 on keon/algorithms

  Show description for ffdb6fb
  robertcprice

  committedJul 11, 2026
  ffdb6fb

  Copy full SHA for ffdb6fb
  More actions

• solver: budget guard skips expr_only too — unify on route_is_unbounded_training

  Show description for f114e03
  robertcprice

  committedJul 11, 2026
  f114e03

  Copy full SHA for f114e03
  More actions

• py: localize by failing-TEST name + a real-repo SWE-bench-lite sweep harness

  Show description for 976e6bd
  robertcprice

  committedJul 11, 2026
  976e6bd

  Copy full SHA for 976e6bd
  More actions

• solver: try cheap deterministic routes before the unbounded training routes (fixes the abs 240s stall)

  Show description for 1c9f917
  robertcprice

  committedJul 11, 2026
  1c9f917

  Copy full SHA for 1c9f917
  More actions

• py: wrong-value localization + function-scoped repair (real off-by-one fixed on keon/algorithms)

  Show description for 1bdad41
  robertcprice

  committedJul 11, 2026
  1bdad41

  Copy full SHA for 1bdad41
  More actions

• phase2: schema_component fills + verifies in-process — one command, prose to a cargo-verified crate

  Show description for 93eddee
  robertcprice

  committedJul 11, 2026
  93eddee

  Copy full SHA for 93eddee
  More actions

• repo-agent: repair every function the failing tests name, in one patch — compound repair grounded in the repo

  Show description for 2b0fdec
  robertcprice

  committedJul 11, 2026
  2b0fdec

  Copy full SHA for 2b0fdec
  More actions

• py: localize from pytest frames too — validated on a REAL repo (keon/algorithms)

  Show description for e5eaa20
  robertcprice

  committedJul 11, 2026
  e5eaa20

  Copy full SHA for e5eaa20
  More actions

• py: repo-level auto-localization for py_repair (SWE-bench shape)

  Show description for 39a7462
  robertcprice

  committedJul 11, 2026
  39a7462

  Copy full SHA for 39a7462
  More actions

• py: never-wrong Python repo-repair path (VibeThinker + test oracle) — the SWE-bench direction

  Show description for a7f9e8c
  robertcprice

  committedJul 11, 2026
  a7f9e8c

  Copy full SHA for a7f9e8c
  More actions

Commits on Jul 10, 2026

• repo-agent: target the CURRENTLY-failing function so multi-function crates converge

  Show description for d4f64f5
  robertcprice

  committedJul 11, 2026
  d4f64f5

  Copy full SHA for d4f64f5
  More actions

• bench: deeper frontier map — struct-field, loop-bound, multi-function helper bugs

  Show description for abb27d7
  robertcprice

  committedJul 11, 2026
  abb27d7

  Copy full SHA for abb27d7
  More actions

• Merge remote-tracking branch 'origin/main'

  robertcprice

  committedJul 11, 2026
  5df30e8

  Copy full SHA for 5df30e8
  More actions

• repo-agent: canonicalize a front-door op's name to the repo fn so mismatched-name library ops repair

  Show description for 6fe92ab
  robertcprice

  committedJul 11, 2026
  6fe92ab

  Copy full SHA for 6fe92ab
  More actions

• Merge remote-tracking branch 'origin/main'

  robertcprice

  committedJul 11, 2026
  225ebda

  Copy full SHA for 225ebda
  More actions

• agent: localize the mutation search to the function NAMED in the failing assertion

  Show description for 61a7473
  robertcprice

  committedJul 11, 2026
  61a7473

  Copy full SHA for 61a7473
  More actions

• repo-agent: recover the asserted call-name so the test-mined stage repairs mis-named + MISSING functions

  Show description for b8bfc19
  robertcprice

  committedJul 11, 2026
  b8bfc19

  Copy full SHA for b8bfc19
  More actions

• agent: never mutate a const/static declaration value (a real-bug probe caught this cheat)

  Show description for 6277c26
  robertcprice

  committedJul 11, 2026
  6277c26

  Copy full SHA for 6277c26
  More actions

• agent: consult the model prior before the overfit-prone re-synthesis on under-determined repairs

  Show description for 99c6d0f
  robertcprice

  committedJul 11, 2026
  99c6d0f

  Copy full SHA for 99c6d0f
  More actions

• repo-agent: bridge a repo &str param to the op's owned String body (unblocks snake->camel repo fns)

  Show description for c0d152b
  robertcprice

  committedJul 11, 2026
  c0d152b

  Copy full SHA for c0d152b
  More actions

• repo-agent: de-dup helpers in multi-fn reshape — a synthesized composition emitting a helper twice no longer fails E0428

  Show description for a0d1436
  robertcprice

  committedJul 11, 2026
  a0d1436

  Copy full SHA for a0d1436
  More actions

• agent: repair-first ordering + never-mutate-tests soundness fix + bool-negation mutation

  Show description for 7108a43
  robertcprice

  committedJul 11, 2026
  7108a43

  Copy full SHA for 7108a43
  More actions

• bench: model-free bug-repair bench with held-out generalization scoring

  Show description for d19ccb4
  robertcprice

  committedJul 10, 2026
  d19ccb4

  Copy full SHA for d19ccb4
  More actions

• Merge remote-tracking branch 'origin/main'

  robertcprice

  committedJul 10, 2026
  9788006

  Copy full SHA for 9788006
  More actions

• agent: localize mutation search to the failing function + fix panic-line path extraction

  Show description for 6f71c4e
  robertcprice

  committedJul 10, 2026
  6f71c4e

  Copy full SHA for 6f71c4e
  More actions

• repo-agent: extend the pre-emption gate to ALL prose-grounded stages + repair the merge that broke lib tests

  Show description for 4bbfb36
  robertcprice

  committedJul 10, 2026
  4bbfb36

  Copy full SHA for 4bbfb36
  More actions

• repo-agent: extract the failing FILE PATH from a panic line (was the whole message)

  Show description for 03abe14
  robertcprice

  committedJul 10, 2026
  03abe14

  Copy full SHA for 03abe14
  More actions

• agent: RE-WIRE model-free tiers after merge + underflow-guard mutation — real bytesize bug fixed MODEL-FREE

  Show description for 0d18646
  robertcprice

  committedJul 10, 2026
  0d18646

  Copy full SHA for 0d18646
  More actions

• merge origin/main: sibling's snake_to_camel fix + String-wrapped assert mining (clean auto-merge)

  Show description for 1f67072
  robertcprice

  committedJul 10, 2026
  1f67072

  Copy full SHA for 1f67072
  More actions

• merge origin/main: integrate sibling agent's repo-agent work (front_door/library_probe/reshape) with this session's

  Show description for 545928b
  robertcprice

  committedJul 10, 2026
  545928b

  Copy full SHA for 545928b
  More actions

• repo-agent: string transforms reachable in the mined path — FIX buggy snake_to_camel op + mine String-wrapped asserts

  Show description for 482879a
  robertcprice

  committedJul 10, 2026
  482879a

  Copy full SHA for 482879a
  More actions

• roadmap: §0.05 — fully-synergistic union 95% (engine+model, complementary verified lanes, beats frontier)

  Show description for c519d2a
  robertcprice

  committedJul 10, 2026
  c519d2a

  Copy full SHA for c519d2a
  More actions

• synergy: fully-synergistic dual-lane solver — engine 73% + model 73% -> UNION 95%, 0 confident-wrong

  Show description for a7e546b
  robertcprice

  committedJul 10, 2026
  a7e546b

  Copy full SHA for a7e546b
  More actions

• repo-agent: gencode_normalize — borrow-iterate LOCAL Vecs (not just params) so array-building library ops compile

  Show description for 593b2f5
  robertcprice

  committedJul 10, 2026
  593b2f5

  Copy full SHA for 593b2f5
  More actions