Skip to content

feat: expand conservative exact effect presets - #308

Open
shaggitza wants to merge 4 commits into
mainfrom
feat/97-effect-presets
Open

feat: expand conservative exact effect presets#308
shaggitza wants to merge 4 commits into
mainfrom
feat/97-effect-presets

Conversation

@shaggitza

Copy link
Copy Markdown
Owner

Summary

  • expand versioned exact-symbol effect presets for filesystem, HTTP clients, MongoDB/Motor, typed object storage, SQLAlchemy, and bounded message publishing
  • remove unsafe generic/unsupported declarations, including the uncalibrated Redis bundle
  • preserve schema-v4 ordered composite resources and add conservative typed-S3 (Bucket, Key) identities only where argument correlation is exact
  • pin semantic hashes, contract inventories, selector behavior, and exact-symbol near-miss regressions

Scope

This is a bounded conservative preset tranche for #97. Direct typed-S3 get/put/delete receive ordered (Bucket, Key) resources; copy/head abstain; bucket operations retain Bucket only. Generic get/set/write/send matching is excluded.

Optional real-package declaration-owner probes for httpx, requests, and confluent-kafka remain explicit skips when those packages are absent. Controlled and real-world calibration remains open.

Validation

  • 112 focused tests passed; 3 optional-package probes skipped
  • Ruff lint/format and canonical strict mypy passed
  • schema-v4 docs preserved exactly
  • duplicate pre-merge feat: compose exact bounded resource identities #302 implementation excluded
  • independent terminal review: PASS
  • exact range-diff preserved through rebase onto current main

Advances #97

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.

2 participants