Nominal Execution

A formal object does not protect, govern, or deliver until it can show its execution trace.

Elias Kunnas

The clause exists. The protection may not. A right, rule, audit, certification, procedure, metric, model, or institutional role does not execute merely because it has been named. It executes when a real carrier can move through a path that produces the claimed result — directly, in shadow, by automatic consequence, by professional constraint, by record effect, or by enforceable sanction — before the relevant harm becomes irreversible. Nominal Execution is the substitution of the formal object for that path. Its diagnostic question is the same in every case: show the execution trace.


I. The clause that had to travel

In Pearson v. Callahan, 555 U.S. 223 (2009), the Fourth Amendment remained fully visible. The path by which a plaintiff could turn it into damages relief became easier for courts to stop before constitutional meaning was clarified.

To bring a federal damages claim against a state official, a plaintiff sues under 42 U.S.C. § 1983 and must clear qualified immunity: the doctrine that shields the official from personal liability unless the right violated was "clearly established" at the time, in prior precedent with factually close facts. Before Pearson, courts had to decide first whether the Constitution had been violated and only then whether the right was clearly established. Pearson made that sequence discretionary, so a court can stop at "not clearly established" and leave the constitutional question undecided.

A person whose home is searched or body is seized can still point to the constitutional text and to 42 U.S.C. § 1983, the statutory machinery promising that any state actor who deprives a person of federal rights shall be liable. The text exists. The statute exists. Both can be formally invoked.

Effective relief is another matter. To get it, the plaintiff must convert the encounter into a viable federal civil-rights claim, survive pleading and procedural filters, persuade the court that the alleged facts make out a constitutional violation, locate prior precedent close enough that the right was "clearly established" at the required factual specificity, may face qualified-immunity appeal posture including interlocutory appeal after denial, and then still prove causation, damages, and collectable relief.

A toy chain shows the collapse without pretending to measure the whole § 1983 system: seven independent 70% gates leave about 8% end-to-end clearance; seven 50% gates leave below 1%. The number is a calibration figure for conjunctive collapse, not a base-rate claim about § 1983 litigation. The constitutional text stays visible. The probability of executed relief collapses. Pearson tightened the collapse by allowing courts to stop at "not clearly established" without deciding what the Constitution requires, so a losing case need not even create law for the next claimant.

The constitutional protection remains in the legal materials. The machine that must execute it multiplies conditions until presence is not execution. Call that gap Nominal Execution: the substitution of the formal object for the path that would have to carry it into the world.

The same shape recurs outside U.S. civil-rights doctrine and outside law. It appears in audited cash, in airworthiness certification, in regulatory monitoring, in clinical protocols, in military readiness reports, in academic publication. In every case, someone is rewarded for invoking the form before the function has been carried.


II. Formal availability

Public discourse compresses formal availability into textual presence, but execution has six distinguishable statuses.

Nominal Execution begins when a weaker status is credited as a stronger one: textual presence as route, route as shadow operation, shadow operation as relief, or relief as empirical satisfaction. The hardest case is textual presence credited as execution: a clause exists, so the protection is treated as delivered.

The conflation has been named under many headings in administrative-justice scholarship — Marc Galanter on why the "haves" come out ahead, Charles Epp on rights as requiring support structure, the rights-without-remedies tradition, implementation-gap literature, the "remedy gap" and "non-take-up" framings. Nominal Execution compresses the substitution move itself into a portable handle. The useful primitive is the substitution move: an invoking party closes the argument at the formal token while the execution burden remains untraced.


III. The missing chain

For any invocation, the surface diagnostic is six questions:

  1. What formal object is being invoked?
  2. What output is it claimed to produce?
  3. Who can activate it?
  4. What path must it travel?
  5. Who bears the cost, delay, risk, and proof?
  6. What observation proves it executed?

When the path is multi-step, two further questions follow: what is the per-step probability, and what is the time to relief before the relevant harm becomes irreversible? Call the multi-step low-probability case Conjunctive-Probability Theater — the formalist count treats a seven-step path as one protection; the conjunctive count multiplies the gates. Pearson is one specimen. The Penn Central regulatory-takings test is another. The exhaustion-and-appeal architecture of international human-rights instruments is another. Each chain collapses multiplicatively. Each invocation that ignores the multiplication does Conjunctive-Probability Theater.

Nominal Execution has several mechanisms. Across cases, an institution credits the formal object as if it had already produced the institutional fact it names; the chains fail in different ways:

The diagnostic-side discipline is to name the missing chain — access collapse, delegated assurance, proxy substitution, scaffold dependence, protocol substitution, or verification displacement. The substitution family contains several distinct mechanisms; naming one is the first move beyond the surface diagnostic.

