Witness Space Explorer

Sample from the LLM's proposal distribution. Watch the checker accept or reject. See how coverage gaps prevent discovery.

qNS(y | x) ∝ qN(y | x) · χS(y, x)
LLM proposal mass Admissible region Valid witness found Coverage gap
Controls
1.0
Sample
Statistics
0
Proposals
0
Accepted
0
Valid hits
0%
Witnesses found
Coverage gap active. Some valid witnesses have zero proposal probability and can never be found.
Event log