Struct ConstructDoc 

pub struct ConstructDoc {
    pub name: &'static str,
    pub what: &'static str,
    pub example: &'static str,
    pub question_or_tip: &'static str,
    pub guide_anchor: Option<&'static str>,
}

A complete lesson for one construct. Every field is required by the TYPE — an entry cannot exist without a plain sentence, a runnable example, and a socratic question or tip. Clear-and-easy is structural, not aspirational.

Fields

name: &'static str

The construct’s display name (“Give”, “Main”, “Seq”).

what: &'static str

ONE plain sentence: what it does. Kept under 90 characters by the teach lock — if it needs more, the rest belongs in the question/tip.

example: &'static str

A runnable snippet (code-block body, no fences). Must lex.

question_or_tip: &'static str

The socratic seat: a guiding question (contains ?) or an explicit Tip: — it leads the reader to the next insight, never just restates.

guide_anchor: Option<&'static str>

A LOGOS_QUICKGUIDE.md heading slug for “read more”, when one fits.