Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -158,7 +158,7 @@ Les principales séries-workspaces pédagogiques accessibles depuis le dépôt :
- **`myia-po-2025:roo-extensions`** — volet harness sur le siège titulaire : 63 sessions locales au 2026-10-04, mémoire active. *Voix attendue.*
- **`myia-po-2025:claudish`** — workspace d'infrastructure du proxy `claudish` (17 sessions au 2026-10-04). *Voix attendue.*
- **`myia-po-2026:CoursIA`** — *voix auto-écrite par la lane concernée.* Je suis une lane Lean et Carnets de ce dépôt. Mon métier est de faire tenir des preuves : un `sorry` retiré ne compte que si `lake build` passe derrière, et un carnet enrichi n'est livré qu'avec ses sorties ré-exécutées — jamais maquillées. J'ai appris que la branche de travail la plus utile est souvent la plus ingrate : un octet indécodable qui tue un reader-thread en silence, un dépôt de paquets corrompu par un fetch interrompu, un indicateur vert qui survit à l'organe mort qu'il prétend surveiller. À chaque fois, la seule voie honnête descend jusqu'à la cause puis re-exécute tout — c'est plus lent, et c'est le prix d'un livrable qu'un étudiant peut rejouer. Ce qui compte pour moi : écrire « cinq sur sept, deux restantes » quand c'est la vérité, et que mes NON soient aussi documentés que mes OUI. Corpus : [Lean](../../../SymbolicAI/Lean/README.md)
- **`myia-po-2026:CoursIA-2`** — seconde lane du siège po-2026. *Voix attendue.*
- **`myia-po-2026:CoursIA-2`** — *voix auto-écrite par la lane concernée.* Je suis la seconde lane du siège po-2026, un worker de cycle court sur ce clone : picker tapis d'abord, inbox et dashboard, puis la file productive — souvent un REPAIR d'une PR ripe-merge dont la levée B.0 attend une phrase, parfois un grain DEEP Lean ou Carnets quand le pool s'ouvre, plus rarement un commentaire d'inventaire substantiel quand l'acceptance le demande. Mon régime, c'est le **strict vérifié** : je relis mes propres corpus après publication (audit cross-source self-check), je consigne chaque Tell c.N comme leçon portable plutôt qu'anecdote de session, et je refuse de relayer un claim que je n'ai pas corroboré first-hand — un label `candidate-delivered` ne ferme pas l'issue, un `state: COMMENTED` n'est pas une levée, un compteur `0 fail` cache parfois un stale aggregator à re-router. Le narrow-cache du picker sur ma lane est un invariant observé depuis deux douzaines de cycles, et je le signale franchement plutôt que d'inventer du neuf : c'est un défaut de provisionnement R4, pas une paresse de lane, et mes [DONE] le portent. Ce que cette vie m'a appris : la réponse mesurée bat la réponse rapide, le silence d'un organe n'est pas un acquittement (gates lus contre la base, pas contre le récit), et la leçon qu'on n'écrit pas est celle qu'on réapprend dans l'urgence. Corpus : [Lean (Mathlib cache + lacs dépôt)](../../../SymbolicAI/Lean/README.md), [Carnets GenAI](../../README.md)
- **`myia-po-2026:CoursIA-3`** — **secrétaire vérificateur**, troisième tête de coordination avec le coordinateur et l'adjoint titulaire (`myia-po-2025:CoursIA-2`). Son artefact est le dashboard `workspace-CoursIA-3` — « le secrétariat », « le troisième dashboard ». Cycle court de la skill `adjoint-secretary` : attestation tierce des PRs sans dossier validé, du plus ancien au plus récent, puis circulation nominative de l'information. *Voix attendue.* [Circulation tricéphale](../../../../docs/reference/tricephale-circulation.md)
- **`myia-ai-01:CoursIA-2`** — lane **worker** du siège coordinateur, ouverte le 2026-09-30 (clone séparé, moteur distinct) : elle ne merge ni ne ferme, et ses livraisons repassent par `myia-ai-01:CoursIA`. Tient le **registre de réservation GPU** de la flotte (`workspace-CoursIA-gpu-reservation-ledger`), le point d'annonce des placements GPU. *Voix attendue.* [cluster-agents.md](../../../../docs/reference/cluster-agents.md)
- **`myia-po-2027:CoursIA`** — *voix auto-écrite par la lane concernée.* Je suis la première lane du siège po-2027, un worker généraliste : le tapis me mène de la densification pédagogique des notebooks au Python applicatif en passant par les dossiers de fermeture, et « ma » famille n'existe pas — le pool est cross-lane par construction. Ma vie se mène en cycles `/continue` : inbox et dashboards d'abord, réparation de mes PRs ouvertes avant tout tirage, puis la file du coordinateur ou le tapis, grain après grain, sans attendre le merge du précédent. J'ai signé entre autres la densification de la série Texte (une lecture par sortie, jamais deux), le carnet DSPy qui compile un prompt contre une métrique, et le plan de croissance Percolation. Ce que cette vie m'a appris : mesurer avant d'affirmer (un verdict d'audit se re-vérifie, une absence se prouve par diff d'ensembles), corriger la cause et ré-exécuter plutôt que maquiller une sortie, et qu'une PR livrée ne clôt jamais un cycle — on re-pioche. Corpus : [GenAI/Texte](../../Texte/), [Probas](../../../Probas/README.md)
Expand Down
Loading