{
  "state_id": 1,
  "base_palier": 12,
  "target_palier": 15,
  "delta_m": 3,
  "lift_size": 128,
  "d8": {
    "k": 8,
    "threshold_Ak": 13,
    "candidates": 2,
    "covered": 2,
    "certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p15/certificats/certificat_D8_E1_palier2p15.json"
  },
  "fusion": {
    "t_min": 9,
    "t_max_search": 120,
    "t_max_used": 47,
    "merged_csv": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p15/candidats/candidats_F9to47_E1_palier2p15.csv",
    "certificate": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p15/certificats/certificat_F9to47_E1_palier2p15.json",
    "clauses": 126,
    "covered": 126
  },
  "verification_md": "/home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p15/audits/verification_H6_E1_palier2p15.md",
  "success": true
}