URF Counterexamples

This repository contains minimal, explicit counterexamples witnessing each terminal obstruction in the Unified Rigidity Framework.

Each directory includes:

• the smallest concrete instance
• a machine-checkable witness
• a short failure description

These objects are canonical and frozen.