FreeFBM v1.0.5

What's new in v1.0.5

Query pattern visualisation

• Queries for external constraints are now shown as a visual overlay on the diagram
• Object type copies appear at 50% size; fact type copies at full size; subtype edge copies at 75% stroke weight
• Seeded role boxes (output variables) are highlighted with a light-blue fill; seeded subtype edge copies show a glow
• Copies can be dragged to adjust their position per diagram — moving copies in one diagram does not affect their position in other diagrams

Query construction

• Click two object type copies connected by a subtype edge to add a subtype edge copy to the query
• Fact copies with identical connectivity are merged automatically
• Implied-link roles are blocked during sequence construction

Default query auto-generation

When an external constraint is created with a sufficiently well-defined role sequence, a default query is generated automatically:

• Uniqueness: binary facts with a common "other" object type
• Inclusive Or / Exclusive Or: sequences of subtype edges with the same supertype, or single roles all connected to the same object type
• Exclusion: binary facts with a shared object type (Rule 1); all roles in the same fact type (Rule 2); single subtype edge (Rule 3)

Other improvements

• Schema browser: add button repositioned to the left, with dark-blue hover; names vertically aligned
• Context menu for nested object types: "Implied Links" submenu with Show all / Hide all
• Pasting into an empty diagram places elements at a visible position; pasting into a non-empty diagram centres on the current viewport

Full Changelog: v1.0.4...v1.0.5