Skip to content

Reject a non-redis PROPERTY_DB scheme instead of a silent filesystem fall-back - #17

Merged
rasuvaeff merged 1 commit into
masterfrom
fix/property-db-scheme-fallback
Aug 20, 2026
Merged

Reject a non-redis PROPERTY_DB scheme instead of a silent filesystem fall-back#17
rasuvaeff merged 1 commit into
masterfrom
fix/property-db-scheme-fallback

Conversation

@rasuvaeff

Copy link
Copy Markdown
Owner

Fixes #13.

Only an exact redis:// prefix was recognised, so rediss://, Redis:// or any other scheme fell through to FilesystemCorpus and silently wrote the corpus to a directory named after the scheme — the exact "silent fall back to the filesystem" the design forbids.

Change

  • CorpusFromEnv::resolve() matches a leading URI scheme; a non-redis scheme throws InvalidArgumentException. Scheme matching is case-insensitive, so Redis:// is a shared corpus. The error names the scheme but not the DSN, which may carry credentials. A path with no scheme is unchanged.
  • Tests: mistyped scheme errors (and does not echo the host); Redis:// resolves to a RedisCorpus.
  • README EN/RU + CHANGELOG (0.5.1).

Verification

composer build green on core 0.4.1 — 93 tests, 2950 assertions.

Sister issue

Same shared code in the Testo adapter: rasuvaeff/property-testing-testo#18 (fixed in lockstep).

…a directory

Only an exact redis:// prefix was recognised; a rediss:// typo — or any
other scheme — fell through to FilesystemCorpus and silently wrote the
corpus to a directory named after the scheme, the exact silent filesystem
fall-back the design forbids. Match the scheme case-insensitively (Redis://
is a shared corpus) and error on any non-redis scheme, naming the scheme but
not the DSN (which may carry credentials).

Fixes #13
@coderabbitai

coderabbitai Bot commented Aug 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: Pro Plus

Run ID: 9a9dc54c-6a2a-4620-baa3-eb1080e16d65


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 c8dc0bb into master Aug 20, 2026
11 checks passed
@rasuvaeff
rasuvaeff deleted the fix/property-db-scheme-fallback branch August 20, 2026 18:03
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.

Non-redis:// PROPERTY_DB silently falls back to the filesystem

1 participant