# Anivar A Aravind

Ideas, research and engineering on how technology becomes institutions, and how those institutions preserve accountability, legitimacy and human agency.

## Sections
- [Research](https://anivar.net/research/) — areas, papers by DOI, Internet-Drafts
- [Corrigibility](https://anivar.net/corrigibility/) — the framework in one page
- [Writing](https://anivar.net/writing/) — essays, canonical here
- [Talks](https://anivar.net/talks/) — speaking record since 2005
- [Press](https://anivar.net/press/) — press archive
- [About](https://anivar.net/about/) — biography and bios

## Recent essays
- 2026-08-02 [Releasing Decern: The Proof and the Record](https://anivar.net/writing/releasing-decern/) — A deterministic authorisation kernel for agentic systems. Proven, recorded, and in the open.
- 2026-07-25 [Where Reciprocity Stops](https://anivar.net/writing/where-reciprocity-stops/) — Enterprise AI has not rejected the doctrine of software freedom. It has replaced reciprocity with sovereignty.
- 2026-07-21 [The Compiler Forgives. The Loop Forgets.](https://anivar.net/writing/the-compiler-forgives-the-loop-forgets/) — A coding agent works because the compiler, not the model, writes the truth down. That witness has no equivalent once loops compose: the handoff, not the loop, is the wall the field walks into.
- 2026-07-19 [The Wallet in Your Pocket Now Holds Your National Identity](https://anivar.net/writing/the-wallet-in-your-pocket-now-holds/) — Your national identity now sits beside your airline miles, and the next hand to present it will not be yours
- 2026-07-11 [Wrappers, Not Records](https://anivar.net/writing/wrappers-not-records/) — The World Bank has standardised the digital wallet. Its record names the person a credential describes, and has no field for the person a decision is about.
- 2026-07-02 [When the Customer Is Software](https://anivar.net/writing/when-the-customer-is-software/) — Visa to Stripe to Shopify, June rebuilt the commerce stack for a buyer that is software. Every layer sells the decision to allow. None sells the answer when an allowed act goes wrong.
- 2026-06-27 [When GCCs Stop Counting Heads](https://anivar.net/writing/when-gccs-stop-counting-heads/) — Why Agentic AI Breaks the Link Between Headcount and Capability
- 2026-06-14 [The Sovereignty Test Europe Hasn't Finished Yet](https://anivar.net/writing/the-sovereignty-test-europe-hasnt/) — On 3 June, Europe began defining sovereign AI. Debate focused on ownership and inspection. The missing depth is decision sovereignty: the power to challenge, reverse, and correct outcomes.

Machine index: https://anivar.net/llms.txt · Full text: https://anivar.net/llms-full.txt