pub fn session_section(
pin: &StandardsPin,
role: Role,
) -> Result<Option<String>, String>Expand description
The session projection (D-G): the approved pin’s rules applicable to
role’s stage, rendered inside the marked boundary for appending to the
role prompt. None — a byte-identical prompt and unchanged recorded hash
— when the mission carries no pin or no rule applies to the stage.
The touch input is the pin’s OWN approved touch set under the Declared
(conservative-overlap) reading, so the projection is a pure function of
the pin: replay recomputes it exactly, and a live pack read can never
reshape a running session. The budget check is defense in depth —
approval already refused an over-budget pin
(super::resolution::approval_pin); a hand-edited plan carrying one
fails the spawn closed rather than silently truncating.