Books
Intent-Driven Computing
A Formal Theory of Governed Intelligence
Programs produce intents, not effects. That single change makes governance decidable, auditing native, and composition safe. Four laws. A formal algebra. 572 machine-checked Rocq theorems, zero admitted lemmas. The first proof that a system's expressiveness boundary and governance boundary can be made identical.
216 pages · Paperback & Kindle
Available on Amazon
The Boundary of the Sayable
Intelligence, Governance, and Personhood
What stands at the boundary where formal systems stop? Drawing on Wittgenstein, Godel, Austin, and Wiener, this book traces the limits of what governance can guarantee and argues that personhood is not a sentimental preference but a mathematical requirement that no extension of computation can replace.
344 pages · Paperback & Kindle
Available on AmazonBegin with a story
Yellow
A Short Story · Free · 20 minutes
A rescue crew arrives at a Mars colony where every system is operational and every colonist is dead. The governance platform shows a perfect compliance record. Green across the board. One man survived. His confession: "Green means no one is asking."
Yellow opens The Boundary of the Sayable and dramatizes the question both books answer: when the formal system works perfectly, who decides whether "working" means "safe"?
Read on Amazon