Every agent demo ends on the same slide: "90% autonomous." Here is the number that slide is hiding: 61.6%.
The 90% is real. It measures how much work the agent completed without a human touching it. It just measures the wrong thing. Nobody runs a company on work that was completed. Companies run on work they can accept — without reconstructing it by hand to find out whether it's true.
explains the deeper mechanism — the ease of training AI to solve a task is proportional to how verifiable the task is, which is why verifiable capabilities arrive first. But production systems face a third question neither of them answers: how much autonomous work can an organization safely absorb without checking it by hand?
.
This is where Verifier's rule cuts both ways. Wei is describing the learning frontier: what's easy to verify is easy to train, so capability floods into verifiable domains first. PAA describes the deployment frontier: whatever capability arrives, your organization can only operationalize the slice it can independently prove. The first frontier is set by the labs. The second one is set by you.
And the second frontier compounds brutally. A fifty-step agent workflow at 99% per-step reliability completes cleanly 60.5% of the time. At 95%, it's 7.7%. Long-horizon agents don't primarily need smarter models. They need proof and correction at step boundaries — because reliability multiplies, it doesn't average.
The difference becomes Proof Debt
So where do the missing 28 points go? They accumulate. Every piece of AI-generated work whose verification cost, uncertainty or liability hasn't been resolved yet is Proof Debt:
ProofDebt(t+1) = max(0, ProofDebt(t) + GeneratedWork − ProvenWork − RejectedWork)
It's not just a review backlog. It's 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.
This is the part your CFO should read twice. AI can raise reported productivity while silently accumulating Proof Debt. The P&L books the speed today. The incident books the liability later. A team that "ships 3× faster" with agents and no proof infrastructure hasn't tripled output. It has levered it.
Unverified AI output is not an asset. It is deferred liability.
And the debt has a hard ceiling behind it. If agents generate a hundred changes a day and your systems can independently prove thirty, your safe throughput is thirty — min(generation, verification), the oldest law in queueing. The other seventy aren't productivity. They're debt, accruing interest. Sustainable autonomy cannot exceed proof capacity.
From "Fixed." to proven
At Archdesk we rebuilt our agentic engineering pipeline around this constraint. The agent's job doesn't end when it produces a result. It ends when the result survives independently defined acceptance.
So the agent never reports "Fixed." It delivers an evidence bundle: the bug reproduced under a pinned configuration before the change; the diff and the operations log; tests passing; the same reproduction procedure demonstrating the corrected behaviour after; the neighbouring features checked for regression; the remaining uncertainty, stated; and a decision request for a human.
The before/after under an identical procedure is the part most teams skip — and it's the part that matters. A screenshot of a working page after the fix proves nothing; it would look identical if the fix were cosmetic. Evidence has to distinguish success from the appearance of success, or it's theater.
One design rule made most of the difference: the agent never validates its own work. A model grading itself shares its own blind spots, assumptions and error distribution. That's not independent verification — it's correlated confidence. Validation runs on different mechanisms: deterministic tests, replay, a different model family, a human wherever the action is irreversible.
The human role changes shape entirely. Reviewers stop reconstructing work and start adjudicating evidence. That's the whole economic point: review minutes per accepted task fall while PAA rises. We're instrumenting the pipeline now, and the numbers — raw autonomy versus PAA versus escaped defects, across model families — will be a separate publication. The framework is falsifiable, and it should be tested in public.
What this predicts
If PAA is the right lens, the next twenty-four months look like this. . Companies start reporting Proof Debt the way they report technical debt. Insurers and regulators start demanding replayability. And autonomy becomes a privilege agents earn with evidence history, not a toggle in a config file.
Watch which of these happens first. That's the falsification schedule.
What PAA is not
It is not the AI Proof Gap. Grant Thornton documented that the gap exists at enterprise scale — investment outrunning demonstrable accountability. PAA is the instrument: a number you compute from your own logs to measure the gap and watch it close.
It is not Verifier's rule. Wei's rule predicts which tasks AI will master fastest. PAA measures how much of that mastery your organization can let act. Learning frontier; deployment frontier.
It is not runtime verification research. Guardrails, evidence-bound execution and formal checking are mechanisms. PAA is the operational metric that tells you whether your mechanisms are actually buying you autonomy.
## Key takeaways
- Raw autonomy measures work done without a human. PAA measures work done without a human that you can independently prove — and only the second number is deployable.
- PAA is a chain of four conditional gates: autonomous × evidenced × validated × on time. 90% raw autonomy routinely collapses to ~60% PAA.
- The gap between generated and proven work accumulates as Proof Debt — deferred liability that the P&L doesn't show until an incident prices it.
- Safe throughput is min(generation rate, proof rate). Scaling agents without scaling verification scales debt, not output.
- Self-verification is correlated confidence, not proof. Independence is what makes evidence evidence.
- Sustainable autonomy cannot exceed proof capacity.
Generation is no longer scarce. Proof is. The distance between them is where AI economics will be decided — and it's measurable. Measure it.
The canonical definition of . The canonical definition of PAA and Proof Debt: piszczek.pl/proof-adjusted-autonomy.
SOCIAL SHARE CARD GENERATOR