Skip to content

Release 1.0.0 - #57

Merged
rasuvaeff merged 1 commit into
masterfrom
release/1.0.0
Sep 20, 2026
Merged

rasuvaeff merged 1 commit into
masterfrom
release/1.0.0

Conversation

@rasuvaeff

Copy link
Copy Markdown
Owner

Summary

  • 1.0.0 — the stability release, in step with rasuvaeff/property-testing-core 1.0.0. The adapter's surface is that of 0.10.0, unchanged: the PropertyTesting trait, the forAll() chain with its knobs, PropertyCheck, the listeners and the environment table. A project on ^0.10 upgrades by widening to ^1.0.
  • Requires rasuvaeff/property-testing-core ^1.0 (compatibility policy §8).
  • Docs: the footnotes that dated a behaviour to a core 0.x release (since core 0.9, core 0.9 reads only …) are gone from the READMEs, llms.txt and AGENTS.md; llms.txt names the current requirement; the AGENTS.md path-repo recipe claims 1.0.0.

Test plan

  • Full gate against the core 1.0.0 branch via path repository: build (139 tests), rector, bc-check clean
  • CI against core 1.0.0 from Packagist

In step with rasuvaeff/property-testing-core 1.0.0: requires the engine as
^1.0 (policy §8). The adapter's surface is that of 0.10.0, unchanged.

Docs drop the footnotes that dated a behaviour to a core 0.x release
(since core 0.9, core 0.9 reads only ...) from the READMEs, llms.txt and
AGENTS.md; llms.txt names the current requirement; the path-repo recipe
in AGENTS.md claims 1.0.0.
@coderabbitai

coderabbitai Bot commented Sep 20, 2026

Copy link
Copy Markdown

Important

  • 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Advanced

Run ID: 62b134c0-02c4-4c14-8339-eea1378b2dd2


Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@rasuvaeff
rasuvaeff merged commit e286bf8 into master Sep 20, 2026
12 checks passed
@rasuvaeff
rasuvaeff deleted the release/1.0.0 branch September 20, 2026 09:05
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.

1 participant