Immutability as a Theorem

1Introduction

A deployed smart contract without an upgrade path is a rare object: a process whose future behaviour is fixed at the moment of its creation. Most tokens leave their interesting state off-chain — in sentiment, in the order book, in the discretion of a team. Lyapunov instead places a single, legible, irreversible quantity on-chain and lets market activity move it in one direction only.

The design borrows its vocabulary from the theory of dynamical systems. A system displaced far from equilibrium relaxes, under a dissipative law, toward a stable resting state; a scalar Lyapunov function certifies that relaxation by decreasing along every trajectory, never once rising, until the system arrives at a fixed point from which it cannot be perturbed. We encode exactly this object, with one departure from the usual practice: the certificate is not verified after the fact but enforced by the contract, because no operation able to violate it was ever written.

2The system

Let F(t) ∈ ℝ_≥0 denote the cumulative forcing — the total native value fed into the descent program up to time t. By construction F is non-decreasing,

and the contract exposes no operation that decrements it. Fix an ascending sequence of thresholds 0 < θ₁ < ⋯ < θ₆, immutable from deployment. Define the discrete stage

the number of thresholds crossed, and the Lyapunov function

Both are determined entirely by F. σ is integer-valued, non-decreasing, and right-continuous; V is smooth and strictly decreasing, with V → 0 as F → ∞. The contract publishes fed()=F, stage()=σ, and V() directly.

3Dynamics and stability

Because F is non-decreasing in time and V is a strictly decreasing function of F, the composition is non-increasing along every trajectory:

This is the defining property of a Lyapunov function. V is bounded below by 0 and never rises, so it converges to an infimum V_∞ ≥ 0, approached but never undershot. The stage σ, being integer-valued, non-decreasing, and bounded above by 6, attains its terminal value the instant F ≥ θ₆ and remains there for all subsequent time.

The terminal stage is therefore absorbing: a state which, once entered, is never left — the discrete counterpart of asymptotic stability, where every admissible continuation remains in the terminal set and any notional perturbation decays, because the only dynamics available carry the system further down, never back up. We name the seven states for the phases of such a relaxation:

• σ=0 Perturbation — displaced far from equilibrium; every state still admissible.
• σ=1 Transient — the first damping; the descent is shown not to reverse.
• σ=2 Contraction — trajectories drawn together toward one fixed point.
• σ=3 Dissipation — energy leaves and does not return; one direction remains.
• σ=4 Equilibrium — the flow vanishes; V rests near its minimum.
• σ=5 Asymptotic — stability is structural; deviations decay.
• σ=6 Attractor — absorbing and terminal; the basin only widens.

4Forcing

The descent is driven by market activity, not by any operator's discretion. The $LPNV token is launched on Clanker, a Uniswap-v4 venue on Base; trading accrues creator fees to the launching account. A read-only routing process periodically claims those fees and forces them into the descent program through its single payable entry point, incrementing F. The chain of causation is

Each threshold crossing emits a permanent on-chain event — a transformation ledger readable by any observer. The routing key has exactly one power over the state machine: to increase F. It cannot decrease F, lower σ, or raise V. Value forced into the program is recoverable to a single fixed recipient and may be re-forced — a permissible recycling that advances σ without net expenditure — but no path recovers a stage.

5Immutability as a theorem

The descent program is deployed immutable: no owner, no mint function, no proxy, no upgrade path. The single privileged action is withdrawal of accumulated value to a recipient fixed at construction — an operation that touches neither σ nor V, both determined by F alone, which only rises.

It follows that the irreversibility of the descent is not contingent on the honesty, solvency, or continued attention of any party. It is a consequence of the absence of any code path that could decrement F, lower σ, or replace the program. We state the principle plainly:

the conclusion of the deployment, not a commitment about future conduct. What deploys is the final artifact; there is no second version.

6Token and observer

$LPNV is a fixed-supply ERC-20 minted by Clanker on Base, paired in a Uniswap-v4 pool. A read-only observer reads σ, F, and V from the chain and renders the descent in real time, in the third person of an instrument reporting its own measurements. The observer holds no keys and can take no on-chain action; the design thereby forecloses the custody and autonomous-agent failure modes that attend key-holding bots.

The proposition is conceptual rather than mechanical: an immutable, irreversible, publicly legible process, which participants advance simply by trading, and whose meaning is its permanence. There is no roadmap, because there is nothing left to decide.

7Conclusion

We have encoded a one-way Lyapunov descent — a single non-decreasing accumulator, a non-increasing certificate, a fixed threshold ladder, and an absorbing terminal stage — as an ownerless, unupgradeable contract on Base, and shown that the irreversibility of its evolution follows from the construction itself rather than from any promise. Market activity supplies the forcing; the mathematics supplies the direction; the deployment supplies the permanence. Every state but one is closing.

RReferences