1. Definition, Concept, and Legal Nature

Formal res judicata is the phenomenon that marks the immutability of a judgment or interlocutory decision within the proceedings in which it was rendered, once the filing of appeals is no longer permitted — whether due to the exhaustion of instances, the expiration of the deadline in albis, or the waiver or withdrawal of the right to appeal. It is a maximum or pan-procedural preclusion that terminates judicial activity in that specific case.

Its legal nature is that of endo-procedural stability. While material res judicata projects its effects outside the proceedings (exo-procedural efficacy), preventing the dispute from being re-discussed in any other court, formal res judicata operates strictly within the original procedural legal relationship. Every decision that becomes final acquires formal res judicata; however, not every decision reaches the authority of material res judicata — the latter being reserved only for decisions that resolve the merits of the case (judicium meriti).

2. Historical Origin and Evolution in Brazilian and Comparative Law

The genesis of res iudicata dates back to Roman Law, based on the social necessity to put an end to litigation (interest reipublicae ut sit finis litium). Historically, the distinction between the formal and material aspects of res judicata gained scientific contours with 19th-century German doctrine and, subsequently, with the Italian systematization by Enrico Tullio Liebman.

Liebman, whose influence was decisive for the 1973 Code of Civil Procedure and remains in the 2015 CPC, defined res judicata not as an effect of the judgment, but as a quality that is added to its effects, making them immutable. In Brazil, legislative evolution consolidated formal res judicata as a prerequisite for legal certainty, evolving from a vision strictly linked to the validity of the act to a functionalist vision, focused on procedural efficiency and speed.

3. Legal Provision and Normative Framework

The ultimate foundation of res judicata is found in the 1988 Federal Constitution, in its Article 5, item XXXVI, which elevates it to the category of an entrenched clause (cláusula pétrea): "the law shall not prejudice acquired rights, perfect legal acts, and res judicata."

At the infra-constitutional level, the 2015 Code of Civil Procedure (CPC/15) regulates the institute in the following provisions:

• Article 502: Defines material res judicata as the authority that makes a decision on the merits, no longer subject to appeal, immutable and indisputable.
• Article 485: Lists the hypotheses for the termination of proceedings without resolution of the merits. In these cases, only formal res judicata occurs, generally allowing for the re-filing of the action (pursuant to Art. 486), provided that the defect that led to the termination is remedied.
• Article 505: Prohibits the judge from deciding again on issues already settled regarding the same dispute, except for changes in the state of fact or law in continuous legal relationships.

In the Code of Criminal Procedure (CPP), the institute is mitigated by the favor rei principle, allowing for criminal revision at any time in favor of the defendant, which demonstrates that formal res judicata in the criminal sphere has different contours of rigidity compared to the civil sphere.

4. Practical Application and Consolidated Jurisprudential Understanding

The jurisprudence of the Superior Courts has refined the application of formal res judicata to prevent the abusive use of the right of action and to ensure the stability of interlocutory decisions. The Superior Court of Justice (STJ) has consolidated the understanding that pro judicato preclusion prevents the magistrate from re-examining issues already decided during the course of the proceedings, even those of public order, if formal res judicata has occurred regarding them (Precedent: AgInt in AREsp 1,543,214/SP).

Within the scope of the Superior Labor Court (TST), Precedent (Súmula) No. 100 establishes rigid guidelines regarding the limitation period for rescissory actions, counting from the formal finality of the last decision rendered in the case, reinforcing the relevance of the institute for the security of labor relations.

The Supreme Federal Court (STF), in turn, has decided that formal res judicata is insufficient to protect decisions based on laws subsequently declared unconstitutional in concentrated control, especially in continuous legal relationships (General Repercussion Themes 881 and 885), which imposes a relativization of the institute in the face of constitutional supremacy.

5. Correlated Principles and Doctrinal Divergences

Formal res judicata dialogues directly with the principles of Legal Certainty, Procedural Good Faith, and Efficiency. However, doctrinal debates persist regarding its extent:

• Formal Res Judicata vs. Preclusion: Part of the doctrine (such as Pontes de Miranda) strictly differentiated the institutes, while contemporary scholars tend to view formal res judicata as a "maximum preclusion" that affects the entire process, and not just isolated procedural faculties.
• Relativization of Res Judicata: The possibility of overcoming formal res judicata in cases of evident material error or procedural fraud is discussed, seeking the prevalence of material justice over formal stability.
• Preclusive efficacy of the judgment: Article 508 of the CPC establishes that, once the decision has become final, all allegations and defenses that the party could have raised shall be deemed deduced and rejected. There is a debate as to whether such efficacy applies in full when only formal res judicata occurs.

6. Contemporary Relevance and Impacts on the Legal System

The relevance of formal res judicata today lies in its function as a "filter" for systemic rationality. By preventing the same process from becoming eternal in cyclical discussions about procedural issues or procedural prerequisites, the institute ensures that the Judiciary delivers jurisdictional services within a reasonable time (Art. 5, LXXVIII, CF).

In a scenario of mass litigation, the correct identification of formal res judicata allows for the swift termination of repetitive or deficient processes, without preventing the litigant, once the defects are corrected, from seeking State protection again. The stability generated by this institute is what allows for the predictability indispensable to the Democratic State of Law.

Legal and Jurisprudential References

• BRAZIL. Constitution of the Federative Republic of Brazil of 1988. Art. 5, XXXVI.
• BRAZIL. Law No. 13,105, of March 16, 2015. Code of Civil Procedure. Arts. 485, 486, 502 to 508.
• STF. General Repercussion Themes 881 and 885. Rel. Min. Luís Roberto Barroso and Min. Edson Fachin (Decisions on the cessation of effects of res judicata in tax matters).
• STJ. Súmula 401. "The limitation period for a rescissory action only begins when no further appeal is possible from the last judicial pronouncement".
• LIEBMAN, Enrico Tullio. Eficácia e Autoridade da Sentença (Efficacy and Authority of the Judgment). Translated by Alfredo Buzaid. Rio de Janeiro: Forense.
• DIDIER JR., Fredie. Curso de Direito Processual Civil (Course on Civil Procedural Law). Vol. 2. Salvador: JusPodivm, 2024.