A formal protection can execute through six channels:

  1. Direct execution — the claimant invokes the rule and obtains the outcome.
  2. Shadow execution — the rule changes behavior upstream because actors anticipate the path.
  3. Automatic consequence — a deadline, sensor, or constraint engages without claimant action.
  4. Professional constraint — a code of practice binds members independent of litigation.
  5. Record effect — a public ledger entry shifts later decisions.
  6. Enforceable sanction — a contempt power, fine, or revocation can be levied.

The trace test does not require every path to end in direct relief. It requires that some mode of execution can be shown — and that the showing is not itself another invocation of form. For dense cases, the full trace has ten fields: token, claimed output, trigger, standing, carrier, path length, per-step probability, time-to-relief, failure handler, and closure.


IV. Why the token wins

Institutions reward the substitution. Five mechanisms together explain why competent people accept the token without decompressing it.

Compression is cheap; decompression is costly. Compressing a complex institutional path into a token like "the right exists" costs almost nothing — a few words in a tweet, a citation in a brief, a line in a regulation. Reconstructing the actual mechanism in the listener's head — standing rules, procedural posture, per-step probabilities, time horizons, failure handlers — requires far more cognitive work. The asymmetry is information-theoretically real. The token survives when listeners do not pay the decompression cost.

The illusion of explanatory depth. Rozenblit and Keil's experiments on everyday mechanical devices, and the political-extremism replication by Fernbach and colleagues, both show the same finding: people systematically believe they understand causal mechanisms they cannot actually explain. Asked to rate their understanding of cap-and-trade or healthcare policy, subjects report high confidence; asked to write a step-by-step mechanistic explanation, confidence collapses and views moderate. The familiarity of a token is mistaken for grasp of its mechanism.

The division of linguistic labor. Hilary Putnam argued that meaning is not "in the head" — speakers use terms like "gold" or "boson" without knowing their full criteria because they implicitly defer to experts who do. The deference pattern is built into ordinary language. Applied to political and legal tokens, the structure produces a chain of deference: the citizen assumes the legislature understands the mechanism, the legislature defers to the agency, the agency defers to the courts, the courts defer to precedent. In legal and political tokens, the deference chain can terminate before any actor decompresses the mechanism.

Relevance economics. Human attention stops when the token has already delivered the social, emotional, or coalition payoff. Decompression carries cost after the reward has been paid; further inquiry is, by the cognitive economy of communication, irrational for the listener.

Strategic ambiguity and institutionalized myth. Eric Eisenberg's organizational-communication account treats ambiguity as a coalition-preserving device — explicit specification would dissolve the coalitions required to sustain the policy. Meyer and Rowan's institutional-sociology version makes the structural case: organizations keep charts, policies, certifications, and offices decoupled from operational work because the formal structures supply legitimacy. The decoupling is the mechanism by which the institution survives, not a concealed flaw.

Together these five — compression asymmetry, illusion of explanatory depth, division of linguistic labor, the relevance principle, and strategic-ambiguity-plus-institutionalized-myth — explain why the substitution is institutionalized and why exposure alone rarely removes it.

The first mechanism has a sharper institutional form. A formal object often wins not because it is false but because producing it is part of normal operation while reading through it to the underlying state is funded only by exception — incident, audit, litigation, replication, breach. The asymmetry is not cheap-symbol against expensive-reality; a standardized disclosure document or a severity score can be costly to produce. It is routine production against exception-only re-expansion, which is why a formal object can outrun its validated use long enough to be rewarded as completion. This names no separate cure: the discipline is the audit and validation practice the next section describes.


V. Audit channels

Nominal Execution concentrates where the audit channel insulates the formal sign from outcome feedback long enough for the sign to be rewarded as completion.

An audit channel is the path by which the empirical state produced by the formal invocation feeds back into the institutional record. The term covers feedback channels, enforcement channels, and re-entry channels — wherever an outcome can corrigibly discipline the form. Nine properties together determine whether a channel actually does that work:

PropertyStrong channelWeak channel
LatencyFeedback within hours or daysFeedback within years or never
IndependenceMeasurement decoupled from measured actorSelf-reporting by the audited entity
Target-variable proximityChannel measures the outcome itselfChannel measures a proxy or document
Claimant burdenThe institution's own channel tests the outcomeThe injured party must articulate the failure
Automatic consequenceFailure engages a downstream action without re-litigationEach failure requires new mobilization
AppealabilityOne round-trip resolvesAppeal stages stack multiplicatively
Adversary controlDefects rewarded for surfacingDefects punished or absorbed quietly
Public observabilityFailures become visible recordsFailures stay in private records
Repair authorityChannel can bind a fixChannel can only recommend

