{"rewrite":{"id":"r_e0f0e77475bedeeea65f62e8","clusterId":"c_a6f059ce0b199b8d5106f8a8","slug":"ai-assurance-opens-two-public-pocs-for-verifiable-execution-controls","model":"deepseek-v4-1-flash","headline":"AI Assurance Opens Two Public PoCs for Verifiable Execution Controls","summary":"AI Assurance Inc., led by representative director Hidemitsu Maeki, published two public proofs of concept for cyber assurance that confirm both the conditions under which an AI or automated system may act and what it actually did. The demos cover cold chain handovers and inter-company connectivity for a verifiable physical internet concept. Both public models passed automated checks including formal verification with the Lean 4 theorem prover.","whyItMatters":"By making the permit decision and the post-execution result check separately auditable, the company is pitching assurance at the point where critical operations are approved, not only where attacks are detected.","webCardHtml":"\u003cp\u003eThe company\u0026#39;s framing puts formal verification at the core, with evidence re-verification and runtime enforcement controls around it. Approvals and AI proposals are not treated as execution authority as-is; conditions are checked immediately before execution and matched against results afterward.\u003c/p\u003e\u003cp\u003eThe cold chain demo holds when records are insufficient, proceeds when the gap is filled, suppresses a duplicate handover on resend, and quarantines a result that conflicts with the confirmation target. The company states the technology does not replace attack detection or authentication and connects with them instead.\u003c/p\u003e\u003cul\u003e\u003cli\u003e\u003cstrong\u003ePoC 1: Cold chain handover\u003c/strong\u003e: Holds on missing records, proceeds when supplemented, suppresses duplicate handovers, quarantines conflicting results\u003c/li\u003e\u003cli\u003e\u003cstrong\u003ePoC 2: Inter-company connectivity\u003c/strong\u003e: Confirms the other party\u0026#39;s result before switching connection destinations, for a verifiable physical internet concept\u003c/li\u003e\u003c/ul\u003e","blueskyPost":"Lean 4 formal verification is part of AI Assurance's cold chain and inter-company handoff demos, tying permission checks to a record of what the system actually did.","twitterPost":"AI Assurance's cold chain and inter-company handoff demos passed Lean 4 formal verification, tying permission checks to a record of what the system did.","threadsPost":"AI Assurance's cold chain and inter-company handoff demos passed automated checks that include Lean 4 formal verification. The PoCs confirm the conditions for an action and what the system actually did.","newsletterBlurb":"AI Assurance Inc. released two public proofs of concept for cyber assurance that tie pre-execution permit checks to post-execution result confirmation. The demos cover cold chain handovers and inter-company connectivity. The company says both public models passed automated checks including formal verification with Lean 4.","attributionJson":"[{\"source\":\"ASCII.jp\",\"url\":\"https://ascii.jp/elem/000/004/447/4447645/?rss\",\"title\":\"Verifiable Execution Assurance for AI Safety: AI Assurance Inc. Announces Two Public PoCs for \\\"Cyber Assurance\\\"\"}]","lintFlagsJson":null,"lintHits":0,"costUsd":0,"inputTokens":5457,"outputTokens":712,"status":"published","repairAttempts":0,"nextRepairAt":null,"factsAttemptedAt":1793586910,"createdAt":"2026-11-02T02:32:17.000Z","publishedAt":"2026-11-02T02:33:51.000Z","updatedAt":"2026-11-02T02:33:51.000Z"},"cluster":{"id":"c_a6f059ce0b199b8d5106f8a8","canonicalTitle":"AIセーフティに「検証可能な実行保証」を。株式会社AIアシュアランス、「サイバーアシュアランス」の公開PoC2件を発表","representativeArticleId":"a_eb37fe193b28523c7e946a27","sourceCount":1,"writtenSourceCount":1,"writeAttempts":0,"isSolo":true,"entitiesJson":"{\"anime_titles\":[],\"manga_titles\":[],\"work_titles\":[],\"studios\":[],\"people\":[],\"type\":\"business\",\"domain\":\"other\",\"is_roundup\":false}","contentType":"news","status":"published","firstSeenAt":"2026-11-02T00:30:00.000Z","lastSeenAt":"2026-11-02T00:30:00.000Z","updatedAt":"2026-11-02T02:33:49.000Z"},"attribution":[{"source":"ASCII.jp","url":"https://ascii.jp/elem/000/004/447/4447645/?rss","title":"AIセーフティに「検証可能な実行保証」を。株式会社AIアシュアランス、「サイバーアシュアランス」の公開PoC2件を発表"}],"entities":{"anime_titles":[],"manga_titles":[],"work_titles":[],"studios":[],"people":[],"type":"business","domain":"other","is_roundup":false},"keyFacts":["AI Assurance Inc. is based in Shinjuku-ku, Tokyo, with Hidemitsu Maeki as representative director.","The two public PoCs cover cold chain handovers and inter-company connectivity for a verifiable physical internet concept.","Both public PoC models passed automated checks including formal verification with the Lean 4 theorem prover.","The cold chain demo suppresses duplicate handovers when the same established request is resent.","The technology does not replace attack detection or authentication and connects with them instead."],"pageLinks":{"healthSlugs":[],"storySlugs":[],"entities":[],"stories":[],"entitiesOk":true,"storiesOk":true}}