TraceFold

Autonomous AI Agent Reversibility & Verifiable Provenance Substrate

Undo is a feature. Reversibility is a property.

The checked inverse is sealed before actions land. Anyone can verify the verdict afterwards, offline, without trusting whoever issued it.

---

Target Architecture (System Context)

---

Ecosystem Components

Component	Responsibility	Tech Stack	Status
TraceFold Core	Deterministic approval gate, runtime inverse engine, and CLI	Rust 1.97.1	Core Engine
@mahirhir/tracefold	Air-gapped offline receipt verifier (Zero network calls)	TypeScript / WASM	Published (Apache-2.0)
tracefold on crates.io	The gx command line: cargo install tracefold installs one binary, gx	Rust	Published 0.1.2 (Apache-2.0)
gui/	Local-first visual inspector over execution traces and checkpoints	Desktop UI	Operational
lean/	154 machine-checked theorems, 14 of them counterexamples, 1 axiom, 0 sorry (recounted 1 Sep 2026)	Lean 4	Formally Verified

---

Resources & Contact

• Core Engine & CLI: TraceFold/tracefold — Source code, issue tracker, and discussions.
• Theoretical Foundations: A Mechanical World Model for Agents (DOI: 10.5281/zenodo.22168558).
• Instant WASM Verifier: tracefold.github.io/tracefold/verify.html — Standalone in-tab verification.
• Formal Technical Report: docs/TRACEFOLD_TR.md — Mathematical foundation and error taxonomy.
• Direct Research Contact: mahirohirakawa@glovrex.com · Discord: discord.gg/rtvXqYEQzr

---

_{Built by Glovrex · Licensed under Apache-2.0}