Fix three upstream check/exec gaps (#831, #832, #833) + two corruptions found while verifying - #115

Merged

ako merged 8 commits into

mainfrom

claude/mxcli-issues-ovfoxk

Aug 8, 2026

Commits on Aug 8, 2026

feat(check): reject validation rules on non-persistent entities (MDL054)
claude
committed
cdc90ee
fix(exec): don't tell a statement to move before itself
claude
committed
6973a99
feat(check): reject XPath association traversal from a variable (MDL055)
claude
committed
cc471f2
fix(exec): refuse the XPath constraints check already rejects (#833)
claude
committed
3198948
fix(check): retire the false-positive MDL009, add MDL056 for (empty)
claude
committed
6b6932e
fix(microflows): write the InheritanceSplit and its case values
claude
committed
a5cf260
docs(microflows): fix the type-split examples that fail CE0090
claude
committed
1ec638c
Merge remote-tracking branch 'origin/main' into claude/mxcli-issues-ovfoxk
claude
committed
6ae5c3d