Demo v1 · stepped by ticknobody lied

Ground truth what is the case

B's belief what one mind holds

Goal & plan

What belief gained and lost this tick

The evaluator

Trace

← → to step ticks, Home / End to jump, , . to step the evaluator. Nothing on this page was baked: the browser imports the same modules bun test imports and runs the substrate here, in this tab. Every node and edge is read from (adjacent a b) facts in the KB that panel is drawing, so a mind that does not know an edge cannot draw one. Red marks the one thing it is allowed to mark: the two pictures disagreeing.