# file: /home/azureuser/agents/qa/athanor-sdk/src/kairos/verify/plugin/fixtures.py
# hypothesis_version: 6.152.1

[0.01, 6.0, 1800, '1.1', 'Any', 'axiom_introducing', 'bound_k', 'budget', 'conformance test', 'conformance-run', 'conformance-theorem', 'conformance_probe', 'context', 'details', 'event_type', 'evidence_tier', 'file', 'goal', 'intent_version', 'kind', 'lean', 'lean_proved', 'lemma_closed', 'meta', 'name', 'payload', 'planner_role', 'proved', 'reason', 'run_id', 'run_subtype', 'run_type', 'sdk_orchestration', 'spec_pipeline', 'target', 'test-plugin', 'theorem', 'theorem_id', 'usd', 'verifier', 'vertical', 'wall_seconds', 'witness_id']