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

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

DSH Web view for live formal-proof runtime state and direct controls 适合在网页界面监控证明运行并停止任务的用户，需 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/09/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.