Formalizing the AGIL-based design into predictive, testable requirements

Determine whether, and under what formalisms, the application of Parsons’ AGIL framework to agentic system design can be transformed from an expert‑guided generative practice into predictive, testable design requirements, and specify the counterfactual evaluation methodology to validate such predictions.

Background

The framework uses AGIL as a generative design heuristic to ensure institutional completeness, but acknowledges that its current use is analytic rather than predictive.

The authors flag the need to elevate AGIL from heuristic to predictive instrument via counterfactual analysis and simulation (§7.4).

References

Whether this generative application can be formalized into predictive design requirements—rather than remaining an expert-guided analytical practice—is an open question addressed in the counterfactual analysis program proposed in §7.4.

— From Logic Monopoly to Social Contract: Separation of Power and the Institutional Foundations for Autonomous Agent Economies  (2603.25100 - Ruan, 26 Mar 2026) in §5.2.1, Theoretical Foundation: Parsons’ Four Systems and the AGIL Model