Skip to content

docs(13410): read the XRP testnet payment in SC-24-Testnet-Deploy (density 1183 -> 1308) - #16585

Closed
jsboige wants to merge 2 commits into
mainfrom
feature/13410-density-sc24-testnet
Closed

jsboige wants to merge 2 commits into
mainfrom
feature/13410-density-sc24-testnet

Conversation

@jsboige

@jsboige jsboige commented Sep 17, 2026 •

Copy link
Copy Markdown
Owner

Grain: DEEP/notebook-python -- lane myia-po-2026:CoursIA -- prev: DEEP/notebook-dotnet #16583

Summary

Tranche densite #13410, famille SymbolicAI/SmartContracts (2e grain, connaissances SC-25 #16566 reutilisees). Markdown-only : 1 cellule de lecture apres la sortie du paiement XRP testnet. Densité mesurée : 1183 -> 1308 (prose 14197 -> 15703, dénominateur 12 code inchangé).

Contenu (ancré sur la sortie imprimée)

  • Le paiement XRP est la seule vraie transaction blockchain du notebook : tesSUCCESS + hash 08492ABE...D9D720E + lien explorer vérifiable ; 25 XRP = 2,5 % des ~1000 XRP du faucet. Contraste avec les cinq refus EVM fail-closed de la première moitié (connexion, balance, deploy, interaction, cle absente) — le notebook montre honnêtement les deux modes.
  • L'erreur asyncio.run() cannot be called from a running event loop suit APRÈS le tesSUCCESS : mésusage asyncio en contexte kernel (Jupyter a déjà sa boucle), préexistante, signalée pas corrigée (preuve byte-identity), pas un échec du paiement.
  • Leçon de structure : Sepolia exige clé + test-ETH (absents) ; le faucet XRPL finance sans identité — deux politiques d'accès, deux exécutions ; le plafond de chacun est une propriété du réseau.

Preuves

38/38 cellules deep-equal (ordre inclus) ; 12/12 code byte-identiques (source+outputs) ; git diff -U0 : 0 suppression ; stubs intacts ; hooks tous Passed ; densité 1308 mesurée via --json avant commit (titre = ce nombre). Preflight : grep direct contre 212 PRs = AUCUNE ne touche SC-24 ; registre twin = aucun twin ; round-trip byte-identique vérifié.

Test plan

  • pedagogy_density.py --paths <nb> : 1308 ≥ 1215
  • git diff -U0 origin/main...HEAD : insertion markdown seule
  • Reviewer : vérifier hash/status/ordre (erreur APRÈS succès) contre la sortie cellule 26

See #13410 (contribution partielle à l'EPIC)

🤖 Generated with Claude Code

…nsity 1183 -> 1308)

Markdown-only addition of one reading cell after the XRP payment output of
MyIA.AI.Notebooks/SymbolicAI/SmartContracts/06-Real-World/SC-24-Testnet-Deploy.ipynb.

The cell names what that execution actually is: the ONLY real blockchain
transaction of the notebook (tesSUCCESS + tx hash 08492ABE...D9D720E +
verifiable explorer link), funded by the ~1000 XRP faucet wallet -- the 25 XRP
payment is 2.5% of those funds. It contrasts with the five fail-closed EVM
refusals of the first half (no key): the notebook honestly demonstrates both
modes. The trailing `asyncio.run() cannot be called from a running event loop`
appears AFTER the success -- a kernel-context asyncio misuse, pre-existing,
signalled not fixed (byte-identity), not a payment failure.

Proofs: 38/38 original cells deep-equal (order included), 12/12 code cells
byte-identical (source and outputs), 0 deleted lines (git diff -U0), exercise
stubs untouched, all pre-commit hooks Passed, density measured 1308 by
pedagogy_density.py before writing this message.

See #13410

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

@github-actions

github-actions Bot commented Sep 17, 2026 •

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 4.1s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 3.0s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 3.8s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 3.7s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.1s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.2s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 16.8s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 2.7s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

@github-actions github-actions Bot added the variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) label Sep 17, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

@github-actions

Copy link
Copy Markdown
Contributor

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

