ncantu bd529682bf collatz: add palier2p15/p16 artefacts and Sm refinement tooling

**Motivations:**
- Publish new Collatz palier runs and associated artefacts (C3 local descent, universal clauses, iteration protocol).
- Extend the scripts toolbox to generate/verify clauses and build refinement certificates over S_m.

**Root causes:**
- Universal clause witnesses were lifted to 2^(A+1) even when the witness is already fixed modulo the domain palier, leading to unstable or unnecessarily weak/ambiguous modulus choices.
- CSV palier inference in scission could mis-detect short column names (e.g. "m") by substring matching.

**Correctifs:**
- Lift D_exact/F witnesses to m_stable := max(m, A+1) in universal clause extraction and run reports.
- Make scission palier/m column detection exact-match to avoid false positives.
- Update C3 local descent verification/reporting to use strict fusion witness selection prioritizing lower modular stability and refreshed D/F metrics.
- Add a dedicated run report profile for per-palier universal clauses.

**Evolutions:**
- Add scripts for terminal clauses and minorated descent clauses over S_m, their deterministic verification, and multi-level refinement certificate building.
- Add modular tooling for register_K and incremental comparison of D_minor families.
- Add/update feature documentation for the new pipelines and generated reports.

**Pages affectées:**
- applications/collatz/collatz_k_scripts/README.md
- applications/collatz/collatz_k_scripts/collatz_extract_universal_clauses.py
- applications/collatz/collatz_k_scripts/collatz_generate_run_report.py
- applications/collatz/collatz_k_scripts/collatz_iterate_palier_protocol.py
- applications/collatz/collatz_k_scripts/collatz_scission.py
- applications/collatz/collatz_k_scripts/collatz_verify_c3_local_descent.py
- applications/collatz/collatz_k_scripts/collatz_verify_universal_clauses.py
- applications/collatz/collatz_k_scripts/*refinement*over_Sm*.py
- applications/collatz/collatz_k_scripts/collatz_generate_*clauses_over_Sm.py
- applications/collatz/collatz_k_scripts/collatz_verify_minorated_descent_clauses_over_Sm.py
- applications/collatz/collatz_k_scripts/collatz_build_register_K_modular.py
- applications/collatz/collatz_k_scripts/collatz_compare_dminor_families_incremental.py
- applications/collatz/*.md
- docs/features/*.md
- docs/artefacts/collatz/**
- docs/collatz_run_report_2026-03-09_*.md

2026-03-09 23:29:59 +01:00

1.8 KiB

Raw Blame History

Auteur : Équipe 4NK

Certificat de raffinement — décidabilité depuis 2^15 (domaine L)

Entrées

clauses : docs/artefacts/collatz/universal_clauses/palier2p15/clauses_universelles.json
C3 : docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p15.json

Domaine

palier : 2^15
|L| : 1536
generated_at : 2026-03-09T17:26:47.413908Z

Décidabilité (sur L)

feuilles directes (m_leaf = 15) : 235
feuilles raffinées (m_leaf > 15) : 1301
profondeur max : 87

Buckets (profondeur = m_leaf - M)

depth=0 : 235
depth=1 : 68
depth=2 : 91
depth=3 : 142
depth=4 : 85
depth=5 : 93
depth=6 : 64
depth=7 : 49
depth=8 : 61
depth=9 : 48
depth=10 : 40
depth=11 : 47
depth=12 : 48
depth=13 : 38
depth=14 : 50
depth=15 : 29
depth=16 : 25
depth=17 : 18
depth=18 : 11
depth=19 : 18
depth=20 : 18
depth=21 : 13
depth=22 : 21
depth=23 : 17
depth=24 : 10
depth=25 : 7
depth=26 : 7
depth=27 : 11
depth=28 : 9
depth=29 : 10
depth=30 : 14
depth=31 : 10
depth=32 : 7
depth=33 : 9
depth=34 : 7
depth=35 : 8
depth=36 : 5
depth=37 : 3
depth=38 : 6
depth=39 : 5
depth=40 : 2
depth=41 : 9
depth=42 : 3
depth=43 : 5
depth=44 : 4
depth=45 : 2
depth=46 : 4
depth=47 : 3
depth=48 : 2
depth=49 : 3
depth=50 : 3
depth=51 : 3
depth=52 : 1
depth=53 : 5
depth=54 : 2
depth=55 : 2
depth=56 : 5
depth=57 : 5
depth=58 : 2
depth=59 : 1
depth=60 : 2
depth=61 : 2
depth=63 : 1
depth=67 : 1
depth=68 : 2
depth=69 : 3
depth=70 : 1
depth=87 : 1

Sorties

JSON : docs/artefacts/collatz/refinement_K/palier2p15/refinement_certificate_mod2p15.json
Audit JSON : docs/artefacts/collatz/refinement_K/palier2p15/audit_refinement_certificate_mod2p15.json

1.8 KiB Raw Blame History