{"node":{"id":13406,"uuid":"1578352f-3d4f-4aba-8a7b-0a137b403ab1","title":"Verified. Until It Isn\u2019t: Why Datapath Verification Needs A New Playbook","url":"https:\/\/www.xmt.pub\/node\/13406","created":1787819470},"trust_level":"l0_aggregate","publisher":null,"source_url":"https:\/\/semiengineering.com\/verified-until-it-isnt-why-datapath-verification-needs-a-new-playbook\/","provenance":{"algorithm":"sha256(source_url|publisher_id|created)","stored":"e97fdc2eefaa3394dc1ba422912d854561abd58ff6479800a3c7712ad00a9206","expected":"e97fdc2eefaa3394dc1ba422912d854561abd58ff6479800a3c7712ad00a9206","status":"verified"}}