Magpie v0.1.9

• Run the formal checks every night, deeper, and flag failures
• Sync the verify-naming skill to eecc8f3
• Check file names against any text, and keep them whole and short enough
• Format epub.ts
• Sync the verify-import-fuzz skill to 72940ed
• Fuzz importing, and fix the five ways damaged books broke it
• Sync the verify-determinism skill to be68bec
• Build the same book byte for byte at any time and in any time zone
• Sync the verify-drm skill to ac71b60
• Check DRM with random sessions, and keep a locked book's Calibre cover through a power cut
• Sync the crash-safety and Undo skills to 59d1f71
• Make every change survive a power cut
• Add the verify-library-undo skill
• Keep edits and undo steps safe from background jobs, and model-check it
• Add pstack's formal verification skills

First time opening it? macOS will warn you because Magpie is not notarized yet. Open System Settings › Privacy & Security and click Open Anyway. Details: https://magpie.gmfoster.com/#first-open

This build is for Macs with Apple silicon.