These are before-the-fact properties of a feedback structure, not retrospective labels. They identify where Nominal Execution is likely before the collapse becomes visible.

When most are weak, the form overcredits before the channel tests the outcome. Pearson's qualified-immunity architecture is high-latency, claimant-burden-loaded, multiplicatively appealable, and self-defeating on adversary control — the doctrine specifically allows courts to avoid setting precedent that would benefit later plaintiffs. Wirecard's auditor-confirmed trustee cash was high-latency and independence-compromised. McNamara's body counts measured a proxy, not the strategic outcome they were credited with tracking. Afghan ANDSF readiness measured input scaffolding, not standalone capacity. In each case, feedback failed before it could discipline the credited form.

Strong audit channels show what makes a formal object execute. A compiler error throws at sub-second latency, with automatic consequence, fully observable, repair-authoritative. A database constraint prevents insertion. A software continuous-integration suite fails loudly before a change merges. An electronic timing system in athletics records the performance independent of athlete reputation or training regimen. These are computational and mechanical cases.

The institutional cases follow the same logic. A statutory deadline with automatic consequence — a default judgment, a forfeited right, a triggered penalty — clears the bar. An escrow condition releases funds without further negotiation. A court order backed by contempt power can move bodies. A marriage license, under appropriate authority and uptake, creates the institutional fact of marriage. The NTSB's wreckage-driven, independent accident-investigation process forces decompression of certification labels into causal mechanism. Performatives execute when felicity conditions and uptake channels are present; the critique is of false performativity, not performativity.

The trace need not be mechanical. It can be social, legal, professional, reputational, or epistemic. What matters is that it changes an action set in a way the formal token alone would not.


VI. Who carries the trace

A slogan version of the trace test becomes another token. Repair depends on who can move the trace burden, and on what doctrinal artifact each actor can install.

Injured claimants need burden-shifting institutions: ombudsperson authority with own-initiative powers, legal-aid funding, presumptive evidence rules, simplified intake. Asking a confused recipient of a stopped benefit to produce per-step probabilities is itself Nominal Execution of the rights frame.

Institutions that invoke the protection should publish an execution ledger before relying on the form — owner, channel, response menu, time-to-response, observed outcome — not the policy text. The minimal ledger is an implementation ledger: a short record of owner, channel, response menu, time-to-response, and observed outcome at the invocation surface.

Courts pair merits questions with remedy-and-interim-protection questions: not only whether the right was violated but what action of theirs carries the right to relief before the harm becomes irreversible. Doctrinal artifacts available to courts include interim relief, remedy-first sequencing, precedent-forcing avoidance rules against Pearson-style merit-skipping, burden-shifting presumptions, fee-shifting, and explicit statutory abrogation where the construction has hollowed the right.

Journalists ask owner, trigger, failure handler, and closure of every policy answer — not the policy text.

Auditors verify target variables by sampling the population the protection claims to cover, not the paper trail produced by the actors being audited.

System designers install automatic consequences in place of invocational ones: designs where the formal protection executes by physics, computation, or pre-committed institutional action rather than by claimant action.

The trace itself must terminate in an observable audit-channel consequence, not in another piece of paper. A checklist that closes when ticked is still Nominal Execution. A trace executes when it ends in a published outcome that a future adversary can use against the invoking party.

The diagnostic executes only if a fresh case gets classified by missing chain and audit channel instead of dissolving into generic "implementation gap" talk. The token is "show the execution trace." The carrier is the six-field test, the subtype map, and the audit-channel table. If the routing does not happen, what has been named is a token, not a diagnostic.

The compressed instruction survives:

Presence is not execution. Show the execution trace.

The clause does not run. The right does not run. The certification does not run. The protocol does not run. The metric does not run. The value does not run. Clauses, rights, certifications, protocols, metrics, and values execute only through a trace.


Sources and notes

On Nominal Execution as primitive. The pieces of this substitution appear under many headings across many literatures; this essay names the substitution move so it can be recognized across legal, institutional, audit, and measurement cases. Adjacent: Felix Cohen, Transcendental Nonsense and the Functional Approach (1935); Karl Llewellyn on paper rules vs working rules; Jerome Frank on legal "word-magic"; Judith Shklar's Legalism (1964); the sociological "legalistic fallacy" in the Norton-textbook tradition; the broader nominal-fallacy literature in cognitive psychology (Popper's nominalist fallacy; Piaget's nominal realism).

