4a2f06c4be
**Motivations:** - Extend C2 multi-transition chain beyond m=16 - Keep deterministic C2 artefacts aligned with new completion docs **Root causes:** - No completion doc existed for m>16, so C2 verifier couldn’t include it **Correctifs:** - Add complétion_minorée_m16_vers_m17.md with exhaustive both(m=16) list and declared |R_17^comp| - Regenerate C2 deterministic artefacts and run report to include the new transition **Evolutions:** - None **Pages affectées:** - applications/collatz/collatz_k_scripts/complétion_minorée_m16_vers_m17.md - docs/artefacts/collatz/c2_projective/verification_c2_projective.json - docs/artefacts/collatz/c2_projective/verification_c2_projective.md - docs/collatz_run_report_2026-03-09_c2_projective.md
72 lines
2.2 KiB
JSON
72 lines
2.2 KiB
JSON
{
|
|
"inputs": {
|
|
"noyau_both_base_4096_md": "applications/collatz/collatz_k_scripts/noyau_both_base_4096.md",
|
|
"completion_docs": [
|
|
"applications/collatz/collatz_k_scripts/complétion_minorée_m14_vers_m15.md",
|
|
"applications/collatz/collatz_k_scripts/complétion_minorée_m15_vers_m16.md",
|
|
"applications/collatz/collatz_k_scripts/complétion_minorée_m16_vers_m17.md"
|
|
]
|
|
},
|
|
"B12": {
|
|
"count": 192,
|
|
"min": 27,
|
|
"max": 4095
|
|
},
|
|
"transitions": [
|
|
{
|
|
"source": "applications/collatz/collatz_k_scripts/complétion_minorée_m14_vers_m15.md",
|
|
"palier_parent": 14,
|
|
"palier_child": 15,
|
|
"both_parent_count": 593,
|
|
"computed_children_count": 1186,
|
|
"listed_residual_count": 1186,
|
|
"children_equals_listed_residual": true,
|
|
"projection_mod_4096_equals_b12": true
|
|
},
|
|
{
|
|
"source": "applications/collatz/collatz_k_scripts/complétion_minorée_m15_vers_m16.md",
|
|
"palier_parent": 15,
|
|
"palier_child": 16,
|
|
"both_parent_count": 1101,
|
|
"computed_children_count": 2202,
|
|
"listed_residual_count": 2202,
|
|
"children_equals_listed_residual": null,
|
|
"projection_mod_4096_equals_b12": true
|
|
},
|
|
{
|
|
"source": "applications/collatz/collatz_k_scripts/complétion_minorée_m16_vers_m17.md",
|
|
"palier_parent": 16,
|
|
"palier_child": 17,
|
|
"both_parent_count": 2202,
|
|
"computed_children_count": 4404,
|
|
"listed_residual_count": 4404,
|
|
"children_equals_listed_residual": null,
|
|
"projection_mod_4096_equals_b12": true
|
|
}
|
|
],
|
|
"checks": {
|
|
"m14_to_m15": {
|
|
"palier_parent": 14,
|
|
"palier_child": 15,
|
|
"both_parent_count": 593,
|
|
"computed_children_count": 1186,
|
|
"listed_residual_count": 1186,
|
|
"children_equals_listed_residual": true,
|
|
"projection_mod_4096_equals_b12": true
|
|
},
|
|
"m15_to_m16": {
|
|
"palier_parent": 15,
|
|
"palier_child": 16,
|
|
"both_parent_count": 1101,
|
|
"computed_children_count": 2202,
|
|
"listed_residual_count": 2202,
|
|
"children_equals_listed_residual": null,
|
|
"projection_mod_4096_equals_b12": true
|
|
}
|
|
},
|
|
"ok": {
|
|
"all_transitions_project_to_B12": true,
|
|
"all_listed_residuals_match_children": true
|
|
}
|
|
}
|