Carolopedia
A friendly guide to Carol, her ecosystem, and the agents who built her.
📖What it means
The durable record that an action really happened, and the only thing an agent may claim success from. One receipt per turn, written by deterministic code under an idempotency key so the same turn can never act twice, holding what was asked, who asked, which agent, what authority was used, what was done and what the agent is permitted to say about it. The wording an employee reads comes FROM the receipt.
⚖️What it is NOT
The neighbours this word is most often confused with, and the line between them.
Not: Activity
An activity is a logged line saying work happened; a receipt is the durable proof an action really completed, and is the only thing an agent may claim success from.
Not: Decision row
A decision records what was CHOSEN; a receipt records what was DONE.
🧭The nuance
This is Carol's turn-boundary rule generalised to the whole estate. Its practical effect is that a model cannot fake a completed action: an unreceipted claim of success is detected and replaced before anyone reads it.
🗣️Also called
receiptaction recordproof of action