Realized vs Possible Outcomes¶
Core Idea¶
The structural comparison between what a process actually produces and what it could in principle produce — two sets, the realized nested inside the possible — where the gap between them, its shape, and its causes are the primary object of analysis. The realized set is observed; the possibility set is constructed from a model of the process, never directly seen.
How would you explain it like I'm…
Could-Have vs Did
What Could Have Happened
Realized Inside Possible
Broad Use¶
- Dynamical systems: the reachable set is the possibility set, the trajectory the realized set; safety verification operates on the gap.
- Optimization: the feasible set versus the chosen point, with suboptimal choices sitting inside the Pareto frontier.
- Probability: the support of a distribution versus a finite sample.
- Game theory: the strategy space versus equilibrium actions, with off-equilibrium paths constraining behaviour.
- Sen's capability framework: the capability set versus achieved functionings, so wellbeing requires assessing capabilities, not only outcomes.
- Software testing: full execution paths versus paths the suite exercises; coverage reports on the gap.
- Information theory: channel capacity versus the rate achieved.
Clarity¶
Separates four fused questions — descriptive (what did it produce?), capacity (what could it?), gap (what is unrealized?), and constraint (why is the gap that size?) — and forces the discipline of constructing the possibility set explicitly.
Manages Complexity¶
Compresses reachability, feasibility, support, capability, and coverage into one comparison with three clean interventions: expand the realized, shrink the possible, or reshape the gap.
Abstract Reasoning¶
Yields portable inferences: realized outcomes under-determine the possibility set; a large gap signals unused capacity or unrealized risk; selection effects bias inference; and comparative assessment requires possibility-set normalization.
Knowledge Transfer¶
- Control → software: the reachable-set technique ports into model-checking, where reachable program states must be bounded.
- Economics → AI: Sen's capability-versus-functioning distinction transferred into fairness, as the recognition that outcome equality does not imply opportunity equality.
- Testing → method evaluation: the coverage-of-possibility-space discipline ports into comparing the explored region of a treatment space to the full space.
Example¶
Reachability analysis certifies a safety-critical system only if its computed reachable tube — not merely the actual trajectory — never intersects the unsafe region, which is why testing alone is insufficient: a system can pass every realized test yet have a reachable set that grazes catastrophe.
Relationships to Other Abstractions¶
Current abstraction Realized vs Possible Outcomes Prime
Parents (1) — more general patterns this builds on
-
Realized vs Possible Outcomes is part of Set and Membership Prime
Realized vs Possible Outcomes contains a possibility set, a realized subset, and the membership and inclusion tests that expose their gap.
Children (3) — more specific cases that build on this
-
Outcome (game theory) Domain-specific is a kind of Realized vs Possible Outcomes
The proposed strict upward parent is
prime:realized_vs_possible_outcomes. -
Outcome (probability) Domain-specific is a kind of Realized vs Possible Outcomes
The proposed strict upward parent is
prime:realized_vs_possible_outcomes. -
Image (of a Function) Domain-specific is a decomposition of Realized vs Possible Outcomes
Stripping function-theory vocabulary from Image leaves the realized output set, possible codomain, subset gap, and coverage question intact.
Hierarchy path (1) — routes to 1 parentless root
- Realized vs Possible Outcomes → Set and Membership
Not to Be Confused With¶
- Realized vs Possible is not Counterfactual Reasoning because counterfactual reasoning evaluates a single alternative world, whereas this prime holds the entire possibility set against the realized subset.
- Realized vs Possible is not Regret because regret is the valued gap against a preference ordering, whereas this prime is the unvalued set comparison, indifferent to which outcomes are better.
- Realized vs Possible is not Sampling Representativeness because representativeness asks whether the realized set fairly samples the possible — one diagnostic of the gap's shape — whereas the prime is the broader two-set comparison.