# Documentation

Start with the [project overview](../README.md) and [paper library](PAPER_STATUS.md).
Each paper's validation report explains what is formalized, links any source
clarifications, and identifies remaining formalization gaps. Its review packet
and dependency diagram provide more detail.

## Reading and reviewing a formalization

- [Validation model](VALIDATION_MODEL.md): how proofs, source comparisons and human review fit together.
- [Status labels](STATUS.md): what the paper labels and scope notes mean.
- [Review dashboard](REVIEW_DASHBOARD.md): inspect and annotate formal statements.

## Contributing

- [Contribution guide](../CONTRIBUTING.md) and [first contribution](NEW_CONTRIBUTOR_WORKFLOW.md).
- [One-paper workflow](contributing/README.md): work on one paper without reopening the library.
- [Formalization quickstart](paper-formalization-quickstart/DETAILS-for-agent.md): prompts and guidance for working with an agent.
- [Lean style](LEAN_STYLE.md) and [theorem interfaces](THEOREM_ERGONOMICS.md).

## Library and workflow design

- [Architecture](ARCHITECTURE.md) and [library domain index](APPLIEDMODELINGLIB_DOMAIN_INDEX.md).
- [Library provenance](LIBRARY_PROVENANCE.md) and [upstream Lean sources](UPSTREAM_LEAN_SOURCES.md).
- [Agent formalization workflow](AGENT_FORMALIZATION_WORKFLOW.md) and [executable skills](../skills/econcs-formalizer/SKILL.md).

## Maintaining the website and releases

- [Website maintenance](WEBSITE_MAINTENANCE.md): generated tables, local preview and link checks.
- [Publishing and the repository rename](PAGES_PUBLISHING.md).
- [Release checklist](PUBLIC_RELEASE_CHECKLIST.md).

Internal campaign plans, repair assignments and historical audit notes are
maintained separately from these reader and contributor guides.