Social Contract as a Generative Relational Process: Agency, Rule Formation, and Effective Freedom

Social-contract arguments often assign capacities, interpretations, options, and reasons to parties at a selected justificatory or bargaining stage. This analytical practice can be appropriate for its declared purpose. It can also omit two dependencies that matter for explanation and, under further premises, for normative assessment. Prior relations of care, education, language, recognition, material support, and institutional access can help form contract-capable agency. A selected rule can then reshape the legibility, cost, viability, and transition structure of later action. The parties and the rule environment consequently participate in a recursive process. This position paper proposes a bounded generative reconstruction. Its target is the class of contract representations that hold target-relevant agent capacities, interpretations, or effective action spaces invariant at the stage under analysis. The reconstruction distinguishes historical genesis, causal dependence, justificatory validity, authority, legitimacy, obligation, and justice. It also recognizes generative resources already present in the tradition. Rousseau connects association with a new collective body and moral liberty; Kant treats original contract as an idea of reason; Rawls uses an idealized justificatory representation within a wider theory of moral powers, social bases, and institutional formation. Relational-autonomy, dependency, capability, relational-sociology, and exclusion literatures supply further antecedents and constraints. The formal model represents participant development, a rule-environment transformation, and horizon-indexed viable trajectories. Effective freedom is reported through reachable trajectories, security, control, revision, and exit. Finite countermodels establish three separations within the proposed model class: a smaller nominal action set can accompany broader effective reach; perfect transition predictability can accompany unequal participant capability; and identical observed agreement can accompany different generative histories and later revision capacities. A higher-order interaction model separates constitutive contribution from legislative influence. Finally, a target-relative factorization criterion states when a static contract representation remains an adequate quotient of the generative model. The paper's contribution is methodological and conditional. A generative description can reveal omitted dependencies, while legitimacy and obligation continue to require independent normative premises. Empirical validation, approximate-adequacy metrics, and institutional applications remain open parts of the research programme.