2 min lesson
When browser proof is incomplete
Replace one code-only UI claim with evidence from the exact browser path.
Step 1 of 3
Typecheck passes, but nobody has opened the changed path or inspected its browser evidence.
Interactive diagram. Tab through its regions; each focused region shows its detail in the panel below.
diagram: compare
Pick a row to see what to look for.