# Theorem Submission File Map

The theorem submission is stored under:

- `sources/theorem_submission_v19/rigidity_gapfree_global/`

## Contents
- `rigidity_gapfree_global/aubry_tight_core.tex`
- `rigidity_gapfree_global/boundary_theorem.tex`
- `rigidity_gapfree_global/calibrated_minimizers.tex`
- `rigidity_gapfree_global/calibration_algorithm.tex`
- `rigidity_gapfree_global/canonical_normalization.tex`
- `rigidity_gapfree_global/certificate_pipeline_contract.tex`
- `rigidity_gapfree_global/closure_routes.tex`
- `rigidity_gapfree_global/contraction_from_doeblin.tex`
- `rigidity_gapfree_global/descriptor_face_certificates.tex`
- `rigidity_gapfree_global/doeblin_stability.tex`
- `rigidity_gapfree_global/doeblin_word_search.tex`
- `rigidity_gapfree_global/explicit_rate_pack.tex`
- `rigidity_gapfree_global/forcing_positive_density.tex`
- `rigidity_gapfree_global/global_universality_artifacts.tex`
- `rigidity_gapfree_global/global_universality_certificate_ThetaCan.json`
- `rigidity_gapfree_global/global_universality_certificate_ThetaCan_from_report.json`
- `rigidity_gapfree_global/global_universality_certificate_example.json`
- `rigidity_gapfree_global/global_universality_certificate_from_report.json`
- `rigidity_gapfree_global/global_universality_certificate_schema.json`
- `rigidity_gapfree_global/global_universality_completion.tex`
- `rigidity_gapfree_global/global_universality_report_ThetaCan_atlas.json`
- `rigidity_gapfree_global/global_universality_report_ThetaCan_certified.json`
- `rigidity_gapfree_global/global_universality_report_example.json`
- `rigidity_gapfree_global/global_universality_report_schema.json`
- `rigidity_gapfree_global/global_universality_theorems.tex`
- `rigidity_gapfree_global/global_universality_verification.tex`
- `rigidity_gapfree_global/jsr_decidability_frontier.tex`
- `rigidity_gapfree_global/minimality_limitations.tex`
- `rigidity_gapfree_global/minimality_sharpness_notes.tex`
- `rigidity_gapfree_global/obstruction_taxonomy.tex`
- `rigidity_gapfree_global/open_problem_resolution_map.tex`
- `rigidity_gapfree_global/parameter_chambers_notes.tex`
- `rigidity_gapfree_global/recurrence_robustness.tex`
- `rigidity_gapfree_global/region_net_certification.tex`
- `rigidity_gapfree_global/return_costs_and_excursions.tex`
- `rigidity_gapfree_global/rigidity_gapfree_global_universality.pdf`
- `rigidity_gapfree_global/rigidity_gapfree_global_universality.tex`
- `rigidity_gapfree_global/robust_certificate_example.json`
- `rigidity_gapfree_global/robust_certificate_schema.json`
- `rigidity_gapfree_global/robust_certificate_schema.tex`
- `rigidity_gapfree_global/robust_region_report_example.json`
- `rigidity_gapfree_global/robust_region_report_schema.json`
- `rigidity_gapfree_global/sharpness_examples.tex`
- `rigidity_gapfree_global/slack_forcing.tex`
- `rigidity_gapfree_global/syndetic_recurrence_tools.tex`
- `rigidity_gapfree_global/theta_family_canonical_example.tex`
- `rigidity_gapfree_global/theta_family_example.json`
- `rigidity_gapfree_global/theta_family_schema.json`
- `rigidity_gapfree_global/tight_core_stability.tex`
