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 peer 범위: 0.1.1-rc.2
Cordis peer 범위: 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.