# Derivation objects

Derivation objects record semi-formal natural-language derivations with explicit goals, assumptions, ordered steps, and gap markers.

Use them when the reusable asset is a derivational route rather than only a claim or a concept.
