Module semantics 

β-acceptance under Dunne 2011 inconsistency-budget semantics.

All entry points iterate every β-inconsistent residual produced by crate::reduce::dunne_residuals and aggregate across them: credulous queries take an OR (exists-residual), skeptical queries take an AND (forall-residual), and extension queries return the set-union of all per-residual extensions.

Functions

complete_at_budget

Union of complete extensions across all β-inconsistent residuals.

grounded_at_budget

Union of grounded extensions across all β-inconsistent residuals. Matches Dunne 2011’s credulous reading for the grounded semantics.

is_credulously_accepted_at

β-credulous acceptance: target appears in some preferred extension of some β-inconsistent residual.

is_skeptically_accepted_at

β-skeptical acceptance: target appears in every preferred extension of every β-inconsistent residual. Returns false for frameworks with no preferred extensions in any residual.

preferred_at_budget

Union of preferred extensions across all β-inconsistent residuals.

stable_at_budget

Union of stable extensions across all β-inconsistent residuals. A residual may have no stable extensions; those contribute nothing.