Feat/python hypothesis property testing

docs/README.instructions.md

@@ -158,6 +158,7 @@ See [CONTRIBUTING.md](../CONTRIBUTING.md#adding-instructions) for guidelines on
 | [PowerShell Pester v5 Testing Guidelines](../instructions/powershell-pester-5.instructions.md)<br />[![Install in VS Code](https://img.shields.io/badge/VS_Code-Install-0098FF?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fpowershell-pester-5.instructions.md)<br />[![Install in VS Code Insiders](https://img.shields.io/badge/VS_Code_Insiders-Install-24bfa5?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode-insiders%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fpowershell-pester-5.instructions.md) | PowerShell Pester testing best practices based on Pester v5 conventions |
 | [Project Context](../instructions/moodle.instructions.md)<br />[![Install in VS Code](https://img.shields.io/badge/VS_Code-Install-0098FF?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fmoodle.instructions.md)<br />[![Install in VS Code Insiders](https://img.shields.io/badge/VS_Code_Insiders-Install-24bfa5?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode-insiders%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fmoodle.instructions.md) | Instructions for GitHub Copilot to generate code in a Moodle project context. |
 | [Python MCP Server Development](../instructions/python-mcp-server.instructions.md)<br />[![Install in VS Code](https://img.shields.io/badge/VS_Code-Install-0098FF?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fpython-mcp-server.instructions.md)<br />[![Install in VS Code Insiders](https://img.shields.io/badge/VS_Code_Insiders-Install-24bfa5?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode-insiders%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fpython-mcp-server.instructions.md) | Instructions for building Model Context Protocol (MCP) servers using the Python SDK |
+| [Python Property Testing with Hypothesis](../instructions/python-property-testing-hypothesis.instructions.md)<br />[![Install in VS Code](https://img.shields.io/badge/VS_Code-Install-0098FF?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fpython-property-testing-hypothesis.instructions.md)<br />[![Install in VS Code Insiders](https://img.shields.io/badge/VS_Code_Insiders-Install-24bfa5?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode-insiders%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fpython-property-testing-hypothesis.instructions.md) | Best practices for property-based testing in Python using Hypothesis framework |
 | [Quarkus](../instructions/quarkus.instructions.md)<br />[![Install in VS Code](https://img.shields.io/badge/VS_Code-Install-0098FF?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fquarkus.instructions.md)<br />[![Install in VS Code Insiders](https://img.shields.io/badge/VS_Code_Insiders-Install-24bfa5?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode-insiders%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fquarkus.instructions.md) | Quarkus development standards and instructions |
 | [Quarkus MCP Server](../instructions/quarkus-mcp-server-sse.instructions.md)<br />[![Install in VS Code](https://img.shields.io/badge/VS_Code-Install-0098FF?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fquarkus-mcp-server-sse.instructions.md)<br />[![Install in VS Code Insiders](https://img.shields.io/badge/VS_Code_Insiders-Install-24bfa5?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode-insiders%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fquarkus-mcp-server-sse.instructions.md) | Quarkus and MCP Server with HTTP SSE transport development standards and instructions |
 | [R Programming Language Instructions](../instructions/r.instructions.md)<br />[![Install in VS Code](https://img.shields.io/badge/VS_Code-Install-0098FF?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fr.instructions.md)<br />[![Install in VS Code Insiders](https://img.shields.io/badge/VS_Code_Insiders-Install-24bfa5?style=flat-square&logo=visualstudiocode&logoColor=white)](https://aka.ms/awesome-copilot/install/instructions?url=vscode-insiders%3Achat-instructions%2Finstall%3Furl%3Dhttps%3A%2F%2Fraw.githubusercontent.com%2Fgithub%2Fawesome-copilot%2Fmain%2Finstructions%2Fr.instructions.md) | R language and document formats (R, Rmd, Quarto): coding standards and Copilot guidance for idiomatic, safe, and consistent code generation. |

docs/README.skills.md

@@ -246,6 +246,7 @@ See [CONTRIBUTING.md](../CONTRIBUTING.md#adding-skills) for guidelines on how to
 | [prompt-builder](../skills/prompt-builder/SKILL.md) | Guide users through creating high-quality GitHub Copilot prompts with proper structure, tools, and best practices. | None |
 | [publish-to-pages](../skills/publish-to-pages/SKILL.md) | Publish presentations and web content to GitHub Pages. Converts PPTX, PDF, HTML, or Google Slides to a live GitHub Pages URL. Handles repo creation, file conversion, Pages enablement, and returns the live URL. Use when the user wants to publish, deploy, or share a presentation or HTML file via GitHub Pages. | `scripts/convert-pdf.py`<br />`scripts/convert-pptx.py`<br />`scripts/publish.sh` |
 | [pytest-coverage](../skills/pytest-coverage/SKILL.md) | Run pytest tests with coverage, discover lines missing coverage, and increase coverage to 100%. | None |
+| [python-hypothesis-property-testing](../skills/python-hypothesis-property-testing/SKILL.md) | Generate and optimize property-based tests for Python using Hypothesis framework with strategies, stateful testing, and test migration patterns. | None |
 | [python-mcp-server-generator](../skills/python-mcp-server-generator/SKILL.md) | Generate a complete MCP server project in Python with tools, resources, and proper configuration | None |
 | [python-pypi-package-builder](../skills/python-pypi-package-builder/SKILL.md) | End-to-end skill for building, testing, linting, versioning, and publishing a production-grade Python library to PyPI. Covers all four build backends (setuptools+setuptools_scm, hatchling, flit, poetry), PEP 440 versioning, semantic versioning, dynamic git-tag versioning, OOP/SOLID design, type hints (PEP 484/526/544/561), Trusted Publishing (OIDC), and the full PyPA packaging flow. Use for: creating Python packages, pip-installable SDKs, CLI tools, framework plugins, pyproject.toml setup, py.typed, setuptools_scm, semver, mypy, pre-commit, GitHub Actions CI/CD, or PyPI publishing. | `references/architecture-patterns.md`<br />`references/ci-publishing.md`<br />`references/community-docs.md`<br />`references/library-patterns.md`<br />`references/pyproject-toml.md`<br />`references/release-governance.md`<br />`references/testing-quality.md`<br />`references/tooling-ruff.md`<br />`references/versioning-strategy.md`<br />`scripts/scaffold.py` |
 | [quality-playbook](../skills/quality-playbook/SKILL.md) | Explore any codebase from scratch and generate six quality artifacts: a quality constitution (QUALITY.md), spec-traced functional tests, a code review protocol with regression test generation, an integration testing protocol, a multi-model spec audit (Council of Three), and an AI bootstrap file (AGENTS.md). Includes state machine completeness analysis and missing safeguard detection. Works with any language (Python, Java, Scala, TypeScript, Go, Rust, etc.). Use this skill whenever the user asks to set up a quality playbook, generate functional tests from specifications, create a quality constitution, build testing protocols, audit code against specs, or establish a repeatable quality system for a project. Also trigger when the user mentions 'quality playbook', 'spec audit', 'Council of Three', 'fitness-to-purpose', 'coverage theater', or wants to go beyond basic test generation to build a full quality system grounded in their actual codebase. | `LICENSE.txt`<br />`references/constitution.md`<br />`references/defensive_patterns.md`<br />`references/functional_tests.md`<br />`references/review_protocols.md`<br />`references/schema_mapping.md`<br />`references/spec_audit.md`<br />`references/verification.md` |

instructions/python-property-testing-hypothesis.instructions.md

@@ -0,0 +1,186 @@
+---
+description: 'Best practices for property-based testing in Python using Hypothesis framework'
+applyTo: '**/test_*.py, **/*_test.py, **/tests/**/*.py'
+---
+
+# Python Property Testing with Hypothesis
+
+Use property-based testing to discover edge cases automatically by testing universal properties instead of specific examples.
+
+## Installation
+
+```bash
+pip install "hypothesis[cli]"
+```
+
+## Configuration
+
+```python
+# conftest.py
+from hypothesis import settings
+import os
+
+settings.register_profile("dev", max_examples=100)
+settings.register_profile("ci", max_examples=1000)
+settings.load_profile(os.getenv("HYPOTHESIS_PROFILE", "dev"))
+```
+
+```ini
+# pytest.ini
+[pytest]
+markers = property: Property-based tests
+hypothesis-show-statistics = true
+```
+
+## Common Property Patterns
+
+```python
+from hypothesis import given, strategies as st, example
+
+# Idempotency: f(f(x)) == f(x)
+@given(st.lists(st.integers()))
+def test_reverse_twice(xs):
+    assert reverse(reverse(xs)) == xs
+
+# Round-trip: decode(encode(x)) == x
+@given(st.dictionaries(st.text(), st.integers()))
+def test_json_roundtrip(data):
+    assert json.loads(json.dumps(data)) == data
+
+# Invariant: property always holds
+@given(st.lists(st.integers(), min_size=1))
+def test_max_in_list(xs):
+    assert max(xs) in xs
+
+# Oracle: compare with known implementation
+@given(st.lists(st.integers()))
+def test_sort_matches_builtin(xs):
+    assert custom_sort(xs) == sorted(xs)
+
+# Commutativity: f(a, b) == f(b, a)
+@given(st.integers(), st.integers())
+def test_addition_commutative(a, b):
+    assert a + b == b + a
+```
+
+## Strategies
+
+```python
+# Built-in strategies
+st.integers(min_value=0, max_value=100)
+st.text(min_size=1, max_size=100)
+st.lists(st.integers(), max_size=50)
+st.dictionaries(st.text(), st.integers())
+st.dates(min_value=date(2000, 1, 1))
+st.emails()
+
+# Composite strategies
+from hypothesis.strategies import composite
+
+@composite
+def user_strategy(draw):
+    return User(
+        username=draw(st.text(min_size=3)),
+        age=draw(st.integers(min_value=18, max_value=120)),
+        email=draw(st.emails())
+    )
+```
+
+## Stateful Testing
+
+```python
+from hypothesis.stateful import RuleBasedStateMachine, rule, invariant
+
+class StackMachine(RuleBasedStateMachine):
+    def __init__(self):
+        super().__init__()
+        self.stack = []
+
+    @rule(value=st.integers())
+    def push(self, value):
+        self.stack.append(value)
+
+    @rule()
+    def pop(self):
+        if self.stack:
+            self.stack.pop()
+
+    @invariant()
+    def size_non_negative(self):
+        assert len(self.stack) >= 0
+
+TestStack = StackMachine.TestCase
+```
+
+## Migration from Example Tests
+
+```python
+# Keep critical edge cases
+@given(st.lists(st.integers()))
+@example([])              # Empty
+@example([1])             # Single
+@example([1, 1, 1])       # Duplicates
+def test_sort(xs):
+    result = sort(xs)
+    assert sorted(result) == sorted(xs)
+```
+
+## Debugging
+
+```python
+from hypothesis import seed, note
+
+# Reproduce failure
+@seed(1234567890)  # From failure output
+@given(st.integers())
+def test_reproduce(x):
+    note(f"Input: {x}")
+    assert process(x) is not None
+```
+
+## Settings
+
+```python
+from hypothesis import settings
+from datetime import timedelta
+
+@settings(
+    max_examples=50,
+    deadline=timedelta(milliseconds=100)
+)
+@given(st.lists(st.integers()))
+def test_with_settings(xs):
+    assert process(xs) is not None
+```
+
+## Best Practices
+
+**DO:**
+- Test universal properties, not specific examples
+- Use strategy constraints over `assume()`
+- Keep critical edge cases with `@example()`
+- Run CI with `max_examples=1000`
+
+**AVOID:**
+- Test implementation details
+- Use `random.random()` (breaks reproducibility)
+- Over-use `assume()` (prefer constraints)
+
+## Common Patterns
+
+```python
+# Prefer strategy constraints
+@given(st.integers().map(lambda x: x * 2))
+def test_even(n):
+    assert n % 2 == 0
+
+# Avoid heavy filtering
+@given(st.integers())
+def test_even_bad(n):
+    assume(n % 2 == 0)  # Not recommended
+```
+
+## Resources
+
+- [Hypothesis Documentation](https://hypothesis.readthedocs.io/)
+- [Property-Based Testing Guide](https://fsharpforfunandprofit.com/posts/property-based-testing/)