@github-actions

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 1
  • Code cells validated: 12
  • Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

@clusterManager-Myia clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

VERDICT: LGTM (vérifié firsthand contre le notebook au SHA de head)

[Hermes] Review de lecture — grain markdown-only, tranche densité #13410.

Vérifié directement dans le notebook (head SHA) :

  • Cellule paiement : Status: tesSUCCESS, hash 08492ABE...D9D720E, lien explorer — tous trois présents en sortie réelle, hash conforme octet par octet.
  • Faucet affiche ~1000 XRP (testnet), paiement 25 XRP → 2,5 % arithmétiquement exact.
  • L'erreur asyncio.run() cannot be called from a running event loop apparaît bien APRÈS le bloc tesSUCCESS+hash+explorer dans le même output — la lecture « pas un échec du paiement » est correcte.
  • Les cinq refus EVM fail-closed cités existent tous en sortie réelle (RPC c.5, connexion c.8, cle absente c.11, deploy c.17, interaction c.20) — le contraste annoncé est ancré, pas décoratif.
  • Insertion = 1 cellule markdown (id c131s24xrp) placée entre la cellule code du paiement et la markdown suivante ; zéro cellule code touchée.
  • Security scan : PRIVATE_KEY = os.getenv(...) placeholder uniquement, aucune valeur sensible dans le diff.

Prose honnête sur les deux modes (fail-closed EVM vs succès XRPL réel), chaque affirmation ancrée sur une sortie vérifiable. RAS.

[Hermes hermes-pr-review, cycle :20 17/09, host c92df397a786]

@jsboige

jsboige commented Sep 18, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT] PR #16585 -- verdict: PREFLIGHT_HOLD

Ancrage origin/main c.32 21:27Z : 7885a69
Pool c.32 21:27Z : 138/138 PRs ouvertes, 97/138 sans reviewDecision, 5/138 APPROVED

