Atelier d'essais : motifs radicaux — Lab

A. Cards par section, trois variants.

Item #5 du poster · trois traitements possibles, à comparer côte-à-côte.

Cadre plein

Border 1px sur les 4 côtés, numéro et label en couleur de section. Respecte les bans de la skill (pas de side-stripe). Sobre, cohérent avec le cadre hero du site live.

L-frame

Border top + left 6px en couleur. Reproduit fidèlement le motif du poster. Entorse documentée à la règle anti-side-stripe : à n'envisager que si l'effet visuel le justifie.

Top-stripe

Border-top 8px coloré, reste neutre. Compromis : visuel marqué sans violer le ban skill (le ban porte sur left ou right, pas sur top). Le plus économique en bordures.

Verdict (21/05) : 01 et 03 retenus, mais parqués pour un futur usage « article riche » (illustrations, encarts, contenu scrollé long). Pas d'intégration au sommaire principal pour l'instant. 02 (L-frame) écarté : s'éloigne trop du registre presse-revue.

B. Listing radical avec type-tag.

Item #6 du poster · header inversé avec tag de langage, strikethrough wavy sur erreurs.

/-- The sum of the first n positive integers is n * (n + 1) / 2. --/
theorem sum_first_n (n : ℕ) : (range (n + 1)).sum id = n * (n + 1) / 2 :=
  begin                                  -- Lean 3 syntax in a Lean 4 file
  induction n with n ih,
  { simp [range] },
  { rw [range_succ],
    rw [sum_insert (not_mem_range_self (n + 1))],
    rw [ih],
    ring }
  end                                    -- ▲ should be Lean 4's "by ... " block

Notes : type-tag pill yellow en haut à droite, dans le header inversé. Strikethrough wavy rouge sur les keywords obsolètes (begin/end Lean 3). Caption à gauche avec marque ▍ bleue. Lisible, dense, signe le contenu technique sans le banaliser.

use std::num::ParseIntError;
/// Parse a positive integer from a string slice.
pub fn parse_positive(s: &str) -> Result<u32, ParseIntError> {
let n = s.trim().parse::<u32>()?;
Ok(n)
}

Variante : même structure, tag RUST en bleu (pas yellow). Le type-tag prend la couleur la plus liée au langage / au rôle ; ici bleu pour rappeler la doc info. La distribution des couleurs reste sémantique (mute pour commentaires, info pour keywords, warning pour identifiants de fonction, success pour Ok).

C. Titres polychromes.

Items #8 et #9 du poster · variations chromatiques dans les gros titres.

CHALLENGES & PATHS

Variante #8 (écartée) : syllabes en couleurs différentes. Effet poster A0 immédiat, mais trop chargé. Réservé à un titre événementiel unique, pas à un titre récurrent.

The whole point, in one breath.

Variante #9 (retenue) : un seul groupe de mots en yellow highlight (marker). Plus contrôlable, plus poster « édito » que poster graphic-design. Le même mécanique sert à mettre en valeur un mot dans un titre ou un passage dans la prose. Une seule mécanique d'emphase, deux usages.

Pourquoi ce site, et pourquoi maintenant.

#9 appliquée au titre article : exemple direct. Le mot maintenant reçoit le marker yellow ; le reste du titre garde sa rigueur. Plus signal-fort que la variante mixte (colorisation partielle) qu'on avait essayée précédemment.

Pourquoi ce site, et pourquoi maintenant.

Variante mixte (écartée) : conservée ici à titre de comparaison. Mots-clés en couleur de section ; trop dispersé et concurrent avec le système de couleurs section qui existe déjà au niveau des overlines.

D. Application : extraits du site.

Les motifs retenus appliqués à du contenu réel du site live.

Trois extraits pour valider l'intégration à l'identique : un listing lucid-lint reformaté en radical avec type-tag ; le titre de l'article « Pourquoi ce site » avec polychrome mesurée ; et une phrase-clé de l'article avec marker yellow.

$ lucid-lint check README.md ~~~~~ ⟨ • ⟩ ───── lucid-lint v0.2.0 cognitive accessibility linter · prose · EN / FR warning README.md:3:1 Sentence is 29 words long (maximum 22). [structure.sentence-too-long] info README.md:1:1 Kandel-Moles ease score 72.9. [readability.score] summary: 7 warnings, 1 info.

score: 50/100 structure ▓▓▓░░░░░░░░░░░░░░░░░ 5/20 rhythm ▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓ 20/20 lexicon ▓▓▓▓▓▓░░░░░░░░░░░░░░ 10/20 exit: 1

Listing lucid-lint en radical : par rapport au listing actuel du Focus, on gagne le type-tag v0.2.0 en pill yellow et le header inversé qui isole la caption du body. Contraste plus cohérent entre les deux thèmes.

Pourquoi ce site, et pourquoi maintenant.

Titre article avec marker #9 : identique au titre actuel mais avec maintenant en yellow highlight. Le « pourquoi maintenant » devient la question signal de l'article, pas juste un titre monochrome. À comparer avec la version actuelle pour décider.

Cette discipline est l'alignement de la pensée avec l'écrit. J'en ai appris l'exigence par le code, mais elle dépasse le code.

Phrase article avec marker #9 : extrait du premier acte de l'article. Même mécanique que pour le titre ci-dessus : un yellow highlight isole la phrase-clé sans la coloriser ni la grossir. Une seule doctrine d'emphase, titres et prose confondus.