the signals and their derived score are provisional and subject to change.
validate manually before sharing.
cd434f23be1a3598085cf096e28e6738c63b29b30959ac7022ea1 month agonoreply@anthropic.comf204181a10391 month agonoreply@anthropic.com892847d487751 month agonoreply@anthropic.com83a579b3a70a1 month agonoreply@anthropic.com1d0e1557d0381 month agonoreply@anthropic.coma0a7dfcb59df1 month agonoreply@anthropic.comd010799110a81 month agonoreply@anthropic.comef98ff9347de1 month agonoreply@anthropic.com8e36c8ff19d41 month agonoreply@anthropic.com47f1bc8b6e601 month agonoreply@anthropic.comd7a2dbd408d81 month agonoreply@anthropic.com30b5f3712b8a1 month agonoreply@anthropic.comd3900844b2681 month agonoreply@anthropic.com828e9bcd7bce1 month agonoreply@anthropic.coma0535a30a5491 month agonoreply@anthropic.com85b860c6ec5d1 month agonoreply@anthropic.comdacaf8cd505e1 month agonoreply@anthropic.comf79e607a519b1 month agonoreply@anthropic.comc4fd50553ef31 month agonoreply@anthropic.comd9df96abe2e71 month agonoreply@anthropic.com31db976c79b81 month agonoreply@anthropic.com67f63fae5cc71 month agonoreply@anthropic.com3fc38f1d6a6b1 month agoCo-Authored-By: Claude Opus 5 <noreply@anthropic.com>3f9491236a2f2 months agonoreply@anthropic.com9d0a9a80d0202 months agonoreply@anthropic.comc555e58c37bf2 months agonoreply@anthropic.comf9882a3984652 months agonoreply@anthropic.com8dca9e142cf52 months agonoreply@anthropic.com7e309dfb6d7a2 months agonoreply@anthropic.com77ca292a7e322 months agonoreply@anthropic.com2ec5fae874672 months agonoreply@anthropic.com6f1a14c003782 months agonoreply@anthropic.com9153fd105a062 months agonoreply@anthropic.com1815cab762f62 months agonoreply@anthropic.comcbcd1cc662912 months agonoreply@anthropic.com8a4c803905002 months agonoreply@anthropic.com0474b93229342 months agonoreply@anthropic.comfa532da835fc2 months agonoreply@anthropic.coma9a81197ea352 months agonoreply@anthropic.come2c236cee4522 months agonoreply@anthropic.com629b3a4451d02 months agonoreply@anthropic.come5c20d12ca2e2 months agonoreply@anthropic.comd50a92b856752 months agonoreply@anthropic.comeae8826c465f2 months agonoreply@anthropic.com329a0e6f96252 months agonoreply@anthropic.comf619ccdbd7ce2 months agonoreply@anthropic.comf3b6dfe50f132 months agonoreply@anthropic.com71b7bc0c79242 months agonoreply@anthropic.com9495e0d1c8a02 months agonoreply@anthropic.com005ff36dc8f22 months agonoreply@anthropic.com8aacab9beb682 months agonoreply@anthropic.com4213058e8e782 months agonoreply@anthropic.com7655f32911fa2 months agonoreply@anthropic.comce8f7e13e6a72 months agonoreply@anthropic.com130a8cbd98432 months agonoreply@anthropic.com85c9e5b9980b2 months agonoreply@anthropic.comecceb78a34b62 months agonoreply@anthropic.comcbf124b97f802 months agonoreply@anthropic.com8d0a004c01002 months agonoreply@anthropic.com8852abeebc192 months agonoreply@anthropic.com72d88bddbed32 months agonoreply@anthropic.com0addb3861bf92 months agonoreply@anthropic.com336621b400d02 months agonoreply@anthropic.com1f8a20a768c42 months agonoreply@anthropic.comcbef62d257072 months agonoreply@anthropic.com33910f1854d22 months agonoreply@anthropic.com9f17c8ae78aa2 months agonoreply@anthropic.com755feb2239d92 months agonoreply@anthropic.com7abed42671262 months agonoreply@anthropic.com83aaed3b807e2 months agonoreply@anthropic.com608d980833b32 months agonoreply@anthropic.com39a65a02aed72 months agonoreply@anthropic.comabc43010b6972 months agonoreply@anthropic.com4a1f7a1725dc2 months agonoreply@anthropic.com7c3cdcc8bcea2 months agonoreply@anthropic.com2aada67e12482 months agonoreply@anthropic.com5378df7adede2 months agonoreply@anthropic.com64acbb2b628b2 months agonoreply@anthropic.com6da37c04ffad2 months agonoreply@anthropic.comedc45cb94f022 months agonoreply@anthropic.com405820e2a8142 months agonoreply@anthropic.com918b12554cb62 months agonoreply@anthropic.coma4ec3cfd00e52 months agonoreply@anthropic.com25bbbbcd018d2 months agonoreply@anthropic.com70c3efb98bbf2 months agonoreply@anthropic.comb75fa2b38c002 months agonoreply@anthropic.com78329b9c75302 months agonoreply@anthropic.combee3768a28692 months agonoreply@anthropic.come6efa5d505fc2 months agonoreply@anthropic.comae393831731f2 months agonoreply@anthropic.comad258f603d5f2 months agonoreply@anthropic.comc51e00b665892 months agonoreply@anthropic.comfe2cfe3ab3a02 months agonoreply@anthropic.com03bbf8fbbcde2 months agonoreply@anthropic.come67049495a932 months agonoreply@anthropic.comf5f2839f530b2 months agonoreply@anthropic.comd6095aa5bc642 months agonoreply@anthropic.come012368564302 months agonoreply@anthropic.com8d0345d36d313 months agonoreply@anthropic.com47b6f0f5f53a4 months agoCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>bc5bf53208e04 months agoCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>937cdf4b833d4 months agoCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>8d1b4d6abd014 months agonoreply@anthropic.comfcfc8ddf59434 months agonoreply@anthropic.com1645c7e402034 months agonoreply@anthropic.comf80df90162684 months agonoreply@anthropic.comf3b65738c6774 months agonoreply@anthropic.com5f6bca09944c4 months agonoreply@anthropic.com439afc4285524 months agonoreply@anthropic.com74bc2bea80034 months agonoreply@anthropic.com150521b58cdf4 months agonoreply@anthropic.comeb7d53abdc3a4 months agoCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>1bbeb59dce2f4 months agoCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>552a461a915f4 months agoCo-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>78b2a01996624 months agonoreply@anthropic.comdfb5456e22664 months agonoreply@anthropic.com6cc9c3cb01a44 months agonoreply@anthropic.com137d03651b894 months agonoreply@anthropic.comf3cbde1f0c934 months agonoreply@anthropic.com0a08e959d9c84 months agonoreply@anthropic.com6631e4ab59c84 months agonoreply@anthropic.comd2b9b9a9ab484 months agonoreply@anthropic.com5eb0c2d5a6104 months agonoreply@anthropic.com0969c765ebfa4 months agonoreply@anthropic.coma19cf7dfaa454 months agonoreply@anthropic.comdd8b29a697554 months agonoreply@anthropic.com0d28c67728294 months agonoreply@anthropic.coma1273bf91ddc4 months agonoreply@anthropic.comd0db77ebe0d74 months agonoreply@anthropic.comf5cc08044e054 months agonoreply@anthropic.com34ef68454afe4 months agonoreply@anthropic.com1ff02d9f71d14 months agonoreply@anthropic.comb48ba8dbd98c4 months agonoreply@anthropic.com1e1eca85f1f14 months agonoreply@anthropic.coma9695e9136214 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>4616e238ad784 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>033dc8830c1c4 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>2baff6d7218e4 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>306dc54199754 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>3c19e1d531354 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>2bdf66902d734 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>89d5ad2332ff4 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>c9ba87ddc26b4 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>392d95fb5feb4 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>ab53fc1f1fe24 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>0f3d80ecdc6c4 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>df78fb8049345 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>08f6bbb1b79f5 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>408237987f2a5 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>0150df4d2f555 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>c31c869dba2b5 months agonoreply@anthropic.com96e8d02648445 months agonoreply@anthropic.com3582e90029bc5 months agonoreply@anthropic.comab0287389b665 months agonoreply@anthropic.com82e9446a6d7a5 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>4b554b04eec75 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>634e2be148955 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>526556470a395 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>d6caeb86759f5 months agoCo-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>dbf81184431c5 months agoCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>e8e718873f255 months agoCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>4cacf6315e485 months agoCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>b62162a483cc6 months agoCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>6360365904086 months agoCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>7cafd598dfd36 months agoCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>c43f47599deb6 months agoCo-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>f5956cff4d126 months agoCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>da414a5bef156 months agoCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>460491f40f486 months agoCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1909e8ad94196 months agoCo-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>b4d64ecc9aff7 months agoCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>c99f273558e88 months agonoreply@anthropic.com0854c39c0dd58 months agonoreply@anthropic.comea9895b0ffa88 months agoCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>6ef9519571dc8 months agoCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>d014d0937ef68 months agoCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>84f65f26d21d9 months agonoreply@anthropic.comd5991674dc0210 months agonoreply@anthropic.com72f5cb77026110 months agonoreply@anthropic.com0e4d4c7fb27310 months agonoreply@anthropic.com41f03290ab1910 months agonoreply@anthropic.coma0bd28f6458f10 months agonoreply@anthropic.com9bf7b6ef3c0d10 months agonoreply@anthropic.com799c0c98088610 months agonoreply@anthropic.com1308babcf98610 months agonoreply@anthropic.com0a5c89673c5810 months agonoreply@anthropic.comaf293bca516b10 months agonoreply@anthropic.com7056d99c8d6810 months agonoreply@anthropic.com11f5b6639eec10 months agonoreply@anthropic.comb9f0b13da20d11 months agonoreply@anthropic.com0d704465f78511 months agonoreply@anthropic.com---
name: porting
description: Port a Hypothesis module from Python to Rust faithfully, without changing behavior or structure, and differential-test the port against the original. Use when translating a module, function, or file from hypothesis/src/hypothesis/ into the native Rust extension as part of the Python-to-Rust engine migration, or when verifying that a just-finished port behaves identically to the Python it replaced.
---
This skill is for the Hypothesis Python-to-Rust engine migration (Hypothesi# Hypothesis Development Guide
## Essential Reading
**Always read `CONTRIBUTING.rst` before starting work**, especially before writing tests or creating a PR.
## Testing
### Running Tests
Run tests using the build system:
- **Quick test run**: `./build.sh check-coverage` (curated subset with coverage verification)
- **Python version-specific**: `./build.sh check-py311` (replace with target version)
- **Fine-grained control**: `./build.sh tox py311-custom 3.11.3 -- [pytest args]`
- **Direct pytest** (af.gitignoreclaude-codeCLAUDE.local.md.gitignoreclaude-code.claude/*