40fa3808a7
**Motivations:**
- Materialize the next iteration step (C1 at 2^14, then C3 at 2^14, then universal clauses from that C3).
**Root causes:**
- The palier 2^14 iteration was missing versioned artefacts and run reports, so it was not citable.
**Correctifs:**
- Generate local H6(E) artefacts for all 60 states at palier 2^14 and update `local_H6_index.md`.
- Generate deterministic C3 verification at palier 2^14 and extract/verify universal clauses under `universal_clauses/palier2p14/`.
**Evolutions:**
- Add run reports for all local H6 palier2p14 states, plus C3 palier2p14 and universal_clauses palier2p14.
- Add an iteration protocol instance seeded from C3 palier2p14 (targeting palier 2^15).
**Pages affectées:**
- docs/artefacts/collatz/local_E*_palier2p14/**
- docs/artefacts/collatz/local_H6_index.md
- docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p14.{json,md}
- docs/artefacts/collatz/universal_clauses/palier2p14/**
- docs/artefacts/collatz/iteration_protocol/palier2p14/**
- docs/collatz_run_report_2026-03-09_local_H6_E*_palier2p14.md
- docs/collatz_run_report_2026-03-09_c3_local_descent_palier2p14.md
- docs/collatz_run_report_2026-03-09_universal_clauses_palier2p14.md
18 lines
454 B
JSON
18 lines
454 B
JSON
{
|
|
"inputs": {
|
|
"verification_c3_local_descent_json": "docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p14.json",
|
|
"clauses_universelles_json": "docs/artefacts/collatz/universal_clauses/palier2p14/clauses_universelles.json"
|
|
},
|
|
"domain": {
|
|
"palier": 14,
|
|
"max_stable_modulus_power": 102
|
|
},
|
|
"counts": {
|
|
"ok_records": 768,
|
|
"D_exact": 60,
|
|
"F": 648,
|
|
"D_brother_local": 60
|
|
},
|
|
"ok": true
|
|
}
|