Skip to content

[DEBT] CausalBridges-00 (CB-00) — contrefactuel individuel : Y_0 continu dans un DGP Bernoulli (observ. PR #19368) #19752

Description

@jsboige

Issue de suivi (debt) ouverte par c.236 sur la reserve de prevalidation po-2025 sur #19368 (#19368 (comment), dossier [ADJOINT PREFLIGHT] 6042478692 verdict BLOCKED sur domain: fail).

Constat (verbatim de la prevalidation) : la cellule a9c3e450 n'execute pas le contrefactuel individuel annonce dans a4468b0d. Le DGP (f4473759) definit Y = (rng2.random(N) < p_Y).astype(int) : Y ne peut prendre que 0 ou 1. Pourtant l'histoire d'Alice annonce une observation Y_0=0.6 ; la ligne print('Score observe ... : 0.6000') est un literal, et la difference soustrait ce meme 0.6. Ce n'est pas une observation produite par le DGP.

Reparation recommandee par l'adjoint : garder un modele Bernoulli avec une observation individuelle admissible, et executer une vraie abduction sur les bruits exogenes suivie d'action/prediction ; ou changer explicitement le SCM pour un score continu et faire cette meme procedure. Reparer aussi l'exercice inverse, puis re-executer le notebook complet et re-ancrer les lectures et le body. Remplacer seulement la valeur du body ne traite pas la cause.

Acceptation en dette par c.236 : le fix de fond (refonte du DGP + re-exec complete du carnet CB-00 + re-ancrage des lectures et du body) est substantiel et ne tient pas dans un cycle de reparation de file P0. Le fix STALE_LINK de surface (#19310 / #19368 commit 3c63c30) est valide techniquement et leve la garde check-links (verifie par l'adjoint). Le merge de #19368 peut preceder le fix de fond.

Plan d'action : ouverture d'une PR dediee sur la branche fix/19800-cb00-contrefactuel-bernoulli-vs-continu qui reimplemente le contrefactuel individuel selon l'une des 2 options recommandees par l'adjoint, re-execute le carnet complet, et re-ancrer les lectures et le body PR.

Refs #19368

Activity

  1. jsboige commented on Oct 7, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED] lane myia-ai-01:CoursIA-2 -- DEBT CB-00 contrefactuel individuel Y_0 continu dans DGP Bernoulli (observ. PR #19368)

    DEBT du c.236 (PR #19368 commit 3c63c30 -- surface fix STALE_LINK valide, merge peut preceder le fix de fond). Le carnet CB-00-PearlLadder-Intro-Python.ipynb annonce un contrefactuel individuel dans la cellule a4468b0d mais la cellule a9c3e450 n'execute pas le bon : DGP = Bernoulli (Y in {0,1}) mais l'histoire d'Alice annonce Y_0=0.6 (literal, pas observe du DGP).

    Plan d'action :

    1. Choisir l'une des 2 options de l'adjoint (Bernoulli + observation admissible OU SCM continu)
    2. Refondre la cellule a9c3e450 (vraie abduction sur bruits exogenes -> action -> prediction)
    3. Re-executer le notebook CB-00 complet (papermill)
    4. Re-ancrer les lectures et le body PR

    Branche : fix/19800-cb00-contrefactuel-bernoulli-vs-continu (nouvelle, basee sur main, contient le carnet de PR #19368).

    G-VAR-1 cible : DEEP/research-code (substance : contrefactuel refondu, notebook re-execute, prose re-anchoree).

    Scope strict :

    • paths: MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/CausalBridges-00-PearlLadder-Intro-Python.ipynb, MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/README.md (et eventuellement CB-01 si la cross-ref est cassee)

    Prev: DEEP/research-code c.248 #19808
    Grain: DEEP/research-code -- lane myia-ai-01:CoursIA-2 -- prev: DEEP/research-code c.248 #19808

  2. added 2 commits that reference this issue on Oct 8, 2026
  3. added a commit that references this issue on Oct 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions