# file: /home/azureuser/agents/platform/athanor-sdk/src/kairos/simple_prove.py
# hypothesis_version: 6.152.1

[0.6, 200, 500, ', ', '.athanor', '1', 'BootstrapError', 'LakeBuildError', 'SimpleProveResult', 'SkippedForTest', '^```[a-z]*\\n|```$', '__dict__', 'axiom_decl', 'banned_construct', 'bindings', 'block_on', 'custom_axiom', 'detail', 'error', 'error_class', 'fingerprint', 'hypothesis', 'lake_stdout', 'line', 'macro_sorry', 'name', 'pattern_id', 'probes', 'proved', 'raw', 'reason', 'rejected_reason', 'runs', 'score', 'severity', 'shape', 'simple_prove', 'spec.lean', 'spec_health_report', 'vacuous_truth', 'warnings']