Folder
Homonyms
soft3/radio/audit/2026-10-12-bao-proof-research
Bounded proof research evidence Research and proposed PLAN only. No bounded-proof production API, implementation review or whole Kadek foundation-row closure is claimed. Radio measurements use a96d86e28d384cdf656aadc4282c78c0c170c102 and Git Hemera d5f0a09539360934fb32db9b2e15a91995607db6. Ordinary…