The Honest Machine · Lesson 3
What you'll be able to do: write one named, testable law for any checker you build — the law that guarantees the tool never cries wolf — and explain why every module needs exactly such a law.
The Local module of a tool I built compares the phone number a page shows visitors
against the number its structured data tells Google. Real mismatches matter. But the
same number wears many outfits: tel:+15125551234 in the code,
(512) 555-1234 on the page. A naive comparison flags those as different — and the
flag is false.
So the module carries a named law: the same phone in different formats must NEVER flag as a mismatch. Numbers are stripped to bare digits before any comparison. A flag therefore always means genuinely different numbers. The law isn't a comment or a hope — it's a test (part of the 32/32 green suite), enforced on every future change.
Think of a smoke detector. A detector that misses one fire is a tragedy — but a detector that shrieks at every slice of toast gets its battery pulled, and then misses the fire. The false positive doesn't just annoy; it disarms the whole system, because humans stop believing it.
Where the analogy ends: you can hear a smoke detector cry wolf and judge for yourself — there's toast right there. A software flag arrives with no kitchen attached: the client can't smell the toast. They either trust the report or they don't. That asymmetry is why software needs the law written and machine-enforced, not just a builder's good intention.
tel:+15125551234 and (512) 555-1234.5125551234.Model the client's trust as a budget: it starts small and every honest, verifiable flag earns a deposit. But the exchange rate is brutal — one false flag withdraws more than ten true flags deposit, because the client generalizes: "if it's wrong about my phone number, what else is it wrong about?"
Design consequences:
Naming matters: an unnamed rule is folklore; a named law is architecture.
Lesson complete — you can now design a flag people keep believing. Next: Lesson 4 — who enforces your law when nobody's looking.