soft3/radio/audit/2026-10-12-bao-proof-research/records/initial-lock.stdout