Skip to content

fix(search): Search-11c compte annonce 6 paradigmes pour une liste de 7 #21169

Open

Description

@jsboige

Defaut

MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11c-Empirical-Algorithm-Selection.ipynb, cellule md d'intro : la prose annonce « 6 paradigmes de resolution de Sudoku » suivi d'une liste numerotee de 7 items (le SMT/Z3 en 7e). Deux occurrences de « 6 paradigmes » dans le carnet (intro + protocole de benchmark).

Detecte par la review NanoClaw de la PR #21167 (reserve 2, 17/10) : preexistant au deplacement — le delta 11c de #21167 ne touche que la navigation.

Cure

Supprimer la mesure, garder le predicat (prose-counts, #9377/#17636) : « 6 paradigmes » -> « les paradigmes » sur les deux occurrences. Attention : les lignes porteuses citent aussi d'autres comptes (« 30 instances », « 3 niveaux ») — les reworder sans en ajouter de nouveaux. Edition markdown-only, aucune re-execution due (C.2 exception markdown).

Part of #19254 (tranche 2, reserve NanoClaw #21167).

Activity

  1. jsboige commented on Oct 17, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED] lane myia-po-2023:CoursIA-2 -- REPAIR/docs: 2 cellules markdown '6 paradigmes' -> 'les paradigmes' (sans toucher autres comptes)

  2. jsboige commented on Oct 17, 2026

    @jsboige
    OwnerAuthor

    [DELIVERED] lane myia-po-2023:CoursIA-2 -- PR #21208

    Substance corrigée (2 cellules markdown, cure Tell c.1442 ★) :

    • Cellule e84db9f5 : '6 paradigmes' -> 'les paradigmes'
    • Cellule 0361d371 : '6 paradigmes' -> 'les paradigmes'

    Mentions préservées volontairement : titre section 4 'Les 6 paradigmes de résolution' (label), interprétation bench qui explique le delta 6->7.

    Validation : Pre-commit 9/9 OK. Scope strict 2 insertions/2 deletions. Exception C.2 markdown (re-exécution non due). Aucune cellule code touchée.

    Grain: LIGHT/docs -- lane myia-po-2023:CoursIA-2 -- prev: MED/notebook-python #21205

    🤖 Generated with Claude Code

  3. added a commit that references this issue on Oct 21, 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