proof-state collision · internal preview
→ Ask (wireframe on live engine)→ Internal harness (/ask-test)