# Release artifacts must be byte-stable across Git configurations.
* text=auto eol=lf
*.csv text eol=lf
*.json text eol=lf
*.py text eol=lf
*.tex text eol=lf
*.lean text eol=lf
*.md text eol=lf
*.txt text eol=lf
*.toml text eol=lf
*.yaml text eol=lf
*.yml text eol=lf
*.cff text eol=lf
*.sh text eol=lf
*.pdf binary
*.zip binary

# Internal agent instructions are not part of the public proof bundle.
AGENTS.md export-ignore
