Module acceptance 

Subjective and objective acceptance over the space of audiences.

Per Bench-Capon (2003):

• Subjective acceptance: arg is accepted by some audience.
• Objective acceptance: arg is accepted by every audience.

Both queries enumerate the linear extensions of the partial order defined by the value set. The number of linear extensions is bounded above by n! for n distinct values; we hard-cap at 6 (= 720) to keep these queries tractable for narrative-scale frameworks.

Past the cap, methods return Error::AudienceTooLarge.

Constants

ENUMERATION_LIMIT

Hard cap on distinct values for subjective/objective acceptance. At 6 values, worst-case linear-extension count is 720.

Functions

objectively_accepted

Returns Ok(true) iff arg is accepted by every total ordering of the values mentioned in the framework.

subjectively_accepted

Returns Ok(true) iff arg is accepted by some total ordering of the values mentioned in the framework.