soft3/radio/audit/2026-10-12-bao-bounded-proof/records/parent-clippy-all-v1.stdout