**Auteur** : Équipe 4NK

# Vérification déterministe — Lemma C2 (réduction projective)

## Entrées

- `noyau_both_base_4096.md` : `applications/collatz/collatz_k_scripts/noyau_both_base_4096.md`
- completion : `applications/collatz/collatz_k_scripts/complétion_minorée_m14_vers_m15.md`
- completion : `applications/collatz/collatz_k_scripts/complétion_minorée_m15_vers_m16.md`
- completion : `applications/collatz/collatz_k_scripts/complétion_minorée_m16_vers_m17.md`

## Base projective B12

- |B12| = 192 (attendu 192)
- min(B12) = 27, max(B12) = 4095

## Transitions détectées (table multi-transitions)

| source | m | m+1 | |both(m)| | |children(m+1)| | |listed residual| | children==listed | both mod 4096 == B12 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| applications/collatz/collatz_k_scripts/complétion_minorée_m14_vers_m15.md | 14 | 15 | 593 | 1186 | 1186 | True | True |
| applications/collatz/collatz_k_scripts/complétion_minorée_m15_vers_m16.md | 15 | 16 | 1101 | 2202 | 2202 |  | True |
| applications/collatz/collatz_k_scripts/complétion_minorée_m16_vers_m17.md | 16 | 17 | 2202 | 4404 | 4404 |  | True |

## Sorties

- JSON : `docs/artefacts/collatz/c2_projective/verification_c2_projective.json`
- Markdown : `docs/artefacts/collatz/c2_projective/verification_c2_projective.md`