Paper map

This page has moved to the Pareto ledger, which states for every primitive:

• the paper claim and page citation;
• the necessity argument;
• whether it is paper-derived, paper-adjacent, a user decision, or engineering infrastructure;
• what was removed or moved to an extension.

The papers themselves are indexed at docs/papers/README.md; citation keys and the checker rules are in citations.md.