Module lessons 

Safe storage and rendering of repo-level lessons.

Lesson paths live in a worker-writable mission tree but are read and written by the trusted engine, so every filesystem operation must stay beneath the canonical repo-owned .kranz/lessons directory and reject symlinks. The renderer reads the append-only manifest (capture order, oldest first) and emits a byte-capped planning-seed block.

Constants

LESSONS_INJECT_MAX_BYTES

Hard cap (bytes) on the rendered lessons-index string.

Functions

render_lessons_manifest

Render the byte-capped recent-lessons block for a planning seed: a manifest (id + one-line summary) of the most recent provenance-clean lessons, plus the full body of the newest [MAX_FULL_BODIES] of them. None when no provenance-clean lesson survives.