Formula Derivation: Research Theory Line Construction Build an honest derivation package, not a fake polished theorem story. Constants - DEFAULT DERIVATION DOC = in project root - STATUS = Context: $ARGUMENTS Goal Produce exactly one of: 1. a coherent derivation package for the original target 2. a reframed derivation package with corrected object / assumptions / scope 3. a blocker report explaining why the current notes cannot yet support a coherent derivation Inputs Extract and normalize: - the target phenomenon, formula, relation, or theory line - the intended role of the derivation: - exa…