Module fuzzy_quantifiers 

Fuzzy linguistic quantifiers (Ma, Li & Ma ch 5.4; Zadeh) — evaluate statements like “most guardians concur” or “few objections” over graded evidence, keeping governance legible in human terms without collapsing to brittle counts.

Scope (a §12-allowed deferral): this provides the machinery — Zadeh’s relative quantifiers as monotone membership curves over the satisfied-proportion, plus the sigma-count proportion. The named set of governance quantifiers and their exact membership curves (“most”, “almost all”, and any sensitive ones) are Timothy’s to coin/ratify — this module deliberately ships only generic constructors + the classic illustrative curves, not a governance vocabulary. Kernel-class Reduction.

Structs

RelativeQuantifier

A relative fuzzy quantifier: a monotone non-decreasing map from a proportion in [0,1] to a truth degree in [0,1], represented as a linear ramp 0 below low, 1 above high, linear between (low ≤ high).

Functions

evaluate

Evaluate “Q elements satisfy P” — apply the quantifier to the sigma-count proportion of the per-element satisfaction degrees. None for an empty set.

fuzzy_proportion

Sigma-count proportion: the fuzzy “fraction satisfied” = Σ degrees / n. None for an empty set.