2 docs tagged with "verticals"

Pick a slice small enough that the language, proof, and rooms all match. Rigidity is the point. Width is the failure mode.

Canonical catalog of Naologic market verticals, routing boundaries, and proof-transfer rules.