nicolas.cantu/algo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
algo/docs/features/collatz_run_report_generator.md
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

2.9 KiB
Raw Blame History

Auteur : Équipe 4NK

Collatz — Génération automatisée des rapports d’exécution

Objectif

Fournir un mécanisme standard et reproductible pour produire un rapport d’exécution séparé du texte de preuve, contenant :

  • la commande,
  • les artefacts d’entrée et de sortie,
  • les empreintes sha256,
  • des compteurs extraits des logs,

afin d’éviter toute insertion de transcript terminal dans les documents mathématiques.

Impacts

  • Les rapports d’exécution sont centralisés dans docs/ et référencés depuis les documents de preuve par un chemin stable.
  • Les empreintes sha256 permettent de citer précisément les artefacts utilisés.

Modifications

  • Ajout d’un format standard : docs/collatz_run_report_format.md.
  • Ajout d’un générateur : applications/collatz/collatz_k_scripts/collatz_generate_run_report.py.
  • Ajout d’un exemple réel de rapport : docs/collatz_run_report_2026-03-04_extend_D18_D21_resume_from_D20.md.
  • Profils supportés : extend_finale, validation_section7, pipeline_d16_d17, fusion_palier2p25, local_H6_E1, local_H6, c2_projective, c3_local_descent, c3_local_descent_palier, universal_clauses, universal_clauses_palier.
  • Pour local_H6/local_H6_E1, un audit automatique compare le palier attendu (artefacts) au palier certifié (certificats) et échoue en cas de désaccord.
  • Pour c2_projective, le rapport cite les artefacts déterministes docs/artefacts/collatz/c2_projective/verification_c2_projective.{json,md}.
  • Pour c3_local_descent, le rapport cite les artefacts déterministes docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent.{json,md} (et, si --c3-palier != 13, les variantes suffixées ..._palier2p<m>.{json,md}).
  • Pour c3_local_descent_palier, le nom de fichier du rapport est déterministe : docs/collatz_run_report_<date>_c3_local_descent_palier2p<m>.md.
  • Pour universal_clauses, le rapport cite les artefacts déterministes docs/artefacts/collatz/universal_clauses/... et l’entrée C3 est déduite de clauses_universelles.json (champ inputs.verification_c3_local_descent_json).
  • Pour universal_clauses_palier, le nom de fichier du rapport est déterministe : docs/collatz_run_report_<date>_universal_clauses_palier2p<m>.md.

Modalités d’analyse

  • Vérifier que applications/collatz/out/pipeline_extend.log et applications/collatz/out/paliers_finale.log existent et contiennent un run complet.
  • Vérifier la présence des artefacts listés (noyaux/candidats/certificats) dans applications/collatz/out/.
  • Pour local_H6_E1, vérifier la présence des artefacts versionnés dans docs/artefacts/collatz/local_E1_palier2p13/.
  • Pour local_H6, fournir --local-h6-artefacts-dir et vérifier la présence d’un noyau base noyaux/noyau_*_B12.json et d’au moins un certificat certificats/certificat_*.json.

Modalités de déploiement

Aucun déploiement.