Ensure Biscuit Builder Runs Rule Validation #136

Open

preuss-adam wants to merge 1 commit intoeclipse-biscuit:mainfrom

preuss-adam:apreuss/builder-rule-validation

Commits on Jan 21, 2026

Ensure that check queries have a consistent structure by replacing the original rule head with a placeholder predicate.
preuss-adam
committed