Repository navigation

Report a write tool's outcome as unknown when GitHub's answer is lost or is a 5xx - #17

Merged

nissa-seru merged 3 commits into

anima-research:mainfrom

nissa-seru:fix/lost-answer

Oct 27, 2026

Merged

Report a write tool's outcome as unknown when GitHub's answer is lost or is a 5xx#17
nissa-seru merged 3 commits into
anima-research:mainfrom
nissa-seru:fix/lost-answer

Commits on Oct 27, 2026
- Test what a tool says when a write's answer is lost
  Ogden-2688
  committed
  d520453
- Say a write's outcome is unknown when its answer is lost
  Ogden-2688
  committed
  fe29c40
- Log an uncertain comment write, and read the adapter's error by its fields
  Ogden-2688
  committed
  72616ec