{"artifact":{"id":"art-hist-20260801-lean-kernel-postmortem","dedupe_key":"91116a2e8389b6dfec403de8914252d23e9e431df9ddfc9d27cab248c8b6f154","canonical_url":"https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/","evidence_locator":"","artifact_type":"original_developer_reconstruction_of_july_incident","title":"Postmortem for Kernel Soundness Bug #14576","summary":"","creator_entities":[],"released_at":"2026-08-01T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-17T17:17:03.345Z","updated_at":"2026-10-17T17:17:03.345Z"},"sources":[{"id":"src-hist-20260801-lean-kernel-postmortem","dedupe_key":"332a960522a6deecb3389d844b724f8961d2c7c9871281b4da480261c2c340e0","name":"","publisher":"Leonardo de Moura / Lean","url":"https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/","evidence_locator":"","source_type":"original_developer_incident_postmortem","primary_or_secondary":"","retrieved_at":"2026-10-17T16:16:00.000Z","published_at":"2026-08-01T00:00:00.000Z","author":null,"metadata":[],"created_at":"2026-10-17T17:17:03.344Z","updated_at":"2026-10-17T17:17:03.344Z"}]}