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.