# Invar Examples

Reference examples for the Invar Protocol. These are managed by Invar.

## Files

| File | Content |
|------|---------|
| [contracts.py](contracts.py) | @pre/@post patterns, doctest best practices |
| [core_shell.py](core_shell.py) | Core/Shell separation patterns |
| [functional.py](functional.py) | Functional patterns (NewType, Validation, NonEmpty, Literal) |
| [workflow.md](workflow.md) | Visible USBV workflow example |

## Usage

Read these when you need:
- Contract pattern reference
- Core vs Shell decision guidance
- Doctest formatting examples
- Functional pattern suggestions
- USBV workflow example

---

*Managed by Invar. Do not edit — use `invar update` to sync.*
