CLAUDE.md

fork of 89cfcaaf-147a-45a8-b689-93bfe6992d62 into session_id: 79105326-41de-4c28-b25c-818ad8ef1272

I am about to send /workspace/repos/miadisabelle/simexp/__.md (my prompt is not completed yet) and in mention what I touched in next point...

Looking at few files I was not sure about in there, I created /a/src/Miadi/rispecs/_some_files_to_see_if_still_good_or_outdated__2603100926--92918a48-62cb-4d59-94b5-d66ebe80bc01.txt which shows the latest dates of the commits, some of them I thought old are pretty recent, that is great, some others seems outdated and could be removed or at least renamed (they make me confused (using (cd Miadi/rispecs && git mv <old> <new).... ex. 'Miadi_SpecLang_Draft_L1.md','Miadi_SpecLang_Draft_L2.md' for renaming and for potentially deleting 'Phase5_UI_Implementation.md','Phase7_Status.md','PHASES.spec.md'
- I HAVE NOT ANALYZED the whole thing, I need help doing that and I trust that it would be done simply and completly.