Example reports
Two native agent workflows on controlled tasks. Follow the observed behavior, a change selected after reviewing the results, and what the rerun showed.
Native runs · synthetic tasks · small development samples
01 / OpenSRE
Both incidents recovered safely. One extra action after the accepted report exposed a stopping-contract mismatch.
The fix uses OpenSRE’s existing termination signal in our demo binding. Conflicting task cues and an instruction-delivery gap limit attribution; no diagnosis improvement is claimed.
02 / OpenKritt
A tenant-boundary finding came with a reproducible request. We required execution evidence and clarified the reporting contract.
This combines workflow and contract changes. The result is specific to a hinted synthetic source pair. The original-case scan took longer: 296 → 532 seconds.
These are curated report summaries, with one trial per case and candidate. They do not establish general reliability or security accuracy. Raw local captures and the experimental harnesses are not distributed. The public offline examples below demonstrate separate, reproducible tasks without model calls.