formula-derivation

To structure scattered research notes into a coherent formula derivation, specify your target phenomenon and draft notes. The skill enforces explicit invariant objects and labeled steps to output a final derivation package.

Mapping theory assumptions and invariants for a research thesis requires designating a stable top-level invariant object. This organizes the derivation across general and special cases while enforcing explicit boundaries to avoid hidden gaps.

Yes, you can generate a complete derivation package from messy theoretical notes. The workflow supports end-to-end planning from context gathering to a finalized DERIVATION_PACKAGE.md file in your project root.

Creating step-by-step derivations with explicit boundaries for internal reports involves clearly labeling steps, assumptions, and non-claims. This ensures rigorous formalization when the target formula is not yet fixed.

Yes, this derivation workflow supports student theses and research publications. It transforms unfixed target notes into a structured package ready for review by enforcing clearly labeled steps and stable invariant quantities.

You should not use automated theory derivation when your research notes lack a defined target phenomenon or theory line. The process requires specifying a target to map assumptions and generate the final derivation file.