{"id":22614,"date":"2026-03-24T12:45:20","date_gmt":"2026-03-24T11:45:20","guid":{"rendered":"https:\/\/www.prover.com\/?p=22614"},"modified":"2026-03-24T12:52:25","modified_gmt":"2026-03-24T11:52:25","slug":"engineering-in-the-age-of-ai-and-executable-specifications","status":"publish","type":"post","link":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/","title":{"rendered":"Engineering in the age of AI and executable specifications"},"content":{"rendered":"<p>Artificial intelligence is transforming engineering. Systems are designed faster, code is generated automatically, and prototypes can be produced in hours instead of months. Across industries, development cycles are compressing while system complexity continues to grow.<\/p>\n<p>But acceleration creates a new challenge: <strong>understanding and control.<\/strong><\/p>\n<p>When systems are generated rapidly, whether by humans or AI, the limiting factor is no longer production capability. It is the ability to ensure that what has been built is correct, aligned with intent, and robust under all relevant conditions.<\/p>\n<p>This is not only a safety issue. It is a systems engineering issue.<\/p>\n<h3>The real bottleneck: Clarity of intent<\/h3>\n<p><strong>Many engineering failures do not originate in code. They originate in ambiguity:<\/strong><\/p>\n<ul>\n<li>Requirements that are open to interpretation<\/li>\n<li>Assumptions that are not made explicit<\/li>\n<li>Incomplete descriptions of system behavior<\/li>\n<\/ul>\n<p>AI amplifies this problem. It can generate implementations quickly, but it cannot resolve intent ambiguities. If the requirement is unclear, the generated result will faithfully encode that uncertainty.<\/p>\n<p>The solution is not slower development. It is stronger specification.<\/p>\n<p>Precise, structured, machine-verifiable specifications create a stable foundation for accelerated engineering. They turn intent into something analyzable, testable, and enforceable.<\/p>\n<p><img decoding=\"async\" class=\"lazyload alignnone size-full wp-image-22637\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get.png\" alt=\"Specifications AI\" width=\"1116\" height=\"428\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271116%27%20height%3D%27428%27%20viewBox%3D%270%200%201116%20428%27%3E%3Crect%20width%3D%271116%27%20height%3D%27428%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get-200x77.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get-300x115.png 300w, https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get-400x153.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get-600x230.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get-768x295.png 768w, https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get-800x307.png 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get-1024x393.png 1024w, https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/What-do-we-get.png 1116w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 1116px) 100vw, 1116px\" \/><\/p>\n<h3>Executable models as a tool for understanding<\/h3>\n<p>One of the most powerful shifts in modern engineering is the transformation of specifications into executable models.<\/p>\n<p>When specifications are expressed in a formal, structured way, they can be transformed into digital representations of system behavior, executable models that simulate how the system should act.<\/p>\n<p>This fundamentally changes the early phases of development.<\/p>\n<p>Instead of validating understanding through review alone, teams can:<\/p>\n<ul>\n<li>Execute scenarios against the intended behavior<\/li>\n<li>Detect inconsistencies before implementation<\/li>\n<li>Prototype system logic before committing to architecture<\/li>\n<li>Align stakeholders around observable behavior<\/li>\n<\/ul>\n<p>Executable models are not merely simulation tools. They are instruments for shared understanding. They reduce ambiguity at the source.<\/p>\n<h3>Conformance and validation in an automated world<\/h3>\n<p>As automation increases, so must verification rigor.<br \/>\nWhether logic is handwritten, configured, or AI-generated, it must conform to the original intent. Formalized specifications allow automated conformance checking between:<\/p>\n<ul>\n<li>Requirements<\/li>\n<li>Design<\/li>\n<li>Implementations<\/li>\n<\/ul>\n<p>This creates a closed loop in which generated artifacts can be systematically validated against defined behavior.<\/p>\n<p>Verification and validation no longer depend solely on late-phase testing. They become continuous activities embedded in the development process.<\/p>\n<h3>The role of formal proof<\/h3>\n<p>Testing remains essential. But testing is inherently selective. It demonstrates that a system behaves correctly in tested scenarios, not that it behaves correctly in all scenarios.<\/p>\n<p>Formal verification adds a fundamentally different dimension. Proving that defined properties always hold provides exhaustive logical coverage of the specified behavior.<\/p>\n<p>This has two major effects:<\/p>\n<ul>\n<li>It reduces reliance on extensive test campaigns for certain defect classes.<\/li>\n<li>It strengthens the evidence base for safety, reliability, and correctness claims.<\/li>\n<\/ul>\n<p>Formal proof does not replace engineering judgments. It augments it with mathematical certainty where it matters most.<\/p>\n<p>In complex systems, particularly those developed with AI assistance, this level of rigor becomes a strategic advantage.<\/p>\n<h3>Engineering for both speed and confidence<\/h3>\n<p>The perceived tension between speed and rigor is a false dichotomy.<\/p>\n<p>Strong specifications enable acceleration. Executable models enable early validation. Automated conformance checking maintains alignment. Formal proofs provide deep assurance. Together, they create a development process that is both faster and more controlled.<\/p>\n<p>Prover\u2019s methods support this paradigm by:<\/p>\n<ul>\n<li>Transforming specifications into executable system models<\/li>\n<li>Enabling early validation and prototyping<\/li>\n<li>Providing automated conformance checking<\/li>\n<li>Supporting formal verification to strengthen evidence and reduce excessive testing<\/li>\n<\/ul>\n<p>The result is not only improved safety. It is improved understanding, improved predictability, and improved control over increasingly complex systems.<\/p>\n<p>In the age of AI-driven engineering, the competitive edge will not belong to those who generate the most artifacts but to those who can demonstrate, with clarity and rigor, that their systems behave as intended.<\/p>\n<p>Acceleration is inevitable. Assurance must be engineered.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Engineering is accelerating with AI, but clarity and control are now the real bottlenecks. Learn how executable specifications and formal verification enable faster, more reliable systems.<\/p>\n","protected":false},"author":28,"featured_media":22616,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[169],"tags":[],"class_list":["post-22614","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Engineering in the age of AI and executable specifications - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"AI is speeding up engineering, but clarity of intent is critical. Discover how executable specifications and formal verification ensure correct, reliable systems.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Engineering in the age of AI and executable specifications - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"AI is speeding up engineering, but clarity of intent is critical. Discover how executable specifications and formal verification ensure correct, reliable systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2026-03-24T11:45:20+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-03-24T11:52:25+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1344\" \/>\n\t<meta property=\"og:image:height\" content=\"706\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Mats Boman\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Mats Boman\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/\"},\"author\":{\"name\":\"Mats Boman\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/139f31e9d819c57498c096e10c6c7fe1\"},\"headline\":\"Engineering in the age of AI and executable specifications\",\"datePublished\":\"2026-03-24T11:45:20+00:00\",\"dateModified\":\"2026-03-24T11:52:25+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/\"},\"wordCount\":638,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg\",\"articleSection\":[\"AI\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/\",\"url\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/\",\"name\":\"Engineering in the age of AI and executable specifications - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg\",\"datePublished\":\"2026-03-24T11:45:20+00:00\",\"dateModified\":\"2026-03-24T11:52:25+00:00\",\"description\":\"AI is speeding up engineering, but clarity of intent is critical. Discover how executable specifications and formal verification ensure correct, reliable systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg\",\"width\":1344,\"height\":706,\"caption\":\"Engineering AI executable specifications\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"AI\",\"item\":\"https:\/\/www.prover.com\/categories\/ai\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Engineering in the age of AI and executable specifications\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/139f31e9d819c57498c096e10c6c7fe1\",\"name\":\"Mats Boman\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/371e8f4f00ebc893c69e3160702faa7be106129442fda618d667e5cad2b780b5?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/371e8f4f00ebc893c69e3160702faa7be106129442fda618d667e5cad2b780b5?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/371e8f4f00ebc893c69e3160702faa7be106129442fda618d667e5cad2b780b5?s=96&d=mm&r=g\",\"caption\":\"Mats Boman\"},\"url\":\"https:\/\/www.prover.com\/author\/mats-boman\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Engineering in the age of AI and executable specifications - Prover - Engineering a Safer World","description":"AI is speeding up engineering, but clarity of intent is critical. Discover how executable specifications and formal verification ensure correct, reliable systems.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/","og_locale":"en_US","og_type":"article","og_title":"Engineering in the age of AI and executable specifications - Prover - Engineering a Safer World","og_description":"AI is speeding up engineering, but clarity of intent is critical. Discover how executable specifications and formal verification ensure correct, reliable systems.","og_url":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2026-03-24T11:45:20+00:00","article_modified_time":"2026-03-24T11:52:25+00:00","og_image":[{"width":1344,"height":706,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg","type":"image\/jpeg"}],"author":"Mats Boman","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Mats Boman","Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/"},"author":{"name":"Mats Boman","@id":"https:\/\/prover.com\/#\/schema\/person\/139f31e9d819c57498c096e10c6c7fe1"},"headline":"Engineering in the age of AI and executable specifications","datePublished":"2026-03-24T11:45:20+00:00","dateModified":"2026-03-24T11:52:25+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/"},"wordCount":638,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg","articleSection":["AI"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/","url":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/","name":"Engineering in the age of AI and executable specifications - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg","datePublished":"2026-03-24T11:45:20+00:00","dateModified":"2026-03-24T11:52:25+00:00","description":"AI is speeding up engineering, but clarity of intent is critical. Discover how executable specifications and formal verification ensure correct, reliable systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2026\/03\/Engineering-AI-executable-specifications.jpg","width":1344,"height":706,"caption":"Engineering AI executable specifications"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/ai\/engineering-in-the-age-of-ai-and-executable-specifications\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"AI","item":"https:\/\/www.prover.com\/categories\/ai\/"},{"@type":"ListItem","position":3,"name":"Engineering in the age of AI and executable specifications"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/139f31e9d819c57498c096e10c6c7fe1","name":"Mats Boman","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/371e8f4f00ebc893c69e3160702faa7be106129442fda618d667e5cad2b780b5?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/371e8f4f00ebc893c69e3160702faa7be106129442fda618d667e5cad2b780b5?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/371e8f4f00ebc893c69e3160702faa7be106129442fda618d667e5cad2b780b5?s=96&d=mm&r=g","caption":"Mats Boman"},"url":"https:\/\/www.prover.com\/author\/mats-boman\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/22614","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/28"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=22614"}],"version-history":[{"count":8,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/22614\/revisions"}],"predecessor-version":[{"id":22639,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/22614\/revisions\/22639"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/22616"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=22614"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=22614"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=22614"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}