Skip to content

Add Hypothesis strategies for registries and resources - #393

Closed
tomatotomata wants to merge 1 commit into
python-jsonschema:mainfrom
tomatotomata:codex/hypothesis-registry-resource-strategies-23
Closed

Add Hypothesis strategies for registries and resources#393
tomatotomata wants to merge 1 commit into
python-jsonschema:mainfrom
tomatotomata:codex/hypothesis-registry-resource-strategies-23

Conversation

@tomatotomata

Copy link
Copy Markdown

Summary

  • add reusable Hypothesis strategies for JSON-compatible values, opaque resources, and registries
  • add property-based regression coverage for generated resource and URI invariants
  • include Hypothesis in the development dependency group and lockfile

The strategies are kept under the test package so Hypothesis remains a development-only dependency while making registry and resource behavior easier to exercise in future tests.

Validation

  • uv run --locked --no-default-groups --group dev pytest referencing/tests/test_core.py referencing/tests/test_exceptions.py referencing/tests/test_jsonschema.py referencing/tests/test_retrieval.py referencing/tests/test_strategies.py -q (209 passed)
  • ruff check referencing/tests/strategies.py referencing/tests/test_strategies.py
  • python -m compileall -q referencing
  • git diff --check

Fixes #23

@tomatotomata
tomatotomata force-pushed the codex/hypothesis-registry-resource-strategies-23 branch from 591d48a to edf2ee2 Compare July 29, 2026 16:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add hypothesis strategies for generating registries and resources

1 participant