nicolas.cantu/algo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
algo/docs/collatz_run_report_2026-03-09_local_H6_E1.md
ncantu 70ee05cf37 Version local H6(E1) artefacts and add local_H6_E1 report profile 
**Motivations:**
- Make H6(E1) artefacts citeable/reproducible in-repo
- Generate a standard report without relying on ignored OUT/

**Root causes:**
- applications/collatz/out/ is Git-ignored, so local artefacts cannot be versioned there

**Correctifs:**
- Add strict set-equality check for H6(E1) lifted domain coverage
- Canonicalize H6(E1) artefact paths in the audit and plan

**Evolutions:**
- Add `local_H6_E1` profile to the run report generator
- Document the new profile in run report docs

**Pages affectées:**
- applications/collatz/collatz_k_scripts/collatz_generate_run_report.py
- applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md
- docs/collatz_run_report_format.md
- docs/features/collatz_run_report_generator.md
- docs/artefacts/collatz/local_E1_palier2p13/**
- docs/collatz_run_report_2026-03-09_local_H6_E1.md
2026-03-09 00:39:12 +01:00

2.5 KiB
Raw Blame History

Auteur : Équipe 4NK

Rapport d’exécution — local_H6_E1

Contexte

  • But : vérifier H6(E1) (complétude locale) par couverture explicite des relèvements au palier cible.
  • Assertion vérifiée : l’union des ensembles covered (certificats D8 et F9–F40) est égale au domaine relevé.
  • Statut logique : ce rapport vérifie une égalité d’ensembles sur des artefacts versionnés ; il ne prouve pas la correction sémantique des clauses D/F.

Code et reproductibilité

  • Commande :
python3 applications/collatz/collatz_k_scripts/collatz_generate_run_report.py --profile local_H6_E1 --scope local_H6_E1 --out-dir applications/collatz/out --docs-dir docs

Empreintes sha256 (scripts, artefacts)

  • /home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_generate_run_report.py
    • sha256: 23734fe5f6bd2e97c16546d89c4c7b94ab9a783da3b1f7d45d8bf115c9de7658
  • /home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_E1_B12.json
    • sha256: 7f6bb5e8893ae7456f54963491a3eb80d03a7cff3f87feb12702788e43661875
  • /home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/noyaux/noyau_post_D8_E1_palier2p13.json
    • sha256: d192f751dd332764809814edf909ad994a1b41caab2b60ae1d453c7ca16b13a4
  • /home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_D8_E1_palier2p13.csv
    • sha256: 86b5c2cfe49343e21f5331ccc0ab110e231312bd17c1289ac90baee5feff1023
  • /home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/candidats/candidats_F9to40_E1_palier2p13.csv
    • sha256: 404f1d6c16a365aa79b87843d61f9a6ecc62dafe102eb821b40fe8908a208146
  • /home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_D8_E1_palier2p13.json
    • sha256: 1723a856b45888e38d39850708520492a062bc076d65aa332a8127296e29eed2
  • /home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/certificats/certificat_F9to40_E1_palier2p13.json
    • sha256: 1d2af4a7dcd5d8efb6f542379cb0606dc188c61ffaec998c0c8e3448d914aa7d
  • /home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13/audits/verification_H6_E1_palier2p13.md
    • sha256: 06986b4ead9444b81e316cd9f242959d4da641c03ea72df141c700f52fa4fa2d

Compteurs et métriques

  • palier base : 12
  • |B12(E1)| : 16
  • palier cible : 13
  • |Lift| : 32
  • |covered(D8)| : 2
  • |covered(F9–F40)| : 30
  • |covered(D8 ∪ F9–F40)| : 32

Chemins d’artefacts (versionnés)

  • ARTEFACTS : /home/ncantu/code/algo/docs/artefacts/collatz/local_E1_palier2p13