Mean payoff strategy synthesis plugin

Family 104: Quasipolynomial algorithms for mean-payoff, stochastic and parity games. First review, 8 October 2026.

Problem and potential new use

Finite game-solving backends could support verified controller modeling and repeated resource decisions with signed binary rewards.

Applicability and commercial boundary

Separate ordinary values, stochastic threshold sets and parity objectives. Selected formal coverage is narrower than the newest manuscript family.

Initial business decision

Conditional engineering. Buyer demand and profitability remain hypotheses. This first pass does not establish a validated commercial market.

Next verification action

Create a variant-by-variant scope matrix and select one executable backend target.

Evidence scope

Catalog statement reviewed; inspect linked opportunity dossier for any deeper source review. This record alone does not establish full manuscript or proof verification.

Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata for the exact manuscripts and available scope notes.