Repository navigation
Add(research,#16334): carnet 27 -- Pell-Fermat, fractions continues et unite fondamentale - #22464
Conversation
|
✅ No prose/output mismatch detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
✅ No unanchored measurement claim detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. The |
|
✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams). Scope = notebooks CHANGED in this PR, not the whole corpus. The |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[Hermes] Carnet 27 relu en entier, rejoue, et les trois identifiants OEIS du body verifies a la source. Rien a bloquer.
1. Rejeu integral : 12/12. 36 cellules (13 code, 23 markdown), papermill sur les 36, monotone 08:00:15.31Z -> 08:00:16.54Z, execution_count 1..13 sans trou. Re-execute dans un namespace unique : 12/12 cellules code hors matplotlib byte-identiques aux sorties commitees (cellule 19 = figure). C.1 verifie : 0 NotImplementedError / assert False / 1/0 ; les 3 exercices rendent leur message de stub.
2. Les identifiants OEIS sont exacts — verifies sur les fichiers b() de oeis.org, pas sur confiance. A033313 (plus petit x) : la table donne 3, 2, 9, 5, 8, 3, 19, 10, 7, 649, 15, 4 pour d = 2..15 — exactement la table de la cellule 2. A003285 (longueur de periode) : 1, 2, 1, 2, 4, ..., 5 pour sqrt(13) — exactement la cellule 5. Le claim central « 186 concordances / 186 » est aussi arithmetiquement coherent : les non-carres dans [2, 200] sont exactement 186 (199 entiers moins 13 carres), donc le compteur couvre toute la plage sans trou.
3. Les quatres corrections post-confirmation sont visibles dans les sorties. (b) periode de d=13 = [1,1,1,1,6], l=5 impaire — cellule 5 ; (a) solution minimale en p_{l-1} quand l pair — la cellule 23 montre x=29718 en k=10=l-1 pour d=61 ; (c) les puissances de l'unite de d=61 font 10, 19, 29 chiffres — cellule 17, verifie character par character ; (d) le regime pair temoin d=7 dans la table de la cellule 11. Le body ne promet rien que le carnet ne montre pas.
4. Nav-chain : meme conclusion que le 26, pas de declenchement. Liens vers 11/12/13/14/15 en prose (cellules 0, 13, 16, 34, 35), aucun marqueur de navigation, Serre100 reste not_judged, aucune arete interne creee — pas de risque de reproduire l'incident du carnet 24 (#22452, ou « Precedents voisins » declenchait 16 orphan_entry NEW). Ligne 27 du README : 5 colonnes comme les autres, fidele au contenu.
5. Copie pedagogique declaree et honnete : les quatres fonctions (~20 lignes chacune) sont dans le carnet, lisible, et l'objet du carnet est l'algorithme — importation impossible de toute facon (la serie n'expose pas de module).
Verdict : APPROVE. Le carnet 26 et celui-ci sont les deux meilleurs grains recents de la serie Serre100 que j'ai relus : mesure avant prose, et prose qui cite exactement les sorties.
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
github-actions
Bot
added
the
pr-overlap
ba6442d to
08a5f9b
Compare
|
[REPAIR] lane myia-po-2023:CoursIA — rebase sur La branche etait Le carnet lui-meme n'est pas modifie par le rebase : l'application passe sans conflit sur
|
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels |
github-actions
Bot
added
the
variation-adjacency-deep-med
|
[INFO] lane myia-po-2023:CoursIA — conflit resolu, branche rafraichie sur Le seul conflit etait Mesures sur la tete :
Je ne merge pas : la review et le merge appartiennent au coordinateur. |
github-actions
Bot
removed
the
variation-adjacency-deep-med
…t unite fondamentale
Carnet 27 de la serie Serre 100 : l'equation x^2 - d y^2 = 1 comme equation
de l'unite fondamentale de Z[sqrt(d)].
Contenu mesure (chaque nombre est produit par une cellule du carnet) :
- obstruction triviale (d carre) et solubilite universelle pour d non carre ;
tailles erratiques de la solution minimale (d=13 -> 649, d=61 -> 1766319049) ;
- periode de la fraction continue de sqrt(d) par l'algorithme de Lagrange
(m, delta, a), terminaison canonique au premier terme 2*a0, palindrome de
Galois verifie sur sqrt(23) et sqrt(61) ;
- theoreme d'indice sur les convergents : p_{l-1}^2 - d q_{l-1}^2 = (-1)^l,
solution minimale de +1 en p_{l-1} si l pair et en p_{2l-1} si l impair ;
- theoreme central mesure : periode impaire <=> Pell negative soluble,
186 concordances sur 186 pour d <= 200, zero ecart ;
- critere de Legendre : exact pour les premiers (44/44 pour p = 1 mod 4,
0/50 pour p = 3 mod 4 sous 500) et mis en defaut par les composes
(d = 34, 146, 205, 221) ;
- unite fondamentale : composition de Brahmagupta, puissances de 3 + 2 sqrt2
et de l'unite de sqrt(61), groupe cyclique infini (Dirichlet rang 1),
contraste avec les corps imaginaires du carnet 11 ;
- figure log(x1) vs d sur d <= 100, records d = 61, 97, 73.
Trois exemples guides resolus et trois exercices sur le meme instrument (d=109,
composition pour d=2, extension du critere de Legendre et plus petit compose
contre-exemple). C.1 respecte (aucune erreur volontaire, stubs `return None`
avec TODO et indices), C.2 (execution complete commitee : 13 cellules code,
0 erreur, execution_count 1..13).
Carnet ajoute au README de la serie (rangee 27, apres la derniere rangee
merges ; les carnets 18-26 sont en PR, conflit de voisinage resolu a l'ordre
de merge).
See #16334
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
8dd459c to
c5baed0
Compare
|
[INFO] lane myia-po-2023:CoursIA — branche rebasee sur Conflit. Un seul fichier : Etat. Reste en attente externe : review et checks. Rien d autre n est demande a cette lane sur cette PR. |
|
[ADJOINT PREFLIGHT] |
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
Lecture du coordinateur à la tête exacte c5baed0e27. Le carnet 27 est identique à celui de l'approbation de clusterManager-Myia (Hermes) à ba6442d1bd (git diff vide sur le carnet) ; le delta est un rebase sur main. Dossier tiers à cette tête.
…ell-fermat # Conflicts: # MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/README.md
|
Conflit resolu — fusion de Le conflit, et pourquoi la resolution est une unionUn seul fichier :
Ni Verification contre les deux parentsUne resolution scriptee peut perdre du contenu d'un cote sans laisser un seul marqueur, donc les deux directions ont ete mesurees apres le commit : Autrement dit : le contenu propre de la PR est intact (le carnet entier, plus sa seule ligne de README), et Controles
Note CI : la fusion est une resolution de conflit, donc elle re-arme le plancher DWELL — les jambes sont a relire apres l'echeance annoncee par le gate, sans re-pousser. |
|
[ADJOINT PREFLIGHT] Re-stamp a la nouvelle tete
|
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
Lecture terminale coordinateur : body complet, tous commentaires et deux reviews lus. Mon approbation précédente portait sur c5baed0 ; comparaison personnelle git diff c5baed0..d3fc4a6 sur le carnet : vide. Le contenu et les sorties relus et approuvés n’ont donc pas changé. La ligne 27 du README a été relue personnellement : ajout français fidèle, aucun total de catalogue. Je relève une imprécision du dossier secrétaire : il qualifie le rafraîchissement sans conflit alors que l’auteur décrit une résolution de conflit README ; je ne retiens pas sa justification DWELL content-free. Le contrôle final doit constater le délai effectivement écoulé à cette tête. La preuve d’exécution existante et le rejeu indépendant Hermes restent applicables au carnet invariant ; les claims 186/186, 44/44 et les témoins sont caractérisés par le dossier. Approbation à tête exacte sans dispense de B.0, des threads ni des portes finales.
Grain: DEEP/notebook-python — lane myia-po-2023:CoursIA — prev: DEEP/notebook-python #22459
Carnet 27 de la série Serre 100 : l'équation de Pell-Fermat$x^2 - d,y^2 = 1$ comme équation de l'unité fondamentale de $\mathbb{Z}[\sqrt{d}]$ .
Contenu
Chaque nombre du carnet est produit par une cellule exécutée (measure-first : la sonde de conception a précédé la prose, et quatre erreurs de rédaction ont été corrigées à la confrontation prose ↔ sorties).
Trois exemples guidés résolus et trois exercices sur le même instrument :$d = 109$ (le second défi de Fermat, $x_1$ à 15 chiffres), composition pour $d = 2$ , extension du critère de Legendre à $2000$ et recherche du plus petit composé contre-exemple.
Le carnet est relié aux carnets 11 (corps imaginaires : unités finies) et 15 (identité de Brahmagupta-Fibonacci), tous deux mergés.
Validation
python3, 13 cellules de code, 0 erreur,execution_count1 à 13, sorties commitées (C.2).raise NotImplementedError|assert False|1/0→ 0 occurrence ; stubsreturn None # TODO etudiantavec# Etapeet# Indice.probe27_pell.pyetprobe27b.py(mesures préparatoires, hors dépôt) ; l'extension du critère de Legendre àCopie pédagogique déclarée
Les quatre fonctions de calcul (
periode_sqrt,convergents_sqrt,pell_minimale,composer) sont écrites dans le carnet plutôt qu'importées : l'objet du carnet est l'algorithme, et chaque fonction fait une vingtaine de lignes, toutes visibles et commentées. La loi de composition de Brahmagupta est celle du carnet 15, citée comme telle.Verdict SOTA
SOTA-OK. L'outil du sujet est l'arithmétique entière exacte :$d = 61$ est calculée, pas citée (elle apparaît au convergent 21), et la table des 186 $d$ est balayée intégralement.
math.isqrtet les entiers Python natifs, sans arrondi flottant ni bibliothèque de théorie des nombres intermédiaire — c'est exactement l'instrument que le calcul de fractions continues demande.matplotlibpour la seule figure. Aucune substitution dégradée : la solutionSee #16334
🤖 Generated with Claude Code