fix: check StateDiagram inheritance semantically, not syntactically

[spirifoxy]

[StateDiagram] is silently ignored when the attributed record's base type is not literally named LogicBlockState and that base is not declared in the same file. The generator falls through to the unrelated IsLogicBlockCandidate path and writes a stub diagram containing only the initial state.

Reproduction

// SharedBase.cs
public abstract record SharedBase : LogicBlockState;

// MyLogic.cs
public partial class MyLogic : LogicBlock {
  [StateDiagram]
  public abstract partial record MyState : SharedBase; 
  ...
}

Gives

@startuml MyLogic
state MyLogic {
  state Dark
}

[*] --> Dark
@enduml

Changing : SharedBase to : LogicBlockState produces the correct diagram with every state and transition.

Fix

Move the inheritance check from the syntax predicate into the semantic transform .

• IsStateDiagramCandidate now only checks for the attribute.
• DiscoverStateGraph verifies inheritance via CodeService.GetAllBaseTypes, the same helper it already uses a few lines further down, and returns null if the type is not a logic block state.