tool

`get_issue` v1

first ran 2026-11-09 under commit 839a861 · sha256 9f4a3a5de94f

This part is recorded by its hash only. Its text will be published with the run viewer, once the rules for what in a run is public are in place.