Proof-Adjusted Autonomy
Autonomy is not what your agent does. It's what it can prove.
Proof-Adjusted Autonomy is the share of an organization's completed work that an AI system executes without human intervention and supports with independent, reliable and timely evidence.
PAA = P(A) × P(C|A) × P(R|A,C) × P(T|A,C,R)
where A = autonomous execution, C = complete evidence, R = independent validation, T = delivery within the decision window. The unresolved remainder accumulates as Proof Debt.
The four gates
What "autonomous" has to survive // A → C → R → T
Raw autonomy counts tasks finished without human intervention — the demo metric. In production, every one of those tasks still has to pass four gates before anyone can act on it:
- AAutonomous execution. The work was completed without a human touching it.
- CComplete evidence. It arrived with a full evidence package: what was intended, what was touched, what was done, what came out.
- RIndependent validation. The evidence survived a different mechanism than the one that produced it — deterministic tests, a different model family, replay, a human at irreversible boundaries. Never the agent grading its own homework.
- TTimeliness. The verified result landed inside the decision window. Proof that arrives after the deploy is a post-mortem, not a safeguard.
Each factor is conditional on the previous gates, so the chain multiplies correctly — and every factor is estimable from production logs. A demo agent at 0.90 raw autonomy, 0.80 evidence coverage, 0.95 validation pass rate and 0.90 on-time delivery is a 0.90 × 0.80 × 0.95 × 0.90 = 61.6% agent.
The 90% agent is a 61.6% agent.Marketing reports the first factor. Operations lives with the product of all four.
Proof Debt
Where the missing points go // DEFERRED LIABILITY
Proof Debt is the accumulated stock of AI-generated work whose verification cost, uncertainty or liability hasn't been resolved yet.
ProofDebt(t+1) = max(0, ProofDebt(t) + GeneratedWork − ProvenWork − RejectedWork)
It is not just a review backlog. It is unproven assumptions, missing artifacts, decisions nobody can replay, and the future cost of reconstructing how something happened — payable on the day an incident, an audit or a customer claim asks the question. Unverified AI output is not an asset. It is deferred liability.
And the debt has a hard ceiling behind it: safe throughput is min(generation rate, proof rate) — the oldest law in queueing. Sustainable autonomy cannot exceed proof capacity.
Why it matters now
The deployment frontier // GENERATION ≫ PROOF
Generation is abundant — an agent produces in one hour what an organization needs days to trust. AI does not remove the cost of work; it moves the cost from producing the work to proving the work is correct. Whatever capability the labs deliver, your organization can only operationalize the slice it can independently prove.
The full argument — the math, the Archdesk evidence-bundle pipeline, and what PAA predicts for the next twenty-four months — is in the launch essay: Proof-Adjusted Autonomy: The 90% Agent Is a 61.6% Agent.
Limitations
What the metric does not claim // HONESTY CLAUSES
PAA is a ceiling unless the validation sample is honest. P(R|A,C) must be estimated on a random or complete sample of evidence packages — validate only the work that's easy to validate and you've measured a best case, not reality.
100% is not the target. Proof burden should scale with risk, irreversibility and blast radius; uniform proof requirements turn verification into bureaucracy. And PAA is an operational metric, not a verification mechanism — it tells you whether your guardrails, tests and replay actually buy you autonomy; it doesn't replace them.
The factor definitions are contestable by design. What counts as a "complete" evidence package or an acceptable decision window is a policy choice. Disagree with a factor's definition? Good — publish yours. The metric is meant to be argued with, not admired.
What is Proof-Adjusted Autonomy?
Proof-Adjusted Autonomy (PAA) is a metric coined by Michał Piszczek: the share of an organization's completed work that an AI system executes without human intervention and supports with independent, reliable and timely evidence. It is the probability of passing four gates — autonomous execution, complete evidence, independent validation, delivery within the decision window — multiplied as a conditional chain: PAA = P(A) × P(C|A) × P(R|A,C) × P(T|A,C,R).
Who coined the term Proof-Adjusted Autonomy?
Proof-Adjusted Autonomy and Proof Debt were coined by Michał Piszczek — CEO / CTO / Founder — in 2026. He is the CTO of Archdesk and the founder and former CEO of Robotero (acquired by HTF Brokers), Rejsomat.pl, Inclify and Lextron.ai, and also the author of the Joule Wars concept. PAA came out of rebuilding Archdesk's agentic engineering pipeline around independent verification.
How is PAA different from raw autonomy?
Raw autonomy counts tasks an agent finished without human intervention — the demo metric. PAA multiplies that by evidence coverage, independent validation pass rate and on-time delivery. A 90% raw-autonomy agent with 0.80 evidence coverage, 0.95 validation pass rate and 0.90 on-time delivery is a 61.6% PAA agent. Marketing reports the first factor; operations lives with the product of all four.
What is Proof Debt?
Proof Debt is the accumulated stock of AI-generated work whose verification cost, uncertainty or liability hasn't been resolved yet: ProofDebt(t+1) = max(0, ProofDebt(t) + GeneratedWork − ProvenWork − RejectedWork). It is not just a review backlog — it is unproven assumptions, missing artifacts and decisions nobody can replay: deferred liability that the P&L doesn't show until an incident, an audit or a customer claim prices it.
Why can't the agent validate its own work?
Because a model grading itself shares its own blind spots, assumptions and error distribution — that's correlated confidence, not independent verification. Validation has to run on different mechanisms: deterministic tests, replay in an isolated environment, a different model family, or a human wherever the action is irreversible. Independence is what makes evidence evidence.
How does Proof-Adjusted Autonomy relate to Joule Wars?
They are two frontiers of the same economics. Joule Wars says the generation side of AI is decided by energy efficiency — who produces the most useful intelligence per joule. PAA says the deployment side is decided by proof efficiency — cost per verified task displaces cost per token, because sustainable autonomy cannot exceed proof capacity. Generation economics per joule; deployment economics per proof.
How is PAA different from the AI Proof Gap and Verifier's rule?
Grant Thornton's AI Proof Gap documents that enterprises deploy AI faster than they can demonstrate accountability for it — PAA is the instrument that measures that gap from your own logs. Jason Wei's Verifier's rule predicts which tasks AI will master fastest because verifiable tasks are easiest to train — the learning frontier. PAA measures how much of that mastery your organization can let act — the deployment frontier.
- Grant Thornton (April 2026), survey on the AI Proof Gap — enterprises deploy AI faster than they can demonstrate accountability for it. PAA is the instrument that measures that gap from your own logs.
- Jason Wei, Asymmetry of verification and Verifier's rule — verifiable tasks are the easiest to train, so capability floods verifiable domains first. The learning frontier to PAA's deployment frontier.
Proof-Adjusted Autonomy (PAA) — the share of an organization's completed work that an AI system executes without human intervention and supports with independent, reliable and timely evidence. Defined as PAA = P(A) × P(C|A) × P(R|A,C) × P(T|A,C,R), where A = autonomous execution, C = complete evidence, R = independent validation, T = delivery within the decision window. The unresolved remainder accumulates as Proof Debt. Concept by Michał Piszczek (piszczek.pl/proof-adjusted-autonomy), 2026.