v1.0.4

What's Changed

• Point the emailed sign-in link at a configurable website route by @rob-dendrite in #73
• Run lint, the test suite and the schema-drift proof on every pull request by @rob-dendrite in #72
• Grant verification attempts through invitation links by @rob-dendrite in #74
• Allow 10 MiB proof submissions with a 12 MiB bundle cap by @kingcharlezz in #71
• Accept a submission authorised by the browser session alone by @rob-dendrite in #75
• Make the trusted Lean cache readable to the verifier user by @rob-dendrite in #76
• Release 259 reviewed targets and activate 10 MiB submissions by @kingcharlezz in #77
• Create conjectures_reviewer in cluster init so prod dumps restores properly by @rob-dendrite in #78
• Feat/retire miner hotkeys by @rob-dendrite in #80
• Fix browser .lean uploads rejected by free preflight by @kingcharlezz in #81
• Reinstate Erdos 96 and preserve its August 5 bounty age by @rob-dendrite in #84
• Recover stalled deposit scans after chain disconnects by @kingcharlezz in #86
• Add Brevo delivery and email/password sign-in by @rob-dendrite in #83
• Restore a development database from a production dump in one command by @rob-dendrite in #89
• Bind the hotkey retirement to inserts instead of freezing history by @rob-dendrite in #85
• Use a 15-day bounty ramp to 1/8 and cap defect awards by @kingcharlezz in #88
• fix: Make Discord optional and stop a nominated hotkey stranding a payout by @rob-dendrite in #90
• Pin Green 44 retirement and align active pool counts by @kingcharlezz in #87
• feat: expose submitted Lean source to reviewers by @sagitarim in #82
• Keep the payout cursor at finality while no payout is outstanding by @rob-dendrite in #91
• Record every treasury payout, then match it by @rob-dendrite in #92
• merge DEV by @rob-dendrite in #93

Full Changelog: v1.0.3...v1.0.4