v0.54.0

What's Changed

• Session issues #229-#269: coverage roll-up, per-configuration evidence, new elements, Requirements Explorer by @sjames in #270
• Placeholder-held typed fields are per-configuration, not missing (W032, W985/W033, stats, audit) — #268 follow-up by @sjames in #271
• Executable MBSE engine: expressions, constraints, state-machine IR, interpreter, scenarios, coverage, mutation, SCXML by @sjames in #284
• Executable action flows: schema, IR, token interpreter, scenarios, coverage, mutation (#276) by @sjames in #290
• FMI plant co-simulation behind the fmi feature (#291) by @sjames in #296
• Executable system composition: parts on one clock, messages and bindings (#297) by @sjames in #298
• FMU plants as parts of a composite (#299) by @sjames in #300
• Per-part coverage of composite scenarios (#299) by @sjames in #301
• Mutation analysis of composite parts (#299) by @sjames in #302
• Static typing of executable expressions: E935 (#272) by @sjames in #303
• Static typing of executable action flows: E935 (#272) by @sjames in #304
• Composition leftovers: child Port elements, inherited wiring, message notes (#299) by @sjames in #305
• Fault injection tied to FMEA/FTA, phase 1 (#306) by @sjames in #307
• Fault-injection campaign over single faults and cut sets (#306, phase 2) by @sjames in #308
• Virtual time on a 1 ns grid (#310) by @sjames in #317
• inject: accurate note when --max-order prunes cut sets (#316) by @sjames in #318
• mutate: skip swap-order for provably disjoint guards (#315 a) by @sjames in #319
• Test plans follow their bound configurations in projection (#314) by @sjames in #320
• satisfies of an inactive requirement is not an escaping reference (#312) by @sjames in #321
• Feature parameters in state-machine expressions (#311) by @sjames in #322
• Variant-gated FMEA rows; fault values follow feature parameters (#313) by @sjames in #323
• Plans bound to other products do not escape into a projection (#314 follow-up) by @sjames in #324
• Dogfood: grid-tie inverter model (US/India, multi-string HV PV, STM32) by @sjames in #309
• feature-check: a mandatory group with optional children is not W012 (#326) by @sjames in #345
• Feature references: dotted tree paths in requires/excludes; unresolved references name their form and closest match (#325) by @sjames in #346
• Configuration ids need no numeric suffix, like FEAT- and BL- ids (#327) by @sjames in #347
• A machine parameter with no default is one W248; --config checks machines at the bound value by @sjames in #348
• models: links an executable part to the architecture element it models, with port, connection and TestCase-subject checks by @sjames in #349
• Typed ports shared by architecture and machines (#331) by @sjames in #350
• Verification composites: role: environment and architecture elements used directly (#332) by @sjames in #351
• Executable evidence: requirement-coverage, exec-coverage and @verifies (#333, #344) by @sjames in #352
• Flow kinds and port sides in diagrams (#335) by @sjames in #353
• Grouping and containment in derived IBDs (#336) by @sjames in #354
• System context and external actors (#337) by @sjames in #355
• Diagram views: include selectors, named styles, layout hints and a variant view (#338) by @sjames in #356
• Deterministic diagram exports and committed-render check (#339) by @sjames in #357
• In-process plants: PlantDef, library plants and plant faults (#340) by @sjames in #358
• Campaign evidence and residual-risk decisions (#341) by @sjames in #359
• Richer invariants: named properties, degraded clauses, within/always/never (#342) by @sjames in #360
• Safety goal verdicts: declared targets, credible rates, demand mode, tree-versus-campaign consistency (#343) by @sjames in #361

Full Changelog: v0.53.0...v0.54.0