#verification
Every node in the atlas carrying this tag.
- 002When Uncertainty Pays YouConvexity
Capped loss and open upside describe practical asymmetry; convexity is the separate test that the payoff stays below its chords.
- 003The Most Valuable Thing an AI Can Say Is "I Don't Know"The Invisible Frontier
A tested abstention policy can mark where reliable answering ends and judgment returns to the operator.
- 005Cheap to Make, Expensive to CheckThe Verification Economy
For operators, the decisive price is not generation alone but verification: offload is defensible only when a relevant check is reliable, independent enough for the risk, and cheaper than remaking the work.
- 006The Reverse CentaurWho Really Decides
A reverse centaur is an org design where people still approve the work, but the premise they check was supplied upstream by the system.
- 103Verifiable Space: Where the Answer Can Be CheckedThe Lexicon
Verifiable space is work where proposed answers can be checked cheaply against a proof, calculation, measurement, registry entry, or deadline.
- 113The Jagged Frontier: The Edge You Can't See Until You're Past ItThe Lexicon
A jagged frontier is the uneven edge of model capability: tasks that look equally hard to a person can sit on opposite sides.
- 115The Base Rate Trap: When the False Alarm Rate DecidesThe Lexicon
The base-rate trap is rare-event arithmetic: even a low false-positive rate, multiplied across many non-events, can bury the true hits.
- 116Metacognitive Demand: The Load Shifts from Doing to JudgingThe Lexicon
Metacognitive demand is the burden of knowing whether you can judge AI output after the machine has done the producing.
- 120The Generation-Verification Gap: When the Right Answer LosesThe Lexicon
A model can generate a correct candidate and still fail because its verifier cannot reliably select it.
- 121The 70% Problem: Fast to Prototype, Hard to FinishThe Lexicon
The 70% problem is Addy Osmani's field observation that AI can make a prototype arrive quickly while production work resists the same shortcut.
- 122The Three Lines Model: Independence Is a Role, Not a HeadcountThe Lexicon
The Three Lines Model separates management's action and challenge from internal audit's independent assurance to the governing body.
- 126Deskilling: The Skill That Catches the Error Is the One Automation Quietly TakesThe Lexicon
Deskilling is the slow loss of unaided skill after automation takes over the routine work a human used to practise.