At the Point of AdjudicationLu Semita · EmergenceByDesign
LABORATORY INSTRUMENT / R4

The constitutive pharmakon

What survives the next step?

Carry a result forward. Keep enough of its basis to recognize what you reused. This instrument lets you inspect the formal claim, challenge its scope, and preserve the reason for your own disposition.

278 checked theorem declarations4 new in this edition6 Clay case records5 fresh Lean runs

A checked counterexample

A correct answer can forget how to update.

The query asks: have at least two events occurred? Compare two histories, then append the same event to each.

HistoryEvent countRetained nowRequired after +1

How far does a preservation record reach?

Two carriers preserve the same Boolean distinction throughout the observed horizon. One continues; the other loses that distinction immediately afterward.

StationContinuing carrierExpiring carrier

A declared model of reception

When can recognition change a decision?

This example checks a threshold rule. It does not measure Clay's influence or anyone's actual response.

Observed acceptance with a signal is compatible with both responses below.

ResponseNo signalSignal present
Depends on signalRejectAccept
Always acceptsAcceptAccept

One observed acceptance does not distinguish these counterfactuals.

Navier–Stokes stays in focus.

The paper compares proof obligations, forcing, singularity predicates, and the burden of an actual refutation. The six Arena cases retain their own carriers and open application coordinates.

Your challenge has a place.

Name the assertion, its scope, and the exact failure or closure you can support. A response can revise this work. Recording it exposes the adopted criterion; it does not decide its truth.