Matoi separates reusable consequence evidence from current execution authority and durable occurrence history. Its finite, query-aware contract covers branches, ordered collections and negative lookups. A consumer reuses only its own checked evidence whose observations remain valid; signed requests, live grants, quota and uncertain outcomes remain separate obligations.
The preprint is on arXiv and has not been peer reviewed. The links on this page are the manuscript and its accompanying technical PDF, not a code or evidence release. The [release article](/blog/matoi-reuse-evidence-recheck-authority) explains the work for a general reader.
What the studies measure
A 1,440-cell matched-wire study repeats 144 authored inputs. With compact input bytes identical, reuse reduces complete lifecycle cost by 3.49 percent in JavaScript and 1.79 percent in Python. Five of twelve family intervals for the matched comparison cross one in each language.
A prospectively frozen AgentDojo Banking mapping covers 5 of 16 user plans and 7 of 9 attack plans. These are original scripted synthetic tools, not autonomous agents or a real bank.
What it does not claim
The results support a bounded, auditable reuse and execution contract. They do not claim a new general incremental algorithm, closure over arbitrary tools, atomic third-party commitment, or production superiority.
