PulseTrade.Comm.Spa.Dynamic.Contracts 0.1.0-alpha16

PulseTrade.Comm.Spa.Dynamic.Contracts

SDUI runtime/frame/action vocabulary、strict server codec、validation limits、pure reducer與poll lifecycle。方案 1 讓同一套 RuntimeFrame/reducer 產生 WebSharper browser metadata，並提供 loopback WebSocket 專用的 typed-JSON codec；package 仍不依賴 PTCS、fCell2、PTMD、SQL 或 provider SDK。

Data flow

host adapter -> RuntimeFrame -> RuntimeCodec/Validation -> RuntimeReducer -> Renderer model
local action -> reducer effect
remote action/poll/resync -> typed SduiAction -> host adapter

RuntimeCodec 的既有 System.Text.Json wire 與 BrowserRuntimeCodec 的 WebSharper typed-JSON wire 是兩條明確分離的 encoding；兩者共用相同 RuntimeFrame/RuntimeClientFrame 型別，但 JSON bytes 不可交叉解碼。Interactive mutation 另用 ptcs-dynamic-action.v1 的 DynamicActionClientFrame / DynamicActionServerFrame，以 RequestId、ExpectedDocumentRevision 與 explicit result 建立 correlation；action result 不屬於 authoritative RuntimePayload。

SourceSnapshotEnvelope / SourceEventEnvelope 是跨 domain 的 ordering seam。SourceProjection只驗stream identity、epoch、sequence、source revision並在gap/conflict/reducer reject時要求authoritative snapshot；payload reducer仍由domain owner adapter注入，package不擁有MDCQ、TradeCore、FsStl、SOR或FCell2型別。source revision不會直接提升browser DocumentRevision。

DynamicTemplateSchema以EditorValueKind描述Text/Integer/Decimal/Boolean/Choice/Scale/List/Group，不包含domain union或provider client。DynamicEditorValidation遞迴限制depth/fields/choices/list items，驗default value型別與safe payload；同template的不同參數實例以TaRowSpec.RowId區分，document validator拒絕重複RowId。

TaWorkspaceDocument.EditorSchemas是authoritative editor catalog，與Rows共用DocumentRevision。可重新設定的row以TaRowEditorBinding.attach把TemplateKey + EditorInputValue[]寫入TaRowSpec.Options["ptcs.dynamic.editor.binding.v1"]；tryResolve只在binding與catalog schema都有效時回傳editor state。legacy row沒有binding仍可顯示與移除，但不會被猜成可編輯。

DynamicTemplateSchemaCodec.toValue/fromValue提供transport-neutral SduiValue representation，供PTCS與Interactive adapter傳遞catalog；consumer須將invalid catalog視為整體錯誤，不可靜默刪除壞項後繼續。

DynamicActionLifecycle只管理單一pending request與correlated result。revision conflict不送出request；accepted/rejected只清除相符request並保存bounded feedback，均不直接修改authoritative document。Host完成resource prepare/swap後，必須以新的RuntimeFrame發布document revision。

Error與invalid/gapped frame保留last-good document/data/view；duplicate frame no-op；sequence gap、identity mismatch或patch base mismatch只產生typed resync effect。

Current exact package：PulseTrade.Comm.Spa.Dynamic.Contracts 0.1.0-alpha15，exact依賴FSharp.Core [10.1.302]；所有browser call graph module與schema codec均攜帶WebSharper metadata。

Browser-facing numeric使用JSON number/float，query range使用canonical ISO-8601 string。host/server必須重新驗證range並轉成domain DateTimeOffset；Contracts不把browser parser當authorization或domain validation。

Security boundary

• protocol/case/row/action allowlist。
• frame bytes、rows、patch operations/items hard limits。
• shared contract拒絕script、selector與arbitrary URL key/value。
• contract只傳typed data/effect，不傳credential、SQL、DOM selector或transport URL。