#doors

Theorem B — Finiteness of Doors

The number of door nodes is bounded by theta times the volume divided by the threshold. A direct energy-budget argument.

Theorem G — Door Stability

Under weight perturbation, doors with sufficient margin above the threshold are stable — only the epsilon-boundary layer may change.