Phillip Schanely

Understood. This all makes sense to me. If you are always going to call `CrossHairPrimitiveProvider.export_value` *inside* my context manager for a run, then I actually don't need to make any...

Yup; it wasn't hard to make `export_value` work anywhere; try pulling [latest](https://github.com/pschanely/hypothesis-crosshair/commit/6215b77751d77d488112b193a5e9da5f490e3c00). I also added (gasp!) [a test](https://github.com/pschanely/hypothesis-crosshair/blob/main/hypothesis_crosshair_provider/crosshair_provider_test.py), which you might want to review to understand whether we're imagining the...

> Thanks! This looks like what I was imagining as well, though the `IgnoreAttempt` comment is a bit worrying? I saw `IgnoreAttempt` when drawing bounded integers from crosshair as well....

> I think in general, if a backend sets `wants_datatree` to false (better name for this var pending?), then we could also give a way for that backend to communicate...

> e: possibly the root cause here is `NotDeterministic` this time — unsure hypothesis or crosshair is at fault yet. Yes, I think you're right here. CrossHair uses stack traces...

Update: this likely is somewhat challenging to fix. It seems that something about the way CrossHair uses Z3 is causing aggressive memory leaks in more modern versions of Z3. (which...

Fixed in [0.0.55](https://pypi.org/project/crosshair-tool/0.0.55/)!

I'll start trying out [hypothesis-jsonschema](https://github.com/pschanely/hypothesis-crosshair/issues/2) next!

Ah, so I think this testcase dictionary can contain values derived from symbolics: at least the "representation" and "arguments" keys? In general it's not OK to touch data derived from...

> Rather than the json blob itself, I think we'll aim to deep-realize the various dictionaries that become values in the json blob - that's mostly just a matter of...