# file: /tmp/claude-1000/-home-rixmerz/68f82664-6065-41ef-bcbe-4292f4d1d274/scratchpad/livespec/src/livespec_mcp/domain/contract_closure.py
# hypothesis_version: 6.155.0

[2000, 8000, '## body', '## covered by', '## types', '(', ',', ', ', '.', '?', 'Annotated', 'Any', 'Arc', 'Array', 'AssertionError', 'AsyncGenerator', 'AttributeError', 'Awaitable', 'BaseException', 'Boolean', 'Box', 'Callable', 'ClassVar', 'Connection', 'Coroutine', 'Counter', 'Cursor', 'Date', 'Decimal', 'Double', 'Enum', 'Error', 'Exception', 'Final', 'Fraction', 'Generator', 'HashMap', 'IOError', 'ImportError', 'IndexError', 'IntEnum', 'Integer', 'Iterable', 'Iterator', 'JSON', 'JSX', 'KeyError', 'List', 'Literal', 'Lock', 'Long', 'Map', 'Mapping', 'Match', 'MutableMapping', 'NamedTuple', 'Never', 'NoReturn', 'None', 'NoneType', 'NotImplementedError', 'OSError', 'Object', 'Omit', 'Option', 'Optional', 'OrderedDict', 'Partial', 'Path', 'Pattern', 'Pick', 'Promise', 'Props', 'Protocol', 'PurePath', 'PurePosixPath', 'Queue', 'Rc', 'React', 'ReactElement', 'ReactNode', 'Readonly', 'Record', 'RegExp', 'Required', 'Result', 'RuntimeError', 'Self', 'Sequence', 'Set', 'StopIteration', 'StrEnum', 'String', 'Thread', 'TypeError', 'TypeVar', 'TypedDict', 'UUID', 'Union', 'ValueError', 'Vec', 'Void', 'body', 'bool', 'boolean', 'budget', 'byte', 'bytearray', 'bytes', 'calls', 'class', 'complex', 'covered_by', 'date', 'datetime', 'defaultdict', 'definition', 'degraded', 'deque', 'dict', 'dropped_calls', 'end_line', 'enum', 'error', 'estimated_tokens', 'external_types', 'file_path', 'float', 'frozenset', 'id', 'int', 'interface', 'kind', 'limit', 'list', 'name', 'never', 'null', 'number', 'object', 'panic', 'path', 'plain', 'py', 'qualified_name', 'raises', 'rendered', 'replace', 'rune', 'rust', 'set', 'signature', 'start_line', 'str', 'string', 'struct', 'time', 'timedelta', 'timezone', 'truncated', 'tuple', 'type', 'type_alias', 'types', 'undefined', 'unknown', 'unresolved_types', 'utf-8', 'void']