Japan Leads in Verifiable AI Governance for Global Logistics
News related to:ONZALINX Co., Ltd · 2 min read
TOKYO, JAPAN, October 28, 2026 /CourierPR/ -- The conference brought together speakers from various sectors, including the Ministry of Internal Affairs and Communications, Hiroshima Prefecture, manufacturing, logistics, and IT companies, to discuss the integration of AI in logistics and the development of verifiable AI governance mechanisms.
The event aimed to connect the principles of the G7 Hiroshima AI Process, launched in 2023, into technical standards for AI governance that can be adopted globally. ONZALINX and AI Assurance, Inc. sought to propose verifiable common mechanisms from Japan, focusing on the "Hiroshima AI Process" and the "EU AI Act." The conference highlighted the potential for a "Verifiable Physical Internet," a concept advocated by ONZALINX and AI Assurance, Inc., which aims to enable companies to coordinate and verify collaborative logistics decisions without sharing sensitive information.
During the conference, a dedicated panel discussed Hiroshima’s potential as a Physical Internet testbed, involving representatives from the Ministry of Economy, Trade and Industry (METI), Ministry of Land, Infrastructure, Transport and Tourism (MLIT), Mazda, and Eikei University. The panel focused on the challenges in logistics, such as labor shortages, transportation capacity constraints, rising costs, and inventory imbalances, and explored how AI could address these issues.
The conference also delved into the distinction between AI proposals and their execution. It emphasized that even when AI produces a useful proposal, it does not necessarily mean the proposal can be executed in actual operations. The conference highlighted the need to determine the scope entrusted to AI, hold execution when conditions are not met, and establish mechanisms to check the grounds for decisions afterward.
AI Assurance, Inc. expanded a publicly available technical foundation that mapped the principles of the Hiroshima AI Process to selected technical requirements from the EU AI Act. This technical research distinguished between conditions that can be checked in common and those that must be checked separately. The company filed four related PCT international patent applications and formalized structural conditions for verifiable scalability in Lean 4, making the results publicly available.
On October 10, 2026, AI Assurance conducted automated verification using Lean4 proof checking, 18 Python tests, and a connection to a fixed version of a publicly available logistics proof of concept (PoC). The verification demonstrated that, even when regulatory frameworks change, execution does not proceed unconditionally on the basis of a previous evaluation alone. The results showed that no noncompliant RELEASE proposals arose in the live API runs, and the independent gate blocked the 19 requests that failed the conditions.
Based on the conference and related technical verification, HAAC aims to develop the "Hiroshima AI Assurance Protocol (HAAP)," a mechanism for checking the adoption and execution conditions, evidence, responsibility, and verification results associated with AI decisions. The protocol will be designed to be used across different countries, companies, and AI systems, starting with manufacturing and logistics.
These resources aim to support the preparation and operation of AI systems in logistics.