On the access-and-remedy chain. Marc Galanter, "Why the Haves Come Out Ahead" (1974); Charles R. Epp, The Rights Revolution (1998), on rights as requiring support structure rather than text; the rights-without-remedies tradition in legal philosophy; Joel F. Handler on bureaucratic discretion; the implementation-gap literature beginning with Jeffrey Pressman and Aaron Wildavsky, Implementation (1973), on the complexity of joint action.

On delegated assurance and institutionalized myth. John W. Meyer and Brian Rowan, "Institutionalized Organizations: Formal Structure as Myth and Ceremony" (1977); Paul J. DiMaggio and Walter W. Powell on institutional isomorphism (1983); Michael Lipsky, Street-Level Bureaucracy (1980); Michael Power, The Audit Society (1997); Murray Edelman on symbolic politics. The Wirecard collapse (June 2020), the Enron / Arthur Andersen failure (2001), and the Boeing 737 MAX MCAS certification chain (2017–2019) each instantiate the pattern in different industries.

On mediators and intermediaries. Bruno Latour's distinction in actor-network theory between intermediaries (entities that transport force without transformation) and mediators (entities that translate, distort, and degrade the signal they carry) names the dynamic at the institutional level: Nominal Execution is the move of treating mediators as if they were intermediaries.

On cognitive substrates. Leonid Rozenblit and Frank Keil, "The Misunderstood Limits of Folk Science" (2002), introducing the Illusion of Explanatory Depth; Philip M. Fernbach et al., "Political Extremism Is Supported by an Illusion of Understanding" (2013), extending IOED to policy reasoning; Hilary Putnam, "The Meaning of 'Meaning'" (1975), on the division of linguistic labor; Dan Sperber and Deirdre Wilson, Relevance: Communication and Cognition (1986); Robert Brandom on inferentialism (the decoupling of circumstances of application from consequences of application); John Searle on the distinction between brute facts and institutional facts; J. L. Austin on felicity conditions for performative utterances. Eric Eisenberg, "Ambiguity as Strategy in Organizational Communication" (1984), on strategic ambiguity.

On audit-channel topology and the engineering disanalogy. Joel Spolsky, "The Law of Leaky Abstractions" (2002), on why software abstractions force decompression in ways institutional abstractions do not. The negative-control specimens illustrating the property table at work: NTSB accident investigation; the 2004 withdrawal of Vioxx after post-market evidence; electronic timing in elite athletics; software continuous-integration; the 2015 Reproducibility Project Psychology.

Specimens. Pearson v. Callahan, 555 U.S. 223 (2009), as the access-and-remedy specimen, against the text of 42 U.S.C. § 1983; Wirecard's collapse (June 2020) as the delegated-assurance specimen; the Boeing 737 MAX MCAS certification chain (2017–2019), documented by the House Committee on Transportation and Infrastructure final report (September 2020), as the verification-displacement specimen; the McNamara-era Vietnam body counts (1965–1968) as the proxy-metric specimen; the Liverpool Care Pathway independent review (Neuberger, July 2013) for protocolized-care substitution; and Afghan ANDSF readiness (2002–2021) for scaffold dependence. Grenfell Tower cladding classification, against installed-system fire behavior documented by the Grenfell Tower Inquiry, provides the additional verification-displacement specimen.

The illustrative chain figure for Pearson-class cases in §I is a calibration figure for the conjunctive-collapse argument, not a base-rate claim against the full population of § 1983 litigation — actual outcomes are heavily affected by settlement pressure, municipal indemnification, Monell architecture, circuit variation, and attorney screening that the simple conjunctive model does not capture. The collapse mechanism survives those refinements; the headline number does not aspire to be one.

The ten-field execution-trace test. Used in cases where the six-field surface is insufficient: (1) what formal object is invoked; (2) what output is claimed to be produced; (3) what event triggers activation; (4) who has standing; (5) who carries cost, delay, risk, and proof; (6) what path length; (7) what per-step probability of clearance; (8) what time-to-relief; (9) what handler engages if the mechanism fails; (10) what observable endpoint proves the token executed.

Boundary against existing primitives. The Procedural Object asks whether an artifact can enter an institutional route; Nominal Execution asks whether the route, once entered, has an execution path. Implementation Ledger names the post-decision execution record; Nominal Execution names the substitution at the pre-decision invocation. Cancer Failures warns against over-binding aggregates; Nominal Execution warns against under-binding the form. Refusal to Compute names withheld bounds; Nominal Execution names overcredited tokens. The Causal Talisman (substitution of weight for analysis) and Nominal Execution (substitution of formal availability for execution) sit as sibling children under the Stack's cross-layer symbolic substitution paragraph.