chore(deps): update dependency fast-check to v4#293
Conversation
📝 WalkthroughSummary by CodeRabbit
WalkthroughВ ChangesОбновление зависимости fast-check
Estimated code review effort🎯 2 (Simple) | ⏱️ ~10 minutes 🚥 Pre-merge checks | ✅ 6 | ❌ 1❌ Failed checks (1 warning)
✅ Passed checks (6 passed)
✏️ Tip: You can configure your own custom pre-merge checks in the settings. ✨ Finishing Touches🧪 Generate unit tests (beta)
Comment |
renovate
Bot
force-pushed
the
renovate/all
branch
from
85eeec9 to
e256894
Compare
![coderabbitai[bot]](https://avatars.githubusercontent.com/in/347564?s=60&v=4){kind=small}
There was a problem hiding this comment.
Actionable comments posted: 1
🤖 Prompt for all review comments with AI agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.
Inline comments:
In `@packages/app/package.json`:
- Line 117: The package.json now pins "fast-check": "4.8.0" but the lockfile
includes a transitive fast-check v3.23.2 via `@effect/schema` / effect@3.21.2, so
verify and reconcile version resolution: either align to v3 (downgrade the
direct fast-check) or force a single version via your package manager
overrides/resolutions (e.g., yarn/npm/ pnpm overrides) so only one major is
installed, or upgrade the Effect ecosystem packages to versions compatible with
fast-check v4; check the lockfile and run an install + dedupe, then run tests
that use fast-check to confirm no breaking API changes occur (references:
"fast-check" dependency entry, transitive packages `@effect/schema` and
effect@3.21.2).
🪄 Autofix (Beta)
Fix all unresolved CodeRabbit comments on this PR:
- Push a commit to this branch (recommended)
- Create a new PR with the fixes
ℹ️ Review info
⚙️ Run configuration
Configuration used: Path: .coderabbit.yaml
Review profile: ASSERTIVE
Plan: Pro Plus
Run ID: 096e9d59-4480-4236-a663-59de01d4ffbb
⛔ Files ignored due to path filters (1)
bun.lockis excluded by!**/*.lock
📒 Files selected for processing (2)
packages/api/package.jsonpackages/app/package.json
📜 Review details
⏰ Context from checks skipped due to timeout of 900000ms. You can increase the timeout in your CodeRabbit configuration to a maximum of 15 minutes (900000ms). (12)
- GitHub Check: Final build (windows-latest)
- GitHub Check: Final build (macos-latest)
- GitHub Check: Final build (ubuntu-latest)
- GitHub Check: E2E (Browser command)
- GitHub Check: E2E (Clone cache)
- GitHub Check: Lint
- GitHub Check: Test
- GitHub Check: E2E (Runtime volumes + SSH)
- GitHub Check: Build
- GitHub Check: E2E (OpenCode)
- GitHub Check: E2E (Clone auto-open SSH)
- GitHub Check: E2E (Login context)
🧰 Additional context used
📓 Path-based instructions (1)
**/*
⚙️ CodeRabbit configuration file
**/*: Ты строгий ревьюер SPEC DRIVEN DEVELOPMENT.Перед выводами изучи README.md, другие *.md файлы, linked issues,
PR description, PR comments/discussion и релевантную кодовую базу.Сверь изменения с исходным ТЗ/спекой и обсуждением. Флагай любой уход
от спеки, недокументированное изменение поведения, отсутствие тестов
для заявленного поведения и security-риск. Если спека не видна,
попроси автора добавить ее в issue или PR description.Проверь решение с точки зрения формальной верификации: какие инварианты,
предусловия и постусловия можно доказать математически, а где доказуемость
слабая. Оцени решение с точки зрения теории игр: устойчивы ли стимулы,
нет ли выгодного обхода правил, и какое решение было бы сильнее.
Files:
packages/app/package.jsonpackages/api/package.json
🔇 Additional comments (1)
packages/api/package.json (1)
47-47: Дублирует риск major-миграцииfast-check.См. замечание в
packages/app/package.json(Line 117) — оно полностью применимо к этому изменению.
| "eslint-plugin-sort-destructure-keys": "^3.0.0", | ||
| "eslint-plugin-unicorn": "^64.0.0", | ||
| "fast-check": "3.23.2", | ||
| "fast-check": "4.8.0", |
There was a problem hiding this comment.
🧩 Analysis chain
🏁 Script executed:
#!/bin/bash
set -euo pipefail
echo "1) Найти все импорты fast-check и места использования API"
rg -n --type ts --type tsx --type js --type jsx --type mjs --type cjs \
'from\s+["'"'"']fast-check["'"'"']|require\(\s*["'"'"']fast-check["'"'"']\s*\)' -C2 || true
echo
echo "2) Сводка используемых методов fast-check (fc.<method>)"
rg -nP --type ts --type tsx --type js --type jsx '\bfc\.[A-Za-z_]\w*\s*\(' -o \
| sed -E 's/.*fc\.([A-Za-z_]\w*)\(.*/\1/' \
| sort | uniq -c | sort -nr || true
echo
echo "3) Проверить lockfile(ы), что в дереве зависимостей нет смешения major 3 и 4"
fd -HI '(^|/)(bun\.lockb?|pnpm-lock\.yaml|package-lock\.json|yarn\.lock)$' \
| xargs -r rg -n 'fast-check' || trueRepository: ProverCoderAI/docker-git
Length of output: 8012
🌐 Web query:
fast-check v3 to v4 migration guide: list of breaking changes and removed/deprecated APIs
💡 Result:
fast-check v3 → v4: breaking changes and removed/deprecated APIs (grounded in official migration docs/changelog) 1) Record: removed withDeletedKeys; use requiredKeys - In v4.0.0, the deprecated record constraint flag withDeletedKeys was removed entirely; it was replaced by requiredKeys. [1][2] 2) Default record prototype behavior changed (null-prototype enabled by default) - In v4, record now generates objects with null prototypes by default; configure noNullPrototype: true if you require normal Object prototype. [1][2] 3) Deprecated.noBias removed - The.noBias method (deprecated in v3.20.0) is dropped/removed in v4.0.0. [1][3] 4) String arbitraries: removed single-purpose variants The v4 migration guide lists removals of several deprecated string/unicode/base-* arbitraries. [1][3] - Removed deprecated uuidV arbitrary. [1][3] - Removed deprecated unicodeJson* arbitraries. [1][3] - Removed deprecated ascii* arbitraries. [1][3] - Removed deprecated hexa* arbitraries. [1][3] - Removed deprecated base64 arbitrary. [1][3] - Removed deprecated stringOf. [1][3] - Removed deprecated char16bits and string16bits. [1][3] - Removed deprecated fullUnicode* arbitraries. [1][3] - Removed deprecated unicode* arbitraries. [1][3] - Removed deprecated char arbitrary. [1][3] 5) Integer-related arbitraries: removed bigint variants - Removed deprecated big{U|}int{N|} arbitraries (per changelog breaking changes). [3] 6) Arbitrary Random scheduling: nextArrayInt removed - Removed method nextArrayInt from Random. [3] 7) Arbitrary.noShrink removed - Removed deprecated.noShrink method. [3] 8) fc.check RunDetails error field removed; use errorInstance - The error field has been removed from the RunDetails object returned by fc.check; use errorInstance instead. [1] 9) Scheduler waitOne/waitAll deprecation (now deprecated in later v4.x) - Since v4.2.0, waitOne and waitAll are deprecated in favor of waitNext, waitIdle, and waitFor. [1] 10) Environment requirement: Node >= 12.17.0 forced - v4.0.0 includes a breaking change that forces usage of Node >=12.17.0. [3] Primary source pointers (official) - Migration guide: https://fast-check.dev/docs/migration-guide/from-3.x-to-4.x/ [1] - fast-check 4.0.0 release blog (breaking changes list): https://fast-check.dev/blog/2025/03/10/whats-new-in-fast-check-4-0-0/ [3] Sources [1] https://fast-check.dev/docs/migration-guide/from-3.x-to-4.x/ [3] https://fast-check.dev/blog/2025/03/10/whats-new-in-fast-check-4-0-0/ [2] https://github.com/dubzzz/fast-check/blob/main/website/docs/migration/from-3.x-to-4.x.md
Citations:
- 1: https://fast-check.dev/docs/migration-guide/from-3.x-to-4.x/
- 2: https://github.com/dubzzz/fast-check/blob/main/website/docs/migration/from-3.x-to-4.x.md
- 3: https://fast-check.dev/blog/2025/03/10/whats-new-in-fast-check-4-0-0
Требуется проверить разрешение версий: fast-check v4.8.0 несовместима с транзитивной зависимостью v3.23.2 из Effect-экосистемы.
На Line 117 обновлена прямая зависимость на fast-check@4.8.0, но в lockfile присутствует смешение версий: одновременно v4.8.0 и v3.23.2 (через @effect/schema, effect@3.21.2 и связанные пакеты). Это создает риск конфликта разрешения модулей, особенно учитывая confirmed breaking changes в v4 (удаление API, изменение поведения record, и др.).
Требуется явная верификация, что версионное разрешение корректно и что v3.23.2 в транзитивных зависимостях не вызывает несовместимость с v4.8.0, прежде чем merge.
🤖 Prompt for AI Agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.
In `@packages/app/package.json` at line 117, The package.json now pins
"fast-check": "4.8.0" but the lockfile includes a transitive fast-check v3.23.2
via `@effect/schema` / effect@3.21.2, so verify and reconcile version resolution:
either align to v3 (downgrade the direct fast-check) or force a single version
via your package manager overrides/resolutions (e.g., yarn/npm/ pnpm overrides)
so only one major is installed, or upgrade the Effect ecosystem packages to
versions compatible with fast-check v4; check the lockfile and run an install +
dedupe, then run tests that use fast-check to confirm no breaking API changes
occur (references: "fast-check" dependency entry, transitive packages
`@effect/schema` and effect@3.21.2).
1 participant
This PR contains the following updates:
3.23.2→4.8.0cc @skulidropek
Release Notes
dubzzz/fast-check (fast-check)
v4.8.0Compare Source
New arbitrary to chain in a loop fashion
[Code][Diff]
Features
chainUntilarbitrary for iterative chainingFixes
skipLibCheck$CLAUDE_PROJECT_DIRdiscussions: writeto release jobs\p{...}value drift in docs testsv4.7.0Compare Source
Unicode property support in
stringMatching[Code][Diff]
Features
jsonarbitrary\p{}and\P{}instringMatching\p{UnicodeProperty}instringMatchingstringMatchingFixes
make_latest?rawimports for adventsv4.6.0Compare Source
Better
stringMatchingwithmaxLength[Code][Diff]
Features
maxLengthsupport tostringMatchingmaxLengthonstringMatchingRandom::next(n)andRandom::nextInt()Fixes
fast-checkusingrolldownpermissions: {}to workflows missing itflatMapwithchainin error messagev4.5.3Compare Source
Proper attestation file naming
[Code][Diff]
Fixes
v4.5.2Compare Source
Attach tarballs to GitHub releases
[Code][Diff]
Fixes
v4.5.1Compare Source
Rename tarballs before publishing
[Code][Diff]
Fixes
v4.5.0Compare Source
Add an arbitrary based on a schema definition
[Code][Diff]
Features
entityGraphfor schema-based structuresentityGraphentityGraphentityGraphentityGraphentityGraphentityGraphFixes
entityGraphdocumentationentityGraphentityGraphinto sub-helpersv4.4.0Compare Source
Expose hidden arbitraries and widen capabilities of existing ones from a typing point of view
[Code][Diff]
Features
PropertyKeyinfc.dictionary(...)fc.maparbitrarycircularoption tofc.letrecfc.setarbitraryletrecFixes
@traversable/zod-testto ecosystemletrecimplementationsletrecLazyArbitraryv4.3.0Compare Source
Add memory flag on
infiniteStream[Code][Diff]
Features
Fixes
fc.optionnil frequencyignoredBuiltDependenciesv4.2.0Compare Source
New primitives for race condition detection
[Code][Diff]
Features
actschedulerwaitIdle, a revampedwaitAllforschedulerwaitOneandwaitAllFixes
v4.1.1Compare Source
Avoid overlapping tasks
[Code][Diff]
Fixes
schedulerexecutionschedulerwith explicitundefinedcheckv4.1.0Compare Source
More effective
waitForonfc.scheduler[Code][Diff]
Features
waitForFixes
waitForwaitForon interactions with micro-tasksv4.0.1Compare Source
Change location of the logo on the README for LFS quotas reasons
[Code][Diff]
Fixes
v4.0.0Compare Source
Reducing the API surface to ease ramp-up on fast-check
[Code][Diff]
The simplest migration guide to v4 is probably here.
Breaking changes
.noBiasuuidVarbitraryunicodeJson*arbitrariesuuidto build any know versionascii*hexa*base64stringOfchar16bitsandstring16bitsfullUnicode*unicode*charbig{U|}int{N|}nextArrayIntfromRandom.noShrinkFeatures
constantFromconstantArbitrary<XxxArray>=>Arbitrary<XxxArray<ArrayBuffer>>fc.recordFixes
scheduleSequencejsonnoBiasisolatedDeclarationsflag on the projectnode --runwithDeletedKeysfromrecordrun{Before/After}Eachon propertytypespec-fast-checkto ecosystem pageBigIntcheck inmixedCasescheduleSequencetypeofchecksobjectand relateddoublescheduleSequenceObject.assignBigIntin testsConfiguration
📅 Schedule: (UTC)
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
This PR was generated by Mend Renovate. View the repository job log.