BugZoo Case Studies

Folder-local umbrella for public case studies mapping real neural-network bug classes to TorchLean contracts.

Each submodule follows the same pattern:

• cite the paper or incident class that motivates the bug;
• state the TorchLean boundary (prevents, detects, or requires external conformance);
• expose a small checked theorem or definition tied to the real spec/proof stack.

This is not a separate theory fork. The examples re-export the actual TorchLean semantics and proof theorems so the examples stay connected to the library.

The writing style is kept plain: tell the reader what the bug is, state the contract in ordinary language, then show the small checked theorem.