Six runnable examples, from plain narrowing to folding multi-tag failures. Each
page embeds the actual source of a file in examples/ — the same code CI runs
via yarn examples — so what you read here is what executes.
ok / bad + narrowing.matchBad.Bad.unwrap* toolkit.map and match on the wrapper.match's per-reason bad map.