docs: add token renewal procedures (gh + Claude Code)
docs: ajout section gh auth login + gh pr create dans Guide-Git-GitHub.md
Couvre l'authentification GitHub CLI via device login, la création de
PR en ligne de commande (gh pr create), et l'alternative manuelle via
le lien de push.
docs: run T=100k v4 (STEP δ/3) terminé — 2072 manquants + leçon GUE + plan v6
- Formules_zeta §23 : résultats v4 (135997 zéros, 2072 manquants), tableau récap runs
- analyse_problemes_v4_1_v5 : leçon STEP δ/3 insuffisant (GUE gap_min=0.019 vs STEP=0.22)
- Bonnes-Pratiques : règle STEP adaptatif, estimation vitesse, Monitor, /clear avant v6
- Guide-Git : section "Surveiller un run long" (ps/tail/Monitor/estimation durée)
- plan_v6_riemann.md : NEW — scan_arb.c + W=8 + cache fa/fb, cible ~20 min T=100k
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
docs: sessions 09-10 juin — run T100k analysé, fix STEP, guides mis à jour
- JOURNAL.md : entrée 2026-06-10 (run T=100k 137 904 zéros, 356 manquants,
fix STEP adaptatif, test T=10k lancé + résultats)
- STACK.md : tableau progression mis à jour (×84 mesuré vs ×1260 théorique)
- Formules_zeta.md + Bibliotheques.md : pieds de page mis à jour
- Bonnes-Pratiques-Claude-Code.md : leçons sessions 09-10 (nohup, STEP,
GPU, segmentation 1/√t, suivi progression)
- Guide-Git-GitHub.md : leçons sessions 09-10 (Handoff local, find -printf,
git check-ignore, archivage post-run)
- Guide-VSCode-Bonnes-Pratiques.md : raccourcis PDF, tmux, htop
- analyse_run_T100000_v4_1.md : rapport complet (profil phases, causes,
corrections appliquées)
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
docs(wiki): § pièges vécus session 1er juin (placeholder, rm vs git rm, untracked, vérif post-push)