LITERALLY LEGAL: The Installed Judge, the Ideological Activist and the Perfect Forgery of Justice — Why a Productivity Score Cannot Find Them, Which Sanctions Can, and Why No Court May Judge Its Own Impediments. What Aristotle, Radbruch, Merton, Cove

Abstract A judgment can be correct to the letter of a rule and unjust to the person before the court, in the same way that a sentence can be literally true and still deceive its hearer. This article separates three judicial failures and one success by two observations: whether a judge’s decisions vary with something that stands in for the reasons of the case — patrons, press, a faction, a score — and whether they follow the reasons the legal order makes decisive. The performer varies with an external substitute. The installed formalist holds the letter of an isolated rule whatever the case’s reasons. The installed activist holds an agenda whatever the case’s reasons, and dresses it in the language of principle. The sourced judge follows the reasons of the case, which sometimes require applying a harsh rule and sometimes require finding the exit the legal order provides. Seven results follow. The literally legal injustice is usually not legal at all but legal relative to one rule read outside the order that contains it; what is invariant is that the order contains an exit the judge did not use; its local form varies — in civil-law orders such as Brazil’s a tenant in a coma is not even in default, and in common-law orders the exit is procedural or equitable (T1). Literal legality stands to justice as literal truth stands to honesty (T2). Departure from the letter is not the mark of the just judge (T3). The ideological activist is the forgery of the sourced judge, as the formalist is the forgery of the faithful one, and a valence-swap test separates him from the judge he imitates (T4). Both are perfect forgeries of justice, and their harm grows with the trust their form earns (T5). A court governed by counts, speed and deviation alerts selects for installation (T6). And — the result that governs the article’s sanctions — any regime that punishes judges for the content of their interpretations converts activists into installed formalists rather than into just judges, and hands the punishing body a new channel of political control (T7). A second, normative part therefore proposes strong sanctions, including nullity with restoration, personal liability, loss of office and permanent disqualification, against every judicial failure that can be proven on the record — corruption, partisan activity, undisclosed interest, failure to answer a defeating argument, unexplained departure from one’s own precedent, unjustified inaction — and equally strong sanctions against anyone who disciplines a judge for the content of a decision. The same rule governs the hardest case: a supreme court whose members decide the rules of their own impediment, decide alone whether one of them is impeded, and can be investigated only at the initiative of a prosecutor who argues before them. In such a court a conflict of interest forbidden elsewhere can be made lawful by those it concerns, and a forgery of impartiality then passes the only inspection legality can run, because the inspected have rewritten it (T8). Brazil’s Federal Supreme Court supplies the instance: in 2023 it struck down, by six votes to four, the statutory rule that barred a judge from cases in which a party is a client of a relative’s law firm, and contracts and contacts between members’ families or members themselves and parties with business before the court have since become the subject of public allegations, which remain unproven. The article proposes a constitutional impediment rule that the court cannot strike down, disclosure placed on the firms and parties who know, the exclusion of firms engaged to manufacture an impediment, a ban on non-litigation contracts and on hospitality from interested parties, and the rule that no member of a court decides his own impediment or his colleagues’. Priority is conceded to Aristotle, Cicero, Radbruch, Pound, Merton, Cover, Hart, Fuller, Dworkin, Schauer, Wechsler and MacCormick (whose demands for neutral and universalisable rulings anticipate the valence swap), Solum (whose virtue jurisprudence already makes impartiality and integrity judicial virtues and corruption a judicial vice), Sosa and Greco (for the distinction between a correct and an apt performance), Alexy, Segal and Spaeth, Kahan and colleagues, Campbell, Meyer and Rowan, and Holmström and Milgrom. Three tests are registered; none has been run. Keywords: judicial formalism; judicial activism; ideology; equity; epieikeia; Radbruch formula; statutory injustice; mechanical jurisprudence; trained incapacity; Cover; Hart–Fuller debate; Schauer; rules; motivated reasoning; attitudinal model; judicial discipline; judicial independence; judicial liability; judicial conflict of interest; recusal; nemo iudex in causa sua; Brazilian Federal Supreme Court (STF); judicial performance evaluation; productivity metrics; CNJ; smart courts; China; algorithmic adjudication; AI judges; distribution shift; installed conduct; sourcehood; literal truth; forgery; Philosophy of Virtues Highlights · A judgment can be literally legal and unjust in the same way that a statement can be literally true and deceive. The installed judge is the honest liar of the courtroom. · Most “literally legal injustices” are not legal: the legal order usually already contains the exit — no default without an imputable fact, suspension for loss of capacity, the duty to answer every argument capable of changing the result. · The ideological activist is not the opposite of the formalist. Both hold a position whatever the reasons of the case; one holds the letter, the other an agenda. The activist forges the just judge’s vocabulary of principle, and a valence-swap test exposes him. · Courts governed by productivity points, speed targets and algorithmic deviation alerts select for installed judges and lose the ability to recognise just ones. · A court that writes the rules of its own impediment and decides alone whether its members are impeded can make lawful the conflicts it should forbid. Brazil’s Supreme Court did so in 2023 for the law firms of judges’ relatives. The remedy is a constitutional impediment, disclosure by those who know, and an independent panel for challenges to a justice: no one judges his own cause. · Strong sanctions work against what can be proven on the record: corruption, partisan activity, hidden interest, unanswered arguments, unexplained inconsistency, inaction. Sanctions against interpretation itself turn activists into formalists and give the sanctioning power control over the courts. Relevance Courts everywhere are now governed by numbers, and in many countries they are also accused of governing by ideology. Judges are promoted according to how many cases they close and how quickly; software warns them when a draft deviates from similar cases; machine systems draft judgments; and in public debate the accusation of “judicial activism” has become a standard charge against courts, from whatever side of politics a decision displeases. The two complaints are usually treated as opposites — too much rigidity, too much discretion — and the remedies proposed for each tend to aggravate the other. This article shows that they are the same failure with opposite signs: in both, the decision does not move when the reasons of the case change. It identifies what productivity metrics and deviation alerts cannot see, why automated adjudication inherits the problem, how a judge who imposes an agenda can be told apart from a judge who reads the law as a whole, and which sanctions can be made strong without destroying judicial independence. For students of China’s smart courts and of the Social Credit System (#122, #123), it supplies the judicial branch of the same argument; for those building artificial adjudicators, a classification of what agreement with past judgments can and cannot show; for those who design judicial discipline, a rule for where penalties belong; and for societies whose highest court has made lawful the conflicts it should forbid — Brazil’s is the case examined, though the structure is not Brazilian — a design that restores the oldest rule of justice, that no one may judge his own cause. Behind all of it stands one claim about free societies: the rule of law protects persons only if the judge is free to see the person before the court and is held strictly to account for whether he did.