Skip to content

checker fixes - #56

Merged
MaNongWasi merged 4 commits into
mainfrom
eugen-schindler-mbeddr-checker-fixes
Oct 20, 2026
Merged

MaNongWasi merged 4 commits into
mainfrom
eugen-schindler-mbeddr-checker-fixes

Conversation

@eugenschindler

Copy link
Copy Markdown
Member

Various issues found while applying mbeddr.cpp in mps-umlrt.

Add canonical roles and skills with thin Copilot/Claude discovery adapters, verified-learning safeguards, source exclusions and pinned MIT-licensed Matt Pocock TDD/debugging guidance. Include structural/privacy checks and adapter synchronization.
Record verified shared-repository ID collision safeguards: assert worktree backing paths before mutation/save and isolate MPS repositories instead of changing persistent identities.
Reuse module import/export visibility while retaining local descendant and default-scope filtering. Cover imported externals, references inside external modules, reexports, and inaccessible classes with exact-set scope tests.
Normalize references as references and override generic Type inference. Permit only reference-base const/volatile additions. Add normalization and argument regressions retaining pointer, qualification-loss, unrelated-class, and numeric-widening rejection.
@eugenschindler eugenschindler changed the title Eugen schindler mbeddr checker fixes checker fixes Oct 20, 2026
@MaNongWasi
MaNongWasi merged commit 903a542 into main Oct 20, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants