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

[0.0, 0.6, 120, 200, 500, 2048, 4000, '(no error captured)', ', ', '.athanor', '1', 'AddHypothesis', 'BootstrapError', 'LakeBuildError', 'NextAction', 'RefinementStep', 'RegisterLemma', 'RephraseHypothesis', 'SimpleProveResult', 'SkippedForTest', 'TacticName', '^```[a-z]*\\n|```$', '__dict__', 'action', 'axiom_decl', 'banned_construct', 'bindings', 'block_on', 'confidence', 'custom_axiom', 'detail', 'error', 'error_class', 'failure', 'fingerprint', 'hypothesis', 'lake_stdout', 'line', 'macro_sorry', 'name', 'next_actions', 'pattern_id', 'probes', 'proved', 'raw', 'reason', 'rejected_reason', 'runs', 'score', 'severity', 'shape', 'spec.lean', 'spec_health_report', 'suggestion', 'vacuous_truth', 'warnings']