hegel-core 0.1.0__tar.gz

hegel_core-0.1.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Antithesis, LLC
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

hegel_core-0.1.0/PKG-INFO

@@ -0,0 +1,56 @@
+Metadata-Version: 2.4
+Name: hegel-core
+Version: 0.1.0
+Summary: Universal property-based testing protocol, built on Hypothesis
+Author-email: "David R. MacIver" <david@drmaciver.com>, Liam DeVoe <orionldevoe@gmail.com>
+License-Expression: MIT
+Project-URL: homepage, https://hegel.dev
+Project-URL: source, https://github.com/hegeldev/hegel-core
+Project-URL: changelog, https://github.com/hegeldev/hegel-core/blob/main/CHANGELOG.md
+Project-URL: issues, https://github.com/hegeldev/hegel-core/issues
+Keywords: testing,fuzzing,property-based-testing
+Classifier: Framework :: Hypothesis
+Classifier: Intended Audience :: Developers
+Classifier: Operating System :: Unix
+Classifier: Operating System :: POSIX
+Classifier: Programming Language :: Python
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Topic :: Education :: Testing
+Classifier: Topic :: Software Development :: Testing
+Classifier: Typing :: Typed
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: cbor2>=5.8.0
+Requires-Dist: click>=8.3.1
+Requires-Dist: hypothesis>=6.148.5
+Dynamic: license-file
+
+# Hegel
+
+> [!IMPORTANT]
+> If you've found this repository, congratulations! You're getting a sneak peak at an upcoming property-based testing library from [Antithesis](https://antithesis.com/), built on [Hypothesis](https://hypothesis.works/).
+>
+> We are still making rapid changes and progress.  Feel free to experiment, but don't expect stability from Hegel just yet!
+
+The Hegel server. Provides communication to the backing Hypothesis library over a socket.
+
+## Hegel libraries
+
+- [Python](https://github.com/hegeldev/hegel-python)
+- [Go](https://github.com/hegeldev/hegel-go)
+- [Rust](https://github.com/hegeldev/hegel-rust)
+
+## Development
+
+```bash
+just setup     # install dependencies
+just test      # run tests
+just format    # run formatter
+just check     # run PR checks: lint + tests + docs
+```

hegel_core-0.1.0/README.md

@@ -0,0 +1,23 @@
+# Hegel
+
+> [!IMPORTANT]
+> If you've found this repository, congratulations! You're getting a sneak peak at an upcoming property-based testing library from [Antithesis](https://antithesis.com/), built on [Hypothesis](https://hypothesis.works/).
+>
+> We are still making rapid changes and progress.  Feel free to experiment, but don't expect stability from Hegel just yet!
+
+The Hegel server. Provides communication to the backing Hypothesis library over a socket.
+
+## Hegel libraries
+
+- [Python](https://github.com/hegeldev/hegel-python)
+- [Go](https://github.com/hegeldev/hegel-go)
+- [Rust](https://github.com/hegeldev/hegel-rust)
+
+## Development
+
+```bash
+just setup     # install dependencies
+just test      # run tests
+just format    # run formatter
+just check     # run PR checks: lint + tests + docs
+```

hegel_core-0.1.0/pyproject.toml

@@ -0,0 +1,182 @@
+[build-system]
+# require a recent setuptools for `license = ` support
+requires = ["setuptools >= 78.1.0", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "hegel-core"
+version = "0.1.0"
+authors = [
+    { name = "David R. MacIver", email = "david@drmaciver.com" },
+    { name = "Liam DeVoe", email = "orionldevoe@gmail.com"}
+]
+description = "Universal property-based testing protocol, built on Hypothesis"
+
+readme = "README.md"
+license = "MIT"
+requires-python = ">=3.10"
+keywords = ["testing", "fuzzing", "property-based-testing"]
+classifiers = [
+    "Framework :: Hypothesis",
+    "Intended Audience :: Developers",
+    "Operating System :: Unix",
+    "Operating System :: POSIX",
+    "Programming Language :: Python",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: Python :: 3.14",
+    "Topic :: Education :: Testing",
+    "Topic :: Software Development :: Testing",
+    "Typing :: Typed",
+]
+
+dependencies = [
+    "cbor2>=5.8.0",
+    "click>=8.3.1",
+    "hypothesis>=6.148.5",
+]
+
+[dependency-groups]
+dev = [
+    "pytest==9.0.2",
+    "pytest-asyncio==1.3.0",
+    "mypy==1.19.1",
+    "coverage==7.13.4",
+    "ruff==0.15.6",
+    "shed==2025.6.1",
+    "exceptiongroup>=1.0.0; python_version < '3.11'",
+]
+
+[project.urls]
+homepage = "https://hegel.dev"
+source = "https://github.com/hegeldev/hegel-core"
+# TODO update to hegel.dev location when we host it there?
+changelog = "https://github.com/hegeldev/hegel-core/blob/main/CHANGELOG.md"
+# TODO set to hegel.dev location when we host it there?
+# documentation = "https://hegel.dev/TODO-docs-url-goes-here"
+issues = "https://github.com/hegeldev/hegel-core/issues"
+
+[project.scripts]
+hegel = "hegel.__main__:main"
+
+[tool.ruff]
+line-length = 88
+target-version = "py310"
+
+[tool.ruff.lint]
+select = [
+    "ASYNC",  # flake8-async
+    "B",      # flake8-bugbear
+    "C4",     # flake8-comprehensions
+    "COM",    # flake8-commas
+    "DJ",     # flake8-django
+    "E",      # pycodestyle
+    "F",      # Pyflakes
+    "FBT",    # flake8-boolean-trap
+    "FLY",    # flynt
+    "G",      # flake8-logging-format
+    "INT",    # flake8-gettext
+    "ISC",    # flake8-implicit-str-concat
+    "NPY",    # NumPy-specific rules
+    "PD",     # pandas-vet
+    "PIE",    # flake8-pie
+    "PLE",    # Pylint errors
+    "PT",     # flake8-pytest-style
+    "RET504", # flake8-return
+    "RSE",    # flake8-raise
+    "SIM",    # flake8-simplify
+    "T10",    # flake8-debugger
+    "TID",    # flake8-tidy-imports
+    "UP",     # pyupgrade
+    "W",      # pycodestyle
+    "YTT",    # flake8-2020
+    "RUF",    # Ruff-specific rules
+]
+ignore = [
+    "B008",
+    "B018",
+    "B023",
+    "C408",
+    "C420",
+    "COM812",
+    "DJ007",
+    "DJ008",
+    # "line too long". ruff uses tool.ruff.line-length both for this rule, and for `ruff format`.
+    # We want ruff format to match black's 88 line length, so we set tool.ruff.line-length = 88. But
+    # this is a formatter suggestion, not a rule, so we also disable the E501 lint.
+    "E501",
+    "E721",
+    "E731",
+    "E741",
+    "FBT001",
+    "FBT003",
+    "PD011",
+    "PIE790",  # See https://github.com/astral-sh/ruff/issues/10538
+    "PT001",
+    "PT003",
+    "PT006",
+    "PT007",
+    "PT009",
+    "PT011",
+    "PT012",
+    "PT013",
+    "PT015",
+    "PT017",
+    "PT019",
+    "PT023",
+    "PT027",
+    "PT031",
+    "RUF005",
+    "RUF017",
+    "SIM102",
+    "SIM105",
+    "SIM108",
+    "SIM114",
+    "SIM115",
+    "SIM300",
+    "SIM905",
+    "UP031",
+    "UP037",
+]
+
+[tool.mypy]
+python_version = "3.14"
+platform = "linux"
+
+allow_redefinition = true
+disallow_untyped_decorators = true
+disallow_incomplete_defs = true
+no_implicit_optional = true
+no_implicit_reexport = true
+
+follow_imports = "silent"
+ignore_missing_imports = true
+
+strict_equality = true
+warn_no_return = true
+warn_unused_ignores = true
+warn_unused_configs = true
+warn_redundant_casts = true
+
+disable_error_code = "annotation-unchecked"
+
+[tool.coverage.run]
+branch = true
+parallel = true
+concurrency = ["thread"]
+source = ["hegel"]
+# conformance tests are intended primarily for consumers. We don't fully
+# cover this in our tests.
+omit = ["src/hegel/conformance.py"]
+
+[tool.coverage.report]
+fail_under = 100
+show_missing = true
+skip_covered = true
+exclude_also = [
+    "raise AssertionError",
+    "raise NotImplementedError",
+]

hegel_core-0.1.0/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

hegel_core-0.1.0/src/hegel/__main__.py

@@ -0,0 +1,75 @@
+import contextlib
+import importlib.metadata
+import os
+import socket
+import sys
+from pathlib import Path
+
+import click
+from hypothesis import Verbosity
+from hypothesis.configuration import set_hypothesis_home_dir
+
+from hegel.protocol.connection import Connection
+from hegel.server import run_server_on_connection
+from hegel.test_server import run_test_server
+
+
+@click.command()
+@click.version_option(
+    version=importlib.metadata.version("hegel-core"),
+    message="hegel (version %(version)s)",
+)
+@click.argument("socket_path")
+@click.option(
+    "--verbosity",
+    type=click.Choice(["quiet", "normal", "verbose", "debug"]),
+    default="normal",
+    help="Verbosity level. Corresponds to hypothesis.Verbosity.",
+)
+def main(socket_path, verbosity):
+    """Run the Hegel test server, binding to socket_path."""
+    verbosity = Verbosity(verbosity)
+    socket_path = Path(socket_path)
+
+    # Clean up any existing socket before starting
+    with contextlib.suppress(FileNotFoundError):
+        socket_path.unlink()
+
+    run_server(socket_path, verbosity=verbosity)
+
+
+def run_server(socket_path: Path, *, verbosity: Verbosity = Verbosity.normal) -> None:
+    if verbosity >= Verbosity.debug:
+        os.environ["HEGEL_PROTOCOL_DEBUG"] = "1"
+
+    set_hypothesis_home_dir(".hegel")
+
+    server_sock = socket.socket(socket.AF_UNIX, socket.SOCK_STREAM)
+    server_sock.bind(str(socket_path))
+    server_sock.listen(1)
+
+    if verbosity >= Verbosity.verbose:
+        print(f"Listening on {socket_path}", file=sys.stderr)
+
+    try:
+        client_sock, _ = server_sock.accept()
+
+        if verbosity >= Verbosity.verbose:
+            print("Client connected", file=sys.stderr)
+
+        connection = Connection(client_sock, name="Server")
+        test_mode = os.environ.get("HEGEL_PROTOCOL_TEST_MODE")
+        if test_mode:
+            run_test_server(connection, test_mode)
+        else:
+            run_server_on_connection(connection)
+
+        if verbosity >= Verbosity.verbose:
+            print("Client disconnected", file=sys.stderr)
+
+    finally:
+        server_sock.close()
+
+
+if __name__ == "__main__":  # pragma: no cover
+    main()