johnny.wba 

SpecFormula Plugin SPI 契約（ADR-0027）：SpecFormulaPlugin umbrella 與 Instruction / LifecycleHook / SpecReader 三類 contribution 介面定義。

SpecFormula 核心層：ISA 規格解析、指令引擎、符號系統與 plugin discovery 機制。

SpecFormula ASP.NET Core Bridge：HTTP Adapter、Auth、SpecFormulaBridge singleton 與 instruction supplier 整合。

SpecFormula DSL 展開器（build-time tool）：在 Reqnroll codegen 之前將 .dsl.feature 就地展開為 ISA text；以 MSBuild props/targets 自動 hook 進使用者 build pipeline。Multi-target net8.0 / net10.0，使用者依其 TFM 拿到對應的 framework-dependent... More information

SpecFormula Testcontainers 整合（選配）：PostgreSQL / MySQL / MSSQL 容器自動管理，與 SpecFormulaBridge cleanup 機制對接。

SpecFormula Reqnroll Plugin：動態 Step Definition 註冊、ISA 指令派發、Reqnroll runtime plugin 整合（reqnroll.json 配置以 SpecFormula.ReqnrollPlugin 為名）。