# GPC-CS Core Series — Final Index Package

**Foundation Cycle:** Papers 00–10  
**Status:** CLOSED  
**Date:** 2026-08-14

This final index package contains:

- the complete Papers 00–10 series bundle;
- unified symbol table (MD + CSV);
- paper-level dependency map;
- theorem-level dependency map;
- theorem node / edge tables;
- theorem registry;
- summary-claim registry;
- validation metadata.

## Canonical hierarchy

1. Papers 00–10 = research content.
2. Unified Symbol Table = canonical working glossary.
3. Theorem Registry = formal theorem/proposition index.
4. Dependency Map = research-level theorem architecture.
5. Summary Claims = paper-end recaps, not independent theorem nodes.

## Next formalization target

Lean/Coq formalization should begin from P01, P02, P04, P06, P08, P09, and P10 theorem spines rather than attempting to formalize the entire prose corpus at once.