fix(2119): stop reporting empty `--model formal-ai` runs as successes - #2120

Merged

konard merged 19 commits into

mainfrom

issue-2119-ae2d4c9d7f6d

Aug 1, 2026

Commits on Jul 30, 2026

Initial commit with task details
konard
committed
6dd65fc
docs(2119): preserve raw evidence for formal-ai case study
konard
committed
25e7a6a
fix(2119): frame streamed JSON so token usage is not lost
konard
committed
2119700
fix(2119): stop redacting token counters and JSON braces as credentials
konard
committed
2072f21
fix(2119): report formal-ai as Link.Assistant at $0.00 for every tool
konard
committed
8f7f173
fix(2119): one auto-restart budget with N/M labels and a hard stop
konard
committed
f8d4c91
fix(2119): stop leaking shell quotes into PR titles and API arguments
konard
committed
46b2df2
fix(2119): never report an empty pull request as changes or as ready to merge
konard
committed
bd23dae
fix(2119): stop AI tool scratch state from driving the auto-restart loop
konard
committed
b1065b3
fix(2119): publish honest working session summaries
konard
committed
12f27c0
fix(2119): frame gemini and qwen stream JSON by balanced values
konard
committed
16d8b24
fix(2119): do not count the solver's own placeholder as a change
konard
committed
a40825e
docs(2119): deep case study of the formal-ai reproduction runs
konard
committed
75110d5
docs(2119): link the filed upstream issues (formal-ai#879, agent#285)
konard
committed
0a71968
chore(2119): add the release changeset and keep archived evidence verbatim
konard
committed
6b3df3c
chore(2119): drop the solver's own PR placeholder
konard
committed
5c74bef

Commits on Aug 1, 2026