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

[3.0, 600, '1.1', '[^A-Za-z0-9]+', '_', 'artifacts_expected', 'bmc_bounded', 'bound_k', 'budget', 'counterexample', 'ebmc', 'evidence_tier', 'file', 'goal', 'hypothesis', 'intent_version', 'kind', 'lean', 'lean_proved', 'lemma_closed', 'meta', 'name', 'nl_frontend', 'planner_role', 'proof', 'slice', 'source', 'target', 'theorem', 'transcript', 'unnamed', 'usd', 'vertical', 'wall_seconds']