v1.3.0 — Tags, Temporal Composition, Full IDE Experience

Rule Tagging

• tag/tags declarations with closed-set validation and "did you mean?" suggestions
• tag/tags on rules, expert rules, and flags
• WithTags eval option for selective evaluation (AND semantics)

Temporal Constraint Composition

• Valid combinations documented: cooldown composes with one of for/within/debounce/stable_for
• Invalid combinations are compile errors with clear explanations
• Duplicate modifiers rejected

LSP — Semantic Highlighting

• Semantic tokens for fact/outcome names in assert/emit, table names in lookup, member access fields, qualified name module prefixes

LSP — Code Actions

• Add missing outcome fields (quickfix)
• Add else to lookup (quickfix)
• Add requires prerequisite (refactoring)
• Import quick fix for unresolved qualified names

LSP — Multi-File Diagnostics

• Errors in imported modules surface at both the error site and the import line
• Reverse dependency tracking: saving a file refreshes diagnostics for all importers

VS Code Extension

• Format on save enabled by default for .arb files