BruceLoveLee000/tokens-as-parameters--packages-formal-ui-proof-run ↗★ 0

@tokens-as-parameters/ui-proof-run

DSH Web 中查看证明运行实时状态并提供直接控制。适合在网页界面监控证明运行并停止任务的用户，需 DSH Web。

Agent 協作介面擴充

套件: @tokens-as-parameters/ui-proof-run
相容性: 待驗證
Harness 依賴範圍: 0.1.1-rc.2
Cordis 依賴範圍: 4.0.1
版本: 0.1.0
授權: Apache-2.0
最近更新: 2026年9月14日

安裝

此插件尚未提供可驗證的 bundle，或相容性檢查未通過。請先閱讀倉庫說明。閱讀完整 README ↗

說明文件

閱讀完整 README ↗

Proof Run UI

DSH Web view for the formal Proof Runtime. It consumes the owner session's proofRuns projection and renders the controller-owned state machine, trusted obligation progress, live total and per-session token use, run history, and direct links to Prover, Reflector, and Reviewer sessions.

The Stop button executes /proof-stop through DSH Commands. It is a control-plane action and never invokes the main model.