I observed an inconsistent and incorrect behavior during model verification when checking connectors between a Part and a Port.

As shown in the attached figure, the tool does not consistently validate the ItemFlow direction against the FlowProperty direction, depending on whether the FlowProperty is defined on a block or on a interface block.

Sub Block 1

• The ItemFlow is directed from the Part to the port.
• The corresponding FlowProperty in the block has direction in.
• Expected: An error should be raised, as the ItemFlow direction contradicts the FlowProperty direction.
• Actual: No error is reported.

Sub Block 2 with port

• Same ItemFlow direction scenario.
• The FlowProperty is defined on if2in.
• Actual: An error is correctly reported.

Sub Block 2 (NO port)

• Same ItemFlow direction scenario.
• The FlowProperty is defined on Sub Block 2 
• Expected: An error should be raised, as the ItemFlow direction contradicts the FlowProperty direction.
• Actual: No error is reported.

Some other example show the same problem. It seems that the ItemFlow direction itself is ignored when verifying item flow direction on connectors between a part and Block.

Attached the model used to create the issue. 

Tool Version used: Caria | Magic Cyber Systems Engineer 2026 HF1

I would kindly ask you to check further. 

Kind Regards,

Francesco Matraxia