cb7197fa43
**Motivations:** - Make H6(E) checks reproducible and citeable for all 60 B12 states - Provide an aggregated view of Δm(E) and minimal observed horizons **Root causes:** - applications/collatz/out/ is Git-ignored, so local H6 artefacts must live in versioned docs paths - Per-state H6 evidence was previously limited to E1 **Correctifs:** - Replace ambiguous palier inference for local certificates with explicit palier in JSON **Evolutions:** - Add a generator for versioned local H6 artefacts (per state) at palier 2^13 - Generate per-state local H6 run reports and a versioned aggregated index - Reference the aggregated index from the proof plan **Pages affectées:** - applications/collatz/collatz_k_scripts/collatz_generate_local_h6_artefacts.py - applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md - docs/artefacts/collatz/local_H6_index.md - docs/artefacts/collatz/local_E*_palier2p13/** - docs/collatz_run_report_2026-03-09_local_H6_E*_palier2p13.md - docs/features/collatz_local_h6_artefacts_and_index.md
25 lines
751 B
JSON
25 lines
751 B
JSON
{
|
|
"state_id": 46,
|
|
"base_palier": 12,
|
|
"target_palier": 13,
|
|
"delta_m": 1,
|
|
"lift_size": 4,
|
|
"d8": {
|
|
"k": 8,
|
|
"threshold_Ak": 13,
|
|
"candidates": 0,
|
|
"covered": 0,
|
|
"certificate": ""
|
|
},
|
|
"fusion": {
|
|
"t_min": 9,
|
|
"t_max_search": 120,
|
|
"t_max_used": 16,
|
|
"merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E46_palier2p13/candidats/candidats_F9to16_E46_palier2p13.csv",
|
|
"certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E46_palier2p13/certificats/certificat_F9to16_E46_palier2p13.json",
|
|
"clauses": 4,
|
|
"covered": 4
|
|
},
|
|
"verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E46_palier2p13/audits/verification_H6_E46_palier2p13.md",
|
|
"success": true
|
|
} |