Loose structured mathematical derivations.
This repository contains calculations, experiments, fragments, and working notes that do not yet have a stable home in the main derivary archive.
Some calculations may later be cleaned up and moved into derivary. Others may remain here as records of exploration.
The aim is to make structured derivation visible as a working practice: not only as polished exposition, but as a way of thinking on the page.