Causal Halting Viewer

Paste an analyzer JSON result or load a local file. This viewer is static and does not call external APIs.

Scope warning: valid_acyclic only means no modeled prediction-feedback cycle was found. It does not prove termination, safety, correctness, or absence of unmodeled feedback.