Module sweep 

Threshold-sweep API: compute acceptance trajectories for one argument across the full budget range.

Under Dunne 2011 semantics, acceptance can change at any distinct subset-sum of attack weights (up to 2^|attacks| values). The sweep probes all such breakpoints to guarantee no flip is missed.

Monotonicity

Under Dunne 2011 semantics, credulous acceptance is monotone non-decreasing in β: if x is credulously accepted at some β, it is credulously accepted at every larger budget. min_budget_for_credulous is therefore well-defined and returns the infimum.

Structs

SweepPoint

One point in a threshold sweep: the budget at which this point applies, and whether the target is accepted at that budget.

Enums

AcceptanceMode

Which acceptance notion to use for the sweep.

Functions

acceptance_trajectory

Compute the full acceptance trajectory for target across the framework’s budget range, returning one SweepPoint at every breakpoint.

flip_points

Return only the budgets at which target’s acceptance changes as β increases. Useful for the drama-manager flip-point query.

min_budget_for_credulous

Return the smallest budget at which target is credulously accepted, or None if it is never accepted across the framework’s full budget range.