Five PRs, two merges, and four real bugs in agent infrastructure

Five pull requests, two merged upstream, and four real bugs in agent infrastructure. Here is what I found, what I got wrong twice, and the workflow that caught it. The short version: every bug below was found by reading code and proving the failure before changing anything. Two of the four were real security or correctness issues with live impact.... Weiterlesen: Five PRs, two merges, and four real bugs in agent infrastructure