Skip to content

Protect SQL entry points with a conservative dead-code preset - #29

Open
deem0n wants to merge 3 commits into
fix/14-sql-source-browserfrom
fix/16-sql-dead-code
Open

deem0n wants to merge 3 commits into
fix/14-sql-source-browserfrom
fix/16-sql-dead-code

Conversation

@deem0n

@deem0n deem0n commented Sep 20, 2026

Copy link
Copy Markdown
Owner

Adds a SQL refuting rule and an openOn: helper for the standard Dead Code browser. All SQL routines are protected by this preset until an explicit closed-world candidate set is supplied. Trigger/constraint bindings, explicit external roots and incomplete analysis remain protected. The rule must be selected for SQL analysis; the generic OO preset alone remains unsuitable. No source removal or database DDL is performed.

Validation in an isolated Pharo 13 / Moose 13 image: 4 passed, including standard-browser computation, trigger and constraint bindings, uncertain analysis, explicit external roots, closed-world opt-in and unchanged non-SQL rule behavior. git diff --check passed. Usage and limits are documented in docs/mooseide-integration.md.

Stacked on #27 so the optional integration package and its Moose-only CI configuration are shared without duplicating them in this diff. CI and integrated v3 acceptance remain required before merge.

Addresses #16.

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