Convert DDM files to Lean 4 modules and fix mkScopedIdent for module support#431

Merged

joehendrix merged 3 commits intomainfrom

jhx/core_module

Feb 17, 2026

Commits on Feb 17, 2026

Make Core DDMTransform Parse.lean a module and fix mkScopedIdent for module support

joehendrix
and
claude
committed
Convert StrataTest/DDM files to Lean 4 modules

joehendrix
and
claude
committed
Clean up Gen.lean: rename variable, use getCategoryOpIdent, add import comments

joehendrix
and
claude
committed