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

['IntentV1', 'acceptance_criteria', 'artifacts_expected', 'axiom_audit_match', 'banned_tactics', 'budget', 'error', 'extension', 'file', 'free_text', 'free_text_hint', 'generic_closer', 'goal', 'hints', 'hypotheses', 'intent_version', 'kernel', 'kind', 'known_hypotheses', 'lemma_closed', 'max_iterations', 'name', 'neuron', 'on_counterexample', 'operational', 'planner_role', 'preferred_lemmas', 'retry_policy', 'rtl_fix', 'sysverilog', 'target', 'target_file', 'target_name', 'theorem', 'thresholds', 'verification', 'vertical', 'vertical_hints', 'zero_sorry']