tool

`petition_mandate` v3

first ran 2026-11-13 under commit 044c052 · sha256 5398c5a12212 · v2

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.