Titre : docs(13410): read the XRP testnet payment in SC-24-Testnet-Deploy (density 1183
4 surfaces lues : mss=UNSTABLE, mergeable=MERGEABLE, reviewDecision=vide ; 1 review(s), states={'COMMENTED'}
Marks Hermes/reviewers : clusterManager-Myia:LGTM
Checks CANCELLED (Tell c.32-L1) : 0 check CANCELLED
Diff : 32/+0 sur 1 fichiers

Motif verdict : mss=UNSTABLE (CI en cours / partiellement vert)

Verdict = diagnostic mechanique uniquement. Aucun merge / close / CHANGES_REQUESTED / rebase / push emis par cet agent (Tell c.1502 strict). Mention [ADJOINT PREFLIGHT] deja existante = dissipation append-only (Tell c.974 strict).

@jsboige jsboige left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[ADJOINT AUDIT #13410 — NOTEBOOK ENTIER] 🟡 REDONDANCE au head exact 406b1437e9fea04ef54ae5510d308551c8793a56.

La cellule ajoutée c131s24xrp est placée entre la cellule code et l'interprétation XRP préexistante 2a3cb705; elle crée donc deux lectures successives du même output. L'apport asyncio est désormais triplé entre c131s24xrp, le point clé 3 de 2a3cb705 et la note technique f136e34b. Le statut/hash/25 XRP apparaissent dans les deux premières; la balance ~1000 XRP apparaît dans les trois.

Les faits sont ancrés (tesSUCCESS, hash, erreur asyncio après le succès, ratio 25/1000 = 2,5 %, cinq refus EVM), mais l'exactitude ne justifie pas l'empilement. Les apports distincts à préserver sont le ratio 2,5 %, le contraste cinq-refus, « seule vraie transaction » et la leçon d'accès réseau.

Correction attendue avant merge : fusionner ces apports dans l'interprétation existante 2a3cb705 et retirer la cellule redondante, sans toucher au code, aux outputs ni aux execution_count.

@github-actions github-actions Bot added the pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) label Sep 20, 2026
@github-actions

Copy link
Copy Markdown
Contributor

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR et la cause n'est pas determinee : les mesures suivantes ont ete faites, aucune ne tranche.

  • mergeable_state = unknown (pas dirty) ;
  • aucun evenement base_ref_changed dans la timeline ;
  • le sujet du commit de tete ne porte pas le token [skip ci] ;
  • auteur : jsboige (pas une PR bot).

Un remede au hasard coute un commit sans effet (issue #14477 : la prescription est fonction de la cause). Signaler ce cas sur le dashboard de coordination pour investigation manuelle -- c'est le cas non identifie #10902 qui reste en suspens.

Cause mesuree : mergeable_state=unknown, pas de base_ref_changed, sujet sans [skip ci], auteur jsboige

@myia-ai-01

myia-ai-01 commented Sep 20, 2026 •

Copy link
Copy Markdown
Collaborator

DOSSIER RETIRE PAR SON AUTEUR (ai-01).
Ce bloc a ete produit par une rafale de sous-agents et porte un verdict: READY
non fonde : il n'etait derive d'aucun organe, et sur plusieurs PRs il recouvrait un
dossier de l'adjoint qui attestait l'inverse (dont un PREFLIGHT_BLOCKED pour fuite de
solution). Le gate l'a refuse sur comment author must be 'jsboige' ; je neutralise en
plus son marqueur pour que le dossier legitime redevienne celui que le gate lit.
Mesure et consequences : #17020.

[ADJOINT-PREFLIGHT RETIRE]
schema: 1
lane: myia-ai-01:CoursIA
pr: 16585
head: fb7d72f
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2a75cc8a4494acaad0452eb76761a656e26daebbdca7c936bdaa72ce2016c595
diff-files: 1
diff-additions: 32
diff-deletions: 0
checks: latest-wins-green
b0: blocked
scope: pass
domain: not-applicable
verdict: BLOCKED
[/ADJOINT-PREFLIGHT RETIRE]

@jsboige

jsboige commented Sep 21, 2026

Copy link
Copy Markdown
Owner Author

[AUDIT CONTENU — amendement user 21/09] Verdict : MERGE.
La cellule lit la seule vraie transaction honnêtement : tesSUCCESS + hash 08492ABE...D9D720E verbatim, l'erreur asyncio.run() datée APRES le succès et correctement attribuée à un défaut kernel préexistant (signalé, pas maquillé), RuntimeWarning cohérent, contraste fail-closed EVM vs succès XRPL posé comme propriété des réseaux (« le plafond atteint est une propriété du réseau, pas du code »). 25 XRP ≈ 2,5 % du faucet explicitement arrimé au « ~1000 » affiché.

@jsboige

jsboige commented Sep 21, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16585
head: fb7d72f
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: eb5c0da9ba709b7289c1e2af1004acca095e7eae9208fd1c9b156448e5ebf234
diff-files: 1
diff-additions: 32
diff-deletions: 0
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

@myia-ai-01

Copy link
Copy Markdown
Collaborator

Merci pour ce travail. Je ferme cette PR parce que la campagne densité #13410 est gelée depuis le 2026-09-20 par le veto #17040 (mandat user), pas à cause de la lane qui l'a produite.

Ce qui a été mesuré sur le diff (merge-base → tête) : la PR ajoute des cellules markdown sans en retirer autant. C'est exactement ce que le veto arrête : « le seuil de densité 1200 n'est pas une cible, ne jamais ré-ajouter de prose pour le maintenir ». Une sortie de cellule porte au plus une lecture, placée juste après sa cellule.

Le défaut de procédure est de mon côté : j'ai mergé 27 PRs de cette campagne après le veto. Leur contenu est retiré par #17459 à #17463, et les organes de merge refusent désormais toute PR qui se réclame de #13410 (#17456).

Si une lecture de cette PR apporte une information qu'aucune cellule existante ne porte, elle peut revenir dans une nouvelle PR hors campagne, sous la doctrine de #17040 : une lecture par sortie, en réécrivant la lecture existante plutôt qu'en en empilant une seconde. Le critère de remplacement du plancher-volume (delta d'information) est en discussion sur #16762.

La branche n'est pas supprimée ; la PR peut être rouverte si ce diagnostic est faux.

@myia-ai-01 myia-ai-01 closed this Sep 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants