No session exists - writing to test_value→Proof