Repository navigation
fix(notebooks,#18053): SC-25-Mainnet-Deploy -- l'interpretation suit sa sortie - #18115
Conversation
…sa sortie Deux constats de #18053 sur 06-Real-World/SC-25-Mainnet-Deploy-Python.ipynb (l'issue cite « SC-25-Mainnet-Deploy.ipynb », chemin inexistant : le fichier porte le suffixe -Python). [7] « Interpretation : Estimation du cout de deploiement » lisait la sortie de la cellule de code [8] et la precedait -- le carnet porte deja l'ordre correct en [5], interpretation de la sortie de [4]. [7] passe apres [8]. [11] « Interpretation : Tentative de deploiement mainnet » lisait la sortie de [15] et la precedait de quatre cellules. La destination prescrite par l'issue est respectee, dans la forme que le cliquet accepte : [11] fusionne en tete de [16], la cellule qui suit [15]. Mesure avant application -- un deplacement pur rend 1 constat SECOND_READING par cellule deplacee (le carnet a cinq cellules de code executees, donc chaque en-tete de section suivant une sortie compte deja comme une lecture), la fusion rend 0. Aucune cellule de code modifiee (signatures identiques par id), aucun id duplique, JSON inchange (indent=1 + newline final), aucune re-execution due. Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
|
[ADJOINT PREFLIGHT] Dossier READY sur PR #18115 (lane Substance : fix(notebooks,#18053): SC-25-Mainnet-Deploy -- l'interprétation suit sa sortie. Substance : +57/-72 sur 1 fichier. Grain État : CLEAN+MERGEABLE+rev=NONE, B.0 rc=0.
|
3 participants
Grain: MED/notebook-python — lane myia-po-2026:CoursIA-2 — prev: LIGHT/tooling #18037
Tranche SymbolicAI/SmartContracts de #18053
Un carnet, deux constats, re-verifies sur
origin/mainavant correction (protocole audit-reassessment).SymbolicAI/SmartContracts/06-Real-World/SC-25-Mainnet-Deploy-Python.ipynb[7]### Interprétation : Estimation du coût de déploiementlit la sortie de la cellule de code[8](l'estimation) et la précède — la sortie citée est « la clé privée n'est pas configurée », produite par[8].[7]passe après[8]. L'ordre correct existe déjà dans le même carnet :[5](interpretation de la sortie de[4]) suit son code.[11]### Interprétation : Tentative de déploiement mainnetlit la sortie de la cellule de code[15](le déploiement) et la précède de quatre cellules.[11]se place après[15]— dans une forme différente, pour la raison mesurée ci-dessous.Aucun
FALSE POSITIVEsur cette tranche.Le chemin cite par l'issue n'existe pas
L'issue nomme
SymbolicAI/SmartContracts/06-Real-World/SC-25-Mainnet-Deploy.ipynb. Ce chemin n'existe pas dans l'arbre : le fichier porte le suffixe-Python(SC-25-Mainnet-Deploy-Python.ipynb). La verification a donc ete faite sur le fichier reel, et c'est lui qui est corrige.Le deplacement prescrit, mesure avant d'etre applique
L'issue prescrit un deplacement pour chaque cellule. Mesure de ce deplacement contre le cliquet
check_split_reading_cells, avant toute edition :SECOND_READING[7]apres[8]seule[7])[11]apres[15]seule[11])[7]apres[8]+[11]fusionnee en[16]La cause est structurelle et propre a ce carnet : il ne porte que cinq cellules de code executees (
[0],[4],[8],[12],[15]), et l'organe rattache une lecture a la source de la premiere cellule de code au-dessus d'elle — donc chaque en-tete de section qui suit une sortie compte comme une lecture de cette sortie. En base, les sorties visees portent deja 2 a 3 lectures ([15]en porte trois :[16],[17],[18]). Y ajouter une cellule fait monter ce compte, et l'organe nomme alors le deplacement comme le geste qui a mis la sortie en deficit.Le depot tranche ce cas : « un output, une lecture — si on rajoute une lecture, on modifie le paragraphe de lecture existant, on n'en rajoute pas un deuxieme ». La destination de l'issue est donc respectee, la forme est la fusion :
[11]vient en tete de[16], la cellule qui suit[15]. La lecture du deploiement se trouve ainsi apres la sortie qu'elle commente, le compte de lectures de[15]ne bouge pas (3 avant, 3 apres), et celui de la sortie d'estimation baisse de 3 a 2.Constat de meme classe laisse en place, et pourquoi
La cellule
[9](### Interprétation : Compilation du contrat SimpleStorage) porte le meme defaut : elle lit la sortie de compilation produite par[12]et la precede. Elle ne figure pas dans les constats de #18053. Mesure de son correctif ([9]apres[12]) : 1 constatSECOND_READING— la fusion equivalente n'existe pas ici,[12]etant suivi de deux cellules qui lui sont deja rattachees ([13],[14]). Elle est donc signalee ici, pas corrigee : la corriger demanderait de toucher des cellules hors des deux constats de l'issue, et une correction qui rend le cliquet rouge n'est pas une correction.Etat obtenu
26 -> 25 cellules (une fusion). Le cliquet passe de
paires 0apaires 1: la paire vient de ce que[7]et[9], deux en-tetes d'interpretation, deviennent consecutifs —[9]restant a sa place, cf section precedente. Le compte des paires n'est pas un verdict de l'organe (« une hausse qui ne vient d'aucune sortie n'est pas une violation ») ; il est declare ici pour ne pas etre decouvert apres coup.Invariant : aucune cellule de code modifiee
execution_count,outputs) ;0689e41b) a bien disparu ;"cell_type"touchees sontmarkdown(2 retirees — les deux cellules deplacees a leur ancienne place — et 1 ajoutee). Aucune ligne"cell_type": "code"n'apparait ;indent=1+ newline final), detecte par aller-retour avant ecriture.Consequence : pas de re-execution due (C.2/C.3). Les sorties committes restent celles de
main.Gardes
check_split_reading_cells.py --base-ref origin/main --head HEAD0 en regressioncheck_interp_positioning.pyfindings total : 0check_cell_source_parses.pyfindings: 0#13326compilabilite)Perimetre
Un carnet, les deux constats de l'issue pour cette serie. Les autres series de #18053 sont livrees par tranches separees, deja ouvertes par cette lane : GenAI/Audio (#18073), GenAI/Image (#18075), Probas/DecisionTheory (#18103), Probas/PyMC (#18106), IIT (#18107), RL (#18109).
La serie GameTheory (2 constats) n'est pas prise : la garde de claim la declare
BLOCKED, la PR #18001 (myia-po-2023:CoursIA, renommage des 93 carnets GameTheory) etant ouverte sur ces deux chemins.See #18053— l'issue porte d'autres series et reste ouverte.🤖 Generated with Claude Code