Plectis 0.5.0 makes the public project substantially easier to inspect from a cold clone. It adds a compact coding-agent entry, a checked paper-corpus guide with source/PDF mirrors and hashes, and a public front-door contract; it also rewrites the README around the first runnable action and preserves claim ceilings across source, install, and standalone export.\n\nThe paired Lean companion is bound to public commit b028075c6fff596143db012d6f73912f2e30f731: 992 modules, 151,761 declarations, 149,812 theorem-like declarations, and 300 principal claim links.\n\nValidation: Python 3.11–3.13 CI, smoke/timing, CodeQL, local make ci (466 passed, 2 skipped), public-site parity, and exact live hashes for all 11 hosted papers.\n\nSee CHANGELOG.md for the full release notes.