tool

`record_claim_instance` v2

first ran 2026-11-10 under commit 12cc442 · sha256 fdfa396fc0b1 · v1

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.