On-the-Links × GhostDrift Mathematical Institute: Strategic Partnership for AI Governance and Formal Verification Technology PoC
On-the-Links Inc. and GhostDrift Mathematical Institute have formed a strategic partnership to jointly promote a Proof of Concept (PoC) for a shipper responsibility proof system in pharmaceutical cold chain logistics. This initiative addresses the revised Logistics Efficiency Law, utilizing AI governance and formal verification technology, ADIC, to establish objective responsibility verification.
📋 Article Processing Timeline
- 📰 Published: April 28, 2026 at 19:10
- 🔍 Collected: April 28, 2026 at 10:31
- 🤖 AI Analyzed: April 28, 2026 at 15:34 (5h 2m after Collected)
On-the-Links Inc. (Naka-ku, Hiroshima City; Representative Director: Seiya Azuma) and GhostDrift Mathematical Institute (Shinjuku-ku, Tokyo; Representative Director: Hidemitsu Maeki) concluded a strategic partnership on April 20, 2026.
The revised Logistics Efficiency Law, which came into full effect in April 2026, mandates the appointment of CLOs (Chief Logistics Officers) and management responsibility for logistics for specific shippers. In pharmaceutical distribution, the quality control responsibility under GDP guidelines further compounds this, obligating shipper companies to objectively prove "how their pharmaceuticals were managed throughout the entire supply chain." However, the technological infrastructure to fulfill this responsibility currently does not exist.
To resolve this structural issue, both companies will jointly promote a PoC for a "Shipper Responsibility Proof System" targeting the pharmaceutical cold chain (temperature-controlled logistics). On-the-Links will be responsible for logistics process design and implementation, while GhostDrift Mathematical Institute will design the mathematical proof system using ADIC (Advanced Data Integrity by Ledger of Computation) technology.
Image of cold chain implementation using ADIC technology
Why is this issue important now?
Pharmaceuticals travel through multiple companies – from pharmaceutical manufacturers to CMOs (Contract Manufacturing Organizations), 3PLs (Third-Party Logistics), wholesalers, and medical institutions. GDP guidelines require monitoring and recording of temperature management every 5 to 15 minutes during transport and storage, and each player diligently adheres to these standards.
The problem lies in the structural issue where the management of each company is not connected under the shipper's responsibility. There is no mechanism for the shipper to present third-party verifiable evidence when a temperature deviation occurs, proving "in which section, by whose judgment, and based on what standards something was decided." Shippers have become legally responsible entities, but lack the technological infrastructure to prove this responsibility.
■ What is ADIC (AI Governance and Formal Verification Technology)?
ADIC is a technology that enables shippers to audit and make decisions in real-time from log data at the time of handover, verifying whether logistics proceed exactly as stipulated by contracts and laws.
Conventional ADIC
Responsibility Proof Only by receiving and comparing logs afterwards Record contractual and legal standards linked to handover data. Shippers can audit themselves.
Verifiability Depends on trust in the player Generates mathematically verifiable certificates (Lean4 formal proof) by a third party (PASS/FAIL).
Technological Infrastructure Primarily Excel/PDF management Fixes the basis for decision-making with a finite ledger using integer operations. Immutable after the fact.
* A preprint of the paper currently submitted to 'Acta Informatica' is available at the following URL:
Public URL: https://zenodo.org/records/19808324
* The following three patents have been filed for ADIC-related technologies:
• Patent Application 2025-201777
• Patent Application 2025-222865
• Patent Application 2025-236223
■ Comments from both company representatives
On-the-Links Inc., Representative Director, Seiya Azuma
We specialize in logistics system development for high-tech manufacturing. A structural contradiction exists in the cold chain: "the現場 (on-site work) is done correctly, but the shipper cannot prove it." The technological infrastructure to prove responsibility still does not exist. Our goal is to change the structure of logistics through technology, creating a system where we give to each other, rather than compete. The collaboration with GhostDrift Mathematical Institute is the most direct attempt to fulfill that ideal. We will first prove this in the pharmaceutical sector, the most demanding environment.
GhostDrift Mathematical Institute, Representative Director, Hidemitsu Maeki
We are a company specializing in AI governance and the mathematics of decision-making. We want to contribute to creating a social system where sites and companies that conscientiously take on quality and responsibility are not disadvantaged later. On-the-Links Inc. has long supported Japanese manufacturing as a professional in logistics systems. Their journey, continuously supporting operations where failure is not tolerated in the social infrastructure of logistics, deeply aligns with our ambition to build a trusted foundation for the AI era from Japan. To a world where the efforts of people working honestly in logistics are correctly visualized as shipper accountability. This collaboration was an inevitable encounter, sharing the vision of "creating the logistics infrastructure truly needed in the AI era."
■ Contents to be verified in the Pharmaceutical Logistics PoC
Target:
Pharmaceutical supply chain (GDP-compliant cold chain logistics).
In logistics involving multiple contractors, the following scenarios will be demonstrated:
In case of temperature deviation (targeting monitoring records every 5-15 minutes):
Evidence verifiable by a third party for the shipper, indicating in which section and based on what judgment standards the deviation occurred.
The revised Logistics Efficiency Law, which came into full effect in April 2026, mandates the appointment of CLOs (Chief Logistics Officers) and management responsibility for logistics for specific shippers. In pharmaceutical distribution, the quality control responsibility under GDP guidelines further compounds this, obligating shipper companies to objectively prove "how their pharmaceuticals were managed throughout the entire supply chain." However, the technological infrastructure to fulfill this responsibility currently does not exist.
To resolve this structural issue, both companies will jointly promote a PoC for a "Shipper Responsibility Proof System" targeting the pharmaceutical cold chain (temperature-controlled logistics). On-the-Links will be responsible for logistics process design and implementation, while GhostDrift Mathematical Institute will design the mathematical proof system using ADIC (Advanced Data Integrity by Ledger of Computation) technology.
Image of cold chain implementation using ADIC technology
Why is this issue important now?
Pharmaceuticals travel through multiple companies – from pharmaceutical manufacturers to CMOs (Contract Manufacturing Organizations), 3PLs (Third-Party Logistics), wholesalers, and medical institutions. GDP guidelines require monitoring and recording of temperature management every 5 to 15 minutes during transport and storage, and each player diligently adheres to these standards.
The problem lies in the structural issue where the management of each company is not connected under the shipper's responsibility. There is no mechanism for the shipper to present third-party verifiable evidence when a temperature deviation occurs, proving "in which section, by whose judgment, and based on what standards something was decided." Shippers have become legally responsible entities, but lack the technological infrastructure to prove this responsibility.
■ What is ADIC (AI Governance and Formal Verification Technology)?
ADIC is a technology that enables shippers to audit and make decisions in real-time from log data at the time of handover, verifying whether logistics proceed exactly as stipulated by contracts and laws.
Conventional ADIC
Responsibility Proof Only by receiving and comparing logs afterwards Record contractual and legal standards linked to handover data. Shippers can audit themselves.
Verifiability Depends on trust in the player Generates mathematically verifiable certificates (Lean4 formal proof) by a third party (PASS/FAIL).
Technological Infrastructure Primarily Excel/PDF management Fixes the basis for decision-making with a finite ledger using integer operations. Immutable after the fact.
* A preprint of the paper currently submitted to 'Acta Informatica' is available at the following URL:
Public URL: https://zenodo.org/records/19808324
* The following three patents have been filed for ADIC-related technologies:
• Patent Application 2025-201777
• Patent Application 2025-222865
• Patent Application 2025-236223
■ Comments from both company representatives
On-the-Links Inc., Representative Director, Seiya Azuma
We specialize in logistics system development for high-tech manufacturing. A structural contradiction exists in the cold chain: "the現場 (on-site work) is done correctly, but the shipper cannot prove it." The technological infrastructure to prove responsibility still does not exist. Our goal is to change the structure of logistics through technology, creating a system where we give to each other, rather than compete. The collaboration with GhostDrift Mathematical Institute is the most direct attempt to fulfill that ideal. We will first prove this in the pharmaceutical sector, the most demanding environment.
GhostDrift Mathematical Institute, Representative Director, Hidemitsu Maeki
We are a company specializing in AI governance and the mathematics of decision-making. We want to contribute to creating a social system where sites and companies that conscientiously take on quality and responsibility are not disadvantaged later. On-the-Links Inc. has long supported Japanese manufacturing as a professional in logistics systems. Their journey, continuously supporting operations where failure is not tolerated in the social infrastructure of logistics, deeply aligns with our ambition to build a trusted foundation for the AI era from Japan. To a world where the efforts of people working honestly in logistics are correctly visualized as shipper accountability. This collaboration was an inevitable encounter, sharing the vision of "creating the logistics infrastructure truly needed in the AI era."
■ Contents to be verified in the Pharmaceutical Logistics PoC
Target:
Pharmaceutical supply chain (GDP-compliant cold chain logistics).
In logistics involving multiple contractors, the following scenarios will be demonstrated:
In case of temperature deviation (targeting monitoring records every 5-15 minutes):
Evidence verifiable by a third party for the shipper, indicating in which section and based on what judgment standards the deviation occurred.