diff --git a/KitX Core Contracts/KitX.Core.Contract/Device/IDeviceService.cs b/KitX Core Contracts/KitX.Core.Contract/Device/IDeviceService.cs
index cd709c2..790c82c 100644
--- a/KitX Core Contracts/KitX.Core.Contract/Device/IDeviceService.cs	
+++ b/KitX Core Contracts/KitX.Core.Contract/Device/IDeviceService.cs	
@@ -1,5 +1,7 @@
 using System;
 using System.ComponentModel;
+using System.Net.Http;
+using System.Threading;
 using System.Threading.Tasks;
 using System.Collections.Generic;
 using KitX.Shared.CSharp.Device;
@@ -238,3 +240,26 @@ public class MainDeviceChangedEventArgs : EventArgs
     /// </summary>
     public string NewMainDeviceId { get; set; } = string.Empty;
 }
+
+/// <summary>
+/// Device HTTP client interface — sends requests to remote DevicesServer instances.
+/// Used for cross-device plugin invocation via the /Api/V1/Plugin/Invoke endpoint.
+/// (Moved to Contract so the Workflow library can depend on the abstraction without
+/// referencing KitX.Core.)
+/// </summary>
+public interface IDeviceHttpClient
+{
+    /// <summary>
+    /// Invokes a plugin method on a remote device via HTTP POST to /Api/V1/Plugin/Invoke.
+    /// </summary>
+    /// <param name="targetDevice">Target device info (contains IPv4 and DevicesServerPort)</param>
+    /// <param name="token">Valid session token for the target device</param>
+    /// <param name="request">The Request object to send</param>
+    /// <param name="ct">Cancellation token</param>
+    /// <returns>HTTP response from remote device, or null on network error</returns>
+    Task<HttpResponseMessage?> InvokePluginAsync(
+        DeviceInfo targetDevice,
+        string token,
+        KitX.Shared.CSharp.WebCommand.Request request,
+        CancellationToken ct = default);
+}
diff --git a/KitX Core Contracts/KitX.Core.Contract/Event/WorkflowEventNames.cs b/KitX Core Contracts/KitX.Core.Contract/Event/WorkflowEventNames.cs
new file mode 100644
index 0000000..b7985bb
--- /dev/null
+++ b/KitX Core Contracts/KitX.Core.Contract/Event/WorkflowEventNames.cs	
@@ -0,0 +1,21 @@
+namespace KitX.Core.Contract.Event;
+
+/// <summary>
+/// Event-bus channel names shared between the Workflow library and its host
+/// (KitX.Core / KitX.Dashboard). Centralized here so the workflow library can
+/// publish/subscribe on the <see cref="IEventService"/> bus without referencing
+/// KitX.Core's own <c>EventNames</c> table.
+/// </summary>
+public static class WorkflowEventNames
+{
+    /// <summary>
+    /// Plugin response event (carries a RequestId so callers can correlate
+    /// a fire-and-forget plugin invocation with its reply).
+    /// </summary>
+    public const string PluginResponse = "PluginResponse";
+
+    /// <summary>
+    /// Workflow execution result event (success or failure of a workflow run).
+    /// </summary>
+    public const string WorkflowExecutionResult = "WorkflowExecutionResult";
+}
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockDefinition.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockDefinition.cs
deleted file mode 100644
index 9dff4d6..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockDefinition.cs	
+++ /dev/null
@@ -1,45 +0,0 @@
-using System.Collections.Generic;
-
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Represents a single block definition in the script
-/// </summary>
-public class BlockDefinition
-{
-    /// <summary>
-    /// Block type
-    /// </summary>
-    public BlockType Type { get; set; }
-
-    /// <summary>
-    /// Block name (for NamedBlock)
-    /// </summary>
-    public string Name { get; set; } = string.Empty;
-
-    /// <summary>
-    /// Variable declarations in this block
-    /// </summary>
-    public List<VariableDeclaration> Variables { get; set; } = [];
-
-    /// <summary>
-    /// Statements in this block (excluding Loop statements, which are separated)
-    /// </summary>
-    public List<BlockStatement> Statements { get; set; } = [];
-
-    /// <summary>
-    /// Line number in source where this block starts
-    /// </summary>
-    public int LineNumber { get; set; }
-
-    /// <summary>
-    /// Name of the next block to execute when this block ends naturally
-    /// (i.e., not ended by Branch/Loop/ToLoopCond)
-    /// </summary>
-    public string? NextBlockName { get; set; }
-
-    /// <summary>
-    /// For LoopBlock: the block name containing this loop (i.e., the parent block)
-    /// </summary>
-    public string? ParentBlockName { get; set; }
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockScript.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockScript.cs
deleted file mode 100644
index 919ab65..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockScript.cs	
+++ /dev/null
@@ -1,93 +0,0 @@
-using System.Collections.Generic;
-
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Parsed block script container
-/// </summary>
-public class BlockScript
-{
-    /// <summary>
-    /// Global constants block (ConstBlock)
-    /// </summary>
-    public BlockDefinition? ConstBlock { get; set; }
-
-    /// <summary>
-    /// Public variables block (PubVarBlock) - optional
-    /// </summary>
-    public BlockDefinition? PubVarBlock { get; set; }
-
-    /// <summary>
-    /// Main entry block (MainBlock)
-    /// </summary>
-    public BlockDefinition? MainBlock { get; set; }
-
-    /// <summary>
-    /// Named blocks dictionary by name
-    /// </summary>
-    public Dictionary<string, BlockDefinition> NamedBlocks { get; set; } = [];
-
-    /// <summary>
-    /// All blocks in order of appearance
-    /// </summary>
-    public List<BlockDefinition> AllBlocks { get; set; } = [];
-
-    /// <summary>
-    /// Loop blocks dictionary by parent block name
-    /// (e.g., "MainBlock" -> LoopBlock for MainBlock's Loop statement)
-    /// </summary>
-    public Dictionary<string, BlockDefinition> LoopBlocks { get; set; } = [];
-
-    /// <summary>
-    /// Raw source code (parsed input, may not include helper functions)
-    /// </summary>
-    public string SourceCode { get; set; } = string.Empty;
-
-    /// <summary>
-    /// Full source code including merged helper functions (for execution)
-    /// </summary>
-    public string FullSourceCode { get; set; } = string.Empty;
-
-    /// <summary>
-    /// Debug mapping from CFG statement IDs to Blueprint node IDs.
-    /// Populated during BP→BS conversion for use by the debug execution pipeline.
-    /// </summary>
-    public Dictionary<string, string>? DebugNodeMapping { get; set; }
-
-    /// <summary>
-    /// Helper functions to be made available in script execution context
-    /// </summary>
-    public List<HelperFunction> HelperFunctions { get; set; } = [];
-
-
-    /// <summary>
-    /// Gets a block by name (checks LoopBlocks first by block name, then NamedBlocks, then standard blocks)
-    /// IMPORTANT: LoopBlocks are checked FIRST because LoopBlock names (like "LoopBody") should NOT be
-    /// shadowed by user-defined NamedBlocks with the same name.
-    /// </summary>
-    public BlockDefinition? GetBlockByName(string name)
-    {
-        // First check LoopBlocks by the block's own name (not parent block name)
-        // This is critical because LoopBlocks are created for "NextBlock = Loop(...)" statements
-        // and their names (like "LoopBody") should take precedence over user-defined blocks
-        foreach (var kvp in LoopBlocks)
-        {
-            if (kvp.Value.Name == name)
-                return kvp.Value;
-        }
-
-        // Then check NamedBlocks (user-defined blocks)
-        if (NamedBlocks.TryGetValue(name, out var namedBlock))
-            return namedBlock;
-
-        // Then check the standard blocks by name match
-        if (MainBlock?.Name == name)
-            return MainBlock;
-        if (ConstBlock?.Name == name)
-            return ConstBlock;
-        if (PubVarBlock?.Name == name)
-            return PubVarBlock;
-
-        return null;
-    }
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockScriptModels.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockScriptModels.cs
deleted file mode 100644
index 860c8a2..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/BlockScriptModels.cs	
+++ /dev/null
@@ -1,32 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Block type enumeration
-/// </summary>
-public enum BlockType
-{
-    /// <summary>
-    /// Constants block - variables are globally scoped and read-only
-    /// </summary>
-    ConstBlock,
-
-    /// <summary>
-    /// Main block - entry point, local scope
-    /// </summary>
-    MainBlock,
-
-    /// <summary>
-    /// Named block - local scope, can be called by name
-    /// </summary>
-    NamedBlock,
-
-    /// <summary>
-    /// Public variable block - globally scoped and writable, but not exposed in UI editor
-    /// </summary>
-    PubVarBlock,
-
-    /// <summary>
-    /// Loop block - auto-generated block containing a Loop statement
-    /// </summary>
-    LoopBlock
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/FlowControlType.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/FlowControlType.cs
deleted file mode 100644
index 8cfdd0d..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/FlowControlType.cs	
+++ /dev/null
@@ -1,32 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Flow control statement types
-/// </summary>
-public enum FlowControlType
-{
-    /// <summary>
-    /// Branch to another block based on condition
-    /// </summary>
-    Branch,
-
-    /// <summary>
-    /// Loop while condition is true (Loop has three args: condition, trueBlock, falseBlock)
-    /// </summary>
-    Loop,
-
-    /// <summary>
-    /// Return from script execution
-    /// </summary>
-    Return,
-
-    /// <summary>
-    /// Break from current loop
-    /// </summary>
-    Break,
-
-    /// <summary>
-    /// To loop condition - marks the end of a loop body and returns to loop condition
-    /// </summary>
-    ToLoopCond
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/IBlockScriptParser.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/IBlockScriptParser.cs
deleted file mode 100644
index b911579..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/IBlockScriptParser.cs	
+++ /dev/null
@@ -1,125 +0,0 @@
-using System;
-using System.Collections.Generic;
-using System.Threading;
-using System.Threading.Tasks;
-
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Block script parser interface - parses C# scripts with block attributes
-/// </summary>
-public interface IBlockScriptParser
-{
-    /// <summary>
-    /// Parses a block-based script from source code
-    /// </summary>
-    /// <param name="sourceCode">The C# source code with block attributes</param>
-    /// <returns>Parsed block script result</returns>
-    BlockScriptParseResult Parse(string sourceCode);
-
-    /// <summary>
-    /// Parses a block-based script from source code asynchronously
-    /// </summary>
-    Task<BlockScriptParseResult> ParseAsync(string sourceCode);
-
-    /// <summary>
-    /// Validates block script syntax and structure
-    /// </summary>
-    BlockScriptValidationResult Validate(string sourceCode);
-}
-
-/// <summary>
-/// Block script executor interface - executes parsed block scripts
-/// </summary>
-public interface IBlockScriptExecutor
-{
-    /// <summary>
-    /// Executes a block script
-    /// </summary>
-    /// <param name="script">The parsed block script</param>
-    /// <param name="parameters">Input parameters</param>
-    /// <param name="cancellationToken">Cancellation token</param>
-    /// <returns>Execution result</returns>
-    Task<BlockScriptExecutionResult> ExecuteAsync(
-        BlockScript script,
-        Dictionary<string, object?>? parameters = null,
-        CancellationToken cancellationToken = default);
-
-    /// <summary>
-    /// Validates a block script
-    /// </summary>
-    BlockScriptValidationResult Validate(BlockScript script);
-
-    /// <summary>
-    /// Sets an optional debug controller for interactive execution (breakpoints, step, slow).
-    /// Pass null to disable debug mode.
-    /// </summary>
-    void SetDebugger(IBlueprintDebugController? debugger);
-}
-
-/// <summary>
-/// Block scope manager interface - manages variable scoping
-/// </summary>
-public interface IBlockScopeManager
-{
-    /// <summary>
-    /// Gets the global (ConstBlock) scope
-    /// </summary>
-    IBlockScope GlobalScope { get; }
-
-    /// <summary>
-    /// Resolves a variable name to its value (searches local then global)
-    /// </summary>
-    object? ResolveVariable(string name);
-
-    /// <summary>
-    /// Sets a variable value in the appropriate scope
-    /// </summary>
-    void SetVariable(string name, object? value, bool global = false);
-
-    /// <summary>
-    /// Checks if a variable exists in any scope
-    /// </summary>
-    bool HasVariable(string name);
-
-    /// <summary>
-    /// Clears all local scopes (called between executions)
-    /// </summary>
-    void ClearLocalScopes();
-}
-
-/// <summary>
-/// Variable scope interface
-/// </summary>
-public interface IBlockScope
-{
-    /// <summary>
-    /// Name of the block this scope belongs to
-    /// </summary>
-    string BlockName { get; }
-
-    /// <summary>
-    /// Whether this is the global scope
-    /// </summary>
-    bool IsGlobal { get; }
-
-    /// <summary>
-    /// Gets a variable value
-    /// </summary>
-    object? GetVariable(string name);
-
-    /// <summary>
-    /// Sets a variable value
-    /// </summary>
-    void SetVariable(string name, object? value);
-
-    /// <summary>
-    /// Checks if a variable exists in this scope
-    /// </summary>
-    bool HasVariable(string name);
-
-    /// <summary>
-    /// Gets all variables in this scope
-    /// </summary>
-    Dictionary<string, object?> GetAllVariables();
-}
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/IBlueprintConverter.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/IBlueprintConverter.cs
index b7a46d0..9107a75 100644
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/IBlueprintConverter.cs	
+++ b/KitX Core Contracts/KitX.Core.Contract/Workflow/IBlueprintConverter.cs	
@@ -4,48 +4,12 @@
 namespace KitX.Core.Contract.Workflow;
 
 /// <summary>
-/// Interface for converting BlockScript to Blueprint
-/// </summary>
-public interface IBlockScriptToBlueprintConverter
-{
-    /// <summary>
-    /// Convert BlockScript source code to Blueprint
-    /// </summary>
-    /// <param name="sourceCode">BlockScript source code</param>
-    /// <param name="helperFunctions">Helper functions available</param>
-    /// <returns>Converted Blueprint</returns>
-    Blueprint Convert(string sourceCode, List<HelperFunction>? helperFunctions = null);
-
-    /// <summary>
-    /// Convert parsed BlockScript to Blueprint
-    /// </summary>
-    /// <param name="script">Parsed BlockScript</param>
-    /// <returns>Converted Blueprint</returns>
-    Blueprint Convert(BlockScript script);
-}
-
-/// <summary>
-/// Interface for converting Blueprint to BlockScript
-/// </summary>
-public interface IBlueprintToBlockScriptConverter
-{
-    /// <summary>
-    /// Convert Blueprint to BlockScript source code
-    /// </summary>
-    /// <param name="blueprint">Blueprint to convert</param>
-    /// <returns>BlockScript source code</returns>
-    string Convert(Blueprint blueprint);
-
-    /// <summary>
-    /// Convert Blueprint to parsed BlockScript
-    /// </summary>
-    /// <param name="blueprint">Blueprint to convert</param>
-    /// <returns>Parsed BlockScript</returns>
-    BlockScript ConvertToBlockScript(Blueprint blueprint);
-}
-
-/// <summary>
-/// Interface for Blueprint service
+/// Interface for Blueprint service.
+///
+/// Kept in the public Contract surface (Dashboard consumes it). The lower-level
+/// converters (<c>IBlockScriptToBlueprintConverter</c>,
+/// <c>IBlueprintToBlockScriptConverter</c>) are internal to the workflow pipeline
+/// and live in the KitX.Workflow library.
 /// </summary>
 public interface IBlueprintService
 {
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/ILayoutService.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/ILayoutService.cs
deleted file mode 100644
index c146bbe..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/ILayoutService.cs	
+++ /dev/null
@@ -1,9 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Interface for layout service
-/// </summary>
-public interface ILayoutService
-{
-    void LayoutNodes(Blueprint blueprint);
-}
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/INodeExportStrategy.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/INodeExportStrategy.cs
deleted file mode 100644
index 918a998..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/INodeExportStrategy.cs	
+++ /dev/null
@@ -1,84 +0,0 @@
-using System.Collections.Generic;
-
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Helper service providing data resolution utilities for node export strategies.
-/// Implemented by BlueprintToBlockScriptConverter.
-/// </summary>
-public interface INodeExportHelper
-{
-    /// <summary>
-/// Resolves the input value for a pin by tracing data connections.
-/// Returns ConstName for const references, PubVarName for pubvar references,
-/// or the pin's default value.
-/// </summary>
-    string GetInputValue(BlueprintNode node, string pinName);
-
-    /// <summary>
-/// Resolves all non-Exec input arguments for a node, returning them as a comma-separated string.
-/// </summary>
-    string GetInputArgs(BlueprintNode node);
-
-    /// <summary>
-    /// The blueprint being converted.
-    /// </summary>
-    Blueprint Blueprint { get; }
-
-    /// <summary>
-    /// Returns the PubVar name assigned to the given output pin, or null if no data connection exists.
-    /// </summary>
-    string? GetOutputPubVar(BlueprintNode node, string pinName);
-
-    /// <summary>
-    /// Returns true if the given output pin is consumed by at least one data connection.
-    /// </summary>
-    bool IsOutputConsumed(BlueprintNode node, string pinName);
-}
-
-/// <summary>
-/// Strategy for converting a specific node type to a BlockScript statement.
-/// Each node type that participates in reverse conversion provides an implementation,
-/// eliminating the need for switch-based dispatch in the converter.
-/// </summary>
-public interface INodeExportStrategy
-{
-    /// <summary>
-/// The node type this strategy handles.
-/// </summary>
-    BlueprintNodeType NodeType { get; }
-
-    /// <summary>
-/// Whether this node type represents a control flow construct (Branch, Loop, etc.).
-/// Used by the converter to determine main flow termination and sub-graph processing.
-/// </summary>
-    bool IsControlFlow { get; }
-
-    /// <summary>
-/// Converts the node to a BlockScript statement, or null if the node should be skipped.
-/// </summary>
-    BlockStatement? ToStatement(BlueprintNode node, INodeExportHelper helper);
-
-    /// <summary>
-/// For control flow nodes: returns the output arm configuration.
-/// Each arm defines an output pin name and whether it represents a loopback.
-/// Non-control-flow strategies return an empty collection.
-/// </summary>
-    IEnumerable<OutputArmDescriptor> GetOutputArms(BlueprintNode node);
-}
-
-/// <summary>
-/// Describes a single output arm of a control flow node (e.g., Branch's True/False, Loop's LoopBody/LoopEnd).
-/// </summary>
-public struct OutputArmDescriptor
-{
-    /// <summary>
-/// The output pin name (e.g., Pins.True, Pins.False, Pins.LoopBody, Pins.LoopEnd)
-/// </summary>
-    public string PinName { get; set; }
-
-    /// <summary>
-/// Whether this arm loops back to a parent node (LoopBody loops back to the Loop node)
-/// </summary>
-    public bool IsLoopback { get; set; }
-}
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/IPluginManager.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/IPluginManager.cs
deleted file mode 100644
index 9b4c62c..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/IPluginManager.cs	
+++ /dev/null
@@ -1,39 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// 插件管理器接口 - BlockScripting 使用此接口调用插件方法。
-/// Copy of Kscript.CSharp.Parser.Core.IPluginManager for BlockScripting use
-/// without depending on the KCS parser assembly.
-/// 实际实现由外部项目（RealPluginManager）提供。
-/// </summary>
-public interface IPluginManager
-{
-    /// <summary>
-    /// 调用插件方法
-    /// </summary>
-    /// <typeparam name="T">返回值类型</typeparam>
-    /// <param name="callInfo">调用信息</param>
-    /// <returns>插件方法的返回值</returns>
-    T Call<T>(PluginCallInfo callInfo);
-
-    /// <summary>
-    /// 调用插件方法（无返回值）
-    /// </summary>
-    /// <param name="callInfo">调用信息</param>
-    void Call(PluginCallInfo callInfo);
-
-    /// <summary>
-    /// 检查插件是否存在
-    /// </summary>
-    /// <param name="pluginName">插件名称</param>
-    /// <returns>插件是否存在</returns>
-    bool IsPluginExists(string pluginName);
-
-    /// <summary>
-    /// 检查插件方法是否存在
-    /// </summary>
-    /// <param name="pluginName">插件名称</param>
-    /// <param name="methodName">方法名称</param>
-    /// <returns>方法是否存在</returns>
-    bool IsMethodExists(string pluginName, string methodName);
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/IRealPluginManagerBridge.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/IRealPluginManagerBridge.cs
new file mode 100644
index 0000000..1b2c90e
--- /dev/null
+++ b/KitX Core Contracts/KitX.Core.Contract/Workflow/IRealPluginManagerBridge.cs	
@@ -0,0 +1,17 @@
+namespace KitX.Core.Contract.Workflow;
+
+/// <summary>
+/// Marker/bridge interface for the concrete plugin manager implementation
+/// used by the workflow subsystem.
+///
+/// Dashboard resolves this interface once at startup (via
+/// GetRequiredService&lt;IRealPluginManagerBridge&gt;()) purely to force eager
+/// singleton construction — the concrete RealPluginManager subscribes to plugin
+/// message events in its constructor, so the instance must exist before plugins
+/// connect. The interface itself carries no members; callers that need to
+/// invoke plugin methods depend on the workflow library's own IPluginManager
+/// contract instead.
+/// </summary>
+public interface IRealPluginManagerBridge
+{
+}
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/ITriggerManager.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/ITriggerManager.cs
new file mode 100644
index 0000000..2431557
--- /dev/null
+++ b/KitX Core Contracts/KitX.Core.Contract/Workflow/ITriggerManager.cs	
@@ -0,0 +1,34 @@
+namespace KitX.Core.Contract.Workflow;
+
+/// <summary>
+/// Routes plugin trigger signals to the workflows that subscribed to them.
+///
+/// A trigger is a pure signal (equivalent to pressing the "Run" button); it carries
+/// no business payload. Plugins fire triggers via the TriggerFired command; the
+/// <see cref="ITriggerManager"/> matches the firing plugin/trigger against registered
+/// <see cref="TriggerConfig"/> subscriptions and runs each matching workflow.
+/// </summary>
+public interface ITriggerManager
+{
+    /// <summary>
+    /// Registers a workflow's trigger configuration so that matching
+    /// TriggerFired events from plugins will run the workflow.
+    /// Only <c>PluginEvent</c> triggers with a non-empty plugin name take effect.
+    /// </summary>
+    /// <param name="workflowId">The workflow identifier.</param>
+    /// <param name="config">The trigger configuration.</param>
+    void RegisterWorkflowTrigger(string workflowId, TriggerConfig config);
+
+    /// <summary>
+    /// Removes the trigger subscription for a workflow (e.g. on delete/rename).
+    /// </summary>
+    /// <param name="workflowId">The workflow identifier.</param>
+    void UnregisterWorkflowTrigger(string workflowId);
+
+    /// <summary>
+    /// Scans persisted workflow files and re-subscribes all configured triggers.
+    /// Called once after DI initialization completes, before plugins connect, so
+    /// that TriggerFired events arriving early can still be routed.
+    /// </summary>
+    void InitializeFromPersistedWorkflows();
+}
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/IWorkflowService.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/IWorkflowService.cs
index 192b49b..9bfa7cb 100644
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/IWorkflowService.cs	
+++ b/KitX Core Contracts/KitX.Core.Contract/Workflow/IWorkflowService.cs	
@@ -75,20 +75,16 @@ public interface IWorkflowPluginService
 }
 
 /// <summary>
-/// Block script service interface
+/// Block script service interface — the public surface consumed by Dashboard.
+///
+/// Only methods that take primitive/source parameters (string, List&lt;HelperFunction&gt;, ...)
+/// or return Dashboard-visible result types are kept here. Pipeline-internal methods that
+/// deal in the parsed <c>BlockScript</c> / <c>BlockScriptParseResult</c> models live on the
+/// workflow library's internal <c>IBlockScriptPipelineService</c> instead, so that those
+/// internal models need not be exposed through Contract.
 /// </summary>
 public interface IBlockScriptService
 {
-    /// <summary>
-    /// Parses a block script
-    /// </summary>
-    BlockScriptParseResult ParseBlockScript(string sourceCode);
-
-    /// <summary>
-    /// Parses a block script asynchronously
-    /// </summary>
-    Task<BlockScriptParseResult> ParseBlockScriptAsync(string sourceCode);
-
     /// <summary>
     /// Validates a block script
     /// </summary>
@@ -100,14 +96,6 @@ public interface IBlockScriptService
     /// </summary>
     List<VariableConstant> ParseConstantsFromBlockScript(string sourceCode);
 
-    /// <summary>
-    /// Executes a block script
-    /// </summary>
-    Task<BlockScriptExecutionResult> ExecuteBlockScriptAsync(
-        BlockScript script,
-        Dictionary<string, object?>? parameters = null,
-        System.Threading.CancellationToken cancellationToken = default);
-
     /// <summary>
     /// Executes a block script from source code
     /// </summary>
@@ -134,14 +122,6 @@ Task<BlockScriptExecutionResult> ExecuteBlockScriptAsync(
         Dictionary<string, object?>? constantOverrides,
         System.Threading.CancellationToken cancellationToken = default);
 
-    /// <summary>
-    /// Compiles a BlockScript and persists the compiled assembly to disk.
-    /// </summary>
-    /// <param name="script">The parsed BlockScript to compile.</param>
-    /// <param name="workflowId">The workflow ID for assembly naming.</param>
-    /// <returns>True if compilation and persistence succeeded.</returns>
-    Task<bool> CompileAndPersistAsync(BlockScript script, string workflowId);
-
     /// <summary>
     /// Preloads all persisted compiled scripts for a workflow from disk.
     /// </summary>
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/PluginCallInfo.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/PluginCallInfo.cs
deleted file mode 100644
index 3f19863..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/PluginCallInfo.cs	
+++ /dev/null
@@ -1,59 +0,0 @@
-using System;
-
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// 插件调用信息，用于传递给 IPluginManager.Call 的参数。
-/// Copy of Kscript.CSharp.Parser.Models.PluginCallInfo for BlockScripting use
-/// without depending on the KCS parser assembly.
-/// </summary>
-public class PluginCallInfo
-{
-    /// <summary>
-    /// 插件名称
-    /// </summary>
-    public string PluginName { get; set; } = string.Empty;
-
-    /// <summary>
-    /// 方法名称
-    /// </summary>
-    public string MethodName { get; set; } = string.Empty;
-
-    /// <summary>
-    /// 方法参数值数组
-    /// </summary>
-    public object[] Parameters { get; set; } = Array.Empty<object>();
-
-    /// <summary>
-    /// 参数类型数组
-    /// </summary>
-    public Type[] ParameterTypes { get; set; } = Array.Empty<Type>();
-
-    /// <summary>
-    /// 参数名称数组
-    /// </summary>
-    public string[] ParameterNames { get; set; } = Array.Empty<string>();
-
-    /// <summary>
-    /// 目标设备名称（远程调用时使用）。如果为空或 null，则为本地调用。
-    /// </summary>
-    public string? TargetDevice { get; set; }
-
-    public PluginCallInfo()
-    {
-    }
-
-    public PluginCallInfo(string pluginName, string methodName, object[] parameters, Type[] parameterTypes, string[] parameterNames)
-    {
-        PluginName = pluginName;
-        MethodName = methodName;
-        Parameters = parameters;
-        ParameterTypes = parameterTypes;
-        ParameterNames = parameterNames;
-    }
-
-    public override string ToString()
-    {
-        return $"{PluginName}.{MethodName}({string.Join(", ", Parameters)})";
-    }
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/Results/BlockExecutionResult.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/Results/BlockExecutionResult.cs
deleted file mode 100644
index 056f78d..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/Results/BlockExecutionResult.cs	
+++ /dev/null
@@ -1,48 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Result of executing a block - used by state machine for flow control
-/// </summary>
-public class BlockExecutionResult
-{
-    /// <summary>
-    /// Whether execution should continue to next block
-    /// </summary>
-    public bool ShouldContinue { get; set; } = true;
-
-    /// <summary>
-    /// Name of the next block to execute (null means end of script)
-    /// </summary>
-    public string? NextBlockName { get; set; }
-
-    /// <summary>
-    /// Whether this is a return (end of entire script)
-    /// </summary>
-    public bool IsReturn { get; set; }
-
-    /// <summary>
-    /// Return value if IsReturn is true
-    /// </summary>
-    public object? ReturnValue { get; set; }
-
-    /// <summary>
-    /// Create a result for continuing to next block
-    /// </summary>
-    public static BlockExecutionResult ContinueTo(string? nextBlockName) => new()
-    {
-        ShouldContinue = true,
-        NextBlockName = nextBlockName,
-        IsReturn = false
-    };
-
-    /// <summary>
-    /// Create a result for end of script
-    /// </summary>
-    public static BlockExecutionResult Return(object? value = null) => new()
-    {
-        ShouldContinue = false,
-        NextBlockName = null,
-        IsReturn = true,
-        ReturnValue = value
-    };
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/Results/BlockScriptParseResult.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/Results/BlockScriptParseResult.cs
deleted file mode 100644
index 594eee5..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/Results/BlockScriptParseResult.cs	
+++ /dev/null
@@ -1,27 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Result of parsing operation
-/// </summary>
-public class BlockScriptParseResult
-{
-    /// <summary>
-    /// Whether parsing was successful
-    /// </summary>
-    public bool IsSuccess { get; set; }
-
-    /// <summary>
-    /// Error message if parsing failed
-    /// </summary>
-    public string? ErrorMessage { get; set; }
-
-    /// <summary>
-    /// Line number where error occurred
-    /// </summary>
-    public int ErrorLine { get; set; }
-
-    /// <summary>
-    /// The parsed script if successful
-    /// </summary>
-    public BlockScript? Script { get; set; }
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/BlockStatement.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/BlockStatement.cs
deleted file mode 100644
index 57c1e35..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/BlockStatement.cs	
+++ /dev/null
@@ -1,24 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Base class for statements within a block
-/// </summary>
-public abstract class BlockStatement
-{
-    /// <summary>
-    /// Debug statement ID — preserved through BP⇄BS round-trip.
-    /// Set by CFG→BS conversion; consumed by BS→CFG conversion.
-    /// Empty means "unset; generate a new ID".
-    /// </summary>
-    public string StatementId { get; set; } = string.Empty;
-
-    /// <summary>
-    /// Line number in source
-    /// </summary>
-    public int LineNumber { get; set; }
-
-    /// <summary>
-    /// Original source code for this statement
-    /// </summary>
-    public string SourceCode { get; set; } = string.Empty;
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/ExpressionStatement.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/ExpressionStatement.cs
deleted file mode 100644
index 2d32e60..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/ExpressionStatement.cs	
+++ /dev/null
@@ -1,12 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Expression statement
-/// </summary>
-public class ExpressionStatement : BlockStatement
-{
-    /// <summary>
-    /// The expression to execute
-    /// </summary>
-    public string Expression { get; set; } = string.Empty;
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/FlowControlStatement.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/FlowControlStatement.cs
deleted file mode 100644
index 728e0ca..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/FlowControlStatement.cs	
+++ /dev/null
@@ -1,51 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Flow control statement
-/// </summary>
-public class FlowControlStatement : BlockStatement
-{
-    /// <summary>
-    /// Type of flow control
-    /// </summary>
-    public FlowControlType ControlType { get; set; }
-
-    /// <summary>
-    /// Condition expression (for Branch/Loop)
-    /// </summary>
-    public string ConditionExpression { get; set; } = string.Empty;
-
-    /// <summary>
-    /// Target block name when condition is true (for Branch/Loop)
-    /// </summary>
-    public string TrueBlockName { get; set; } = string.Empty;
-
-    /// <summary>
-    /// Target block name when condition is false (for Branch/Loop)
-    /// For Loop: this is the loop exit block
-    /// </summary>
-    public string FalseBlockName { get; set; } = string.Empty;
-
-    /// <summary>
-    /// For ToLoopCond: the block name containing the Loop statement to return to
-    /// </summary>
-    public string? ToLoopCondReturnTo { get; set; }
-
-    /// <summary>
-    /// Regenerates SourceCode from current field values.
-    /// Call after updating TrueBlockName/FalseBlockName/etc. to keep SourceCode in sync.
-    /// </summary>
-    public void RegenerateSourceCode()
-    {
-        SourceCode = ControlType switch
-        {
-            FlowControlType.Branch => $"NextBlock = Branch({ConditionExpression}, \"{TrueBlockName}\", \"{FalseBlockName}\");",
-            FlowControlType.Loop => $"NextBlock = Loop({ConditionExpression}, \"{TrueBlockName}\", \"{FalseBlockName}\");",
-            FlowControlType.ToLoopCond => ToLoopCondReturnTo != null
-                ? $"NextBlock = ToLoopCond(\"{ToLoopCondReturnTo}\");"
-                : "ToLoopCond();",
-            FlowControlType.Break => "Break();",
-            _ => SourceCode
-        };
-    }
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/VariableDeclarationStatement.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/VariableDeclarationStatement.cs
deleted file mode 100644
index 4f6c4ef..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/Statements/VariableDeclarationStatement.cs	
+++ /dev/null
@@ -1,12 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Variable declaration statement
-/// </summary>
-public class VariableDeclarationStatement : BlockStatement
-{
-    /// <summary>
-    /// The variable declaration
-    /// </summary>
-    public VariableDeclaration Declaration { get; set; } = new();
-}
\ No newline at end of file
diff --git a/KitX Core Contracts/KitX.Core.Contract/Workflow/VariableDeclaration.cs b/KitX Core Contracts/KitX.Core.Contract/Workflow/VariableDeclaration.cs
deleted file mode 100644
index 492007a..0000000
--- a/KitX Core Contracts/KitX.Core.Contract/Workflow/VariableDeclaration.cs	
+++ /dev/null
@@ -1,27 +0,0 @@
-namespace KitX.Core.Contract.Workflow;
-
-/// <summary>
-/// Variable declaration
-/// </summary>
-public class VariableDeclaration
-{
-    /// <summary>
-    /// Variable name
-    /// </summary>
-    public string Name { get; set; } = string.Empty;
-
-    /// <summary>
-    /// Variable type as string
-    /// </summary>
-    public string Type { get; set; } = "object";
-
-    /// <summary>
-    /// Initial value expression as string (for evaluation at parse time or execution time)
-    /// </summary>
-    public string? InitialValueExpression { get; set; }
-
-    /// <summary>
-    /// Default value (pre-evaluated for const block)
-    /// </summary>
-    public object? DefaultValue { get; set; }
-}
\ No newline at end of file